Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
GEOMETRÍA
Grado en Fı́sica Curso académico 2011-12
Autoevaluación 4 - 2o Parcial Resuelto
Ejercicio 3 Se considera la cónica 3x2 + 2xy + 3y 2 − 8x − 8y + 6 = 0. Se pide:
donde la matriz (aij )i,j=1,...,n se denomina matriz de la cónica, en este caso dicha matriz
es:
6 −4 −4
A = −4 3 1 .
−4 1 3
6 −4 −4
3 1
Tenemos que |A| = −4 3
1 = −16 6= 0 y |A00 | =
= 8 > 0, luego es una
−4 1 1 3
3
elipse. Veamos si es real o imaginaria.
Como T r(A00 ) = 6 > 0 y |A| < 0, tenemos que sig(|A|) 6= sig(T r(A00 )) y, por tanto, la
cónica es una elipse real.
La ecuación reducida de una elipse tiene la forma:
|A|
λ1 x2 + λ2 y 2 + =0
|A00 |
donde λ1 y λ2 son los autovalores de A00 y, por tanto, los obtenemos resolviendo la ecuación
caracterı́stica:
λ − 3 −1
|λI − A00 | = = (λ − 3)2 − 1 = λ2 − 6λ + 8 = (λ − 2)(λ − 4) = 0 .
−1 λ − 3
|A|
Ası́, λ1 = 2 y λ2 = 4 y |A00 |
= −2. Por tanto, la ecuación reducida es:
2x2 + 4y 2 = 2 ≡ x2 + 2y 2 = 1 .
2x − 2y = 0 ≡ x = y
−4 + 4x = 0 ⇒ x = 1 = y .
0 0 1 a
Tenemos que:
a −1 0
√ √
|A| = −|A00 | = − −1 a 1 = −(a3 − a − a) = −a(a2 − 2) = −a a − 2 a + 2 .
0 1 a
√
Luego, |A| = 0 ⇔ a = 0 ó a = ± 2.
√ √
Además, |A00 | = −|A| = a(a2 − 2) = a(a − 2)(a + 2).
Ası́ que √
|A00 | = 0 ⇔ |A| = 0 ⇔ a = 0 ó a = ± 2 .
Calculamos el polinomio caracterı́stico de A00 , para ası́, obtener los autovalores y la signatura:
λ−a 1 0
P (λ) = |λI − A00 | = 1 λ − a −1 =
0 −1 λ − a
√ √
Entonces P (λ) = 0 ⇔ λ = a ó (λ − a)2 − 2 = 0 ≡ λ − a = ± 2 ≡ λ = a ± 2.
√ √
Por tanto, los autovalores de A00 son a, a + 2 y a − 2.
Veamos las distintas posibilidades:
√
Caso 1: Si a 6= 0 y a 6= ± 2, entonces |A| = 6 0 y tenemos una cuádrica ordinaria. Además,
como |A00 | =6 0, no obtendremos paraboloides.
Ahora tenemos que considerar la signatura σ de A00 y el signo de |A| para determinar de
qué cuádrica se trata.
Distinguimos los siguientes subcasos:
√ √ √
Caso 1.1: Si a < √ − 2, entonces
√ σ = 3 pues a < 0, a + 2 < 0 y a − 2 < 0. Además,
|A| = −a a − 2 a + 2 > 0 y la cuádrica es un elipsoide imaginario.
√ √ √
Caso 1.2: Si − 2 < a < √ √ σ = 1 pues a < 0, a + 2 > 0 y a − 2 < 0.
0, entonces
Además, |A| = −a a − 2 a + 2 < 0. Por tanto, la cuádrica es ahora un hiper-
boloide elı́ptico.
√ √ √
Caso 1.3: Si 0 < a < √2, entonces
√ de
nuevo σ = 1 pues a > 0, a+ 2 > 0 y a− 2 < 0.
Ahora |A| = −a a − 2 a + 2 > 0. Por tanto, la cuádrica es un hiperboloide
hiperbólico.
√
Caso 1.4: Si 2 < a, entonces σ = 3, pues en este caso los tres autovalores son positi-
vos, y |A| < 0. Por tanto, tenemos un elipsoide real.
√
Caso 2: Si a = 0 ó a = ± 2, entonces |A| = 0 y tenemos una cuádrica degenerada.
Como también |A00 | = 0, la cuádrica no será un cono.
Ahora calculamos el invariante I2 :
√ √ √ √
I2 = λ1 λ2 + λ1 λ3 + λ2 λ3 = a a + 2 + a a − 2 + a + 2 a − 2 = 3a2 − 2 .
Para distinguir entre cilindros y pares de planos, calculamos el invariante I¯3 , que recorde-
mos que está definido por:
I¯3 = |A11 | + |A22 | + |A33 |.