Proof

歡迎來到單元 P4：掌握數學證明！

各位未來的數學家，大家好！「證明」聽起來可能有些嚇人，但它是數學的絕對基石。在純數學 4 (P4) 中，我們不再僅僅是套用公式；我們將學習如何明確地展示這些公式背後的「原因」。

本章將帶你掌握最強大、最精密的證明技巧之一：反證法 (Proof by Contradiction)。別擔心，剛開始可能會覺得有點複雜——我們將會把它拆解成簡單、易懂的步驟。在學完本單元後，你將能夠處理複雜的命題，並自信地證明它們！

1. 複習：基礎證明技巧

在深入 P4 的專業領域之前，我們先快速複習一下你應該已經熟悉的證明方法，因為它們通常是更複雜 P4 證明的一部分。

1.1 直接證明法 (演繹證明法)

這是最常見的方法。你從已知事實（公理、定義或已證明的定理）出發，透過邏輯的順序步驟得出結論。

• 目標： 展示命題 A 如何導致命題 B。
• 例題： 證明任意兩個連續奇數之和必為 4 的倍數。

  步驟 1：定義數值。設第一個奇數為 \(2k+1\)，則下一個連續奇數為 \((2k+1) + 2 = 2k+3\)。

  步驟 2：相加：\((2k+1) + (2k+3) = 4k + 4\)。

  步驟 3：因式分解：\(4k + 4 = 4(k+1)\)。

  步驟 4：結論：由於結果可以寫成 4 乘以一個整數 \((k+1)\)，因此其和為 4 的倍數。

1.2 反例證明法

你不能僅僅通過展示例子來證明一個命題是真的，但你可以通過找到僅僅一個與主張矛盾的情況，來證明該命題是假的。這被稱為反例 (counterexample)。

• 主張： 「對於所有整數 \(n\)，\(n^2 + n + 11\) 均為質數。」
• 反證： 設 \(n = 10\)，則 \(n^2 + n + 11 = 100 + 10 + 11 = 121\)。由於 \(121 = 11 \times 11\)，它不是質數。
• 重點： 只要一個反例，就能推翻一個普適性的猜想。

2. P4 的專屬領域：反證法

反證法（有時稱為 Reductio ad Absurdum，意為「歸謬法」）是高等數學的基石，也是 P4 考試中的重點。

2.1 什麼是反證法？

其核心理念既簡單又精妙：要證明一個命題為「真」，你先假設它是「假」的。接著，你順著這個錯誤假設進行邏輯推導，直到得出一個絕對不可能的情況，或是與已知事實相矛盾的結果（荒謬的情況）。既然邏輯推導過程是正確的，那麼最初的假設（即該命題為假）必定是錯的，這就意味著原始命題必定為「真」。

類比： 想像你要證明你的朋友 Sarah 是清白的。相反地，你假設她是有罪的。如果根據她有罪的證據進行推導，最後得出的結論是她同時身處在兩個不同的國家（這是不可能的，荒謬的），那麼你最初的假設——她有罪——一定是錯的。因此，她是清白的。

2.2 步驟說明

每次進行反證法證明時，請遵循這四個關鍵步驟：

1. 提出假設（否定命題）： 清晰地陳述你想證明的命題的相反內容。使用這樣的語句：「假設，為了進行反證，……」
2. 進行邏輯推導： 使用數學定義、已知定理和演繹推理，邏輯地推演該假設會導致什麼後果。
3. 得出矛盾： 展示你的邏輯論證導致了不可能的結果（例如：\(0=1\)，或者一個整數必須是分數，或者一個數同時是奇數又是偶數）。
4. 結論與確認： 清晰地指出由於出現了矛盾，最初的假設必定為假。因此，原始命題必定為真。

2.3 經典例題：證明 \(\sqrt{2}\) 為無理數

這是最著名的反證法例題，也是考試中極高頻的題目。你必須熟練掌握這個證明的結構。

待證命題： \(\sqrt{2}\) 是一個無理數。

步驟 1：提出假設（否定命題）

假設，為了進行反證，\(\sqrt{2}\) 是一個有理數。
如果 \(\sqrt{2}\) 是有理數，它可以寫成最簡分數的形式：
$$\sqrt{2} = \frac{a}{b}$$

