Théorème de Varignon

D'autre part, si ABCD est plan et convexe, son aire est le double de celle de IJKL.

En corollaire, les médianes d'un quadrilatère ont même milieu (étant les diagonales du parallélogramme).

Le périmètre du parallélogramme de Varignon est égal à la somme des longueurs des diagonales du quadrilatère.

Une démonstration algébrique du théorème de Varignon

Cas d'un quadrilatère croisé.

En reprenant les notations du dessin ci-dessus, et en adoptant les notations barycentriques, on a :

${\displaystyle I={\frac {1}{2}}(A+B),\,J={\frac {1}{2}}(B+C),\,K={\frac {1}{2}}(C+D),\,L={\frac {1}{2}}(A+D)}$

donc (par associativité du barycentre)

${\displaystyle {\frac {1}{2}}(I+K)={\frac {1}{4}}(A+B+C+D)={\frac {1}{2}}(J+L)}$,

ce qui exprime que IJKL est un parallélogramme.

Cette démonstration illustre la « jolie métaphore » de Nicolas Bourbaki, rapportée par Georges-Théodule Guilbaud dans son avant propos d'un livre de Hermann Weyl[2] : « Sous cette impitoyable clarté (celle de l'algèbre), la géométrie classique se fane brusquement et perd son éclat. »

En outre, elle dissipe toute hésitation concernant les quadrilatères croisés ou les quadrilatères concaves.

Une force ${\displaystyle {\vec {F}}}$ se décompose en deux forces ${\displaystyle {\vec {F}}_{1}}$ et ${\displaystyle {\vec {F}}_{2}}$ :

${\displaystyle {\vec {F}}={\vec {F}}_{1}+{\vec {F}}_{2}}$.

Le théorème de Varignon énonce que

le moment de la force ${\displaystyle {\vec {F}}}$ par rapport à un point est égal à la somme des moments de forces ${\displaystyle {\vec {F}}_{1}}$ et ${\displaystyle {\vec {F}}_{2}}$ par rapport à ce même point,

si l'on considère un point A quelconque :

${\displaystyle M_{{\vec {F}}/A}=M_{{\vec {F_{1}}}/A}+M_{{\vec {F_{2}}}/A}}$ (en valeur algébrique),

ou bien

${\displaystyle {\vec {M}}_{{\vec {F}}/A}={\vec {M}}_{{\vec {F_{1}}}/A}+{\vec {M}}_{{\vec {F_{2}}}/A}}$ (en vectoriel)