2019年数学新同步湘教版选修2-2讲义+精练：第6章 6.2.2 间接证明：反证法.docVIP

6．2.2　间接证明：反证法 [读教材·填要点] 1．反证法的定义 先假设原命题的否定成立，从这个假设出发，经过推理，得出与已知事实相矛盾的结论，这个矛盾的结果说明原命题结论的否定不成立，从而间接肯定了原命题结论成立，这种间接证法称为反证法． 2．反证法的一般步骤 (1)反设；(2)归谬；(3)结论． [小问题·大思维] 1．用反证法证明命题“若p，则q”时，綈q假，q即为真吗？ 提示：是的．在证明数学问题时，要证明的结论要么正确，要么错误，二者中居其一，綈q是q的反面，若綈q为假，则q必为真． 2．反证法与逆否命题证明的区别是什么？ 提示：反证法的理论依据是p与綈p真假性相反，通过证明綈p为假命题说明p为真命题，证明过程中要出现矛盾；逆否命题证明的理论依据是“p?q”与“綈q?綈p”是等价命题，通过证明命题“綈q?綈p”为真命题来说明命题“p?q”为真命题，证明过程不出现矛盾． 用反证法证明否定型命题 直线y＝kx＋m(m≠0)与椭圆W：eq \f(x2,4)＋y2＝1相交于A，C两点，O是坐标原点．当点B在W上且不是W的顶点时，求证：四边形OABC不可能为菱形． [自主解答]　假设四边形OABC为菱形． 因为点B不是W的顶点，且AC⊥OB，所以k≠0. 由eq \b\lc\{\rc\ (\a\vs4\al\co1(x2＋4y2＝4，,y＝kx＋m))消去y并整理得(1＋4k2)x2＋8kmx＋4m2－4＝0. 设A(x1，y1)，C(x2，y2)，则eq \f(x1＋x2,2)＝－eq \f(4km,1＋4k2)， eq \f(y1＋y2,2)＝k·eq \f(x1＋x2,2)＋m＝eq \f(m,1＋4k2)， 设AC的中点为M， 则Meq \b\lc\(\rc\)(\a\vs4\al\co1(－\f(4km,1＋4k2)，\f(m,1＋4k2)))， 因为M为AC和OB的交点，且m≠0，k≠0， 所以直线OB的斜率为－eq \f(1,4k). 因为k·eq \b\lc\(\rc\)(\a\vs4\al\co1(－\f(1,4k)))≠－1， 所以AC与OB不垂直． 所以OABC不是菱形，与假设矛盾． 所以四边形OABC不可能是菱形． 1．用反证法证明否定性命题的适用类型 结论中含有“不”“不是”“不可能”“不存在”等词语的命题称为否定性命题，此类问题的正面比较模糊，而反面比较具体，适合使用反证法． 2．用反证法证明数学命题的步骤 1．设函数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(n∈Z)， 而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无整数根． 用反证法证明“至多”“至少”型命题 已知a≥－1，求证三个方程：x2＋4ax－4a＋3＝0，x2＋(a－1)x＋a2＝0，x2＋2ax－2a＝0中至少有一个方程有实数解． [自主解答]　假设三个方程都没有实根，则三个方程中：它们的判别式都小于0， 即：eq \b\lc\{\rc\ (\a\vs4\al\co1(?4a?2－4?－4a＋3?＜0，,?a－1?2－4a2＜0，,?2a?2＋4×2a＜0))?eq \b\lc\{\rc\ (\a\vs4\al\co1(－\f(3,2)＜a＜\f(1,2)，,a＞\f(1,3)或a＜－1，?－\f(3,2)＜a＜－1，,－2＜a＜0.)) 这与已知a≥－1矛盾，所以假设不成立，故三个方程中至少有一个方程有实数解． 用反证法证明“至多”“至少”等问题的两个关注点 (1)反设情况要全面，在使用反证法时，必须在假设中罗列出与原命题相异的结论，缺少任何一种可能，反证法都是不完全的． (2)常用题型：对于否定性命题或结论中出现“至多”“至少”“不可能”等字样时，常用反证法． 2．已知a1＋a2＋a3＋a4100，求证：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＋a4100矛盾，故假设错误． 所以a1，a2，a3，a4中至少有一个数大于25. 用反证法证明“唯一”型命题 用反证法证明：过已知直线a外一点A有且只有一条直线b与已知直线a平行． [自主解答]　由两条直线平行的定义和几何图形可知，过点A至少有一条直线与直线a