两栏证明:像数学家一样论证几何
陈述、理由。陈述、理由。两栏证明不是死记硬背——它是一种逻辑格式。本课教你如何识别每条规则何时适用,以及如何把它们串成有效的论证。
证明不是死记硬背——而是逻辑
两栏证明的形式陌生,很多同学望而生畏。但撇开形式,它其实与你每天都用的推理相同:已知 X,得出 Y,并解释为何如此。Texas Geometry CBE 不会要求你从零构造证明——只要求你在给定的步骤里识别正确的理由。
演绎推理 vs 归纳推理
- 演绎推理
- 由一般规则 → 具体结论。"所有正方形都有 4 个直角。ABCD 是正方形 ⇒ ABCD 有 4 个直角。" 证明用的正是这种推理。
- 归纳推理
- 由具体例子 → 一般规则。"1、4、9、16 → 规律为 n²。" 用于提出猜想,不用于证明。
核心思想
每一份两栏证明都使用演绎推理。你从已知出发,应用既定定理/公理,一步步链接到结论。每一行都需要理由。
判断推理类型
两栏证明所用的推理类型是什么?
📌 两栏证明使用演绎推理。 每一步都依靠定义、公理、定理从前面步骤逻辑推出。 💡 归纳推理只能提示规律,却不能证明规律。
另一面
从具体例子归结出一般规则的推理是?
📌 归纳:具体 → 一般(基于规律) 演绎:一般 → 具体(基于证明) 💡 归纳只能提出猜想,只有演绎能证明。
格式
最常被引用的理由
- 已知 (Given)
- 题目声明。每份证明的出发点。
- 自反性质 (Reflexive)
- 任何东西都与其自身全等。AB ≅ AB。两个三角形共享一条边时使用。
- 对顶角定理
- 对顶角(X 形相交)彼此相等。在"证明三角形全等"题目里经常出现。
- SSS / SAS / ASA / AAS / HL
- 五条三角形全等规则——在断定两个三角形全等时引用的"理由"。
- CPCTC
- 全等三角形的对应部分全等。必须在证明三角形全等之后使用——可用它得出任意对应边或对应角相等。
- [图形/术语]的定义
- 例如"中点的定义" → 该线段被分成两段相等的部分。
策略
从目标倒推
先看要证明什么。问自己:"哪条规则可以得出这个结论?" 再问:"要应用这条规则,需要先具备什么?" 从终点往回推,链条就一目了然。
不能证明全等的理由
AAA 与 SSA
三角匹配(AAA)只能证明相似,不是全等。两边加非夹角(SSA)是著名的"两解情形",可能得到两个不同的三角形。都是 CBE 的经典陷阱。
找出无效"理由"
下列哪一项不能用来证明两个三角形全等?
📌 **第 1 步:列出全部有效全等定理** ✅ SSS(边-边-边) ✅ SAS(边-角-边) ✅ ASA(角-边-角) ✅ AAS(角-角-边) ✅ HL(斜边-直角边,仅直角三角形) 📌 **第 2 步:AAA 为何不行** AAA 只能证明**相似**,不必然**全等**。两个三角形角度相同但边长可不同。 📌 **答案:AAA** 不能证明全等。 💡 **例:** 3-4-5 与 6-8-10 三角形角相同但大小不同。
3 秒回顾
- 两栏证明使用演绎推理(一般 → 具体)。
- 左 = 陈述;右 = 理由。每一步都需要理由。
- 常见理由:已知、自反、对顶角、SSS/SAS/ASA/AAS/HL、CPCTC。
- CPCTC 一定用在证明三角形全等之后。
- 从目标倒推,找出证明链条。
自我检测
快速检测 #1
两栏证明中,哪一项是有效的理由?
两栏证明中有效的理由是:定义、公理、定理和已证明过的命题。"看着对"或"假设一下"不算——证明需要形式化的依据。
快速检测 #2
证明的第一行通常是什么?
两栏证明总是以"已知"(GIVEN)开始,并配上理由"Given"。从这些事实出发,搭建通向所需结论(最后一行)的逻辑陈述链。