直接间接证明与数学归纳法.docVIP

姓名 学生姓名 填写时间 学科 数学 年级 教材版本 人教版 阶段 第（ ）周 观察期：□ 维护期：□ 课题名称 直接、间接证明与数学归纳法 课时计划 第（ ）课时共（ ）课时 上课时间 教学目标 　分析法和综合法在证明方法中都占有重要地位，是解决数学问题的重要思想方法。当所证命题的结论与所给条件间联系不明确，常常采用分析法证明；当所证的命题与相应定义、定理、公理有直接联系时，常常采用综合法证明.在解决问题时，常常把分析法和综合法结合起来使用。 教学重点 反证法解题的实质是否定结论导出矛盾，从而说明原结论正确。在否定结论时，其反面要找对、找全. 教学 难点 它适合证明“存在性问题、唯一性问题”，带有“至少有一个”或“至多有一个”等字样的数学问题. 教学过程 直接证明与间接证明知识要点梳理 直接证明1、综合法　（1）定义：　　一般地，从命题的已知条件出发，利用公理、已知的定义及定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法.　（2）综合法的的基本思路：执因索果　　综合法又叫“顺推证法”或“由因导果法”.它是从已知条件和某些学过的定义、公理、公式、定理等出发，通过推导得出结论.　（3）综合法的思维框图：　　用表示已知条件，为定义、定理、公理等，表示所要证明的结论，则综合法可用框图表示为：　　　　　　　　（已知） （逐步推导结论成立的必要条件） （结论） 2、分析法　　（1）定义：　　一般地，从需要证明的命题出发，分析使这个命题成立的充分条件，逐步寻找使命题成立的充分条件，直至所寻求的充分条件显然成立（已知条件、定理、定义、公理等），或由已知证明成立，从而确定所证的命题成立的一种证明方法，叫做分析法.　　（2）分析法的基本思路：执果索因　　分析法又叫“逆推证法”或“执果索因法”.它是从要证明的结论出发，分析使之成立的条件，即寻求使每一步成立的充分条件，直到最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止.　　 （3）分析法的思维框图：　　用表示已知条件和已有的定义、公理、公式、定理等，所要证明的结论，则用分析法证明可用框图表示为：　　　　　　　　　　　　（结论） （逐步寻找使结论成立的充分条件） （已知）　　（4）分析法的格式：要证……，只需证……，只需证……，因为……成立，所以原不等式得证。间接证明反证法　（1）定义：　　一般地，首先假设要证明的命题结论不正确，即结论的反面成立，然后利用公理，已知的定义、定理，命题的条件逐步分析，得到和命题的条件或公理、定理、定义及明显成立的事实等矛盾的结论，以此说明假设的结论不成立，从而证明了原命题成立，这样的证明方法叫做反证法.　（2）反证法的特点：　　反证法是间接证明的一种基本方法.它是先假设要证的命题不成立，即结论的反面成立，在已知条件和“假设”这个新条件下，通过逻辑推理，得出与定义、公理、定理、已知条件、临时假设等相矛盾的结论，从而判定结论的反面不能成立，即证明了命题的结论一定是正确的.　（3）反证法的基本思路：“假设——矛盾——肯定”　 　　　①分清命题的条件和结论．　 　　　②做出与命题结论相矛盾的假设．　 　　　③由假设出发，结合已知条件，应用演绎推理方法，推出矛盾的结果．　 　　　④断定产生矛盾结果的原因，在于开始所做的假定不真，于是原结论成立，从而间接地证明原命　 　　　　题为真．　（4）用反证法证明命题“若则”，它的全部过程和逻辑根据可以表示为：　　　　　　（5）反证法的优点：对原结论否定的假定的提出，相当于增加了一个已知条件.数学归纳法 1. 证明一个与正整数有关的命题关键步骤如下： （1） 证明当取第一个值时结论正确； （2） 假设当＝（∈，≥） 时结论正确, 证明当＝＋1时结论也正确． 完成这两个步骤后, 就可以断定命题对从开始的所有正整数都正确． 这种证明方法叫做数学归纳法． 2. 数学归纳法作为一种证明方法，其基本思想是递推(递归)思想，使用要点可概括为：两个步骤一结论，递推基础不可少，归纳假设要用到，结论写明莫忘掉； 规律方法指导1.用反证法证明数学命题的一般步骤：　　①反设——假设命题的结论不成立，即假定原命题的反面为真；　　②归谬——从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾结果；　　③存真——由矛盾结果，断定反设不真，从而肯定原结论成立. 经典例题透析类型一：综合法　1．如图，设在四面体中，，，是的中点.　　　　　求证：垂直于所在的平面.　　　　　　　　　　　　　　　　 解析：连、　　　　因为是斜边上的中线， 所以　　　　　又因为,而是