合成几何

Wolfram语言不仅为解析几何提供了广泛的支持,而且还支持以适合自动坐标相关推理和自动可视化的形式对合成几何场景进行符号表示。

几何场景 由约束定义的几何场景的符号表示

随机实例 查找并显示几何场景的随机实例

几何解算值 求解几何场景中的值

几何试验 获取几何场景外部几何断言的条件

查找几何猜想 寻找关于几何场景的猜想

几何场景 代表显著定理和构造的实体

几何场景中的断言

几何断言 断言几何性质或关系(凸、平行、全等…)

相等()断言几何对象或数量的相等性

元素(),区域成员 断言一个点在一个几何区域中

无约束参数 定义场景中无约束点或数量的选项

几何步长 将假设分组到几何场景构建的一个步骤中

基本几何对象

线路 通过符号指定点的直线

半直线,无限直线 通过点对的半无限和双无限线

三角形,多边形 三角形,由角定义的多边形

圆形,磁盘 圆,由中心和半径定义的圆盘

规则多边形 正多边形边,由中心等定义。

三角形函数

三角形中心 正心、外心、内心。。。三角形的

三角形构造 内圆、外圆、高度。。。三角形的

三角形测量 周长、高度。。。三角形的

由几何构造创建的对象

圆形穿过 穿过指定点

中点 直线的中点

垂直平分仪 直线中点的无限垂线

角度分配器 将一个角平分的无限直线

区域质心 任何区域的质心

区域边界 任何区域的边界

区域最近 最接近给定点的区域中的点

几何物体的测量

欧几里得距离 点之间的欧氏距离

平面角度 由三个点定义的平面角

多边形角度 多边形的顶点角

面积 几何区域的面积

周长 几何区域的周长

弧长 圆的弧长等。

区域度量值 一维、二维等区域的度量

区域距离 点到几何区域的最短距离

签名区域距离 外部/内部点的正负距离