Iedere combinatie van twee zijden 
en 
van een driehoek 
is langer dan de derde zijde (
).
Verleng en maak 
= (prop 3).
Teken 
.
Omdat = (constr),
geldt dan 
= 
(prop 5) en 
> (ax 9).
Dus + > (prop 19) en
dus + > .
QED
Driehoeksongelijkheid