Bonjour,
Soit c le côté du carré
Dans le triangle EDC , on a ED = DC = c et \widehat{EDC} = 150 ° ( 90° + 60° )
Dans le triangle CBF , on a CB = BF et \widehat{CBF} = 150 °
Même résultats pour le triangle EAF
Donc , ces 3 triangles sont isométriques , et on en conclut que EC = CF = EF