已阅读5页,还剩6页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2 2直接证明与间接证明 2 2 2反证法 复习 1 直接证明的两种基本证法 综合法和分析法 2 这两种基本证法的推证过程和特点 由因导果 执果索因 3 在实际解题时 两种方法如何运用 通常用分析法寻求思路 再由综合法书写过程 综合法 已知条件 结论 分析法 结论 已知条件 1 如果有5只鸽子飞进两只鸽笼 至少有3只鸽子在同一只鸽笼 对吗 2 A B C三个人 A说B撒谎 B说C撒谎 C说A B都撒谎 则C在撒谎吗 为什么 分析 假设C没有撒谎 则A B都撒谎 由A撒谎 知B没有撒谎 那么假设C没有撒谎不成立 则C必定是在撒谎 这与B撒谎矛盾 思考 把这种不是直接从原命题的条件逐步推得命题成立的证明方法称为间接证明 注 反证法是最常见的间接证法 一般地 假设原命题不成立 即在原命题的条件下 结论不成立 经过正确的推理 最后得出矛盾 因此说明假设错误 从而证明了原命题成立 这样的证明方法叫做反证法 理论 反证法的证明过程 否定结论 推出矛盾 肯定结论 即分三个步骤 反设 归谬 存真 反设 假设命题的结论不成立 存真 由矛盾结果 断定反设不成立 从而肯定原结论成立 归谬 从假设出发 经过一系列正确的推理 得出矛盾 用反证法证明命题的过程用框图表示为 肯定条件否定结论 导致逻辑矛盾 反设不成立 结论成立 例1求证 是无理数 例2证明 1 2不能为同一等差数列的三项 例3求证 过一点与一平面垂直的直线只有一条 例4设a为实数 f x 求证 f 1 与 f 2 中至少有一个不小于 归纳总结 三个步骤 反设 归谬 存真 归缪矛盾 1 与已知条件矛盾 2 与已有公理 定理 定义矛盾 3 自相矛盾 1 直接证明有困难 正难则反 归纳总结 哪些命题适宜用反证法加以证明 牛顿曾经说过 反证法是
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 医疗机构质量管理手册
- 人工智能应用开发人才培养方案
- 小学课后服务质量提升方案
- 智能计算机系统专业人才培养方案
- 某塑料厂卫生管理规范
- 农村污水处理设施运维管理制度
- 医用防护用品管理手册
- 危险化学品仓库风险评估报告
- 乡镇集中式饮用水水源地修复项目可行性研究报告
- 某发电厂人员招聘细则
- LYT-《林下经济术语 标准文本及编制说明》
- GB/T 47298-2026土壤碳酸盐含量的测定气量法
- 2026年中国大唐集团有限公司校园招聘笔试试题及答案解析
- 图书管理员工作手册
- 2026贵州航天控制技术有限公司(航天科工十院0612研究所)招聘考试参考题库及答案解析
- 2025年中级经济师考试(知识产权)新版真题卷(附答案)
- 和面机操作安全培训课件
- 医疗器械售后服务承诺书模板范文
- 反式肩关节置换术的护理
- 国家职业标准 4-07-03-02 劳动关系协调师 (2025年版)
- T-CNFPIA 3002-2024 T-CBIAS 2105-2024 无醛人造板及其制品
评论
0/150
提交评论