高中数学 第二章 推理与证明 2.2 直接证明与间接证明 反证法证明素材 新人教A版选修22
- 格式:doc
- 大小:22.01 KB
- 文档页数:1
1 反证法证明
反证法的证明主要用到“一个命题与其逆否命题同真假”的结论,为什么?这个结论可以用穷举法证明:
某命题:若A则B,则此命题有4种情况:
1.当A为真,B为真,则A→B为真,得﹁B﹁A为真;
2.当A为真,B为假,则A→B为假,得﹁B→﹁A为假;
3.当A为假,B为真,则A→B为真,得﹁B→﹁A为真;
4.当A为假,B为假,则A→B为真,得﹁B→﹁A为真;
∴一个命题与其逆否命题同真假
即关于〉=〈的问题:
大于 -〉反义:小于或等于
都大于-〉反义:至少有一个不大于
小于 -〉反义:大于或等于
都小于-〉反义:至少有一个不小于
即反证法是正确的。
与若A则B先等价的是它的逆否命题若﹁B则﹁A
假设﹁B,推出﹁A,就说明逆否命题是真的,那么原命题也是真的.
但实际推证的过程中,推出﹁A是相当困难的,所以就转化为了推出与﹁A相同效果的内容即可,这个相同效果就是与A(已知条件)矛盾,或是与已知定义,定理,大家都知道的事实等矛盾.