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

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

7 . 德国天文学家约翰尼斯·开普勒根据丹麦天文学家第谷·布拉赫等人的观测资料和星表，通过本人的观测和分析后，于1618年在《宇宙和谐论》中提出了行星运动第三定律——绕以太阳为焦点的椭圆轨道运行的所有行星，其椭圆轨道的长半轴长a与公转周期T有如下关系：，其中M为太阳质量，G为引力常量．已知火星的公转周期约为水星的8倍，则火星的椭圆轨道的长半轴长约为水星的（       ）

A．2倍

B．4倍

C．6倍

D．8倍

8 . 将“用一条线段联结两个点”称为一次操作，把操作得到的线段称为“边”．若单位圆上个颜色不相同且位置固定的点经过次操作后，从任意一点出发，沿着边可以到达其他任意点，就称这n个点和k条边所构成的图形满足“条件”，并将所有满足“条件”的图形个数记为，则______．