高考数学选修知识讲解_《《推理与证明》全章复习与巩固（提高）

推理与证明全章复习与巩固编稿：李 霞 审稿： 张林娟【学习目标】 1. 了解合情推理的含义，能利用归纳推理和类比推理等进行简单的推理；掌握演绎推理的基本模式；体会它们的重要性，并能运用它们进行一些简单的推理；2. 了解合情推理和演绎推理之间的联系和差异；3. 了解直接证明的两种基本方法：分析法和综合法；了解分析法和综合法的思考过程和特点；4. 了解间接证明的一种基本方法：反证法；了解反证法的思考过程、特点；5. 了解数学归纳法的原理，能用数学归纳法证明一些简单的数学命题.【知识网络】【要点梳理】 要点一：有关推理概念归纳推理：又称归纳法，是从特殊到一般、部分到整体的推理根据归纳对象是否完备，分为完全归纳法和不完全归纳法完全归纳法是根据某类事物中的每一个对象或每一个子类的情况作出的关于该类事物的一般性结论的推理；不完全归纳法是根据某类事物中的一部分对象具有某种特征而作出该类事物都具有这一特征的一般性结论的推理由于仅列举了归纳对象中的一小部分，因此得出的结论与前提未必有必然的联系，故其结论未必正确，必须经过理论的证明和实践的检验类比推理：又称类比法，是由特殊到特殊的推理这是由两系统的已知属性，通过比较、联想而发现未知属性的“开拓型”“发散型”思维方式和归纳推理一样，能由已知推测未知，推理的结论也不一定为真，有待进一步证明，通常情况下，类比的相似性越多，类比得出的结论就越可靠演绎推理：又称演绎法是从一般到特殊的推理，是数学证明中的基本推理形式演绎推理的结论完全蕴涵于前提之中它是“封闭型”的思维方法，只要前提真实，逻辑形式正确，则结论必然真实，但由它一般不能取得突破性进展故合情推理与演绎推理各有侧重，相辅相成合情推理有助于发现新事物、新结论、新规律，演绎推理保证结论的可靠性，去伪存真要点诠释：演绎推理更注重推理的形式规则，常见的有假言推理、关系推理、三段论推理三段论推理：其一般形式为：大前提：所有M都是P；小前提：S是M；结论：S是P要点二：有关证明方法综合法综合法是利用已知条件和某些数学定义、公理、定理等经过一系列的推理论证，最后推导出所要证明的结论成立的证明方法，是数学推理证明中的主要方法即从已知条件出发，经过逐步的逻辑推理，最后达到待征结论或需求问题如果要证明的命题是，那么证明步骤用符号表示为p(已知)分析法分析法就是从待征结论出发，一步一步探索下去，寻求结论成立的充分条件，最后达到题设的已知条件或已被证明的事实用分析法证明的逻辑关系：q(结论)(已知)间接证法间接证法不是从正面确定论题的真实性，而是证明它的反论题为假或改证它的等价命题为真，间接达到目的反证法就是间接证法的一种 反证法证题步骤为： (1)假设命题的结论不成立，即假设结论的反面成立 (2)从这个假设出发，经过推理论证得出矛盾 (3)由矛盾判断假设不成立从而肯定命题的结论成立 反证法导出矛盾常见的有以下几种情况： 导出非p为真，即与原命题的条件矛盾 导出q为真，即与假设“非q为真”矛盾 导出一个与定义、公理、定理等矛盾的命题 数学归纳法数学归纳法是证明一个与正整数n有关的命题时，常采用的一种方法，它是一种完全归纳法，其步骤为：第一步：证明n取第一个值时命题成立第二步：假设nk(k，kN+)时命题成立，证明nk+1时命题成立 第三步：下结论，命题对从开始的所有自然数n都成立要点诠释：（1）用数学归纳法证明与自然数n有关的命题时，如果证明恒等式或不等式应特别注意项及项数的变化规律；证明几何命题时，要特别注意从nk到nk+1的几何图形中几何元素的变化规律；证明整除性命题时，要特别注意凑配项的变形技巧；证明与奇、偶数有关的命题要注意过渡时的特点，如一个命题对所有奇数n成立，应假设n2k-1时命题成立，推证n2k+1时命题成立或假设nk(k为奇数)时命题成立，推证nk+2时命题成立 （2）“归纳一猜想证明”的论题，要特别关注项的构成规律，作出合理的猜想后再证明【典型例题】类型一：合情推理与演绎推理例1. 若数列是等比数列，且，则有数列(nN+)也为等比数列，类比上述性质，相应地：若数列是等差数列，则有_也是等差数列【思路点拨】类比猜想可得也成等差数列.【解析】若设等差数列的公差为x，则 可见是一个以为首项，为公差的等差数列，故猜想是正确的 【总结升华】类比猜想是以两个对象之间某已知的相同或相似之处为根据，从而推出对象之间未知的相似之点的推理方法，这个根据是不充分的，因而类比推理的结论有时正确，有时不正确，其结论都需要证明举一反三：【变式1】在平面几何中，ABC的内角平分线CE分AB所成线段的比为，把这个结论类比到空间：在三棱锥ABCD中(如图所示)，面DEC平分二面角ACDB且与AB相交于E，则得到的类比的结论是_【答案】【变式2】观察，由归纳推理可得：若定义在R上的函数满足，记g(x)为的导函数，则g(-x)( ) A B C D 【答案】 D 【解析】 由所给函数及其导数知，偶函数的导函数为奇函数因此当是偶函数时，其导函数应为奇函数，故g(-x)-g(x)例2. 在数列中，nN+ (1)证明数列是等比数列； (2)求数列的前n项和； (3)证明不等式，对任意nN+皆成立【解析】 (1)由题设得，nN+ 又，所以数列是首项为1，且公比为4的等比数列 (2)由(1)可知，于是数列的通项公式为 所以数列的前n项和 (3)对任意的nN+， 0 所以不等式，对任意nN+皆成立 【总结升华】本题属于递推数列问题，是高考考查的热点解题的关键是转化为等差、等比数列举一反三：【变式1】纸制的正方体的六个面根据其方位分别标记为上、下、东、南、西、北现在沿该正方体的一些棱将正方体剪开、外面朝上展平，得到如图所示的平面图形，则标“”的面的方位是 ( ) A南 B北 C西 D下 【答案】 B【解析】将所给图形还原为正方体，如图所示，最上面为，最左面为东，最里面为上， 将正方体旋转后让东面指向东，让“上”面向上可知“”的方位为北【变式2】（2016 广州一模）以下数表的构造思路源于我国南宋数学家杨辉所著的详解九章算术一书中的“杨辉三角性”该表由若干数字组成，从第二行起，每一行中的数字均等于其“肩上”两数之和，表中最后一行仅有一个数，则这个数为（ ）A. B. C. D. 【答案】由题意，数表的每一行都是等差数列，且第一行公差为1，第二行公差为2，第三行公差为4，第2015行公差为 ，故第1行的第一个数为： ，第2行的第一个数为： ，第3行的第一个数为：，第n行的第一个数为：，第2016行只有M，则 类型二：直接证明与间接证明例3. 设a，b，c均为大于1的正数，且ab10 求证：【解析】证法一(综合法)：因为ab10，所以又因为a，b，c均为大于1的正数，所以lg a，lg b，lg c均大于0，故即证法二(分析法)：由于，b1故要证明只要证明，即又，所以只要证明，即因为，所以，故只要证明 由于a1，b1，所以，0所以，即当且仅当时等号成立，即式成立，所以原不等式成立举一反三：【变式】设a，bR且ab，a+b2，则必有（ )A1ab BC D【答案】B 【解析】 a+b2 b2-a， ab1 ab1 ， ， ，综上可得 例4. 设函数对定义域内任意实数都有，且成立求证：对定义域内任意x，都有【思路点拨】直接证明有些困难，考虑用反证法.【解析】假设满足题设条件的任意x，不成立，即存在某个，有0 ， 又知这与假设矛盾，假设不成立故对任意的x都有【总结升华】此题证明过程中，“对任意x，都有”的否命题是：“存在x0，使0”，而不是“对所有的x，都有0”，因此在应用反证法时正确写出结论的否定形式是很重要的举一反三：【变式】函数的图象( ) A关于原点对称 B关于直线yx对称 C关于x轴对称 D关于y轴对称 【答案】 D【解析】 对于选项A，点在上，但点不在上；对于选项B，点(0，2)在上，但点(2，0)不在，(z)上； 对于选项C，函数的图象不能关于x轴对称；对于选项D， 函数的图象关于y轴对称类型三：数学归纳法例5. 等比数列an的前n项和为Sn，已知对任意的nN*，点(n，Sn)均在函数ybxr(b0且b1，b，r均为常数)的图象上(1)求r的值；(2)当b2时，记bn2(log2an1)(nN*)，证明：对任意的nN*，不等式成立【解析】(1)由题意：Snbnr，当n2时，Sn1bn1r.所以anSnSn1bn1(b1)，由于b0且b1，所以n2时，an是以b为公比的等比数列又a1br，a2b(b1)，即，解得r1.(2)当b2时，由(1)知an2n1，因此bn2n(nN*)，所证不等式为当n1时，左式，右式.左式右式，所以结论成立，假设nk(kN*)时结论成立，即，则当nk1时，要证当nk1时结论成立，只需证，即证由均值不等式成立故成立，所以当nk1时，结论成立由可知，nN*时，不等式成立【总结升华】本题属中等难度题，求解关键是要掌握数学归纳法举一反三：【变式1】已知，则f(k1)f(k)_.【答案】【变式2】试比较2n2与n2的大小(nN*)，并用数学归纳法证明你的结论【答案】当n1时，2124n21，当n2时，2226n24，当n3时，23210n29，由n4时，24218n216，由此可以猜想，2n2n2(nN*)成立下面用数学归纳法证明：(1)当n1时，左边2124，右边1，所以左边右边，所以原不等式成立当n2时，左边2226，右边224，所以左边右边；当n3时，左边23210，右边329，所以左边右边(2)假设nk(k3且kN*)时，不等式成立，即2k2k2.那么当nk1时，2k1222k22(2k2)22k22.又因：2k22(k1)2k22k3(k3)(k1)0，即2k22(k1)2，故2k12(k1)2成立根据(1)和(2)，原不等式对于任何nN*都成立【变式3】（2016 南通一模）已知函数f0（x