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

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

5 . 三等分角是古希腊几何尺规作图的三大问题之一，如今数学上已经证明三等分任意角是尺规作图不可能问题，如果不局限于尺规，三等分任意角是可能的.下面是数学家帕普斯给出的一种三等分角的方法：已知角的顶点为，在的两边上截取，连接，在线段上取一点，使得，记的中点为，以为中心，为顶点作离心率为2的双曲线，以为圆心，为半径作圆，与双曲线左支交于点（射线在内部），则.在上述作法中，以为原点，直线为轴建立如图所示的平面直角坐标系，若，点在轴的上方.

(1)求双曲线的方程；
(2)若过点且与轴垂直的直线交轴于点，点到直线的距离为.
证明：①为定值；
②.