proof by contradiction

词汇拆解与释义

Proof by contradiction 是一种证明方法：先假设要证明的结论不成立，再推出矛盾。

数学定义

若要证明 statement $A$ 为真，可以先假设 not $A$ 为真。
如果这个假设推出 contradiction（矛盾），则原命题 $A$ 必须为真。

P4 用法

P4 中常用它证明 irrationality、infinitely many primes、或某种情况不可能发生。