TEMA V: CNICAS Y CUDRICAS

OBJETIVOS: Generales: 1. Conocer los distintos tipos de curvas que se obtienen como secciones de un cono, es decir, los distintos tipos de cnicas. 2. Conocer los distintos tipos de superficies cudricas que existen. Especficos: Recordar los conceptos de elipse, parbola e hiprbola como secciones planas de un cono y como ciertos lugares geomtricos. Conocer y manejar con soltura las ecuaciones generales de la circunferencia, la elipse, la parbola y la hiprbola. Conocer la ecuacin general de una cnica en sus distintas presentaciones y estudiar las variaciones que presentan dicha ecuacin al cambiar de sistema de referencia. Conocer el concepto de polar respecto de una cnica y saber calcularla. Calcular a partir de la ecuacin general de una cnica, su ecuacin reducida y mediante esta clasificarla Conocer los invariantes de una cnica y mediante ellos clasificar las cnicas. Conocer la ecuacin general de una cudrica en sus distintas presentaciones y estudiar las variaciones que presentan dicha ecuacin al cambiar de sistema de referencia. Calcular a partir de la ecuacin general de una cudrica, su ecuacin reducida y mediante esta clasificarla. Conocer los invariantes de una cudrica y mediante ellos clasificar las cudricas. BIBLIOGRAFA lgebra lineal con mtodos elementales, L. Merino, E. Santos, 1999. lgebra y Geometra Analtica, F. Granero. McGrawHill, 1994. lgebra lineal y geometra: ejercicios, J. GarcaGarca y M. Lpez Pellicer. Marfil, 1991. Problemas de lgebra: Geometra proyectiva. Conicas. Cuadricas. Tomo 7, M. Anzola y otros, 1981.

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

I. INTRODUCCIN.
Consideremos el plano afn mtrico sistema de referencia rectangular. I.1 ELIPSE. Dados dos puntos fijos distintos F1 y F2 a los que llamaremos focos y un nmero positivo a, entonces la elipse de focos F1, F2 y semieje a es el conjunto de los puntos del plano cuya suma de distancias a los focos es 2a. Por tanto la ecuacin que debe de verificar un punto X, para pertenecer a la elipse es: d(X, F1) + d(X, F2) = 2a Desarrollando dicha ecuacin tomando F1=(d, 0) y F2 = (-d, 0) sobre el eje OX y ambos equidistantes del origen obtenemos
2

en

el

un

x2 y2 + =1 a 2 b2
la ecuacin reducida de la elipse. Los ejes del sistema de referencia son los ejes de la elipse y el punto medio de los focos o centro de la elipse es el origen de coordenadas. Los valores de a y b se pueden calcular mediante los puntos de corte de la elipse con los ejes y puesto que a2 = b2 + d2, b y d son los lados de un tringulo rectngulo de hipotenusa a.

La recta que pasa por los focos corta a la elipse en dos puntos llamados vrtices. La cuerda que une los dos focos se le llama eje mayor y su punto medio el centro de la elipse. La cuerda perpendicular al eje mayor por el centro se llama eje menor de la elipse. Un caso particular de una elipse es la circunferencia, donde los dos focos y el centro son el mismo punto, y cuya ecuacin reducida verifica a = b.

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

I.2 HIPRBOLA. Dados dos puntos F1 y F2 o focos y un nmero positivo a el conjunto de todos los puntos del plano cuya diferencia en valor absoluto a los focos es 2a se llama hiprbola. La ecuacin de la hiprbola es |d(X, F1) - d(X, F2)| = 2a Cuando los focos se toman sobre un eje de coordenadas y equidistantes del origen, es decir, si F1 = (d, 0) y F2 = (-d, 0) se obtiene la ecuacin

x2 y2 =1 a 2 b2
que es la ecuacin reducida de la hiprbola.

