资源描述：
《推理与证明(综合法、分析报告法与反证法)》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、标准文案推理与证明综合法与分析法学习目标：1．理解综合法和分析法的概念及区别2．熟练的运用综合法分析法证题学习重难点:综合法和分析法的概念及区别自主学习：一：知识回顾1．合情推理：前提为真，结论可能为真的推理。它包括归纳推理与类比推理。2．演绎推理：根据一般性的真命题（或逻辑规则）导出特殊命题为真的推理叫演绎推理二：课题探究1.直接证明:从命题的条件或结论出发,根据已知的定义,公理,定理直接推证结论的真实性.2.综合法：从题设中的已知条件或已证的真实判断出发,经过一系列的中间推理,最后导出所求证的
2、命题.综合法是一种由因所果的证明方法.3.分析法:一般地，从要证明的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止，这种证明的方法叫做分析法．教师备课学习笔记大全标准文案分析法是一种执果索因的证明方法.4.综合法的证明步骤用符号表示:(已知)(结论)5.分析法的证明“若A成立,则B成立”的思路与步骤;要正(或为了证明)B成立,只需证明成立(是B成立的充分条件).要证成立,只需证明成立(是成立的充分条件).…,要证成立,只需证明A成立(A是成立的充分条件
3、)..A成立,B成立.三:例题解析例1:已知a>0,b>0,求证a(b2+c2)+b(c2+a2)≥4abc证明:因为b2+c2≥2bc,a>0所以a(b2+c2)≥2abc.又因为c2+b2≥2bc,b>0所以b(c2+a2)≥2abc.因此a(b2+c2)+b(c2+a2)≥4abc.例2:已知:a,b,c三数成等比数列,且x,y分别为a,b和b,c的等差中项.求证:.证明:依题意,:a,b,c三数成等比数列,,,又由题设:,,大全标准文案而.例3.设a、b是两个正实数，且a≠b，求证：a3+
4、b3＞a2b+ab2．证明：(用分析法思路书写)要证a3+b3＞a2b+ab2成立，只需证(a+b)(a2-ab+b2)＞ab(a+b)成立，即证a2-ab+b2＞ab成立。(∵a+b＞0)只需证a2-2ab+b2＞0成立，也就是要证(a-b)2＞0成立。而由已知条件可知，a≠b，有a-b≠0，所以(a-b)2＞0显然成立，由此命题得证.例4已知a,b是正整数,求证:.证明:要证成立，只需证成立，即证.即证也就是要证,即.该式显然成立,所以.巩固练习1.下列正确命题的序号是________.①若,
5、则;教师备课学习笔记大全标准文案①若,则;②若,则;③的最小值是2.2.函数()A.是偶函数,但不是奇函数B.是奇函数,但不是偶函数C.既是奇函数,又是偶函数D.既不是奇函数,又不是偶函数3.若,且,则的最大值是()A14B15C16D174.定义在上的函数在上是增函数,且函数为偶函数,则f(-1),f(4),f()的大小关系是__________________________________.归纳反思：大全标准文案合作探究：1.求证:.2.已知二次函数的导数为,,对于任意实数x,都有,则的最小
6、值为()A3BC2D教师备课学习笔记大全标准文案大全标准文案教师备课学习笔记大全标准文案日照实验高中2007级导学案——推理与证明2.2.2反证法学习目标：理解反证法的概念,掌握反证法证题的步骤学习重点难点：反证法的概念及应用反证法合理性的理解以及用反证法证明具体问题自主学习：一：知识再现1.直接证明的定义:从命题的条件或结论出发,根据已知的定义,公理,定理直接推证结论的真实性.2.命题的四种形式:原命题,逆命题,否命题,逆否命题.原命题与逆否命题同真假二：新课探究1.间接证明定义:间接证明不是从
7、正面论证命题的真实性,而是考虑证明它的等价命题,或是证明命题的否定不成立,一间接地目的达到证题的目的.2.反证法:一般地,假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立.3.反证法的步骤:①反设:假设所要证明的结论不成立,假设结论的反而成立.教师备课学习笔记大全标准文案①找矛盾:由“反设”出发,通过正确地推理,导出矛盾---与已知条件已知公理,定义,定理,反设及明显的事实矛盾或自相矛盾.②结论:结论的反面不正确,肯定结论成立2.反证法适宜什么样的证明题①直接
8、证明较困难，可考虑使用反证法②命题的结论部分含有“不可能、唯一、至少、至多”等特殊词语，可考虑使用反证法。三.例题解析例1.已知x、y、z是整数，且x2+y2=z2求证：x、y、z不可能都是奇数。证明：设x、y、z都是奇数，则x2、y2、z2都是奇数∴x2+y2为偶数∴x2+y2≠z2这与已知矛盾∴x、y、z不可能都是奇数。例2.若三个方程x2+4mx-4m+3=0；x2+(m-1)x+m2=0；x2+2mx-2m=0至少有一个方程有实数根，求实数m的取值范围。解：当三个方程都没有
