切割线定理 · 切线长² = 近段 × 远段

圆外一点 P，一条切线 PA、一条割线 PBC——切线长的平方恰好等于割线两段之积：PA² = PB·PC；
而且这个乘积是定值 OP² − R²：割线怎么转都锁死，只跟 P 离圆多远有关。