




已阅读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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 【正版授权】 IEC 63522-37:2025 EN-FR Electrical relays - Tests and measurements - Part 37: Terminal temperature rise at rated load
- 幼儿中班《面包汽车》主题课件
- 2024年基础医学试题库(附答案解析)
- 《创业心得交流张华》课件
- 社会工作在孤残儿童收养中的作用考核试卷
- 《神奇的视觉图形之旅》课件
- 海洋旅游发展趋势考核试卷
- 船舶拆除项目环境保护措施与实施考核试卷
- 消费机器人市场竞争策略研究考核试卷
- 证券市场跨境监管合作与协调考核试卷
- 公路建设项目变更程序及管理办法
- 青岛版小学科学实验目录
- MySQL数据库PPT完整全套教学课件
- 承包商资格预审表
- 造口术前定位
- C语言实现FFT(快速傅里叶变换)
- 玻璃钢管道施工方案
- 锥坡工程量计算(支持斜交、溜坡计算)
- 康复医学-康复治疗技术
- 企业清产核资工作底稿
- 细胞膜-系统的边界【公开课教学PPT课件 高中生物】
评论
0/150
提交评论