Si le point E est l'image du point D par la translation de
vecteur AB, alors ED=AB.

Si le quadrilatère ACED est un parallélogramme, alors
DA=EC.

Si AE = BC, alors AB = EC.