|教案下载
终身会员
搜索
    上传资料 赚现金
    2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲
    立即下载
    加入资料篮
    2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲01
    2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲02
    2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲03
    还剩7页未读, 继续阅读
    下载需要20学贝 1学贝=0.1元
    使用下载券免费下载
    加入资料篮
    立即下载

    2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲

    展开

    4讲 直接证明与间接证明

    [考纲解读] 1.掌握直接证明的两种基本方法:分析法与综合法.(重点)

    2.能够用反证法证明问题,掌握反证法的步骤:反设;归谬;结论.(难点)

    3.综合法、反证法证明问题是高考中的一个热点,主要在知识交汇处命题,如数列、不等式等.

     

    [考向预测]  从近三年高考情况来看,本讲是高考中的一个热点.  预测2020年将会以不等式、立体几何、数列等知识为载体,考查分析法、综合法与反证法的灵活应用,题型为解答题中的一问,试题难度中等.

     

    1.直接证明

    续表

    2间接证明

    间接证明是不同于直接证明的又一类证明方法,反证法是一种常用的间接证明方法.

    (1)反证法的定义:假设原命题不成立(即在原命题的条件下,结论不成立),经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明原命题成立的证明方法.

    (2)用反证法证明的一般步骤:反设——假设命题的结论不成立;归谬——根据假设进行推理,直到推出矛盾为止;结论——断言假设不成立,从而肯定原命题的结论成立.

    1概念辨析

    (1)综合法是直接证明,分析法是间接证明.(  )

    (2)分析法是从要证明的结论出发,逐步寻找使结论成立的充要条件.(  )

    (3)反证法是指将结论和条件同时否定,推出矛盾.(  )

    (4)在解决问题时,常用分析法寻找解题的思路与方法,再用综合法展现解决问题的过程.(  )

    答案 (1)× (2)× (3)× (4)

    2小题热身

    (1)要证明<2,可选择的方法有以下几种,其中最合理的是(  )

    A.综合法   B.分析法

    C.类比法   D.反证法

    答案 B

    解析 用分析法证明如下:要证明<2,需证()2<(2)2,即证102<20,即证<5,即证21<25,显然成立,故原结论成立.

    用综合法证明:因为()2(2)2102202(5)<0,故<2.

    反证法证明:假设2,通过两端平方后导出矛盾,从而肯定原结论.

    从以上证法中,可知最合理的是分析法.故选B.

    (2)命题对于任意角θcos4θsin4θcos2θ的证明:cos4θsin4θ(cos2θsin2θ)(cos2θsin2θ)cos2θsin2θcos2θ过程应用了(  )

    A.分析法

    B.综合法

    C.综合法、分析法综合使用

    D.间接证明法

    答案 B

    解析 因为证明过程是从左到右,即由条件出发,经过推理得出结论,属于综合法.故选B.

    (3)用反证法证明命题ab为实数,则方程x3axb0至少有一个实根时,要作的假设是(  )

    A.方程x3axb0没有实根

    B.方程x3axb0至多有一个实根

    C.方程x3axb0至多有两个实根

    D.方程x3axb0恰好有两个实根

    答案 A

    解析 因为方程x3axb0至少有一个实根等价于方程x3axb0的实根的个数大于或等于1,因此,要作的假设是方程x3axb0没有实根.故选A.

     

    题型  分析法的应用

    (2019·长沙模拟)已知函数f(x)tanxx,若x1x2,且x1x2,求证:[f(x1)f(x2)]>f.

    证明 要证[f(x1)f(x2)]>f

    即证明(tanx1tanx2)>tan

    只需证明

    >tan

    只需证明

    >.由于x1x2,故x1x2(0π).所以cosx1cosx2>0sin(x1x2)>0

    1cos(x1x2)>0

    故只需证明

    1cos(x1x2)>2cosx1cosx2

    即证1cosx1cosx2sinx1sinx2>2cosx1cosx2

    即证cos(x1x2)<1.

    x1x2x1x2知上式显然成立,

    因此[f(x1)f(x2)]>f.

    条件探究 举例说明中f(x)”变为f(x)3x2x,试证:对于任意的x1x2R,均有f.

    1.分析法证明问题的策略

    (1)逆向思考是用分析法证题的主要思想.

    (2)证明较复杂的问题时,可以采用两头凑的办法,即通过分析法找出某个与结论等价(或充分)的中间结论,然后通过综合法证明这个中间结论,从而使原命题得证.

    2.分析法的适用范围及证题关键

    (1)适用范围

    已知条件与结论之间的联系不够明显、直接.

    证明过程中所需要用的知识不太明确、具体.

    含有根号、绝对值的等式或不等式,从正面不易推导.

    (2)证题关键:保证分析过程的每一步都是可逆的.                    

     

    已知ABC的三个内角ABC成等差数列,ABC的对边分别为abc.求证:.

    证明 要证

    即证3,也就是1

    只需证c(bc)a(ab)(ab)(bc)

    需证c2a2acb2

    ABC三内角ABC成等差数列,故B60°

    由余弦定理,得

    b2c2a22accos60°

    b2c2a2ac,故c2a2acb2成立.

    于是原等式成立.

    题型  综合法的应用

    (2018·黄冈模拟)设数列{an}的前n项和为Sn,且(3m)Sn2manm3(nN).其中m为常数,且m3.

    (1)求证:{an}是等比数列;

    (2)若数列{an}的公比qf(m),数列{bn}满足b1a1bnf(bn1)(nNn2),求证:为等差数列.

    证明 (1)(3m)Sn2manm3,得

    (3m)Sn12man1m3.

    两式相减,得(3m)an12manm3

    {an}是等比数列.

    (2)(3m)Sn2manm3

    (3m)a12ma1m3a11.

    b1a11qf(m)nNn2时,

    bnf(bn1)·bnbn13bn3bn1

    .

    是首项为1,公差为的等差数列.

     

     

    1.利用综合法证题的策略

    用综合法证题是从已知条件出发,逐步推向结论,综合法的适用范围:(1)定义明确的问题;(2)已知条件明确,并且容易通过分析和应用条件逐步逼近结论的题型.

    2.综合法证明问题的常见类型及方法

    (1)与不等式有关的证明:充分利用函数、方程、不等式间的关系,同时注意函数单调性、最值的应用,尤其注意导数思想的应用.

    (2)与数列有关的证明:充分利用等差、等比数列的定义通项及前n项和公式证明.见举例说明.

     

    abc都是正数,求证:abc.

    证明 因为abc都是正数,

    所以都是正数.

    所以2c,当且仅当ab时等号成立,

    2a,当且仅当bc时等号成立,

    2b,当且仅当ac时等号成立.

    三式相加,得22(abc)

    abc,当且仅当abc时等号成立.

    题型  反证法的应用

    角度1 证明否定性命题

    1(2018·株州月考){an}是公比为q的等比数列.

    (1)推导{an}的前n项和公式;

    (2)q1,证明:数列{an1}不是等比数列.

    解 (1){an}的前n项和为Sn,则

    q1时,Sna1a1a1na1

    q1时,Sna1a1qa1q2a1qn1

    qSna1qa1q2a1qn

    得,(1q)Sna1a1qn

    Sn

    Sn

    (2)证明:假设{an1}是等比数列,则对任意的kN*

    (ak11)2(ak1)(ak21)

    a2ak11akak2akak21

    aq2k2a1qka1qk1·a1qk1a1qk1a1qk1

    a102qkqk1qk1.

    q0q22q10

    q1,这与已知矛盾.

    假设不成立,故{an1}不是等比数列.

    角度2 证明至多”“至少”“唯一命题

    2.已知M是由满足下述条件的函数构成的集合:对任意f(x)M

    ()方程f(x)x0有实数根;

    ()函数f(x)的导数f(x)满足0<f(x)<1.

    (1)判断函数f(x)是不是集合M中的元素,并说明理由;

    (2)集合M中的元素f(x)具有下面的性质:若f(x)的定义域为D,则对于任意[mn]D,都存在x0(mn),使得等式f(n)f(m)(nm)f(x0)成立.试用这一性质证明:方程f(x)x0有且只有一个实数根.

    解 (1)x0时,f(0)0,所以方程f(x)x0有实数根为0

    因为f(x)cosx,所以f(x)

    满足条件0<f(x)<1.

    ①②可得,函数f(x)是集合M中的元素.

    (2)证明:假设方程f(x)x0存在两个实数根αβ(αβ),则f(α)α0f(β)β0.

    不妨设α<β,根据题意存在c(αβ)

    满足f(β)f(α)(βα)f(c)

    因为f(α)αf(β)β,且αβ,所以f(c)1.

    与已知0<f(x)<1矛盾.

    f(x)x0有实数根,所以方程f(x)x0有且只有一个实数根.

    1.反证法证明问题的三步骤

    2.反证法的适用范围

    (1)否定性命题;

    (2)命题的结论中出现至少”“至多”“唯一等词语的;

    (3)当命题成立非常明显,而要直接证明所用的理论太少,且不容易说明,而其逆否命题又是非常容易证明的;

    (4)要讨论的情况很复杂,而反面情况很少.

    1已知xRax2b2xcx2x1,试证明abc至少有一个不小于1.

    证明 假设abc均小于1

    a<1b<1c<1,则有abc<3

    abc2x22x3

    2233

    两者矛盾,所以假设不成立,

    abc至少有一个不小于1.

    2.已知四棱锥SABCD中,底面是边长为1的正方形,又SBSDSA1.

    (1)求证:SA平面ABCD

    (2)在棱SC上是否存在异于SC的点F,使得BF平面SAD?若存在,确定F点的位置;若不存在,请说明理由.

    解 (1)证明:由已知得SA2AD2SD2

    所以SAAD.同理SAAB.

    ABADA

    所以SA平面ABCD.

    (2)假设在棱SC上存在异于SC的点F,使得BF平面SAD.

    因为BCADBC平面SAD.

    所以BC平面SAD.BCBFB

    所以平面FBC平面SAD.

    这与平面SBC和平面SAD有公共点S矛盾,所以假设不成立.

    所以不存在这样的点F,使得BF平面SAD.

     

     

    免费资料下载额度不足,请先充值

    每充值一元即可获得5份免费资料下载额度

    今日免费资料下载份数已用完,请明天再来。

    充值学贝或者加入云校通,全网资料任意下。

    提示

    您所在的“深圳市第一中学”云校通为试用账号,试用账号每位老师每日最多可下载 10 份资料 (今日还可下载 0 份),请取消部分资料后重试或选择从个人账户扣费下载。

    您所在的“深深圳市第一中学”云校通为试用账号,试用账号每位老师每日最多可下载10份资料,您的当日额度已用完,请明天再来,或选择从个人账户扣费下载。

    您所在的“深圳市第一中学”云校通余额已不足,请提醒校管理员续费或选择从个人账户扣费下载。

    重新选择
    明天再来
    个人账户下载
    下载确认
    您当前为教习网VIP用户,下载已享8.5折优惠
    您当前为云校通用户,下载免费
    下载需要:
    本次下载:免费
    账户余额:0 学贝
    首次下载后60天内可免费重复下载
    立即下载
    即将下载:资料
    资料售价:学贝 账户剩余:学贝
    选择教习网的4大理由
    • 更专业
      地区版本全覆盖, 同步最新教材, 公开课⾸选;1200+名校合作, 5600+⼀线名师供稿
    • 更丰富
      涵盖课件/教案/试卷/素材等各种教学资源;900万+优选资源 ⽇更新5000+
    • 更便捷
      课件/教案/试卷配套, 打包下载;手机/电脑随时随地浏览;⽆⽔印, 下载即可⽤
    • 真低价
      超⾼性价⽐, 让优质资源普惠更多师⽣
    VIP权益介绍
    • 充值学贝下载 本单免费 90%的用户选择
    • 扫码直接下载
    元开通VIP,立享充值加送10%学贝及全站85折下载
    您当前为VIP用户,已享全站下载85折优惠,充值学贝可获10%赠送
      充值到账1学贝=0.1元
      0学贝
      本次充值学贝
      0学贝
      VIP充值赠送
      0学贝
      下载消耗
      0学贝
      资料原价
      100学贝
      VIP下载优惠
      0学贝
      0学贝
      下载后剩余学贝永久有效
      0学贝
      • 微信
      • 支付宝
      支付:¥
      元开通VIP,立享充值加送10%学贝及全站85折下载
      您当前为VIP用户,已享全站下载85折优惠,充值学贝可获10%赠送
      扫码支付0直接下载
      • 微信
      • 支付宝
      微信扫码支付
      充值学贝下载,立省60% 充值学贝下载,本次下载免费
        下载成功

        Ctrl + Shift + J 查看文件保存位置

        若下载不成功,可重新下载,或查看 资料下载帮助

        本资源来自成套资源

        更多精品资料

        正在打包资料,请稍候…

        预计需要约10秒钟,请勿关闭页面

        服务器繁忙,打包失败

        请联系右侧的在线客服解决

        单次下载文件已超2GB,请分批下载

        请单份下载或分批下载

        支付后60天内可免费重复下载

        我知道了
        正在提交订单

        欢迎来到教习网

        • 900万优选资源,让备课更轻松
        • 600万优选试题,支持自由组卷
        • 高质量可编辑,日均更新2000+
        • 百万教师选择,专业更值得信赖
        微信扫码注册
        qrcode
        二维码已过期
        刷新

        微信扫码,快速注册

        手机号注册
        手机号码

        手机号格式错误

        手机验证码 获取验证码

        手机验证码已经成功发送,5分钟内有效

        设置密码

        6-20个字符,数字、字母或符号

        注册即视为同意教习网「注册协议」「隐私条款」
        QQ注册
        手机号注册
        微信注册

        注册成功

        下载确认

        下载需要:0 张下载券

        账户可用:0 张下载券

        立即下载
        账户可用下载券不足,请取消部分资料或者使用学贝继续下载 学贝支付

        如何免费获得下载券?

        加入教习网教师福利群,群内会不定期免费赠送下载券及各种教学资源, 立即入群

        即将下载

        2020年高考数学理科一轮复习讲义:第11章算法复数推理与证明第4讲
        该资料来自成套资源,打包下载更省心 该专辑正在参与特惠活动,低至4折起
        [共10份]
        浏览全套
          立即下载(共1份)
          返回
          顶部
          Baidu
          map