2.2.2直接证明与间接证明_第1页
2.2.2直接证明与间接证明_第2页
2.2.2直接证明与间接证明_第3页
已阅读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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论