Lade # ABCD # være en firkant af enhedsareal.
Så
Lade
Anvendelse af Pythagoras thorem vi kan skrive
Nu med det problem, vi har
Derfor