Question

已知數(shù)列{a_n}中，a₁=0，a_n+1=a_n•q+qⁿ⁺¹（q＞0），b_n=a_n+2ⁿ，n=1，2，3，…．
（I）求證數(shù)列是等差數(shù)列；
（II）試比較b₁b₃與b₂²的大��；
（III）求正整數(shù)k，使得對(duì)于任意的正整數(shù)n，≤恒成立．

Answer 1

解：（I）∵a_n+1=a_n•q+qⁿ⁺¹（q＞0）
∴，又，
即數(shù)列是以0為首項(xiàng)，1為公差的等差數(shù)列（3分）
且，a_n=（n-1）qⁿ（n=1，2，3）
（II）b_n=a_n+2ⁿ=（n-1）qⁿ+2ⁿ（4分）
∴b₁=2，b₂=q²+4，b₃=2q³+8（5分）
∴b₂²-b₁b₃=（q²+4）²-2（2q³+8）=（q⁴+8q²+16）-4q³-16=q⁴-4q³+8q²=q²（q²-4q+8）=q²[（q-2）²+4]＞0
∴b₂²＞b₁b₃（8分）

（III）∵b_n=（n-1）qⁿ+2ⁿ，n=1，2，3，…，∴b_n＞0
b₁=2，b₂=q²+4，b_n+1=nqⁿ⁺¹+2ⁿ⁺¹

又b₂b_n-b₁b_n+1=（q²+4）[（n-1）qⁿ+2ⁿ]-2（nqⁿ⁺¹+2ⁿ⁺¹）
=[（q²+4）（n-1）-2nq]qⁿ+q²•2ⁿ
①當(dāng)n=1時(shí)，b₂b_n-b₁b_n+1=0，即
②當(dāng)n≥2時(shí)，∵q＞0，q²+4≥2•q•2=4q
∴（q²+4）（n-1）-2nq≥4（n-1）q-2nq=2（n-2）q≥0又q²•2ⁿ＞0
∴b₂b_n-b₁b_n+1＞0
由①②得，即對(duì)于任意的正整數(shù)n，恒成立
故所求的正整數(shù)k=1．
分析：（I）由a_n+1=a_n•q+qⁿ⁺¹（q＞0）兩邊同除以qⁿ⁺¹構(gòu)造，再由等差數(shù)列的定義證明．
（II）由b_n=a_n+2ⁿ及（I）求得b₁=2，b₂=q²+4，b₃=2q³+8，再構(gòu)建b₁b₃與b₂²作差比較．
（III從k=1入手構(gòu)建，進(jìn)行探究．
點(diǎn)評(píng)：本題主要考查構(gòu)造數(shù)列以及不等式和恒成立問題在數(shù)列中的應(yīng)用．