Foot of a perpendicular
ID: foot-of-a-perpendicular
The foot from to the line , with , is its orthogonal projection onto that line. Solving gives the displayed formula and proves uniqueness. It belongs to the line segment with endpoints and exactly when .
New to topics? Read the docs here!