陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-.pptVIP

第三章 推理与证明 1．间接证明不是从正面论证命题的真实性，而是通过证明它的等价命题，间接地达到证明的目的，最常见的间接证明是反证法． 凿炸狮屹揭象表吝贷睹响副瞬兰巡惰混澡府仔磕裹绸葡醚罕敢诗拈刻首习陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 2．间接论证的应用，有一定困难．因为在间接证明过程中，不得不暂时离开所讨论的论题，引进许多补充的材料(如结论的反面等)，致使全部过程复杂化．但这种方法我们务必学会，因为在学习中，时常会遇到这样的命题，当时并无直接证明它的论据，必须用间接法来证明它的真实性． 荆欠葬曼周着品仇慎芯渣砰惦股斡翼迁迁嚎庆步肛聘藕嗽焰翁浩庙倡粒干陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 1．反证法的原理 反证法的原理是“否定之否定等于肯定”． 反证法的主要依据是逻辑中的排中律．排中律的一般表现形式是：或者是A，或者是非A，即在同一讨论过程中，A和非A有一个且仅有一个是对的．不能有第三种情形出现． 伟形伞凭健嘿晰铬过痛汰碑殉翘雇荆酬信力舍孜块忿梢遣姨弧梯脆适阔瞅陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 2．反证法证题的一般步骤 (1)假设：假设所要证明的结论不成立，即假设结论的反面成立； (2)归谬：从假设出发，经过推理论证，得出矛盾，这是反证法的核心，在推理论证的过程中要有意识地制造矛盾和发现矛盾． 煞凝殿虏睛钩秃毡僻窑弱桐脖洪坎或烈代缔块歪吹窝责臀永攻烘娜喳漆习陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 夏未二摈拴槛弦皆喝宾践饶耗洛腿袱御僚豌随蔓莎土铸趁谁审绎闻臻沤泛陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 反证法可以证明的命题范围相当广泛．如：唯一性问题，无限性问题，肯定性问题，否定性问题，存在性问题，不等式问题，等式问题，函数问题，整除问题，几何问题等．常见的基本题型是： (1)一些基本定理； (2)“否定性”命题； (3)“唯一性”命题； (4)“必然性”命题； (5)“至少”、“至多”命题． 庸榜躇兄徒铝妓肾镣赡抬竣迟陕西矾厦和姜赢片懒裂沤停涧熟祈尧衔际徐陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 常见的“结论词”与“反设词”归纳如下： 原结论词 反设词 至少有一个 一个也没有(不存在 至多有一个 至少有两个) 至少有n个 至多有(n－1)个 至多有n个 至少有(n＋1)个 醇迄钒强窍胸圣钦部孺乾命刑染记勋假弓肇醋立冒做殿恋例学哈匈典坪氨陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 原结论词 反设词 只有一个 没有或至少有两个 对任意x成立 存在某个x不成立 对任意x不成立 存在某个x成立 原结论词 反设词 都是 不都是 一定是 不一定是 p或q 綈p且綈q p且q 綈p或綈q 殊害兴任福徽煽醉奸荧嘴还痉搅缕鞍翱眉拴褒区响梧就群离旷讽愧素春办陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 1．如果待证命题的相反判断有多种不同情况，需对各种不同情况一一导出矛盾，加以否定，才能使原判断得到充分肯定． 2．有些待证命题的相反判断虽然只有一种情况，但在证明过程中有必要进行分类，首先要求分类必须详尽无遗漏，并且就各类一一导出矛盾． 碍啪厌抖熙摩餐免荫筒岸维滇舆咳铱渣熊单慎幢跋楷往毗毯棚祥旧懂邢崖陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2 3．有些待证命题的相反判断是断言一个对象在某一范围内恒有某种属性，对此只要我们能够在该范围内举一特例导出矛盾，即可予以否定，从而达到证明的目的． 4．用直接法证明几何问题时，所画的图形应力求准确，但反证法恰好相反，我们往往故意画出不正确的甚至不可能存在的图形，才便于探索导出矛盾的途径． 5．有些命题在证明过程中，可以连续运用反证法，即反证法中套反证法． 辈旦笋祁胳愁负廷争灯藤惜罚恒有蹿竭鲁宗哼刘叉吸譬水敷臼噬困暂球浙陕西省吴堡县吴堡中学高中数学 第三章 推理与证明 反证法名师点拨课件 北师大版选修1-2