




已阅读5页,还剩1页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
运用反证法要善于“制造”矛盾反证法是间接证明的一种基本方法,是从反面的角度思考问题的证明方法,是解决某些“疑难”问题的有力工具反证法就是先假设原命题不成立,经过正确的推理,最后得出矛盾,依靠矛盾推翻假设,从而证明原命题成立的. 反证法的应用非常广泛,用反证法证明命题“若p则q”时,我们常常需要“制造”以下四种“矛盾”.一.与原命题的条件矛盾;例1.组装甲、乙、丙三种产品,需要A,B,C三种零件,每件甲产品用零件A,C各2个;每件乙产品用零件A 2个,零件B 1个;每件丙产品用B,C各1个,如组装10件甲,8件乙,5件丙,则剩下2个A零件,1个B零件,C零件都恰好用完,试证无论如何改变甲、乙、丙的件数,都不会将零件A,B,C用完解:假设组装甲x件,乙y件,丙z件,零件A,B,C恰好用完,则有方程组解得,方程组的解均为非整数,与题设矛盾,即假设错误,所以原命题成立点评: 本题的结论是“不论怎样改变甲、乙、丙的件数,都不会将零件A,B,C用完”, A,B,C不能用完的情况有多种,而结论的反面是“零件A,B,C都恰好用完”,这只有一种确定的情况,即三种零件的剩余数皆为零,因此从反面出发,较易证通过推理得到的结果与题设矛盾.练习:1.设SA、SB是圆锥SO的两条母线,O是底面圆心,C是SB上一点。求证:AC与平面SOB不垂直。 SC A O B证明: 假设AC平面SOB, 直线SO在平面SOB内, ACSO, SO底面圆O, SOAB, SO平面SAB, 平面SAB底面圆O,这显然出现矛盾,所以假设不成立。即AC与平面SOB不垂直。2.若函数f(x)在区间a,b上是增函数求证:方程f(x)=0在区间a,b上至多有一个实根证明:假设方程f(x)=0在区间a,b上有两个实根x1 ,x2.则f(xl)=f(x2)=0,这与函数f (x)在区间a,b上是增函数矛盾故方程f(x)=0在区间a,b上至多有一个实根二.与假设矛盾例2.求证:抛物线没有渐近线.分析: 本题已知条件太少,直接证明难度太大,可以运用反证法.证明:设抛物线的方程是()。假设抛物有渐近线,渐近线的方程是,易知、都不为0。因为渐近线与抛物线相切于无穷远点,于是方程组 的两组解的倒数都是0。将(2)代入(1),得 (3)设、是(3)的两个根,由韦达定理,可知,则, (4), (5)由(4)、(5),可推得,这于假设矛盾。所以,抛物线没有渐近线。点评: 利用假设作条件,经过推理论证,得出的结论与假设矛盾.练习:1.设函数f(x)对于定义域内任意实数都有f(x)0,且f(xy)=f(x)f(y)成立求证:对于定义域内的任意x都有f(x)0.解析: 假设满足题设条件的任意x,f(x)0不成立,即存在某个x0,有f(x0)0成立,因为f(x)0,所以f(x0)0,这与假设f(x0)0成立2.求证:抛物线上任意取四点所组成的四边形不可能是平行四边形证明:如图,设抛物线方程为y2=ax(a0),A(x1,y1),B(x2,y2)C(x3, y3),D(x4,y4)是抛物线上的不同四点,则有=axi,(i=1,2,3,4),于是,同理,.假定ABCD是平行四边形,则kAB =kCD , kBC =kDA,从而得yl =y3 , y2=y4,进而得x1=x3,x2=x4,于是A、C重合,B,D重合,这与A,B,C,D是抛物线上不同的四点的假设相矛盾故ABCD不可能是平行四边形三.导出一个恒假命题例3. 已知p3 +q3=2,求证:p+q2.分析:本题已知为p、 q的三次幂,而结论中只有p、q的一次幂,应考虑到求立方根,同时用放缩法,但很难证,故考虑反证法证明:假设p+q2,那么p2-q,p3(2-q)3=8-12q+6q2-q3将p3 +q3=2,代入得6q2-12q+60,即6(q-1)20.由此得出矛盾p+q2.点评:(q-1)2不可能小于0. 6(q-1)20是一个恒假命题当命题“结论反面”比“结论”更为明确具体时,宜用反证法.练习:1.平面上有四个点,没有三点共线,证明以每三点为顶点的三角形不可能都是锐角三角形证明:如图,假设以每三点为顶点的四个三角形都是锐角三角形记这四个点为A,B,C,D.考虑ABC,点D在ABC之内或外两种情况(1)如果点D在ABC内,由假设点D处的三个角都是锐角,其和小于2700,这与一个周角等于3600矛盾(2)如图,如果点D在ABC外,由假设A,B,C,D为锐角,这与四边形内角之和等于3600矛盾综上所述,命题成立2.已知a,b,c(0,1),求证:b,(1-b)c,(1-c)a不能同时大于证明:假设三式同时大于,即b,(1-b)c,(1-c)a .因为Oa0,所以,同理,三式相加得,矛盾,即假设错误,所以原命题成立四.这与定理(公理)产生矛盾例4.过平面上的点A的直线,求证:是唯一的。证明:假设不是唯一的,则过A至少还有一条直线,、是相交直线,、可以确定一个平面。设和相交于过点A的直线。,。这样在平面内,过点A就有两条直线垂直于,这与定理产生矛盾。所以,是唯一的。点评: 本题利用假设,经过推证,与公理、定理产生矛盾。适宜用反证法证明的数学命题结论本身是以否定形式出现的一类命题关于唯一性、存在性的命题结论是以“至多”“至少”等形式出现的命题结论的反面比原结论更具体、更容易研究的命题练习:1.求证:两条相交直线有且只有一个交点证明: 假设结论不成立,则有两种情况:或者没有交点,或者不只一个交点(1)如果直线a.b没有交点,那么ab,这与已知矛盾;(2)如果直线a.b不只有一个交点,则至少交于点P,P,这样经过两点P, P就有两条直线a.b,这与两点确定一条直线矛盾由(1)和(2)可知,假设错误,所以,两条相交直线有且只有一个交点2.求证
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年助产专业考试题及答案
- 2025年遥感专业面试题目及答案
- 2025年眼科专业考试题及答案
- 2025年海南教师招聘ai试题及答案
- 2025年笔译三级考试题库及答案
- 2025年二手交易电商平台信用体系建设与消费者满意度提升报告
- 功能性食品市场消费需求与产品创新健康食品市场消费者行为研究报告
- 工业互联网平台网络流量整形技术在工业互联网平台设备数据挖掘与产品优化中的应用报告
- 树木支撑协议书
- 校园伤害协议书
- 2025年高级养老护理员技能证书考试练习题(附答案)
- B019-一升二数学综合练习60天暑假每日一练
- 克州高校毕业生“三支一扶”计划考试真题2024
- GB/T 22080-2025网络安全技术信息安全管理体系要求
- 2025年食品安全监管人员专业知识检测试题A卷附答案
- 钢结构门头专项施工方案
- (2025)辅警考试公安基础知识考试真题库及答案
- 餐饮服务人员安排计划及保证措施
- 2025年定向士官心理测试题及答案
- 总承包与各方的协调-配合-管理
- DB42∕T 2343-2024 城镇人行天桥设计标准
评论
0/150
提交评论