Når jeg tegnet og forklarte Euklids klassiske bevis på tavlen, savnet jeg muligheten til å vise sammenhengen mellom trekantene med likt areal. Jeg ønsket meg et GeoGebra-ark som gjorde akkurat som dette:
Da blir det mer tydelig at to trekanter er kongruente, og at det største kvadratet kan deles i to deler som begge er lik arealet til et av kvadratene på katetene.
Veien fra ønske til produkt er litt lang og kan gå gjennom noe dokumentasjon, men det er gøy når man får det til.