一线天
21039
3
更新说明
2010.12.12 程序更新
几何表达式是一款世界领先的交互式符号几何系统。几何图形可以按符号约束或者数字领域进行定义。绘图上的测量与计算不再是唯一的单纯的近似数字了（世界上大多数乃至几乎全部的软件对于度量与计算都是这样的），它可以是精确的明确符号或公式，相当于数学式子的推导。通过参数、符号来定义轨迹可以为您的绘图带来强大的生命力。几何表达式可以作为一个单独程序使用，或者通过 MathML 输入和输出，与您所喜爱的数学系统配合使用，当然还可以把几何表达式作为您的代数系统的平面几何软件，或者考虑把该软件作为几何系统的代数扩展，也可考虑把该软件作为数学方面互不干预的独立系统。
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
几何画板5.0的出现已经有3个月了，在这期间，我们已经领略了一个成熟的开发团队融入的无穷智慧造就的这个有着不少突破性改进的新版本，也见证了我们画板论坛的众板友齐心协力做汉化的全过程。目前的汉化版已经基本完善了，控件和打包机经过黑天老师的不断努力也很强大了，所以，在接下来的日子里，更多的应该是探讨新版的应用了。
几何画板不愧为最富盛名的几何作图软件，它的帮助文档也做的相当全面和完整，官方网站上还提供视频教程，可惜这些都是英文的。今天用了些时间，把官方的全套视频教程下载回来并打包与板友分享，内容主要是详细介绍工具栏各工具的使用方法和菜单栏各命令的用法与用途，比较适合初学者或了解新版本的新功能，内含PDF说明文档。
2010.02.07更新：新增两份官方中文说明手册和Java离线安装包。
完全免费的动态数学软件，支持数十种语言，支持多平台，获得多项国际性大奖。
GeoGebra是一款结合“几何”、“代数”与“微积分”的动态数学软件，它是由美国佛罗里达州亚特兰大学的数学教授Markus Hohenwarter所设计的。一方面来说，GeoGebra是一个动态的几何软件。您可以在上面画点、向量、线段、直线、多边形、圆锥曲线，甚至是函数，事后你还可以改变它们的属性。另一方面来说，您也可以直接输入方程和点坐标。所以，GeoGebra也有处理变数的能力（这些变数可以是一个数字、角度、向量或点座标），它也可以对函数作微分与积分，找出方程的根或计算函数的极大极小值。所以GeoGebra同时具有处理代数与几何的功能，因此GeoGebra视窗左边有一个“代数区”，右边有一个“几何区”（也称为“绘图区”）。
数学插图，可以轻松直观地创建文档和演示文稿的几何图。通过结合几何表达式的基于约束的构造，使用简单的图形和图形绘制功能，数学插图允许您在更短的时间内为您的学生创建更有效的几何形象。
快速绘制：通过使用一个基于约束的模型，快速创建绘图。只需点击一下，添加引导线和尺寸箭头，指定长度、 角度、 距离和半径。
绘制精确：您可以在您的数字中设置线的长度、角度值和半径的大小。如果一个三角形边a的长度是4，并且边b的长度是6，您可以确定边b的长度是a的1.5倍。
轻松导出：在您的图周围画一个选择框，以栅格和矢量格式放置在剪贴板。将此粘贴到Word，PowerPoint，Photoshop，iWork -- 您命名它！我们也支持文件导出格式为EPS、EMF、PNG、JPG、Tiff和更多。
