直接证明与间接证课件_第1页
直接证明与间接证课件_第2页
直接证明与间接证课件_第3页
直接证明与间接证课件_第4页
直接证明与间接证课件_第5页
已阅读5页,还剩24页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、第第6课时直接证明与间接证明课时直接证明与间接证明 证明的结论证明的结论 推理论证推理论证 成立成立 充分条件充分条件 内容内容综合法综合法分析法分析法 文字语文字语 言言 因为因为所以所以或或 由由得得 要证要证只需证只需证 即证即证 思考感悟思考感悟 综合法和分析法的区别与联系是什么?综合法和分析法的区别与联系是什么? 提示:提示:综合法的特点是:从综合法的特点是:从“已知已知”看看“可可 知知”,逐步推向,逐步推向“未知未知”其逐步推理实际上其逐步推理实际上 是寻找它的必要条件分析法的特点是:从是寻找它的必要条件分析法的特点是:从 “未知未知”看看“需知需知”,逐步靠拢,逐步靠拢“已知已

2、知”其其 逐步推理实际上是寻求它的充分条件在解决逐步推理实际上是寻求它的充分条件在解决 问题时,经常把综合法和分析法综合起来使问题时,经常把综合法和分析法综合起来使 用用 2间接证明间接证明 反证法:假设原命题反证法:假设原命题_ (即在原命题的条即在原命题的条 件下,结论不成立件下,结论不成立),经过正确的推理,最后得,经过正确的推理,最后得 出出_因此说明假设错误,从而证明了原命因此说明假设错误,从而证明了原命 题成立,这样的证明方法叫做反证法题成立,这样的证明方法叫做反证法 不成立不成立 矛盾矛盾 综合法综合法 综合法是综合法是“由因导果由因导果”,它是从已知条件出发,它是从已知条件出发

3、, 顺着推证,经过一系列的中间推理,最后导出顺着推证,经过一系列的中间推理,最后导出 所证结论的真实性用综合法证明的逻辑关系所证结论的真实性用综合法证明的逻辑关系 是:是:AB1B2BnB(A为已知条件或数为已知条件或数 学定义、定理、公理等,学定义、定理、公理等,B为要证结论为要证结论),它的,它的 常见书面表达是常见书面表达是“,”或或“” 分析法分析法 分析法是分析法是“执果索因执果索因”,一步步寻求上一,一步步寻求上一 步成立的充分条件它是从要求证的结论步成立的充分条件它是从要求证的结论 出发,倒着分析,由未知想需知,由需知出发,倒着分析,由未知想需知,由需知 逐渐地靠近已知逐渐地靠近

4、已知(已知条件,已经学过的定已知条件,已经学过的定 义、定理、公理、公式、法则等义、定理、公理、公式、法则等)用分析用分析 法证明命题的逻辑关系是:法证明命题的逻辑关系是: B B1 B2 Bn A.它的常见书面表它的常见书面表 达是达是“要证要证只需只需”或或“ ” 【思路分析思路分析】a bab0,利用,利用a2|a|2求求 证证 平方得平方得|a|2|b|22|a|b|2(|a|2|b|22ab), 只需证只需证|a|2|b|22|a|b|0, 即即(|a|b|)20,显然成立,显然成立 故原不等式得证故原不等式得证 【误区警示误区警示】本题从要证明的结论出发,探本题从要证明的结论出发,

5、探 求使结论成立的充分条件,最后找到的恰恰都求使结论成立的充分条件,最后找到的恰恰都 是已证的命题是已证的命题(定义、公理、定理、法则、公式定义、公理、定理、法则、公式 等等)或要证命题的已知条件时,命题得证这正或要证命题的已知条件时,命题得证这正 是分析法证明问题的一般思路是分析法证明问题的一般思路 一般地,含有根号、绝对值的等式或不等式,一般地,含有根号、绝对值的等式或不等式, 若从正面不易推导时,可以考虑用分析法若从正面不易推导时,可以考虑用分析法 反证法反证法 反证法体现了正难则反的思维方法,用反证法证反证法体现了正难则反的思维方法,用反证法证 明问题的一般步骤是:明问题的一般步骤是:

6、 (1)分清问题的条件和结论;分清问题的条件和结论; (2)假定所要证的结论不成立,而设结论的反面假定所要证的结论不成立,而设结论的反面 成立成立(否定结论否定结论); (3)从假设和条件出发,经过正确的推理,导出从假设和条件出发,经过正确的推理,导出 与已知条件、公理、定理、定义及明显成立的事与已知条件、公理、定理、定义及明显成立的事 实相矛盾或自相矛盾实相矛盾或自相矛盾(推导矛盾推导矛盾); (4)因为推理正确,所以断定产生矛盾的原因是因为推理正确,所以断定产生矛盾的原因是 “假设假设”错误既然结论的反面不成立,从而证错误既然结论的反面不成立,从而证 明了原结论成立明了原结论成立(结论成立

7、结论成立) 【思路分析思路分析】(1)利用求和公式先求公利用求和公式先求公 差差d,(2)利用反证法证明利用反证法证明 【名师点评名师点评】当一个命题的结论是以当一个命题的结论是以“至多至多 ”、“至少至少”、“唯一唯一”或以否定形式出现时或以否定形式出现时 ,宜用反证法来证,反证法的关键是在正确的,宜用反证法来证,反证法的关键是在正确的 推理下得出矛盾,矛盾可以是与已知条件矛盾推理下得出矛盾,矛盾可以是与已知条件矛盾 ,与假设矛盾,与定义、公理、定理矛盾,与,与假设矛盾,与定义、公理、定理矛盾,与 事实矛盾等,反证法常常是解决某些事实矛盾等,反证法常常是解决某些“疑难疑难” 问题的有力工具,

