Beviset bygger på flere hjelpesetninger, som Euklid viser tidligere i bok I. Disse vil bli brukt videre, uten bevis her. Hvis to trekanter er slik at to sider i den ene er lik tilsvarende to sider i den andre, og den mellomliggende vinkel er lik i begge, så er trekantene kongruente. Arealet av en gitt trekant er lik halvparten av arealet i et vilkårlig parallellogram med samme grunnlinje og høyde. Arealet av et rektangel er lik produktet av to tilstøtende sider. Arealet av et kvadrat er lik produktet av to sider.