歡迎來到解題的藝術：分類討論
在你的 H3 數學旅程中，你經常會遇到乍看之下非常棘手的問題。這些題目可能會顯得過於概括，或者涉及的變數可能是「任何值」。這時候就是解題啟發法（Problem Solving Heuristics）大顯身手的時候，而其中最強大的工具之一就是分類討論（Considering Cases）。
你可以把「分類討論」想像成規劃一次旅行。你不能只帶一套衣服就寄望一切順利，相反地，你會想：「如果下雨怎麼辦？如果是晴天呢？如果下雪呢？」透過將大問題（旅行）拆解成較小的場景（天氣類型），你就能完美應對每一種情況。在數學中，我們做的正是同樣的事！
什麼是「分類討論」？
分類討論是一種啟發式策略，即將一個複雜的單一問題拆解成多個較小、較簡單的子問題。每一個子問題代表一個特定的場景或「情況（Case）」。一旦你解決了所有個別的情況，你實際上就解決了整個問題。
為了確保此方法有效，你的分類必須符合以下要求：
- 窮舉性（Exhaustive）：你沒有遺漏任何可能性。每一種可能的場景都必須歸入你至少其中一個分類中。
- 互斥性（Mutually Exclusive，理想情況下）：你的分類不應重疊。這能讓你的解題過程更簡潔，並避免在概率或計數問題中出現「重複計算」。
快速回顧：試想所有整數的集合。如果我們將它們拆分為「偶數」和「奇數」，我們就覆蓋了每一個整數（窮舉性），且沒有任何整數既是偶數又是奇數（互斥性）。這就是一組完美的分類！
常見的分類方式
如果你不確定該如何開始拆解問題，請別擔心。以下是一些在 H3 課程中頻繁出現的「經典」分類方式：
1. 奇偶性（偶數 vs 奇數）
當處理整數 \( n \) 時，表達式的行為往往會隨 \( n \) 是偶數或奇數而改變。
例子：若要證明 \( n^2 + n \) 恆為偶數，可考慮 情況 1： \( n = 2k \)（偶數）及 情況 2： \( n = 2k + 1 \)（奇數）。
2. 符號（正數、負數或零）
在處理不等式或絕對值時，這一點至關重要。
例子：對於表達式 \( |x - 3| \)，你會考慮 情況 1： \( x \geq 3 \)（此時表達式為 \( x - 3 \)）及 情況 2： \( x < 3 \)（此時表達式為 \( -(x - 3) \)）。
3. 同餘算術（餘數）
有時候「奇數 vs 偶數」並不足夠。你可能需要觀察除以其他數字時的餘數（同餘類）。
例子：如果一個問題涉及 \( n^2 \)，你可能會針對 \( n \) 模 3 的情況進行分類： \( n \equiv 0 \)、 \( n \equiv 1 \) 或 \( n \equiv 2 \pmod{3} \)。
4. 相對大小
在涉及多個變數（如 \( a, b, \) 和 \( c \)）的不等式中，假設一個順序通常很有幫助。
例子：「不失一般性（WLOG），假設 \( a \leq b \leq c \)」。這利用了對稱性原理（Symmetry Principle）來減少你需要檢查的情況數量！
逐步執行：如何運用此啟發法
當你被題目卡住時，請遵循以下步驟來應用「分類討論」策略：
步驟 1：找出「拆解點」。尋找問題中在不同情況下行為不同的部分（例如絕對值符號或整數變數）。
步驟 2：清晰定義你的分類。把它們寫下來！「情況 1： \( n \) 為偶數。」這能保持你的思維條理清晰，也有助於評卷員跟隨你的邏輯。
步驟 3：個別解決每個情況。將每一種情況視為一個獨立的小問題。利用該情況的具體資訊（例如：「在這種情況下，我知道 \( x \) 是負數」）來簡化方程式。
步驟 4：總結結果。檢視你在所有情況中發現的結果。該結論是否在每一種情況下都成立？如果是，你就證明了你的論點！
簡單的實戰例子
題目：證明對於任何整數 \( n \)，表達式 \( n^2 + 3n + 5 \) 恆為奇數。
情況 1： \( n \) 為偶數。
設 \( n = 2k \)（其中 \( k \) 為整數）。
\( n^2 + 3n + 5 = (2k)^2 + 3(2k) + 5 \)
\( = 4k^2 + 6k + 4 + 1 \)
\( = 2(2k^2 + 3k + 2) + 1 \)
由於此式符合 \( 2m + 1 \) 的形式，故為奇數。
情況 2： \( n \) 為奇數。
設 \( n = 2k + 1 \)（其中 \( k \) 為整數）。
\( n^2 + 3n + 5 = (2k+1)^2 + 3(2k+1) + 5 \)
\( = (4k^2 + 4k + 1) + (6k + 3) + 5 \)
\( = 4k^2 + 10k + 9 \)
\( = 4k^2 + 10k + 8 + 1 \)
\( = 2(2k^2 + 5k + 4) + 1 \)
由於此式亦符合 \( 2m + 1 \) 的形式，故同樣為奇數。
結論：由於該表達式在所有可能的情況下均為奇數，因此它恆為奇數。Q.E.D.（證畢）
你知道嗎？
著名的四色定理（Four Color Theorem）（指出任何地圖都可以只用四種顏色填色，且相鄰的區域不會使用相同顏色）就是利用「分類討論」來證明的。然而，因為情況太多（接近 2,000 種！），數學家不得不動用電腦來檢查所有情況。這也是史上第一個透過電腦輔助證明的主要定理！
常見的陷阱
儘管這個技巧很簡單，但還是很容易犯以下錯誤：
- 「遺漏」陷阱：忘記了其中一種情況。如果你檢查了 \( x > 0 \) 和 \( x < 0 \)，你絕對要記得檢查 \( x = 0 \)！
- 過於複雜化：明明 2 種情況就能解決，卻創造了 10 種情況。永遠尋找最有效率的拆解方式。
- 見樹不見林：過度沉迷於解決「情況 1」，以至於忘記了題目原本的要求。隨時回顧你的主要目標。
重點回顧
- 拆解問題：如果問題太籠統，將其拆解成更小、更易於處理的場景。
- 確保窮舉：確保你的分類覆蓋了問題所允許的所有可能性。
- 結構化：清晰標註你的分類，以保持條理並爭取最高清晰度分數。
- 練習辨識「拆解點」：你做得題目越多，就越能快速判斷何時該使用奇偶性、符號或同餘算術。
如果剛開始覺得很難，請別擔心！解題是一項透過練習不斷成長的技能。下次當你看到變數 \( n \) 時，問問自己：「如果 \( n \) 很小會怎樣？如果它是偶數又會怎樣？」你其實已經在進行分類討論了！