Als van twee driehoeken ( en ) Oftewel, ook de derde zijde is proportioneel en
Vanaf de uiteinden van , één van de zijden van , teken en . Maak daarbij = en = . Dan geldt: = (prop 32 uit Boek I).
De twee driehoeken zijn dus gelijkvormig. Dit betekent dat: : = : (prop 4 uit Boek VI). Ook geldt: : = : (hyp). Dus : = : (prop 11 uit Boek V). Dit betekent dat = (prop 9 uit Boek V). Dus = in ieder opzicht (prop 4 uit Boek I).
Verder geldt: = (constr). Dus = . Daar ook = , moet = (prop 32 uit Boek I). Dus zijn en gelijkvormig. QED
|