Soient ABCD un parallélogramme et les triangles équilatéraux ADE et ABF. On montre que CEF est aussi un triangle équilatéral.
Explications :
Montrons que AC = EF. Pour cela on va démontrer que les triangles ECD et EFA sont isométriques.
Soit la mesure de l’angle
. Alors la mesure de l’angle rentrant
est :
. Donc celle de l’angle rentrant
est :
.
Or la mesure de l’angle saillant est :
. Ainsi les angles
et
ont la même mesure.
Par construction EA = ED et AF = DC. Puisque les triangles ECD et EFA ont deux côtés, deux à deux de même longueur, entourant deux angles de même mesure, ils sont isométriques. On en conclut que leurs troisièmes côtés sont de même longueurs.
On démontre très facilement que EC = CF. Ce qui achève de démontrer que CEF est équilatéral.