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

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