圆的切线方程公式证明
过圆(x-a)^2+(y-b)^2=r^2上点P(x0,y0)的切线方程为(x0-a)(x-a)+(yo-b)(y-b)=r^2
过圆x^2+y^2+Dx+Ey+F=0上一点P(x0,y0)的切线方程为x0x+y0y+D[(X+X0)/2]+E[(Y0+Y)]+F=0
过圆外一点P(x0,y0)圆的切线切线长为√[(x0-a)^2+(y0-y)^2-r^2}或√（x0^2+y0^2+Dx0+Ey0+F)
过圆x^2+y^2+Dx+Ey+F=0上一点P(x0,y0)的切线方程为x0x+y0y+D[(X+X0)/2]+E[(Y0+Y)/2]+F=0