幾何計算ツール
1行に1つの点（A(0,0) / A = 0,0 / A:0,0）。線分は AB、多角形は ABCD または square ABCD、円は O(0,0) r=2
図形モード:
点の書式:
計測値:
証明手順:
計算結果
CSVをダウンロード
| 番号 | 種類 | 項目 | 値・判定 | 説明 |
|---|
ツールの紹介と使い方
オンライン幾何証明ヘルパー：1行に1点の座標（または線分・多角形・円）を入力すると、図形を自動認識して辺の長さ・内角・面積・周長を示し、さらに数値で正三角形・二等辺三角形・直角・平行四辺形・長方形・ひし形・正方形・台形・正多角形・一直線上（共線）を判定します。
入力形式：点は
結論チェック：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。ツールは各文について「成立 / 不成立」と根拠を1つずつ示します。精度：すべて浮動小数点数と相対許容誤差（デフォルト 1e-6、小数桁数調整可）で判定し、=== で浮動小数点数を比較することはありません。角度は常に度で表記し（°、ラジアンとの混同を回避）、点数の上限は100、出力行数の上限は2000で、超過分は黙って収束させ通知します。
操作手順
- 点・線分・多角形・円の定義を1行ずつ入力欄に貼り付けます。
- 図形モードと点の形式を選択し、検証する結論を入力し、必要に応じて計測値と証明ステップの表示を切り替えます。
- 実行ボタンをクリックします。
- 計測結果と結論判定を確認し、コピーまたはエクスポートします。
掲示板
すべての投稿 →-
まだ誰も書いていません。最初の一人になりませんか？