孟鉉濟(jì)

【摘要】文章以已知數(shù)列為例，求證較為復(fù)雜的數(shù)列和式的不等關(guān)系，常規(guī)做法在解決問(wèn)題時(shí)需要對(duì)原數(shù)列有一個(gè)較煩瑣的構(gòu)造，思維過(guò)程較為復(fù)雜，若采用特殊的放縮法，解題思維過(guò)程將變得簡(jiǎn)潔.

【關(guān)鍵詞】數(shù)列和式；不等關(guān)系；證明

例1已知：a1=12，an=1（n+1）！.

求證：a1+a2+a3+…+an<1.

常規(guī)做法：

∵an=1（n+1）！=1（n+1）·n·（n-1）·…·3·2·1<1（n+1）n=1n-1n+1，

∴a1+a2+a3+…+an<1-12+12-13+…+1n-1n+1=1-1n+1<1.

證明方法并不算復(fù)雜，經(jīng)仔細(xì)研究，還能啟發(fā)我們解題思路.任意給定一個(gè)真分?jǐn)?shù)m，加上一個(gè)真分?jǐn)?shù)m1，再加上一個(gè)真分?jǐn)?shù)m2，…，若使mn滿足相應(yīng)的條件，總能證明他們的和小于一個(gè)常量.通過(guò)將mn與以上不等式左側(cè)進(jìn)行逐項(xiàng)比較，解題思路就清晰了.

這樣可能過(guò)于抽象，我們不如從一個(gè)經(jīng)典的模型談起.《莊子》中有“一尺之棰，日取其半，萬(wàn)世不竭”的說(shuō)法，這也相應(yīng)了數(shù)學(xué)上的極限思想.假設(shè)我們現(xiàn)在要分割一個(gè)面積為1的正方形，每次取得它剩余面積的12，由“萬(wàn)世不竭”可知，我們所取得的面積恒小于1.如果每次取得的量與總剩余面積的比值相等，不一定是12，也容易得出取得面積之和恒小于1.下面用不等式來(lái)描述以上關(guān)系：

設(shè)每次取得剩余部分為X（X∈（0，1））；

那么第一次將取得的面積：X.

第二次：（1-X）·X；

第三次：（1-X）·（1-X）·X；

……

第n+1次：（1-X）n·X.

可得不等式A：X+X（1-X）+X（1-X）2+X（1-X）3+…+X（1-X）n<1.

A這個(gè)不等式是通過(guò)幾何觀察得到的，證明方法如下：

∵X∈（0，1），∴X<1，1-X﹥0，

兩邊乘（1-X），得X（1-X）<1-X.

兩邊加上X，得X+X（1-X）<1.

兩邊再乘（1-X），得X（1-X）+X（1-X）2<1-X，

X+X（1-X）+X（1-X）2<1，

……

不斷對(duì)不等號(hào)兩側(cè)先乘（1-X），再加X(jué)；因?yàn)閄∈（0，1），不等號(hào)不改變，即可推出不等式A.若將不等式A作為已知，就得到證明開(kāi)頭問(wèn)題的新思路，具體如下：

∴2k2k+4的值隨著k的增大而增大，1（k+1）2的值隨著k的增大而減小，且k=3時(shí)，2·32·3+4>1（3+1）2，

∴2k2k+4>1（k+1）2（k≥3），ak+1

∴an

通過(guò)對(duì)比方法1與方法2，可以發(fā)現(xiàn)，對(duì)于較為復(fù)雜的數(shù)列和式，常規(guī)放縮在解決問(wèn)題時(shí)需要對(duì)原數(shù)列有一個(gè)較煩瑣的構(gòu)造，思維過(guò)程較為復(fù)雜.相比之下，若先完成對(duì)不等式A的證明，只需要再對(duì)A中的X賦值即可.實(shí)質(zhì)上這也是一種特殊的放縮法，但解題思維過(guò)程較為簡(jiǎn)捷.