Alignement sur la diagonale d'un carré

Thème :
Carré
ABCD est un carré de centre O, le milieu de [BD]. BDF est un triangle équilatéral. Vérifier que les points A, O, C et F sont alignés.
Dans le triangle équilatéral BDF, on a FB = FD ; F est sur la médiatrice de [BD]. Cette médiatrice est l'autre diagonale (AC) du carré. O, milieu de [AC] et F sont donc alignés avec A et C sur la droite (AC). Descartes et les Mathématiques : Montrer un alignement