高中数学 第一章 推理与证明 1.2 综合法与分析法 两种证明诠释素材 北师大版选修2-2（通用）_第1页
高中数学 第一章 推理与证明 1.2 综合法与分析法 两种证明诠释素材 北师大版选修2-2（通用）_第2页
全文预览已结束

下载本文档

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

文档简介

1、1.2两种证明诠释一、知识解析1直接证明（1）定义：直接从原命题的条件逐步推得命题成立，这种证明通常称为直接证明（2）一般形式：本题结论（3）常用方法：常用的直接证明的方法包括综合法、分析法，后面要学习的数学归纳法也是直接证明的一种常用方法综合法：从已经条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法常称为综合法综合法的一般形式：已知条件结论分析法：从问题的结论出发，追溯导致结论成立的条件，逐步上推，直到使结论成立的条件和已知条件或已知事实吻合为止，这种证明方法常称为分析法分析法的一般形式：结论已知条件2间接证明（1）定义：不是直接从原命题的条件逐步推

2、得命题成立，这种不是直接证明的方法通常称为间接证明（2）常用方法：常用的间接证明的方法包括反证法、同一法、枚举法等。我们这里重点加以分析反证法（3）反证法定义：从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定（即肯定原命题）的过程，这种证明方法称为反证法一般形式：“否定推理否定”证明命题“若则”的反证法过程：肯定条件否定结论导致逻辑矛盾“且”为假“若则”为真二、学法剖析1证明与推理的关系密切但不等同证明过程一定是推理过程，而且通常为演绎推理过程合情推理主要用于证明；推理未必用于证明，还可以用于计算2数学证明是引用公理、定理等已知的真命题来确定某一命题正确性的一种思维形式要证明一个

3、命题为真，可以直接从原命题入手，也可以间接地从它的等价命题入手，因此证明的方法可以分为直接证明和间接证明3分析法和综合法各有优劣分析法解题方向比较明确，利于寻找解题思路；综合法条理清晰，宜于表述分析法是从“未知”看“需知”，逐步靠拢已知，可谓执果索因，常常跟底渐近，因而更容易成功；而综合法是从“已知”看“可知”逐步推向“未知”，可谓由因导果，但过程往往节枝横生，不易奏效但就论述形式而言，综合法较分析法要简洁得多因此在数学证明时，常先用分析法理清已知与求证之间的联系，再用综合法写出来在实际解题时，通常以分析法为主寻求解题思路，再用综合法有条理地表述解题过程正面词语等于大于（）小于（）是都是任意的所有的任意两个至多有一个至少有一个至多有个否定词语不等于不大于（）不小于（）不是不都是某个某些某两个至少有两个一个也没有至少有个

人人文库> 全部分类> 教育资料 > 考试试卷

温馨提示

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

最新文档

评论

0/150

提交评论