设圆C的圆心为C(x1，y1)，

　　则可得圆C的方程为(x－x1)2＋(y－y1)2＝y，

　　即x2＋y2－2x1x－2y1y＋x＝0.②

　　①－②，得2x1x＋2y1y－1－x＝0.③

　　③式就是直线EF的方程

　　设CD的中点为H，其坐标为(x1，)，将H代入③式，得

　　2x＋2y1·－1－x＝2x＋y－1－x＝x＋y－1＝0，即CD的中点H在EF上．

　　故EF平分CD.

　　【例2】 解：如图，以线段AB所在的直线为x轴，线段AB的中点O为坐标原点建立平面直角坐标系，那么点A，B，P的坐标分别为(－18,0)，(18,0)，(0,6)．

　　设圆拱所在的圆的方程是x2＋y2＋Dx＋Ey＋F＝0.

　　因为点A，B，P在圆拱所在的圆上，则有

　　解得

　　故圆拱所在的圆的方程是x2＋y2＋48y－324＝0.

　　将点P2的横坐标x＝6代入上式，解得

　　y＝－24＋12≈5.39(m)(负值舍去)．

　　答：支柱A2P2的长约为5.39 m.

　　1．将直线x＋y＝1绕点(1,0)逆时针旋转90°后与圆x2＋(y－1)2＝r2(r＞0)相切，则r的值是(　　)

　　A. B. C. D．1

　　2．与圆x2＋y2－ax－2y＋1＝0关于直线x－y－1＝0对称的圆的方程是x2＋y2－4x＋3＝0，则a＝(　　)

A．0 B．1 C．2 D．3