解析几何圆方面的拓展公式比如过圆外一点(X0,Y0)作圆的两条切线,两个切点的解析式为X0X+Y0Y=R^2之类的,