等差等比联袂型数列

已知{an}\{a_n\}是首项为aa,公差为2的无限等差数列,{bn}\{b_n\}是首项为1,公比为2的无限等比数列,记λn=a1+a2++anbn\lambda_n = \dfrac{a_1 + a_2 + \cdots + a_n}{b_n},给出下列四个结论:

①当0<a<20 < a < 2时,有λ1<λ2<λ3\lambda_1 < \lambda_2 < \lambda_3;

②存在aRa \in \mathbb{R},使得{λn}\{\lambda_n\}的前2025项为单调递增数列;

③对于任意a>0a > 0,{λn}\{\lambda_n\}从第三项起均为单调递减数列;

④当且仅当a=2a = 2时,存在kNk \in \mathbb{N}^*,使得λk=λk+1\lambda_k = \lambda_{k+1}.

其中所有正确结论的序号是 ___ .

首先记Sn=i=1naiS_n=\sum_{i=1}^na_iSn,bn,λn{S_n},{b_n},{\lambda_n}的前三项进行计算:

n SnS_n bnb_n λn\lambda_n
1 aa 1 aa
2 2a+22a+2 2 a+1a+1
3 3a+63a+6 4 3a+64\frac{3a+6}{4}

要满足λ1<λ2<λ3\lambda_1 < \lambda_2 < \lambda_3,只要:

3a+64>a+1\frac{3a+6}{4}\gt a+1即可,这等价于:

a<2a\lt 2,于是①正确.

要让λn+1>λn\lambda_{n+1}\gt \lambda_n,等价于:

Sn+1>2SnS_{n+1}\gt 2S_n,即:

an+1>Sna_{n+1}\gt S_n

更强地,只要:

an<0(n=1,2,3,...,2024)a_n\lt 0(n=1,2,3,...,2024),就可以满足Sn<Sn1<...<S1=a<an+1S_n\lt S_{n-1}\lt ...\lt S_1=a\lt a_{n+1}

更进一步,我们研究②的充要条件:

an+1=a+2n>Sn=na+n(n1)2×2=na+n(n1)(n=1,2,..,2024)a_{n+1}=a+2n\gt S_n=na+\frac{n(n-1)}{2}\times 2=na+n(n-1)(n=1,2,..,2024)

n=1n=1,显然有:a2=a+2>a1=aa_2=a+2\gt a_1=a

※:a<n2+3nn1=n+2+2n1(n=2,3,..,2024)a\lt \frac{-n^2+3n}{n-1}=-n+2+\frac{2}{n-1}(n=2,3,..,2024)

un=n+2+2n1=1(n12n1)(n=2,3,...,2024)u_n=-n+2+\frac{2}{n-1}=1-(n-1-\frac{2}{n-1})(n=2,3,...,2024)是递减数列.

所以②等价于:a<u2024=2022+22023a\lt u_{2024}=-2022+\frac{2}{2023},②正确.

再看③:

由②的分析,a>0=u3a\gt 0=u_3,即n>3n\gt 3时满足λn+1<λn\lambda_{n+1}\lt \lambda_n,③正确.

最后看④:

只要取a=una=u_n,即可满足λn=λn+1\lambda_n=\lambda_{n+1},④错误.

综上,选①②③.