4.1 INTRODUÇÃO

4.1.1 Evolução da Multiplicação de Vetores
Vimos que podemos multiplicar matrizes quadradas e obter novamente uma matriz. Não seria bom se também pudéssemos multiplicar dois vetores e obter um vetor de volta? O produto escalar, que é o produto matricial de um vetor linha por um vetor coluna, nos deu um número. O produto matricial de um vetor coluna por um vetor linha nos daria uma matriz quadrada. Como podemos projetar um produto de vetores coluna que nos dê novamente um vetor coluna? Essa foi a questão que William Rowan Hamilton ponderou por muitos anos. Conta-se que toda manhã, quando ele descia para a mesa do café, seu filho pequeno perguntava: "Pai, você já consegue multiplicar ternos?" ao que William respondia: "Não, filho, ainda não sei como fazer isso".
4.1.2 Quaternions e Produto Vetorial
Finalmente, Hamilton teve sucesso. A lenda conta que, enquanto caminhava com sua esposa ao longo do Canal Real em Dublin, ao cruzar a ponte Brougham, ele subitamente teve a inspiração: é preciso multiplicar quádruplos! Esses números seriam escritos como onde são símbolos que satisfazem . Ele ficou tão feliz que dedicaria o resto de sua vida a esses números. Agora, verifica-se que essa álgebra também produz um produto de vetores que é chamado de produto vetorial. Ele tem muitas propriedades interessantes, como o fato de o produto de dois vetores ser perpendicular e o comprimento estar relacionado à área. Ele também tem aplicações surpreendentes na física.
4.2 AULA
4.2.1 Unicidade de
O espaço tridimensional é especial. Ele não é apenas o único espaço euclidiano no qual o problema de Kepler é estável1, ele também possui um produto vetorial que está no mesmo espaço. Tal produto pode ser definido em , mas ele produz um vetor em . Acontece que, para , o resultado está novamente em . O problema de "multiplicar ternos" foi ponderado por William Hamilton na primeira metade do século XIX e está relacionado à fascinante história dos quaternions. A descoberta dos quaternions foi simultaneamente o berço do produto escalar e do produto vetorial.
4.2.2 Propriedades do Produto Vetorial
O produto vetorial de dois vetores e é
Calcule o produto escalar com ou para ver que é perpendicular a ambos e . Também é óbvio que . O produto é útil para construções em . Os vetores são orientados como os três primeiros dedos da mão direita: se for o polegar, o dedo indicador, então é o dedo médio. Seja :
Teorema 1. e .
Demonstração. Verificaremos em sala de aula, por força bruta, a identidade de Lagrange que também é chamada de fórmula de Cauchy-Binet. Agora use para obter o resultado com . ◻
4.2.3 Aplicações Geométricas do Seno
Dado um triângulo com comprimentos dos lados e ângulos , onde é oposto a etc. Temos a seguinte -fórmula
Corolário 1.
Demonstração. Podemos usar o teorema e expressar a área do triângulo como ou ou . Igualando essas três quantidades e dividindo pelo fator comum, obtemos a -fórmula. ◻
4.2.4 Percepções Geométricas de Área
Isso é útil em aplicações para definir a área do paralelogramo como . Que isso é justificado pode ser visto em duas dimensões e:
Corolário 2. é a área do paralelogramo gerado por e .
Demonstração. Use a fórmula e observe que é a altura do paralelogramo gerado por e . O comprimento da base é . ◻
4.2.5 Produto Escalar Triplo
O escalar é chamado de produto escalar triplo de . Seu sinal define uma orientação dos três vetores. Ele também é o determinante da matriz O valor absoluto de define o volume do paralelepípedo gerado por , e . Sem o valor absoluto, falamos também de volume com sinal.
4.2.6 Observação: Produto Vetorial em Dimensões Superiores
Em dimensões superiores, o produto vetorial é chamado de produto exterior. Usa-se em vez de , que é usado em três dimensões. Se é uma escolha de dois elementos em e são dois vetores em , então . A fórmula ainda é válida e a demonstração é a mesma. Precisamos apenas verificar novamente a fórmula de Cauchy-Binet . Mas isso é melhor feito usando matrizes. Se é a matriz que contém como colunas, então , onde a soma à direita é sobre todas as submatrizes de . A expressão é chamada de menor. A fórmula de Cauchy-Binet é super legal2. A propósito, se tivermos vetores e construirmos , uma matriz que tem esses vetores como colunas. Agora, é o volume do paralelepípedo gerado por esses vetores. E Cauchy-Binet escreve isso como uma soma de quadrados de volumes -dimensionais de projeções, o que é, de certa forma, uma generalização de Pitágoras.
4.3 EXEMPLOS
Exemplo 1. Qual é a área do triângulo , e ? Encontramos o produto vetorial entre o vetor que vai de para e o vetor que vai de para . O produto vetorial é Seu comprimento é . A área do triângulo é a metade disso: .
Exemplo 2. Encontre o volume do paralelepípedo com vértices e cantos anexados , e . O volume com sinal é e tome o valor absoluto. Um número negativo indica que , , é orientado para a esquerda.
4.4 ILUSTRAÇÕES



EXERCÍCIOS
Exercício 1. Encontre um vetor perpendicular aos vetores e . Em seguida, use esse resultado para encontrar um vetor perpendicular a ambos e .
Exercício 2. Um scanner 3D é usado para construir um modelo 3D de um rosto. Ele detecta um triângulo que tem seus vértices em , e . Encontre a área desse triângulo, bem como um vetor perpendicular ao triângulo.3
Exercício 3. Encontre o volume do paralelepípedo que tem os vértices , , , , , , , .
Exercício 4. Investigue quais das seguintes fórmulas são sempre verdadeiras para todos os vetores . Se for verdade, explique, cite uma fonte (por exemplo, na web), ou faça uma verificação manual ou por álgebra computacional. Se não for verdade, encontre um contraexemplo.
Exercício 5. Dados dois vetores e , construa as matrizes \begin{aligned} P= \begin{bmatrix} 0 & a & b \\ -a & 0 & c \\ -b & -c & 0 \end{bmatrix}, \quad Q= \begin{bmatrix} 0 & u & v \\ -u & 0 & w \\ -v & -w & 0 \end{bmatrix}. \end{aligned} Compare e . Descreva o que você observa. Tente formular isso como um teorema.
- por um teorema de Joseph Bertrand de 1873 e o trabalho de Sundman-von Zeipel↩︎
- O. Knill, Cauchy Binet for pseudo-determinants, Lin. Alg. and its Applications 459 (2014) 522-547↩︎
- O formato STL, que é usado para impressão 3D, tem uma forma extremamente simples. Ele consiste em entradas como
facet normal 0.15-0.97-0.20
outer loop
vertex -1.6996-0.5597-2.8360
vertex -1.8259-0.5793-2.8374
vertex -1.7232-0.5399-2.9509
endloop
endfacet
A primeira linha fornece o vetor normal, depois há um loop com três vértices definindo o triângulo. Obviamente há certa redundância, pois se poderia obter o vetor normal a partir dos pontos usando o produto vetorial. Mas há um propósito: a informação redundante torna o trabalho com a estrutura de dados mais rápido; segundo, também se pode examinar situações em que o vetor normal não é perpendicular à superfície, podendo-se alterar a maneira como a superfície é "sombreada", como a luz é refletida na superfície. Terceiro, a redundância é sempre útil para detectar erros. Nossa informação genética no DNA é armazenada de forma altamente redundante. Isso permite a correção de erros.↩︎