4 . 拉格朗日中值定理是微分学的基本定理之一，其内容为：如果函数在闭区间上的图象连续不断，在开区间内的导数为，那么在区间内存在点，使得成立．设，其中为自然对数的底数，．易知，在实数集上有唯一零点，且．

(1)证明：当时，；
(2)从图形上看，函数的零点就是函数的图象与轴交点的横坐标．直接求解的零点是困难的，运用牛顿法，我们可以得到零点的近似解：先用二分法，可在中选定一个作为的初始近似值，使得，然后在点处作曲线的切线，切线与轴的交点的横坐标为，称是的一次近似值；在点处作曲线的切线，切线与轴的交点的横坐标为，称是的二次近似值；重复以上过程，得的近似值序列．
①当时，证明：；
②根据①的结论，运用数学归纳法可以证得：为递减数列，且．请以此为前提条件，证明：．

6 . 悬链线的原理运用于悬索桥、架空电缆、双曲拱桥、拱坝等工程．通过适当建立坐标系，悬链线可为双曲余弦函数的图象，类比三角函数的三种性质：①平方关系：①，②和角公式：，③导数：定义双曲正弦函数．
(1)直接写出，具有的类似①、②、③的三种性质（不需要证明）；
(2)若当时，恒成立，求实数a的取值范围；
(3)求的最小值．