歡迎來到證明章節！

你好，未來的數學家！證明可以說是純數學中最關鍵的章節。這不僅僅是為了得到正確答案，更是為了建立絕對的確定性。
在純數學 1 (P1) 中，你已經學過基礎知識：演繹證明（Proof by deduction）、窮舉法證明（Proof by exhaustion）以及利用反例進行否定（Disproving with a counterexample）。而在單元 P2 中，我們將引入一種強大且優雅的新技巧：反證法（Proof by Contradiction）。

如果一開始覺得證明很棘手，請別擔心。它運用的是嚴謹的邏輯，就像是在訓練大腦的一個新部位！我們會將每一個技巧拆解成簡單且易於掌握的步驟。

P1 證明技巧快速重溫

在深入學習新材料之前，讓我們先快速回顧一下你應該已經掌握的方法。這些正是你在進行反證法證明時所使用的核心工具！

1. 演繹證明 (Proof by Deduction)

這是最常用的方法。你從已知事實（定義、公理或給定的前提）開始，並透過合乎邏輯的步驟序列推導出所需的結論。
例子：證明兩個連續整數的平方差永遠是一個奇數。

  • 設兩個連續整數為 \(n\) 和 \(n+1\)，其中 \(n\) 為整數。
  • 它們的平方差為 \( (n+1)^2 - n^2 \)。
  • 展開得： \( (n^2 + 2n + 1) - n^2 \)。
  • 簡化得： \( 2n + 1 \)。
  • 由於 \(n\) 是整數，\(2n\) 為偶數，因此 \(2n+1\) 永遠是一個奇數。得證 (Q.E.D.，拉丁文 Quod Erat Demonstrandum 的縮寫，意為「所要證明的已經證明」)。

2. 窮舉法證明 (Proof by Exhaustion / Proof by Cases)

這種方法涉及將問題拆解為有限數量的個案，並證明該陳述對每一個個案都成立。只有當可能性集合較小時，這種方法才可行。
記憶小撇步：想像一下把所有可行的選項都「窮盡」了。

3. 利用反例否定 (Disproof by Counterexample)

要證明一個陳述是錯誤的，你只需要找到一個例子（即反例），該陳述在其中失效即可。

  • 需要避免的常見錯誤： 證明一個陳述對兩三個例子成立，並不是證明！你必須證明它對「所有」情況都適用（演繹法/反證法），或是對所有可能的有限情況都適用（窮舉法）。

P2 證明的核心：反證法 (Proof by Contradiction)

當直接演繹似乎不可能或過於複雜時，這種技巧非常優雅且常用。

什麼是反證法？

這種方法也被稱為 Reductio ad Absurdum（歸謬法），運作方式就像偵探解謎。如果你想證明陳述 P 是正確的，你就先暫時假設 P 的相反面是正確的。
如果這個假設（P 的相反）引導你得出一個在邏輯上不可能的結果，或是與已知數學事實相矛盾，那麼該假設一定是錯誤的。
既然假設錯誤，原本的陳述 P 就一定是正確的！

類比： 想像你的朋友聲稱燈是關著的（陳述 P 是「燈是關的」）。如果你想用反證法證明 P 是正確的，你會假設相反的情況：「燈是開著的」。如果假設燈是開著的會導致一個荒謬的結論，即房間既明亮又完全黑暗，那麼最初的假設（「燈是開著的」）一定是錯誤的。因此，燈一定是關著的。

反證法的步驟流程

每次使用此方法時，請嚴格遵循以下步驟：

步驟 1：陳述假設（取否定）

假設你想要證明的陳述是錯誤的。這就是原命題的否定 (negation)。

步驟 2：運用邏輯演繹

以這個假設為起點，運用已知的數學規則和邏輯推導（如 P1 的演繹證明）來處理方程式或表達式。

步驟 3：得出矛盾

繼續推導，直到得出一個在數學上是不可能的陳述（例如： \( 0 = 1 \)，或者 \( 2n+1 \) 是偶數，或者某個數同時是有理數和無理數）。

步驟 4：總結

因為你的假設導致了一個不可能的情況（矛盾），所以該假設必定是錯誤的。因此，原來的陳述一定是正確的。

重點： 整個目標就是要展示假設反面會產生數學上的混亂。

必備範例：證明 \(\sqrt{2}\) 是無理數

這個證明是反證法的經典範例，也是 P2 課程要求掌握的知識點。

命題 (P)：

數字 \(\sqrt{2}\) 是無理數。

步驟 1：陳述假設（取否定）

我們假設相反的情況：即 \(\sqrt{2}\) 是有理數。

定義提醒： 有理數可以寫成分數 \( \frac{p}{q} \)，其中 \(p\) 和 \(q\) 是整數（\(q \neq 0\)）。關鍵在於，我們假設 \(p\) 和 \(q\) 沒有公因數（分數已化簡至最簡形式）。

因此，我們假設： $$ \sqrt{2} = \frac{p}{q} $$ 其中 \(p, q \in \mathbb{Z}\) 且分數 \(\frac{p}{q}\) 是不可約的。

步驟 2：運用邏輯演繹

1. 兩邊平方： $$ 2 = \frac{p^2}{q^2} $$ 2. 重組： $$ p^2 = 2q^2 $$

3. 分析此結果：由於 \(p^2\) 等於 2 乘以某個整數（\(q^2\)），因此 \(p^2\) 必定是個偶數。

