歡迎來到證明世界！
歡迎來到 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）」！