首页 > 代码库 > 反证法
反证法
利用反证法证明:
对于所有实数 x 和 y, 如果x + y 2, 则 x 或者 y 1.
答: 假定 x 和 y均为实数,然后假定结论为假,即 ¬(x ≥ 1 y ≥ 1) 为真.
根据 De Morgan 定律, ¬(p ν q) ≡ ¬p Λ ¬q, 得 ¬(x ≥ 1 ν y ≥ 1) ≡ ¬x ≥ 1 Λ ¬y ≥ 1 ≡ x ≤ 1 Λ y ≤ 1.
使用前面的定理,将不等式相加, x + y < 1 + 1 = 2堆出了矛盾 p Λ ¬p.
所以原题设成立.
反证法和逆否命题
利用反证法证明:对于所有的整数X,若 为奇数,则 X为奇数.
答:先将X看成所有整数,命题
若x2为奇数,则 x为奇数
的逆否命题为
若则 x不为奇数,则 x2不为奇数,
等价于
若则 x 为偶数,则 x2 为偶数,
因此
假定x为偶数,则 x=2k,其中k为某个整数.于是x2 = (2*k)2 = 2*2k2.由于x2可以写成2*某个整数(整数位2k2的形式,所以x2为偶数.
反证法
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。