下图展示了一个由区间到实数集R的映射过程：区间中的实数m对应数轴上的点M，如图①；将线段围成一个圆，使两端点A、B恰好重合，如图②；再将这个圆放在平面直角坐标系中，使其圆心在y轴上，点A的坐标为，在图形变化过程中，图①中线段AM的长度对应于图③中的弧ADM的长度，如图③．图③中直线AM与x轴交于点，则m的象就是n，记作.

给出下列命题：

①；

②在定义域上单调递增；

③为偶函数；

④;

⑤关于的不等式的解集为.

则所有正确命题的序号是       ．

古希腊数学家丢番图（公元250年前后）在《算术》中就提到了一元二次方程的问题，不过当时古希腊人还没有寻求到它的求根公式，只能用图解等方法来求解。在欧几里得的《几何原本》中，形如（a>0,b>0）的方程的图解法是：如图，以和b为两直角边做Rt△ABC,再在斜边上截取，则AD的长就是所求方程的解。

（1）请用含字母a、b的代数式表示AD的长。

（2）请利用你已学的知识说明该图解法的正确性，并说说这种解法的遗憾之处。