The statement that the quadrilateral formed by joining the midpoints of the sides of any (planar) quadrilateral is a parallelogram; this holds for convex, concave and self-intersecting quadrilaterals in the Euclidean plane.

Principle

Midpoint linkage produces linear cancellation: connecting successive side midpoints yields opposite sides that are parallel and equal because each side of the midpoint quadrilateral corresponds to a half-sum of two adjacent original side vectors.

Demonstration

Given quadrilateral ABCD, let E, F, G, H be midpoints of AB, BC, CD, DA. Then vector EF = (B−A)/2 + (C−B)/2 = (C−A)/2 and vector GH = (D−C)/2 + (A−D)/2 = (A−C)/2 = −(C−A)/2, hence EF and GH are parallel and equal in length, so EFGH is a parallelogram. For a simple rectangle, the midpoint quadrilateral is a rectangle with half side lengths.

Misapplication

Assuming the Varignon parallelogram inherits other special properties of the original quadrilateral (e.g., being a rectangle or rhombus) without further conditions; or treating the result as holding in non-Euclidean metric contexts where midpoint and parallelism concepts differ.

Consequence

Gives a simple construction to produce a parallelogram from any quadrilateral, yields area relation (area of Varignon parallelogram equals half the area of the original quadrilateral when interpreted with signed area), and supplies vector- and barycentric-based simplifications in polygon arguments.

Reversal

A reversal would claim that any parallelogram arises as the midpoint quadrilateral of some quadrilateral; while true up to affine transformations and suitable choices, the simple converse requires constructing original vertices and is not unique. Contrast also with midpoint polygons of higher-order polygons where the result generalizes differently.

Boundary

Applies to planar quadrilaterals in Euclidean geometry and does not require convexity; fails in geometries lacking a well-defined midpoint or parallelism concept. The theorem is specific to joining midpoints in cyclic order; different orders of joining produce other figures.

Semantic Tension

Tension exists between Varignon's midpoint-parallelogram and stronger midpoint-derived claims (e.g., that midpoints produce a rectangle): additional hypotheses (orthogonality, equal adjacent sides) are required to upgrade the parallelogram to more special types.

Synthesis

Varignon's theorem shows that the simple act of joining side midpoints linearizes a quadrilateral into a parallelogram: via vector half-sums opposite sides become equal and parallel, producing uniform area and centroid relations and serving as a basic affine and barycentric tool in polygon geometry.