I've a math problem that I like to solve.
Let be a line and let be a point. Show that the orthogonal projection
of onto is the unique point on for which the distance from
to is minimized.
Is it possible to tell me how I can prove this using differential geometry?