几何计算与证明工具
每行一个点（A(0,0) / A = 0,0 / A:0,0）；线段写 AB；多边形写 ABCD 或 square ABCD；圆写 O(0,0) r=2
图形模式:
点格式:
度量输出:
证明步骤:
计算结果
下载 CSV
| 序号 | 类型 | 项目 | 值或结论 | 说明 |
|---|
工具介绍及使用方法
在线几何证明辅助工具，每行输入一个点的坐标（或线段、多边形、圆），自动识别图形并给出边长、内角、面积、周长，再用数值判定等边、等腰、直角、平行四边形、矩形、菱形、正方形、梯形、正多边形与共线。
输入格式：点可写
结论验证：在 claim 里用简写语法写待验证的结论，多个用逗号分隔，例如
精度：全部用浮点加相对容差判定（默认 1e-6，可调小数位数），不会用 === 比较浮点数；角度一律用度并标注（°，避免与弧度混淆）。点数上限 100、输出行数上限 2000，超出会静默收敛并提示。
输入格式：点可写
A(0,0)、A = 0,0 或 A:0,0；线段写 AB；多边形写 ABCD 或 square ABCD（顶点按顺序）；圆写 O(0,0) r=2 或 center(0,0) r(2)。结论验证：在 claim 里用简写语法写待验证的结论，多个用逗号分隔，例如
AB = CD、AB // CD、AB ⊥ CD、angle ABC = 90、A,B,C collinear、triangle ABC is isosceles，工具会逐条给出「成立 / 不成立」及依据。精度：全部用浮点加相对容差判定（默认 1e-6，可调小数位数），不会用 === 比较浮点数；角度一律用度并标注（°，避免与弧度混淆）。点数上限 100、输出行数上限 2000，超出会静默收敛并提示。
留言板
全部留言 →-
还没人说话，来占个沙发？