You are on page 1of 11

CUÁDRICAS

Elva F. Reyes Muñoz

July 3, 2015
.

1
Chapter 1

Cuádricas

1.1 Introducción
En el plano euclidiano con sistema de referencia (O, i, j) todo par de rectas difer-
entes se intersecan en un punto, excepto cuando son paralelas; para evitar esta excepción
diremos que dos rectas en el plano siempre se intersecan:
• Si dos rectas no son paralelas se intersecan en un punto finito (punto del plano
euclı́deo o punto propio).

• Si dos rectas son paralelasse intersecan en un punto del infinito (punto impropio)

Por lo tanto todas las rectas paralelas entre si se cortan en un mismo punto del infinito.

Ejemplo

1. Sea L, la recta del plano euclidiano

L: ax + by + c = 0

en coordenadas homogéneas es representado por

L: ax1 + bx2 + cx3 = 0

luego si P = (x1 , x2 , 0) es un punto del infinito que pertenece a L, entonces


ax1 + bx2 = 0, luego P = (−bx2 /a, x2 , 0) = x2 (−b, a, 0) es el punto del
infinito de la recta L y de todas las rectas paralelas a ella.

Si unimos todos los puntos del infinito del plano euclidiano formamos la recta del
infinito del plano euclidiano.
Este concepto lo podemos generalizar:
La recta del infinito de un plano sumergido en el espacio euclideo es el lugar geométrico
de los puntos del infinito de todas las rectas contenidas en dicho plano.
En el espacio euclı́deo, todo par de planos se intersecan en una recta, excepto cuando
son paralelas. Para evitar esta excepción, diremos que dos planos en el espacio siempre
se intersecan:

2
• Si dos planos no son paralelos se intersecan una recta finita (recta del espacio eu-
clideano o recta propia.)

• Si dos planos son paralelas se intersectan en una recta del infinito (recta impropia).

Por consiguiente, si dos planos son paralelos, ambos deben contener la misma recta
del infinito, la misma que será común a todos los planos paralelos a ellos.
Si unimos todos las rectas del infinito del espacio euclidiano formamos el plano del
infinito del espacio euclidiano.

1.2 Coordenadas homogéneas


Definición.- Sea P un punto cuyas coordenadas cartesianas en el espacio euclidi-
ano son (x, y, z), se llaman coordenadas homogéneas de dicho punto a toda cuaterna
(x1 , x2 , x3 , x4 ) tal que
x1 x2 x3
x= y= z= , x4 ̸= 0
x4 x4 x4
.
Todos los puntos de la forma (x1 , x2 , x3 , 0), a excepción del (0, 0, 0, 0) se dice que
son puntos del infinito.

Ejemplos

1. Si P = (2, −3, 1) en coordenadas homogéneas serı́a representado por las cuaternas


de la forma (2k, −3k, k, k), donde k ̸= 0.

2. El origen O = (0, 0, 0) en coordenadas homogéneas se representa por


(0, 0, 0, k), k ̸= 0.

3. La ecuación de un plano ax + by + cz + d = 0, en coordenadas homogéneas se


transforma en ax1 + bx2 + cx3 + dx4 = 0.

4. La ecuación de los planos coordenados en coordenadas homogéneas son:

x1 = 0, x2 = 0 y x3 = 0

5. la ecuación x4 = 0
es el plano que contiene a todos los puntos del infinito, se denomina plano del
infinito del espacio euclidiano.

El espacio euclidiano al cual se le adjunta el plano del infinito recibe el nombre de


espacio completado y se denota por P (R3 ), es decir:

P (R3 ) = {(x1 , x2 , x3 , x4 )/ xi ∈ R, i = 1, 2, 3, 4} \ {(0, 0, 0, 0)}

3
1.3 La ecuación de la recta en coordenadas ho-
mogéneas
Sean P = (p1 , p2 , p3 , p4 ) y Q = (q1 , q2 , q3 , q4 ) puntos de P (R3 ) y L la recta que
pasa por P y Q. Si X = (x1 , x2 , x3 , x4 ) es cualquier punto de P (R3 ) que pertenece a
la recta L entoces X debe satisfacer la ecuación:

a1 (x1 , x2 , x3 , x4 ) + a2 (p1 , p2 , p3 , p4 ) + a3 (q1 , q2 , q3 , q4 ) = (0, 0, 0, 0)

equivalente a

