Afirmación de que el cuadrilátero formado al unir los puntos medios de los lados de cualquier cuadrilátero (plano) es un paralelogramo; esto se cumple para cuadriláteros convexos, cóncavos y auto-intersectados en el plano euclidiano.

Principio

La conexión de puntos medios produce cancelación lineal: unir sucesivamente los puntos medios de los lados da lados opuestos paralelos e iguales porque cada lado del cuadrilátero de puntos medios corresponde a la mitad de la suma de dos vectores de lados adyacentes del original.

Demostración

Dado el cuadrilátero ABCD, sean E,F,G,H los puntos medios de AB,BC,CD,DA. Entonces vector EF = (B−A)/2 + (C−B)/2 = (C−A)/2 y vector GH = (D−C)/2 + (A−D)/2 = (A−C)/2 = −(C−A)/2, por lo que EF y GH son paralelos e iguales en longitud, de modo que EFGH es un paralelogramo. Para un rectángulo inicial, el cuadrilátero de los puntos medios es un rectángulo con la mitad de las longitudes de los lados.

Aplicación incorrecta

Suponer que el paralelogramo de Varignon hereda otras propiedades especiales del cuadrilátero original (p. ej. que siempre es rectángulo o rombo) sin condiciones adicionales; o aplicar el resultado en contextos no euclidianos donde las nociones de punto medio y paralelismo difieren.

Consecuencia

Proporciona una construcción simple para producir un paralelogramo a partir de cualquier cuadrilátero, aporta una relación de áreas (el área del paralelogramo de Varignon equivale a la mitad del área del cuadrilátero original para áreas con signo) y suministra simplificaciones vectoriales y baricéntricas en argumentos sobre polígonos.

Inversión

Una inversión afirmaría que cualquier paralelogramo surge como el cuadrilátero de puntos medios de algún cuadrilátero; aunque se puede realizar hasta transformaciones afines y elecciones adecuadas, la recíproca simple exige construir los vértices originales y no es única. También puede contrastarse con polígonos de orden superior donde la generalización por puntos medios difiere.

Límite

Se aplica a cuadriláteros en el plano euclidiano y no exige convexidad; falla en geometrías sin una noción bien definida de punto medio o paralelismo. El teorema es específico de unir puntos medios en orden cíclico; otros órdenes producen figuras distintas.

Tensión semántica

Tensión entre el paralelogramo de Varignon y afirmaciones más fuertes sobre puntos medios (por ejemplo, que siempre producen un rectángulo): se requieren hipótesis adicionales (ortogonalidad, lados adyacentes iguales) para elevar el paralelogramo a tipos más especiales.

Síntesis

El teorema de Varignon muestra que el simple acto de unir los puntos medios de los lados linealiza un cuadrilátero en un paralelogramo: mediante medias vectores las caras opuestas se vuelven iguales y paralelas, generando relaciones uniformes de área y centróides y sirviendo como herramienta básica afín y baricéntrica en la geometría de polígonos.