- 2021-06-23 发布 |
- 37.5 KB |
- 10页
申明敬告: 本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
文档介绍
2019届二轮复习(理)专题64直接证明与间接证明学案(全国通用)
1.了解直接证明的两种基本方法——分析法和综合法;了解分析法和综合法的思考过程和特点. 2.了解反证法的思考过程和特点. 一、直接证明 (1)综合法 ①定义:一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法叫做综合法. ②框图表示:―→―→―→…―→ (其中P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论). ③思维过程:由因导果. (2)分析法 ①定义:一般地,从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明方法叫做分析法. ②框图表示:―→―→―→…―→ (其中Q表示要证明的结论). ③思维过程:执果索因. 二、间接证明 反证法:一般地,假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明原命题成立的证明方法. 高频考点一 综合法的应用 例1.设a,b,c均为正实数,则三个数a+,b+,c+( ) A.都大于2 B.都小于2 C.至少有一个不大于2 D.至少有一个不小于2 答案 D 解析 ∵a>0,b>0,c>0, ∴++ =++≥6, 当且仅当a=b=c=1时,“=”成立,故三者不能都小于2,即至少有一个不小于2.学^ 【变式探究】如果a+b>a+b成立,则a,b应满足的条件是 . 答案 a≥0,b≥0且a≠b ∴a+b>a+b成立的条件是a≥0,b≥0且a≠b. 【举一反三】若a,b,c是不全相等的正数,求证: lg+lg+lg>lg a+lg b+lg c. 证明 ∵a,b,c∈(0,+∞), ∴≥ >0,≥ >0,≥ >0. 由于a,b,c是不全相等的正数, ∴上述三个不等式中等号不能同时成立, ∴··>abc>0成立. 上式两边同时取常用对数,得 lg>lg abc, ∴lg+lg+lg>lg a+lg b+lg c. 【感悟提升】(1)综合法是“由因导果”的证明方法,它是一种从已知到未知(从题设到结论)的逻辑推理方法,即从题设中的已知条件或已证的真实判断(命题) 出发,经过一系列中间推理,最后导出所要求证结论的真实性.(2)综合法的逻辑依据是三段论式的演绎推理. 高频考点二 分析法的应用 例2、已知函数f(x)=tan x,x∈,若x1,x2∈,且x1≠x2,求证:[f(x1)+f(x2)]>f. 【变式探究】已知函数f(x)=3x-2x,x∈,若x1,x2∈,且x1≠x2,求证:对于任意的x1,x2∈R,均有≥f 证明 要证明≥f, 即证明≥-2·, 因此只要证明-(x1+x2)≥-(x1+x2), 即证明≥, 因此只要证明≥, 由于当x1,x2∈R时,>0,>0, 由基本不等式知≥显然成立,当且仅当x1=x2时,等号成立.故原结论成立. 【感悟提升】(1)逆向思考是用分析法证题的主要思想,通过反推,逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利解决的关键. (2)证明较复杂的问题时,可以采用两头凑的办法,即通过分析法找出某个与结论等价(或充分)的中间结论,然后通过综合法证明这个中间结论,从而使原命题得证. 【变式探究】 已知a>0,证明:- ≥a+-2. 高频考点三 反证法的应用 例3、设{an}是公比为q的等比数列. (1)推导{an}的前n项和公式; (2)设q≠1,证明:数列{an+1}不是等比数列. (1)解 设{an}的前n项和为Sn,则 当q=1时,Sn=a1+a1+…+a1=na1; 当q≠1时,Sn=a1+a1q+a1q2+…+a1qn-1,① qSn=a1q+a1q2+…+a1qn,② ①-②得,(1-q)Sn=a1-a1qn, ∴Sn=, ∴Sn= (2)证明 假设{an+1}是等比数列,则对任意的k∈N , (ak+1+1)2=(ak+1)(ak+2+1), a+2ak+1+1=akak+2+ak+ak+2+1, aq2k+2a1qk=a1qk-1·a1qk+1+a1qk-1+a1qk+1, ∵a1≠0,∴2qk=qk-1+qk+1. ∵q≠0,∴q2-2q+1=0,∴q=1,这与已知矛盾. ∴假设不成立,故{an+1}不是等比数列. 【变式探究】已知四棱锥S-ABCD中,底面是边长为1的正方形,又SB=SD=,SA=1. (1)求证:SA⊥平面ABCD; (2)在棱SC上是否存在异于S,C的点F,使得BF∥平面SAD?若存在,确定F点的位置;若不存在,请说明理由. (2)解 假设在棱SC上存在异于S,C的点F,使得BF∥平面SAD. ∵BC∥AD,BC⊄平面SAD. ∴BC∥平面SAD.而BC∩BF=B, ∴平面FBC∥平面SAD.学 ] 这与平面SBC和平面SAD有公共点S矛盾, ∴假设不成立. ∴不存在这样的点F,使得BF∥平面SAD. 高频考点四 证明唯一性命题 例4、已知M是由满足下列条件的函数构成的集合:对任意f(x)∈M,①方程f(x)-x=0有实数根; ②函数f(x)的导数f′(x)满足0查看更多