6____4=30____6 16____4=5____4
3____6=20____2 5____4=4____5
2____8=4____4 6____3=30____12
已知圆O:x2+y2=4,圆O与x轴交于A,B两点,过点B的圆的切线为l,P是圆上异于A,B的一点,PH垂直于x轴,垂足为H,E是PH的中点,延长AP,AE分别交l于F,C.
(1)若点P(1,3),求以FB为直径的圆的方程,并判断P是否在圆上;
(2)当P在圆上运动时,证明:直线PC恒与圆O相切.