8、是数学证明中的一件有力武问题的有力工具,是数学证明中的一件有力武 器器 方法技巧方法技巧 1分析法和综合法各有优缺点分析法思考起分析法和综合法各有优缺点分析法思考起 来比较自然,容易寻找到解题的思路和方法,缺来比较自然,容易寻找到解题的思路和方法,缺 点是思路逆行,叙述较繁琐;综合法从条件推出点是思路逆行,叙述较繁琐;综合法从条件推出 结论,较简洁地解决问题,但不便于思考实际结论,较简洁地解决问题,但不便于思考实际 证题时常常两法兼用,先用分析法探索证明途径,证题时常常两法兼用,先用分析法探索证明途径, 然后再用综合法叙述出来然后再用综合法叙述出来 2利用反证法证明数学问题时,要假设结论错利用

9、反证法证明数学问题时,要假设结论错 误,并用假设命题进行推理,没有用假设命题推误,并用假设命题进行推理,没有用假设命题推 理而推出矛盾结果,其推理过程是错误的理而推出矛盾结果,其推理过程是错误的 3用分析法证明数学问题时,要注意书写格用分析法证明数学问题时,要注意书写格 式的规范性,常常用式的规范性,常常用“要证要证(欲证欲证)”“即要证即要证 ”“就要证就要证”等分析得到一个明显成立的结等分析得到一个明显成立的结 论论P,再说明所要证明的数学问题成立,再说明所要证明的数学问题成立 失误防范失误防范 1反证法证明中要注意的问题反证法证明中要注意的问题 (1)必须先否定结论,即肯定结论的反面,当

10、结论的必须先否定结论,即肯定结论的反面,当结论的 反面呈现多样性时,必须罗列出各种可能结论,缺反面呈现多样性时,必须罗列出各种可能结论,缺 少任何一种可能,反证都是不完全的;少任何一种可能,反证都是不完全的; (2)反证法必须从否定结论进行推理,即应把结论的反证法必须从否定结论进行推理,即应把结论的 反面作为条件,且必须根据这一条件进行推证,否反面作为条件,且必须根据这一条件进行推证,否 则,仅否定结论,不从结论的反面出发进行推理,则,仅否定结论,不从结论的反面出发进行推理, 就不是反证法;就不是反证法; (3)推导出的矛盾可能多种多样,有的与已知矛盾,推导出的矛盾可能多种多样,有的与已知矛盾

11、, 有的与假设矛盾,有的与事实矛盾等,推导出的矛有的与假设矛盾,有的与事实矛盾等,推导出的矛 盾必须是明显的盾必须是明显的 2常见的常见的“结论词结论词”与与“反设词反设词” 原结论原结论 词词 反设词反设词原结论词原结论词反设词反设词 至少有至少有 一个一个 一个也一个也 没有没有 对所有对所有x成立成立 存在某个存在某个x不不 成立成立 至多有至多有 一个一个 至少有至少有 两个两个 对任意对任意x不成不成 立立 存在某个存在某个x成成 立立 至少有至少有 n个个 至多有至多有n 1个个 p或或q綈綈p且綈且綈q 至多有至多有 n个个 至少有至少有n 1个个 p且且q綈綈p或綈或綈q 从近

12、几年的高考试题来看,综合法、反证法证明从近几年的高考试题来看,综合法、反证法证明 问题是高考的热点,题型大多为解答题,难度为问题是高考的热点,题型大多为解答题,难度为 中、高档;主要是在知识交汇点处命题,像数列,中、高档;主要是在知识交汇点处命题,像数列, 立体几何中的平行、垂直,不等式,解析几何等立体几何中的平行、垂直,不等式,解析几何等 都有可能考查,在考查数学基本概念的同时,注都有可能考查,在考查数学基本概念的同时,注 重考查等价转化、分类讨论思想以及学生的逻辑重考查等价转化、分类讨论思想以及学生的逻辑 推理能力推理能力 预测预测2012年广东高考仍将以综合法证明为主要考年广东高考仍将以综合法证明为主要考 点,偶尔会出现反证法证明的题目,重点考查运点,偶尔会出现反证法证明的题目,重点考查运 算能力与逻辑推理能力算能力与逻辑推理能力 【名师点评名师点评】本题考查了数列的计算及反本题考查了数列的计算及反 证法的证明,试题为中高档题,易误点为:证法的证明,试题为中高档题,易误点为: 一是不能转化为新数列;二是求一是不能转化为新数列;二是

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论