Alice à Bob :
« Tu pars d’un carré (ABCD), à l’intérieur duquel tu inscris un triangle équilatéral (ABE). Tu construis ensuite un autre triangle équilatéral (ACF), de manière que D lui soit intérieur. Le segment [EF] coupe [CD] en I. Eh bien, je prétends que les droites (AI), (BE) et (CF) passent toutes par un même point. »
Est-ce vrai, et si oui, pourquoi ?