Les ensembles de points

Unicité de la perpendiculaire

figure réalisée à l'aide de Tracenpoche

Étant donnés un point et une droite, il n'existe qu'une seule droite perpendiculaire à cette droite passant par ce point.