直接证明:(1)综合法——(2)分析法——由因导果执果索因已知条件结论……已知条件结论……直接从原命题的条件逐步推得结论成立,这种证明方法叫直接证明
复习回顾:直接证明与间接证明直接证明与间接证明直接证明与间接证明直接证明与间接证明练习,,abc1
△ABC三边长的倒数成等差数列,求证:
90B证明:acb212)(12cabbcab1acbac222acbcaB2222cos因为a,b,c为△ABC三边所以a+c>b01cab所以cosB>090B因此间接证明A、B、C三个人,A说B撒谎,B说C撒谎,C说A、B都撒谎
则C必定是在撒谎,为什么
分析:假设C没有撒谎,则C真
--那么A假且B假;由A假,知B真
这与B假矛盾
那么假设C没有撒谎不成立,则C必定是在撒谎
间接证明(问题情境1)间接证明(问题情境2)是异面直线”与中,命题“在长方体如何证明(必修)》第三章中,在《数学CAABDCBAABCD111112间接证明(基本概念)间接证明是不同于直接证明的又一类证明方法
反证法经过正确的推理,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法(归谬法)
一般地,假设原命题不成立,最后得出矛盾
反证法是一种常用的间接证明方法
肯定条件p否定结论q导致逻辑矛盾“P且﹁q”为假“若p则q”为真合理的推理归缪矛盾:(1)与已知条件矛盾;(2)与已有公理、定理、定义矛盾;(3)自相矛盾
间接证明(基本概念)反证法的过程包括以下三个步骤:(1)反设——假设命题的结论不成立,即假定原命题的反面为真;(2)归谬——从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;(3)存真——由矛盾结果,断定反设不真,从而肯定原结论成立
适宜使用反证法的情况:(1)结论以否定形式出现;(2)结论以“至多-------,”