La recta que pasa por los focos corta a la hiprbola en dos puntos llamados vrtices. El segmento que une los dos vrtices se llama eje transversal y su punto medio es el centro de la hiprbola. Cada una de las partes de la hiprbola se denominan ramas de la hiprbola. La rectas que pasan por el centro de la hiprbola y por los puntos (a, b) y (-a, b) recibe el nombre de asntotas de la hiprbola. I.3 PARBOLA. Una parbola es el lugar geomtrico de los puntos del plano que equidistan de un punto F, llamado foco de la parbola, y una recta r que se llama directriz. La ecuacin que un punto X debe cumplir para que pertenezca a la parbola es: d(X, F) = d(X, r) Tomando como foco el punto F = (p/2, 0) y la directriz es la recta vertical de ecuacin x = -p/2, obtenemos: y2 = 2px

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

que es la ecuacin reducida de la parbola.

La recta perpendicular a la directriz trazada por el foco se llama eje. El punto donde se corta la parbola y su eje se llama vrtice. I.4 SECCIONES CNICAS. El nombre genrico de cnica que se da a elipse, hiprbola y parbola tiene origen en el hecho de dichas curvas se pueden obtener como resultado de intersecar un cono con un plano (es decir, como una seccin cnica). Elipse, hiprbola y cnicas no degeneradas. parbola son las que llamamos

Pero al intersecar un cono con un plano pueden aparecer figuras geomtricas diferentes como puntos, dos

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

rectas que se cortan o una recta doble. Estos tipos de secciones cnicas se denominan cnicas degeneradas.

II. ECUACIN GENERAL DE UNA CNICA.

Vamos a definir un concepto general que englobe a todos los tipos de cnicas. La propiedad comn que todas presentan es que sus ecuaciones son de segundo grado en dos variables. Definimos una cnica como el lugar geomtrico de los puntos del plano que verifica una ecuacin de segundo grado en dos variables: a11x2 + a22y2 + 2a12xy + 2a01x + 2a02y + a00 = 0 que de forma matricial queda:

~ A una matriz simtrica de orden 3, se tiene la ~t ~ ~ ecuacin matricial X A X = 0 .

siendo O bien llamando

a00 a01 a02 1 (1 x y ) a01 a11 a12 x = 0 a02 a12 a22 y

a11 a12 A = a12 a22

entonces

B = (2a01 2a02 )

Xt A X + B X + a00 = 0 donde X es la matriz columna de las coordenadas de un punto del plano afn.

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

III. POLAR DE UN PUNTO Y POLO DE UNA RECTA.

Llamaremos polar de un punto P(x0, y0) respecto de una cnica X A X = 0 al lugar geomtrico de los puntos del plano conjugados de P respecto de dicha cnica, es decir, las soluciones de la ecuacin:

~t ~ ~

a00 a01 a02 1 (1 x y ) a01 a11 a12 x0 = 0 a02 a12 a22 y 0

Llamado a = a01 b = a02 c = a00 dicha ecuacin + a11x0 + a12y0, + a12x0 + a22y0, (1) + a01x0 + a02y0, no es mas que la recta de ecuacin rP: ax + by + c = 0 Al punto P se le denomina polo de la recta rP.

Dada una recta r de ecuacin ax + by + c = 0 para calcular su polo debemos de trabajar con coordenadas proyectivas, a saber, cada punto del plano (x0, y0) se representa mediante una terna (r0, p0, q0) siendo x0 = p0/r0 e y0 = q0/r0. Con estas coordenadas el sistema (1) se convierte en: a = a01r0 + a11p0 + a12q0, b = a02r0 + a12p0 + a22q0, c = a00r0 + a01p0 + a02q0, por tanto, tenemos que resolver un sistema como el anterior con incgnitas r0, p0 y q0 y a partir de los anteriores obtendramos las coordenadas x0 e y0 del polo de la recta de partida. Teorema Si un punto P pertenece a una recta r, su polar rP contiene al polo de r, es decir, las polares de todos los puntos de una recta pasan por el polo de dicha recta.

