歡迎來到「分類證明法」（Proof by Cases）的世界！
在你的 H3 數學旅程中，你會發現有些數學命題就像謎題一樣，會根據你代入的數字而有所不同。對於偶數成立的規律，換作奇數時可能就會完全改變。這時候，「分類證明法」（有時也稱為「窮舉法」）就能派上用場了！
你可以把它想像成「分而治之」的策略。與其試圖一次過證明所有數字都適用同一個規律，不如將問題拆解成較小、較易處理的小組（即「情況」或 Case），然後逐一證明。只要我們涵蓋了所有可能出現的情況，整個命題就必定成立！
如果剛開始覺得有點棘手也不用擔心；一旦你掌握了當中的規律，它就會成為你數學工具箱中最具邏輯性的工具之一。
1. 什麼是分類證明法？
分類證明法是指通過將定義域（即我們所研究的數集）劃分為若干個子群組，從而證明命題 \(P\) 正確的方法。我們接著會證明 \(P\) 對每個子群組均分別成立。
黃金法則：為了確保證明有效，你所劃分的各種情況必須是窮盡（exhaustive）的。這意味著它們必須涵蓋所有可能性。如果你遺漏了哪怕是一個微小的可能性，整個證明就會站不住腳！
一個簡單的類比：
假設你想證明你對明天的天氣總能準備充足。你不能只說「我會帶一件外套」，因為天氣可能很熱。相反，你應將情況分類：
情況 1：下雨。（我會帶雨傘。）
情況 2：天晴。（我會戴太陽眼鏡。）
情況 3：下雪。（我會穿羽絨服。）
由於天氣不是下雨、天晴就是下雪（假設這就是全部選擇！），你已經證明了你總是準備充足！
關鍵要點：
要用分類證明法證明一個命題，你必須展示該命題在情況 1 或 情況 2 或 情況 3……中均成立，直到所有可能性都被窮盡為止。
2. 什麼時候應該使用這種方法？
當單一公式或邏輯路徑不適用於所有情況時，就應考慮使用分類證明法。常見的「觸發點」包括：
- 奇偶性（Parity）：當命題涉及整數，且該整數可能是偶數或奇數時。
- 絕對值（Absolute Values）：當你看到 \( |x| \) 時，因為它的特性會根據 \( x \) 是正數、負數或零而改變。
- 不等式（Inequalities）：當變數的符號會改變不等式的方向時。
- 餘數（同餘運算，Modular Arithmetic）：當一個數字除以另一個數字時可能會有不同的餘數（例如：\( n \equiv 0, 1, \text{ 或 } 2 \pmod 3 \)）。
你知道嗎？
著名的「四色定理」（即任何地圖都可以只用四種顏色著色，使得沒有兩個相鄰區域共用同一顏色）就是通過 1,482 種不同的情況證明出來的！由於情況太過複雜，必須依靠電腦來檢查所有情況。
3. 撰寫證明的步驟指南
讓我們看看如何建構你的答案，讓評卷員一目了然：
第 1 步：說明你的計劃。 告訴讀者你正在使用分類證明法。
第 2 步：定義你的分類。 確保它們涵蓋了所有情況（例如：\( n \) 是偶數，\( n \) 是奇數）。
第 3 步：證明情況 1。 使用代數或邏輯來證明命題對該群組成立。
第 4 步：證明情況 2（以此類推）。 對其餘群組進行同樣的操作。
第 5 步：結論。 簡要說明由於該命題對所有可能情況均成立，因此對所有數值均成立。
4. 經典例題：整數的平方
問題：證明對於任何整數 \( n \)，\( n^2 + n \) 的值總是偶數。
等等！在開始之前，讓我們記住：
一個偶數可以寫成 \( 2k \)。
一個奇數可以寫成 \( 2k + 1 \)。
（其中 \( k \) 為整數。）
情況 1：\( n \) 是偶數。
令 \( n = 2k \)。
則 \( n^2 + n = (2k)^2 + (2k) = 4k^2 + 2k \)。
我們可以提取公因數 2：\( 2(2k^2 + k) \)。
由於這是 2 乘以一個整數，結果為偶數。
情況 2：\( n \) 是奇數。
令 \( n = 2k + 1 \)。
則 \( n^2 + n = (2k + 1)^2 + (2k + 1) \)。
展開後：\( (4k^2 + 4k + 1) + (2k + 1) = 4k^2 + 6k + 2 \)。
同樣地，提取公因數 2：\( 2(2k^2 + 3k + 1) \)。
這同樣是 2 乘以一個整數，所以結果亦為偶數。
結論：由於 \( n \) 必定是偶數或奇數，且在這兩種情況下 \( n^2 + n \) 均為偶數，命題得證！
速查核對表：
穩固證明的檢查清單：
1. 我的分類是否區分明確？（它們不需要完全不重疊，但必須涵蓋所有情況）。
2. 我的分類是否窮盡？（我是否遺漏了零？是否遺漏了負數？）
3. 我是否為每一個情況都得出了清晰的結論？
5. 避免常見錯誤
即使是最優秀的學生也可能掉進這些「陷阱」：
- 「遺漏零」陷阱：如果你將情況分為「正數」和「負數」，千萬別忘了 \( x = 0 \) 的情況！
- 過於複雜：如果 2 個情況就能解決，就別搞出 10 個情況。尋找劃分數字最簡單的方法。
- 未達窮盡：如果你僅證明了所有質數的情況，你並沒有證明所有整數的情況（你遺漏了 1, 4, 6, 8 等）。
記憶小撇步：「CEO」
要記住什麼構成好的分類證明，請記住 CEO：
Cases defined (已定義分類)。
Exhaustive (窮盡所有可能性)。
One-by-one proof (逐一證明)。
6. 進階技巧：使用同餘（Modulo）
身為 H3 學生，你應該要掌握同餘運算。這是創造分類的強力方法！如果問題涉及除以 3 的整除性，你可以根據餘數將證明分為三種情況：
- 情況 1： \( n = 3k \) （餘數為 0）
- 情況 2： \( n = 3k + 1 \) （餘數為 1）
- 情況 3： \( n = 3k + 2 \) （餘數為 2）
這涵蓋了所有可能的整數，因為任何數除以 3 的餘數只可能是 0、1 或 2！
總結：
當問題感覺「分裂」時，分類證明法是你最好的朋友。通過將大問題拆解為較小、較簡單的邏輯步驟，你可以自信地應對最複雜的 H3 定理。只需記住：涵蓋所有情況，並證明每一個情況！