O teorema dos ângulos externos de um triângulo é um teorema de geometria que diz que o ângulo externo de um triângulo é maior que os dois ângulos internos não adjacentes a ele ou ainda que o ângulo externo de um triângulo é igual à soma dos dois ângulos internos não adjacentes a ele[1].
Um triângulo tem três vértices. Os lados de um triângulo que se em um vértice e formam um ângulo, que é chamado de ângulo interno.
Na figura abaixo observamos que os ângulos , , são os ângulos internos do triângulo e temos que é um ângulo externo. Assim, um ângulo externo de um triângulo é o ângulo formado pelo prolongamento de um lado e o lado adjacente. O ângulo externo é suplementar ao interno adjacente.[2]
Na verdade existem dois teoremas do ângulo externo, isto é, dois resultados que associam o ângulo externo aos ângulos internos não adjacentes, porém ambos se complementam e podem ser vistos como um único teorema. São eles:
Esses teoremas podem ser demonstrados de diversas formas.
A demonstração mais trivial passa pelo fato de que o ângulo externo é suplementar ao ângulo interno adjacente.
Partindo-se disso, temos que:
.
Em todo triângulo temos que a soma de todos os ângulo internos é igual a dois ângulos retos, ou um ângulo raso, assim, temos:
.
Podemos isolar o , de modo a obter:
Então aplicaremos essa última relação em e teremos:
Assim, temos que todo ângulo externo é igual à soma dos ângulos internos não adjacentes. Pela condição de existência de um triângulo temos que nenhum dos ângulos internos será nulo, assim também temos que e .