切线判定（垂直于半径过外端 ⇒ 切线）

依赖：垂线段最短（垂线段最短）。

陈述

已知：$\odot O$ 以 $O$ 为圆心、半径为 $R$。$T$ 是 $\odot O$ 上一点。直线 $\ell$ 过 $T$，且与半径 $OT$ 垂直，即

求证：$\ell$ 是 $\odot O$ 的切线（切点为 $T$），即