puisque AB=DC (les côtes d’un losange sont égaux) et AB=CE (translation), alors DC=CE Donc C est le milieu de [DE] BC=CF (translation) donc C est le milieu de [BF] Or, les diagonales d’un rectangle se coupent en leur milieu Donc BEFD est un rectangle