动态几何软件 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 动态几何软件.

动态几何软件

维基百科,自由的百科全书

动态几何软件dynamic geometry softwares) 是一种可以让用户制作并且操作一些几何对象的软件。一般来说,这里的几何对象都是在欧氏几何中的对象。我们可以说动态几何软件基本上是一个可以在电脑上做尺规作图的软件,不过还提供了更多的弹性,交互性,还有一些动态的展示。

动态几何软件最著名的大概是[来源请求]几何画板(The Geometer's Sketchpad),因此下表以几何画板为主要比较对象。如果只是基本的尺规作图,事实上不需要做这么仔细的区分,因为以下每一套软件都可以做到。

几何软件比较表

支持 |
不支持 |
支持但功能有限 |
不明 |
使用JavaScript

软件名 计算功能 轨迹 动态 程序 出作业 支持Latex 网页输出 多国语言 机器证明 其他
Cabri II Plus
[1]
(on relations)
Available on TI Calculator
CaR
Cinderella
[2]
[3] Several geometries, Physics simulations
GCLC
Readable proofs, support for 3D
GeoGebra
[来源请求]
[来源请求]
[4]
Algebraic manipulations
Geometrix
Interactive proof, diagram checking, labels with dynamic placeholders
GeoNext
Available as a web app
GeoProof
Automatic formal proofs
GEUP
iGeom
[3] Recurrent scripts
Kig
[5]
[4]
Labels with dynamic placeholders
几何画板
Cabri 3D
Archimedes Geo3D
Intersection of Loci
Xcas
2-d
Algebraic manipulations
超级画板
张景中领导的开发小组制作
inRm3D
方小庆领导的开发小组制作
软件名 计算功能 轨迹 动态 程序 出作业 支持Latex 网页输出 多国语言 机器证明 其他

注释

  1. ^ 使用外挂插件
  2. ^ 使用PDF
  3. ^ 3.0 3.1 这里使用的证明方式牵涉到几率,所以结果不一定百分之百正确。
  4. ^ 4.0 4.1 使用pstricks英语pstricks
  5. ^ 使用Python

外部链接

{{bottomLinkPreText}} {{bottomLinkText}}
动态几何软件
Listen to this article