因此,在实际解题时,常常把分析法和综合法结合起来运用,先以分析法为主寻求解题思路,再用综合法有条理地表述解题过程.
分析归纳,抽象概括
通过对这两个个问题的解答,有学生自主探究反证法的概念及反证法证明的步骤.
(1)定义:
反证法:一般地,假设原命题不成立,(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.
(2)步骤
反证法证题的基本步骤:
1.假设原命题的结论不成立;(假设)
2.从这个假设出发,经过正确的推理,推出矛盾;(归缪)
3.因此说明假设错误,从而证明了原命题成立.(结论)
反证法是一种间接证法,它是先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,导致矛盾,从而否定相反的假设,达到肯定原命题正确的一种方法.反证法可以分为归谬反证法(结论的反面只有一种)与穷举反证法(结论的反面不只一种).用反证法证明一个命题的步骤,大体上分为:(1)反设;(2)归谬;(3)结论.
反设是反证法的基础,为了正确地作出反设,掌握一些常用的互为否定的表述形式是有必要的,例如:是/不是;存在/不存在;平行于/不平行于;垂直于/不垂直于;等于/不等于;大(小)于/不大(小)于;都是/不都是;至少有一个/一个也没有;至少有n个/至多有(n一1)个;至多有一个/至少有两个;唯一/至少有两个.
归谬是反证法的关键,导出矛盾的过程没有固定的模式,但必须从反设出发,否则推导将成为无源之水,无本之木.推理必须严谨.导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与反设矛盾;自相矛盾.
知识应用,深化理解
例1、写出用"反证法"证明下列命题的第一步"假设".
【设计意图】:能否正确地写出假设,是解决问题的基础和保障
(1)互补的两个角不能都大于90°.
(2)△ABC中,最多有一个钝角
(3)中至少有一个是正数