记
[x] 为不超过实数
x 的最大整数,例如,
[2] =
2,
[1.5] =
1,
[−0.3] =
−1. 设
a 为正整数,数列
{xn} 满足
x1=a,
xn+1=2xn+[xna](
n∈N∗),现有下列命题:
① 当
a=5 时,数列
{xn} 的前3项依次为
5,
3,
2;
② 对数列
{xn} 都存在正整数
k,当
n⩾k 时总有
xn=xk;
③ 当
n⩾1 时,
xn>a−1;
④ 对某个正整数
k,若
xk+1⩾xk,则
xk=[a].
其中的真命题有______(写出所有真命题的编号)