2022年推理与证明

上传人:痛*** 文档编号:121084937 上传时间:2022-07-18 格式:PDF 页数:8 大小:149.40KB
返回 下载 相关 举报
2022年推理与证明_第1页
第1页 / 共8页
2022年推理与证明_第2页
第2页 / 共8页
2022年推理与证明_第3页
第3页 / 共8页
点击查看更多>>
资源描述
推理与证明综合法与分析法学习目标:1 理解综合法和分析法的概念及区别2 熟练的运用综合法分析法证题学习重难点:综合法和分析法的概念及区别自主学习:一:知识回忆1 合情推理:前提为真,结论可能为真的推理。它包括归纳推理与类比推理。2 演绎推理:根据一般性的真命题或逻辑规则 导出特殊命题为真的推理叫演绎推理二:课题探究1.直接证明:从命题的条件或结论出发,根据已知的定义,公理,定理直接推证结论的真实性.2.综合法:从题设中的已知条件或已证的真实判断出发,经过一系列的中间推理,最后导出所求证的命题.综合法是一种由因所果的证明方法.3.分析法:一般地,从要证明的结论出发,追溯导致结论成立的条件,逐步上溯,直到使结论成立的条件和已知条件或已知事实吻合为止,这种证明的方法叫做分析法分析法是一种执果索因的证明方法.4.综合法的证明步骤用符号表示:0P(已知)1nPP(结论)“假设 A 成立,则 B 成立”的思路与步骤;要正(或为了证明)B 成立,只需证明1A成立(1A是 B 成立的充分条件).要证1A成立,只需证明2A成立(2A是1A成立的充分条件).,要证kA成立,只需证明 A 成立(A 是kA成立的充分条件).A 成立,B 成立.三:例题解析例 1:已知 a0,b0,求证 a(b2+c2)+b(c2+a2)4abc 教师备课学习笔记精选学习资料 -名师归纳总结-第 1 页,共 8 页证明:因为 b2+c22bc,a0 所以 a(b2+c2)2abc.又因为 c2+b2 2bc,b0 所以 b(c2+a2)2abc.因此 a(b2+c2)+b(c2+a2)4abc.例 2:已知:a,b,c 三数成等比数列,且 x,y 分别为 a,b 和 b,c 的等差中项.求证:2abxy.证明:依题意,:a,b,c 三数成等比数列,abbc,ababbc,又由题设:2abx,2bcy,而22222()2abacbcbcxyabbcbcbcbc.例 3.设 a、b 是两个正实数,且ab,求证:a3+b3a2b+ab2证明:(用分析法思路书写)要证 a3+b3a2b+ab2成立,只需证(a+b)(a2-ab+b2)ab(a+b)成立,即证 a2-ab+b2 ab 成立。(a+b0)只需证 a2-2ab+b20 成立,也就是要证(a-b)20 成立。而由已知条件可知,ab,有 a-b0,所以(a-b)20 显然成立,由此命题得证.例 4 已知 a,b 是正整数,求证:ababba.证明:要证ababba成立,只需证()a ab babab成立,即证()()()ababababab.教师备课学习笔记精选学习资料 -名师归纳总结-第 2 页,共 8 页即证ababab也就是要证2abab,即()0ab.该式显然成立,所以ababba.稳固练习1.以下正确命题的序号是_.假设,a bR,则2baab;假设,a bR,则lglg2 lglgabab;假设xR,则444|2|xxxxxx;2232xyx的最小值是2.2.函数()ln(1)2xxf xe()A.是偶函数,但不是奇函数B.是奇函数,但不是偶函数C.既是奇函数,又是偶函数D.既不是奇函数,又不是偶函数3.假设,x yR,且2226xy,则222xyx的最大值是()A 14 B 15 C16 D17 4.定义在(,)上的函数()yf x在(,2)上是增函数,且函数(2)yf x为 偶 函 数,则f(-1),f(4),f(152)的 大 小 关 系 是_.归纳反思:教师备课学习笔记精选学习资料 -名师归纳总结-第 3 页,共 8 页合作探究:1.求证:3645.2()f xaxbxc的导数为()fx,(0)0f,对于任意实数x,都有()0f x,则(1)(0)ff的最小值为()A 3 B 52C 2 D 32教师备课学习笔记精选学习资料 -名师归纳总结-第 4 页,共 8 页日照实验高中 2007 级导学案推理与证明2.2.2 反证法学习目标:理解反证法的概念,掌握反证法证题的步骤学习重点难点:反证法的概念及应用反证法合理性的理解以及用反证法证明具体问题自主学习:一:知识再现1.直接证明的定义:从命题的条件或结论出发,根据已知的定义,公理,定理直接推证结论的真实性.二:新课探究1.间接证明定义:间接证明不是从正面论证命题的真实性,而是考虑证明它的等价命题,或是证明命题的否认不成立,一间接地目的到达证题的目的.2.反证法:一般地,假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立.3.反证法的步骤:反设:假设所要证明的结论不成立,假设结论的反而成立.找矛盾:由“反设”出发,通过正确地推理,导出矛盾-与已知条件已知公理,定义,定理,反设及明显的事实矛盾或自相矛盾.结论:结论的反面不正确,肯定结论成立4.反证法适宜什么样的证明题直接证明较困难,可考虑使用反证法命题的结论部分含有“不可能、唯一、至少、至多”等特殊词语,可考虑使用反证法。x、y、z是整数,且x2+y2=z2 求证:x、y、z不可能都是奇数。证明:设x、y、z都是奇数,则x2、y2、z2都是奇数x2+y2为偶数x2+y2z2这与已知矛盾x、y、z不可能都是奇数。例 2.假设三个方程x2+4mx-4m+3=0;x2+(m-1)x+m2=0;x2+2mx-2m=0至少有一个方程有实数根,求实数m 的取值范围。解:当三个方程都没有实根时,有教师备课学习笔记1=(4m)2-4(3-4m)0 2=(m-1)2-4m203=4m2+8m0 4m2+4m-30m2+2m0-3/2m1/2 m1/3-2m0精选学习资料 -名师归纳总结-第 5 页,共 8 页即:得:-3/2m180o,这与三角形内角和定理矛盾,所以B一定是锐角。4、已知a、bR,假设a+b1,求证:a、b之中至少有一个不小于1/2 归纳反思:合作探究:教师备课学习笔记精选学习资料 -名师归纳总结-第 6 页,共 8 页1.已知函数2()1xxf xax(a1).(1)证明:函数()f x在(1,)上为增函数.(2)用反证法证明方程()0fx没有负数根.教师备课学习笔记精选学习资料 -名师归纳总结-第 7 页,共 8 页()fx对定义域内任意实数都有()0f x,且()()()f xyf xf y成立.求证:对定义域内任意x 都有()0f x.教师备课学习笔记精选学习资料 -名师归纳总结-第 8 页,共 8 页
展开阅读全文
相关资源
相关搜索

最新文档


当前位置:首页 > 管理文书 > 施工组织


copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!