已知数列
{an} 满足
31an⩽an+1⩽3an,
n∈N∗,
a1=1.
(1) 若
a2=2,
a3=x,
a4=9,求
x 的取值范围;
(2) 若
{an} 是等比数列,且
am=10001,求正整数
m 的最小值,以及
m 取最小值时相应
{an} 的公比;
(3) 若
a1,
a2,
⋯,
a100 成等差数列,求
a1,
a2,
⋯,
a100 的公差的取值范围.
\begin{solution}
\begin{enumerate}
\item 由
n=2 时的不等式,得
32⩽x⩽6. 由
n=3 时的不等式,得
3x⩽9⩽3x,即
3⩽x⩽27. 两个范围取交集,得到
x∈[3,6].
\item 设公比为
q. 由
n=1 时的条件,
31⩽q⩽3,所以
q>0. 因为
a1=1,有
am=qm−1=10−3,故
q=10−(m−1)3. 条件
q⩾31 等价于
10(m−1)3⩽3. 当
m=7 时,
q=10−21<31,不满足条件;当
m=8 时,
q=10−73>31,且
q<1<3,满足上界条件. 因为
10−(m−1)3 随正整数
m 增大而增大,故
m=7 不可而
m=8 可行,最小值为
8,相应公比为
q=10−73.
\item 设公差为
d,则
an=1+(n−1)d. 对
n=1,
2,
…,
99,原条件分别等价于
an+d⩾3an 和
an+d⩽3an. 代入
an 后,前一个不等式化为
(2n+1)d⩾−2,即
d⩾−2n+12;后一个不等式化为
(3−2n)d⩽2. 当
n=1 时给出
d⩽2,当
n⩾2 时给出
d⩾−2n−32. 前一组下界中,
2n+1 随
n 增大而增大,故最强条件来自
n=99,即
d⩾−1992. 对
n⩾2,有
2n−3<2n+1,从而
−2n−32<−2n+12,所以后一组下界不比前一组的最强下界严格. 综合得公差范围为
d∈[−1992,2]. 代回上述两组不等式可知该范围内各不等式均成立,所以这是充要范围.
\end{enumerate}
\end{solution}