欢迎来到证明世界！
欢迎来到 H3 数学的世界！如果你曾经好奇为什么某个数学规则“就是这么运作”，那你来对地方了。在 H2 数学中，我们大多专注于如何使用公式；而在 H3 中，我们要深入底层，去证明它们为何成立。
直接证明（Direct Proof）是最基本、也是最“诚实”的证明方式。把它想象成建造一座坚固的桥梁：你从已知的事实（前提）出发，一块一块地铺设逻辑木板，直到抵达对岸（你的结论）。让我们开始吧！
第一节：什么是直接证明？
直接证明是透过一连串清晰的逻辑步骤，来展示一个命题为真的方法。大多数这类命题的形式都是：“若 P，则 Q。”
- P 是你的起点（假设，Hypothesis）。
- Q 是你的目的地（结论，Conclusion）。
在直接证明中，我们假设 P 为真，并利用定义、已证明的定理以及基础代数，来推导出 Q 必须成立。
比喻：食谱
想象食谱上写着：“如果你有面粉、水和酵母（P），你就能做出面包（Q）。”直接证明就像是混合、揉面、发酵到烘焙的步骤，将原始食材逻辑地导向最终成品。
你知道吗？
“数学（Mathematics）”一词源自希腊语 'mathema'，意指“被学习的事物”。证明正是我们确保所学知识绝对正确、历久不变的途径！
第二节：你的“工具箱”（基础定义）
要构建证明，你需要“积木”。在 H3 数学中，这些积木通常就是定义。别担心这些定义看起来很简单——将它们正式写下来，就是写出完美证明的秘诀！
1. 偶数：若整数 \( n \) 可写成 \( n = 2k \)（其中 \( k \) 为某个整数），则 \( n \) 为偶数。
2. 奇数：若整数 \( n \) 可写成 \( n = 2k + 1 \)（其中 \( k \) 为某个整数），则 \( n \) 为奇数。
3. 整除性：若存在整数 \( k \) 使得 \( b = ak \)，我们称 \( a \) 整除 \( b \)，记作 \( a | b \)。
4. 有理数：若数 \( x \) 可写成 \( x = \frac{p}{q} \)，其中 \( p, q \) 为整数且 \( q \neq 0 \)，则 \( x \) 为有理数。
小贴士：每当证明题提到“偶数”、“奇数”或“整除”时，你的第一步几乎总应该写下这些代数定义！
第三节：步骤说明
刚开始卡住是很正常的。请跟随这五个步骤来构建任何直接证明：
- 辨识（Identify）：搞清楚已知条件（P）是什么，以及你需要证明什么（Q）。
- 假设（Assume）：以一句话开始你的证明：“假设 P 为真。”
- 应用定义（Apply Definitions）：将 P 中的文字转化为数学方程式（例如 \( n = 2k \)）。
- 逻辑链（Logical Chain）：利用代数或逻辑处理你的方程式，直到它看起来像 Q 的定义为止。
- 结论（Conclude）：清楚陈述你已推导出 Q。
记忆法：梯子理论
想象一把梯子，顶端就是你的结论。你无法直接跳上去！你必须一阶一阶地踏过每个逻辑步骤（横杆）。如果缺少了其中一阶，证明就无法成立。
第四节：具体示例
让我们来证明一个经典命题：“若 \( n \) 为奇整数，则 \( n^2 \) 亦为奇整数。”
步骤 1：假设
假设 \( n \) 为奇整数。
步骤 2：使用定义
根据奇数的定义，对于某个整数 \( k \)，有 \( n = 2k + 1 \)。
步骤 3：逻辑运算（代数处理）
我们要了解 \( n^2 \)，所以将该表达式平方：
\( n^2 = (2k + 1)^2 \)
\( n^2 = 4k^2 + 4k + 1 \)
现在，我们要证明这是“奇数”。记得，“奇数”代表 2 乘以（某个东西）+ 1。
\( n^2 = 2(2k^2 + 2k) + 1 \)
步骤 4：结论
因为 \( k \) 是整数，所以 \( m = 2k^2 + 2k \) 也必然是整数。
因此，\( n^2 = 2m + 1 \)，这符合奇数的定义。
由此可证，\( n^2 \) 为奇数。（完成！）
第五节：常见陷阱
即便是优秀的学生也容易掉入这些陷阱，要特别注意！
- 循环论证（Circular Reasoning）：用结论来证明结论。（例如：不能说“因为 \( n \) 是奇数，所以 \( n^2 \) 是奇数”。）
- “举例”陷阱：证明 \( 3^2 = 9 \)（它是奇数）并不是证明。证明必须对所有数值有效，而不仅仅是一两个。这就是教学大纲中提到的“对于所有”（\(\forall\)）量词的概念！
- 逻辑模糊：从 \( 4k^2 + 4k + 1 \) 直接跳到“它是奇数”，而没有写出 \( 2(\dots) + 1 \) 的步骤。请务必完整呈现！
鼓励的话：证明就像是一种新语言。起初你可能会觉得写起来很“生疏”，但经过练习，这种逻辑思维将会成为你的第二天性。
第六节：重点复习箱
核心要点
1. 直接证明：透过逻辑步骤从“若 P”移动到“则 Q”。
2. 使用定义：及早将文字（奇数、偶数、整除）转化为代数表达式。
3. 整数性质：在证明过程中，务必注明你的新变量（如 \( k \) 或 \( m \)）为整数。
4. 结构：以“假设...”开头，以“因此...”作结。
第七节：数学术语摘要
根据课程大纲，请记住以下在直接证明中常用的术语：
- 公理（Axiom）：无需证明即被视为真的起点命题（例如“1 + 1 = 2”）。
- 定理（Theorem）：已被证明为真的重要重大命题。
- 命题（Proposition）：规模较小的陈述或“小型定理”。
- 推论（Corollary）：从刚证明的定理中直接得出的结论。
在下一章中，我们将探讨当直接证明不易得出时，如何使用“反证法（Proof by Contradiction）”！