2016-2017学年高中数学 第二章 推理与证明 2.2 第3课时 反证法学案 新人教A版选修2-2.docVIP

2.2 第三课时反证法 一、课前准备 1．课时目标1)．反证法.假设原命题 (即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明 ，从而证明了 ，这种证明方法叫做反证法． (2)．反证法常见矛盾类型.在反证法中，经过正确的推理后“得出矛盾”，所得矛盾主要是指与 矛盾，与 、 、 、 或 矛盾，与 矛盾． （3）应用反证法的原则： ，即如果一个命题的结论难以用直接法证明时可考虑用反证法． （4）方法实质：反证法是利用 的命题具有等价性来进行证明的，即由一个命题与其逆否命题同 ，通过证明一个命题的 命题的正确，从而肯定原命题真实. 二、学习引领 1.反证法的基本思想 反证法的基本思想是：否定结论就会导致矛盾．它可以用下面的程序来表示：“否定———推理———矛盾———肯定．” 　　“否定”———假设所要证明的结论不成立，而结论的反面成立． 　　“推理”———从已知条件和假设出发，应用一系列的论据进行推理． 　　“矛盾”———通过推导，推出与实际“需要”不符、与“公理”矛盾、与“已知定理”矛盾、与“定义”矛盾、与“题设”矛盾、自相矛盾等． 　　“肯定”———由于推理过程正确．故矛盾是由假设所引起的，因此，假设是错误的，从而肯定结论是正确的． 2. 反证法证题的基本步骤 （1）反设：假设原命题的结论不成立，即其反面成立； （2）归谬：以命题的条件和所作的假设出发，经过推理，得出矛盾； （3）否定假设得出欲证结论：由矛盾判定假设不正确，从而肯定原命题的结论正确。 3． 反证法解决的常见题型 （1）易导出与已知矛盾的命题； （2）一些基本定理； （3）“否定性”命题； （4）“惟一性”命题； （5）“必然性”命题； （6）“至少”、“至多”命题． 三、典例导析 题型一 否定型命题 例1、试证不是有理数。 思路导析:要求证的结论是以否定的形式出现的，因此可应用反正法来进行证明。 证明：假设是有理数，注意到， 可设（、为互质的正整数，且）， 两边平方，得①， 表明，是2的倍数， 因为是正整数，故当是奇数时，令（），则， 即是奇数，与是2的倍数矛盾。 当是偶数，又可设（），代入①式，整理后得②，②式表明，是2的倍数。这样与都是2的倍数，它们至少有公因数2，与所作假定、为互质的正整数相矛盾。 因此不是有理数。 规律总结: 在应用反证法证题时，必须按“反设——归谬——结论”的步骤进行，反正法的难点在于如何从假设中推出矛盾，从而说明假设不成立。本题从假设中推出的结论是与自身相矛盾 变式练习1不可能是一个等差数列中的三项。 题型二 “至少”、“至多” 型命题 例2．设均为实数，且，， 求证：中至少有一个大于0。 思路导析:如果直接从条件出发推证，方向不明，思路不清，不移入手，较难，说证结论是以“至少”形式出现，因而可用反证法证明。 证明：设中都不大于0，即 而 ，这与矛盾， 故中至少有一个大于0 规律总结:当遇到命题的结论是以“至多”“至少”等形式给出时，一般是多用反证法；应注意“至少有一个” “都是”的否定形式分别是“一个也没有” “不都是”，本题是一个自相矛盾的题目类型。 变式练习，求证：中，至少有一个数大于25。 题型三 “唯一”性命题 例3．求证：两条相交直线有且只有一个交点。 思路导析:此题是含有“ 有且只有一个”的命题，可考虑用反证法进行证明。 证明：假设结论不成立，则有两种情况：或者没有交点，或者不只一个交点。 如果直线没有交点，那么∥，这与已知矛盾； 如果直线不只有一个交点，则至少交于点，这样经过两点就有两条直线，这与两点确定以直线矛盾。 由（1）和（2）可知，假设错误， 所以，两条相交直线有且只有一个交点。 规律总结:此题是证明一个命题的充要条件，用反证法证明了它的否定，从而获得结论正确，也可正面证明，需证明存在性和唯一性。在证明唯一性命题时，应找出除这一个元素外的其它的所有元素，并逐一推导出矛盾，排除掉。 变式练习的图象过点．问是否存在常数，使不等式对一切实数都成立？若存在，求出的值；若不存在，说明理由． 　　 题型四 肯定型命题 例4．设函数对定义域上任意实数都有，且成立。 求证：对定义域内的任意都有。 思路导析:这是一个肯定型命题，可考虑用反正发来进行证明。 证明：假设满足体设条件的任意都有部成立，即存在某个有， ， ， 又因为，这与假设矛盾。 假设不成立，故对定义域内的任意都有。 规律总结:在反设命题的结论时要注意正确写出结论的否定形式是非常重要的。在本体中对“任意都有”的否定是“存在某个有” 变式练习小的正周期． 　　 四、随堂练习 一、选择题 1．否定结论