切割线定理

依赖：AA 相似判定、弦切角定理。

陈述

设 $P$ 是 $\odot O$ 外一点。从 $P$ 引一条 切线 $PT$（切于 $T$），再引一条 割线 与圆交于 $A$、$B$ 两点（$A$ 较近、$B$ 较远）。则

也就是说，从圆外一点出发，"切线长的平方"与"割线两段（外段 × 整段）的乘积"恒等。