Distance between parallel planes (source code)

= Distance between parallel planes
{title2=$|(a_1-a_2)\cdot n|$}

Planes with common unit normal $n$ have distance $|(a_1-a_2)\cdot n|$. Every joining displacement has this normal component, giving a lower bound by its absolute value; a displacement parallel to the normal attains the bound.