Als een zijde van een driehoek verlengd wordt, is de externe hoek () gelijk aan de som van de twee interne, niet naastgelegen hoeken ( en ), en de drie hoeken van iedere driehoek zijn samen gelijk aan twee rechte hoeken.
Door het punt , teken // .
Dan = en = (prop 29).
Dus + = (ax 2).
En daarom + + = = (prop 13).
QED
vorige / volgende
Hoekensom driehoek en buitenhoekstelling
Figuur propositie 32