幾何証明計算機

幾何学的証明とは、定義、公理、およびすでに証明された定理を用いて、ある命題の真偽を示す段階的な議論のことです。幾何学証明計算機は、「与えられた条件」と「証明すべき命題」を受け取り、適用される公理や定理を用いて、完全な2列証明（手順、理由、手順、理由）を生成します。このチュートリアルでは、2列証明の構造、有効な理由として認められるもの、および幾何学で頻繁に遭遇する最も一般的な証明の種類について解説します。

2列証明の形式

高校幾何学の証明における伝統的な形式は、2つの列から成ります：

各手順には右側に根拠が必要です。認められる根拠は以下の通りです：

• 与えられた条件 — 問題文で述べられているもの
• 定義 — 用語の定義によるもの（例：「中点の定義」）
• 公理 — 証明を必要としない基本的な仮定（例：SSS公理）
• 定理 — すでに証明された命題（例：「対頂角の定理」）
• 性質 — 代数的性質（反射律、対称性、推移性、代入、分配法則）
• 対応する部分も合同である — 合同な三角形の対応する辺や角は等しい（2つの三角形が合同であることを証明した後に使用）

計算機の動作原理

内部では、計算機は数千の幾何学証明で訓練された大規模言語モデルを使用しています。ユーザーは以下を提供します：

1. 与えられた条件：出発点となる条件。例：「AB = CD, BC = DE, ABCDは四角形」。
2. 証明すべき命題：示したい命題。例：「△ABE ≅ △CDE」。
3. オプション：図の画像。AIビジョンシステムは図と印刷されたラベルの両方を読み取ることができます。

AIは以下を行います：

1. 与えられた条件と目標を解析する。
2. それらを結びつける定理を特定する。
3. 各根拠を引用しながら、一連の命題を組み立てる。
4. 2列形式（またはリクエストに応じて段落形式）で証明を出力する。

標準的な証明の種類

入門レベルの幾何学証明の多くは、以下のいずれかのカテゴリに分類されます：

1. 三角形の合同証明

5つの合同条件（SSS, SAS, ASA, AAS, HL）のいずれかを用いて2つの三角形が合同であることを証明し、その後「対応する部分も合同である」を用いて特定の対応する部分の等しさを導き出します。

典型的な構成： 共通要素（反射的な辺、対頂角、錯角）を特定し、それらを組み合わせ、公理を適用して合同であると結論付ける。

2. 三角形の相似証明

3つの相似条件（AA, SSS相似, SAS相似）のいずれかを用いて2つの三角形が相似であることを示し、その後対応する辺の比を用いて特定の比率を導き出します。

3. 平行線と角の証明

同位角が等しい、錯角が等しい、同側内角の和が180度であるなどの等価な角度条件を示して、2つの直線が平行であることを確立します。あるいは、すでに平行な直線を用いて角の等しさを導き出します。

4. 四角形の分類証明

定義される性質を示すことで、四角形が平行四辺形、ひし形、長方形、正方形、凧型、または二等辺台形であることを示します。

例：「ABCDが平行四辺形であることを証明せよ。」戦略：対辺の組がそれぞれ平行であることを示す、OR 対辺の組がそれぞれ等しいことを示す、OR 対角の組がそれぞれ等しいことを示す、OR 対角線が互いに他方を2等分することを示す — これらのいずれか1つで十分です。

5. 円の定理の証明

円周角の定理、接線の性質、弦と弧の関係、円に内接する四角形の角の定理など。

6. 線分と角の証明

角の二等分線、中点、垂直線、角の加減算など。幾何学的性質とともに、代数的性質（代入、推移性）を頻繁に使用します。

証明が「厳密」であるとは

証明が厳密であるとは、すべての手順が以前に確立された命題によって正当化されている状態を指します。直感による飛躍や「明らかに真である」といった記述は許されません。標準的な高校幾何学の採点基準では以下が求められます：

• 各手順に番号が振られていること。
• 各手順が名称によって正当化されていること（例：「明らか」ではなく「対頂角の定理」）。
• 論理的な展開 — 各手順が引用された定理/性質を通じて前の手順から導かれていること。
• 最終手順が「証明すべき命題」と完全に一致していること。

worked example

与えられた条件： AB ∥ CD; AB = CD。
証明すべき命題： △ABE ≅ △CDE （ここでEは対角線ACとBDの交点）。

この証明は5行で、各行が正当化されており、与えられた条件から結論へと導かれています。

手書きで証明を書くためのヒント

• 与えられた条件から始め、目標で終わる。 手順1が「与えられた条件」を引用し、最後のステップが「証明すべき命題」と完全に一致することを確認してください。
• 共通要素を早期に特定する。 共通の辺や共通の角（反射的）は、証明の2つの部分を結びつける無料の手順となることがよくあります。
• 平行線を探す。 平行線の定理により、多くの角の等しさが「無料で」得られます。
• 手順を省略しない。 代入のように代数的に明白な手順でも引用が必要です。「A = B, B = C, したがって A = C」は1手順ではなく3手順です。
• 「対応する部分」ではなく「CPCTC」と書く。 標準的な略語は普遍的に受け入れられています。

AIを使用するか手書きするか

AIは以下のケースで最も速く動作します：

• 正しい証明を見つけたことを確認する場合（自分の解答とAIの解答を比較）。
• 行き詰まっており、始めるための戦略が必要な場合に証明を生成する場合。
• 教科書の証明を段落形式から2列形式へ（またはその逆へ）翻訳する場合。
• 画像から問題を読み取り、瞬時に証明を得る場合。

手書きで行うべき場合は：

• 採点対象の課題であり、教師が手書きを要求している場合。
• 試験勉強をしている場合（手書きで証明を書くことでパターンが定着する）。
• 証明が短い場合 — 3行程度の証明ではAIはやりすぎです。

制限事項

• AIが誤った定理名を引用する可能性があります。 推論自体は通常正しいですが、明示的な名前（例：「対頂角の定理」vs「隣接角の定理」）に一貫性がない場合があります。批判的に読んでください。
• 長い多段階の証明は要約されることがあります。 12手順以上を要する証明は、6〜7手順に圧縮されることがあります。すべての手順が必要な場合は、「要約なしの完全な2列証明」を依頼してください。
• 非ユークリッド幾何学はサポートされていません。 AIは標準的なユークリッドの公理を前提としています。球面/双曲線/射影幾何学の証明は範囲外です。