Met de sinusregel: ;
Met de cosinusregel: , dus .
Zeg, de zijden van het vierkant hebben lengte . Dan heeft een van de twee 'kleinere' driehoeken zijden en . Uit gelijkvormigheid volgt: .
Noem en pas de cosinusregel toe in driehoek
:
geeft:
.
Hoek noemen we α.
De cosinusregel in driehoek geeft:
, dus
, dus
, dus de gevraagde hoek is
.
Of met de sinusregel:
Volgens Thales: de hoeken bij en
zijn recht, dus driehoeken
en zijn gelijkvormig;
.
De oppervlakte van driehoek dus
;
en geeft
;
dus is minimaal als
minimaal is.
;
, dus
is minimaal
.
;
en driehoek is gelijkbenig, dus
;
en , dus
.
Volgens de stelling van Thales is middellijn van de cirkel waar op ligt, en evenzo van de cirkel waar op ligt. Dus is het midden van deze cirkel waar , , en op liggen; straal, dus zijn even lang.
We nemen de straal van de cirkel als eenheid en we noemen .
Dan volgt uit het feit dat de twee raaklijnstukken vanuit een punt aan een cirkel
even lang zijn, dat de zijden van de driehoek
, en
zijn. Uit de stelling van Pythagoras volgt:
.
Dus de zijden van de driehoek verhouden zich als .
Zie figuur hierboven rechts.
Noem de straal en de afstand van het middelpunt
tot de verticale lijn .
Maak twee rechthoekige driehoeken, zie figuur (eentje voor duidelijkheid rechts
getekend).
en