Hay dos teoremas demostrados por Pierre Varignon .
Teorema : si ABCD es cualquier cuadrilátero e I, J, K, L los puntos medios de sus lados, entonces IJKL es un paralelogramo .
Por otro lado, si ABCD es plano y convexo, su área es el doble que la de IJKL.
Como corolario, las medianas de un cuadrilátero tienen el mismo punto medio (siendo las diagonales del paralelogramo).
El perímetro del paralelogramo de Varignon es igual a la suma de las longitudes de las diagonales del cuadrilátero.
DemostraciónMediante la aplicación del teorema del punto medio , mostramos que los lados opuestos de IJKL son cada uno paralelo a una diagonal de ABCD, por lo tanto, paralelos entre sí.
Según el teorema de Tales , la base b de IJKL es igual a la mitad de la diagonal d de ABCD, y la altura h es igual a la mitad de la altura h 'tomada de un vértice a otro de ABCD (perpendicular a la diagonal).
Entonces .
Al tomar las notaciones del dibujo anterior y al adoptar las notaciones baricéntricas , tenemos:
por tanto (por asociatividad del baricentro)
,que expresa que IJKL es un paralelogramo.
Esta demostración ilustra la "bonita metáfora" de Nicolas Bourbaki , relatada por Georges-Théodule Guilbaud en su prólogo a un libro de Hermann Weyl : "Bajo esta despiadada claridad (la del álgebra), la geometría clásica se desvanece repentinamente y pierde su brillo. "
Además, disipa cualquier duda con respecto a cuadriláteros transversales o cuadriláteros cóncavos.
Una fuerza se descompone en dos fuerzas y :
.El teorema de Varignon establece que
el momento de fuerza con respecto a un punto es igual a la suma de los momentos de fuerzas y con respecto a este mismo punto,si consideramos cualquier punto A :
(en valor algebraico ),o bien
(en vector)