A parallelogram ABCD is shown. You can drag corners A, B, and D; corner C moves automatically to keep the shape a parallelogram. Both diagonals are drawn: AC and BD. They cross at a point M. The theorem: M is the midpoint of each diagonal, so the diagonals bisect each other — AM equals MC and BM equals MD. Equal-length tick marks show the matching halves, and the four half-lengths are shown live and stay paired. An info button opens a drawer with the explanation.