高中数学选修2-2(从导数到微积分) 2.2直接证明与间接证明 理科班课件.pptVIP

* 2.2直接证明与间接证明 直接证明——综合法 证明通常包括逻辑证明和实验、实践证明。 数学证明是逻辑证明，主要通过演绎推理来进行，引用一些真实的命题来确定某一命题正确性的一种思维方式。 一、逻辑证明的构成 合情推理的结论是需要证明的 数学结论的正确性必须通过逻辑推理方式证明 任何逻辑证明都是由论题、论据和论证方式构成的。　 论题是在一个逻辑证明中需要确定其真实性的那个命题，它解决“证明什么的”问题。 论据是在一个逻辑证明中用以确定论题真实性的那些命题，它解决“用什么证明”的问题。 论据方式就是论题和论据的联系方式，即在证明中所运用的推理方式，它解决“怎样证明”的问题。 一、逻辑证明的构成 1、直接证明　　直接证明就是从真实论据直接推出论题的证明。 直接证明的特点是，它从论题出发，为论题的真实性提供正面的理由。 2、间接证明　　间接证明就是通过证明与原论题相关的其他论题为假，从而推出原论题为真的证明。 间接证明的特点是论题的真实性不是从论据真直接推出的，而是从其他论题的假间接推出的，间接证明又有反证法和选言证法两种。 二、逻辑证明的种类 证明 直接证明 间接证明 综合法 分析法 反证法 数学归纳法 综合法 利用已知条件和某些数学定义、定理、 公理等，经过一系列的推理论证，最后推导 出所要证明的结论或所要解决的问题的结果。 条件 结论 顺推证法由因导果 条件 定理 公理 定义 P Q1 Q1 Q2 Q2 Q3 Qn Q … 例1 证明: 例题 例2、如图所示：已知 P A B 综合法：由已知开始，结合定理推理，得出结论 分析: (三垂线定理) 考察“线 ⊥面”判定 和性质. 由题意只需 证a⊥平面PAB A B C P R Q 例3. 如图△ABC在平面α外, AB∩α=P, BC∩α=Q AC∩α=R. 求证: P,Q,R三点共线 分析: 只需证P,Q,R既在平 面α内,又在平面ABC内, 即在两个平面的交线上 求证： 例4、在DABC中，设 例5、在ΔABC中，三个内角A , B , C对应的边 分别是a , b , c ，且 A , B , C 成等差数列， a , b , c 成等比数列 求证： ΔABC是等边三角形 分析: 条件是什么？ A , B , C 成等差数列 2B = A + C a , b , c 成等比数列 b2 = a c 用什么工具把边和角联系起来？ 归纳： 一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法 （顺推证法，由因导果） P Q1 Q1 Q2 Q2 Q3 Qn Q … 证明题题型——不等式、立体几何、解析 几何问题、三角问题、数列、函数等 直接证明之二:分析法 【探究】 E为ΔABC的中线AD上任意一点 ?B ?C，求证：?EBC ?ECB A B C D E 目标：?EBC ?ECB EC BE 因为 BD =DC , ED =ED ?EDC ?EDB 因为 BD =DC , AD =AD AC AB ?B ?C 【分析法】 EC BE 因为 BD =DC , ED =ED ?EDC ?EDB 因为 BD =DC , AD =AD AC AB ?EBC ?ECB ?B ?C 目标：?EBC ?ECB EC BE 因为 BD =DC , ED =ED ?EDC ?EDB 因为 BD =DC , AD =AD AC AB ?B ?C 综合法 【分析法】.(逆推证法)(执果索因法) 从结论出发，寻找结论成立的充分条件 直至最后，把要证明的结论归结为判定一 个明显成立的条件。 要证：?? 只要证：?? 只需证：?? ??显然成立 上述各步均可逆 所以 结论成立 要证：?? ?? ?? ?? ?? 所以 结论成立 格 式 例1、试证基本不等式 为了证明 只需要 只需证 即证 由于 显然成立, 因此原不等式成立 分析法 例1、试证基本不等式 也即 从而 所以 证明: 因为 故原不等式成立 综合法 *