2013新人教A版（选修1-2）2.2《直接证明与间接证明》课件ppt.pptVIP

常用的互为否定的表述方式： 至少有一个—— 至少有三个—— 至少有n个—— 最多有一个—— * * * 王戎是怎样知道李子是苦的呢?他运用了怎样的推理方法? 道旁苦李 王戎的推理方法是: 假设李子不苦, 则因树在“道”边,李子早就被别 人采摘而没有了, 这与“多李”产生矛盾. 所以假设不成立,李为苦李. 在你的日常生活中也有类似的例子吗?请举一个例子. 小华:不可能,我上午还在学校碰到了她和她妈妈呢! 1、上述对话中,小华要告诉妈妈的命题是什么? 小芳全家没有外出旅游. 妈妈:小华,听说邻居小芳全家这几天正在外地旅游. 2、小华是如何推断该命题的正确性的? 假设小芳全家外出旅游, 那么今天不可能碰到小芳, 与上午在学校碰到小芳和她妈妈矛盾, 所以假设不成立, 所以小芳全家没有外出旅游. 一般地，假设原命题不成立（即在原命题的条件下，结论不成立）， 经过正确的推理， 最后得出矛盾。 因此说明假设错误，从而证明了原命题成立， 这样的证明方法叫做反证法。 反证法是一种间接证法。 反证法的思维方法：正难则反 反证法的一般步骤: 假设命题结论不成立 假设不成立 假设命题结论反面成立 与已知条件矛盾 假设 推理得出的结论 与定理，定义，公理矛盾 所证命题成立 你能说出下列结论的反面吗? a⊥b 2.d是正数 3.a≥0 4.a∥b a不垂直于b d不是正数,即d≤0 a＜0 a不平行b 万事开头难，让我们走好第一步！ 一个也没有 至多有两个 至多有(n-1)个 至少有两个 ≥1 ＜1 ≥3 ＜3 ≥n ＜n ≤1 ＞1 对任意x， 不成立 对所有x,成立 任意的 等于 至多有n个 小于 至少有n个 大于 至多有一个 都是 至少有一个 是 否定词 原词语 否定词 原词语 准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ? 不是 不都是 不大于 大于或等于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某x， 不成立 存在某x, 成立 不等于 某个 证： 注:结论中的有且只有(有且仅有)形式出现, 是唯一性问题,常用反证法 尝试解决问题 这与已知矛盾，故假设错误。 例7 反馈练习 证明 假设_________或_________, 由于____________时,_________________, 与 (x-a)(x-b)≠0矛盾, 又_________时,_________________, 与(x-a)(x-b)≠0矛盾, 所以假设不成立, 从而______________________. x=a x=b x=a (x-a)(x-b)=0 x=b (x-a)(x-b)=0 x ≠a且x ≠b 用反证法证明,若(x-a)(x-b)≠0,则x ≠a且x ≠b. 例8: 已知直线 和平面 ,如果 且 ,求证: . a b 因为 ，所以 . 证明：因为a∥b，所以经过直线 确定一个平面 . 证明：因为a∥b 直线 确定一个平面 . 下面用反证法证明直线 与平面 没有公共点.假设直线 与平面 有公共点P,则 ,即点P是直线a与b的公共点,这与 矛盾,所以 . 因为 ,而 所以 与 是两个不同的平面. P 综合法 反证法 试一试 已知：如图，直线a,b被直线c所截， ∠1 ≠ ∠2 求证：a∥b ∴∠1=∠2 (两直线平行,同位角相等) 这与已知的∠1≠∠2矛盾 ∴假设不成立 证明：假设结论不成立，则a∥b ∴a∥b 宜用反证法证明的题型 （1）以否定性判断作为结论的命题； （2）以“至多”、“至少”或“不多于”等形式陈述的命题； （3）关于“唯一性”结论的命题； （5）有些基本定理或某一知识体系的初始阶段。 （4）一些不等量命题的证明； 1、已知：如图， ∠Ａ，∠Ｂ，∠Ｃ是△ＡＢＣ的内角 求证： ∠Ａ，∠Ｂ，∠Ｃ中至少有一个角大于 或等于６０度. 证明 假设所求证的结论不成立，即 ∠Ａ＿＿６０°， ∠Ｂ＿＿６０°，∠Ｃ＿＿６０° 则　∠Ａ＋∠Ｂ＋∠Ｃ　＜　１８０度 这于＿＿＿