Posté par
mahel mahelSalut,
Tu as raison c'est un joli problème de rotation regardes bien. la construction de peut se faire par rotation de B autour de C d'un angle de

(propriétés du carré). idem pour la construction de A à partir de E (ou inversement avec un angle de

. donc tu viens de montrer que le segment [AF] est la rotation de [DB] d'un angle de

.
tes droites (AF) et (DB) sont donc perpendiculaire et de même longueur ^^