其中 \(a\) 和 \(b\) 是整數，\(b \neq 0\)，且 \(a\) 和 \(b\) 沒有公因數（即該分數已經約至最簡）。

步驟 2：進行邏輯推導

兩邊平方： $$\left(\sqrt{2}\right)^2 = \left(\frac{a}{b}\right)^2$$ $$2 = \frac{a^2}{b^2}$$

整理方程式，使 \(a^2\) 成為主項：

$$a^2 = 2b^2 \quad (*)$$

由於 \(a^2\) 等於 2 乘以一個整數 (\(b^2\))，因此 \(a^2\) 必定是偶數。

如果 \(a^2\) 是偶數，那麼 \(a\) 本身也必須是偶數。（如果 \(a\) 是奇數，\(a^2\) 也會是奇數）。
既然 \(a\) 是偶數，我們可以令 \(a = 2k\)，其中 \(k\) 為整數。

現在，將 \(a = 2k\) 代回方程式 \((*)\)：

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$

兩邊同時除以 2：

$$2k^2 = b^2$$

由於 \(b^2\) 等於 2 乘以一個整數 (\(k^2\))，因此 \(b^2\) 必定是偶數。
如果 \(b^2\) 是偶數，那麼 \(b\) 本身也必須是偶數。

步驟 3：得出矛盾

根據上述推導，我們發現：

• \(a\) 是偶數。
• \(b\) 是偶數。

如果 \(a\) 和 \(b\) 都是偶數，代表它們都有公因數 2。

這與我們最初的假設（步驟 1）——即分數 \(\frac{a}{b}\) 已是最簡形式（即 \(a\) 和 \(b\) 沒有公因數）——產生了矛盾。

步驟 4：結論與確認

由於假設 \(\sqrt{2}\) 為有理數導致了矛盾，因此該假設必定錯誤。
因此，\(\sqrt{2}\) 必定是一個無理數。（Q.E.D. - Quod Erat Demonstrandum，意為「證畢」）。

3. 常見反證場景與陷阱

3.1 數論相關的證明

反證法常用於證明關於質數、極限或某物不存在的命題。

例題： 證明不存在最大的奇數。

• 假設： 假設存在一個最大的奇數，稱之為 \(N\)。
• 推導： 考慮數 \(N+2\)。因為 \(N\) 是奇數，\(N+2\) 也一定是奇數。
• 矛盾： \(N+2 > N\)。這與「\(N\) 是最大的奇數」這一假設產生矛盾。
• 結論： 不存在最大的奇數。

3.2 必須避開的常見錯誤

在進行反證法證明時，學生常犯兩個關鍵錯誤：

錯誤 1：假設了錯誤的否定命題

• 如果命題是「所有整數都是偶數」，其否定命題應該是「至少存在一個整數不是偶數（即奇數）」。
• 避開： 不要混淆「不全為」與「都不為」。對於「A 對所有 X 成立」的否定，是「對於至少一個 X，A 不成立」。

錯誤 2：遺漏「最簡形式」的假設（對證明無理數至關重要）

• 當處理有理數 \(\frac{a}{b}\) 時，你必須明確指出 \(a\) 和 \(b\) 是互質的（沒有公因數）。如果你省略這一點，你就無法在邏輯上導出最後的矛盾。

錯誤 3：跳躍性結論

• 你必須明確說明矛盾在哪裡出現，以及它如何與最初的假設掛鉤。不要在發現 \(a\) 和 \(b\) 都是偶數後就停止；你必須總結：「這與 \(\frac{a}{b}\) 是最簡分數的假設產生了矛盾。」

3.3 P4 背景下的證明

雖然反證法的核心邏輯不變，但在 P4 中，你可能會被要求將其應用於無窮數列、收斂性或涉及邊界、極限的高級不等式。這種「假設相反情形成立並證明其違反基本數學法則」的技巧是通用的。

證明章節重點總結

當直接證明失敗時，反證法就是你的數學超能力。它讓你能夠絕對肯定地證明事物的不可行性、無理性及不存在性。記住它的結構：假設相反情況、嚴謹地進行邏輯推演、並揭露荒謬之處！

請繼續練習 \(\sqrt{2}\) 的證明——這是磨練 P4 這項關鍵技能的最佳途徑！