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