




已阅读5页,还剩17页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1 了解间接证明的一种基本方法 反证法 2 了解反证法的思考过程 特点 3 理解反证法的推理过程 证明步骤 体会直接证明与间接证明的区别与联系 1 体会反证法的思考过程 特点 培养逆向思维能力 重点 2 利用反证法证明 难点 重点 3 反证法的假设 易错点 4反证法 课标要求 核心扫描 在证明数学问题时 先假定成立 在这个前提下若推出的结果与 矛盾 或与命题中的相矛盾 或与相矛盾 从而断定不可能成立 由此断定 成立 这种证明方法叫作反证法 自学导引 1 反证法的定义 命题结论的反面 定义 公理 定理 已知条件 假定 命题结论的反面 命题的结论 分析反证法证明命题 若p则q 时 可能会出现几种情况 提示可能会出现以下三种情况 1 导出非p为真 即p假 也就是与原命题的条件矛盾 2 导出q为真 即与假设 非q为真 矛盾 3 导出一个恒假命题 即与定义 公理 定理矛盾 想一想 通过导出矛盾 归结为谬误而使命题得证 因此 这种反证法也叫归谬法 在反证法的应用中 其难点是如何引出矛盾 用反证法证明命题 若p则q 时 引出矛盾的形式有下面三个方面 1 假设结论q不成立 经过推理论证得到条件p不成立 即与原命题的条件矛盾 2 假设结论q不成立 经过推理论证得到结论q成立 即由 非q为真 推出了 q为真 形成了自相矛盾 名师点睛 1 反证法的特征 2 反证法矛盾构设的几种情况 3 假设结论q不成立 经过推理论证得到了一个恒假命题 即与某个 公理 定义 定理 性质 矛盾 或与某个概念结论显然矛盾 反证法主要适用于以下几种情形 1 要证的结论与条件之间的联系不明显 直接由条件推出结论的线索不够清晰 2 如果从正面证明 需要分成多种情形进行分类讨论 而从反面进行证明 只需研究一种或很少的几种情形 3 反证法的应用 4 反证法的证题步骤 设a b c d r 且ad bc 1 求证 a2 b2 c2 d2 ab cd 1 由条件不能正面证明结论 采用反证法假设结论不成立 将已知条件代入整理可得出与已知条件矛盾 题型一 否定 型命题 例1 思路探索 假设a2 b2 c2 d2 ab cd 1 因为ad bc 1 所以a2 b2 c2 d2 ab cd bc ad 0 即 a b 2 c d 2 a d 2 b c 2 0 所以a b 0 c d 0 a d 0 b c 0 所以a b c d 0 这与已知条件ad bc 1矛盾 故假设不成立 所以a2 b2 c2 d2 ab cd 1 本题为 否定 型命题 显然从正面证明需要证明的情况太多 不但过程繁琐而且容易遗漏 故可以考虑采用反证法 一般当题目中含有 不可能 都不 等否定性词语时 宜采用反证法证明 规律方法 证明 用反证法证明 过已知直线a外一点a有且只有一条直线b与已知直线a平行 由平行直线的定义可知过直线外一点至少可以作一条已知直线的平行线 而 只有一条 可通过假设过点a有两条直线与直线a平行 由平行公理推出与假设矛盾 证明由两条直线平行的定义和几何图形可知 过点a至少有一条直线与直线a平行 假设过点a还有一条直线b 与已知直线a平行 即b b a b a 因为b a 由平行公理知b b 这与假设b b a矛盾 所以假设错误 原命题成立 题型二 唯一 型命题 例2 思路探索 用反证法证明问题时要注意以下三点 1 必须先否定结论 即肯定结论的反面 当结论的反面呈现多样性时 必须罗列出各种可能结论 缺少任何一种可能 反证都是不完全的 2 反证法必须从否定结论进行推理 即应把结论的反面作为条件 且必须根据这一条件进行推证 否则 仅否定结论 不从结论的反面出发进行推理 就不是反证法 3 推导出的矛盾可能多种多样 有的与已知矛盾 有的与假设矛盾 有的与事实矛盾等 推导出的矛盾必须是明显的 规律方法 已知两条相交直线a b 求证 直线a b有且只有一个交点 证明假设结论不成立 即有两种可能 无交点 至少有两个交点 1 若直线a b无交点 那么a b或a b是异面直线 与已知矛盾 2 若直线a b至少有两个交点a和b 这样同时经过点a b就有两条直线 这与 经过两点有且只有一条直线 相矛盾 综上所述 两条相交直线a b有且只有一个交点 训练2 12分 已知a b c是互不相等的实数 求证 由y ax2 2bx c y bx2 2cx a 和y cx2 2ax b确定的三条拋物线至少有一条与x轴有两个不同的交点 当命题出现 至多 至少 唯一 等形式时 适合用反证法 题型三 至多 至少 型命题 例3 审题指导 解题流程 规范解答 假设题设中的函数确定的三条拋物线都不与x轴有两个不同的交点 2分 由y ax2 2bx c y bx2 2cx a y cx2 2ax b 得 1 2b 2 4ac 0 且 2 2c 2 4ab 0 且 3 2a 2 4bc 0 5分 同向不等式求和得 4b2 4c2 4a2 4ac 4ab 4bc 0 7分 2a2 2b2 2c2 2ab 2bc 2ac 0 8分 a b 2 b c 2 a c 2 0 9分 a b c 10分 这与题设a b c互不相等矛盾 因此假设不成立 从而命题得证 12分 常见的 结论词 与 反设词 题后反思 已知a1 a2 a3 a4 100 求证 a1 a2 a3 a4中至少有一个数大于25 证明假设a1 a2 a3 a4都不大于25 即a1 25 a2 25 a3 25 a4 25 则a1 a2 a3 a4 25 25 25 25 100 这与已知a1 a2 a3 a4 100矛盾 故假设不成立 所以 a1 a2 a3 a4中至少有一个数大于25 训练3 已知实数p满足不等式 2p 1 p 2 0 用反证法证明 关于x的方程x2 2x 5 p2 0无实根 误区警示用反证法证明时 忽略步骤致错 示例 利用反证法进行证明时 首先要对所要证明的结论进行否定性的假设 并以此为条件进行推理 得到
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 团队项目分工协作模板高效团队建设版
- 公司内审流程与自查表工具
- 人员招聘与选拔标准流程
- 2026届吉林省延边州汪清县四中高二化学第一学期期中教学质量检测模拟试题含解析
- 2025年政府驻港澳办事处招聘笔试预测试题及答案
- 江苏省常州市常州中学2026届化学高一上期中综合测试模拟试题含解析
- 地球爷爷课件
- 2025年国家电投巴西公司招聘笔试预测试题及答案
- 2025年小路侦探考试题及答案
- 2025年小应变试题及答案
- 新高中班级团建活动方案
- 护理执行医嘱制度
- 渠道拓展培训
- 动画场景设计流程
- 2025年山东省济南市中考英语模拟试题(含答案)
- 船舶拖带协议书
- 儿童血压测量课件
- 《智慧城市发展概况》课件
- 水利工程危险源辨识与风险评价报告模板
- 视唱练耳讲课课件
- 教师招聘考试试题及答案1000题
评论
0/150
提交评论