(x1 , x2 , x3 , x4 ) = λ(p1 , p2 , p3 , p4 ) + µ(q1 , q2 , q3 , q4 ), λ, µ ∈ R

o matricialmente:
X = λP + µQ

1.4 Cuádricas
Definición.- Se llama cuádrica al lugar geométrico de los puntos P (x, y, z), del
espacio euclideano, reales o imaginarios, que satisfacen una ecuación de segundo grado de
la forma :

f (x, y, z) = a11 x2 + a22 y 2 + a33 z 2 + 2a12 xy + 2a13 xz + 2a23 yz


+2a14 x + 2a24 y + 2a34 z + a44
= 0

expresado en coordenadas homogéneas es de la forma:

f (x1 , x2 , x3 , x4 ) = a11 x21 + a22 x22 + a33 x23 + a44 x24 + +2a12 x1 x2 + 2a13 x1 x3
+2a14 x1 x4 + 2a23 x2 x3 + 2a24 x2 x4 + 2a34 x3 x4
= 0

o matricialmente
X T AX = 0
  
x1 a11 a12 a13 a14
 x2   a12 a22 a23 a24 
con X= 
 x3  y A=
 a13

a23 a33 a34 
x4 a14 a24 a34 a44
donde A es una matriz simétrica de coeficientes reales (denominada matriz de la
forma cuadrática f o matriz asociada a la ecuación de la cuádrica) y X denota una
matriz columna formada por las coordenadas de los puntos de la cuádrica.

Definición.- Diremos que una cuádrica es degenerada si su matriz asociada es singular;


en caso contrario diremos que la cuádrica es no degenerada.

Ejemplo Veamos que cuádricas son degeneradas:

4
x2 y2 z2
1. El Elipsoide: + 2 + 2 =1
a2 b c
La matriz asociada es
 
1/a2 0 0 0
 0 1/b2
0 0  −1
A=  0

 donde |A| = <0
0 1/c2 0 a2 b2 c2
0 0 0 −1

Por lo tanto el elipsoide es una cuádrica no degenerada.


x2 y2 z2
2. El Hiperboloide de una hoja: + − = 1.
a2 b2 c2
La matriz asociada es
 
1/a2 0 0 0
 0 1/b2
0 0  1
A=  0

 donde |A| = >0
0 −1/c2
0 a2 b2 c2
0 0 0 −1
Por lo tanto el hiperboloide de una hoja es una cuádrica no degenerada.
x2 y2
3. El Paraboloide hiperbólico: − = 2z, pq > 0.
p q
La matriz asociada es
 
1/p 0 0 0
 0 −1/q 0 0  1
A=  0

 donde |A| = >0
0 0 −1 pq
0 0 −1 0
Por lo tanto el paraboloide hiperbólico es una cuádrica no degenerada.
x2 y2
4. El Cilindro Elı́ptico: +
= 1.
a2 b2
La matriz asociada es
 
1/a2 0 0 0
 0 1/b2 0 0 
A=  0
 donde |A| = 0
0 0 0 
0 0 0 −1
Por lo tanto el cilindro es una cuádrica degenerada.
5. Planos Secantes: (y + ax)(y + bx) = 0, a ̸= b.
La matriz asociada es
 a+b

ab 2
0 0
 a+b 1 0 0 
A=
 0
2  donde |A| = 0
0 0 0 
0 0 0 0
Por lo tanto los planos secantes es una cuádrica degenerada.

5
6. Compruebe que el hiperboloide de dos hojas y el paraboliode elı́ptico son cuádricas
no degeneradas.
7. Compruebe que el cono elı́ptico, el cilindro parabólico, el cilindro hiperbólico y los
planos paralelos son cuádricas degeneradas.

Definición.- Sea P (p1 , p2 , p3 , p4 ) un punto de P (R3 ), perteneciente a la cuádrica


T
X AX = 0. Si AP = 0 entonces se dice que P es un punto singular de la cuádrica; en
caso contrario, se dice que P es un punto ordinario de la cuádrica.

Dicho de otra manera P es un punto singular de la cuádrica si pertence al espacio


nulo de la matriz asociada a la cuádrica;. Puesto que la ecuación AX = 0 tiene solución
no nula si y sólo si A es singular, entonces las únicas cuádricas que tienen punto singular
son las cuádricas degeneradas.

Ejemplos.-Hallar los puntos singulares de las siguientes cuádricas:


