2.2.2 反证法
1.掌握间接证明的常见方法(反证法)的推理特点. 2.学会写出命题的否定,并以此作条件推出矛盾结论,即学习用反 证法证明简单题目.
反证法 一般地,由证明p⇒q转向证明:¬ q⇒r⇒…⇒t,t与假设矛盾,或与某 个真命题矛盾.从而判定¬ q为假,推出q为真的方法,叫做反证法.
名师点拨1.反证法适宜证明“存在性,唯一性,带有„至少有一个‟或 „至多有一个‟等字样”的一些数学问题. 2.应用反证法证明数学命题的一般步骤: (1)分清命题的条件和结论; (2)做出与命题结论相矛盾的假设; (3)由假设出发,应用演绎推理方法,推出矛盾的结果; (4)断定产生矛盾结果的原因,在于开始所做的假定不真,于是原 结论成立,从而间接地证明命题为真. 常见的主要矛盾有:①与数学公理、定理、公式、定义或已证明 了的结论相矛盾; ②与临时假设矛盾; ③与公认的事实矛盾或自相矛盾等.
【做一做1】 应用反证法推出矛盾的推导过程中可以把下列哪 些作为条件使用( ) ①结论的相反判断,即假设;②原命题的条件;③公理、定理、定 义等;④原结论. A.①② B.①②④ C.①②③ D.②③ 答案:C
【做一做2】 用反证法证明命题“三角形的内角中至多有一个钝 角”时,假设正确的是( ) A.假设三角形的内角中至少有一个钝角 B.假设三角形的内角中至少有两个钝角 C.假设三角形的内角中没有一个钝角 D.假设三角形的内角中没有一个钝角或至少有两个钝角 解析:“至多有一个”的反面为“至少有两个”. 答案:B
0
������ -2
∴0<− ������ 0+1 < 1, 即 2 < ������0 < 2, 与假设x0<0 矛盾,故方程 f(x)=0
0
������ -2