已知函数
f(x)=2−∣x∣,无穷数列
{an} 满足
an+1=f(an),
n∈N∗.
(1) 若
a1=0,求
a2,
a3,
a4;
(2) 若
a1>0,且
a1,
a2,
a3 成等比数列,求
a1 的值;
(3) 是否存在
a1,使得
a1,
a2,
a3,
⋯,
an,
⋯ 成等差数列?若存在,求出所有这样的
a1;若不存在,说明理由.
\begin{solution}
\begin{enumerate}
\item 当
a1=0 时,
a2=2−∣0∣=2,
a3=2−∣2∣=0,
a4=2−∣0∣=2.
\item 设
a1=t>0.
当
0<t⩽2 时,
a2=2−t⩾0,从而
a3=2−(2−t)=t. 由
a1,
a2,
a3 成等比数列,得
(2−t)2=t2,
所以
4−4t=0,即
t=1.
当
t>2 时,
a2=2−t<0,从而
a3=2−∣2−t∣=4−t. 于是
(2−t)2=t(4−t),
即
2t2−8t+4=0,解得
t=2±2. 结合
t>2,得
t=2+2. 因此
a1=1 或
a1=2+2.
\item 假设数列成等差数列,公差为
d,则
an=a1+(n−1)d. 由于对任意
n 都有
an+1=2−∣an∣⩽2,若
d>0,则等差表达式使
an+1 在
n 足够大时大于
2,矛盾. 若
d<0,则
an 在
n 足够大时为负数,此时递推式变为
an+1=2+an,所以
d=2,又与
d<0 矛盾. 因此只能有
d=0.
此时所有
an 都等于
a1,由递推式得
a1=2−∣a1∣. 当
a1⩾0 时,
a1=2−a1,得
a1=1;当
a1<0 时,
a1=2+a1,矛盾. 因此存在且唯一的取值为
a1=1.
\end{enumerate}
\end{solution}