数学新设计人教a选修1-2名师课件：第二章 推理与证明 2.2.2 .pptVIP

-*- 首页 2.2.2　反证法 1.反证法 (1)反证法是间接证明的一种基本方法. (2)一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了 原命题成立,这种证明方法叫做反证法. 名师点拨反证法的实质 用反证法证明命题“若p,则q”的过程可以用以下框图表示: 肯定条件p,否定结论q→导致逻辑矛盾→“p且 q为假”→“若p则q”为真 特别提醒反证法不是通过证明逆否命题来证明原命题.反证法是先否定命题,然后再证明命题的否定是错误的,从而肯定原命题正确. 【做一做1】 用反证法证明命题“已知实数x,y满足x3+y3=2,求证:x+y≤2”时,应作的假设是　　　　　.? 解析:命题的结论是x+y≤2,其否定是x+y2,故应假设“x+y2”. 答案:x+y2 2.反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾,这个矛盾可以是与 已知条件矛盾,或与假设矛盾,或与定义、公理、定理、事实矛盾等. 3.反证法的一般步骤 用反证法证明命题时,要从否定结论开始,经过正确的推理,导出逻辑矛盾,从而达到新的否定(即肯定原命题)的过程,这个过程包括下面三个步骤: (1)反设——假设命题的结论不成立,即假设原结论的反面为真; (2)归谬——由“反设”作为条件,经过一系列正确的推理,得出矛盾; (3)存真——由矛盾结果断定反设