IV. ECUACIN CLASIFICACIN.

REDUCIDA

DE

UNA

CNICA.

La ecuacin de una cnica Xt A X + B X + a00 = 0 se dir que se reducida si: 1. La matriz A es diagonal. 2. Si 0 no es valor propio de A, entonces B =0. 3. Si 0 es valor propio de A, entonces de entre todos los elementos a0i hay a lo mas uno no nulo.

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

La ecuaciones de la elipse, parbola e hiprbola de la introduccin son reducidas y el hecho de ser tan simples se debe a la situacin de la cnica respecto del sistema de referencia. El problema que nos planteamos es intentar obtener, a partir de una ecuacin general de una cnica, una ecuacin reducida realizando un cambio de sistema de referencia. Teorema Cualquier ecuacin de una cnica Xt A X + B X + a00 = 0 puede transformarse en una ecuacin reducida mediante un cambio de sistema de referencia: X = C + Pt X con det(P) = +1. Por el teorema anterior, toda ecuacin de una cnica se puede transformar para obtener una ecuacin reducida. Todas las posibles ecuaciones reducidas se recogen en la siguiente tabla en la que se tendr en cuenta que las ecuaciones que se obtienen al intercambiar x e y son ecuaciones reducidas del mismo tipo de cnica:

Ecuacin

Matriz A

Tipo de cnica

2x2 + 2y2 = c2

c2 0 2 0 0 0 c2 0 2 0 0 0 mc2 0 2 0 0 0

0 0 2 0 0 2

Elipse real

Elipse imaginaria

2x2 + 2y2 = -c2

2x2 - 2y2 = c2

0 0 Hiprbola 2

y2 = 2px

0 -p 0 -p 0 0 0 0 1 0 0 2 0 0 0 0 0 2

Parbola

2x2 + 2y2 = 0

Un punto

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

2 2

- y = 0
2 2

0 0 2 0 0 0 0 0 0

0 0 2

Par de rectas que se cortan

y2 = 0

0 0 0 0 0 1

Recta doble

y2 = c2

c2 0 0 0 0 0 0 0 1 c2 0 0 0 0 0 0 0 1
elipse, hiprbola o

Par de rectas reales paralelas

y2 = -c2

Par de rectas imaginarias paralelas

Dada

una

parbola

de

ecuacin

~ ~ ~ Xt A X = 0 despus de un movimiento rgido de ecuaciones

X = C + Pt X podemos obtener su ecuaciones reducidas. Esto significa que el nuevo sistema de referencia R tiene como origen el centro de la cnica (elipse e hiprbola) o el vrtice (parbola) y como ejes los ejes de la cnica (elipse e hiprbola) o el eje y la tangente en el vrtice (parbola). Puesto que las coordenadas del origen de R respecto de R son (0, 0), entonces el centro (o vrtice) es la solucin del sistema 0 = C + Pt X Para calcular los ejes recordamos que la nueva base est formada por los vectores propios de la matriz A y por tanto estos vectores son los vectores directores de los ejes de la cnica. En el caso de la parbola el vector propio asociado a = 0 nos da la direccin del eje y el otro vector propio proporciona la direccin de la tangente en el vrtice. De forma similar al calculo del centro se pueden obtener los focos de la cnica, la directriz de la parbola (que tiene la misma direccin que la tangente), las asntotas de la hiprbola (que tienen direcciones (a, b) y (-a, b)), etc.

V. INVARIANTES MTRICOS DE LAS CNICAS.

Dada la cnica de ecuacin: a11x2 + a22y2 + 2a12xy + 2a01x + 2a02y + a00 = 0

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

consideremos los nmeros: I1 = tr(A) = a11 + a22 I2 = det(A) I2 =

a 00 a 02 a 02 a 22 + a 00 a 01 a 01 a 11

