 Distance from a point to a line in three dimensions

For distinct points ${\mathbf{r}}_1,{\mathbf{r}}_2$, the cross product in the numerator has magnitude twice the area of the triangle with third vertex ${\mathbf{r}}_0$. The same double area is the base length $|{\mathbf{r}}_2-{\mathbf{r}}_1|$ times the perpendicular height from ${\mathbf{r}}_0$, proving the displayed Euclidean distance. Equivalently, let $\mathbf{u}={\mathbf{r}}_2-{\mathbf{r}}_1$ and project ${\mathbf{r}}_0-{\mathbf{r}}_1$ onto the line direction. The squared distance is $|{\mathbf{r}}_0-{\mathbf{r}}_1{|}^2-[\mathbf{u}\cdot ({\mathbf{r}}_0-{\mathbf{r}}_1){]}^2/|\mathbf{u}{|}^2$; Lagrange's identity gives the same cross-product formula.