4. 關鍵子步驟： 如果 \(p^2\) 是偶數，那麼 \(p\) 本身也必定是個偶數。（試想：如果 \(p\) 是奇數，那麼 \(p^2\) 也會是奇數）。

5. 由於 \(p\) 是偶數，我們可以將 \(p\) 寫成 \(2k\)，其中 \(k\) 為某個整數。

6. 將 \(p=2k\) 代回方程式 \( p^2 = 2q^2 \) 中： $$ (2k)^2 = 2q^2 $$ $$ 4k^2 = 2q^2 $$

7. 兩邊同除以 2： $$ 2k^2 = q^2 $$

步驟 3：得出矛盾

觀察結果 \( q^2 = 2k^2 \)。

  • 由於 \(q^2\) 等於 2 乘以某個整數（\(k^2\)），因此 \(q^2\) 必定是個偶數。
  • 如果 \(q^2\) 是偶數，那麼 \(q\) 本身也必定是個偶數。

我們發現了什麼？
從步驟 2，我們推導出 \(p\) 是偶數。
從步驟 3，我們推導出 \(q\) 是偶數。

如果 \(p\) 和 \(q\) 都是偶數，它們就共同擁有一個因數 2。

這與我們在步驟 1 的初始假設相矛盾，即 \(p\) 和 \(q\) 沒有公因數（即分數 \(\frac{p}{q}\) 已被完全約分）。

步驟 4：總結

由於「\(\sqrt{2}\) 是有理數」的假設導致了邏輯上的矛盾，該假設一定是錯誤的。
因此，原命題為真： \(\sqrt{2}\) 是無理數。得證。

快速複習框：邏輯鏈條

我們假設 P 為假 (即有理數)。 \(\rightarrow\) 這導致 p 和 q 擁有公因數。 \(\rightarrow\) 這與完全約分分數的定義（假設的一部分）相矛盾。 \(\rightarrow\) 因此，假設為假。 \(\rightarrow\) 因此，P 為真（無理數）。

關於特定數系的證明

反證法也可用於證明關於整數的性質，通常涉及奇偶性。

例子 2：證明質數有無限多個

(這是一個著名的歐幾里得證明，展示了反證法的威力。)

命題 (P)： 質數有無限多個。

步驟 1：陳述假設

假設相反情況：質數只有有限個。

步驟 2：運用演繹

1. 如果質數的數量是有限的，我們可以列出所有質數： \(P_1, P_2, P_3, \dots, P_n\)，其中 \(P_n\) 是最大的質數。
2. 考慮一個新的數 \(N\)，它是所有這些有限質數的乘積再加 1： $$ N = (P_1 \times P_2 \times P_3 \times \dots \times P_n) + 1 $$ 3. 現在，試著用我們列表中的任何一個質數 (\(P_i\)) 去除 \(N\)。 4. 如果我們用 \(P_i\) 除 \(N\)，項 \((P_1 \times \dots \times P_n)\) 可以完美整除，餘數為 1。

步驟 3：得出矛盾

由於當 \(N\) 除以我們完整列表中的每一個質數時，餘數均為 1：

情況 A： \(N\) 一定是一個新的質數，不包含在我們最初的有限列表 (\(P_1\) 到 \(P_n\)) 中。
情況 B： \(N\) 必定是合數（非質數），這意味著它可以被某個更小的質因數 \(X\) 整除。但 \(X\) 不可能是 \(P_1\) 到 \(P_n\) 中的任何一個（因為我們觀察到它們除後餘數皆為 1）。因此，\(X\) 必定是一個新的質數，在我們原本的有限列表之外。

無論哪種情況 (A 或 B)，我們都找到了一個不在我們所謂「完整列表」中的質數。
這與我們最初假設列表 \(P_1\) 到 \(P_n\) 是窮盡所有質數的假設相矛盾。

步驟 4：總結

質數的數量不可能有限。因此，質數有無窮多個。

學習資源與練習小撇步

使用反證法時的常見錯誤

  • 弱否定： 假設必須是完美的相反。如果陳述是「所有數字都是偶數」，否定不是「所有數字都是奇數」。正確的否定是「至少有一個數字不是偶數（即是奇數）」。
  • 假設了結論： 在演繹過程中，你不能使用原命題本身為真的事實。你的演繹必須純粹源自那個錯誤的假設。
  • 忘記不可約性： 在涉及有理數的證明中（如 \(\sqrt{2}\)），務必在一開始就說明 \(p\) 和 \(q\) 沒有公因數。如果你遺漏了這一點，後面就沒有東西可以產生矛盾了。

理解數學術語

理解這些術語對於設定假設（步驟 1）至關重要：

陳述類型否定 (假設)
\(x\) 是有理數\(x\) 是無理數
\(x\) 是 3 的倍數\(x\) 不是 3 的倍數
對於所有 \(n\)，P 成立存在至少一個 \(n\)，使得 P 不成立
集合是有限的集合是無限的

你知道嗎？

反證法通常被認為是一種非構造性的證明。構造性證明會確切告訴你如何找到答案。而像反證法這樣的非構造性證明，只是保證答案（或狀態）必定存在，因為它的相反面會導致荒謬的結論。

重點總結

現在你已經擁有了完整的證明工具箱：演繹法、窮舉法、反例法，以及強大的反證法。反證法要求你有系統地假設相反情況，並遵循由此產生的邏輯，直到它與已知數學事實發生衝突。掌握 \(\sqrt{2}\) 的例子，你就掌握了這項技巧！

持續練習這些結構化的步驟，很快你就會發現邏輯會自然地流淌而出！祝你好運！