A Lei de Cosinas é uma pedra angular da trigonometria, estendendo o teorema de Pitágoras a triângulos agudos e obtusos. Ao alavancar a função cosina, podemos derivar esta lei em múltiplos frameworks geométricos, incluindo o plano euclidiano, sistemas de coordenadas e superfícies curvas como esferas. Este artigo fornece uma exploração abrangente dessas derivações, mostrando como o cosino serve como uma ponte entre comprimentos laterais e ângulos em diferentes configurações.

A Lei dos Cosenos na Geometria Euclidiana

Em um triângulo euclidiano padrão com lados a, b, e c, e ângulo C lado oposto c, a Lei de Cosines é expressa como:

c2 = a2 + b2 - 2ab cos C

Esta fórmula generaliza o teorema de Pitágoras: quando C = 90°, porque 90° = 0, reduzindo para c2 = = a2 + b2A derivação depende da construção de gotas perpendiculares que criam triângulos retângulos, permitindo que a definição do cosseno ligue as projeções laterais adjacentes com o ângulo incluído.

Derivação baseada em coordenadas

Colocar vértice C na origem de um sistema de coordenadas cartesiano. a deita-se ao longo do eixo x positivo de C para B, então ponto B = (a, 0). Ponto A está localizado em (b coss C, b pecado C), em que b é o comprimento do lado AC. O lado c é a distância entre pontos A e B. Usando a fórmula de distância:

c2 = (a - Não, não, não. b coss C)2 + (0 – b pecado C)2

Expansão dá:

c2 = = a2 – 2ab coss C + b2 coss2 C + b2 pecado2 C

Desde o pecado2 C + porque2 C = 1, isto simplifica directamente para c2 = = a2 + b2 – 2ab coss CEsta abordagem demonstra de forma clara como a função cossena emerge do lado de projeção b no eixo alinhado com o lado a.

Derivação usando produtos Vector Dot

Uma derivação poderosa e elegante usa álgebra vetorial. Representar os lados como vectores: vamos u e v ser vetores do vértice C aos vértices A e B respectivamente. Em seguida, lado c corresponde ao vetor u - Não, não, não. v. Calcular o comprimento ao quadrado:

c2 = . .u - Não, não, não. v□2 = (u - Não, não, não. v) · (u - Não, não, não. v) = .u□2 + .v□2 – 2 u · v

O produto ponto é definido como u · v = . .u.v□ porque C = = ab coss C. Substituindo produz a mesma fórmula:

c2 = = a2 + b2 – 2ab coss C

Este método destaca o significado geométrico do cosseno como fator de escala para a projeção de um lado para o outro. esta explicação.

Aplicações em geometria coordenada

Na geometria de coordenadas, a Lei de Cosines calcula distâncias e ângulos entre quaisquer dois pontos, mesmo quando o triângulo não é angulado em linha reta. P(x1, y1), Q(x2, y2), e R(x3, y3), a distância PQ pode ser expressa usando as coordenadas e o ângulo em R. Por exemplo, para encontrar o ângulo em R, utilizar o produto de pontos de vetores de R para P e R para Q:

