Beruflich Dokumente
Kultur Dokumente
Identificac
ao de C
onicas
Q:
R2 R definida por
Q(x, y) = Ax2 + Bxy + Cy 2 (3)
Embora nao seja objeto de nosso estudo nesta disciplina, vale informar que Q e uma forma
quadratica em R2 associada a` uma forma bilinear simetrica cuja matriz na base canonica e
dada por
KC =
B/2
B/2
!
.
x y
B/2
B/2
x
y
ou seja,
Q(x, y) = X t KX
Agora observemos que, se encontrarmos uma base que leve a equacao (1) `a forma (2),
teremos
Q(x0 , y 0 ) = A0 x02 + C 0 y 02
e
Q(x0 , y 0 ) =
x0 y 0
A0
C0
x0
y0
ja que B = 0 em (2).
De modo que, a matriz associada a` forma bilinear simetrica nesta base e uma matriz
diagonal
K =
A0
C0
Logo, conclumos que existe uma base do R2 tal que a equacao (1) se escreve na forma
(2) se e somente se, existe uma base do R2 na qual a matriz K e diagonal. Como KC e
!
A0 = 1 e C 0 = 2
x00 = x0
y 00 = y 0
Finalmente, obteremos a equacao (1) reduzida a` forma canonica a qual sabemos identificar.
Exemplo: Faca as mudancas de coordenadas necessarias e transforme a equacao da
conica abaixo na forma canonica.
20
80
5x2 4xy + 8y 2 + x y + 4 = 0
5
5
Solucao: Consideremos
Q(x, y) = 5x2 4xy + 8y 2
ou seja,
Q(x, y) =
x y
= (5 )(8 ) 4 = 2 13 + 36
x
y
3
!
=
0
0
2 1
!
=
1
Escalonando a matriz obtemos x = y e y = t que resulta na reta de solucoes:
2
!
1
x
r2 :
= t 2
y
1
1
5
Onde v2 = ( , 1) e um autovetor de K, mas kv2 k =
. Como queremos uma base
2
2
ortonormal, devemos unitarizar o vetor encontrado, tomando
1 2
v2
= ,
u2 =
kv2 k
5 5
Portanto, a base procurada e a base ortonormal de autovetores
2 1
1 2
, , ,
=
5 5
5 5
e a matriz que faz a mudanca da base canonica para a base e
2
1
5
Mc, = 15
2
5
5
Agora devemos escrever as antigas coordenadas x, y em funcao das novas coordenadas
x0 , y 0 :
x
y
2
1
5
= 15
2
5
5
4
x0
y0
isto e,
2
1
x = x0 y 0
5
5
1 0
2 0
y = x + y
5
5
Substituindo as expressoes encontradas acima para x e y na equacao (1), temos
2 0
80
1 0
1 0
2 0
20
02
02
x y
x + y +4=0
4x + 9y +
5
5
5
5
5
5
que resulta na equacao da conica no sistema {O0 , u1 , u2 }.
4x02 + 9y 02 8x0 36y 0 + 4 = 0
Observe que basta substituirmos as expressoes encontradas para x e y na parte linear da
equacao (1), ja que, pela equacao (5) ja sabemos o resultado da parte quadratica da equacao
(1) quando submetida a esta mudanca de coordenadas.
Agora, completando os quadrados na u
ltima expressao obtida, temos
4(x02 2x0 + 1) + 9(y 02 4y 0 + 4) + 4 4 36 = 0
que e equivalente a
4(x0 1)2 + 9(y 0 2)2 36 = 0
Fazendo a seguinte translacao
(
x00 = x0 1
y 00 = y 0 2
obtemos, finalmente, a equacao da conica na forma canonica, no sistema {O00 , u01 , u02 }.
4x002 + 9y 002 = 36
x002 y 002
+
=1
9
4
a qual facilmente identificamos como uma elipse.
Note que no novo sistema de coordenadas x00 , y 00 , podemos obter facilmentein5
formacoes sobre esta elipse: trata-se de uma elipse horizontal, de excentricidade e =
,
3
cujo eixo-maior mede 6 e o eixo-menor mede 4. As coordenadas dos focos sao f100 = ( 5, 0)
e f200 = ( 5, 0), o centro esta na origem O e os vertices tem coordenadas a1 = (3, 0),
a2 = (3, 0), b1 = (0, 2), b2 = (0, 2).
Mas, atenc
ao, estas nao sao as informacoes da conica original. Se quisermos saber quais
as coordenadas dos focos, vertices, centro, qual e a excentricidade ou outras informacoes da
5
elipse cuja equacao (1) foi dada, devemos encontrar as coordenadas no sistema original, x,
y.
5 = x0 1
x0 = 5 + 1 e y 0 = 2
0 = y0 2
Agora, usando a primeira mudanca de coordenadas que obtivemos, para o sistema dos autovetores unitarios, temos
x = 5
5
1
y = 5+
5
1
2
5
2
2
5
x = 2
5
4
y = 1+
5
donde
2
4
f1 = 2 , 1 +
5
5
Identificac
ao de Qu
adricas
Sabemos que uma quadrica no R3 e uma superfcie formada pelos pontos de R3 cujas
coordenadas satisfazem, em algum sistema, a equacao
Ax2 + By 2 + Cz 2 + Dxy + Exz + F yz + Gx + Hy + Iz + J = 0 (1)
onde os coeficientes sao reais com A, B, C nao todos nulos.
Para identificarmos a quadrica a ideia e encontrarmos um novo sistema de coordenadas,
no qual a equacao (1) tenha a forma
A0 x02 + B 0 y 02 + C 0 z 02 + G0 x0 + H 0 y 0 + I 0 z 0 + J = 0 (2)
isto e, gostaramos de eliminar os termos mistos de 2o grau na equacao (1).
Feito isto, podemos completar quadrados e fatorar, obtendo uma nova mudanca de coordenadas (translacao), de modo que que a equacao (1) fique na forma canonica.
O procedimento utilizado para este fim e o mesmo utilizado para as conicas, agora em 3
dimensoes. Considere a equacao (1) no sistema de coordenadas canonico {O, e1 , e2 , e3 } (ou
{O, i, j, k}), entao siga os seguintes passos:
Passo 1: Considerar apenas os termos de 2o grau da equacao (1): Q(x, y, z), forma
quadratica.
Passo 2: Escrever a forma matricial de Q(x, y, z).
Passo 3: Diagonalizar a matriz da forma quadratica, K33 (simetrica): 3.1. Encontrar
o polinomio caracterstico de K, dado por p() = det(K I). 3.2. Calcular os autovalores,
1 , 2 e 3 , que sao as razes do polinomio caracterstico. 3.3. Calcular os autovetores, v1 ,
v2 , v3 , resolvendo os sistemas lineares homogeneos: (M i I)X = O, com i = 1, 2, 3. 3.4.
Os autovetores do item anterior devem formar uma base ortonormal do R3 , portanto voce
v1
v2
v3
deve unitariza-los obtendo u1 =
, u2 =
, u3 =
.
kv1 k
kv2 k
kv3 k
Passo 4: Obter a matriz mudanca de base, M (ortogonal), cujas colunas sao os autovetores u1 , u2 , u3 .
Passo 5: Encontrar a relacao entre as coordenadas x, y, z do sistema {O, e1 , e2 , e3 } e as
novas coordenadas x0 , y 0 , z 0 do novo sistema {O0 , u1 , u2 , u3 }.
Q(x, y, z) =
A D/2 E/2 x
x y z
D/2 B F/2 y
E/2 F/2 C
z
Q(x, y, z) =
y
x y z
2
17
2
3 2 7
z
Q e uma forma quadratica em R3 associada a uma forma bilinear simetrica cuja matriz
na base canonica C e dada por
KC =
2
17
2
3 2 7
A teoria de Algebra
Linear nos garante que existe uma base ortonormal = {u1 , u2 , u3 },
de autovetores de K na qual K e diagonal.
1
Aten
c
ao: lembre-se que no novo sistema os coeficientes dos termos mistos sao nulos e os coeficientes
de x2 , y 2 , z 2 s
ao os autovalores 1 , 2 e 3 , respectivamente. Portanto, basta utilizar as relacoes obtidas no
Passo 5 para transformar os coeficientes da parte linear da equacao (1).
Q(x , y , z ) =
z
0
0
0
x0
y0
0
0
3
z
ou seja,
Q(x0 , y 0 , z 0 ) = 1 x02 + 2 y 02 + 3 z 03
e a matriz K na base e
K =
0
0
Observe que, como K e diagonal, a base e a base que procuramos para zerar os
coeficientes dos termos mistos de 2o grau.
Portanto, vamos diagonalizar K e determinar a base ortonormal que faz essa transformacao.
O polinomio caracterstico de K e
7
2
3
p() = det(K I) = 2 17 2
3
2
7
= 3 + 312 270 + 648
(3)
Agora, vamos determinar os vetores que formam a base para o novo sistema.
Autovetor associado ao autovalor 1 = 4:
3 2 3
x
0
2 13 2 y = 0
3 2 3
z
0
= t 0
r1 :
y
1
z
0
x
2 2 3
2 8 2 y = 0 .
0
z
3 2 2
Escalonando a matriz, obtemos x = z e 2y = z, isto e, a solucao deste sistema homogenio
e a reta
= t 1
r2 :
y
z
2
O autovetor v2 = (2, 1, 2) tem norma kv2 k = 3, assim, tomemos u2 =
Autovetor associado ao autovalor 3 = 18:
11 2 3
x
0
2 1 2 y = 0
3 2 11
z
0
2 1 2
, ,
.
3 3 3
Escalonando a matriz, obtemos x = z e y = 4z, isto e, a solucao deste sistema homogenio e a reta
= t 4
r3 :
y
z
1
O autovetor v3 = (1, 4, 1) tem norma kv3 k = 18, assim, tomemos u3 =
Assim a base ortonormal e
1
1
2 1 2
1
4
1
, 0, ,
=
, ,
, , ,
3 3 3
2
2
18 18 18
10
4
1
1
, ,
.
18 18 18
1
2
1
2 3
18
4
1
KC, = 0
.
3
18
1
1 2
2 3
18
Fazendo X = KC, X 0 , obtemos a relacao entre as coordenadas x, y, z do sistema
{O, e1 , e2 , e3 } e as novas coordenadas x0 , y 0 , z 0
x
2
y = 0
1
z
2
1
0
3
x
18
1 4
0
3
18
2
1 z0
3
18
isto e,
1
2
1
x = x0 + y 0 + z 0
3
2
18
1 0
4 0
y =
y z
3
18
1 0 2 0
1
z = x + y + z0
3
2
18
Substituindo x, y e z na equacao (1) pelos valores dados acima, temos
1 0
4 0
1 0
1 0 2 0
1 0
1 0 2 0
02
02
02
y z 6 x + y + z +1 = 0
4x +9y +18z 6 x + y + z 12
3
3
3
2
18
18
2
18
donde obtemos
36
4x02 + 9y 02 + 18z 02 4y 0 + z 0 + 1 = 0
18
Nao precisamos nos dar ao trabalho de substituir a parte quadratica, pois ja sabemos
qual sera o resultado (vide (3)).
Agora podemos completar quadrados
4 0 4
2
1
02
02
4x + 9 y y +
+ 18 z + +
+141=0
9
9
18
18
2
2
1
2
02
0
0
4x + 9 y
+ 18 z +
=4
3
3 2
Entao, fazendo a translacao
x00 =
x0
2
y 00 = y 0
3
00
0
z = z +
3 2
02
11
finalmente obtemos
4x002 + 9y 002 +0 8z 002 = 4
que e a equacao de um elipsoide, dada em relacao ao sistema ortogonal de coordenadas
{O00 , u01 , u02 , u03 }.
Note que
2 1
[O ] = 0, ,
,
3 18
00
2
1
isto e, as coordenadas de O00 no sistema ortogonal {O0 , u1 , u2 , u3 } sao dadas por 0, ,
,
3 18
enquanto que
7
8
7
00
[O ]C = , ,
,
18 18 18 C
7
8
7
00
isto e, as coordenadas de O no sistema ortogonal {O, e1 , e2 , e3 } sao dadas por , ,
.
18 18 18
Observe que a base de autovetores que estamos utilizando deve ser sempre ortonormal.
Veja mais exemplos de como garantir isso no livro-texto.
12
Temos ainda os seguintes teoremas que classificam o conjunto solucao de todas as equacoes
de 2o grau em duas variaveis (para conicas) e o conjunto solucao de todas as equacoes de 2o
grau em tres variaveis (para quadricas), respectivamente.
Teorema: Seja C o conjunto dos pontos do espaco que satisfazem a equacao
Ax2 + Bxy + Cy 2 + Dx + Ey + F = 0 (1)
onde os coeficientes sao reais com A, B, C nao todos nulos. Sejam 1 , 2 , 3 as razes do
polinomio
p() = det
B/2
B/2
entao
B2
4
b.) Se 1 2 > 0 entao C e uma elipse, um ponto ou o conjunto vazio.
a.) O produto 1 2 = AC
p() = det
D/2
E/2
D/2
B
F/2
E/2
F/2
entao
a.) Se 1 , 2 , 3 tiverem o mesmo sinal, entao S e um elipsoide, um ponto ou o conjunto
vazio.
b.) Se 1 , 2 , 3 forem nao nulos e nao tiverem mesmo sinal, entao S e um hiperbol
oide
de uma folha, de duas folhas ou um cone elptico.
c.) Se apenas um entre 1 , 2 , 3 for nulo, entao S e um paraboloide elptico, hiperbolico,
um cilindro elptico, hiperbolico, dois planos concorrentes, uma reta ou o conjunto vazio.
13
Refer
encias
[1] Coelho, Flavio Ulhoa & Lourenco, Mary Lilian. Um Curso de Algebra
Linear. Sao Paulo:
EdUSP, 2005.
[2] Santos, Reginaldo J. Matrizes, Vetores e Geometria Analtica. Belo Horizonte: Imprensa
Universitaria da UFMG, 2010.
14