切线垂直于过切点的半径

依赖：过一点作已知直线的垂线 · 存在且唯一、垂线段最短。

陈述

已知：$\odot O$ 是以 $O$ 为圆心、半径为 $R$ 的圆，$\ell$ 是 $\odot O$ 的切线，$T$ 是切点（即 $\ell \cap \odot O = \{T\}$）。

求证：过切点的半径与切线垂直，即