Étant donné un carré ABCD et deux triangles équilatéraux ABE et BCF de longueur de côté égale à celle du carré, on montre que les trois points D, E et F sont alignés.
Pour les deux explications qui suivent, il est intéressant de commencer par déterminer les mesures de tous les angles de la figure, à l’aide des propriétés des carrés, des triangles rectangles, des triangles isocèles ou équilatéraux.
Première explication : on va démontrer que
.
Pour simplifier les calculs, on prend la longueur du côté du carré comme unité de mesure.
Formule d’Al-Kashi dans le triangle ADE : ![]()
. Donc ![]()
Formule d’Al-Kashi dans le triangle CDF : ![]()
. Donc ![]()
Théorème de Pythagore dans le triangle EBF rectangle en B :
. Donc ![]()
Il reste à vérifier par le calcul que
. On y arrive en élevant deux fois au carré les membres de l’expression.
Seconde explication : on va démontrer que l’angle
est plat.
.