圆幂定理（割线–切线）

对圆外一点 P，有 PT^2 = PA·PB（PT 为切线长，PAB 为割线）；把切线长度与割线乘积联系起来。