二列式幾何証明の書き方 — ステップバイステップチュートリアル

二列証明は、米国高校の幾何学で文が真であることを示すために使用される標準的な形式です。左の列にはステートメントがリストされ、右の列には各ステートメントが有効である理由（公準、定理、定義、または与えられたもの）がリストされます。パターンを内面化すると、割り当てられた証明のほとんどが、適切な理由を適切な順序で選択するだけの問題になります。

二列形式

すべての二列証明は同じ骨格を持っています：

1. 与えられた — 問題が教えてくれること（事実、図の印）
2. 証明する — 根拠を示さなければならない文
3. ステートメント / 理由 表 — 論理的ステップごとに1行、「証明する」文で終わる

各行の理由は次のいずれかでなければなりません：

• 与えられた（問題からの事実を再述）
• 定義（例：「中点の定義」）
• 公準（証明なしに受け入れられる規則、例：SSS、SAS、ASA）
• 定理（以前に証明された規則、例：対頂角定理）
• 等式 / 合同の性質（反射的、対称的、推移的、代入）

公準/定理チートリスト

これらを暗記してください — 合わせて高校の証明の90%をカバーします：

• SSS公準 — 3組の等しい辺 ⇒ 三角形合同
• SAS公準 — 2辺とその間の角が等しい ⇒ 合同
• ASA公準 — 2角とその間の辺が等しい ⇒ 合同
• AAS定理 — 2角とその間にない辺が等しい ⇒ 合同
• HL定理 — 斜辺 + 1辺が等しい（直角三角形のみ） ⇒ 合同
• CPCTC — 「合同な三角形の対応部分は合同である」（三角形の合同を証明した後に、辺/角の組が一致することを結論づけるために使用）
• 対頂角定理 — 対頂角は合同である
• 錯角定理 — 平行線 + 横断線 ⇒ 錯角が等しい
• 二等辺三角形定理 — 等しい辺の対角は等しい（および逆）
• 反射的性質 — 任意の線分または角はそれ自身と合同である（∠A ≅ ∠A, AB ≅ AB）

合同公準のより深い解説については How to Prove Two Triangles Are Congruent: 5 Methods を参照してください。

普遍的テンプレート

ほぼすべての三角形合同証明は、この6ステップの骨格に従います。括弧を埋めてください：

1. [与えられた事実1] — 与えられた
2. [与えられた事実2] — 与えられた
3. [共有する辺または対頂角の観察] — 反射的性質 / 対頂角定理
4. △ABC ≅ △DEF — [SSS / SAS / ASA / AAS / HL]
5. [結論から望む辺/角の組] — CPCTC
6. QED（または「∎」） — 証明完了

例題証明1 — SSS合同

与えられた: AB ≅ DE, BC ≅ EF, AC ≅ DF.
証明する: △ABC ≅ △DEF.

例題証明2 — 共有辺を含むSAS（反射的）

与えられた: AB ≅ AD, ∠BAC ≅ ∠DAC.
証明する: △ABC ≅ △ADC.

3行目の反射的ステップにより、辺を共有する2つの三角形がSASまたはASAの条件を満たすことができます。これを忘れることは、学生の証明が不完全になる最大の原因です。

例題証明3 — 平行線 + 錯角

与えられた: AB ∥ CD, AC ≅ BD.
証明する: △ABE ≅ △DCE（EはADとBCの交点）。

例題証明4 — 二等辺三角形底角 + CPCTC

与えられた: AB ≅ AC, ADが∠BACを二等分する。
証明する: ∠B ≅ ∠C.

これは二等辺三角形定理の古典的証明です。与えられた → 与えられた → 定義 → 反射的 → 合同 → CPCTCという6ステップの骨格は、教科書の問題で繰り返し登場します。

証明のよくある間違い

• 合同を証明する前にCPCTCを挙げる — CPCTCは常に△ABC ≅ △DEFを証明した行の次の行（N+1行目）で使用し、決して前には使わない
• SSAを使用する — SSA合同公準は存在しない（「多義の場合」 — 複数の三角形が適合し得る）。HLは直角三角形のみ有効
• 反射的ステップを省略する — 2つの三角形が辺または角を共有する場合、たとえ自明に感じられても、反射的性質を明示的に挙げる必要がある
• 「中点の定義」を公準として扱う — それらは異なるカテゴリの理由である。定義は可逆的（Mが中点 ⇔ AM ≅ MB）；公準は通常一方向の規則
• ∥と⊥を混同する — 平行記号（線分上の»）と垂直記号（角の□）は試験の緊張で混ざりやすい。ゆっくりしてまず図にラベルを付ける

方法を選択するための診断フローチャート

1. 2つの三角形の合同を証明しているか？ → 与えられたが支持する最も強い公準を選ぶ：SSS > SAS > ASA > AAS > HL
2. 2つの線分または2つの角の合同を証明しているか？ → まず外側の三角形の合同を証明し、次にCPCTCで終わる
3. 平行線が関与しているか？ → 錯角定理または同位角公準が登場することを期待する
4. 2つの三角形が辺または頂点を共有しているか？ → 反射的行を期待する
5. 三角形が直角三角形か？ → SSS/SASの前にHLを検討する（ステップ数が少なくなることが多い）

FAQ

二列証明は唯一許容される形式ですか？ いいえ — 段落証明やフローチャート証明も有効です。二列は米国の高校で標準であり、採点が最も容易なため、教師は通常これを要求します。

すべての定理を暗記する必要がありますか？ すべてではありません。上記のチートリスト（SSS/SAS/ASA/を暗記してください。