A first example of equidecomposability relates two fundamental figures: the triangle and the parallelogram.

Theorem

A triangle is equidecomposable with a parallelogram having the same base as its base and half the triangle’s height as its height.

Proof

From the midpoint MM of side ACAC the parallelogram AMDBAMDB is constructed, equidecomposable with the triangle ABCABC.

  1. From the midpoint MM of ACAC draw the parallel to ABAB.
  2. From BB draw the parallel to ACAC, which meets the previous line at DD.
  3. The upper triangle CMECME “flips over” exactly into the space BEDBED: the two figures are congruent.
  4. The result is the parallelogram AMDBAMDB, with base ABAB and height =12CH=\tfrac{1}{2}CH.

Topics: Equivalence and Pythagoras
Concepts: Area · Equidecomposability · Equivalence · Parallelogram · Triangle
Methods: Equivalence of figures
Skills: Proving · Synthetic geometry