


已阅读5页,还剩7页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
直接证明与间接证明 3 之反证法 思考 A B C三个人 A说B撒谎 B说C撒谎 C说A B都撒谎 则C必定是在撒谎 为什么 分析 假设C没有撒谎 则C真 那么A假且B假 由A假 知B真 这与B假矛盾 那么假设C没有撒谎不成立 则C必定是在撒谎 反证法 假设命题结论的反面成立 经过正确的推理 引出矛盾 因此说明假设错误 从而证明原命题成立 这样的的证明方法叫反证法 反证法的思维方法 正难则反 例1用反证法证明 如果a b 0 那么 练一练 已知a 0 证明x的方程ax b有且只有一个根 反思1 用反证法证题的一般步骤是什么 1 假设命题的结论不成立 即假设结论的反面成立 2 从这个假设出发 经过推理论证 得出矛盾 3 由矛盾判定假设不正确 从而肯定命题的结论正确 假设结论反面成立 正确推理导出矛盾 否定假设肯定结论 例2求证 是无理数 假设不成立 故是无理数 练一练 1 用反正法证明时 导出矛盾有那几种可能 1 与原命题的条件矛盾 2 与定义 公理 定理等矛盾 3 与结论的反面成立矛盾 1 难于直接使用已知条件导出结论的命题 2 唯一性命题 3 至多 或 至少 性命题 4 否定性或肯定性命题 2 你认为反证法的使用情形有那些 反思2 说明 常用的正面叙述词语及其否定 不等于 小于或等于 大于或等于 不是 不都是 至少有两个 一个也没有 某个 某些 至少有n 1个 某两个 思考 练习 1 已知实数a b c满足0 a b c 1 求证 1 a b 1 b c 1 c a不可能同时大于1 4 3 已知a b c
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 湖南省新化县上梅中学2026届中考四模物理试题含解析
- 吉林省长春新区重点达标名校2026届中考语文模拟试题含解析
- 2026届云南省云南昆明市盘龙区达标名校中考考前最后一卷语文试卷含解析
- 内蒙巴彦淖尔市2026届中考语文模试卷含解析
- 利率变动预测方法-洞察及研究
- 桥梁裂缝监测技术-洞察及研究
- 触电工作管理办法
- 认证考核管理办法
- 铲车燃油管理办法
- 酒吧分类管理办法
- 工厂安全生产吹哨人制度模板
- 徳龙全自动咖啡机ECAM 22.110.SB 中文使用说明书
- 中耳炎疾病的护理
- 2025年全国工会系统经审业务技能大赛知识总题库(1800题)-中部分
- 公司内部导师管理制度
- 2025至2030年中国沙盘模型行业市场调查研究及未来趋势预测报告
- 重庆市渝北中学2025届八下英语期末教学质量检测模拟试题含答案
- 2025江苏扬州大数据集团子公司管理人员招聘1人笔试备考题库及一套完整答案详解
- 浙江大学:AI大模型如何破局传统医疗
- 《职业病危害工程防护》考试复习题库-上(选择题)
- 心肺复苏后的综合治疗
评论
0/150
提交评论