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

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

陈述

已知：$\odot O$ 是以 $O$ 为圆心、半径为 $R$ 的圆，$P$ 是 $\odot O$ 外一点。从 $P$ 向 $\odot O$ 引两条切线，分别切于 $A$、$B$；线段 $PA$、$PB$ 即从 $P$ 引出的两条切线长。

求证：