Question

在單調(diào)遞增數(shù)列{a_n}中，a₁=2，不等式（n+1）a_n≥na_2n對任意n∈N^*都成立．
（Ⅰ）求a₂的取值范圍；
（Ⅱ）判斷數(shù)列{a_n}能否為等比數(shù)列？說明理由；
（Ⅲ）設(shè)，，求證：對任意的n∈N^*，．

Answer 1

【答案】分析：（Ⅰ）根據(jù){a_n}為單調(diào)遞增數(shù)列，a₁=2，在不等式（n+1）a_n≥na_2n中令n=1即可求a₂的取值范圍；
（Ⅱ）可用反證法證明：假設(shè)數(shù)列{a_n}是公比為q的等比數(shù)列，可得a_n=2q^n-1根據(jù){a_n}為單調(diào)遞增數(shù)列，可求得q＞1，由（n+1）a_n≥na_2n對任意n∈N^*都成立，利用等比數(shù)列的性質(zhì)可得≥qⁿ①，因?yàn)閝＞1，所以?n∈N^*，使得當(dāng)n≥n時(shí)，qⁿ＞2，從而＞2，與≤2矛盾，于是可判斷數(shù)列{a_n}不能為等比數(shù)列；
（Ⅲ）對于的分子部分，可根據(jù)b₁=c₁=3，結(jié)合已知條件，求得b₂，c₂；b₃，c₃通過比較兩者的大小，猜想b_n≤c_n．然后用數(shù)學(xué)歸納法予以證明；對于其分母，可結(jié)合條件證明a_n＜12，從而是問題得到解決．
解答：解：（Ⅰ）∵{a_n}是單調(diào)遞增數(shù)列，
∴a₂＞a₁，a₂＞2．
令n=1，2a₁≥a₂，a₂≤4，
∴a₂∈（2，4]．（4分）
（Ⅱ）證明：數(shù)列{a_n}不能為等比數(shù)列．
用反證法證明：
假設(shè)數(shù)列{a_n}是公比為q的等比數(shù)列，a₁=2＞0，a_n=2q^n-1．
因?yàn)閧a_n}單調(diào)遞增，所以q＞1．
因?yàn)閚∈N^*，（n+1）a_n≥na_2n都成立．
所以n∈N^*，≥qⁿ①
因?yàn)閝＞1，所以?n∈N^*，使得當(dāng)n≥n時(shí)，qⁿ＞2．
因?yàn)?img src="http://thumb.1010pic.com/pic6/res/gzsx/web/STSource/20131024184812926607110/SYS201310241848129266071019_DA/5.png">（n∈N^*）．
所以?n∈N^*，當(dāng)n≥n時(shí)，，與①矛盾，故假設(shè)不成立．（9分）
（Ⅲ）證明：觀察：b₁=c₁=3，，，…，猜想：b_n≤c_n．
用數(shù)學(xué)歸納法證明：
（1）當(dāng)n=1時(shí)，b₁=3≤c₁=3成立；
（2）假設(shè)當(dāng)n=k時(shí)，b_k≤c_k成立；
當(dāng)n=k+1時(shí)，
====c_k+1
所以b_k+1≤c_k+1．
根據(jù)（1）（2）可知，對任意n∈N^*，都有b_n≤c_n，即b_n-c_n≤0．
由已知得，．
所以．
所以當(dāng)n≥2時(shí)，≤2c_n-1=＜12．
因?yàn)閍₂＜a₄＜12．
所以對任意n∈N^*，．
對任意n∈N^*，存在m∈N^*，使得n＜2^m，
因?yàn)閿?shù)列{a_n}單調(diào)遞增，
所以，a_n-12＜0．
因?yàn)閎_n-c_n≤0，
所以．（14分）
點(diǎn)評：本題考查反證法與放縮法，數(shù)學(xué)歸納法及數(shù)列與不等式的綜合，難點(diǎn)在于（Ⅱ）反證法的使用與（Ⅲ）中需分別從分子與分母兩處著手，用數(shù)學(xué)歸納法證明b_n≤c_n，用放縮法證明a_n-12＜0，屬于難題．