Varignon's theorem

In Euclidean geometry, Varignon's theorem holds that the midpoints of the sides of an arbitrary quadrilateral form a parallelogram, called the Varignon parallelogram. It is named after Pierre Varignon, whose proof was published posthumously in 1731. The midpoints of the sides of an arbitrary quadrilateral form a parallelogram. If the quadrilateral is convex or concave (not complex), then the area of the parallelogram is half the area of the quadrilateral. If one introduces the concept of oriented areas for n-gons, then this area equality also holds for complex quadrilaterals. The Varignon parallelogram exists even for a skew quadrilateral, and is planar whether the quadrilateral is planar or not. The theorem can be generalized to the midpoint polygon of an arbitrary polygon. Referring to the diagram above, triangles ADC and HDG are similar by the side-angle-side criterion, so angles DAC and DHG are equal, making HG parallel to AC. In the same way EF is parallel to AC, so HG and EF are parallel to each other; the same holds for HE and GF. Varignon's theorem can also be proved as a theorem of affine geometry organized as linear algebra with the linear combinations restricted to coefficients summing to 1, also called affine or barycentric coordinates. The proof applies even to skew quadrilaterals in spaces of any dimension. Any three points E, F, G are completed to a parallelogram (lying in the plane containing E, F, and G) by taking its fourth vertex to be E − F + G. In the construction of the Varignon parallelogram this is the point (A + B)/2 − (B + C)/2 + (C + D)/2 = (A + D)/2. But this is the point H in the figure, whence EFGH forms a parallelogram. In short, the centroid of the four points A, B, C, D is the midpoint of each of the two diagonals EG and FH of EFGH, showing that the midpoints coincide. From the first proof, one can see that the sum of the diagonals is equal to the perimeter of the parallelogram formed.