返回列表 回复 发帖
大家看看,面积方法和传统方法证明不可用,是否是因为侵犯了张院士的版权?面积方法功能仅次于吴法,但可读性较好,不能使用,太可惜了。
原来为国人开发,估计推广不利,便与老外合作,开发而成。我刚刚使用一点,欢迎交流。
基本作图功能与gsp都是一样,只是操作习惯不同,可能是因为要考虑到证明的限制。自定义工具我还没有使用。我觉得它的作图过程功能很有用,便于交流,这一点值得GSP借鉴,GSP3有个“包括工作”选项,可惜在GSP4以后就取消了,估计是想保护使用者开发产品的知识产权(?),但又是可以很容易破解的,实在搞不懂开发者是怎么想的。
证明的功能还是很有特色的,使用前应该添加需要证明的结论。
其中GDD方法不仅可以生成可读证明,还能生成图中包含的诸多(全部?)性质,并给出相应的证明;吴法证明能力最强,但可读性差,可以用于理论研究。面积方法也十分强大而且可读,可惜这个版本中不能使用。
17# inRm
例如证明垂心定理,如图一
证明过程,如图二,用分析方法显示,即从结论找对应条件,其中的角度是有向角,下同
图形性质库,如图三,其中的面积也是有向的,相似形中出现-1,表示逆相似,+1表示顺相似
chuixin.GIF
chuixin1.GIF
chuixin2.GIF
我以前使用过《几何专家》软件,与这个大同小异,几何专家中显示的性质库内容比这个要丰富得多,对此,我也感到有些奇怪。
几何专家的另一个突出特点是:能够给出定理的非退化条件,使得定理证明真正达到严密。而我们通常的证明都无法达到这一点。
21# inRm
这个的确十分不便,我使用的是右边栏后退一步工具,粗的后退箭头。
22# stg1109
无撤消与重做就是右边框上的左右箭头;
刚刚试了动画功能,很差劲,例如点在圆上运动,需要满足点在圆上,选择“操作|动画”命令,再选择点和圆,如果点不在圆上,就按当前到圆心的距离为半径计算(?),真实不可思议。
条件可以在作图过程中自动生成,结论是在“证明|证明结论”中添加。
返回列表