Calculadora da desigualdade triangular

O Teorema da Desigualdade Triangular é uma das afirmações mais fundamentais da geometria plana: a soma de quaisquer dois lados de um triângulo deve ser estritamente maior que o terceiro lado. Equivalentemente, nenhum lado pode ser maior ou igual à soma dos outros dois. Este tutorial prova o teorema, explica por que o "estritamente maior" importa, mostra como testar qualquer conjunto candidato de três comprimentos e demonstra como a mesma desigualdade se generaliza para normas vetoriais e espaços métricos.

O teorema enunciado de três formas

Para qualquer triângulo com lados a, b, c, todas as seguintes condições devem ser satisfeitas:

a + b > c
a + c > b
b + c > a

Enunciado compacto equivalente: o lado mais longo deve ser menor que a soma dos outros dois.

A desigualdade estrita é importante. Se a + b = c exatamente, o "triângulo" colapsa em um único segmento de reta — os três pontos são colineares. Este caso degenerado não é um triângulo.

Por que o teorema é verdadeiro — intuição geométrica

Pense em construir um triângulo colocando três palitos ponta com ponta e tentando fechá-los em um laço. Digamos que os palitos tenham comprimentos a = 3, b = 4, c = 10.

Coloque c deitado no chão. De uma extremidade, dobre o palito a para cima. Da outra extremidade de c, dobre o palito b para cima. Agora tente fazer as extremidades livres de a e b se encontrarem.

O máximo que a pode estender-se a partir de sua base é 3 unidades para cima (se for reto para cima). O máximo que b pode estender-se a partir de sua base é 4 unidades para cima. As duas bases estão separadas por 10 unidades. Mesmo que ambos os palitos fiquem retos para cima, suas extremidades livres estarão separadas por 10 unidades horizontalmente — elas não podem se encontrar. Conclusão: não existe triângulo com lados 3, 4, 10.

Se substituirmos c = 10 por c = 6, as bases agora estão separadas por 6 unidades, e o palito a (comprimento 3) pode alcançar no máximo 3 unidades. Portanto, a + b = 7 deve exceder c = 6 — e 7 > 6, então funciona. As duas extremidades livres podem se encontrar em algum ponto acima da linha, formando o triângulo.

Prova formal — usando o princípio do caminho mais curto

O caminho mais curto entre dois pontos é a linha reta que os conecta. Qualquer outro caminho é estritamente mais longo.

Suponha que um triângulo tenha vértices A, B, C, com o lado oposto a cada vértice rotulado como a, b, c, respectivamente. O caminho direto de A até B (comprimento c) é mais curto do que o caminho de A até C até B (comprimento b + a). Portanto, c < b + a, ou seja, a + b > c.

O mesmo argumento aplicado aos outros dois pares de vértices resulta em a + c > b e b + c > a.

Testando três números

Para verificar se (a, b, c) pode formar um triângulo, você só precisa testar o lado mais longo. Se o lado mais longo for menor que a soma dos outros dois, o triângulo é válido. Se for igual ou maior que essa soma, não há triângulo.

Exemplos de testes:

• (3, 4, 5): o mais longo é 5. A soma dos outros dois é 7. 5 < 7 ✓ — triângulo válido (o famoso triângulo retângulo 3-4-5).
• (5, 7, 12): o mais longo é 12. A soma dos outros dois é 12. 12 ≥ 12 ✗ — degenerado (uma linha reta).
• (2, 3, 6): o mais longo é 6. A soma dos outros dois é 5. 6 > 5 ✗ — impossível.
• (1, 1, 1): o mais longo é 1. A soma dos outros dois é 2. 1 < 2 ✓ — válido (triângulo equilátero).

Intervalo do terceiro lado, dados dois

Conhecer dois lados restringe o terceiro. Se a e b forem dados, o terceiro lado c deve satisfazer:

|a − b| < c < a + b

O limite superior é a desigualdade triangular. O limite inferior é a mesma desigualdade aplicada a um agrupamento diferente: se c fosse menor ou igual a |a − b|, o maior entre a e b excederia a soma c + (o menor entre a e b), violando a desigualdade.

Exemplo: a = 4, b = 7. Então 3 < c < 11. O terceiro lado pode ser qualquer número real estritamente entre 3 e 11.

Por que a "desigualdade estrita" importa

O caso limite a + b = c produz um "triângulo degenerado" — três pontos colineares. Alguns livros didáticos incluem triângulos degenerados em sua definição de "triângulo" (portanto, a desigualdade torna-se ≤). A convenção predominante exige desigualdade estrita, e a maioria das calculadoras (incluindo a nossa) trata o caso de igualdade como inválido.

O mesmo teorema na forma vetorial

A Desigualdade Triangular generaliza-se para vetores. Para quaisquer dois vetores u e v em qualquer número de dimensões:

|u + v| ≤ |u| + |v|

(com igualdade apenas quando u e v apontam exatamente na mesma direção, o caso degenerado). Esta é a desigualdade triangular para a norma euclidiana. A mesma estrutura generaliza-se ainda mais para espaços com produto interno, espaços lineares normados e espaços métricos — a desigualdade é um dos três axiomas definidores de uma métrica d: d(x, z) ≤ d(x, y) + d(y, z).

Portanto, a desigualdade triangular geométrica não é apenas uma curiosidade da geometria plana — é a propriedade definidora de "distância" na matemática.

Erros comuns

• Verificar apenas uma das três desigualdades. Todas as três devem valer. (3, 4, 5) satisfaz a + b > c, mas ainda precisaria satisfazer a + c > b e b + c > a — felizmente, todas as três são verdadeiras. Para (3, 4, 8), a + b > c falha: 3 + 4 = 7 < 8, portanto é inválido. Você só precisa encontrar UMA falha para descartar o triângulo, mas a calculadora testa as três para clareza.
• Usar ≥ em vez de >. Desigualdade estrita. Um "triângulo" degenerado com os três pontos colineares não é um triângulo.
• Confundir "triângulo válido" com "triângulo retângulo válido". A desigualdade triangular determina se QUALQUER triângulo existe. Para verificar se o triângulo é retângulo, verifique separadamente se a² + b² = c² (teste pitagórico, onde c é o lado mais longo).
• Esquecer que todos os lados devem ser positivos. Um comprimento de lado igual a 0 ou negativo não pode formar um triângulo, independentemente dos outros valores.