2.2.2接证明与间接证明3.pptVIP

2.2.1直接证明与间接证明（第三课时） * 反证法 宙茹搀杨办圾蠕厂拔扳瘟谊隶臀詹谁蚁咖辖业禹黄破聋壕腕眨淤语虎德宇2.2.2接证明与间接证明32.2.2接证明与间接证明3 思考: A、B、C三个人，A说B撒谎，B说C撒谎，C说A、B都撒谎。则C必定是在撒谎，为什么？ 分析:假设C没有撒谎, 则C真. 那么A假且B假; 由A假, 知B真. 这与B假矛盾. 那么假设C没有撒谎不成立; 则C必定是在撒谎. 诞勃剑汇褥轩菜梗辱冠蚂革乳氟梆惨运磺祭煞保涵跟攀裙琅祷究辗谜牙碎2.2.2接证明与间接证明32.2.2接证明与间接证明3 1.反证法： 假设命题结论的反面成立，经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。 反证法的思维方法： 正难则反 反证法是一种间接证法 突摆额坦叠鞘脓冗圭借玲寇锄漏学库轿励狰宏飘涵眺象阮僵左饯优亩沮困2.2.2接证明与间接证明32.2.2接证明与间接证明3 2.反证法的一般步骤: 假设命题结论不成立 假设不成立 假设命题结论反面成立 与已知条件矛盾 （1）假设 (2)推理得出的结论 与定理，定义，公理矛盾 (3)所证命题成立 囚揣殊徒谜讣凉瞻敦茫徒糖德痹坤六筒彭秀扶常仁庭溶谅查灯郊封跃食邮2.2.2接证明与间接证明32.2.2接证明与间接证明3 反思1： 用反证法证题的一般步骤是什么？ （1）假设命题的结论不成立；即假设结论的反面成立。 （2）从这个假设出发，经过推理论证，得出矛盾； （3）由矛盾判定假设不正确，从而肯定命题的结论正确。 倒聘态教空浙斯霜吻偿综欣腋色萧呼蛋继寐岳柏孔论泅邦聘答峦碌刻枚诵2.2.2接证明与间接证明32.2.2接证明与间接证明3 例1: 已知直线 和平面 ,如果 且 ,求证: . a b 因为 ，所以 . 证明：因为a∥b，所以经过直线 确定一个平面 . 证明：因为a∥b 直线 确定一个平面 . 下面用反证法证明直线 与平面 没有公共点.假设直线 与平面 有公共点P,则 ,即点P是直线a与b的公共点,这与 矛盾,所以 . 因为 ,而 所以 与 是两个不同的平面. P 见书P90例4 讥埔执惹描迸憾臃叔雏健霞田肮质谊泽浩抱猪府瘟效付蒋需点督夯鞋嘎隶2.2.2接证明与间接证明32.2.2接证明与间接证明3 例2： 求证： 是无理数。 假设不成立，故 是无理数。 见书P90例5 愿屡治坟位尾故幂砷侦瑟纱帖佃猴瑞算琳琼厚侄醉铸差邪蒙凛理群漱饺进2.2.2接证明与间接证明32.2.2接证明与间接证明3 你能说出下列结论的反面吗? a⊥b 2.d是正数 3.a≥0 4.a∥b a不垂直于b d不是正数,即d≤0 a＜0 a不平行b 万事开头难，让我们走好第一步！ 琐糜镑岔魔亚措烘咏蜘奖昆悔挚岛挠应筏靡畜瘁章小添谤偿路刃檬古皱识2.2.2接证明与间接证明32.2.2接证明与间接证明3 例3：用反证法证明： 如果ab0，那么 萍磨却姑猫宗功辜援即短侈锣匹簧阅便醒棉胳隋颇蝴荷跟庙浪博格区食肠2.2.2接证明与间接证明32.2.2接证明与间接证明3 练一练：1.已知a≠0，证明x的方程ax=b有且只有一个根。 顿扔轰细昭氖遭肯垃牙斋种抒架埠滴尚皋藉断抖姻召费陋庞剧触丧釉蜡粪2.2.2接证明与间接证明32.2.2接证明与间接证明3 练一练：2. 荆星苗多至枫功丧烹氟唾呆堪凹眼场背碰虚便震洽瞧胸里佰锥臻增熬万芽2.2.2接证明与间接证明32.2.2接证明与间接证明3 常用的互为否定的表述方式： 至少有一个—— 至少有三个—— 至少有n个—— 最多有一个—— 一个也没有 至多有两个 至多有(n-1)个 至少有两个 ≥1 ＜1 ≥3 ＜3 ≥n ＜n ≤1 ＞1 伐拇纶哺竹踢氛剖埠层狡撵他堤啥舆女睬蹿猿氏兽巨只秘生蕴戈陪判觅儒2.2.2接证明与间接证明32.2.2接证明与间接证明3 原词语 等于 是 都是 大于 小于 对所有x,成立 否定词 原词语 任意的 至少有一个 至多有一个 至少有n个 至多有n个 对任何x， 不成立 否定词 准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ? 不是 不都是 不大于 大于或等于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某x， 不成立 存在某x, 成立 不等于 某个 罕摔匿圭瓮磅矮箭救尧人瓣鸿磅武吱肮推烷层呛倚工坞扦志邦晚遏伍塘驻2.2.2接证明与间接证明32.2.2接证明与间