已知正项数列 {an} 的前 n 项和为 Sn,且 2√Sn=an+1.
1、求数列 {an} 的通项公式.
2、设 bn=1an⋅an+1,数列 {bn} 的前 n 项和为 Tn,求证:Tn<12.
3、若不等式 1an+1an+1+1an+2+⋯+1a2n⩽log2(m−1)−23 对任意的 n∈N∗ 恒成立,求实数 m 的取值范围.
解析
1、根据题意,有4Sn=a2n+2an+1,
于是当 n=1 时,有4a1=a21+2a1+1⟺a1=1,
当 n⩾2 时,有4(Sn−Sn−1)=(a2n+2an+1)−(a2n−1+2an−1+1)⟺(an+an−1)(an−an−1−2)=0,
考虑到 {an} 是正项数列,于是an=an−1+2,
进而可得 an=2n−1(n∈N∗).
2、根据题意,有Tn=n∑k=11(2k−1)(2k+1)=12n∑k=1(12k−1−12k+1)=12(1−12n+1)<12,
原命题得证.
3、不等式左侧An=2n∑k=n12k−1,
于是An−An−1=1a2n+1a2n−1−1an−1=14n−1+14n−3−12n−3>0,
于是 An 单调递增,接下来考虑 An 的极限.利用定积分的几何意义,有∫k+1k12x−1dx<12k−1<∫kk−112x−1dx,
即12ln(k+12)−12ln(k−12)<12k−1<12ln(k−12)−12ln(k−32),
求和可得12ln4n+12n−1<12ln2n+12n−12<An<12ln2n−12n−32=12ln4n−12n−3,
因此 An 的极限为 12ln2.因此题中不等式恒成立,即log2(m−1)−23⩾12ln2,
实数 m 的取值范围是 [2(3ln2+4)/6+1,+∞).