八年级（下）数学反证法（1）课件浙教版.ppt

一般地 利用已知条件和某些已经学过的定义 定理 公理等 经过一系列的推理 论证 最后推导出所要证明的结论成立 这种证明方法叫做综合法 特点 由因导果 知识回顾 经过证明的结论 一般地 从要证明的结论出发 逐步寻求推证过程中 使每一步结论成立的充分条件 直至最后 把要证明的结论归结为判定一个明显成立的条件 已知条件 定理 定义 公理等 为止 这种分析问题的方法叫做倒分析法 特点 执果索因 用框图表示分析法 知识回顾 小故事 中国古代有一个叫 路边苦李 的故事 王戎7岁时 与小伙伴们外出游玩 看到路边的李树上结满了果子 小伙伴们纷纷去摘取果子 只有王戎站在原地不动 有人问王戎为什么 王戎回答说 树在道边而多子 此必苦李 小伙伴摘取一个尝了一下果然是苦李 王戎是怎样知道李子是苦的吗 他运用了怎样的推理方法 假设 李子甜 树在道边则李子少 与已知条件 树在道边而多子 产生矛盾 假设 李子甜 不成立 所以 树在道边而多子 此必为苦李 是正确的 王戎推理方法是 例 小华睡觉前 地上是干的 早晨起来 看见地上 树上全湿了 小华对婷婷说 昨天晚上下雨了 您能对小华的判断说出理由吗 假设昨天晚上没有下雨 那么地上应是干的 这与早晨地上全湿了相矛盾 所以说昨晚下雨是正确的 先假设命题的结论不成立 从这样的假设出发 经过推理得出和已知条件矛盾 或者与定义 公理 定理等矛盾 从而得出假设命题不成立 是错误的 即所求证的命题正确 在证明一个命题时 人们有时 反证法定义 这种证明方法叫做反证法 4 4反证法 1 试一试 1 2 两直线平行 同位角相等 这与已知的 1 2矛盾 假设不成立 证明 假设结论不成立 则a b 例 求证 在同一平面内 如果一条直线和两条平行直线中的一条相交 那么和另一条也相交 已知 直线l1 l2 l3在同一平面内 且l1 l2 l3与l1相交于点p 求证 l3与l2相交 证明 假设 那么 因为已知 这与 矛盾 所以假设不成立 即求证的命题正确 l3与l2不相交 l3 l2 l1 l2 经过直线外一点 有且只有一条直线平行于已知直线 所以过直线l2外一点p 有两条直线和l2平行 反证法的基本步骤 1 假设命题结论不成立 即假设结论的反面成立 反设 2 从这个假设出发 经过推理论证 得出矛盾 归谬 3 从矛盾判定假设不正确 从而肯定命题的结论正确 肯定结论 归缪矛盾 1 与已知条件矛盾 2 与已有公理 定理 定义矛盾 3 自相矛盾 即客观事实 练一练 用反证法证明 填空 在三角形的内角中 至少有一个角大于或等于60 这与 相矛盾 所以 不成立 所求证的结论成立 已知 a b c是 abc的内角 求证 a b c中至少有一个角大于或等于60 证明 假设所求证的结论不成立 即 a 60 b 60 c 60 三角形三个内角的和等于180 假设 则 a b c 180 合作学习 求证 在同一平面内 如果两条直线都和第三条直线平行 那么这两条直线也互相平行 1 你首先会选择哪一种证明方法 2 如果选择反证法 先怎样假设 结果和什么产生矛盾 定理 已知 如图 l1 l2 l2 l3 求证 l l l l l l 则过点p就有两条直线l l 都与l 平行 这与 经过直线外一点 有且只有一条直线平行于已知直线 矛盾 证明 假设l 不平行l 则l 与l 相交 设交点为p p 所以假设不成立 所求证的结论成立 即l l 合作学习 求证 在同一平面内 如果两条直线都和第三条直线平行 那么这两条直线也互相平行 定理 3 不用反证法证明 已知 如图 l1 l2 l2 l3 求证 l1 l3 l p l1 l2 l2 l3 直线l必定与直线l1 l3相交 在同一平面内 如果一条直线和两条平行直线中的一条相交 那么和另一条直线也相交 证明 作直线l交直线l2于点p 2 1 3 两直线平行 同位角相等 l1 l3 同位角相等 两直线平行 练习 已知 如图 直线l与l1 l2 l3都相交 且l1 l3 l2 l3 求证 1 2 l1 l2 l3 l 1 2 证明 l1 l3 l2 l3 已知 l1 l2 在同一平面内 如果两条直线都和第三条直线平行 那么这两条直线也互相平行 1 2 两直线平行 同位角相等 在同一平面内 如果两条直线都和第三条直线平行 那么这两条直线也互相平行 能力测试 写出下列各结论的反面 1 a b 2 a 0 3 b是正数 4 a不垂直于b a 0 b是0或负数 a垂直b 变式训练 1 a b 的反面应是 a a b b a b c a b d a b或a b 2 用反证法证明命题 三角形中最多有一个是直角 时 应如何假设 d 假设三角形中有两个或三个角是直角 应用反证法的情形 1 直接证明困难 2 需分成很多类进行讨论 3 结论为 至少 至多 有无穷多个 类命题 反证法的思维方法 正难则反 常用的互为否定的表述方式 是 不是 存在 不存在平行 不平行 垂直 不垂直等于 不等于 都是 不都是大于 不大于 小于 不小于至少有一个 一个也没有至少有三个 至多有两个至少有n个 至多有 n 1 个 总结回顾 2 反