Définition Droites perpendiculaires

Des droites perpendiculaires sont des droites sécantes dont l'intersection forme un angle droit.