[数]?间接证明

9 算法的证明技巧 ? 反证法(proof by contradication)/间接证明(indirect proof)： 为了证明命题的正确性，转而证明该命题的反 命题能导致矛盾。 ? 例子： [ ] 定理：存在无穷多个素数。

?反证法

一般认为：反证法(indirect proof)是一种间接证明的方法，而归谬法(reduction to absurdity)是一种直接反驳的方法。