The perpendicular of a point to a line is the shortest distance to this line
→ Demonstration:
