Teorema da Soma dos Ângulos InternosConstante Invariante Geométrica [A + B + C = 180° / π rad]
Na geometria euclidiana plana, a soma dos três ângulos internos de qualquer triângulo não degenerado é estritamente igual a 180 graus (π radianos ou 200 grados). Se dois ângulos forem conhecidos, o terceiro é determinado de forma unívoca por 180° - (A + B). Em marcenaria prática, estruturas de telhado e demarcação topográfica de terrenos, este invariante atua como a verificação primária contra desvios de prumo ou erros de alinhamento.
Padrão: 180° (π radianos)
Lei dos Cossenos (Teorema de Pitágoras Generalizado)Invariante Trigonométrico [c² = a² + b² - 2ab cos(C)]
Estende o teorema de Pitágoras para qualquer triângulo, relacionando o comprimento de qualquer lado ao cosseno do seu ângulo oposto: c² = a² + b² - 2ab × cos(C). Resolve configurações Lado-Ângulo-Lado (LAL / SAS) para encontrar comprimentos desconhecidos, e configurações Lado-Lado-Lado (LLL / SSS) através de cos(C) = (a² + b² - c²) / (2ab). Como a função arco-cosseno mapeia unicamente valores entre 0° e 180°, ela soluciona ângulos obtusos e agudos sem ambiguidades de quadrante.
Padrão: c² = a² + b² - 2ab cos(C)
Lei dos Senos (Invariante da Razão Senoidal)Invariante de Razão Proporcional [a/sen(A) = b/sen(B) = c/sen(C) = 2R]
Estabelece que a razão entre o comprimento de qualquer lado e o seno do seu ângulo interno oposto é constante em todos os três vértices, sendo exatamente igual ao dobro do raio da circunferência circunscrita (2R). Esta regra de proporcionalidade é o principal motor de cálculo para solucionar configurações Ângulo-Lado-Ângulo (ALA / ASA) e Ângulo-Ângulo-Lado (AAL / AAS) em navegação em campo aberto, agrimensura e astronomia.
Padrão: a / sen(A) = 2R
Critérios Discriminantes do Caso Ambíguo LLA (SSA)Parâmetro de Bifurcação Geométrica
Avalia a viabilidade geométrica e a quantidade de triângulos possíveis quando se conhecem dois lados e um ângulo agudo não adjacente (a, b e o Ângulo A). Comparar o lado a com a altura perpendicular h = b × sen(A) define a topologia: se a < h, existem 0 triângulos; se a = h, forma-se exatamente 1 triângulo retângulo; se h < a < b, existem exatamente 2 triângulos válidos (um acutângulo e um obtusângulo); e se a ≥ b, forma-se exatamente 1 triângulo.
Padrão: Linha de base da altura h = b × sen(A)
Fórmula de Heron & Modelo de SemiperímetroInvariante de Área [Área = √(s(s - a)(s - b)(s - c))]
Calcula a área exata delimitada por qualquer triângulo diretamente a partir de suas três arestas, sem depender de medições prévias de altura ou ângulos, onde s = (a + b + c) / 2 representa o semiperímetro. Em medições de alta precisão, ordenar os lados de modo que a ≥ b ≥ c evita erros severos de cancelamento numérico ao calcular lotes agudos ou cunhas estreitas, como tesouras de telhado e faixas de terreno.
Padrão: Área = √(s(s - a)(s - b)(s - c))
Raios Fundamentais: Círculo Inscrito e CircunscritoRaios Geométricos Concêntricos [r = Área / s, R = abc / (4 × Área)]
Quantifica as fronteiras circulares interna e externa de um triângulo. O raio da circunferência inscrita (inraio: r = Área / s) representa o maior círculo que cabe dentro do triângulo tangenciando seus três lados, crucial para encaixes estruturais e folgas mecânicas. O raio da circunferência circunscrita (circunraio: R = abc / (4 × Área)) define o círculo que intercepta os três vértices, satisfazendo a relação de distância de Euler d² = R(R - 2r).
Padrão: r = Área / s, R = abc / (4 × Área)
