Board logo

标题: 几何专家 Java版 0.80中文版【能自动推理,含1600个实例】 [打印本页]

作者: 一线天    时间: 2010-2-19 10:32     标题: 几何专家 Java版 0.80中文版【能自动推理,含1600个实例】

1.JPG
2010-4-13 04:58


这是一款与GeoGebra有许多相似之处的数学教学辅助软件。它也是基于Java创建的,也是完全免费的,原生支持8种语言,包含简体中文。程序界面也与GeoGebra有些相似。主要功能由两部分组成:证明及推理部分和作图部分。《几何专家》最初是在1994-95年由国人周咸青,高小山,张景中共同开发完成的,主要作者是高小山。而这个Java版是完全重新设计开发的,主要作者有三人,其中有两人是国人高小山和郑烨。

《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形,可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。

使用《几何专家》之前,一定要先确定你的电脑中已经安装Java程序,否则无法运行。
在线安装Java:http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN

友情提示:本站在近阶段收集推荐了不少优秀的数学教学辅助软件,但是请勿乱了手脚。所谓“触类旁通”,如果能精通其中一款软件,那么其它与其类似的软件将能轻松应用。它们有许多相似之处,也有其自身的独特之处,所以建议选择一款自己最喜欢的为主,其它为辅,配合使用。

预览图:点击图片看大图
软件运行界面
2.JPG
2010-4-13 04:58



菜单栏的“例子”里含大量实例
3.JPG
2010-4-13 04:58




下载地址:http://www.kejianyuan.net/Soft/ShowSoft.asp?SoftID=185

点击查看官方中文帮助文档安装后可从开始菜单打开

图片附件: 1.JPG (2010-4-13 04:58, 19.14 KB) / 下载次数 24
http://inrm3d.cn/attachment.php?aid=2777&k=bb73ec092620fa254f21fa9b3a5d2c8e&t=1571195171&sid=dHACgg



图片附件: 2.JPG (2010-4-13 04:58, 36.69 KB) / 下载次数 26
http://inrm3d.cn/attachment.php?aid=2778&k=19c98d71c3f49082c69ba6b3c11dc180&t=1571195171&sid=dHACgg



图片附件: 3.JPG (2010-4-13 04:58, 29.66 KB) / 下载次数 20
http://inrm3d.cn/attachment.php?aid=2779&k=afd58a74d504f736f8fd998e03aa02f1&t=1571195171&sid=dHACgg


作者: sdytstl    时间: 2010-2-19 12:59

金狐先生真有好东东啊!谢谢了,收藏了!!
作者: 一线天    时间: 2010-2-19 15:04

这个软件还有一个显著特色:可以在线使用(英文版),不过前提是你的系统里已经安装Java。很强大。

http://www.cs.wichita.edu/~ye/gex.html
作者: 一线天    时间: 2010-2-19 15:05

金狐先生真有好东东啊!谢谢了,收藏了!!
sdytstl 发表于 2010-2-19 12:59
这软件是在春节前偶然间“拾”到的,呵呵。很乐意与大家分享,希望喜欢。
作者: boest    时间: 2010-2-19 16:56

好佩服lz,制作了这么多好用的软件。太谢谢了。
作者: shangrila    时间: 2010-2-19 18:11

thanks for your gifts!
作者: shangrila    时间: 2010-2-19 21:50

这款软件应该说是Automatic Theorem Proving Research Group的产物,由Shang-Ching Chou主导研制开发,Shang-Ching Chou是Department of Computer Science, Wichita State University教授,
Wichita State University位于堪萨斯州
作者: gdnxnxw    时间: 2010-2-23 19:49

感谢一线天老师的推荐
作者: elim    时间: 2010-3-30 01:14

可惜这个java的软件被包装成了exe. 否则可以用于 linux, Mac 的机器上。
作者: dianlinchen    时间: 2010-4-12 07:33

大家看看,面积方法和传统方法证明不可用,是否是因为侵犯了张院士的版权?面积方法功能仅次于吴法,但可读性较好,不能使用,太可惜了。
作者: stg1109    时间: 2010-4-12 10:55

本软件是否国人开发?有些作图还挺符合国人的习惯,我觉得这个软件不错。还有哪位教师用过,可否交流一下。
作者: dianlinchen    时间: 2010-4-12 12:03

原来为国人开发,估计推广不利,便与老外合作,开发而成。我刚刚使用一点,欢迎交流。
作者: Iris    时间: 2010-4-13 05:29

很好的创意,但还只是个 0.8 测试版,问题多多,离推广还早了点。可以在线使用是一大特色,但问题更多,希望尽快完善。
作图功能跟GSP是没得比。“证明”不知怎么用,帮助文件是E文的也看不懂。
作者: dianlinchen    时间: 2010-4-13 09:37

