《创新设计-课堂讲义》2016-2017学年高中数学北师大版选修1-2练习：第三章 推理与证明 WORD版含解析.docx

1、1合情推理的妙用合情推理包括归纳推理和类比推理，在近几年的高考试题中，关于合情推理的试题多与其他知识联系，以创新题的形式出现在考生面前下面介绍一些推理的命题特点，揭示求解规律，以期对同学们求解此类问题有所帮助一、归纳推理的考查1数字规律周期性归纳例1观察下列各式：553 125,5615 625,5778 125，则52 013的末四位数字为()A3125 B5625 C0625 D8125解析553 125,5615 625,5778 125，58末四位数字为0625,59末四位数字为3125,510末四位数字为5625,511末四位数字为8125,512末四位数字为0625，由上可得末四位

2、数字周期为4，呈规律性交替出现，52 013545025末四位数字为3125.答案A点评对于具有周期规律性的数或代数式需要多探索几个才能发现规律，当已给出事实与所求相差甚“远”时，可考虑到看是否具有周期性2代数式形式归纳例2设函数f(x)(x0)，观察：f1(x)f(x)，f2(x)f(f1(x)，f3(x)f(f2(x)，f4(x)f(f3(x)，根据以上事实，由归纳推理可得：当nN且n2时，fn(x)f(fn1(x)_.解析依题意，先求函数结果的分母中x项系数所组成数列的通项公式，由1,3,7,15，可推知该数列的通项公式为an2n1.又函数结果的分母中常数项依次为2,4,8,16，故其通

3、项公式为bn2n.所以当n2时，fn(x)f(fn1(x).答案点评对于与数列有关的规律归纳，一定要观察全面，并且要有取特殊值最后检验的习惯3图表信息归纳例3古希腊人常用小石子在沙滩上摆成各种形状来研究数，比如：图(1)图(2)他们研究过图(1)中的1,3,6,10，由于这些数能够表示成三角形，将其称为三角形数；类似的，称图(2)中的1,4,9,16，这样的数为正方形数下列数中既是三角形数又是正方形数的是()A289 B1 024 C1 225 D1 378分析将三角形数和正方形数分别视作数列，则既是三角形数又是正方形数的数字是上述两数列的公共项解析设图(1)中数列1,3,6,10，的通项公式

4、为an，其解法如下：a2a12，a3a23，a4a34，anan1n.故ana1234n，an.而图(2)中数列的通项公式为bnn2，因此所给的选项中只有1 225满足a49b353521 225.答案C点评此类图形推理问题涉及的图形构成的元素一般为点题目类型为已知几个图形，图形中元素的数量呈现一定的变化，这种数量变化存在着简单的规律性，如点的数目的递增关系或递减关系，依据此规律求解问题，一般需转化为求数列的通项公式或前n项和等二、类比推理的考查1类比定义在求解类比某种熟悉的定义产生的类比推理型试题时，可以借助原定义来求解例1等和数列的定义是：若数列an从第二项起，以后每一项与前一项的和都是同

5、一常数，则此数列叫作等和数列，这个常数叫作等和数列的公和如果数列an是等和数列，且a11，a23，则数列an的一个通项公式是_解析由定义，知公和为4，且anan14，那么an2(an12)，于是an2(1)n1(a12)因为a11，得an2(1)n即为数列的一个通项公式答案an2(1)n点评解题的前提是正确理解等和数列的定义，将问题转化为一个等比数列来求解2类比性质从一个特殊式子的性质、一个特殊图形的性质入手，提出类比推理型问题求解时要认真分析两者之间的联系与区别，深入思考两者的转化过程是求解的关键例2平面内的一个四边形为平行四边形的充要条件有多个，如两组对边分别平行类似地，写出空间中的一个四

6、棱柱为平行六面体的两个充要条件：充要条件_；充要条件_.解析类比平行四边形的两组对边分别平行可得，两组相对侧面互相平行是一个四棱柱为平行六面体的充要条件类比平行四边形的两组对边分别相等可得，两组相对侧面分别全等是一个四棱柱为平行六面体的充要条件类比平行四边形的一组对边平行且相等可得，一组相对侧面平行且全等是一个四棱柱为平行六面体的充要条件类比平行四边形的对角线互相平分可得，主对角线互相平分是一个四棱柱为平行六面体的充要条件类比平行四边形的对角线互相平分可得，对角面互相平分是一个四棱柱为平行六面体的充要条件点评由平行四边形的性质类比到平行六面体的性质，注意结论类比的正确性3类比方法有一些处理问题

7、的方法具有类比性，我们可以把这种方法类比应用到其他问题的求解中，注意知识的迁移例3已知数列an的前n项的乘积Tn3n1，则其通项公式an_.解析类比数列前n项和Sn与通项an的关系anSnSn1(n2)，得到数列前n(n2)项的乘积Tn与通项an的关系注意对n1的情况单独研究当n1时，a1T13114.当n2时，an，a1不适合上式，所以通项公式an.答案.2各有特长的综合法与分析法例1已知abc，求证：0.分析首先使用分析法寻找证明思路证法一(分析法)要证原不等式成立，只需证.通分，得，即证.因为abc，所以ab0，bc0，ac0.只需证(ac)24(ab)(bc)成立由上面思路可得如下证题

8、过程证法二(综合法)abc，ab0，bc0，ac0.4(ab)(bc)(ab)(bc)2(ac)2.，即0.0.从例题不难发现，分析法和综合法各有其优缺点：从寻求解题思路来看，分析法“执果索因”，常常根底渐近，有希望成功；综合法“由因导果”，往往枝节横生，不容易奏效从表达过程而论，分析法叙述繁琐，文辞冗长；综合法形式简洁，条理清晰也就是说，分析法利于思考，综合法宜于表达因此，在实际解题时，把分析法和综合法孤立起来运用是脱离实际的，两者结合，互相弥补才是应该提倡的；先以分析法为主寻求解题思路，再用综合法有条理地表达解题过程最后，提醒一下，对于一些较复杂的问题，不论是从“已知”推向“未知”，还是由

9、“未知”靠拢“已知”，都是一个比较长的过程，单靠分析法或综合法显得较为困难为保证探索方向准确及过程快捷，人们常常把分析法与综合法两者并列起来使用，即常采取同时从已知和结论出发，寻找问题的一个中间目标的“两头凑”的方法去寻求证明途径：先从已知条件出发，看可以得出什么结果，再从要证明的结论开始寻求，看它成立需具备哪些条件，最后看它们的差距在哪里，从而找出正确的证明途径例2设f(x)ax2bxc(a0)，若函数f(x1)与f(x)的图像关于y轴对称求证：f(x)为偶函数证明方法一要证f(x)为偶函数，只需证f(x)的对称轴为x0，只需证0，只需证ab.因为函数f(x1)与f(x)的图像关于y轴对称，

10、即x1与x关于y轴对称，所以1，所以ab，所以f(x)为偶函数方法二要证f(x)是偶函数，只需证f(x)f(x)因为f(x1)与f(x)的图像关于y轴对称，而f(x)与f(x)的图像关于y轴对称，所以f(x)f(x1)，f(x)f(x)f(x)1)f(x)，所以f(x)是偶函数点评本题前半部分是用分析法证明，但寻找的充分条件不是显然成立的，可再用综合法证明，这种处理方法在推理证明中是常用的.3体验反证法的独到之处反证法作为一种证明方法，在高考中，虽然很少单独命题，但是有时运用反证法的证明思路判断、分析命题有独到之处下面举例分析用反证法证明问题的几个类型：1证明否定性问题例1平面内有四个点，任意

11、三点不共线证明：以任意三点为顶点的三角形不可能都是锐角三角形分析假设以四点中任意三点为顶点的三角形都是锐角三角形，先固定三点组成一个三角形，则第四点要么在此三角形内，要么在此三角形外，且各个三角形的内角都是锐角，选取若干个角的和与一些已知结论对照即得矛盾证明假设以任意三点为顶点的四个三角形都是锐角三角形，四个点为A，B，C，D.考虑ABC，则点D有两种情况：在ABC内部和外部(1)如果点D在ABC内部(如图(1)，根据假设知围绕点D的三个角ADB，ADC，BDC都小于90，其和小于270，这与一个周角等于360矛盾(2)如果点D在ABC外部(如图(2)，根据假设知BAD，ABC，BCD，ADC

12、都小于90，即四边形ABCD的内角和小于360，这与四边形内角和等于360矛盾综上所述，可知假设错误，题中结论成立点评结论本身是否定形式、证明唯一性或存在性命题时，常用反证法2证明“至多”“至少”“唯一”“仅仅”等问题例2A是定义在2,4上且满足如下两个条件的函数(x)组成的集合：对任意的x1,2，都有(2x)(1,2)；存在常数L(0L1)，使得对任意的x1，x21,2，都有|(2x1)(2x2)|L|x1x2|.设(x)A，试证：如果存在x0(1,2)，使得x0(2x0)，那么这样的x0是唯一的证明假设存在两个x0，x0(1,2)，x0x0，使得x0(2x0)，x0(2x0)，则由|(2x

13、0)(2x0)|L|x0x0|，得|x0x0|1.这与题设中0L0，abbcca0，abc0.求证：a0，b0，c0.分析若从正面证明，比较复杂，需要考虑的方面比较多，故采用反证法来证明证明假设a0，知bc0，知bca0，于是abbccaa(bc)bc0矛盾故a0.同理可证b0，c0.点评至于什么情况下用反证法，应依问题的具体情况而定，切忌滥用反证法一般说来，当非命题比原命题更具体、更明确、更简捷，易于推出矛盾时，才便于用反证法运用反证法证题时，还应注意以下三点：1必须周密考察原结论，防止否定有所遗漏；2推理过程必须完全正确，否则，不能肯定非命题是错误的；3在推理过程中，可以使用已知条件，推出的矛盾必须很明确，毫不含糊另外，反证法证题的首要环节就是对所证结论进行反设，因此大家必须掌握一些常见关键词的否定形式.关键词否定是不是都是不都是等于()不等于()大于()不大于()小于()不小于()能不能至少有一个一个也没有至多有一个至少有两个至少有n个至多有n1个至多有n个至少有n1个任意存在存在任意