切线长的具体公式（切割线长定理公式图解）

切线长是指一条直线与一个圆只有一个公共点（即相切）时，这条直线到该圆的最短距离的长度。具体的公式为：切线长 = 半径 × 2 / √(半径^2 + 直线到圆心的距离^2)。其中，半径是指圆的半径，直线到圆心的距离是指直线到圆心的垂直距离。这个公式可以根据勾股定理推导出来，也可以通过三角函数进行推导。