如何撰写双栏几何证明 — 逐步教程

双栏证明是美国高中几何中用来证明一个陈述为真的标准格式。左栏列出叙述，右栏列出每条叙述有效的理由（公设、定理、定义或已知）。一旦你内化了这种模式，几乎所有布置的证明都只是按正确顺序挑选正确理由的问题。

双栏格式

每个双栏证明都有相同的骨架：

1. 已知 — 问题告诉你的事实（图形上的标记）
2. 求证 — 你必须证明的陈述
3. 叙述 / 理由表 — 每行一个逻辑步骤，以“求证”陈述结束

每行的理由必须是以下之一：

• 已知（重述问题中的事实）
• 定义（例如“中点的定义”）
• 公设（无需证明即可接受的规则，例如 SSS、SAS、ASA）
• 定理（之前已证明的规则，例如对顶角定理）
• 等式 / 全等性质（自反、对称、传递、代换）

公设/定理速查表

记住这些——它们共同覆盖了高中证明的 90%：

• SSS 公设 — 三对相等的边 ⇒ 三角形全等
• SAS 公设 — 两边及其夹角相等 ⇒ 全等
• ASA 公设 — 两角及其夹边相等 ⇒ 全等
• AAS 定理 — 两角和一个非夹边相等 ⇒ 全等
• HL 定理 — 斜边加一条直角边相等（仅限直角三角形）⇒ 全等
• CPCTC — “全等三角形的对应部分全等”（在证明三角形全等之后，用于得出边/角对匹配的结论）
• 对顶角定理 — 对顶角全等
• 内错角定理 — 平行线 + 截线 ⇒ 内错角相等
• 等腰三角形定理 — 等边所对的角相等（及其逆定理）
• 自反性质 — 任何线段或角都与其自身全等（∠A ≅ ∠A，AB ≅ AB）

关于全等公设的更深入介绍，请参阅 如何证明两个三角形全等：5 种方法。

通用模板

几乎每个三角形全等证明都遵循这个 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 行的自反步骤使共享边的两个三角形能够满足 SAS 或 ASA。遗漏这一步是学生证明不完整的最常见原因。

例证 3 — 平行线 + 内错角

已知： AB ∥ CD，AC ≅ BD。
求证： △ABE ≅ △DCE，其中 E 是 AD 与 BC 的交点。

例证 4 — 等腰三角形底角 + CPCTC

已知： AB ≅ AC，AD 平分 ∠BAC。
求证： ∠B ≅ ∠C。

这是等腰三角形定理的经典证明。6 步骨架——已知 → 已知 → 定义 → 自反 → 全等 → CPCTC——在教科书问题中反复出现。

常见证明错误

• 在证明全等之前引用 CPCTC — CPCTC 始终出现在证明 △ABC ≅ △DEF 的那一行之后，从不之前
• 使用 SSA — 不存在 SSA 全等公设（这是“两解情况”——可能有多个三角形）。HL 仅适用于直角三角形
• 跳过自反步骤 — 如果两个三角形共享一条边或一个角，必须明确引用自反性质，即使它看起来显而易见
• 将“中点的定义”当作公设 — 它们属于不同类别的理由。定义是可逆的（M 是中点 ⇔ AM ≅ MB）；公设通常是单向规则
• 混淆 ∥ 与 ⊥ — 平行标记（线段上的 »）和垂直标记（角上的 □）在考试压力下容易混淆。放慢速度，先标记图形

选择方法的诊断流程图

1. 你是否在证明两个三角形全等？→ 选择已知支持的最强公设：SSS > SAS > ASA > AAS > HL
2. 你是否在证明两条线段或两个角全等？→ 先证明包含它们的三角形全等，再用 CPCTC 完成
3. 是否涉及平行线？→ 预期会出现内错角定理或同位角公设
4. 两个三角形是否共享一条边或顶点？→ 预期会出现自反行
5. 三角形是否为直角三角形？→ 在 SSS/SAS 之前考虑 HL（通常步骤更少）

常见问题

双栏证明是唯一可接受的格式吗？ 不是——段落证明和流程图证明也有效。双栏是美国高中的默认格式，且最易评分，因此教师通常要求使用它。

我需要记住所有定理吗？ 不需要全部记住。记住上面的速查表（SSS/SAS/ASA/