高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件_第1页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件_第2页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件_第3页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件_第4页
高中数学第二章推理与证明2.2直接证明与间接证明2.2.2反证法课件_第5页
免费预览已结束,剩余16页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

2 2 2反证法 1 掌握间接证明的常见方法 反证法 的推理特点 2 学会写出命题的否定 并以此作条件推出矛盾结论 即学习用反证法证明简单题目 反证法一般地 由证明p q转向证明 q r t t与假设矛盾 或与某个真命题矛盾 从而判定 q为假 推出q为真的方法 叫做反证法 名师点拨1 反证法适宜证明 存在性 唯一性 带有 至少有一个 或 至多有一个 等字样 的一些数学问题 2 应用反证法证明数学命题的一般步骤 1 分清命题的条件和结论 2 做出与命题结论相矛盾的假设 3 由假设出发 应用演绎推理方法 推出矛盾的结果 4 断定产生矛盾结果的原因 在于开始所做的假定不真 于是原结论成立 从而间接地证明命题为真 常见的主要矛盾有 与数学公理 定理 公式 定义或已证明了的结论相矛盾 与临时假设矛盾 与公认的事实矛盾或自相矛盾等 做一做1 应用反证法推出矛盾的推导过程中可以把下列哪些作为条件使用 结论的相反判断 即假设 原命题的条件 公理 定理 定义等 原结论 A B C D 答案 C 做一做2 用反证法证明命题 三角形的内角中至多有一个钝角 时 假设正确的是 A 假设三角形的内角中至少有一个钝角B 假设三角形的内角中至少有两个钝角C 假设三角形的内角中没有一个钝角D 假设三角形的内角中没有一个钝角或至少有两个钝角解析 至多有一个 的反面为 至少有两个 答案 B 如何理解反证法 剖析 反证法证题的特征 通过导出矛盾 归结为谬误 而使命题得证 反证法的原理是 否定之否定等于肯定 反证法解题的实质就是否定结论导出矛盾 从而说明原结论正确 即证明命题的逆否命题成立 否定结论 对结论的反面要一一否定 不能遗漏 否定一个反面之反证法称为归谬法 否定两个或两个以上反面之反证法称为穷举法 要注意用反证法解题 否定结论 在推理论证中作为已知使用 导出矛盾是指在假设的前提下 逻辑推理结果与 已知条件 假设 公理 定理或显然成立的事实 等相矛盾 用反证法证明不等式 常用的否定形式有 的反面为 的反面为 及 反证法属逻辑方法范畴 它的严谨性体现在它的原理上 即 否定之否定等于肯定 其中 第一个否定是指 否定结论 第二个否定是指 逻辑推理结果否定了假设 反证法属 间接解题方法 书写格式易错之处是 假设 易错写成 设 反证法不是直接证明结论 而是先否定结论 在否定结论的基础上运用演绎推理 导出矛盾 从而肯定结论的正确性 题型一 题型二 题型三 题型四 命题的结论是否定型 1 证明函数f x 在 1 内为增函数 2 用反证法证明方程f x 0没有负数根 分析 应用增函数定义证明第一问 第二问的结论是否定型的 适合用反证法 题型一 题型二 题型三 题型四 题型一 题型二 题型三 题型四 反思在解题过程中提出假设 分类讨论等都是在合理地增设条件 为解题提供帮助 题型一 题型二 题型三 题型四 命题的结论涉及至多 至少及存在型 分析 命题中有 至少 不都 都不 至多 等指示性语句时 应用直接方法证明时难度很大 根据正难则反的思想 应用反证法证明 本题中 至少有一个 的否定是 一个也没有 然后由假设入手 应用均值不等式证明 题型一 题型二 题型三 题型四 题型一 题型二 题型三 题型四 反思反证法证题的实质是证明它的逆否命题成立 反证法的主要依据是逻辑中的排中律 排中律的一般表现形式是 或者是A 或者是非A 即在同一讨论过程中 A和非A有一个且仅有一个是对的 不能有第三种情形出现 题型一 题型二 题型三 题型四 唯一性命题的证明 例题3 求证 过直线外一点只有一条直线与它平行 分析 本题属唯一性的证明问题 用反证法证明 答案 已知A a A b b a 求证 b唯一 证明 假设过点A还有一条直线b a 根据平行公理 b a b b 与b b A矛盾 假设不成立 原命题成立 题型一 题型二 题型三 题型四 易错辨析 易错点 运用反证法时 第一步否定结论易错 因为有些结论的对立面不易确定 从而导致错误 例题4 用反证法证明命题 a b为整数 若ab不是偶数 则a b都不是偶数 时 应假设 错解 a b不都是偶数错因分析 a b不都是偶数包括的情况是 a是偶数 b是奇数 a是奇数 b是偶数 a b都不是偶数 显然 否定的结论并不是结论的对立面 所以不正确 题目中 a b都不是偶数 指 a b都是奇数 正解 a b不都是奇数 1 2 3 4 5 1反证法证题的关键是在正确的假设下得出矛盾 这个矛盾可以是 与已知矛盾 与假设矛盾 与定义 定理 公理 法则矛盾 与事实矛盾 A B C D 答案 D 1 2 3 4 5 2命题 在 ABC中 若 A B 则a b 的结论的否定应该是 A a bB a bC a bD a b解析 大于 的否定是 不大于 即 小于 或 等于 答案 B 1 2 3 4 5 3 M不是N的子集 的充要条件是 A 若x M 则x NB 若x N 则x MC 存在x1 M x1 N 又存在x2 M x2 ND 存在x0 M x0 N解析 按定义 若M是N的子集 则集合M的任一个元素都是集合N的元素 所以 要使M不是N的子集 只需存在x0 M但x0 N 选D 答案 D 1 2 3 4 5 4设实数a b c满足a b c 1 则a b c中至少有一个数不

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论