I3 = det( A ) Proposicin Los nmeros I1, I2,I2 e I3 no varan cuando la cnica es afectada por un movimiento rgido. Los nmeros I1, I2,I2 e I3 se llaman invariantes mtricos de las cnicas y nos permiten identificar el tipo de cnica. Cuando I3 0 se obtiene una cnica no degenerada y en caso contrario es degenerada. Puesto que para una elipse se tiene I2 > 0, a las cnicas verificando esta condicin se les llama de tipo elptico. Anlogamente si I2 = 0 se trata de una cnica de tipo parablico y si I2 < 0 entonces es de tipo hiperblico. La siguiente tabla resulta de calcular los invariantes mtricos en la clasificacin de las cnicas por su ecuacin reducida: I3 0 (no degen.) I2 > 0 Elipse I1I3 < 0 Real I1I3 > 0 Imaginaria Hiprbola Parbola 0 Imaginarias (Un punto) 0 Reales Imaginarias 0 Reales 0 Recta doble 0

I2 < 0 I2 = 0 Dos I2 0 I3 = 0 rectas (degene secantes radas) Dos rectas I2 = 0 paralelas

I2 > I2 < I2 > I2 < I2 =

Para las cnicas no degeneradas, como I1, I2, I3 son invariante, son comunes en cualquier ecuacin de una misma cnica. La relacin entre los invariantes mtricos y los coeficientes en la ecuacin reducida de la cnica son: Si I2 0, entonces el termino independiente de la ecuacin reducida es

I3 I2
mientras que los coeficientes de los trminos de grado dos son las races de la ecuacin 2 - I1 + I2 = 0

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

En el caso de la parbola slo hay que determinar un coeficiente:

p = -

I3 I1

VI. ECUACIN GENERAL DE UNA CUDRICA.

Llamaremos cudrica al lugar geomtrico de los puntos de 3 que verifican una ecuacin general de segundo grado en tres variables: a11x2 + a22y2 + a33z2 + 2a12xy + 2a13xz + 2a23yz + 2a03z + a00 = 0 + 2a01x + 2a02y

que puede ser expresado de forma matricial por:

a00 a (1 x y z) 01 a02 a03

utilizando una matriz

a01 a02 a03 1 a11 a12 a13 x =0 a12 a22 a23 y a13 a23 a33 z
de orden 4 a la que

simtrica

~ ~t ~ ~ denotaremos por A , se tiene la ecuacin X A X = 0 . O

bien llamando

a11 a12 a13 A = a12 a22 a23 a13 a23 a33

entonces

B = (2a01 2a02 2a03 )

Xt A X + B X + a00 = 0 donde X es la matriz columna de las coordenadas de un punto en el espacio afn.

VII. ECUACIONES CLASIFICACIN.

REDUCIDAS

DE

LAS

CUDRICAS

Las ecuaciones reducidas de las diferentes cudricas vienen dadas en la siguiente tabla:

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

Ecuacin

~ A

Cudrica

2x2+2y2+2z2-c2=0

-c2 0 2 0 0 0 0 0 c2 0 2 0 0 0 0 0 -c2 0 2 0 0 0 0 0 c2 0 2 0 0 0 0 0
0 0 2 0 0 0 0 0

0 0

2
0 0 0

0 0 0 2 0 0 0 2

Elipsoide real

2x2+2y2+2z2+c2=0

2
0 0 0

Elipsoide imaginario

2x2+2y2-2z2-c2=0

2
0 0 0

0 0 Hiperboloide de una hoja 0 2 0 0 0 2

0 0 0 2 Hiperboloide de dos hojas

2x2+2y2-2z2+c2=0

2
0
0 0

2x2+2y2-2z2=0

2
0

Cono real

2x2+2y2+2z2=0

0 0 2 0 0 0 0 0 0 0 2 0 0 0 -c 0 0 0 2 0 0 0 -c 0

