Die Gesamtfläche kann zweifach ermittelt werden:

4*(a²/2 + b²/2 + ab/2) – ab/2  (viermal das Viereck, das Dreieck wird zweimal überdeckt)
oder
a² + b² + c² + 3ab/2  (Quadrate + drei Dreiecke)
Gleichsetzen ergibt

a² + b² = c²