跪求圆的切线长公式的推导过程

设直线L:y=kx+b于圆(x-a)²+(y-b)²=r²交于A(x1,y1),B(x2,y2)两点,则AB=√(x1-x2)²+(y1-y2)²又A,B在直线L上y2-y1/x2-x1=ky2-y1=k(x2-x1)∴AB=√(x1-x2)²+[k(x1-x2)]²=√(k²+1...我说的是切线长，是过已知点作圆的切线，已知点到切点的长这个更容易算的…连接圆心和切点，已知点。就是一个直角三角形，半径知道，已知点到圆心用两点距离公式，切线长就可以用勾股定理了。