高中数学第2章推理与证明22直接证明与间接证明222间接证明知识导航学案苏教版12.docxVIP

PAGE PAGE 1 2.2.2 间接证明 知识梳理 不是直接从命题的条件逐步推得命题成立，这种不是直接证明的方法称为 （indirect proof). 就是一种常用的间接证明方法. 反证法：一般地，假设原命题不成立.经过正确的推理，最后得出矛盾，因此说明假设错误， 从而证明了 原命题成立 ，这样的证 明方法叫做 （ reducation to absurdity). 反证法的证明过程为“否定—— —— ”. 反证法的一般步骤： （1）反设—— . （2）归谬—— . （3）存真—— . 知识导学 通过本节课的学习，认识反证法在证明问题中的重要作用，学会用反证法，证明有关命 题，并且要注意根据题目的类型，合理选择运用证明问题的方法，学会寻找问题中的矛盾， 正确推理. 疑难突破 对反证法的理解： 从假设结论不成立入手，推出与“已知条件、假设、公理或显然成立的事实”等相矛盾的结果，从而判定假设错误，结论成立，这种方法叫做反证法. 反证法证题的特征：是通过导出矛盾、归结为谬误，而使命题得证. 反证法的原理是“否定之否定等于肯定”. 反证法解题的实质就是否定结论导出矛盾，从而说明原结论正确.即证明命题的逆否命 题成立否定结论：对结论的反面要一一否定，不能遗漏；否定一个反面之反证法称为归谬法， 否定两个或两个以上反面之反证法称为穷举法，要注意用反证法解题，“否定结论”在推理 论证中作为已知使用，导出矛盾是指在假设的前提下，逻辑推理结果与“已知条件、假设、公理、定理或显然成立的事实”等相矛盾. 反证法适宜证明存在性、惟一性、带有“至少有一个”或“至多有一个”等字样的一些数学问题. 用反证法证明不等式，常用的否定形式有：“≥”的反面为“＜”；“≤”的反面为“＞”；“＞”的反面为“≤”；“＜”的反面为“≥”；“≠”的反面为“＝”；“＝” 的反面为“≠”或“＞”及“＜”. 反证法属逻辑方法范畴，它的严谨体现在它的原理上，即“否定之否定等于肯定”.其中：第一个否定是指“否定结论（假设）”；第二个否定是指“逻辑推理结果否定了假设”. 反证法属“间接解题方法”，书写格式易错之处是“假设”易错写成“设”. 反证法不是去直接证明结论，而是先否定结论，在否定结论的基础上运用演绎推理，导出矛盾，从而肯定结论的真实性. 应用反证法证明数学命题的一般步骤： 反设：假设命题的结论不成立，即假定原结论的反面为真； 归谬：从反设和已知条件出发，应用正确的推理方法，经过一系列正确的逻辑推理， 得出矛盾结果. 存真：由矛盾结果、断定反设不真，从而肯定原结论成立. 常见的主要矛盾有：①与数学公理、定理、公式、定义或已证明了的结论相矛盾； ②与临时假设矛盾； ③与公认的事实或自相矛盾等. 典题精讲 【例 1】 如图 2-2-4 所示，AB、CD 为圆的两条相交弦、且不全为直径.求证：AB、CD 不能互相平分. 思路分析：要证 AB 与CD 不能互相平分，从正面来证明难度很大，所以正难则反，采用反证法，假设AB 与CD 相互平分，可以找出存在的矛盾. 图 2-2-4 证明：假设AB、CD 互相平分，连结AC、CB、AD、BD 则 ACBD 为平行四边形. 所以：∠ACB=∠ADB,∠CAD=∠CBD. 因为四边形ACBD 为圆内接四边形， 所以∠ACB+∠ADB=180°，∠CAD+∠CBD=180°. 因此，∠ACB=90°，∠CAD=90°. 所以，对角线AB、CD 均为直径，与已知矛盾. 因此，AB、CD 不能互相平分. 绿色通道：反证法的关键是，在正确的推理下得出矛盾，这个矛盾可以是与已知条件矛盾； 或与假设矛盾；或与定义、定理、公理、事实矛盾等. 反证法常常是解决某些“疑难”问题的有力工具，英国近代数学家哈代曾经这样称赞它： “??归谬法（反证法）是数学家最有力的一件武器，比起象棋开局时牺牲一子以取得优势 的让棋法，它还要高明.象棋对弈者不外乎牺牲一卒或顶多一子，数学家索性把全局拱手让予对方！”. 黑色陷阱：在利用反证法证明问题时，一定要分清命题的条件和结论，假设时要对结论进行否定. 【变式训练】 如图 2-2-5 所示，在△ABC 中，AB＞AC，AD 为 BC 边上的高线，AM 是 BC 边上的中线， 求证：点M 不在线段CD 上. 图 2-2-5 证明（反证法） 假设 M 在线段CD 上，则BD＜BM=CM＜DC, 且 AB2=BD2+AD2,AC2=AD2+CD2, 所以 AB2=BD2+AD2＜BM2+AD2＜CD2+AD2=AC2, 即 AB2＜AC2,AB＜AC. 这与 AB＞AC 矛盾，所以点M 不在线段CD 上. ? ? ? 【例 2】 若 a、b、c 均为实数，且a=x2-2y+ 2 ,b=y2-2x+ 3 ,c=z