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.