歡迎來到構造證明（Proof by Construction）的世界！
在你的 H2 數學旅程中，你已經花了不少時間在計算和解題上。到了 H3 數學，我們要退一步思考：「究竟我們如何得知這個東西本身是存在的？」
構造證明是回答這個問題最令人滿足的方法之一。你可以把它想像成一份「食譜」。與其只爭論蛋糕「可能」存在，你直接把它烤出來並端上桌。如果你能把它造出來，那它就一定是真實存在的！這一章將教會你如何成為一名數學建築師。
1. 什麼是構造證明？
在數學中，我們經常遇到以「存在...」（由符號 \(\exists\) 表示）開頭的命題。為了證明這些命題，我們使用構造性證明。
構造證明是透過創建一個數學對象，或提供一種特定的方法（算法）來尋找它，從而證明該對象的存在。
核心概念：要證明「存在一個 \(x\) 使得 \(P(x)\) 為真」，你只需要找到一個特定的 \(x\) 值，並證明它滿足條件 \(P(x)\) 即可。
類比：尋寶遊戲
想像有人說：「這個公園裡藏著一枚金幣。」
• 非構造性證明可能會爭論說：「金屬探測器在響，所以某個地方一定有金幣。」
• 構造性證明則會說：「我在這些坐標 (x, y) 挖了一下，這就是那枚金幣。」
重點總結：
只要你找到一個有效的例子，「存在性」就已經被證明了。你不需要找到所有例子——只要一個就足夠了！
2. 三步驟流程
如果這聽起來有點抽象，不用擔心。對於幾乎所有的構造證明，你都可以遵循這三個簡單的步驟：
步驟 1：確認「目標」。 觀察命題，弄清楚你需要找到的是哪種對象（一個數字？一個函數？還是一個集合？）。
步驟 2： 「構造」候選者。 利用你的直覺、草稿或反覆試驗來選出一個特定的候選者。（注意：你通常不需要在最終證明中展示你的試錯過程！）
步驟 3：驗證。 一步一步展示你所選擇的候選者確實符合題目中提出的所有要求。
3. 實戰演練
例題 1：數論（基礎）
證明存在一個偶質數。
構造： 令 \(n = 2\)。
驗證：
1. \(n\) 是偶數嗎？是的，\(2 \div 2 = 1\)，所以它是偶數。
2. \(n\) 是質數嗎？是的，2 的唯一因數是 1 和它本身。
由於我們找到了一個既是偶數又是質數的數字，該命題得證。得證（Q.E.D.）。
例題 2：合成數
證明存在一個整數 \(n\)，使得 \(2^n - 1\) 是一個合成數，其中 \(n > 1\)。
構造： 我們試幾個數值。
若 \(n=2\)，\(2^2 - 1 = 3\)（質數）。
若 \(n=3\)，\(2^3 - 1 = 7\)（質數）。
若 \(n=4\)，\(2^4 - 1 = 15\)（合成數！）。
所以，我們選擇 \(n = 4\)。
驗證： 當 \(n = 4\) 時，\(2^4 - 1 = 15\)。由於 \(15 = 3 \times 5\)，它是合成數。存在性得證。
快速回顧： 請注意在例題 2 中，我們不必討論 \(n=5\) 或 \(n=6\)。一旦我們找到了 \(n=4\)，我們的工作就完成了！
4. 構造性與非構造性證明
在 H3 數學中，很重要的一點是知道並非所有的存在性證明都是構造性的。
• 構造性： 「這是數字 \(x = 5\)。你看？它有效！」
• 非構造性： 「如果沒有這樣的數字，邏輯就會崩潰，所以一定存在一個……但我不知道它是什麼。」
你知道嗎？ 構造證明在計算機科學中備受重視。如果你能「構造」出一個解決方案，你就可以編寫一個程式來找到它。非構造性證明只是告訴電腦「它在那裡」，但卻沒有給電腦任何尋找它的指令！
5. 常見陷阱與小撇步
常見錯誤：證明「所有」而不是「一個」
學生有時會試圖證明某個性質對集合中的所有數字都成立，而題目僅要求證明至少存在一個。
小撇步： 如果題目說「存在...」或「展示存在一個...」，只需要找到一個特定的例子。不要把問題想得比實際情況更難！
常見錯誤：忘記驗證
僅僅列出例子是不夠的。你必須展示計算過程，證明你的例子確實有效。
小撇步： 務必在證明結尾清楚展示你選擇的數值是如何符合題目給出的原始定義。
記憶法： 「身分證」技巧
將構造證明想像成檢查某人的身分證：
1. 題目要求找到符合特定年齡的人。
2. 你帶出一個人作為代表。
3. 你出示他們的身分證（計算過程），證明他們確實是該年齡。
6. 總結清單
當處理構造證明題時，問問自己：
- 我識別出存在量詞 (\(\exists\)) 了嗎？
- 我有清楚說明我選擇的候選者嗎？
- 我有展示計算過程來驗證它符合準則嗎？
- 我的例子是否在題目指定的定義域內（例如，如果題目要求整數，它是整數嗎）？
繼續加油！ 構造證明講求的是創造力。如果證明過程讓你覺得過於複雜，不妨深呼吸並試試一些簡單的數字。通常，「構造」過程比你想像中簡單得多！
歡迎來到「分類證明法」（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 定理。只需記住：涵蓋所有情況，並證明每一個情況！