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

References
- Euclide — Éléments
Hints
1Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Positionner un point quelconque entre et , puis tracer le cercle de centre et de rayon et construire le point , intersection entre le cercle et .
Nous avons donc (1)
Construire ensuite le point au-dessus de tel que soit un triangle équilatéral (pour cette construction, voir le problème Méthode pour construire un triangle équilatéral )
Les deux triangles et ont leurs trois côtés égaux un à un : le côté est commun aux deux, ensuite par (1), enfin par construction du triangle équilatéral .
Deux triangles ayant trois côtés égaux un à un ont aussi leurs angles égaux un à un (pour la démonstration de ce point, voir le problème Trois côtés suffisent-ils pour définir le triangle ?)
En particulier, les deux angles en C sont égaux : . Or, la définition d’ un angle droiten 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 est bien la perpendiculaire à en .