基本作图功能与gsp都是一样,只是操作习惯不同,可能是因为要考虑到证明的限制。自定义工具我还没有使用。我觉得它的作图过程功能很有用,便于交流,这一点值得GSP借鉴,GSP3有个“包括工作”选项,可惜在GSP4以后就取消了,估计是想保护使用者开发产品的知识产权(?),但又是可以很容易破解的,实在搞不懂开发者是怎么想的。
作者: dianlinchen    时间: 2010-4-13 09:46

证明的功能还是很有特色的,使用前应该添加需要证明的结论。
其中GDD方法不仅可以生成可读证明,还能生成图中包含的诸多(全部?)性质,并给出相应的证明;吴法证明能力最强,但可读性差,可以用于理论研究。面积方法也十分强大而且可读,可惜这个版本中不能使用。
作者: inRm    时间: 2010-4-13 10:34

请作个“证明”的例子,致谢。
作者: dianlinchen    时间: 2010-4-13 11:14

17# inRm
例如证明垂心定理,如图一
证明过程,如图二,用分析方法显示,即从结论找对应条件,其中的角度是有向角,下同
图形性质库,如图三,其中的面积也是有向的,相似形中出现-1,表示逆相似,+1表示顺相似

图片附件: chuixin.GIF (2010-4-13 11:14, 32.08 KB) / 下载次数 4
http://inrm3d.cn/attachment.php?aid=3689&k=5038b36cb2eac2d69b6eb327675150d9&t=1571195171&sid=dHACgg



图片附件: chuixin1.GIF (2010-4-13 11:14, 27.21 KB) / 下载次数 2
http://inrm3d.cn/attachment.php?aid=3690&k=fca505e112aba75314f434c723183352&t=1571195171&sid=dHACgg



图片附件: chuixin2.GIF (2010-4-13 11:14, 29.41 KB) / 下载次数 2
http://inrm3d.cn/attachment.php?aid=3691&k=dabc301e649b09ff5308d734fde2b62e&t=1571195171&sid=dHACgg


作者: dianlinchen    时间: 2010-4-13 11:20

我以前使用过《几何专家》软件,与这个大同小异,几何专家中显示的性质库内容比这个要丰富得多,对此,我也感到有些奇怪。
作者: dianlinchen    时间: 2010-4-13 11:25

几何专家的另一个突出特点是:能够给出定理的非退化条件,使得定理证明真正达到严密。而我们通常的证明都无法达到这一点。
作者: inRm    时间: 2010-4-13 13:40

实在不好意思的请教:怎样删除一个图元?
作者: stg1109    时间: 2010-4-13 13:45

软件中有一些不显示中文,用法不明确,无撤消与重做,怎样给出条件及证明,怎样实现动画等有许多的不明白,请各位交流一下
作者: dianlinchen    时间: 2010-4-13 14:23

21# inRm
这个的确十分不便,我使用的是右边栏后退一步工具,粗的后退箭头。
作者: dianlinchen    时间: 2010-4-13 14:32

22# stg1109
无撤消与重做就是右边框上的左右箭头;
刚刚试了动画功能,很差劲,例如点在圆上运动,需要满足点在圆上,选择“操作|动画”命令,再选择点和圆,如果点不在圆上,就按当前到圆心的距离为半径计算(?),真实不可思议。
条件可以在作图过程中自动生成,结论是在“证明|证明结论”中添加。
作者: stg1109    时间: 2010-4-13 16:33

谢谢您的指导,看来这一软件还有待于进一步完善
作者: stg1109    时间: 2010-4-15 19:44

该软件的汉化可以修改,我做了部分修改,加外有部分无论怎样修改只显示英文,不知怎么一回事,有知道的高手说明帮助一下,谢谢!
http://e.ys168.com/?stg1109
作者: 一线天    时间: 2010-4-15 20:36

该软件的汉化可以修改,我做了部分修改,加外有部分无论怎样修改只显示英文,不知怎么一回事,有知道的高手说明帮助一下,谢谢!
http://e.ys168.com/?stg1109
stg1109 发表于 2010-4-15 19:44
孙老师辛苦了。
作者: un8905    时间: 2010-10-29 20:03

感谢一线天老师
作者: myzam    时间: 2014-6-19 13:09

与吴方法有关,有点诱惑人,下来欣赏一下,谢谢!
作者: xxscwsrym    时间: 2015-7-21 10:24

下来学学。




欢迎光临 画板论坛 (http://inrm3d.cn/) Powered by Discuz! 7.0.0