一线天
25590
8
数学插图，可以轻松直观地创建文档和演示文稿的几何图。通过结合几何表达式的基于约束的构造，使用简单的图形和图形绘制功能，数学插图允许您在更短的时间内为您的学生创建更有效的几何形象。
快速绘制：通过使用一个基于约束的模型，快速创建绘图。只需点击一下，添加引导线和尺寸箭头，指定长度、 角度、 距离和半径。
绘制精确：您可以在您的数字中设置线的长度、角度值和半径的大小。如果一个三角形边a的长度是4，并且边b的长度是6，您可以确定边b的长度是a的1.5倍。
轻松导出：在您的图周围画一个选择框，以栅格和矢量格式放置在剪贴板。将此粘贴到Word，PowerPoint，Photoshop，iWork -- 您命名它！我们也支持文件导出格式为EPS、EMF、PNG、JPG、Tiff和更多。
更新说明
2010.12.12 程序更新
几何表达式是一款世界领先的交互式符号几何系统。几何图形可以按符号约束或者数字领域进行定义。绘图上的测量与计算不再是唯一的单纯的近似数字了（世界上大多数乃至几乎全部的软件对于度量与计算都是这样的），它可以是精确的明确符号或公式，相当于数学式子的推导。通过参数、符号来定义轨迹可以为您的绘图带来强大的生命力。几何表达式可以作为一个单独程序使用，或者通过 MathML 输入和输出，与您所喜爱的数学系统配合使用，当然还可以把几何表达式作为您的代数系统的平面几何软件，或者考虑把该软件作为几何系统的代数扩展，也可考虑把该软件作为数学方面互不干预的独立系统。
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
