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

什么是反证法

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

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

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

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

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

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

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

你可能感兴趣的:(使用反证法解决不可解的问题_day70)