A trapezoid ABCD is shown with two parallel sides: the bottom base AB and the top base DC, which stays parallel to AB as you drag. You can drag corners A, B, and D freely, and drag C along the top line. The midsegment MN joins the midpoints of the two slanted legs AD and BC. The theorem: the midsegment is parallel to both bases, and its length equals the average of the two base lengths — MN = (AB + DC) / 2. The three lengths are shown live, and MN always equals their average. An info button opens a drawer with the explanation.