0 0

2
0 0 0

0 0 0 2 -c 0 0 0 -c 0 0 0

Cono imaginario

2x2+2y2-2cz=0

2
0 0 0 2 0

Paraboloide elptico

2x2-2y2-2cz=0

Paraboloide hiperblico

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

2x2+2y2-c2=0

-c2 0 2 0 0 0 0 0 c2 0 2 0 0 0 0 0 -c2 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0

0 0

2
0 0 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Cilindro real

elptico

x + y +c =0
2 2 2 2 2

Cilindro elptico imaginario

2
0 0 0 2 0 0 0 2 0

2x2-2y2-c2=0

Cilindro hiperblico

2x2-2y2=0

Par de planos se cortan

que

2x2+2y2=0

y2-2px=0

0 0 0 0 2 0 0 0 2 0 0 0 0 -p 0 -p 0 0 0 0 1 0 0 0 -c2 0 0 0 c2 0 0 0

0 0 0 0 0 0 0 0

Par de planos imaginarios que se cortan

Cilindro parablico

x2-c2=0

0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0

Par de paralelos

planos

x +c =0

Par de paralelos imaginarios

planos

Miguel ngel Garca Muoz

Curso 07-08 Tema 5: Cnicas y cudricas

x2=0

0 0 0 0

0 0 0 1 0 0 0 0 0 0 0 0

Plano doble

Dada la ecuacin de una cudrica, el procedimiento para calcular una ecuacin reducida es idntico al desarrollado para cnicas. En primer lugar se diagonaliza la matriz A por semejanza ortogonal, es decir, se realiza un cambio de sistema de referencia en el que solo cambia la base ortonormal y que elimina los trminos de grado dos cruzados. Despus de una translacin (o cambio del origen del sistema de referencia) nos permite eliminar los trminos de grado uno y obtenemos as la ecuacin reducida de la cudrica.

VIII. INVARIANTES MTRICOS DE UNA CUDRICA.

Dada nmeros: la cudrica

~ ~ ~ Xt A X = 0

consideremos

los

I1 = tr(A) = a11 + a22 + a33

I2 =

a11 a12 a 00 a 01

a12 a 22 a 01 a11

a11 a13 a 00 a 02

a13 a 33 a 02 a 22

a 22 a 23 a 00 a 03

a 23 a 33 a 03 a 33

I2 =

% I3 = det(A)=det( A 00 ) % % % I3 = det( A11 )+det( A 22 )+det( A 33 )

I4 = det( A ) Proposicin Los nmeros I1,I2,I2, I3,I3 e I4 no varan cuando la cudrica es afectada por un movimiento rgido. A tales nmeros se les llama invariantes mtricos de las cudricas y nos permiten identificar el tipo de cudrica, como se puede ver en la siguiente tabla:

Miguel ngel Garca Muoz

lgebra II Dipl. Estadstica + Ing. Inf. Gestin

I4 > 0 I3 0 I4 0 I3I1>0 e I2 > 0 I3I10 e I2<0 I3I1<0 I3 = 0 I4 < 0 I3I1>0e I2 > 0 otro caso I3I1>0 I2>0 I20 I3=0 I3=0 I2<0 I3=0 I30 I2=0 e I10 I20 I2>0 I2<0 I2=0 I30 I30 I3I1<0 I4 < 0 I4 > 0 I4 < 0 I4 > 0

Elipsoide imaginario Elipsoide real Hiperboloide de 1 hoja Hiperboloide de 2 hojas Paraboloide hiperblico Paraboloide elptico Cono imaginario Cono real Cilindro elptico imaginario Cilindro elptico real

I3 0

I4 = 0

2 planos secantes imaginarios Cilindro hiperblico 2 planos secantes reales Cilindro parablico 2 planos paralelos imaginarios 2 planos paralelos reales plano doble

I3=0

Miguel ngel Garca Muoz