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
Details
Livre 1, proposition 12
Export references
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 .
Construire le milieu de et (pour cette construction, voir problème Construction géométrique pour couper un segment en son milieu) et tracer la droite .
Considérons maintenant les deux triangles et .
Ces deux triangles ont leurs trois côtés égaux un à un : par construction, car milieu de et le troisième côté est commun aux deux. Or deux triangles ayant trois côtés égaux un à un ont aussi leurs angles égaux un à un (pour cette démonstration, voir problème Triangles dont les longueurs des côtés sont égales)
En particulier, les deux angles 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 à en .

