# 命题与证明
> [!summary]
> 数学不只是计算——命题把数学结论用语言精确表达，证明则用逻辑链条说明它为什么成立。
## 为什么需要它
学几何时，老师常说"三角形内角和等于 180°"。你量了好几个三角形，每次都是 180°——但你怎么知道所有三角形都是这样？你不可能量完世界上所有的三角形。这时就需要**证明**：从已经公认的出发点（公理、定理），一步步推出结论，让人彻底信服。
证明之前，还需要把要讨论的内容说清楚：什么是"条件"，什么是"结论"——这就是**命题**的作用。数学之所以是严谨的，正是因为它不靠经验、不靠权威，而是靠"命题 + 证明"这套体系。
## 它从哪来
最早在古希腊，欧几里得写了《几何原本》：先列出几条不证自明的"公理"，然后用逻辑推理证明其他结论。这套方法延续至今，成为数学的基本工作方式——**公理化体系**。
初中阶段，你不需要建立完整的公理体系，但需要理解其中最核心的思想：**先明确前提，再逐步推理**。
## 一句话定义
命题是判断一件事情的语句（有真有假）；证明是从已知条件出发、依据公理和定理、用逻辑推理得出结论的过程。
## 正式表述
### 命题
**命题**是对某件事情作出判断的语句，由**题设**（条件）和**结论**两部分组成，通常可以写成"如果……那么……"的形式。
- **真命题**：经过推理确认正确的命题。
- **假命题**：可以通过**反例**推翻的命题——只需一个反例就够了。
### 公理与定理
- **公理**（基本事实）：公认成立、不需要证明的真命题。例如"两点确定一条直线"。
- **定理**：经过证明的真命题。
- **推论**：由定理直接推出的结论。
### 逆命题
把一个命题的题设和结论互换，得到它的**逆命题**。
> 原命题：如果两个角是对顶角，那么它们相等。（真）
> 逆命题：如果两个角相等，那么它们是对顶角。（假——等角不一定是对顶角）
**重要结论**：原命题成立，其逆命题不一定成立。
### 反例
要说明一个命题是假的，只需举出一个**反例**——一个满足条件但不满足结论的具体例子。
### 证明
证明是从题设出发，利用定义、公理、已证定理，按照逻辑规则一步步推出结论的过程。
**综合法**的基本格式：
$
\text{已知} \longrightarrow \text{依据（定义/公理/定理）} \longrightarrow \text{推出结论}
$
每一步都要写清楚**依据**（"因为……所以……"），这是证明与计算最大的区别。
### 反证法
当直接证明困难时，可以**假设结论不成立**，推出与已知条件或公理矛盾，从而说明假设不成立、原结论成立。
## 典型例题
> [!example] 基础：判断命题真假
> 判断下列命题的真假，假命题举反例。
> （1）如果 $a > b$，那么 $a^2 > b^2$。
> （2）对顶角相等。
>
> （1）假命题。反例：$a = 1$，$b = -3$，此时 $a > b$，但 $a^2 = 1 < 9 = b^2$。
> （2）真命题。这是可以证明的定理。
> [!example] 综合：写出逆命题并判断真假
> 原命题："如果一个三角形是等边三角形，那么它的三个内角都等于 60°。"
>
> 逆命题："如果一个三角形的三个内角都等于 60°，那么它是等边三角形。"
> 判断：逆命题也是真命题。（可由"等角对等边"证明。）
> [!example] 探究：用综合法证明
> 已知：如图，$AB \parallel CD$，$\angle 1 = \angle 2$。求证：$EF \parallel GH$。
>
> 证明：
> 因为 $AB \parallel CD$（已知），
> 所以 $\angle 1 = \angle 3$（两直线平行，内错角相等）。
> 又因为 $\angle 1 = \angle 2$（已知），
> 所以 $\angle 2 = \angle 3$（等量代换）。
> 因为 $\angle 2 = \angle 3$，
> 所以 $EF \parallel GH$（内错角相等，两直线平行）。
> [!warning] 易错点
> - **混淆命题的条件和结论**：看到"等腰三角形的两个底角相等"，条件是"等腰三角形"，结论是"两底角相等"，不要搞反。
> - **原命题成立就以为逆命题也成立**：这是最常见的逻辑错误。必须单独验证逆命题。
> - **证明中跳步**：每一步必须写依据，不能"显然""容易看出"。
## 这个概念的好处
命题与证明是数学思维的核心——它训练的不是计算能力，而是逻辑推理能力。学会了这套方法，你不仅能在几何题中严密论证，更能在任何需要"有理有据地说服人"的场合，清晰地组织自己的论点。
> [!info]- 学习边界：掌握 / 接触 / 不要求
> - **必须掌握**：命题的概念（题设和结论）；真命题与假命题；定理、公理的含义；逆命题的概念及判断；反例的意义和用法；综合法的证明格式（因为……所以……）。
> - **可以接触**：反证法的基本思想；简单的几何命题证明（如利用平行线性质）。
> - **不作为本页要求**：复杂的多步几何证明（见具体图形的概念页如 [[全等三角形]]、[[四边形]]）；形式逻辑符号表述；充分条件与必要条件的严格辨析。
> [!note]- 教师视角·课标解析
> **课标锚点（2022 课标·第四学段）**
> - **内容要求**：通过具体实例了解定义、命题、定理、推论的意义；会区分命题的条件和结论；了解原命题及其逆命题，知道原命题成立其逆命题不一定成立；知道证明的意义和必要性，会用综合法的证明格式；了解反例的作用；通过实例体会反证法的含义。
> - **学业要求**：能识别命题的题设和结论；能写出一个命题的逆命题并判断真假；能举反例说明假命题；能用规范的综合法格式完成简单证明。
> - **教学提示**：证明的入门应从学生"觉得显然但说不清为什么"的命题开始，让学生体会证明的必要性。建议从平行线性质的证明入手，逐步过渡到三角形相关定理。
> - **锚点**：[[第四学段（7-9 年级）@图形与几何]]
>
> **关键词**：命题、题设、结论、真命题、假命题、定理、公理、逆命题、反例、证明、综合法、反证法。
>
> **关键解释**：命题与证明不是一个独立的"知识点"，而是贯穿整个初中几何的方法论。它第一次要求学生从"知道结论"走向"证明结论"，是从算术思维向演绎推理思维的关键跨越。教学中应把证明嵌入具体几何内容中教，不宜脱离几何情境孤立讲述。
>
> **建议路径**：1. 从"你怎么知道三角形内角和一定是 180°"引发质疑；2. 引入命题、题设、结论的概念；3. 举真命题和假命题的例子，学习用反例推翻假命题；4. 介绍逆命题，体会"原命题真 ≠ 逆命题真"；5. 在平行线性质的证明中学习综合法格式；6. 在后续三角形、四边形学习中反复运用。
>
> **命题边界**：可考命题条件与结论的识别、逆命题的写法与真假判断、用反例推翻假命题、简单的综合法证明（通常结合平行线或三角形）；不考形式逻辑符号、充要条件分析、复杂多步证明。
---
## Logs
- 2026-06-01 按概念页写作规范重写：从索引页升级为四层结构概念页；补 frontmatter 图谱关系；补学习边界与教师视角·课标解析