歡迎來到邏輯推論的力量世界！
在你的 H3 數學旅程中，你已經學過如何利用「直接證明法」(Direct Proof) 一步步建立證明。但如果直接的路徑走不通怎麼辦？如果直接證明某件事為真看起來是不可能的，但證明其對立面是「荒謬的」卻容易得多呢？
這正是反證法 (Proof by Contradiction)（有時稱為歸謬法，reductio ad absurdum）的核心。這是數學家工具箱中最優雅且最強大的工具之一。學完這些筆記後，你將能透過展示某個「虛構的現實」根本不可能存在，從而拆解複雜的命題。
第一節：核心概念
想像你是一名偵探。你想證明「嫌疑犯 A」在案發現場。與其尋找他在那裡的照片，你不妨假設他當時實際上在家裡。如果你隨後發現，他在同一時間竟被人目擊出現在雜貨店，這就構成了矛盾 (Contradiction)。他不可能同時在兩個地方！因此，你最初的假設（他在家）一定是錯誤的，這就證明了他當時在案發現場。
在數學中是如何運作的：
1. 我們想證明命題 \( P \) 為真。
2. 我們先假設其對立面：假設 \( P \) 是錯誤的（這稱為否定，\( \neg P \)）。
3. 運用邏輯步驟，得出一個明顯不可能的結論，或與已知事實相矛盾的結果（例如：得出 \( 1 = 0 \)，或者某個數既是偶數又是奇數）。
4. 由於我們的邏輯過程是合理的，唯一的「錯誤」必定源自我們最初的假設。
5. 因此，原始命題 \( P \) 必然為真。
快速重點：
如果假設「A」錯誤會導致「邏輯徹底崩潰」，那麼「A」一定是真的！
第二節：逐步「食譜」
如果剛開始覺得有點棘手，別擔心！只要每次都跟隨這四個步驟：
第一步：清楚說明你的假設。
開場白：「為了進行反證，假設 [你想證明的命題之對立面] 是正確的。」
第二步：使用你的「數學工具箱」。
利用定義、代數運算和已知定理（例如 H2 數學中學過的內容）來推導問題。
第三步：找出「哎呀！」的瞬間。
尋找兩個事實產生衝突的時刻，這就是你的矛盾點。
第四步：總結收場 (Mic Drop)。
做出結論：「這產生了矛盾。因此，我們的假設是錯誤的，[原始命題] 必然為真。」
第三節：經典範例 — \( \sqrt{2} \) 的無理性
這是 H3 課程中的熱門例子，也是觀察這個「食譜」實際運作的絕佳方式。
目標：證明 \( \sqrt{2} \) 是無理數。
第一步（假設）：假設 \( \sqrt{2} \) 是有理數。這意味著它可以寫成分數 \( \frac{p}{q} \)，其中 \( p \) 和 \( q \) 為整數，且沒有公因數（該分數已化為最簡）。
第二步（數學推導）：
\( \sqrt{2} = \frac{p}{q} \)
兩邊平方：\( 2 = \frac{p^2}{q^2} \)
重組：\( p^2 = 2q^2 \)
這意味著 \( p^2 \) 是一個偶數，這暗示 \( p \) 本身必定是偶數。讓我們設 \( p = 2k \)。
代入回原式：\( (2k)^2 = 2q^2 \) → \( 4k^2 = 2q^2 \) → \( 2k^2 = q^2 \)。
這意味著 \( q^2 \) 也是偶數，所以 \( q \) 必須是偶數。
第三步（矛盾點）：
等等！我們剛發現 \( p \) 和 \( q \) 都是偶數。這意味著它們擁有一個公因數 2。但在第一步中，我們說過它們沒有公因數。矛盾！
第四步（結論）：
我們對於 \( \sqrt{2} \) 是有理數的假設必然錯誤。因此，\( \sqrt{2} \) 是無理數。
第四節：避免常見陷阱
即使是頂尖學生也可能在這裡絆倒。請記住以下幾點：
• 否定不當 (Weak Negation)：務必正確否定命題。如果你想證明「所有 \( x \) 都是 \( y \)」，其否定句應為「至少存在一個 \( x \) 不是 \( y \)」。 (不要誤以為是否定為「沒有 \( x \) 是 \( y \)」！)
• 循環論證：不要在中間步驟中無意間使用了你試圖證明的那個事實。
• 草率結束：始終明確說明矛盾點是什麼。別讓評卷員猜測你的邏輯！
你知道嗎？
據說希臘數學家希帕索斯 (Hippasus) 在海上航行時發現了 \( \sqrt{2} \) 無理性的證明。傳說他的畢達哥拉斯學派同伴們對此感到震驚（因為他們堅信萬物皆為整數的比值），竟然將他扔進大海！數學研究有時真的是高風險活動！
第五節：什麼時候該用反證法？
你可能會問：「我怎麼知道什麼時候該用反證法，而不是直接證明？」
當遇到以下情況，請嘗試使用反證法：
1. 命題包含「不」或「沒有」等詞彙（例如：「不存在整數使得...」）。
2. 你試圖證明某個東西是唯一的或是無理的。
3. 直接證明感覺像是在「捕風捉影」——相比從零開始構建真相，證明其對立面會導致混亂可能更容易。
第六節：快速回顧箱
先備知識檢查：要熟練運用，你需要對否定 (negation)（將「若 P 則 Q」轉變為「P 且非 Q」）感到自在。
關鍵術語：矛盾 (Contradiction) — 指一個命題及其對立面被同時宣稱為真的一種情況（這是絕對不可能的）。
記憶小撇步：將其視為「鏡面證明」。你照照鏡子（假設），看到一隻怪獸（矛盾），然後意識到你當初根本不該照鏡子！
最終總結：
反證法是一條「間接」路徑。我們假設世界與我們想像的恰恰相反，依照邏輯推導直到它崩潰，然後得出結論：我們最初的想法從頭到尾都是正確的。它非常適合證明某事不存在，或是某個數不是有理數。