欢迎来到 H3 数学的世界！
欢迎修读 H3 数学 (9820)！如果你选择了这门科目，你一定是一位不仅关心数学“是什么”，更热衷于探究其背后的“为什么”和“如何”的学生。在第一个单元——数学陈述 (Mathematical Statements) 中，我们将会探讨数学语言的基石。你可以把它想象成学习一门新语言的文法和词汇，为日后编写优美且严谨的逻辑“语句”打好基础。
别担心，这些概念初看可能有点抽象。在读完这些笔记后，你就会明白它们其实是整理思维的工具，让我们能以 100% 的确定性来证明复杂的数学难题！
1. 基础：什么是定义 (Definition)？
在日常生活中，词汇往往很模糊。如果你说一间“大房子”，有人可能觉得是五房单位，而有人却觉得是五十间房。但在数学中，我们不能有这种混淆。定义 (Definition) 是对一个术语精确含义的共同约定。
重点： 定义本身并不需要证明。它是起点。它只是在说：“当我使用这个词时，其意思就是指这件事。”
例子：偶数 (Even Numbers)
我们将整数 \( n \) 定义为偶数，条件是存在一个整数 \( k \)，使得 \( n = 2k \)。
为什么这样做很有用？ 因为现在当我们在证明过程中要讨论偶数时，我们不会只说“像 2, 4, 6 这样的数”，而是使用精确的代数形式 \( 2k \)。
记忆法：“字典规则”
把定义想象成字典条目。它不会告诉你某样东西是否“正确”或“好”；它只告诉你这个词代表什么，确保大家对概念的理解达成共识。
快速回顾： 定义是我们进行任何数学运算前所达成共识的“名称”与“规则”。
2. 提出主张：什么是命题 (Proposition)？
有了定义，我们就可以开始作陈述。命题 (Proposition) 是一个数学陈述，它必须是真 (True) 或假 (False)，但不能两者皆是。
避免常见误区： 并非每个句子都是命题！
- “5 是质数吗？” (这是问题，不是命题)。
- “数学真有趣！” (这是主观意见，不是数学命题)。
- “\( x > 5 \)” (这还不是命题，因为我们不知道 \( x \) 是什么。我们称这种句子为开放式陈述)。
命题的例子：
1. “两个偶数之和必为偶数。” (这是一个真命题)。
2. “7 是一个偶数。” (这是一个假命题，但它依然是一个命题，因为我们可以断定它是错的)。
类比：法庭上的证人
把命题想象成法庭上的证人所作的供词。该陈述必须是一个清晰的主张，可以被验证为事实或谎言。
重点： 命题是一个具有“真值”（真或假）的“主张”。
3. 黄金标准：什么是定理 (Theorem)？
在 H3 数学中，你会遇到许多“定理”。简单来说，定理 (Theorem) 是通过逻辑、定义以及先前已建立的定理，经由证明后确认为真的命题。
你知道吗？ 科学中的“理论”可能会随新证据出现而更新，但数学定理则是永恒不变的。毕竟毕氏定理 (Pythagorean Theorem) 在 2,000 年后依然完全正确！
真理的层级
数学家有时会根据定理的“规模”或“重要性”使用不同的名称：
- 公理 (Axiom)： 我们假设为真且无需证明的陈述（绝对的起点）。
- 定理 (Theorem)： 一个重大且重要的结果。
- 引理 (Lemma)： 一个“垫脚石”结果。它是一个较小的定理，用来帮助证明更大的定理。
- 推论 (Corollary)： 一个“附加”结果。当某个定理被证明后，几乎可以立即得出的命题。
例子：
定理： 三角形的内角和为 \( 180^\circ \)。
推论： 三角形不可能有多于一个钝角。（这是一个“附赠”的事实，一旦你知道上面的定理，这显然是真的！）
重点： 所有定理都是命题，但只有那些被证明为真的命题才能被称为定理。
4. 整合概念：它们如何连结
看看这三者如何在逻辑链中运作会很有帮助。如果觉得有点形式化也别担心；这只是数学家思考的结构而已！
逻辑链：
- 定义： 我们定义“质数”和“偶数”的意思。
- 命题： 有人提出一个主张：“所有质数都是奇数。”
- 调查： 我们检查该主张。发现 2 既是质数，又是偶数。
- 新命题： 我们修正主张：“只有一个偶数质数，那就是 2。”
- 定理： 当我们利用定义证明了这个修正后的主张，它就成为了一个定理。
快速总结表
术语：定义 (Definition)
是什么？ 对字词或符号达成共识的含义。
例子： 设 \( n \) 为整数。若存在某整数 \( k \) 使得 \( n = 2k + 1 \)，则 \( n \) 为奇数。
术语：命题 (Proposition)
是什么？ 一个要么为真、要么为假的陈述。
例子： “任何奇数的平方都是奇数。”
术语：定理 (Theorem)
是什么？ 已通过逻辑证明为真的命题。
例子： 二项式定理 (Binomial Theorem) 或毕氏定理 (Pythagoras' Theorem)。
给你的鼓励：
如果这些区别现在让你觉得有点“吹毛求疵”，别灰心！当你进入下一个关于“条件句”和“逻辑连接词”的章节时，你将会明白拥有这些明确的定义标签，能让你如何在处理复杂问题时不至于迷失方向。你正在打造大师级数学家的工具箱！