x2 y2
1. El Cilindro Elı́ptico: +
= 1.
a2 b2
Tomando la matriz sociada para esta cuádrica, tenemos que la ecuación
    
1/a2 0 0 0 x1 0
 0 1/b 2
0 0   x2   0 
  = 
 0 0 0 0   x3   0 
0 0 0 −1 x4 0
tiene por solución el punto (0, 0, x3 , 0), que corresponde al punto del infinito del
eje Z; este punto es el punto del infinito del eje del cilindro elı́ptico.
x2 y2 z2
2. El Cono Elı́ptico: + −
= 0.
a2 b2 c2
Tomando la matriz sociada para esta cuádrica, tenemos que la ecuación
    
1/a2 0 0 0 x1 0
 0 1/b2
0 0   x2   0 
  = 
 0 0 −1/c2 0   x3   0 
0 0 0 0 x4 0
tiene por solución el punto (0, 0, 0, x4 ), que corresponde al origen; este punto es el
vértice del cono elı́ptico.
3. El Cilindro Parabólico: y 2 = 2px.
Tomando la matriz sociada para esta cuádrica, tenemos que la ecuación
    
0 0 0 −1 x1 0
 0 1 0 0     0 
   x2  =  
 0 0 0 0   x3   0 
−1 0 0 0 x4 0
tiene por solución el punto (0, 0, x3 , 0), que corresponde al punto del infinito del
eje Z.

6
4. El Cilindro Hiperbólico. Ejercicio.
5. Planos Secantes: (y + ax)(y + bx) = 0, a ̸= b.
Tomando la matriz sociada para esta cuádrica, tenemos que la ecuación
    
ab (a + b)/2 0 0 x1 0
 (a + b)/2 1 0 0   x2   0 
  = 
 0 0 0 0   x3   0 
0 0 0 0 x4 0
tiene por solución a (0, 0, x3 , x4 ), que corresponde al eje Z, el cual representa para
los planos secantes dados, la intersección de dichos planos.
6. Planos Paralelos: (y + ax)2 = 0.
Tomando la matriz sociada para esta cuádrica, tenemos que la ecuación
 2    
a a 0 0 x1 0
 a 1  
0 0   x2   0 
 = 
 0 0 0 0   x3   0 
0 0 0 0 x4 0
tiene por solución a (x1 , −ax1 , x3 , x4 ), que corresponde al plano y + ax = 0; es
decir todos los puntos de los planos paralelos son singulares.

1.5 Intersección de una cuádrica con una recta


Para hallar los puntos de intersección de la cuadrica X T AX = 0 con la recta que pasa
por los puntos P = (p1 , p2 , p3 , p4 ) y Q = (q1 , q2 , q3 , q4 ), de ecuaciones parametricas

X = λP + µQ
tenemos que resolver la ecuación
(λP + µQ)T A(λP + µQ) = λ2 P T AP + λµP T AQ + λµQT AP + µ2 QT AQ = 0
que en virtud de la simetrı́a de A(AT = A), se tiene
P T AQ = (P T AQ)T = QT AP
y nos resulta la ecuación
λ2 P T AP + 2λµP T AQ + µ2 QT AQ = 0 (1.1)
λ
si hacemos = δ, entonces (??) es una ecuación de segundo grado en δ
µ
δ 2 P T AP + 2δP T AQ + QT AQ = 0 (1.2)
cuyo discriminante es
∆ = 4[(P T AQ)2 − (P T AP )(QT AQ)]
Se tiene que:
1. Si P T AQ = P T AP = QT AQ = 0; es decir, si los coeficientes de la ecuación
(??) son todos nulos, ésta se satisface para todo δ, en consecuencia todos los puntos
−→
de la recta P Q están en la cuádrica; es decir, la recta forma parte de la cuádrica.

7
2. Si los tres coeficientes P T AQ, P T AP y QT AQ no son todos nulos, tenemos los
siguientes casos:

(a) Si ∆ > 0, la ecuación (??) tiene dos raı́ces reales y diferentes y por consiguiente
la cuádrica y la recta tienen dos puntos distintos en común. Se dice entonces
que la recta y la cuádrica son secantes.
(b) Si ∆ = 0, la ecuación (??) tiene una única raı́z y por consiguiente la recta y
la cuádrica tienen en común un único punto. Se dice que la recta es tangente
a la cuádrica.
(c) Si ∆ < 0, la ecuación (??) tiene dos raı́ces imaginarias conjugadas y por
consiguiente la recta y la cuádrica no tienen puntos comunes. Se dice que la
recta es exterior a la cuádrica.

