數列不等式的證明

吳華波

[摘???要]數列不等式的證明是學生解題的一大難點.放縮法和數列單調性法是破解這類問題最常用的方法.

[關鍵詞]數列;不等式;證明

[中圖分類號]????G633.6????????[文獻標識碼]????A????????[文章編號]????1674-6058（2019）35-0020-02

數列不等式的證明，在數列與不等式綜合性問題中最為常見.放縮法和數列單調性法是破解這類問題最常用的方法.

一、先求和后放縮

利用數列求和的基本方法，對數列求和，再聯系所證結論進行合理放縮.

[例1]已知正項數列[{an}]的前n項和Sn滿足：S[2n]-（n2+n-1）Sn-（n2+n）=?0.

（1）求數列{an}的通項公式an;

（2）令[bn=n+1（n+2）2a2n]，數列[{bn}]的前n項和為Tn.證明：對于任意的n∈N*，都有Tn

解析：（1）由S[2n]-（n2+n-1）Sn-（n2+n）=0，

得[Sn-（n2+n）]（Sn+1）=0.

由于[{an}]是正項數列，所以Sn>0，Sn=n2+n.

于是a1=S1=2.

當n≥2時，an=Sn-Sn-1=n2+n-?[（n-1）2+（n-1）]?=2n.

綜上，數列[{an}]的通項公式為an=2n.

（2）因為an=2n，

所以[bn=n+1（n+2）2a2n=n+14n2（n+2）2=]?[1161n2-1（n+2）2]?.

[Tn=1161-132+122-142+132-152+…+1n2-1（n+2）2]

[=1161+122-1（n+1）2-1（n+2）2]?[<1161+122]=[564]?.

二、先放縮再求和

對于某些數列，直接求和比較困難，可將其適當放縮成可用基本方法求和的數列.

1.放縮后成等差數列再求和

[例2]已知各項均為正數的數列[{an}]的前[n]項和為[Sn]，且[a2n+an=2aSn]?.

（1）?求證：[Sn

解析：（1）在條件中，令[n=1]，得[a21+a1=2S1=2a1].[∵a1>0]，[∴a1=1]?.

又由條件[a2n+an=2Sn]有[a2n+1+an+1=2Sn+1]，

上述兩式相減，注意到[an+1=Sn+1-Sn]得

[（an+1+an）]?[（an+1-an-1）=0]?.

[∵an>0]，[∴an+1+an>0]?，∴[an+1-an=1].

所以[an=1+1×（n-1）=n]，[Sn=n（n+1）2]?，?[Sn=n（n+1）2<12·n2+（n+1）22=an2+an+124]?.

（2）因為[n

[S1+S2+S3+？+Sn>12+22+？+n2=n（n+1）22=Sn2]?.于是原不等式得證.

2.放縮后成等比數列再求和

[例3]已知[an=2n-1（n∈N*）.]求證：[n2-13

證明：[∵akak+1=2k-12k+1-1=12-12（2k+1-1）=12-]?[13·2k+2k-2≥12-13·12k，k=1，2，…，n，]

[∴a1a2+a2a3+…+anan+1≥n2-1312+122+…+12n=][n2-131-12n>n2-13]，

[∴n2-13

3.放縮后為裂項相消再求和

[例4]設各項均為正數的數列[{an}]的前n項和為Sn，且Sn滿足?S[2n]-（n2+n-3）Sn-3（n2+n）=0，n∈N*.

（1）求a1?的值;

（2）求數列[{an}]的通項公式;

（3）證明：對一切正整數n，有[1a1（a1+1）+1a2（a2+1）+]?[…+1an（an+1）<13]?.

分析：（1）由題意知，S[2n]-（n2+n-3）Sn-3（n2+n）=0，n∈N*.令n=1，有S[21]-（12+1-3）S1-3×（12+1）=0，

可得S[21]+S1-6=0，解得S1=-3或2，即a1=-3或2.

又an為正數，所以a1=2.

（2）由S[2n]-（n2+n-3）Sn-3（n2+n）=0，n∈N*可得，

（Sn+3）（Sn-n2-n）=0，則Sn=n2+n或Sn=-3.

又數列[{an}]的各項均為正數，所以Sn=n2+n，Sn-1=（n-1）2+（n-1）.

當n≥2時，an=Sn-Sn-1=n2+n-[（n-1）2+（n-1）]=2n.

又a1=2=2×1，所以an=2n.

（3）證明：當n=1時，[1a1（a1+1）=12×3=16<13]成立;

[當n≥2時?????，????????1an（an+1）=12n（2n+1）<1（2n-1）（2n+1）=]?[?1212n-1-12n+1]，

所以[1a1（a1+1）+1a2（a2+1）+…+1an（an+1）<16+1213-15+15-17+…+12n-1-12n+1]

[=16+1213-12n+1<16+16=13].

所以對一切正整數n，有[1a1（a1+1）+1a2（a2+1）+…+1an（an+1）<13]?.

三、利用數列的單調性

[例5]已知數列[{an}]是公差不為零的等差數列，a10=15，且a3，a4，a7成等比數列.

（1）求數列[{an}]的通項公式;

（2）設bn=[an2n]，數列[{bn}]的前n項和為Tn，求證：[-74≤Tn<-1]（n∈N*?）.

分析：（1）設數列[{an}]的公差為d（d≠0），由已知得[a10=15，a24=a3a7，]即[a1+9d=15，（a1+3d）2=（a1+2d）（a1+6d）?，]解得[a1=-3?，d=2.]∴an=2n-5（n∈N*）.

（2）證明：∵bn=?[an2n=2n-52n]，n∈N*.

∴Tn=[-32+-122+123+…+2n-52n]， ①

[12Tn=-322+-123+124+…+2n-72n+2n-52n+1]，②

①-②得?[12Tn=-322+2122+123+？+12n-2n-52n+1]?[=-?12+1-2n2n+1]，∴Tn=-1-[??2n-12n]?（n∈N*），∵[2n-12n>0]?（n∈N*），∴[Tn<-1].[Tn+1-Tn=-1-2n+12n+1--1-2n-12n=]?[2n-32n+1]，∴Tn?[<]?Tn+1（n≥2）.

又T1=-1[-12=-32]，?T2=-1[-4-14=-74].

∵T1[>]T2，∴T2最小，即Tn≥T2=?[-74].

綜上所述，[-74]?≤Tn[<-1]（n∈N*）.

（責任編輯 黃桂堅）