幾何計算與證明工具
每行一個點（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，超出會靜默收斂並提示。
操作步驟
- 把點、線段、多邊形或圓的定義逐行貼上到輸入框。
- 選擇圖形模式與點格式，填寫待驗證結論，按需開關度量與證明步驟。
- 點擊執行。
- 查看度量結果與結論判定，複製或匯出。
留言板
全部留言 →-
還沒人說話，來搶個沙發？