




已阅读5页,还剩63页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
12.2 直接证明与间接证明,基础知识 自主学习,课时作业,题型分类 深度剖析,内容索引,基础知识 自主学习,1.直接证明,知识梳理,(1)综合法 定义:一般地,利用已知条件和某些数学定义、公理、定理等,经过一系列的 ,最后推导出所要证明的结论成立,这种证明方法叫做综合法 框图表示: (其中P表示已知条件、已有的定义、公理、定理等,Q表示所要证明的结论) 思维过程:由因导果,推理论证,(2)分析法 定义:一般地,从 出发,逐步寻求使它成立的 ,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止,这种证明方法叫做分析法 (其中Q表示要证明的结论) 思维过程:执果索因,要证明的结论,充分条件,2.间接证明,反证法:一般地,假设原命题 (即在原命题的条件下,结论不成立),经过正确的推理,最后得出 ,因此说明假设错误,从而证明 的证明方法.,不成立,矛盾,原命题成立,判断下列结论是否正确(请在括号中打“”或“”) (1)综合法是直接证明,分析法是间接证明.( ) (2)分析法是从要证明的结论出发,逐步寻找使结论成立的充要条件.( ) (3)用反证法证明结论“ab”时,应假设“ab”.( ),(4)反证法是指将结论和条件同时否定,推出矛盾.( ) (5)在解决问题时,常常用分析法寻找解题的思路与方法,再用综合法展现解决问题的过程.( ) (6)证明不等式 最合适的方法是分析法.( ),考点自测,1.若a,b,c为实数,且ab0,则下列命题正确的是,答案,解析,a2aba(ab), a0, a2ab. 又abb2b(ab)0,abb2, 由得a2abb2.,2.用反证法证明命题:“a,bN,若ab不能被5整除,则a与b都不能被5整除”时,假设的内容应为,答案,解析,A.a,b都能被5整除 B.a,b不都能被5整除 C.a,b至少有一个能被5整除 D.a,b至多有一个能被5整除,“都不能”的否定为“至少有一个能”,故假设的内容应为“a,b至少有一个能被5整除”.,3.要证a2b21a2b20,只要证明,a2b21a2b20(a21)(b21)0.,答案,解析,a0,b0且ab,答案,解析,答案,解析,f(x)sin x在区间(0,)上是凸函数,且A、B、C(0,).,题型分类 深度剖析,题型一 综合法的应用,例1 数列an满足an1 ,a11.,证明,解答,(1)综合法是“由因导果”的证明方法,它是一种从已知到未知(从题设到结论)的逻辑推理方法,即从题设中的已知条件或已证的真实判断(命题)出发,经过一系列中间推理,最后导出所要求证结论的真实性. (2)综合法的逻辑依据是三段论式的演绎推理.,思维升华,跟踪训练1 若a,b,c是不全相等的正数,求证:,证明,a,b,c(0,),,由于a,b,c是不全相等的正数, 上述三个不等式中等号不能同时成立,,例2,题型二 分析法的应用,证明,所以cos x1cos x20,sin(x1x2)0,1cos(x1x2)0,,故只需证明1cos(x1x2)2cos x1cos x2,,即证1cos x1cos x2sin x1sin x22cos x1cos x2,,即证cos(x1x2)1.,引申探究,证明,由于x1,x2R时, 0, 0,,(1)逆向思考是用分析法证题的主要思想,通过反推,逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利获解的关键. (2)证明较复杂的问题时,可以采用两头凑的办法,即通过分析法找出某个与结论等价(或充分)的中间结论,然后通过综合法证明这个中间结论,从而使原命题得证.,思维升华,跟踪训练2 (2017重庆月考)设a0,b0,2cab,求证: (1)c2ab;,证明,证明,(ac)2c2aba(ab2c)0成立,,原不等式成立.,题型三 反证法的应用,命题点1 证明否定性命题 例3 (2016西安模拟)设an是公比为q的等比数列.,(1)推导an的前n项和公式;,解答,设an的前n项和为Sn, 当q1时,Sna1a1a1na1; 当q1时,Sna1a1qa1q2a1qn1, qSna1qa1q2a1qn, 得,(1q)Sna1a1qn,,(2)设q1,证明:数列an1不是等比数列.,证明,假设an1是等比数列,则对任意的kN*, (ak11)2(ak1)(ak21),,a10,2qkqk1qk1. q0,q22q10, q1,这与已知矛盾. 假设不成立,故an1不是等比数列.,命题点2 证明存在性问题 例4 已知四棱锥SABCD中,底面是边长为1的正方形,又SBSD ,SA1.,证明,(1)求证:SA平面ABCD;,由已知得SA2AD2SD2,SAAD. 同理SAAB. 又ABADA,AB平面ABCD,AD平面ABCD, SA平面ABCD.,(2)在棱SC上是否存在异于S,C的点F,使得BF平面SAD?若存在,确定F点的位置;若不存在,请说明理由.,解答,假设在棱SC上存在异于S,C的点F,使得BF平面SAD. BCAD,BC平面SAD. BC平面SAD.而BCBFB, 平面FBC平面SAD. 这与平面SBC和平面SAD有公共点S矛盾, 假设不成立. 不存在这样的点F,使得BF平面SAD.,命题点3 证明唯一性命题 例5 已知a0,证明关于x的方程axb有且只有一个根.,证明,假设x1,x2是它的两个不同的根,,即ax1b, ax2b, 由得a(x1x2)0, 因为x1x2,所以x1x20, 所以a0,这与已知矛盾,故假设错误. 所以当a0时,方程axb有且只有一个根.,应用反证法证明数学命题,一般有以下几个步骤: 第一步:分清命题“pq”的条件和结论; 第二步:作出与命题结论q相反的假设綈q; 第三步:由p和綈q出发,应用正确的推理方法,推出矛盾结果; 第四步:断定产生矛盾结果的原因在于开始所作的假设綈q不真,于是原结论q成立,从而间接地证明了命题pq为真. 所说的矛盾结果,通常是指推出的结果与已知公理、已知定义、已知定理或已知事实矛盾,与临时假设矛盾以及自相矛盾等都是矛盾结果.,思维升华,跟踪训练3 已知二次函数f(x)ax2bxc(a0)的图象与x轴有两个不同的交点,若f(c)0,且00.,证明,f(x)的图象与x轴有两个不同的交点,,f(x)0有两个不等实根x1,x2,,f(c)0,x1c是f(x)0的根,,证明,典例 (12分)直线ykxm(m0)与椭圆W:y21相交于A、C两点,O是坐标原点. (1)当点B的坐标为(0,1),且四边形OABC为菱形时,求AC的长; (2)当点B在W上且不是W的顶点时,证明:四边形OABC不可能为菱形.,反证法在证明题中的应用,思想与方法系列23,思想方法指导,规范解答,在证明否定性问题,存在性问题,唯一性问题时常考虑用反证法证明,应用反证法需注意: (1)掌握反证法的证明思路及证题步骤,正确作出假设是反证法的基础,应用假设是反证法的基本手段,得到矛盾是反证法的目的. (2)当证明的结论和条件联系不明显、直接证明不清晰或正面证明分类较多、而反面情况只有一种或较少时,常采用反证法. (3)利用反证法证明时,一定要回到结论上去.,返回,(1)解 因为四边形OABC为菱形,,则AC与OB相互垂直平分.,由于O(0,0),B(0,1),,(2)证明 假设四边形OABC为菱形,,因为点B不是W的顶点,且ACOB,所以k0.,设A(x1,y1),C(x2,y2),则,因为M为AC和OB的交点,且m0,k0,,所以OABC不是菱形,与假设矛盾.,所以当点B不是W的顶点时,四边形OABC不可能是菱形. 12分,返回,课时作业,1.(2017泰安质检)用反证法证明命题“设a,b为实数,则方程x2axb0至少有一个实根”时,要做的假设是 A.方程x2axb0没有实根 B.方程x2axb0至多有一个实根 C.方程x2axb0至多有两个实根 D.方程x2axb0恰好有两个实根,答案,解析,因为“方程x2axb0至少有一个实根”等价于“方程x2axb0有一个实根或两个实根”,,所以该命题的否定是“方程x2axb0没有实根”.故选A.,1,2,3,4,5,7,8,9,10,11,12,13,6,1,2,3,4,5,7,8,9,10,11,12,13,答案,解析,A.(3,0) B.3,0 C.3,0) D.(3,0,解得3k0.,6,当且仅当xyz时等号成立.,答案,解析,A.都大于2 B.至少有一个大于2 C.至少有一个不小于2 D.至少有一个不大于2,所以三个数中至少有一个不小于2,故选C.,1,2,3,4,5,7,8,9,10,11,12,13,6,4.已知p3q32,证明:pq2.用反证法证明时,可假设pq2; 若a,bR,|a|b|1,求证:方程x2axb0的两根的绝对值都小于1.用反证法证明时可假设方程有一根x1的绝对值大于或等于1,即假设|x1|1.以下结论正确的是 A.与的假设都错误 B.的假设正确;的假设错误 C.与的假设都正确 D.的假设错误;的假设正确,答案,解析,1,2,3,4,5,7,8,9,10,11,12,13,6,1,2,3,4,5,7,8,9,10,11,12,13,对于,结论的否定是pq2,,故中的假设错误; 对于,其假设正确,故选D.,6,1,2,3,4,5,7,8,9,10,11,12,13,答案,解析,A.都不大于2 B.都不小于2 C.至少有一个不大于2 D.至少有一个不小于2,所以三者不能都大于2.,6,6.用反证法证明:若整系数一元二次方程ax2bxc0 (a0)有有理数根,那么a,b,c中至少有一个是偶数.用反证法证明时,下列假设正确的是_.,1,2,3,4,5,7,8,9,10,11,12,13,假设a,b,c都是偶数; 假设a,b,c都不是偶数; 假设a,b,c至多有一个偶数; 假设a,b,c至多有两个偶数.,答案,解析,“至少有一个”的否定为“都不是”,故正确.,6,7.(2016全国甲卷)有三张卡片,分别写有1和2,1和3,2和3.甲,乙,丙三人各取走一张卡片,甲看了乙的卡片后说:“我与乙的卡片上相同的数字不是2”,乙看了丙的卡片后说:“我与丙的卡片上相同的数字不是1”,丙说:“我的卡片上的数字之和不是5”,则甲的卡片上的数字是_.,答案,解析,1和3,1,2,3,4,5,7,8,9,10,11,12,13,6,由丙说:“我的卡片上的数字之和不是5”可知, 丙为“1和2”或“1和3”, 又乙说“我与丙的卡片上相同的数字不是1”, 所以乙只可能为“2和3”, 又甲说“我与乙的卡片上相同的数字不是2”, 所以甲只能为“1和3”.,1,2,3,4,5,7,8,9,10,11,12,13,6,若二次函数f(x)0在区间1,1内恒成立,,8.若二次函数f(x)4x22(p2)x2p2p1,在区间1,1内至少存在一点c,使f(c)0,则实数p的取值范围是_.,答案,解析,1,2,3,4,5,7,8,9,10,11,12,13,6,1,2,3,4,5,7,8,9,10,11,12,13,证明,因为m0,所以1m0. 所以要证原不等式成立, 只需证(amb)2(1m)(a2mb2), 即证m(a22abb2)0, 即证(ab)20,而(ab)20显然成立, 故原不等式得证.,6,10.设f(x)ax2bxc(a0),若函数f(x1)与f(x)的图象关于y轴对称,求证:f(x )为偶函数.,证明,由函数f(x1)与f(x)的图象关于y轴对称,可知f(x1)f(x).,1,2,3,4,5,7,8,9,10,11,12,13,6,(1)证明:函数f(x)在(1,)上为增函数;,证明,1,2,3,4,5,7,8,9,10,11,12,13,6,任取x1,x2(1,),,又x110,x210,,不妨设x10.,1,2,3,4,5,7,8,9,10,11,12,13,6,故函数f(x)在(1,)上为增函数.,1,2,3,4,5,7,8,9,10,11,12,13,6,(2)用反证法证明方程f(x)0没有负数根.,证明,假设存在x00(x01)满足f(x0)0,,a1,0 1,,故方程f(x)0没有负数根.,1,2,3,4,5,7,8,9,10,11,12,13,6,1,2,3,4,5,7,8,9,10,11,12,13,(1)f(x)1xx2;,所以f(x)1xx2.,证明,6,1,2,3,4,5,7,8,9,10,11,12,13,证明,6,1,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 中国大陆地区早期诊断骨质疏松症及干预阈值探讨
- 解读2021入团积极分子团课服务国家服务人民学习解读
- 认识与实践十分钟
- 物流专业面试常见问题与答案精 编
- 环保行业求职面试经典题库
- 循环结构细致讲解
- 2026届北京市西城外国语学校高一化学第一学期期中质量检测试题含解析
- 企业筹资名词解读
- 水彩笔画教程讲解
- 月相变化教学讲解
- 苏教版五年级上册《科学》全册教案
- 金属与石材幕墙工程技术规范-JGJ133-2013含条文说
- JJG 1114-2015液化天然气加气机
- GB/T 4857.17-2017包装运输包装件基本试验第17部分:编制性能试验大纲的通用规则
- GB/T 23469-2009坠落防护连接器
- GB/T 13477.11-2017建筑密封材料试验方法第11部分:浸水后定伸粘结性的测定
- 语文课程与教学论课件
- LTD2100探地雷达技术培训探测过程课件
- CCU二月份理论考试试题
- 医疗器械生产质量管理标准标准教材
- Q∕GDW 12106.3-2021 物联管理平台技术和功能规范 第3部分:应用商店技术要求
评论
0/150
提交评论