直接证明与间接证明33872.pptVIP

* §13.4 直接证明与间接证明 要点梳理 1.直接证明 (1)综合法 ①定义:利用已知条件和某些数学定义、公理、 定理等，经过一系列的 ，最后推导出 所要证明的结论 ,这种证明方法叫综合法. ②框图表示： (其中P表示已知条件、已有的定义、公理、定 理等，Q表示要证的结论）. 推理论证 成立 基础知识 自主学习 (2)分析法 ①定义：从 出发，逐步寻求使它成 立的 ，直至最后，把要证明的结论归结 为判定一个明显成立的条件（已知条件、定理、 定义、公理等）为止.这种证明方法叫做分析法. ②框图表示： 2.间接证明 反证法：假设原命题 ，经过正确的推理, 最后得出 ，因此说明假设错误，从而证明 了原命题成立，这样的证明方法叫反证法. 要证明的结论 充分条件 得到一个明显成立的条件 . 不成立 矛盾 基础自测 1.分析法是从要证的结论出发,寻求使它成立 的( ) A.充分条件 B.必要条件 C.充要条件 D.既不充分又不必要条件 解析 由分析法的特点可知. A 一、选择题 1.已知抛物线y2=2px(p0)的焦点为F,点P1(x1,y1)、 P2（x2，y2）、P3(x3，y3)在抛物线上，且 2x2=x1+x3，则有 ( ) A.|FP1|+|FP2|=|FP3| B.|FP1|2+|FP2|2=|FP3|2 C.2|FP2|=|FP1|+|FP3| D.|FP2|2=|FP1|·|FP3| 解析 如图所示，y2=2px的准线为 P1A⊥l，P2B⊥l，P3C⊥l. 定时检测 由抛物线定义知： P1F=P1A= P2F=P2B= P3F=P3C= ∴2|FP2|= 又∵2x2=x1+x3，∴2|FP2|=|FP1|+|FP3|. 答案 C 2.用反证法证明“如果ab,那么 ”假设内容 应是 ( ) A. B. C. D. 解析 D 3.a，b，c为互不相等的正数，且a2+c2=2bc，则下列 关系中可能成立的是 ( ) A.abc B.bca C.bac D.acb 解析 由a2+c22ac2bc2acba,可排除A、D, 令a=2, 可得c=1或4，可知C可能成立. C 4.设x、y、z∈R+， 则a、b、c三数 ( ) A.至少有一个不大于2 B.都小于2 C.至少有一个不小于2 D.都大于2 解析 假设a、b、c都小于2，则a+b+c6, 而事实上：a+b+c= ∴a、b、c中至少有一个不小于2. C 5.已知a、b是非零实数，且ab,则下列不等式中成 立的是 ( ) A. B.a2b2 C.|a+b||a-b| D. 解析 ∵ab,∴a-b0.而a可能大于0，也可能小于0， 因此a(a-b)0不一定成立，即A不一定成立； a2b2(a-b)(a+b)0, ∵a-b0，只有当a+b0时，a2b2成立，故B不一定 成立； |a+b||a-b|(a+b)2(a-b)2ab0,而ab0也有 可能，故C不一定成立； ∵a,b非零，ab,∴上式一定成立，因此只有D正确. 答案 D 6.设a，b是两个实数，给出下列条件： (1)a+b1;(2)a+b=2;(3)a+b2; (4)a2+b22;(5)ab1. 其中能推出：“a,b中至少有一个大于1”的条 件是( ) A.(2)(3) B.(1)(2)(3) C.(3) D.(3)(4)(5) 解析 但a1,b1,故（1）推不出； 若a=b=1,则a+b=2,故（2）推不出； 若a=-2,b=-3,则a2+b22,故（4）推不出； 若a=-2,b=-3,则ab1,故（5）推不出； 对于（3），即a+b2,则a,b中至少有一个大于1， 反证法：假设a≤1且b≤1, 则a+b≤2与a+b2矛盾， 因此假设不成立，故a,b