2015届高考数学二轮复习专题训练:13.4 直接证明与间接证明.docVIP

  • 2
  • 0
  • 约2.49千字
  • 约 5页
  • 2017-01-04 发布于山东
  • 举报

2015届高考数学二轮复习专题训练:13.4 直接证明与间接证明.doc

2015届高考数学二轮复习专题训练:13.4 直接证明与间接证明.doc

一、课前小测摸底细 1.【人教A版教材习题改编】p=+,q=·(m、n、a、b、c、d均为正数),则p、q的大小为(  ). A.p≥q B.p≤q C.p>q D.不确定 2. 【】用反证法证明命题:“一个三角形中不能有两个直角”的过程归纳为以下三个步骤: ,这与三角形内角和为相矛盾,不成立;所以一个三角形中不能有两个直角;假设三角形的三个内角、、中有两个直角,不妨设正确顺序的序号为 A. B. C. D. 3.【2014】则( ) A.都不大于 B.都不小于 C.至少有一个不大于 D.至少有一个不小于 4.【2014全国1高考理第14题】甲、乙、丙三位同学被问到是否去过三个城市时, 甲说:我去过的城市比乙多,但没去过城市; 乙说:我没去过城市. 丙说:我们三个去过同一城市. 由此可判断乙去过的城市为__________ 5.【】-2与-的大小关系是______________. 【】否定“自然数a,b,c中恰有一个偶数”时,正确的反设为(  ). A.a,b,c都是奇数 B.a,b,c都是偶数 C.a,b,c中至少有两个偶数 D.a,b,c中至少有两个偶数或都是奇数 【】分析法是从要证明的结论出发,逐步寻求使结论成立的(  ) A.充分条件 B.必要条件 C.充要条件 D.等价条件 【】设a,b是两个实数,给出下列条件: a+b1;a+b=2;a+b2;a2+b22;ab1. 其中能推出:“a,b中至少有一个大于1”的条件是(  ) A. B.C. D. 【】.__ __ . 【】分析法又称执果索因法,若用分析法证明:“设abc,且a+b+c=0,求证 a”索的因应是(  ) A.a-b0 B.a-c0 C.(a-b)(a-c)0 D.(a-b)(a-c)0 1.直接证明 (1)综合法: 利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法. 综合法的思维特点是:由因导果,即由已知条件出发,利用已知的数学定理、性质和公式,推出结论的一种证明方法. 框图表示:→→→…→ (2)分析法: 从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明方法叫做分析法. 分析法的思维特点是:执果索因; 分析法的书写格式: 要证明命题为真,只需要证明命题为真, 从而有……,这只需要证明命题为真,从而又有…… 这只需要证明命题为真,而已知为真,故命题必为真框图表示:→→→…→.2.间接证明 反证法:要证明某一结论A是正确的,但不直接证明,而是先去证明A的反面(非A)是错误的,从而断定A是正确的即反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论,完成命题的论证的一种数学证明方法. 明晰三种证题的一般规律 (1)综合法证题的一般规律: 用综合法证明命题时,必须首先找到正确的出发点,也就是能想到从哪里起步,我们一般的处理方法是广泛地联想已知条件所具备的各种性质,逐层推进,从而由已知逐步推出结论. (2)分析法证题的一般规律: 分析法的思路是逆向思维,用分析法证题必须从结论出发,倒着分析,寻找结论成立的充分条件.应用分析法证明问题时要严格按分析法的语言表达,下一步是上一步的充分条件. (3)反证法证题的一般规律: 反证法证题的实质是证明它的逆否命题成立.反证法的主要依据是逻辑中的排中律,排中律的一般形式是:或者是A,或者是非A.即在同一讨论过程中,A和非A有且仅有一个是正确的,不能有第三种情况出现. 综合法证题的思路 3.分析法证题的技巧(1)逆向思考是用分析法证题的主要思想,通过反推,逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利获解的关键. (2)证明较复杂的问题时,可以采用两头凑的办法,即通过分析法找出某个与结论等价(或充分)的中间结论,然后通过综合法由条件证明这个中间结论,从而使原命题得证. 反证法证明问题的一般步骤(1)反设:假定所要证的结论不成立,而设结论的反面(否定命题)成立;(否定结论) (2)归谬:将“反设”作为条件,由此出发经过正确的推理,导出矛盾——与已知条件、已知的定义、公理、定理及明显的事实矛盾或自相矛盾;(推导矛盾) (3)立论:因为推理正确,所以产生矛盾的原因在于“反设”的谬误.既然原命题结论的反面不成立,从而肯定了原命题成立.(命题成立) 注意:可能出现矛盾四种情况:与题设矛盾;与反设矛盾;与公理、定理矛盾在证明过程中,推出自相矛盾的

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档