La perpendiculaire d'un point à une droite est la plus petite distance à cette droite

→  Démonstration: