2017-2018学年高中数学 第二章 推理与证明 2.2.2 反证法学案（含解析）新人教A版选修2-2.docVIP

2.2.2　反 证 法 反证法 著名的“道旁苦李”的故事：王戎小时候爱和小朋友在路上玩耍．一天，他们发现路边的一棵树上结满了李子，小朋友们一哄而上，去摘李子，独有王戎没动．等到小朋友们摘了李子一尝，原来是苦的．他们都问王戎：“你怎么知道李子是苦的呢？”王戎说：“假如李子不苦的话，早被路人摘光了，而这棵树上却结满了李子，所以李子一定是苦的．” 问题1：王戎的论述运用了什么推理思想？ 提示：运用了反证法的推理思想． 问题2：反证法解题的实质是什么？ 提示：否定结论，导出矛盾，从而证明原结论正确． 1．反证法 假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这种证明方法叫做反证法． 2．反证法常见的矛盾类型 反证法的关键是在正确的推理下得出矛盾，这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实矛盾等． 1．反证法实质 用反证法证明命题“若p，则q”的过程可以用以下框图表示： ―→―→―→ 2．反证法与逆否命题证明的区别 反证法的理论依据是p与綈p真假性相反，通过证明綈p为假命题说明p为真命题，证明过程中要出现矛盾；逆否命题证明的理论依据是“p?q”与“綈q綈p”是等价命题，通过证明命题“綈q綈p”为真命题来说明命题“pq”为真命题，证明过程不出现矛盾． 用反证法证明否定性命题 　设函数f(x)＝ax2＋bx＋c(a≠0)中，a，b，c均为整数，且f(0)，f(1)均为奇数． 求证：f(x)＝0无整数根． 　假设f(x)＝0有整数根n，则an2＋bn＋c＝0(nZ)，而f(0)，f(1)均为奇数，即c为奇数，a＋b为偶数，则an2＋bn＝－c为奇数，即n(an＋b)为奇数， n，an＋b均为奇数． 又a＋b为偶数， an－a为奇数，即a(n－1)为奇数， n－1为奇数，这与n为奇数矛盾， f(x)＝0无整数根． 1．用反证法证明否定性命题的适用类型 一般地，当题目中含有“不可能”“都不”“没有”等否定性词语时，宜采用反证法证明． 2．反证法的一般步骤 用反证法证明命题时，要从否定结论开始，经过正确的推理，导出逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．这个过程包括下面三个步骤： (1)反设——假设命题的结论不成立，即假设原结论的反面为真； (2)归谬——由“反设”作为条件，经过一系列正确的推理，得出矛盾； (3)存真——由矛盾结果断定反设错误，从而肯定原结论成立． 即反证法的证明过程可以概括为：反设——归谬——存真． 设a，b，c，dR，且ad－bc＝1，求证：a2＋b2＋c2＋d2＋ab＋cd≠1. 证明：假设a2＋b2＋c2＋d2＋ab＋cd＝1. 因为ad－bc＝1，所以a2＋b2＋c2＋d2＋ab＋cd＋bc－ad＝0， 即(a＋b)2＋(c＋d)2＋(a－d)2＋(b＋c)2＝0， 所以a＋b＝0，c＋d＝0，a－d＝0，b＋c＝0，则a＝b＝c＝d＝0，这与已知条件ad－bc＝1矛盾， 故假设不成立，所以a2＋b2＋c2＋d2＋ab＋cd≠1. 用反证法证明唯一性命题 　已知a≠0，求证关于x的方程ax＝b有且只有一个实根． 　由于a≠0， 因此方程ax＝b至少有一个实根x＝. 如果方程不只有一个实根，不妨假设x1，x2是它的不同的两个根，从而有ax1＝b，ax2＝b， 两式作差得a(x1－x2)＝0. 因为x1≠x2，从而a＝0， 这与已知条件a≠0矛盾，从而假设不成立，原命题成立， 即当a≠0时，关于x的方程ax＝b有且只有一个实根． 用反证法证明唯一性命题的适用类型 (1)当证明结论是“有且只有”“只有一个”“唯一”等形式的命题时，由于反设结论易于导出矛盾，所以用反证法证明唯一性比较简单． (2)证明“有且只有一个”的问题，需要证明两个方面，即存在性问题和唯一性问题两个方面． 用反证法证明：过已知直线a外一点A有且只有一条直线b与已知直线a平行． 证明：由两条直线平行的定义可知，过点A至少有一条直线与直线a平行． 假设过点A还有一条直线b′与已知直线a平行，即b∩b′＝A，b′a. 因为ba，由平行公理知b′b.这与假设b∩b′＝A矛盾，所以假设错误，原命题成立. 用反证法证明“至少”“至多”等存在性命题 　已知a1＋a2＋a3＋a4＞100，求证：a1，a2，a3，a4中至少有一个数大于25. 　假设a1，a2，a3，a4均不大于25，即a1≤25，a2≤25，a3≤25，a4≤25， 则a1＋a2＋a3＋a4≤25＋25＋25＋25＝100， 这与已知a1＋a2＋a3＋a4＞100矛盾，故假设错误． 所以a1，a2，a3，a4中至少有一个数大于25. 常见“结论词”与“反设词” 结论词 至少有一个 至