歡迎來到數學證明世界!

你有沒有想過,我們是如何百分之百確定一條數學規則在任何情況下都成立的呢?我們不是靠「猜」或者「希望」它正確,而是依靠證明 (Proof)。你可以把證明想像成一張邏輯導航圖:它帶領我們從起點(我們已知的事實)出發,經過一步步堅不可摧的推論,抵達終點(得出新結論)。在本章中,你將學習如何成為一名數學「律師」,建立起無懈可擊的論證!

1. 證明的基石

在開始「搭建」證明之前,我們需要準備工具。一個數學證明通常遵循特定的結構:

1. 假設 (Assumptions): 這是我們已知的起始事實(例如「設 \(n\) 為一個偶數」)。
2. 邏輯步驟 (Logical Steps): 一連串的推理過程,每一步都必須自然地由前一步推導出來。
3. 結論 (Conclusion): 你成功證明後的最終陳述。

重點複習:關鍵術語
- 命題 (Statement): 一句非真即假的語句(例如「7 是一個質數」)。
- 變數 (Variable): 代表可以改變數值的字母(如 \(x\) 或 \(n\))。
- 常數 (Constant): 數值固定不變的數(如 \(5\) 或 \(\pi\))。
- 恆等式 (Identity) \(\equiv\): 對於變數的所有數值均成立的語句。它就像一個超級等號!

重要總結

證明並不是單純展示某個規則適用於幾個數字;它是一個邏輯論證,證明該規則適用於每一個可能的情況。

2. 演繹證明 (Proof by Deduction)

演繹證明是最常用的方法。你從已知事實出發,利用代數「演繹」出結果。這就像跟隨食譜:只要配料正確且步驟無誤,就一定能做出同樣的蛋糕。

例子:證明任何兩個偶數之和必為偶數。

逐步解釋:
1. 定義數值: 任何偶數都可以寫成 \(2n\),其中 \(n\) 為整數。設我們兩個偶數分別為 \(2m\) 和 \(2k\)。
2. 將它們相加: \(2m + 2k\)。
3. 因式分解: 我們可以提出 2,得出 \(2(m + k)\)。
4. 得出結論: 由於 \(m + k\) 亦為整數,因此任何形式為 \(2 \times (\text{整數})\) 的數必然是偶數。證明完成!

如果一開始覺得困難,別擔心! 其中的「訣竅」往往在於找出正確的數字表達方式。以下是一個實用的記憶小撇步:

記憶輔助:如何在證明中表達數字
- 偶數: \(2n\)
- 奇數: \(2n + 1\) (或 \(2n - 1\))
- 連續整數: \(n, n+1, n+2\)...

重要總結

在演繹證明中,你使用代數將起點轉化為終點。只要能證明最終結果符合偶數或奇數的「形式」,你就成功了!

3.窮舉證明 (Proof by Exhaustion)

有時候,代數推導太複雜,但需要檢查的情況卻很少。窮舉證明是指測試每一個可能的情況,直到沒有剩餘為止。之所以稱為「窮舉」,是因為如果情況很多,過程會相當累人!

比喻: 想像你要證明一個只有五個人的小教室裡,每個學生都穿著鞋子。與其運用複雜的理論,你只需要看看學生 1、學生 2,以此類推直到 5。一旦你檢查完所有人,你就證明完畢了!

例子:證明對於 \(n = 1, 2, 3\),\(n^2 + 2\) 都不能被 4 整除。
- 情況 1:若 \(n = 1\),\(1^2 + 2 = 3\)。(3 不能被 4 整除)。
- 情況 2:若 \(n = 2\),\(2^2 + 2 = 6\)。(6 不能被 4 整除)。
- 情況 3:若 \(n = 3\),\(3^2 + 2 = 11\)。(11 不能被 4 整除)。
所有情況都已檢查完畢,因此該命題得證。

常見錯誤: 學生常會遺漏某種情況。如果題目要求證明適用於「所有整數」,你通常不能使用窮舉法,因為整數有無限多個!

重要總結

只有在情況數量少且有限時才使用窮舉法。請務必列出並檢查每一種情況。

4. 反例證明 (Disproof by Counter-Example)

在數學中,一個規則要被視為「真」,它必須在 100% 的情況下都成立。如果你能找到哪怕一個不適用的例子,整個規則就會被推翻。這就是所謂的反例 (Counter-example)

你知道嗎? 你不需要複雜的理由來推翻一個命題。只要找到一個反例,就足以勝出這場辯論!

例子:推翻「所有質數都是奇數」的命題。
- 反例: 數字 2。
- 解釋: 2 是一個質數,但 2 是偶數。因此,該命題是錯誤的。

尋找反例的步驟:
1. 觀察命題(例如「任何數的平方都大於該數本身」)。
2. 嘗試「非典型」數字,例如 0、1、負數或分數。
3. 測試:若 \(n = 0.5\),則 \(n^2 = 0.25\)。由於 \(0.25\) 並不大於 \(0.5\),命題已被推翻!

重要總結

要證明命題為真,你需要完整的論證(演繹或窮舉)。要證明命題為,你只需要一個反例。

5. 批判性審視論證

課程大綱也要求你能夠「評論」或判斷他人的證明。在審視一個證明時,請試問自己:
- 語言是否精確?(他們是否正確使用係數 (coefficient)項 (term)表達式 (expression)?)
- 每一步推論是否真的能引導至下一步?
- 他們是否使用了正確的符號,例如恆等式符號 \(\equiv\)?

重點複習方塊
- 演繹證明: 利用代數/邏輯證明它永遠成立。
- 窮舉證明: 逐一檢查每一種情況。
- 反例證明: 找出一個不適用的例子來推翻整個命題。

如果證明題感覺與數學的其他部分不同,請不要氣餒。你正在學習一種全新的思維方式!請持續練習「偶數/奇數」的代數設定,因為這些在 Paper 1 中非常常見。