De twee gelegde vierkanten hebben dezelfde oppervlakte, want even lange zijden; als je van beide vier dezelfde rechthoekige driehoeken afhaalt, houd je bij de linker figuur de twee kleine vierkanten over en bij de rechter figuur het grote vierkant.
Noem de niet-rechte hoeken van de rechthoekige driehoek α en β. De drie hoeken die in de punt samenkomen zijn bij elkaar: graden, dus ze vormen een gestrekte hoek.
Oppervlakte van de vier driehoeken is:
Oppervlakte kleine vierkant
Dus:
. Haakjes wegwerken geeft het gewenste resultaat.
Dat de gelegde figuren vierkanten zijn, kun je als volgt inzien.
Er zit geen knik in het punt waar de twee driehoeken en het vierkant aan elkaar gelegd zijn, zie vorige opgave.
De zijden zijn alle .
Oppervlakte van de vier driehoeken is:
.
Oppervlakte kleine vierkant is: .
Dus:
. Haakjes wegwerken geeft het gewenste resultaat.
Een hoek is de som van de twee scherpe hoeken van de een rechthoekige driehoek, dus .
, dus de hoek tegenover de zijde van is scherp, dus een scherphoekige driehoek.
, dus de driehoek is rechthoekig.
Het midden van is
. Het lijnstuk
krijg je door het lijnstuk
een kwart slag te draaien.
Dat zie je aan de -rechthoeken waarin ze zitten.
Zie plaatje
en
Eerste manier: in driehoek
:
, dus
.
Tweede manier:
is schuine zijde van een roosterdriehoek
met rechthoekszijden en . Dus
, dus
.
, en , dus: , dus hoek is recht.
Hoek is recht als
.
Hoek is recht als
, dus als
.
Als .
Noem de rechthoekszijden en en
de schuine zijde dan hebben de geodriehoeken oppervlakte
,
en
.
Als
, dan
dus voor het eerste voorbeeld klopt de stelling.
De halve cirkels hebben oppervlakte
,
en
.
De ‘T’-s hebben oppervlakte
,
en
.
Dus ook voor de andere voorbeelden klopt de stelling.
De oppervlakte van de hele witte driehoek noemen we
.
,
en
.
Verder
, dus
.
, ,
De hoeken worden kleiner, want de overstaande rechthoekszijde blijft en de aanliggende rechthoekszijde wordt groter.
Na stappen is de lengte , dus , dus na miljoen stappen.