Soient une droite et un point n’appartenant pas à .
Proposer à la règle et au compas collapsible une méthode de construction d’une droite perpendiculaire à passant par .

References
- Euclide — Éléments
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Positionner un point quelconque du côté opposé à par rapport à la droite
Tracer le cercle de centre et de rayon . Celui-ci coupe en et , donc .
Construire le milieu de et (pour cette construction, voir le problème Comment partager un segment en deux parties égales ? ).
NB : les éléments de construction ont été conservés en arrière plan sur la figure.
Considérons maintenant les deux triangles et .
Ces deux triangles ont leurs trois côtés égaux un à un : le côté est commun aux deux, par construction, et car milieu de .
Or deux triangles ayant trois côtés égaux un à un ont aussi leurs angles égaux un à un (pour cette démonstration, voir le problème Trois côtés suffisent-ils pour définir le triangle ?).
En particulier, les deux angles correspondants en sont égaux : .
Or, la définition d’ un angle droit en géométrie euclidienne correspond justement à la situation où, quand deux lignes droites se croisent, les angles de part et d’autre sont égaux .
Donc la droite ainsi construite est bien la perpendiculaire à passant par .

