Construction géométrique d’une droite perpendiculaire à une autre droite (2)

Positionner un point $D$ quelconque du côté opposé à $C$ par rapport à la droite $(AB)$

Tracer le cercle de centre $C$ et de rayon $CD$. Celui-ci coupe $(AB)$ en $E$ et $F$.

Construire $G$ le milieu de $E$ et $F$ (pour cette construction, voir problème Construction géométrique pour couper un segment en son milieu) et tracer la droite $(GC)$.

Considérons maintenant les deux triangles $EGC$ et $CGF$.
Ces deux triangles ont leurs trois côtés égaux un à un : $CE=CF$ par construction, $EG=GF$ car $G$ milieu de $EF$ et le troisième côté $GC$ 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 $G$ sont égaux : $\widehat {EGC}=\widehat{CGF}$ .
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 $(GC)$ ainsi construite est bien la perpendiculaire à $(AB)$ en $C$.