Documente Academic
Documente Profesional
Documente Cultură
Curso 2015-16
CUDRICAS
Definiciones
Invariantes mtricos
Clasificacin
Elementos
Elipsoide
B, B 0 , C , C 0 , para Ex ;
A, A0 , C , C 0 , para Ey y
A, A0 , B, B 0 , para Ez .
Elipsoide
z
C0
Ex
A0
B0
B
y
A
x
Ey
C
Elipsoide
Definicin
Se llama elipsoide de vrtices A, A0 , B, B0 , C, C0 al lugar geomtrico
que describe una elipse variable situada en un plano perpendicular
al eje OZ y que tiene sus vrtices en las elipses Ex y Ey .
x2
y2
z2
+
+
= 1.
a2 b2 c2
Demostracin:
Observemos que las elipses generadoras Ex , Ey y Ez tienen
ecuaciones:
y2 z2
+
= 1, en el plano x = 0;
b22 c 22
x
z
Ey : 2 + 2 = 1, en el plano y = 0;
a2
c2
y
x
Ez : 2 + 2 = 1, en el plano z = 0.
a
b
Ex :
Elipsoide
Demostracin:
Tomemos ahora un
q plano horizontal: z = h que corta a Ex en
los puntos (0, b 1 ( hc )2 , h) y a Ey en los puntos
q
(a 1 ( hc )2 , 0, h).
La elipse variable tendr las ecuaciones:
x2
y2
= 1, z = h
+
h2
h2
2
2
a 1 2
b 1 2
c
c
Si eliminamos h entre las dos ecuaciones nos queda la
ecuacin dada del elipsoide.
Lema
El elipsoide es simtrico respecto al origen, que ser su centro,
respecto a los tres ejes cartesianos, que se denominan ejes, y
respecto a los planos x = 0, y = 0 y z = 0, que se denominan
planos principales.
Demostracin:
Los elementos dados son de simetra ya que si (x, y , z) son
las coordenadas de un punto del elipsoide, tambin son
puntos del elipsoide todos los de coordenadas (x, y , z).
Elipsoide
Nota:
I
Si a = b = c es una esfera.
9
Elipsoide de revolucin
Lema
El lugar geomtrico de los puntos cuya suma de distancias a dos
puntos fijos es constante es un elipsoide de revolucin.
Demostracin:
En efecto, supongamos que los puntos fijos son (k, 0, 0) y
(k, 0, 0) y que 2a es la constante (2a > 2k), entonces la
ecuacin del lugar es
q
q
(x k)2 + y 2 + z 2 + (x + k)2 + y 2 + z 2 = 2a
10
Elipsoide de revolucin
Demostracin:
De aqu se deduce, elevando al cuadrado dos veces sucesivas
y cuidando siempre que los sumandos con races estn en el
mismo miembro de la ecuacin,
(a2 k 2 )x 2 + a2 y 2 + a2 z 2 = a2 (a2 k 2 )
=
x2 y2 z2
+ 2 + 2 = 1, b2 = a2 k 2 > 0.
a2
b
b
Nota:
Obsrvese que el elipsoide de revolucin es una superficie
que al cortarla por planos que pasan por los puntos fijos
(planos conteniendo al eje OX ) se obtienen elipses con los
mismos focos y excentricidad.
11
(ex2
1)b =
(ey2
1)a
ex2 1b =
ey2 1a = c
12
Definicin
El hiperboloide de una hoja que tiene por vrtices A, A0 , B y B0 es
el lugar geomtrico de los puntos que describe una elipse variable
situada en un plano perpendicular al eje OZ y que tiene sus vrtices
en las hiprbolas Hx y Hy .
13
A0
B0
A
x
Hx
Hy
14
15
= 1.
a2 b2 c2
Demostracin:
La ecuacin de la hiprbola Hx es
el plano z = h obtenemos:
y2 z2
= 1 y al cortar con
b2 c 2
r
2
y 2 h2
h
h2
2
2
=
1
=
y
=
b
1
+
=
y
=
b
1
+
b2
c2
c2
c2
!
r
h2
Esto es, los puntos 0, b 1 + 2 , h .
c
16
x2 z2
Anlogamente la hiprbola Hy tiene ecuacin 2 2 = 1 y
a
c
q
h2
corta al plano z = h en los puntos a 1 + c 2 , 0, h . As la
elipse variable que se encuentra en el plano horizontal z = h
es la de ecuacin
x2
a2 (1 +
h2
)
c2
y2
b2 (1 +
h2
)
c2
=1
x2 y2
h2
+
=
1
+
,z =h
a2
b2
c2
Lema
El hiperboloide de una hoja es simtrico respecto al origen, que ser
su centro, respecto a los tres ejes cartesianos, que se denominan
ejes, y respecto a los planos x = 0, y = 0 y z = 0, que se
denominan planos principales.
Nota:
Si a = b el hiperboloide se dice de revolucin, alrededor del
eje OZ (la elipse E es una circunferencia). En general, la
superficie obtenida al girar una hiprbola alrededor de su eje
secundario es un hiperboloide de revolucin de una hoja.
18
Definicin
El hiperboloide de dos hojas es el lugar geomtrico de los puntos
que describe una elipse variable en un plano perpendicular al eje
OX que tiene sus vrtices en las hiprbolas Hy y Hz .
19
Hy
Hy
A0
Hz
Hz
20
21
Lema
La ecuacin reducida del hiperboloide elptico es
x2
y2
z2
= 1.
a2 b2 c2
Demostracin:
Las ecuaciones de las hiprbolas Hy , Hz son:
Hy :
x2 z2
2 = 1, y = 0;
a2
c
Hz :
x2 y2
2 = 1, z = 0
a2
b
22
Demostracin:
Entonces la elipse variable tiene ecuacin
y2
b2 (
h2
a2
1)
z2
2
c 2 ( ha2 1)
= 1, x = h.
2 2 = 1.
b2 c 2
a2
a2
b
c
24
Lema
El hiperboloide de dos hojas es simtrico respecto al origen, que
ser su centro, respecto a los tres ejes cartesianos, que se
denominan ejes, y respecto a los planos x = 0, y = 0 y z = 0, que
se denominan planos principales.
Nota:
Si b = c el hiperboloide se dice de revolucin, alrededor del
eje OX (la elipse variable es una circunferencia). En general,
si giramos una hiprbola alrededor de su eje focal obtenemos
un hiperboloide de revolucin de dos hojas.
25
Demostracin:
Supongamos que los puntos fijos son (k, 0, 0) y que 2a es la
constante (siendo ahora 2a < 2k), entonces la ecuacin es:
q
q
(x k)2 + y 2 + z 2 (x + k)2 + y 2 + z 2 = 2a.
Y se transforma en
(k 2 a2 )x 2 a2 y 2 a2 z 2 = a2 (k 2 a2 )
26
Demostracin:
= b2 x 2 a2 y 2 a2 z 2 = a2 b2 , tomando b2 = k 2 a2 .Queda:
x2 y2 z2
2 2 =1
a2
b
b
que es la ecuacin de un hiperboloide de revolucin de dos
hojas.
Nota:
Obsrvese que los planos que pasan por los dos puntos fijos
cortan al hiperboloide de revolucin de dos hojas en
hiprbolas con los mismos focos y excentricidad.
27
Paraboloide elptico
Definicin
El paraboloide elptico es el lugar geometrico de los puntos
descritos por una elipse variable en un plano perpendicular al eje
OZ que tiene sus vrtices en las dos parbolas Px y Py .
28
Paraboloide elptico
Py
Px
x
29
Paraboloide elptico
30
Lema
La ecuacin reducida del paraboloide elptico es
2z =
x2 y 2
+ .
p
q
31
Lema
El paraboloide elptico carece de centro, es simtrico respecto del
eje OZ, que se denomina eje, y respecto de los planos x = 0 e
y = 0, que se denominan planos principales.
32
Paraboloide elptico
Nota:
I
33
Paraboloide hiperblico
Definicin
El paraboloide hiperblico es el lugar geometrico de los puntos
descritos por una parbola variable paralela a Px que se desplaza de
modo que su vrtice recorre la parbola Py .
34
Paraboloide hiperblico
Py
Px
35
Paraboloide hiperblico
36
Lema
La ecuacin reducida del paraboloide hiperblico es
2z =
x2 y 2
.
p
q
37
Lema
El paraboloide hiperblico carece de centro, es simtrico respecto
del eje OZ, que se denomina eje, y respecto de los planos x = 0 e
y = 0, que se denominan planos principales.
38
Paraboloide hiperblico
Nota:
I
39
Cono elptico
Definicin
El cono elptico de base la elipse E y vrtice el punto O es el lugar
geomtrico de los puntos que describe una elipse variable situada en
un plano perpendicular al eje OZ y que tiene sus vrtices en las
rectas r, r0 , s y s0 .
40
Cono elptico
z
A0
B0
B
A
r0
s0
r
41
Cono elptico
42
Lema
La ecuacin reducida del cono elptico es
x2
y2
z2
+
=
.
a2 b2
c2
43
Lema
El cono es simtrico respecto al origen, que ser su vrtice, respecto
a los tres ejes cartesianos, que se denominan ejes, y respecto a los
planos x = 0, y = 0 y z = 0, que se denominan planos principales.
44
Cono elptico
Nota:
Si a = b el cono se dice de revolucin, alrededor del eje OZ
(la elipse E es una circunferencia). En general, la superficie
obtenida al girar un par de rectas secantes alrededor de una
de sus rectas bisectrices es un cono de revolucin.
45
Cilindro
Definicin
El cilindro de base la cnica C en el plano z = 0 es el lugar
geomtrico de los puntos que describe una cnica variable paralela
a C que se desplaza siguiendo la direccin del eje OZ.
Lema
La ecuacin reducida del cilindro es la de la cnica que tiene como
base.
46
Cilindro
z
47
Cilindro
48
Ecuacin General
Una superficie cuadrtica es el conjunto de puntos de R3 que
satisface una ecuacin de segundo grado del tipo
a11 x2 + a22 y2 + a33 z2 + 2a12 xy + 2a13 xz + 2a23 yz + 2a01 x + 2a02 y + 2a03 z + a00 = 0
que de forma matricial se puede representar, si denotamos
x = (1 x y z)t , de la siguiente forma:
xt Ax = 0,
donde
a00
a01
A=
a02
a03
a01
a11
a12
a13
a02
a12
a22
a23
(1)
a03
a13
a23
a33
49
Ecuacin General
Definicin
Una cudrica en el espacio Eucldeo es el lugar geomtrico de los
puntos (x, y, z) que satisfacen la ecuacin (1).
La matriz A se llama matriz de la cudrica en los ejes dados.
La cudrica se dice ordinaria o regular si su matriz es regular.
Si la matriz es singular se dir cudrica degenerada.
50
Invariantes mtricos
Lema
Dada la cudrica xt Ax = 0 referida a un sistema de coordenadas
cartesianas (x, y, z), sea f un movimiento en el espacio de expresin
matricial x = Mx0 donde (x0 , y0 , z0 ) son las nuevas coordenadas y
M es la matriz de f 1 . La ecuacin de la cudrica en las nuevas
coordenadas es
x0t Mt AMx0 = 0 x0t A0 x0 = 0.
51
Invariantes mtricos
Lema
Si xt Ax = 0 es la ecuacin de una cudrica y x0t A0 x0 = 0 es la
ecuacin de la misma tras la aplicacin de un movimiento f de
e se tiene que:
matriz M,
I
I
I
I
I1 = Tr(A00 ) = Tr(A000 )
a11 a12 a11 a13 a22 a23
+
+
I2 =
a12 a22 a13 a33 a23 a33
0
0
0
0
0
0
a
a
a
a12
a13
a23
11
11
22
= 0
0 + a0
0 + a0
0
a12 a22
a
a
13
33
23
33
I3 = |A00 | = |A000 |
I4 = |A| = |A0 |
Invariantes mtricos
Demostracin:
e 1
movimiento
inverso, M = M , tiene la
0
0
0
0
a12 a13
0
0 .
a22 a23
0
a23
a0
0 33 0
0
a11 a12 a13
0
0
0 es ortogonal.
a22
a23
Recordemos que M0 = a21
0
0
0
a13 a23 a33
0
t
Al ser A = M AM, se tiene tambin que A000 = M0t A00 M0 .
Como |M| = |M0 | = 1, al igual que en las cnicas, se
obtiene inmediatamente que |A| = |A0 | y |A00 | = |A000 |.
Por tanto, I4 e I3 son invariantes.
del
Si M es la matriz
1 0
a a0
11
forma M =
b a0
21
0
c a13
53
Invariantes mtricos
Demostracin:
Puesto que A00 y A000 son semejantes, se deduce que ambas
matrices tienen el mismo polinomio caracterstico.
Consideremos los coeficientes del polinomio caracterstico:
a11
a12
a13
a22
a23 =
|A00 I | = a12
a13
a23
a33
54
Invariantes mtricos
Demostracin:
0
0
= 0 0
0
0
0 a13
+ 0 a23
0
0 a33
a12 0
+ 0 a22 0
0 a23
a12
+ 0 a22
0 a23
+
a11 0
0
+ a12 0
a13 0
a12 0 a11
a22 0 + a12
a23 a13
a11 0 a13
+ a12 a23
a13 0 a33
a12 a13
a22 a23 =
a23 a33
a13
a23
a33
a11
a12
a13
55
Invariantes mtricos
Demostracin:
a
a
= + (a33 + a22 + a11 ) 22 23
a23 a33
3
a
a
+ 11 12
a12 a22
a11 a13
+
a13 a33
+ |A00 | = 3 + I1 2 I2 + I3 .
As
I1 = Tr (A00 ) = a11 + a22 + a33 e
a22 a23 a11 a13 a11 a12
+
I2 =
+
a23 a33 a13 a33 a12 a22
Invariantes mtricos
Definicin
La signatura de una matriz simtrica es el valor absoluto de la
diferencia entre el nmero de autovalores positivos y negativos de la
matriz.
Lema
Sean xt Ax = 0 la ecuacin de una cudrica y x0t A0 x0 = 0 la
ecuacin de la misma tras la aplicacin de un movimiento de matriz
inversa M. Sean A00 y A000 las submatrices de A y A0 obtenidas
eliminando la fila y la columna cero. Se tiene que:
I
rang(A) = rang(A0 ) y
(A00 ) = (A000 )
Invariantes mtricos
Demostracin:
Utilizando un resultado que nos dice que si B y C son
matrices invertibles, entonces rango(A) = rango(BA) y
rango(A) = rango(AC ) y teniendo en cuenta que las matrices
A y A0 son congruentes (esto es, existe una matriz M, la
matriz de f 1 , tal que A0 = M t AM), se deduce que
rango(A) = rango(A0 ).
Por otro lado, como consecuencia de que A00 y A000 son
semejantes, tenemos que tienen el mismo polinomio
caracterstico y, por tanto, los mismos autovalores y la
misma signatura.
58
Invariantes mtricos
Nota:
En la clasificacin de las cudricas veremos, para el caso en
que |A| = |A00 | = 0, que existen dos invariantes ms que nos
ayudarn a distinguir entre las cudricas, que son
I2 = a00 a01 + a00 a02 + a00 a03
a01 a11 a02 a22 a03 a33
e I3 = |A11 | + |A22 | + |A33 |.
Lema
Sea A la matriz de una cudrica y A00 la submatriz de A obtenida
eliminando la fila y la columna cero. Se tiene que A00 es
diagonalizable y sus autovalores son reales.
59
Clasificacin
Al igual que vimos en la clasificacin de las cnicas, la matriz
A00 es diagonalizable, sea M0 la matriz ortogonal tal que
M0t A00 M0 es diagonal. De forma que, una vez realizado el
0 0 0
1
0
M0
0
tenemos que la nueva matriz de la cudrica es:
1 0 0
A0 =
0 2 0
0 0 3
y que la ecuacin de la cudrica es:
1 x 2 + 2 y 2 + 3 z 2 + 2x + 2y + 2z + = 0.
(2)
60
Clasificacin
CASO 1: 1 , 2 , 3 6= 0 (Elipsoides,
y Conos)
Hiperboloides
1
0
0
0
1
0
0
0
1
0
1 , 2 , 3
, as la matriz
0 1 0 0 1
0 0 2 0 2
0 0 3
1
3
2
1
2
0
0
0
2
3
0 0 0
1 0 0
0 2 0
0 0 3
0
1
0
0
0
0
1
0
0
0
0
1
= A00
61
Clasificacin
CASO 1: 1 , 2 , 3 6= 0 (Elipsoides, Hiperboloides y Conos)
La ecuacin de la cudrica (2) queda reducida a:
1 x 2 + 2 y 2 + 3 z 2 + k = 0.
(3)
|A|
|A00 |
y la ecuacin reducida es
1 x 2 + 2 y 2 + 3 z 2 =
|A|
.
|A00 |
62
Clasificacin
CASO 1: 1 , 2 , 3 6= 0 (Elipsoides, Hiperboloides y Conos)
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares dePlanos)
Aplicamos la traslacin de vector
la cudrica queda:
1
0
0
0
1
0
0
0
1
0
0 1 0
0 0 2
0 0
1
2
1
0
0
2
2
1 , 2 , 0
0 1
0
2
0
0
0 0
1 0
0 2
0 0
0
0
0
, as la matriz de
0
1
0
0
0
0
1
0
0
0
=
0
1
= A00
64
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
La ecuacin de la cudrica (2) queda reducida a:
1 x 2 + 2 y 2 + 2z = m.
Si intentamos simplificar an ms esta ecuacin, es decir,
aplicar de nuevo algn movimiento que tansforme la matriz
de la cudrica en otra con ms ceros, vemos que surgen dos
posibilidades: 6= 0 y = 0.
Si tenemos en cuenta que |A| = |A00 | = 1 2 2 , vemos que
dichas posibilidades son equivalentes a |A| 6= 0 y |A| = 0.
65
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
Si |A| 6= 0 o equivalentemente
6= 0, aplicamos la
m
traslacin de vector 0, 0, 2 y la matriz de la
cudrica queda:
m
1 0 0 2
1 0 0 0
m 0 0
0 1 0 0 0 1 0 0 0 1 0 0
0 0 1 0 0
0 2 0 0 0 1 0
m
0 0 0
0 0 0 1
2 0 0 1
0 0 0
0 1 0 0
000
=
0 0 2 0 = A
0 0 0
66
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
La ecuacin de la cudrica queda 1 x 2 + 2 y 2 = 2z.
Para calcular utilizamos los invariantes:
s
|A|
|A| = |A000 | = 1 2 2 =
1 2
y queda la ecuacin reducida:
s
1 x 2 + 2 y 2 = 2
|A|
z .
1 2
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
Consideramos el invariante
a22 a23 a11 a13
+
I2 =
a23 a33 a13 a33
a11 a12
+
a12 a22
Si consideramos la matriz
1 0 0
A0 =
0 2 0 ,
0 0 3
68
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
Tenemos en cuenta que la ecuacin
r reducida es
|A|
1 x 2 + 2 y 2 = 2 z con =
y que I2 = 1 2 .
1 2
Se tienen los subcasos:
I
I2 > 0 (sig (1 ) = sig (2 )) s
Paraboloide Elptico
|A|
Si i > 0, tomamos = .
1 2
s
|A|
Si i < 0, tomamos =
.
1 2
I I2 < 0 (sig (1 ) 6= sig (2 )) Paraboloide Hiperblico
s
|A|
Si elegimos 1 > 0, 2 < 0, tomamos =
.
1 2
69
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
Si |A| = 0 o equivalentemente = 0, la ecuacin
reducida queda:
I3
1 x 2 + 2 y 2 = m
donde m =
.
1 2
Veamos que I3 permanece invariante despus de aplicar el
movimiento considerado en el caso 3 = = 0 y que,
adems, I3 = m1 2 , luego,
m=
I3
.
1 2
70
Clasificacin
m 0 0 0
0 1 0 0
Para matriz de la cudrica A00 =
0
0 2 0
0 0 0
0
00
00
00
se
0
0
2
= 0 + 0 m1 2 .
71
Clasificacin
1 0 0
A0 =
0 2 0 y estamos considerando que
0 0 3
2 2
3 = = 0, de donde se obtiene que m =
+
.
1
2
72
Clasificacin
Por otra parte, si calculamos I3 para la matriz A0 , teniendo
en cuenta que 3 = = 0, obtenemos que
I3 = |A011 | + |A022 | + |A033 | =
0 0
= 2 0 + 1 0 + 1 0
0 0 0 0 0 0 0 2
= 0 + 0 + 1 2 2 1 2 2 =
2 2
= +
+
1 2 = m1 2 .
2
1
Por tanto, I3 permanece invariante e I3 = m1 2 .
73
Clasificacin
CASO 2. 1 , 2 6= 0, 3 = 0 = |A00 | = 0 (Paraboloides,
Cilindros Elpticos e Hiperblicos y Pares de Planos)
La ecuacin es 1 x 2 + 2 y 2 = m
Se pueden distinguir los casos:
donde m =
I3
.
1 2
II2 = 1
2 > 0 (sig (1 ) = sig (2 ))
I3 6= 0 Cilindro Hiperblico
I3 = 0 Par de Planos Secantes Reales
q
x = 2 y
1
74
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
1 0
1 0
2 0
0 1 0 0 0 0 0 0 1
0 0 1 0 0 2 0 0
2
0 0 0
0 0 0 1
0 0
0
0 0
0 2
0 0
0
0
0
0, 2 , 0 , as
0
0
1
0
0
0
=
0
1
= A00
75
Clasificacin
76
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
Comoahora la matriz de la
cudrica es
2
2 0
0 0 0 se tiene que
A00 =
0
0 2 0
0 0 0
I3 = |A00 | + |A00 | + |A00 | =
11
22
33
2
2
2
2 0 2 2
=
0
2 0 +
0 0 +
0 0
0 0
0
0
0 0
0 2
= 2 2 2 2 = 2 (2 + 2 )
77
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
La ecuacin (2) de la cudrica queda:
2 y 2 + 2x + 2z = t , donde t = +
de la
Esto es,
la matriz
2
2 0
0 0
A00 =
0
0 2
0 0
subcasos:
2
.
2
cudrica
es
0
0
78
Clasificacin
x0 p
z 0,
x=p 2
2
2
+
+ 2
y = y 0,
x0 + p
z0
z=p
2
2
2
2
+
+
79
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
As la matriz de la cudrica queda:
1
0
0
2 + 2
0
0
0 2 2
+
0
0
0 2
+ 2
1
0
0 2
+ 2
p t
2 + 2
=
0
0
0
0
0
0
0
2
0
0
1
0
2 + 2
0
0 0
0 2 2
0
2 + 2 0
0
0
0
2
0
0
0
0
0 2
+ 2
1
0
2 + 2
0
0
= A000
0
0
80
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
La ecuacin de la cudrica queda:
p
2 y 2 + 2 2 + 2 x = t,
y, tomando p =
2
2
2
Sabemos que I3 =
s 2 ( + ) = 2 p , de donde se
I3
deduce que p = .
2
81
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
Si 2 < 0, considerando la traslacin
t
, y 0 = y , z 0 = z, nos queda la ecuacin
x = x 0 + 2p
1
p
x y2 = 2
2 y 2 + 2px = 0 y 2 = 2
2
|2 |
I3
x.
2
Clasificacin
I3
x ,
(2 )3
83
Clasificacin
t 0 0 0
0 0 0 0
A00 =
0 0 2 0
0 0 0 0
84
Clasificacin
a00 a02
+
a02 a22
a00 a03
+
a03 a33
85
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
Para la matriz
t
0
A00 =
0
0
0 0
0 0
0 2
0 0
tenemos que
I2 = t 0 + t 0
0 0 0 2
0
0
0
0
t 0
+
0 0
= t 2 .
86
Clasificacin
CASO 3: 1 = 0, 2 6= 0, 3 = 0 (Cilindros Parablicos y
Pares de Planos paralelos)
00
La
A es el resultado de aplicar la traslacin de vector
matriz
0, 2 , 0 a la matriz
A0 =
0 0
0 2
0 0
0
0
2
.
2
87
Clasificacin
88
I2
(2 )2
I2
|2 |
I
I Si I2 > 0 Par de Planos Paralelos Imag. y = i |22|
89
1 = 0
2 6= 0
3 = 0
ECUACIN REDUCIDA
1 x 2 + 2 y 2 + 3 z 2 = |A|A|
00 |
x2
|A| 6= 0 q
+ 2 y 2 = 2 |A|
z
1 2
Tipos de Cudricas
Elipsoides
Hiperboloides
Conos
Paraboloides
|A| = 0
1 x 2 + 2 y 2 = 1I32
Cilindros Hiperblicos
Cilindros Elpticos
Planos Secantes
rangq
(A) = 3
Cilindros Parablicos
y 2 = 2 (I23)3 x
rang (A) < 3
y 2 = (I22)2
Planos Paralelos
Plano Doble
90
Clasificacin
=3
(de 1 Hoja)
=1
(de 2 Hojas)
(
I2 > 0 Paraboloide Elptico
|A00 | = 0
I2 < 0 Paraboloide Hiperblico
91
Clasificacin
Cudricas Degeneradas: |A| = 0
I
I
|A00 | 6= 0
= 3 Cono Imaginario
= 1 Cono Real
|A00 | = 0
I 6= 0 Cilindro Hiperblico
I2 < 0 3
I3 = 0 Par de Planos Secantes Reales
I3 6= 0 Cilindro Parablico
I2 = 0, I1 6= 0
I3 = 0, I2 = 0 Plano Doble
92
Clasificacin
Ejemplo - Ejercicio 6.2.2:
Clasificar la cudrica 2xy 6x + 10y + z 31 = 0 y hallar su
ecuacin reducida.
31 3 5 1/2
3
0 1 0
.
La matriz de la cudrica es A =
5
1 0 0
1/2 0 0 0
1 2
1
Luego, |A| = 2 = 4 y |A00 | = 0. Por tanto, la cudrica es
un paraboloide. Para identificar de qu tipo es necesitamos
conocer I2 .
Calculemos el polinomio caracterstico de A00 :
1
0
|A00 I | = 1 0 = 3 + = 3 + I1 2 I2 + I3 .
0
0
93
Clasificacin
Como I2 = 1 < 0, tenemos un paraboloide hiperblico, cuya
x2 y2
ecuacin reducida es
q
1
1
Adems, tenemos |A|
=
4 = 2.
1 2
Por tanto, la ecuacin reducida es
x2 y2 = z
x2 y2
= 2z.
2
2
94
Clasificacin
1
1
2 3
1
5 1 1
La matriz de la cudrica es A =
2 1 1 3 .
3 1 3 1
Luego, |A| = 108 > 0 y |A00 | = 36 < 0.
Para identificar si es un elipsoide imaginario o un
hiperboloide hiperblico necesitamos conocer la signatura
de A00 .
95
Clasificacin
Calculemos los autovalores de A00 resolviendo el polinomio
caracterstico:
5 1
1
|A00 I | = 1 1 3 =
1
3 1
= (5 )(1 )2 + 3 + 3 (1 ) 9(5 ) (1 ) =
1 = 3
3
2
2 = 6
= + 7 36 = 0 =
3 = 2
Como = 1, tenemos un hiperboloide hiperblico, cuya
x2 y2 z2
ecuacin reducida es 2 + 2 2 = 1, con a, b, c > 0.
a
b
c
96
Clasificacin
En este caso la ecuacin reducida se obtiene a partir de
|A|
1 x 2 + 2 y 2 + 3 z 2 =
, donde 1 , 2 > 0 y 3 < 0.
|A00 |
|A|
108
=
= 3.
|A00 |
(36)
Por tanto, la ecuacin reducida es
Se tiene que
3x 2 + 6y 2 2z 2 = 3,
o equivalentemente,
2
x 2 + 2y 2 z 2 = 1.
3
97
Clasificacin
Ejemplo - Ejercicio 6.2.4:
Clasificar, en funcin de los parmetros a y b, la cudrica
x 2 + a2 y 2 + z 2 + 4xz + 2by + 1 = 0, obteniendo su ecuacin
reducida.
1 0 b 0
0 1 0 2
La matriz de la cudrica es A =
b 0 a 2 0 .
0 2 0 1
1 0 2
0 b 0
Tenemos que |A| = 0 a2 0 + b 1 0 2 =
2 0 1
2 0 1
= a2 4a2 + b(4b b) = 3(b2 a2 ).
Luego, |A| = 0 a2 = b2 a = b.
98
Clasificacin
1 0 2
Adems, |A00 | = 0 a2 0 = 3a2 .
2 0 1
Luego, |A00 | = 0 a = 0.
Calculemos los autovalores de A00 :
1
0
2
2
a
0
|A00 I | = 0
2
0
1
99
Clasificacin
Veamos las distintas posibilidades:
Caso 1: Si a2 6= b2 (a 6= b), entonces |A| 6= 0 y tenemos
una cudrica ordinaria.
Caso 1.1: Si a 6= 0, entonces |A00 | 6= 0 y = 1, ya que hay
dos autovalores positivos, a2 y 3, y uno negativo,
1.
Caso 1.1.1: Si b2 > a2 (|b| > |a|), entonces |A| > 0 y tenemos
un hiperboloide hiperblico.
Caso 1.1.2: Si b2 < a2 (|b| < |a|), entonces |A| < 0 y tenemos
un hiperboloide elptico.
Caso 1.2: Si a = 0, entonces |A00 | = 0 e I2 = 1 2 < 0, ya
que hay un autovalor positivo, 3, y otro
negativo, 1 (el tercer autovalor es nulo). Por
tanto, es un paraboloide hiperblico.
100
Clasificacin
101
Clasificacin
Ahora obtenemos las ecuaciones reducidas:
Cuando a 6= 0 (hiperboloides y cono real), la ecuacin
reducida se obtiene a partir de
|A|
.
1 x 2 + 2 y 2 + 3 z 2 =
|A00 |
b2
Esto es, 1 x 2 + 2 y 2 + 3 z 2 = 2 1.
a
Los casos son:
I Si b 2 > a2 , tenemos la ecuacin reducida del hiperboloide
hiperblico:
a2 x 2 + 3y 2 z 2 =
b2
1.
a2
102
Clasificacin
b2
b2
1 x 2 a2 y 2 3z 2 = 1 2 .
2
a
a
103
Clasificacin
Cuando a = 0, tenemos dos casos:
I Si b 6= 0, tenemos el paraboloide hiperblico, cuya
ecuacin reducida es:
s
|A|
2
2
1 x + 2 y = 2
3x 2 y 2 = |b|.
1 2
I Si b = 0, tenemos el cilindro hiperblico, cuya ecuacin
reducida es:
I3
1 x 1 + 2 y 2 =
1 2
x 2 + 3y 2 = 1 x 2 3y 2 = 1.
104
(4)
Proposicin
Una cudrica y una recta se cortan en dos, uno o ningn puntos,
que se obtienen de las races de la ecuacin anterior.
105
Proposicin
Una recta r() = P + v, (, ) es tangente a una
cudrica xt Ax = 0 si cumple
(Pt Av)2 = (vt Av)(Pt AP).
Nota:
Desde un punto exterior a una cnica se pueden trazar dos
rectas tangentes (reales o imaginarias) a dicha cnica.
106
Proposicin
Si un punto P no pertenece a la cudrica xt Ax = 0, las tangentes
desde P describen un cono con vrtice P, cono tangente, cuya
ecuacin viene dada por la condicin de la proposicin anterior con
v = x P:
(Pt Ax)2 = (Pt AP)(xt Ax).
Nota:
Los puntos de contacto de dicho cono con la cudrica
satisfacen P t Ax = 0, que es un plano.
107
Definicin
Se denomina plano polar de P respecto a la cudrica xt Ax = 0, al
que tiene ecuacin:
Pt Ax = 0.
Definicin
Un punto se dice que es centro de la cudrica si no tiene plano
polar.
108
f
f
f
)=
(x0 ,y0 ,z0 ) ,
(x0 ,y0 ,z0 ) ,
x
y
z (x0 ,y0 ,z0 )
= 2(a01 + a11 x0 + a12 y0 + a13 z0 , a02 + a22 y0 + a12 x0 + a23 z0 , a03 + a13 x0 + a23 y0 + a33 z0 ).
109
Proposicin
Si P pertenece a la cudrica, el plano polar es el plano tangente en
P a la cudrica cuya ecuacin es
Pt Ax = 0.
110
Proposicin
Una cudrica tiene centro si y slo si |A00 | 6= 0 (elipsoides,
hiperboloides y conos) y, en tal caso, las coordenadas del mismo
son las soluciones del sistema
1 1 4 b
1 1 2 0
. Tiene
La matriz de la cudrica es A =
4
2 1 3
b 0 3 a
determinante |A| = 3(b2 12b 12a) y adems
|A00 | = 3a 9 = 3(a + 3).
Luego, existe centro si y slo si a 6= 3.
113
1 + x + 2y = 0
4 + 2x + y + 3z = 0 ,
b + 3y + az = 0
que es equivalente a:
x + 2y = 1
y z =2
(a + 3)z = b 6
y cuya solucin es:
3 3a 2b 2a + b b 6
C
,
,
.
a+3
a+3 a+3
114
Definicin
Los ejes de una cudrica con centro son las tres rectas que pasan
por su centro con direcciones dadas por una base de autovectores
de A00 .
115
2
1
La matriz de la cudrica es A =
1
1
que |A| = 68 y |A00 | = 28.
1
1
3
3
1
3
1
3
1
3
. Tenemos
3
1
116
|A|
,
|A00 |
|A|
68
17
=
= ,queda
|A00 |
28
7
7x 2 2y 2 2z 2 =
17
.
7
117
1 + x + 3y + 3z = 0
1 + 3x + y + 3z = 0 cuya solucin es el punto
sistema:
1 + 3x + 3y + z = 0
1 1 1
C , ,
.
7 7 7
Los ejes pasan por el centro con direcciones las de una base
de autovectores de A00 . Un autovector u = (u1 , u2 , u3 )
correspondiente al autovalor 1 = 7 se halla resolviendo la
ecuacin
3
6 3
u1
u1 = u2
(A00 1 I )u = 0 3 6 3 u2 = 0
u1 = u3
3
3 6
u3
Tomamos u = (1, 1, 1).
118
Eje: Paraboloides
Definicin
El eje del paraboloide tiene la direccin del autovector de A00
correspondiente al autovalor nulo de dicha matriz.
120
Eje: Paraboloides
Sean 1 , 2 6= 0 y 3 = 0 los autovalores de A00 y u, v y w los
autovectores correspondientes.
Para obtener la ecuacin del eje, necesitamos conocer las
ecuaciones de los dos planos 1 y 2 , ya que el eje es la recta
interseccin de dichos planos.
Recordemos que los paraboloides no tienen centro, pero s
vrtice. Sea V el vrtice del paraboloide. Entonces los planos
1 y 2 son los planos que pasan por V y son ortogonales a u
y v , respectivamente. Por tanto, tienen ecuaciones:
1 : (x V )t u = 0
2 : (x V )t v = 0
Al ser u y v los autovectores correspondientes a 1 y 2 , se
tiene que: Au = 1 u y Av = 2 v .
121
Eje: Paraboloides
Teniendo, adems, en cuenta que 1 y 2 son no nulos, se
tiene:
1 : (x V )t (1 u) = 0
1 : (x V )t Au = 0
t
2 : (x V ) (2 v ) = 0
2 : (x V )t Av = 0
1 : x t Au = V t Au
2 : x t Av = V t Av
Eje: Paraboloides
t
2 : x Av = 0
2 : v t Ax = 0
Finalmente, para obtener el vrtice basta cortar el eje con la
cudrica.
123
Eje: Paraboloides
Ejemplo - Ejercicio 6.2.11:
Calcular el eje y el vrtice de la cudrica
x 2 + y 2 + z 2 + 2xz + 6x + 4y + 2z + 13 = 0.
13 3 2 1
3 1 0 1
La matriz de la cudrica es A =
2 0 1 0 , que tiene
1 1 0 1
determinante |A| = 4 6= 0 y |A00 | = 0, por lo que se trata de
un paraboloide.
Calculamos los autovalores de A00 :
1
0
1
1
0 = ( 1)( 2) = 0.
|A00 I | = 0
1
0
1
Los autovalores son 1 = 1, 2 = 2 y 3 = 0.
124
Eje: Paraboloides
Como I2 = 1 2 > 0, es un paraboloide elptico.
Ahora calculamos los autovectores correspondientes a los
autovalores no nulos:
(A00 1 I )u = 0 u1 = u3 = 0
(A00 2 I )v = 0 v1 = u3 , v2 = 0
Tomamos u = (0, 1, 0) y v = (1, 0, 1). Los planos principales
son:
1 : u t Ax = 0 2 + y = 0,
2 : v t Ax = 0 2 + x + z = 0.
La interseccin de ambos planos es el eje y cortamos
con la
cudrica para obtener el vrtice V 49 , 2, 14 .
El eje se puede poner en paramtricas como
9
1
e(t) = , 2,
+ t(1, 0, 1).
4
4
125