Área com sinal em ℝ2
Teorema
Seja A uma matriz 2 × 2 de colunas a1 e a2. A área do paralelogramo de lados a1 e a2, que é a imagem do quadrado unitário pela transformação x ↦ Ax, é |det A|. Além disso, det A > 0 quando o menor giro de a1 até a2 é no sentido anti-horário, det A < 0 quando é no sentido horário, e det A = 0 quando a1 e a2 estão numa mesma reta que passa pela origem.
Por quê. Para dois vetores u e v de ℝ2, chame de área com sinal do par (u, v) a área do paralelogramo de lados u e v, tomada com sinal + quando o menor giro de u até v é anti-horário e com sinal − quando é horário. Quando u e v estão numa mesma reta que passa pela origem, a área com sinal é 0. Vista como função da matriz de linhas u e v, a área com sinal tem as três propriedades da definição:
- A matriz de linhas e1 e e2, os vetores da base canônica, é I, e o paralelogramo de lados e1 e e2 é o quadrado unitário, de área 1, com menor giro anti-horário de e1 até e2.
- Trocar u e v não muda o paralelogramo, mas inverte o sentido do menor giro e, por isso, muda o sinal da área com sinal.
- Fixado v ≠ 0, a área com sinal é o comprimento de v vezes a altura com sinal de u: a distância da ponta de u até a reta que passa pela origem e pela ponta de v, com o mesmo sinal da área. Essa altura é o produto escalar de u pelo vetor unitário perpendicular a v que aponta para o lado em que a área com sinal é positiva; por isso, ela é uma função linear de u. Se v = 0, a área com sinal é 0 para todo u. Com u fixo, a linearidade em v segue do item 2.
Pela unicidade (guia Pelos pivôs), a área com sinal do par (u, v) é o determinante da matriz de linhas u e v. Pela propriedade 10, ela também é o determinante da matriz de colunas u e v.
Exemplo
A matriz A = 2−131 tem colunas a1 = (2, 3)T e a2 = (−1, 1)T, e
det A = 2 · 1 − (−1) · 3
= 5.
O paralelogramo de lados a1 e a2 tem área 5, e o menor giro de a1 até a2 é anti-horário. Trocando as duas colunas, a área continua 5, mas o determinante passa a ser −5.
Volume com sinal em ℝ3
Seja A uma matriz 3 × 3 de colunas a1, a2, a3. O volume do paralelepípedo de arestas a1, a2, a3, que é a imagem do cubo unitário pela transformação x ↦ Ax, é |det A|, e essa transformação multiplica todos os volumes por |det A|.
O sinal de det A se lê com o produto vetorial. O produto vetorial de dois vetores u = (u1, u2, u3)T e v = (v1, v2, v3)T de ℝ3 se escreve u × v e é o vetor
u × v = u2v3 − u3v2u3v1 − u1v3u1v2 − u2v1.
Ele é perpendicular a u e a v, o seu comprimento é a área do paralelogramo de lados u e v, e ele é o vetor nulo quando u e v estão numa mesma reta que passa pela origem. Por exemplo, e1 × e2 = e3. Desenvolvendo as contas, obtém-se det A = (a1 × a2) · a3, o produto escalar de a1 × a2 por a3.
Assim, quando a1 e a2 não estão numa mesma reta que passa pela origem, det A > 0 se a3 está do mesmo lado do plano de a1 e a2 que o vetor a1 × a2, e det A < 0 se a3 está do outro lado. No primeiro caso, diz-se que a1, a2, a3 seguem a regra da mão direita, como e1, e2, e3: com os dedos da mão direita curvados de a1 para a2, o polegar aponta para o lado do plano em que está a3. No segundo caso, eles seguem a regra da mão esquerda.
Para n > 3 não há desenho, e |det A| é tomado como a definição do volume n-dimensional do paralelepípedo de arestas a1, …, an. Em qualquer tamanho, det A = 0 se, e somente se, as colunas de A são linearmente dependentes.
Exemplo
A matriz triangular 210021002 tem determinante 2 · 2 · 2 = 8: o paralelepípedo das colunas tem volume 8, e as colunas seguem a regra da mão direita. Em 101011112, a terceira coluna é a soma das duas primeiras: as três colunas estão num plano que passa pela origem, o paralelepípedo das colunas fica contido nesse plano e tem volume 0, e o determinante é 0.
Na bancada: no quadro Colunas de A, arraste as pontas de a1 e a2 e observe a cor do paralelogramo, a seta curva de a1 até a2 e a imagem da letra F, que aparece espelhada quando det A < 0. No controle Tamanho da matriz, do painel Matriz A, escolha 3 × 3, em ℝ3, para ver o paralelepípedo e a seta tracejada na direção do produto vetorial a1 × a2; os exemplos Triangular 3 × 3 e Três colunas num plano, no painel Exemplos, são os desta guia.