De driehoek met zijden , , en ontstaat uit die met zijden , en door met te vermenigvuldigen.
Als je de driehoek met zijden ,
en
met
vermenigvuldigt, krijg je de driehoek met zijden , en
.
(Let op de derde zijde.)
Dus . (Let op de eerste zijde.)
Het midden van noemen we , dan is driehoek een graden-driehoek. Dus en , dus .
Twee zijden zijn: , een zijde is en de diagonalen zijn: .
De andere rechthoekszijde is . De twee rechthoekszijden samen zijn .
en
Kwadrateren geeft: of . Aan de oorspronkelijke vergelijking voldoet alleen .
Kwadrateren geeft: of . Aan de oorspronkelijke vergelijking voldoet alleen .
Kwadrateren geeft:
of .
Aan de oorspronkelijke vergelijking voldoet alleen .
,
, dus
(gelijkvormigheid van de twee kleinere driehoeken). Verder
.
De rechthoekszijden van de grote driehoek zijn:
en
, dus
.
Anderzijds
.
Kwadrateren geeft:
.
We bekijken eerst de linkerkant. Het deel
,
dus de linkerkant is:
.
en de rechterkant is:
.
Klopt!
, en , dus .
? Kruislings vermenigvuldigen geeft: en dat klopt.
De afstand van tot noemen we , dan
en
, dus:
.
Kwadrateren geeft:
Nogmaals kwadrateren geeft:
, dus
of
.
Dus (want
ligt dichter bij ).
Dus .
en
Neem aan: , dan
, dus:
, dus (beide kanten delen door
en vermenigvuldigen met ) geeft:
.
Als je voor neemt, krijg je
.
Als je voor neemt, krijg je
.
Als je voor of
neemt, krijg je de twee gevallen uit het vorige onderdeel.
Enzovoort.