Proposición.- Si P es un punto singular de una cuádrica y el punto Q es otro punto


cualquiera de la misma cuádrica entonces la recta determinada por ellos está enteramente
contenida en la cuádrica.

Prueba

Si P es punto singular de la cuádrica (AP = 0) entonces P T AP = 0, además

P T AQ = QT AP = 0

.
Si Q pertenece a la cuádrica, entonces: QT AQ = 0
Luego los tres coeficientes de la ecuación (??) son nulos.
Por lo tanto la recta que pasa por P y Q pertenece a la cuádrica.

Proposición.- Si P y Q son ambos puntos singulares de una cuádrica entonces los


−→
puntos de la recta P Q son todos puntos singulares de la cuádrica.

Prueba

Si P y Q son ambos singulares entonces AP = 0 y AQ = 0 luego la si X pertenece


a la recta que pasa por P y Q , entonces X es de la forma X = λP + µQ, entonces

AX = A(λP + µQ) = λAP + µAQ = λ0 + µ0 = 0


luego todos los puntos de la recta son singulares y además satisfacen la ecuación de la
cuádrica:
X T AX = X T 0 = 0

Como conclusión podemos enunciar:

8
Proposición.- Una recta y una cuádrica pueden tener en común: dos puntos, uno
solo , ninguno, o la recta forma parte de la cuádrica.

1.6 Intersección de las Cuádricas con el Plano del


Infinito
Las secciones producidas en las cuádricas por planos son elipses, hipérbolas o
parábolas. Estudiaremos ahora el tipo de cónica que se obtiene al intersectar las diferentes
cuádricas con el plano del infinito x4 = 0.
Para facilitar este estudio tomaremos las cuádricas en su forma canónica y los resulta-
dos que obtendremos de estas secciones, unidos a otras invariantes ligados a cada cuádrica,
nos servirán para llevar a cabo su clasisficación.

1. Elipsoide (|A| < 0)


x21 x22 x23
Sea el elipsoide de ecuación + = x24
+
a2 b2 c2
Su intersección con el plano x4 = 0 da lugar al sistema:
 2
 x1 x22 x23
+ + =0
 xa2 b2 c2
=0
4

Si consideramos sólo los números reales, podemos decir que el elipsoide no tiene
puntos de intersección con el plano del infinito.

2. El Paraboloide elı́ptico. (|A| < 0)


x21 x22
Sea el paraboloide elı́ptico + = 2x3 x4 , pq > 0.
p q
Su intersección con el plano x4 = 0 da lugar al sistema:
 2
 x1 x2
+ 2 =0
 p q
x4 = 0

el cual representa a x3 (0, 0, 1, 0), el punto del infinito del eje Z, es decir el punto
del infinito del eje del hiperboloide elı́ptico.

3. El Hiperboloide de dos hojas. (|A| < 0)


x21 x22 x23
Sea el hiperbolide de una hoja − − + = x24 .
a2 b2 c2
Su intersección con el plano x4 = 0 dá lugar al sistema:

 x21 x2 x2
− 2 − 22 + 23 = 0
 x a= 0 b c
4

el cual representa a una cónica no degenerada del infinito.

9
4. El Hiperboloide de una Hoja. (|A| > 0)
x21 x22 x23
Sea el hiperbolide de una hoja + −
= x24 .
a2 b2 c2
Su intersección con el plano x4 = 0 da lugar al sistema:
 2
 x1 x22 x23
2
+ 2
− 2
=0
a
 x =0 b c
4

el cual representa a una cónicas no degenerada del infinito.

5. El Paraboloide hiperbólico. (|A| > 0)


x21 x22
Sea el paraboloide hiperbólico − = 2x3 x4 , pq > 0.
p q
Su intersección con el plano x4 = 0 da lugar al sistema:
 2
 x1 x22
− =0
 p q
x4 = 0
√ √ √ √
el cual tiene por solución a [(x1 / p + x2 / q = 0) ∨ (x1 / p − x2 / q =
0)] ∧ x4 = 0
√ √ √ √
representa a los (x1 , − qx1 / p, x3 , 0) ∨ (x1 , qx1 / p, x3 , 0) equivalente a
dos rectas rectas reales y diferentes del infinito.

6. El Paraboloide elı́ptico

10