Question

高中数学关于圆方程的一道题，求解释

已知圆O的方程为x2+y2=1和点A（a，0），设圆O与x轴交于P、Q两点，M是圆OO上异于P、Q的任意一点，过点A（a，0）且与x轴垂直的直线为l，直线PM交直线l于点E，直线QM交直线l于点F．
（1）若a=3，直线l1过点A（3，0），且与圆O相切，求直线l1的方程；
（2）证明：若a=3，则以EF为直径的圆C总过定点，并求出定点坐标；

第一小题会做，但第二小题有点卡，求大神解答下以EF为直径的圆方程如何表示出来~~

Answer 1

Answer 2

已知两点A（a，b）B（m，n），则以AB为直径的圆方程为（x-a）（x-m）+（y-b）（y-n）=0。

追问

天哪，这个公式我竟然不知道= =，貌似没教过！

Answer 3