分形几何学是一门以不规则几何形态为研究对象的几何学.分形的外表结构极为复杂,但其内部却是有规律可寻的.一个数学意义上分形的生成是基于一个不断迭代的方程式,即一种基于递归的反馈系统.下面我们用分形的方法来得到一系列图形,如图1,线段

的长度为a,在线段

上取两个点

,

,使得

,以

为一边在线段

的上方做一个正六边形,然后去掉线段

,得到图2中的图形;对图2中的最上方的线段

作相同的操作,得到图3中的图形;依此类推,我们就得到了以下一系列图形:

记第

个图形(图1为第1个图形)中的所有线段长的和为

,现给出有关数列

的四个命题:
①数列

是等比数列;
②数列

是递增数列;
③存在最小的正数

,使得对任意的正整数

,都有

;
④存在最大的正数

,使得对任意的正整数

,都有

.
其中真命题的序号是
________________(请写出所有真命题的序号).