A quadrilateral ABCD is shown; drag any of its four corners. The midpoints of its four sides — P, Q, R, S — are joined to form an inner quadrilateral. Varignon's theorem says this inner shape is always a parallelogram: side PQ is parallel and equal to side RS, and side QR is parallel and equal to side SP. Its sides are parallel to the diagonals of ABCD and half their length, and its area is half the area of ABCD. The side lengths and the area comparison are shown live. An info button opens a drawer explaining the theorem.
PQ = RS = ½·AC · QR = SP = ½·BD
Drag any corner — convex, concave, or crossed — and the inner shape stays a perfect parallelogram.