切线垂直于过切点的半径

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

陈述

设 $\odot O$ 是以 $O$ 为圆心、半径为 $R$ 的圆，$\ell$ 是 $\odot O$ 的切线，$T$ 是切点（即 $\ell \cap \odot O = \{T\}$）。则过切点的半径与切线垂直：

换言之：圆的切线在切点处与该切点指向圆心的方向恰好成直角。