Alignement sur la diagonale d'un 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