歡迎來到構造證明（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\)) 了嗎？
- 我有清楚說明我選擇的候選者嗎？
- 我有展示計算過程來驗證它符合準則嗎？
- 我的例子是否在題目指定的定義域內（例如，如果題目要求整數，它是整數嗎）？
繼續加油！ 構造證明講求的是創造力。如果證明過程讓你覺得過於複雜，不妨深呼吸並試試一些簡單的數字。通常，「構造」過程比你想像中簡單得多！