Segunda relação de desigualdade
Teorema
Se dois lados de um triângulo têm medidas diferentes, ao maior lado opõe-se o maior ângulo e ao menor lado, opõe-se o menor ângulo.
Demonstração
Seja D em BC tal que CD ≡ CA. Como |BC| > |AC| temos que D é interno a CAB, o que implica, pelo teorema do ângulo externo, que CAB >CAD.
Como △CAD é isósceles por construção, CAD≡ CDA, mas CDA é externo ao triângulo △ABD, logo
CDA >ABD = ABC. Logo, CAB > ABC.