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

Positionner un point $D$ quelconque entre $A$ et $C$, puis construire le point $E$ entre $C$ et $B$ tel que $DC=CE$ (pour cette construction, voir problème Gymnastique géométrique, à la règle et au compas (2))

Construire ensuite le point $F$ au-dessus de $(AB)$ tel que $DFE$ soit un triangle équilatéral (pour cette construction, voir problème Méthode pour construire un triangle équilatéral )

Les deux triangles $DFC$ et $CFE$ ont leurs trois côtés égaux un à un : $DC=CE$ par définition, $DF=FE$ par construction et le troisième côté $CF$ est commun aux deux. 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 C sont égaux : $\widehat {DCF}=\widehat {FCE}$. 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 (voir définition angle droit).

Donc la droite $(CF)$ est bien la perpendiculaire à $(AB)$ en $C$.