使用反证法解决不可解的问题_day70

什么是反证法

1. 首先，假设命题否定的形式，成立
2. 根据假设进行的论证，推导出矛盾的结果

一言以屏蔽，反证法就是“先假设命题的否定形式成立，然后在进行推理，引出矛盾”的论证方法

思考一下-为什么不存在最大的整数

用反证法证明不存在最大的整数

• 假设存在最大的整数，并将它设为M
• 那么M+1就比M大，这与M是最大整数的假设相矛盾
• 因此不存在最大的整数

这里就是需要证明的不存在最大的整数

那么反证法其实就是证明最大的整数