coss R = ( (P - Não, não, não. R) · (Q - Não, não, não. R) / ( .P - Não, não, não. R□ □Q - Não, não, não. R□)

Isto é diretamente derivado da Lei de Cosines e é essencial em campos como computação gráfica para detecção de colisão e física para decomposição de força. Para uma aplicação prática, considere determinar a distância entre duas naves, dado o seu rolamento de um farol — um problema clássico de navegação que depende desta lei.

Geometria esférica e a Lei Esférica dos Cosenos

Na superfície de uma esfera, triângulos são formados por arcos de grandes círculos. A Lei Euclidiana de Cosinas não se sustenta; em vez disso, generaliza para o lei esférica dos cossenos. Para um triângulo esférico com lados a, b, c (medidas como ângulos subtendidos no centro da esfera) e ângulo C no vértice lado oposto c, a lei declara:

cos c = cos a · cos b + sin a · sin b · cos C

Esta fórmula reduz-se à lei euclidiana quando os lados são pequenos em relação ao raio da esfera, como cos x □ 1 – x2/2 e pecado x □ x para pequenos x. A derivação usa o produto ponto de vetores do centro da esfera para os vértices do triângulo na esfera unitária. Por exemplo, deixe vetores A, B, e C apontar para os vértices do centro. Em seguida, lado c é o ângulo entre A e B, então porque c = = A · B. Expressando A e B em termos de C Esta lei é crítica em astronomia para calcular distâncias entre estrelas, em geodésia para mapeamento e em navegação global. Página da Wolfram MathWorld.

Derivando a Lei Esférica da Lei Euclidiana

Considere um triângulo numa esfera unitária. Solte perpendiculares de um vértice para o lado oposto ao longo de grandes círculos. Usando a definição de cosseno para triângulos retos esféricos — onde um lado pode ser expresso através do cosseno de um ângulo adjacente — pode- se manipular algebricamente para atingir a lei esférica. Em alternativa, use a rotação dos eixos de coordenadas. A diferença chave da geometria euclidiana é que a soma dos ângulos excede 180°, e a lei introduz termos sinos ao lado do cosseno, reflectindo a curvatura.

Compare isto com a lei hiperbólica dos cossenos para espaços negativamente curvados.

Geometrias e Generalizações não-euclidianas

O padrão da Lei de Cosinas estende-se além das esferas para geometria hiperbólica, onde as superfícies têm curvatura negativa constante. A lei hiperbólica dos cosinos é:

cosh c = cosh a · cosh b – sinh a · sinh b · cos C

Aqui, as funções hiperbólicas substituem as trigonométricas, refletindo a geometria de uma superfície em forma de sela. Esta lei emerge da métrica do plano hiperbólico e é essencial na teoria da relatividade e análise complexa. A derivação segue uma abordagem vetorial semelhante, mas dentro do quadro do espaço hiperbólico, muitas vezes usando o modelo de Minkowski. Para uma introdução a esta generalização, veja Cobertura da Khan Academy da lei básica antes de explorar formas avançadas.

Exemplos práticos e solução de problemas

Para solidificar a compreensão, considere um triângulo com lados a = 7 cm, b = 10 cm, e ângulo C = 60°. Usando a lei Euclidiana: c2 = 72 + 102 – 2·7·10·cos 60° = 49 + 100 – 140·0.5 = 149 – 70 = 79, portanto c = .79 . . 8,89 cm. Num contexto esférico, se os mesmos comprimentos laterais representam comprimentos de arco numa esfera de raio 1, e C = 60°, então porque c = cos 7° · cos 10° + sin 7° · sin 10° · cos 60°. Conversão para radianos e rendimentos de computação c em radianos, que podem ser convertidos em distância linear multiplicando-se pelo raio da esfera.

Para um problema de geometria de coordenadas: Encontre a distância entre os pontos (2,3) e (5,7) usando o ângulo em (0,0). Vetores: u = (2,3), v = (5,7). O ângulo entre eles é cos . = (2·5+3·7)/(Ñ(4+9)·.(25+49) = (10+21)/(Ñ13·..

Conclusão

A função cossena fornece um fio unificador para derivar a Lei de Cosinas através de Euclidianos, coordenadas, geometrias esféricas e hiperbólicas. Cada derivação reforça a relação entre comprimentos laterais e o cosseno do ângulo incluído, seja através de gotas perpendiculares, álgebra vetorial ou formulações espaciais curvas. Compreender esses contextos aprofunda o alcance das relações de triângulos e equipa matemáticos, cientistas e engenheiros com ferramentas para uma ampla gama de problemas, desde medir distâncias em mapas até navegar pelo cosmos. o artigo completo da Wikipédia que inclui múltiplas provas e história.