几何专家 Java版 0.80中文版【能自动推理，含1600个实例】
[attach]2777[/attach]这是一款与GeoGebra有许多相似之处的数学教学辅助软件。它也是基于Java创建的，也是完全免费的，原生支持8种语言，包含简体中文。程序界面也与GeoGebra有些相似。主要功能由两部分组成：证明及推理部分和作图部分。《几何专家》最初是在1994-95年由国人周咸青，高小山，张景中共同开发完成的，主要作者是高小山。而这个Java版是完全重新设计开发的，主要作者有三人，其中有两人是国人高小山和郑烨。
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
[color=#ff00ff]使用《几何专家》之前，一定要先确定你的电脑中已经安装Java程序，否则无法运行。[/color]
[b]在线安装Java：[/b][url=http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN][color=#800080]http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN[/color][/url]
[color=#ff0000][b]友情提示：[/b][/color]本站在近阶段收集推荐了不少优秀的数学教学辅助软件，但是请勿乱了手脚。所谓“触类旁通”，如果能精通其中一款软件，那么其它与其类似的软件将能轻松应用。它们有许多相似之处，也有其自身的独特之处，所以建议选择一款自己最喜欢的为主，其它为辅，配合使用。
[color=#0000ff][b]预览图：[/b][/color]（[color=#ff00ff]点击图片看大图[/color]）
[b][color=#0000ff]软件运行界面[/color][/b]
[b][color=#0000ff][attach]2778[/attach][/color][/b]
[b][color=#0000ff]菜单栏的“例子”里含大量实例[/color][/b]
[attach]2779[/attach]
[b]下载地址：[/b][url=http://www.kejianyuan.net/Soft/ShowSoft.asp?SoftID=185][color=#800080]http://www.kejianyuan.net/Soft/ShowSoft.asp?SoftID=185[/color][/url]
[color=#ff0000][url=http://translate.google.com/translate?hl=zh-CN&sl=en&tl=zh-CN&u=http%3A%2F%2Fwoody.cs.wichita.edu%2Fhelp%2Findex.html][color=#ff0000][size=18px][b]点击查看官方中文帮助文档[/b][/size][/color][/url][/color]（[color=#ff00ff]安装后可从开始菜单打开[/color]） 金狐先生真有好东东啊！谢谢了，收藏了！！ 这个软件还有一个显著特色：[color=red]可以在线使用[/color]（英文版），不过前提是你的系统里已经安装Java。很强大。
[url=http://www.cs.wichita.edu/~ye/gex.html]http://www.cs.wichita.edu/~ye/gex.html[/url] [quote]金狐先生真有好东东啊！谢谢了，收藏了！！
[size=2][color=#999999]sdytstl 发表于 2010-2-19 12:59[/color][url=http://www.inrm3d.cn/redirect.php?goto=findpost&pid=6810&ptid=717][img]http://www.inrm3d.cn/images/common/back.gif[/img][/url][/size][/quote]
这软件是在春节前偶然间“拾”到的，呵呵。很乐意与大家分享，希望喜欢。 好佩服lz，制作了这么多好用的软件。太谢谢了。 thanks for your gifts! 这款软件应该说是Automatic Theorem Proving Research Group的产物，由Shang-Ching Chou主导研制开发，Shang-Ching Chou是Department of Computer Science, Wichita State University教授，
Wichita State University位于堪萨斯州 感谢一线天老师的推荐 可惜这个java的软件被包装成了exe. 否则可以用于 linux, Mac 的机器上。 大家看看，面积方法和传统方法证明不可用，是否是因为侵犯了张院士的版权？面积方法功能仅次于吴法，但可读性较好，不能使用，太可惜了。 本软件是否国人开发？有些作图还挺符合国人的习惯，我觉得这个软件不错。还有哪位教师用过，可否交流一下。 原来为国人开发，估计推广不利，便与老外合作，开发而成。我刚刚使用一点，欢迎交流。 很好的创意，但还只是个 0.8 测试版，问题多多，离推广还早了点。可以在线使用是一大特色，但问题更多，希望尽快完善。
作图功能跟GSP是没得比。“证明”不知怎么用，帮助文件是E文的也看不懂。 基本作图功能与gsp都是一样，只是操作习惯不同，可能是因为要考虑到证明的限制。自定义工具我还没有使用。我觉得它的作图过程功能很有用，便于交流，这一点值得GSP借鉴，GSP3有个“包括工作”选项，可惜在GSP4以后就取消了，估计是想保护使用者开发产品的知识产权（？），但又是可以很容易破解的，实在搞不懂开发者是怎么想的。 证明的功能还是很有特色的，使用前应该添加需要证明的结论。
其中GDD方法不仅可以生成可读证明，还能生成图中包含的诸多（全部？）性质，并给出相应的证明；吴法证明能力最强，但可读性差，可以用于理论研究。面积方法也十分强大而且可读，可惜这个版本中不能使用。 请作个“证明”的例子，致谢。 [b] [url=http://www.inrm3d.cn/redirect.php?goto=findpost&pid=9065&ptid=717]17#[/url] [i]inRm[/i] [/b]
例如证明垂心定理，如图一
证明过程，如图二，用分析方法显示，即从结论找对应条件，其中的角度是有向角，下同
图形性质库，如图三，其中的面积也是有向的，相似形中出现-1，表示逆相似，+1表示顺相似 我以前使用过《几何专家》软件，与这个大同小异，几何专家中显示的性质库内容比这个要丰富得多，对此，我也感到有些奇怪。 几何专家的另一个突出特点是：能够给出定理的非退化条件，使得定理证明真正达到严密。而我们通常的证明都无法达到这一点。 实在不好意思的请教：怎样删除一个图元？
页:
[1]
2