切线长定理（圆外一点引出的两条切线长相等）

依赖：切线垂直于过切点的半径、HL 全等判定（直角三角形）。

陈述

设 $\odot O$ 是以 $O$ 为圆心、半径为 $R$ 的圆，$P$ 是 $\odot O$ 外的一点。从 $P$ 向 $\odot O$ 引两条切线，分别切于 $A$、$B$。则两条切线长相等：

更进一步，连心线段 $OP$ 同时平分两个对称角：

也就是说，$OP$ 既是 $\angle APB$ 的角平分线 ⇔ 到两边等距，又是 $\angle AOB$ 的角平分线 ⇔ 到两边等距。