反證法意思
反證法（Contradiction）是一種證明命題的邏輯方法，它的基本思路是：
- 假設要證明的命題是錯的，即假設其否定為真。
- 從這個假設出發，推導出一個明顯的錯誤、矛盾或不可能的結果。
- 由於這個矛盾或不可能的結果是從第一步的假設推導出來的，因此第一步的假設（即要證明的命題的否定）是錯的。
- 根據排中律（即一個命題或者為真，或者為假，不可能同時為真又為假），如果一個命題的否定為假，則該命題本身必為真。
因此，通過反證法，我們可以證明一個命題為真，而不直接證明它，而是通過證明其否定為假來間接達到目的。
反證法在數學證明中非常常用，尤其是在證明某些命題的無解或不可能性時。例如，要證明某個數是偶數，可以使用反證法：假設這個數不是偶數，即它是奇數，那麼它的平方應該是正奇數，這與已知條件矛盾（因為任何數的平方都是偶數），因此原來的假設（即這個數是奇數）是錯的，所以這個數一定是偶數。