Question

（2012•深圳一模）已知數(shù)列{a_n}滿足：a1=

1

2

，an+1=

an

enan+e

，n∈N*（其中e為自然對數(shù)的底數(shù)）．
（1）求數(shù)列{a_n}的通項a_n；
（2）設(shè)S_n=a₁+a₂+…+a_n，T_n=a₁•a₂•a₃•…•a_n，求證：Sn≤

n

n+1

，Tn＞e-n2．

Answer 1

分析：（1）由已知an+1=

an

enan+e

，可考慮兩邊取倒數(shù)，可構(gòu)造

1

enan+1

=

1

en-1an

+1，結(jié)合等差數(shù)列的通項可先求

1

en-1an

，進(jìn)而可求a_n
（2）（方法一）構(gòu)造函數(shù)f（x）=e^x-1-x，x∈[1，+∞），對其求導(dǎo)，結(jié)合函數(shù)的導(dǎo)數(shù)可判斷函數(shù)f（x）的單調(diào)性，進(jìn)而可求函數(shù)f（x）的范圍，即可證明，當(dāng)n∈N^*時，e^n-1≥n，然后利用放縮法對a_n的通項進(jìn)行編寫后利用裂項法可證明
（方法二），結(jié)合已知命題，也可以考慮利用數(shù)學(xué)歸納法證明

解答：解：（1）∵an+1=

an

enan+e

，
∴

1

an+1

=

e

an

+en，
即

1

enan+1

=

1

en-1an

+1．         …（3分）
令bn=

1

en-1an

，則b_n+1=b_n+1，b1=

1

a1

=2，
因此，數(shù)列{b_n}是首項為2，公差為1的等差數(shù)列．
b_n=2+（n-1）•1=n+1，…（5分）
∴an=

1

bnen-1

=

1

(n+1)en-1

．                     …（6分）
（2）（方法一）先證明當(dāng)n∈N^*時，e^n-1≥n．
設(shè)f（x）=e^x-1-x，x∈[1，+∞），則f'（x）=e^x-1-1，
∵當(dāng)x＞1時，f'（x）＞0
f（x）在（1，+∞）上是增函數(shù)，則當(dāng)x≥1時，f（x）≥f（1）=0，即e^x-1≥x．…（8分）
因此，當(dāng)n∈N^*時，e^n-1≥n，an=

1

(n+1)en-1

≤

1

(n+1)n

=

1

n

-

1

n+1

，…（9分）
當(dāng)n∈N^*時，n+1＜eⁿ，an=

1

(n+1)en-1

＞

1

en•en-1

=e-(2n-1)． …（10分）
∴Sn=a1+a2+…+an≤(1-

1

2

)+(

1

2

-

1

3

)+…+(

1

n

-

1

n+1

)=1-

1

n+1

=

n

n+1

．
…（12分）
∴Tn=a1•a2•a3•…•an＞e-1•e-3•e-5•…•e-(2n+1)=e-[1+3+5+…+(2n-1)]=e-n2．
…（14分）
（方法二）數(shù)學(xué)歸納法證明
（1）∵S1=a1=

1

2

，

n

n+1

=

1

2

，
∴當(dāng)n=1時，Sn≤

n

n+1

成立；
∵T1=a1=

1

2

，e-n2=

1

e

，
又∵e＞2，∴

1

2

＞

1

e

，
∴當(dāng)n=1時，Tn＞e-n2成立．           …（8分）
（2）設(shè)n=k時命題成立，即Sk≤

k

k+1

，Tk＞e-k2，
當(dāng)n=k+1時，Sk+1=Sk+ak+1≤

k

k+1

+

1

(k+2)ek

，
要證Sk+1≤

k+1

k+2

，即證

k

k+1

+

1

(k+2)ek

≤

k+1

k+2

，
化簡，即證e^k≥k+1．                                 …（9分）
設(shè)f（x）=e^x-x-1，x∈（0，+∞），則f'（x）=e^x-1，
∵當(dāng)x＞0時，f'（x）＞0，
∴f（x）在（0，+∞）上是增函數(shù)，則當(dāng)x≥0時，f（x）≥f（0）=0，即e^x≥x+1．
因此，不等式e^k≥k+1成立，即當(dāng)n=k+1時Sn≤

n

n+1

成立． …（11分）
當(dāng)n=k+1時，Tk+1=Tk•ak+1＞e-k2•

1

(k+2)ek

=

e-k2-k

k+2

，
要證Tk+1＞e-(k+1)2，即證

e-k2-k

k+2

＞e-(k+1)2，
化簡，即證e^k+1＞k+2．
根據(jù)前面的證明，不等式e^k+1＞k+2成立，則n=k+1時Tn＞e-n2成立．
由數(shù)學(xué)歸納法可知，當(dāng)n∈N^*時，不等式Sn≤

n

n+1

，Tn＞e-n2成立．…（14分）

點評：本題主要考查了利用數(shù)列的遞推公式構(gòu)造等差數(shù)列求解數(shù)列的通項公式及數(shù)列的求和方法的應(yīng)用，解題中還要注意函數(shù)知識在求解問題中的重要性，試題具有很強的綜合性