2018版数学《学案导学与随堂笔记》北师大版选修2-2课件：第一章　推理与证明　推理与证明 3 .pptxVIP

第一章　推理与证明§3 反证法学习目标1.了解反证法是间接证明的一种基本方法.2.理解反证法的思考过程，会用反证法证明数学问题.内容索引问题导学题型探究当堂训练问题导学知识点　反证法王戎小时候，爱和小朋友在路上玩耍.一天，他们发现路边的一棵树上结满了李子，小朋友一哄而上，去摘李子，独有王戎没动，等到小朋友们摘了李子一尝，原来是苦的！他们都问王戎：“你怎么知道李子是苦的呢？”王戎说：“假如李子不苦的话，早被路人摘光了，而这树上却结满了李子，所以李子一定是苦的.” 思考1　本故事中王戎运用了什么论证思想？答案　运用了反证法思想.答案思考2　反证法解题的实质是什么？答案　否定结论，导出矛盾，从而证明原结论正确.答案梳理(1)定义：我们可以先假定命题结论的反面成立，在这个前提下，若推出的结果与定义、公理、定理相矛盾，或与命题中的已知条件相矛盾，或与假定相矛盾，从而说明命题结论的反面不可能成立，由此断定命题的结论成立.这种证明方法叫作反证法.(2)反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾.这个矛盾可以是与 矛盾，或与 矛盾，或与 矛盾等.已知条件定义、公理、定理假设题型探究类型一　用反证法证明否定性命题例1　设{an}是公比为q的等比数列.设q≠1，证明：数列{an＋1}不是等比数列. 证明　假设{an＋1}是等比数列，则对任意的k∈N＋，(ak＋1＋1)2＝(ak＋1)(ak＋2＋1)，∵a1≠0，∴2qk＝qk－1＋qk＋1.∵q≠0，∴q2－2q＋1＝0，∴q＝1，这与已知矛盾.∴假设不成立，故{an＋1}不是等比数列.证明(1)用反证法证明否定性命题的适用类型结论中含有“不”“不是”“不可能”“不存在”等词语的命题称为否定性命题，此类问题的正面比较模糊，而反面比较具体，适合使用反证法.(2)用反证法证明数学命题的步骤 反思与感悟证明∵a，b，c成等比数列，∴b2＝ac. ②∴a＝c，从而a＝b＝c.这与已知a，b，c不成等差数列相矛盾，∴假设不成立.类型二　用反证法证明“至多”“至少”类问题例2　已知a，b，c∈(0，2)，求证：(2－a)b，(2－b)c，(2－c)a不能都大于1. 证明　假设(2－a)b，(2－b)c，(2－c)a都大于1.∵a，b，c∈(0，2)，∴2－a0，2－b0，2－c0，∴(2－a)b，(2－b)c，(2－c)a不能都大于1.证明引申探究　已知a，b，c∈(0，1)，求证：(1－a)b，(1－b)c，(1－c)a不能都大于证明∵a，b，c都是小于1的正数，∴1－a，1－b，1－c都是正数.应用反证法常见的“结论词”与“反设词”当命题中出现“至多”“至少”等词语时，直接证明不易入手且讨论较复杂.这时，可用反证法证明，证明时常见的“结论词”与“反设词”如下： 反思与感悟结论词反设词结论词反设词至少有一个一个也没有对所有x都成立存在某个x0不成立至多有一个至少有两个对任意x都不成立存在某个x0成立至少有n个至多有n－1个p或q?p且?q至多有n个至少有n＋1个p且q?p或?q跟踪训练2　已知a，b，c是互不相等的实数，求证：由y1＝ax2＋2bx＋c，y2＝bx2＋2cx＋a和y3＝cx2＋2ax＋b确定的三条抛物线至少有一条与x轴有两个不同的交点.证明　假设题设中的函数确定的三条抛物线都不与x轴有两个不同的交点，由y1＝ax2＋2bx＋c，y2＝bx2＋2cx＋a，y3＝cx2＋2ax＋b，得Δ1＝(2b)2－4ac≤0，Δ2＝(2c)2－4ab≤0，且Δ3＝(2a)2－4bc≤0.同向不等式求和，得4b2＋4c2＋4a2－4ac－4ab－4bc≤0，所以2a2＋2b2＋2c2－2ab－2bc－2ac≤0，所以(a－b)2＋(b－c)2＋(a－c)2≤0，所以a＝b＝c.这与题设中a，b，c互不相等矛盾，因此假设不成立，从而命题得证.证明类型三　用反证法证明唯一性命题例3　求证：方程2x＝3有且只有一个根.证明　∵2x＝3，∴x＝log23.这说明方程2x＝3有根.下面用反证法证明方程2x＝3的根是唯一的.假设方程2x＝3至少有两个根b1，b2(b1≠b2)，则 ＝3， ＝3，两式相除得 ＝1，∴b1－b2＝0，则b1＝b2，这与b1≠b2矛盾.∴假设不成立，从而原命题得证.证明反思与感悟用反证法证明唯一性命题的一般思路：证明“有且只有一个”的问题，需要证明两个命题，即存在性和唯一性.当证明结论以“有且只有”“只有一个”“唯一存在”等形式出现的命题时，可先证“存在性”，由于假设“唯一性”结论不成立易导出矛盾，因此可用反证法证其唯一性.跟踪训练3　若函数f(x)在区间[a，b]上是增函数，求证：方程f(x)＝0在区间[a，b]上至多有一个实根.证明　假设方程f(x)＝0在区间[a