




已阅读5页,还剩12页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
间接证明 反证法 直接证明 1 综合法 2 分析法 由因导果 执果索因 直接从原命题的条件逐步推得结论成立 这种证明方法叫直接证明 复习回顾 练习 1 abc三边长 的倒数成等差数列 求证 证明 因为a b c为 abc三边 所以a c b 所以cosb 0 因此 a b c三个人 a说b撒谎 b说c撒谎 c说a b都撒谎 则c必定是在撒谎 为什么 分析 假设c没有撒谎 则c真 那么a假且b假 由a假 知b真 这与b假矛盾 那么假设c没有撒谎不成立 则c必定是在撒谎 间接证明 问题情境1 间接证明 问题情境2 间接证明 基本概念 间接证明是不同于直接证明的又一类证明方法 反证法 经过正确的推理 因此说明假设错误 从而证明了原命题成立 这样的证明方法叫做反证法 归谬法 一般地 假设原命题不成立 最后得出矛盾 反证法是一种常用的间接证明方法 肯定条件p否定结论q 导致逻辑矛盾 p且 q 为假 若p则q 为真 合理的推理 归缪矛盾 1 与已知条件矛盾 2 与已有公理 定理 定义矛盾 3 自相矛盾 间接证明 基本概念 反证法的过程包括以下三个步骤 1 反设 假设命题的结论不成立 即假定原命题的反面为真 2 归谬 从反设和已知条件出发 经过一系列正确的逻辑推理 得出矛盾结果 3 存真 由矛盾结果 断定反设不真 从而肯定原结论成立 适宜使用反证法的情况 1 结论以否定形式出现 2 结论以 至多 至少 形式出现 3 唯一性 存在性问题 4 结论的反面比原结论更具体更容易研究的命题 正难则反 间接证明 例题1 先求出周期 思路 用反证法证明是最小正周期 间接证明 例题1 假设t是正弦函数的周期 则对任意实数x都有 解 令x 0 得 即 从而对任意实数x都应有 这与 矛盾 因此 原命题成立 间接证明 例题2 已知 求证 2 中至少有一个不小于 1 求证 是无理数 间接证明 例题3 间接证明 习题1 1 求证 若一个整数的平方是偶数 则这个数也是偶数 假设这个数是奇数 可以设为2k 1 证 则有 而 不是偶数 这与原命题条件矛盾 2 用反证法证明 如果a b 0 那么 3 已知a 0 求证关于x的方程ax b有且只有一个根 已知 在 o中 弦ab cd相交于p 且ab cd不全是直径 求证 ab cd不能互相平分 a b c d 3 设函数 求证 中至少有一个不小于1 4 求证
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年医疗建筑工程行业当前市场规模及未来五到十年发展趋势报告
- 2025年激光医疗行业当前发展趋势与投资机遇洞察报告
- 2025年办公设备租赁行业当前发展现状及增长策略研究报告
- 支气管镜细胞学病理课件
- 支架监理基础知识培训课件
- 撰写调查报告的意义课件
- 2025新版现代企业管理试题库(含答案)
- 2024年精神病学主治医师专业实践能力考试题(附含答案)
- 2025年注册安全工程师考试化工(中级)安全生产专业实务试卷及解答参考
- 2025年餐饮服务食品安全管理人员专业知识检验试卷B卷含答案
- 美的冰箱培训课件
- 《春季养生茶饮》课件
- 建筑行业的品牌工作计划
- (2025)医保知识考试试题库(附含答案)
- 2025-2030年中国车载娱乐产业发展状况分析及投资商机研究报告
- 素质能力测试试题及答案
- 涉密采购保密协议书
- 税务副科笔试题目及答案
- 2025年快递员快件处理及派送职业技能资格知识考试题与答案
- 2025民间物品抵押借款合同范本
- 耳石症课件教学课件
评论
0/150
提交评论