（整理版）推理与证明

1、推理与证明m1合情推理与演绎推理15b13，j3，m1·福建卷 当xr，|x|<1时，有如下表达式：1xx2xn.两边同时积分得：01dx0xdx0x2dx0xndx0dx，从而得到如下等式：1××××ln 2.请根据以上材料所蕴含的数学思想方法，计算：c×c×2c×3c×_15.解析 (1x)nccxcx2cxn，两边同时积分得c01dxc0xdxc0x2dxc0xndx0(1x)ndx，得c×c×2c×3c×n1n11.14m1·湖北卷 古希腊毕

2、达哥拉斯学派的数学家研究过各种多边形数，如三角形数1，3，6，10，第n个三角形数为n2n，记第n个k边形数为n(n，k)(k3)，以以下出了局部k边形数中第n个数的表达式：三角形数n(n，3)n2n，正方形数n(n，4)n2，五边形数n(n，5)n2n，六边形数n(n，6)2n2n，可以推测n(n，k)的表达式，由此计算n(10，24)_.141 000解析 观察得k每增加1，n2项系数增加，n项系数减少，n(n，k)n2(4k)，故n(10，24)1 000.16b7、m1·山东卷 定义“正对数：ln x假设a>0，b>0，那么ln(ab)blna；假设a>0，

3、b>0，那么ln(ab)lnalnb；假设a>0，b>0，那么lnlnalnb；假设a>0，b>0，那么ln(ab)lnalnbln 2.16解析 中，当ab1时，b>0，a1，ln(ab)ln abbln ablna；当0<ab<1时，b>0，0<a<1，ln(ab)blna0，正确；中，当0<ab<1，且a>1时，左边ln(ab)0，右边lnalnbln a0ln a>0，不成立；中，当1，即ab时，左边0，右边lnalnb0，左边右边成立；当>1时，左边lnln aln b>0，假设a&

4、gt;b>1时，右边ln aln b，左边右边成立；假设0<b<a<1时，右边0, 左边右边成立；假设a>1>b>0，左边lnln aln b>ln a，右边ln a，左边右边成立，正确；中，假设0<ab<1，左边ln0，右边lnalnbln 2ln 2>0，左边右边；假设ab1，lnln 2lnln 2ln，又a或b，a，b至少有1个大于1，lnln a或lnln b，即有lnln 2lnln 2lnlnalnb，正确14m1·陕西卷 观察以下等式：1211222312223261222324210照此规律，第n个等

5、式可为_1412223242(1)n1n2(1)n1解析 结合所给几项的特点，可知式子左边共n项，且正负交错，奇数项为正，偶数项为负，右边的绝对值为左边底数的和，系数和最后一项正负保持一致，故表达式为12223242(1)n1n2(1)n1.m2直接证明与间接证明20m2，d2，d3，d5·北京卷 an是由非负整数组成的无穷数列，该数列前n项的最大值记为an，第n项之后各项an1，an2，的最小值记为bn，dnanbn.(1)假设an为2，1，4，3，2，1，4，3，是一个周期为4的数列(即对任意nn*，an4an)，写出d1，d2，d3，d4的值；(2)设d是非负整数，证明：dnd

6、(n1，2，3，)的充分必要条件为an是公差为d的等差数列；(3)证明：假设a12，dn1(n1，2，3，)，那么an的项只能是1或者2，且有无穷多项为1.20解：(1)d1d21，d3d43.(2)(充分性)因为an是公差为d的等差数列，且d0，所以a1a2an.因此anan，bnan1，dnanan1d(n1，2，3，)(必要性)因为dnd0(n1，2，3，)所以anbndnbn.又因为anan，an1bn，所以anan1.于是，anan，bnan1.因此an1anbnandnd，即an是公差为d的等差数列(3)因为a12，d11，所以a1a12，b1a1d11.故对任意n1，anb11.

7、假设an(n2)中存在大于2的项设m为满足am>2的最小正整数，那么m2，并且对任意1k<m，ak2.又因为a12，所以am12，且amam>2，于是，bmamdm>211，bm1minam，bm>1.故dm1am1bm1<211，与dm11矛盾所以对于任意n1，有an2，即非负整数列an的各项只能为1或2.因为对任意n1，an2a1，所以an2.故bnandn211.因此对于任意正整数n ，存在m满足m>n，且am1，即数列an有无穷多项为1.m3数学归纳法m4单元综合1·黄山质检 n为正偶数，用数学归纳法证明12()时，那么还需要用归纳假

8、设再证n()时等式成立()ak1 bk2c2k2 d2(k2)1b解析 根据数学归纳法的步骤可知，那么nk(k2为偶数)下一个偶数为k2，故答案为b.2·石景山期末 在整数集z中，被5除所得余数为k的所有整数组成一个“类，记为k，即k5nk|nz，k0，1，2，3，4.给出如下四个结论：2 0133；22；z01234；整数a，b属于同一“类的充要条件是ab0其中，正确结论的个数为()a1 b2 c3 d42c解析 因为2 013402×53，所以2 0133，正确21×53，23，所以不正确因为整数集中的数被5除的余数可以且只可以分成五类，所以正确整数a，b属于

9、同一“类，那么整数a，b被5除的余数相同，从而ab被5除的余数为0，反之也成立，故整数a，b属于同一“类的充要条件是ab0，故正确所以正确的结论个数为3，选c.3·汕头期末 2 ，3 ，4 ，假设6 (a，t均为正实数)，类比以上等式，可推测a，t的值，那么at_329解析 类比等式可推测a6，t35，那么at29.4·福州期末 点a(x1，ax1)，b(x2，ax2)是函数yax(a>1)的图像上任意不同两点，依据图像可知，线段ab总是位于a、b两点之间函数图像的上方，因此有结论>a成立运用类比思想方法可知，假设点a(x1，sin x1)，b(x2，sin x

10、2)是函数ysin x(x(0，)的图像上的不同两点，那么类似地有_成立4.<sin解析 函数ysin x在x(0，)的图像上任意不同两点a，b，依据图像可知，线段ab总是位于a，b两点之间函数图像的下方，所以<sin.规律解读 类比推理中的结论要注意问题在变化之后的不同，要“求同存异才能够正确解决问题5·云南师大附中月考 我们把平面内与直线垂直的非零向量称为直线的法向量，在平面直角坐标系中，利用求动点轨迹方程的方法，可以求出过点a(3，4)，且法向量为n(1，2)的直线(点法式)方程为1×(x3)(2)×(y4)0，在空间直角坐标系中，经过点a(1，2，3)，且法向量为n(1，2，1)的平面(点法式)方程为_5x2yz20解析 设b(x，y，z)为平面内的任一点，类比得平面的方程为(1)×(x1)(2)×(y2)1×(z3)0，即x2yz20.6·黄山质检 数列an满足a11，anlogn(n1)(n2，nn*)定义：使乘积a1·a2··ak为正整数的k(kn*)叫作“简易数那么在1，2 012内所有“简易数