si AB=CD alors le quadrilatère ABDC est un parallélogramme, éventuellement aplati.
Réciproquement : si ABDC est un parallélogramme, on a alors :
AB=CD ;
BA=DC ;
AC=BD ;
CA=DB.
Démonstration
Étape 1 :
AB=CD signifie qu’il existe une translation du plan qui transforme A en B et C en D.
Par définition de la translation, on en déduit que les segments [AD] et [BC] ont le même milieu.
Cette dernière propriété caractérise les parallélogrammes.
Conclusion : ABDC est un parallélogramme, éventuellement aplati si les points sont alignés.
Étape 2 : Démontrons sa réciproque
ABDC est un parallélogramme. On a en particulier : (AB) et (CD) sont parallèles et les segments [AB] et [CD] sont de même longueur.
D’après la disposition des sommets, on en déduit que les vecteurs AB et CD possèdent les mêmes caractéristiques (longueurs, sens, direction).
Conclusion : AB=CD.
Étape 3 :
On procède comme à l’étape 2 pour montrer les autres égalités.
Coordonnées du vecteur de la composée de 2 translations
Théorème
Soient u(ba) et v(b′a′), 2 vecteurs. La composée de la translation de vecteur u, notée tu, et de la translation de vecteur v, notée tv, est la translation de vecteur w(b+b′a+a′).
Démonstration
Pour tout point M(xM;yM) du plan tu :
Étape 1 : Image de M par M′
On considère M′(xM′;yM′) son image par la translation tu.
On a alors : MM′=u.
L’égalité des vecteurs implique celle de leurs coordonnées donc xM′−xM=a et yM′−yM=b.
Donc xM′=a+xM et yM′=b+yM.
On en déduit M′(a+yM;b+yM).
Étape 2 :
On considère M′′(xM′′;yM′′) l’image de M′ par la translation tv.
Alors : M′M′′=v.
Comme précédemment, on a : xM′′=a′+xM′ et yM′′=b′+yM′.
Soit : M′′(a′+xM′;b′+yM′).
Ou encore, en combinant les 2 étapes : M′′(a+a′+xM;b+b′+yM)
Étape 3 :
On déduit du dernier point : MM"(b+b′a+a′)
Définissons un nouveau vecteur w(b+b′a+a′)
Conclusion : la composée de la translation de vecteur u et de la translation de vecteur v est la translation de vecteur w(b+b′a+a′).