DE LAS CONICAS LA CLASIFICACION

Gabriel Chicas Reyes

21 de febrero de 2013
Resumen: Esta es una exposici on detallada de la clasicaci on de las c onicas reales en los casos af n y proyectivo, basada en dos charlas impartidas por el autor en las Facultades Multidisciplinarias de Occidente (26 de diciembre de 2012) y Oriente (3 de enero de 2013) de la Universidad de El Salvador. A excepci on de un m nimo de algebra lineal, no se asumen conocimientos de matem atica universitaria. El autor agradece a los estudiantes y profesores que asistieron a las charlas y contribuyeron a mejorar este documento con sus preguntas y comentarios.

I. LAS CONICAS EN EL PLANO EUCLIDIANO La geometr a anal tica es un enfoque de la geometr a euclidiana en el cual las guras geom etricas son estudiadas a trav es de coordenadas; de este modo el razonamiento sint etico es completamente reemplazado por manipulaciones algebraicas. Como cualquier estudiante de bachillerato sabe, el uso de coordenadas cartesianas es sencillo, mas tiende a ser mon otono y a opacar la intuici on geom etrica. El objetivo del presente documento es cambiar esta impresi on, y a trav es del estudio de ejemplos concretos (las c onicas) mostrar la efectividad del algebra en la resoluci on de problemas geom etricos, especialmente en aquellos casos en los que no es posible visualizar los objetos en cuesti on. Por este motivo se han omitido intencionalmente guras de cualquier tipo. En este apartado emprenderemos la clasicaci on de las c onicas apoy andonos en el algebra lineal, tal y como en [4]; aparte de ser eciente, este m etodo puede ser generalizado al caso proyectivo. nicas a. Repaso de co Antes que nada, qu e es una c onica? Un buen alumno probablemente recuerde que, usando coordenadas cartesianas, estamos hablando de alguna de las siguientes guras.

Par abola: y 2 = mx.

Elipse:

y2 x2 + = 1. a2 b2

Hip erbola:

x2 y2 = 1. a2 b2

Por supuesto, hay muchas otras expresiones que denen c onicas; sin embargo, todas ellas satisfacen ser ecuaciones cuadr aticas. Esta va a ser nuestra denici on general. Denici on 1.1 Una c onica real es la gr aca (es decir el conjunto de ceros reales) de un polinomio cuadr atico real en dos variables ax2 + bxy + cy 2 + dx + ey + f . Un inconveniente de esta denici on es que ya no es aparente a simple vista qu e tipo de gura representa una ecuaci on. M as a un, hay gr acas de ecuaciones cuadr aticas que normalmente no considerar amos c onicas. Teniendo en cuenta estas complicaciones, c omo saber si una ecuaci on cuadr atica arbitraria representa a una par abola, una elipse, una hip erbola u otro tipo de gura? Este es el problema de la clasicaci on de las c onicas. Ejemplo 1.2 La ecuaci on 81x2 + 529y 2 1134x + 1058y 38351 = 0 representa a una elipse, mientras 2 2 que x y 68x 122y 2565 = 0 representa a un par de rectas. Incluso hay ecuaciones que no representan a ninguna gura; por ejemplo x2 + 2xy + y 2 + 1 = 0 no tiene soluciones reales.

Si nos referimos a cualquier texto de geometr a anal tica, nos daremos cuenta de que el procedimiento general para clasicar una c onica ax2 + bxy + cy 2 + dx + ey + f = 0 es el siguiente: 1. Rotar el plano de modo que los ejes de simetr a de la curva sean paralelos a los ejes. 2. Efectuar una traslaci on del plano de tal forma que el centro (en el caso de la hip erbola y la elipse) o el v ertice (en el caso de la par abola) coincidan con el origen. Usando coordenadas, las transformaciones utilizadas corresponden a ciertos cambios de variable. El procedimiento algebraico correspondiente es el siguiente: 1. Eliminar el t ermino en xy mediante un cambio de variables; es decir, llevar la ecuaci on a la forma a x2 + c y 2 + d x + e y + f = 0. 2. Completar cuadrados y hacer otro cambio de variables para obtener una de las formas can onicas descritas arriba.1 Ejemplo 1.3 La ecuaci on 81x2 + 529y 2 1134x + 1058y 38351 = 0 no tiene t ermino en xy , y por tanto basta con completar cuadrados. Teniendo en cuenta que 81 = 92 y 529 = 232 podemos escribir (x 7)2 /232 + (y + 1)2 /92 = 1, y haciendo x = x 7, y = y + 1 obtenemos una ecuaci on simplicada x 2 /232 + y 2 /92 = 1. Luego la c onica en cuesti on es una elipse, tal y como hab amos dicho.

n de las co nicas reales b. La clasificacio Geom etricamente, el procedimiento anterior consiste en aplicar ciertas transformaciones (rotaciones y traslaciones) para reducir una c onica cualquiera a una de las guras que ya conocemos. Ya que algebraicamente esto se traduce en cambios de coordenadas, el uso del algebra lineal es natural. Denici on 1.4 Una transformaci on euclidiana es una aplicaci on R2 R2 de la forma x Ax + v , 2 donde A es una matriz ortogonal real de 2 2 y v R es un vector jo.2 Aqu la multiplicaci on por una matriz ortogonal denota una rotaci on y la suma de un vector jo representa una traslaci on. Denici on 1.5 Dos curvas en el plano euclidiano son equivalentes si existe una transformaci on euclidiana que transforme la ecuaci on de la una en la otra. Denici on 1.6 La matriz de la c onica ax2 + bxy + cy 2 + dx + ey + f = 0 se dene como a b/2 d/2 b/2 c e/2 . d/2 e/2 f Observemos que esta matriz es sim etrica y que es posible expresar la ecuaci on de la c onica como a b/2 d/2 x c e/2 y = 0. (x y 1) b/2 d/2 e/2 f 1 1 Ejemplo 1.7 La matriz de la c onica x2 + 2xy + y 2 + 1 = 0 es 1 0
1 El 2 Las

1 1 0

0 0. 1

adjetivo can onico se reere a que las ecuaciones en cuesti on son particularmente simples. transformaciones euclidianas reciben su nombre porque preservan la forma de las guras geom etricas. Formalmente, se dice que son las isometr as del plano euclidiano.

Emprendamos el primer paso. El cambio de coordenadas que elimina el t ermino en xy es una rotaci on de los ejes; para encontrarla es conveniente enfocarnos en los t erminos cuadr aticos de la ecuaci on. Denici on 1.8 Una forma cuadr atica en dos variables x e y es un polinomio de la forma ax2 + 2 bxy + cy . La matriz de la forma cuadr atica ax2 + bxy + cy 2 se dene como a b/2 . b/2 c Esta matriz es sim etrica y us andola podemos escribir ax2 + bxy + cy 2 = (x y) a b/2 b/2 c c1 0 x . y 0 , una matriz diagonal. c2

Ejemplo 1.9 La representaci on matricial de c1 x2 + c2 y 2 es

El ejemplo anterior sugiere que una forma cuadr atica puede ser puesta en una forma can onica sin el t ermino en xy diagonalizando la matriz correspondiente. Ese es el contenido del siguiente teorema: Teorema 1.10 Para toda forma cuadr atica p(x, y ) = ax2 + bxy + cy 2 existe un cambio lineal de coordenadas tal que p(x, y ) puede escribirse en la forma can onica 1 x 2 + 2 y 2 . M as a un, 1 , 2 R son los autovalores de la matriz de p(x, y ). Demostraci on. Recordemos que que una matriz sim etrica real de n n tiene n autovalores reales distintos (este es el llamado teorema espectral). M as a un, los autovectores correspondientes son ortogonales y pueden escogerse de modo que tengan norma 1; por tanto toda matriz sim etrica real puede ser diagonalizada mediante una matriz ortogonal. En nuestro caso particular, si N es la matriz de p(x, y ) tendr amos que existe una matriz ortogonal Q de 2 2 tal que 1 0 Q1 N Q = , 0 2 donde 1 y 2 son los autovalores de N . Este no es sino el resultado buscado. Regresando al problema, observemos que la ecuaci on general de una c onica puede expresarse como (x y) a b/2 b/2 c x + dx + ey + f = 0. y

Sea N la matriz de 2 2 que aparece en la ecuaci on anterior. El teorema que acabamos de probar garantiza que existe cierto cambio de variables de la forma x x 0 y y = 0 1 1 1

que diagonaliza a N y por tanto transforma la ecuaci on de la c onica en 1 x 2 + 2 y 2 + x + y + f = 0, o bien escribiendo en forma matricial 1 0 /2 x 2 /2 y = 0. (x y 1) 0 /2 /2 f 1 Aqu 1 y 2 son los autovalores de N y , son constantes.

Observemos que la nueva matriz M que acabamos de obtener es similar a la matriz original M . El segundo paso consiste en eliminar los t erminos lineales mediante una traslaci on.3 Hay dos posibles casos a considerar: Si los autovalores 1 y 2 son ambos distintos de 0, podemos efectuar la traslaci on x = x /21 , y = y /22 , o bien en forma matricial 1 0 /21 x x y = 0 1 /22 y . 1 0 0 1 1 Al aplicar esta transformaci on la ecuaci on de la c onica queda 1 x 2 + 2 y 2 + = 0, donde 2 2 = f /21 /22 . Consecuentemente, la ecuaci on en forma matricial es 1 0 0 x (x y 1) 0 2 0 y = 0. 0 0 1 Si al menos uno de los 1 y 2 es 0, lo mejor que podemos hacer es eliminar el t ermino lineal en una de las variables. Suponiendo que 2 = 0, la traslaci on x = x /21 , y = y lleva la ecuaci on de la c onica a la forma 1 x 2 + y + = 0, donde = f 2 /21 . En otras palabras x 1 0 0 0 /2 y = 0. (x y 1) 0 1 0 /2 De nuevo, la matriz M obtenida en este paso es similar a M y por tanto a M . En consecuencia, para estudiar una c onica arbitraria basta enfocarnos en una de las formas anteriores. Sigamos denotando por 1 y 2 a los autovalores del menor N . Tenemos los siguientes casos: Los autovalores 1 y 2 son ambos distintos de cero. Aqu hay dos posibilidades. Los autovalores tienen el mismo signo. Si tiene distinto signo al de los autovalores, obtenemos una elipse. Si = 0, la ecuaci on 1 x 2 + 2 y 2 = 0 tiene una sola soluci on (x , y ) = (0, 0); luego la c onica se reduce a un punto. Finalmente, si tiene signo distinto al de los autovalores, la ecuaci on 1 x 2 + 2 y 2 + = 0 no tiene soluciones reales; ya que ciertamente existen soluciones imaginarias, este caso se denomina elipse imaginaria. Los autovalores tienen signos opuestos. Si = 0, la expresi on 1 x 2 + 2 y 2 = 0 factoriza en dos t erminos lineales y representa a dos rectas que se cortan. Por otro lado, si = 0 la ecuaci on dada representa a una hip erbola. Uno de los autovalores es cero, digamos 2 = 0. Hay nuevamente dos casos: La constante es diferente de cero. Entonces la ecuaci on 1 x representa a una par abola.
2

+ y + = 0 claramente

La constante es igual a cero. Si y 1 tienen signos opuestos, la ecuaci on x 2 + /1 = 0 representa a dos rectas paralelas. Si y 1 tienen el mismo signo no existen soluciones reales, pero hablamos de un par de rectas paralelas imaginarias. Y si = 0 entonces 1 x 2 = 0 representa dos veces a una misma recta.
3 Al

nivel de manipulaciones algebraicas, lo que vamos a hacer es simplemente completar cuadrados.

Resumiendo, hemos establecido el siguiente resultado: Teorema 1.11 (Clasicaci on de las c onicas reales) Toda c onica real es equivalente a una de las siguientes guras: elipse real, elipse imaginaria, par abola, hip erbola, punto, par de rectas que se cortan, par de paralelas reales, par de paralelas imaginarias y par de rectas coincidentes. Ejemplo 1.12 Retomando la c onica x2 + 2xy + y 2 + 1 = 0 del ejemplo anterior, el menor a considerar 1 1 2 0 1 1 es N = . Al diagonalizar esta matriz resulta que Q1 N Q = , donde Q = . 1 1 0 0 1 1 Se sigue que el cambio de variables x = x + y , y = x y transforma la ecuaci on de la c onica en 2x 2 + 1 = 0.

c. El rango y el discriminante La demostraci on del teorema anterior nos permite averiguar qu e tipo de c onica representa una ecuaci on cualquiera; sin embargo, ser a posible hacer esto sin necesidad de encontrar la forma can onica? La respuesta es armativa; este m etodo alternativo de clasicaci on se basa en ciertas cantidades que son invariantes durante el c alculo de la forma can onica, y por tanto pueden usarse para identicar cada uno de los nueve casos. Una de ellas es el rango. Denici on 1.13 El rango de una c onica es el rango de su matriz asociada. Ahora necesitamos denir formalmente qu e entendemos por degeneraci on. Denici on 1.14 Una c onica es degenerada si el determinante de su matriz asociada es 0. De lo contrario decimos que la c onica es no degenerada. Es un ejercicio sencillo comprobar que, usando esta denici on, las c onicas no degeneradas son precisamente la par abola, la elipse (real o imaginaria) y la hip erbola. Tal y como nuestra intuici on lo dicta, las c onicas que se reducen a puntos o pares de rectas son degeneradas. Lema 1.15 Las c onicas reales degeneradas son las siguientes: punto real, par de rectas que se cortan, par de paralelas reales, par de paralelas imaginarias y par de rectas coincidentes. Demostraci on. Basta con ver la matriz de la forma can onica de cada una de estas guras. Proposici on 1.16 Dos c onicas equivalentes tienen el mismo rango. Demostraci on. En efecto, en el transcurso de la clasicaci on hemos observado que al cambiar coordenadas siempre obtenemos una matriz similar a la matriz de la c onica. De aqu que el rango de la c onica permanece invariante. Corolario 1.17 Las propiedad de no degeneraci on es invariante ante cambios de coordenadas. Proposici on 1.18 Una c onica es degenerada si y s olo si tiene rango menor que 3. Demostraci on. Una c onica tiene rango menor que 3 si y s olo si su matriz no es invertible, o sea si y s olo si el determinante de esta matriz es cero. Ahora necesitamos introducir una segunda invariante que seguramente es familiar para algunos estudiantes: el discriminante. En los libros de texto de geometr a anal tica, esta cantidad aparece durante el estudio de la ecuaci on general de segundo grado.

Denici on 1.19 El discriminante de una c onica se dene como = b2 4ac. Proposici on 1.20 Dos c onicas equivalentes tienen el mismo discriminante. Demostraci on. Ya hemos visto que el c alculo de la forma can onica consiste en rotaciones y traslaciones. Al rotar estamos cambiando N por una matriz similar, que tiene la misma ecuaci on caracter stica. Por otro lado, N es invariante ante traslaciones del plano ya que estas no afectan a los coecientes de segundo grado a, b, c. Se sigue que la ecuaci on caracter stica de N es invariante ante cambios de coordenadas. Ya que esta ecuaci on est a dada por 2 (a + c) + tr N = a + c son invariantes. 4ac b2 = 0, concluimos que det N = 4ac b2 y 4

Finalmente tenemos el famoso criterio del discriminante : Corolario 1.21 Una c onica es una elipse, par abola o hip erbola (posiblemente degenerada) dependiendo de si el discriminante = b2 4ac es negativo, cero o positivo, respectivamente. Demostraci on. Nuevamente usamos la forma can onica y consideramos dos casos. Si alguno de los autovalores del menor N es cero, sabemos que la c onica es una par abola. Pero esta condici on implica que N es singular y por tanto su determinante es cero. Luego = 0 para una par abola. En cambio, si ambos autovalores son distintos de cero, inspeccionando la clasicaci on en este caso vemos que una elipse (real o imaginaria) corresponde al caso en que 1 y 2 tienen el mismo signo; pero det N = 1 2 , as que < 0. Si en cambio consideramos una hip erbola, 1 y 2 tienen signos opuestos, de donde > 0 en este caso. Un criterio para distinguir las c onicas degeneradas entre s se deja como ejercicio para el lector. Ejemplo 1.22 La c onica x2 y 2 68x 122y 2565 = 0 es degenerada, pues 1 0 34 Adem as, = 4(1) = 4 > 0, de donde la c onica corresponde al caso degenerado decir un par de rectas que se cortan. Ejercicios 1. Encuentre los cambios de variable que diagonalizan las siguientes formas cuadr aticas: (i) x2 xy + y 2 . (ii) x2 + 4xy + y 2 . (iii) 3x2 + 4 2xy + 3y 2 . 2. Clasique las siguientes c onicas, comparando los m etodos expuestos en este apartado: (i) 2x2 + 5xy + y 2 1 = 0. (ii) x2 4xy + 4y 2 4 = 0. (iii) 5x2 + 6xy + 5y 2 4x + 4y 4 = 0. 3. Calcule la integral

2

0 34 1 61 = 0. 61 2565 de la hip erbola, es

e x

+xy y 2

dx dy.

Sugerencia: Use un cambio de variables para reducir el problema a una integral famosa. 4. Enuncie un criterio para clasicar una c onica dada usando los autovalores 1 y 2 del menor N . 5. Enuncie un criterio para distinguir los 6 casos de c onicas degeneradas usando el discriminante. 6. Enuncie un criterio para averiguar si una c onica dada representa a una circunferencia. 7. Una c onica central es tal que posee un centro de simetr a, como la elipse y la hip erbola. Demuestre que en este caso los ejes de la c onica son paralelos a los autovectores del menor N . 6

8. Muestre que el centro de una c onica central satisface el sistema de ecuaciones: b ax + y + 2 b x + cy + 2 Qu e sucede si la c onica es una par abola? 9. Pruebe el angulo de rotaci on en el paso 1 viene dado por la f ormula = 2b 1 arctan . 2 ca d =0 2 e =0 2

Sugerencia: Recuerde que las entradas de una matriz ortogonal real de 2 2 pueden ser escritas en t erminos de los senos y cosenos del angulo de rotaci on. 10. Una cu adrica en R3 es una supercie denida por un polinomio cuadr atico en 3 variables. Investigue la clasicaci on de las cu adricas. Sugerencia: Utilice la ley de inercia de Sylvester.4

II. EL PLANO PROYECTIVO REAL En la geometr a euclidiana existen rectas (las paralelas) que no se cortan. Sin embargo, a veces es conveniente considerar que dos rectas paralelas se cortan en el innito. Si bien esta idea puede parecer extra na, en realidad estamos acostumbrados a verla a diario: dos rectas paralelas (las aceras de una calle, las l neas de tren, etc.) se juntan en el horizonte. El plano proyectivo es un objeto idealizado obtenido al a nadir puntos al innito al plano euclidiano, de modo que dos rectas cualesquiera se corten. En esta nueva geometr a solamente tiene sentido considerar propiedades invariantes ante el cambio de perspectiva (por ejemplo concurrencia y colinealidad), mas otras como longitud, angulo, etc. son descartadas. Este es el mundo de la geometr a proyectiva.5 Es posible estudiar el plano proyectivo a trav es de coordenadas, de forma similar a la geometr a anal tica del plano euclidiano. Estas coordenadas (homog eneas) son m as sim etricas que las coordenadas cartesianas, y permiten dar un tratamiento unicado y sencillo de varios resultados de la geometr a euclidiana, entre ellos la clasicaci on de las c onicas.6 n de P2 R a. Definicio Denici on 2.1 El plano proyectivo real P2 R es un espacio donde cada punto es representado por una tripleta de n umeros reales [X : Y : Z ], llamados coordenadas homog eneas, que satisfacen las siguientes reglas: (i) [0 : 0 : 0] no est a denido; es decir, al menos uno de los X , Y , Z tiene que ser distinto de cero. (ii) Para todo R, [X : Y : Z ] = [X : Y : Z ]. Para evitar confusiones con el plano proyectivo, a veces nos referiremos al plano euclidiano R2 como el plano af n.7 Ejemplo 2.2 El punto [1 : 2 : 3] P2 R admite numerosas representaciones: [1 : 2 : 3] = [5 : 10 : 15] = [2013 : 4026 : 6039] =
4 La

1 3 : 1 : = [ : 2 : 3 ] = 2 2

ley de inercia de Sylvester es un resultado de algebra lineal que permite clasicar formas cuadr aticas reales en cualquier n umero de variables. 5 La geometr a proyectiva es una geometr a no euclidiana; concretamente es una geometr a el ptica ya que dados una recta y un punto fuera de ella, no existe ninguna paralela a la recta que pase por dicho punto 6 Tambi en es posible dar un tratamiento puramente sint etico (axiom atico) de la geometr a proyectiva, de manera an aloga a los Elementos de Euclides. El lector interesado puede consultar un texto como [2]. 7 Es posible denir espacios proyectivos Pn R para cualquier n > 0 exactamente de la misma manera, incluso reemplazando R por C o cualquier otro cuerpo.

Como podemos ver, las coordenadas homog eneas no son u nicas: podemos multiplicarlas por cualquier n umero distinto de cero. El lector que tenga dicultades con esta denici on deber a tener en mente que es la raz on de las coordenadas la que importa. A continuaci on explicaremos a qu e nos referimos al decir que el plano af n R2 est a contenido en P2 R. Proposici on 2.3 Sea S = {[X : Y : Z ] P2 :Z = 0} P2 . Entonces existe una biyecci on entre los puntos de R2 y los puntos de S tal que (x, y ) R2 es enviado a [x : y : 1] S . Demostraci on. Denamos una aplicaci on S R2 enviando [X : Y : Z ] S a (X/Z, Y /Z ), el cual 2 pertenece a R puesto que Z = 0. Veamos que esta es la aplicaci on inversa de la aplicaci on de la proposici on. Si (x, y ) R2 , entonces trivialmente (x, y ) [x : y : 1] (x, y ). Adem as si [X : Y : Z ] S , entonces [X : Y : Z ] (X/Z, Y /Z ) [X/Z : Y /Z : 1]. Pero [X/Z : Y /Z : 1] = [X : Y : Z ] ya que Z = 0. El conjunto S es llamado a veces una carta af n. Observemos que hay otras dos cartas anes, respecto a X e Y , y la uni on de las tres cartas es igual a P2 . Por simplicidad siempre trabajaremos en la carta S . El resultado anterior nos dice que podemos intercambiar entre coordenadas anes (cartesianas) y homog eneas seg un nos convenga. Ejemplo 2.4 Una recta en el plano proyectivo es el conjunto de ceros de un polinomio homog eneo lineal aX + bY + cZ = 0. Supongamos que tenemos una recta ax + by + c = 0 en el plano euclidiano. Pasando a coordenadas homog eneas, es decir haciendo x = X/Z , y = Y /Z y reordenando obtenemos aX + bY + cZ = 0, que es una recta tal y como lo acabamos de denir. Supongamos que [x0 : y0 : 0] P2 R es la intersecci on de las dos rectas aX + bY + cZ = 0 y Z = 0, esto es, se cumple que ax0 + by0 = 0. Ahora bien, en geometr a anal tica aprendimos que una recta paralela a ax + by + c = 0 debe tener la misma pendiente, y por tanto su ecuaci on a x + b y + c = 0 es tal que b/a = b /a (o bien b = b si a = 0). Pasando a coordenadas homog eneas obtenemos otra recta a X + b Y + c Z = 0, cuya intersecci on con Z = 0 tambi en es [x0 : y0 : 0]. Luego las rectas paralelas ax + by + c = 0 y a x + b y + c = 0 se cortan en P2 R! Sea T = {[X : Y : Z ] P2 R : Z = 0} P2 R. Entonces P2 R = S T . Por el ejemplo anterior cada punto de T corresponde a una direcci on diferente de rectas paralelas; por eso suelen llamarse puntos al innito. Estos puntos est an todos sobre la recta Z = 0, que por ende se denomina la recta al innito. Luego P2 es igual al plano euclidiano m as un conjunto de puntos al innito, tal y como indicamos al principio de este apartado. nicas en P2 R b. Las co Recordemos que una curva en el plano euclidiano es el conjunto de soluciones de una ecuaci on polinomial. Esta denici on no es aplicable al plano proyectivo, ya que las coordenadas homog eneas pueden multiplicarse por escalares sin alterar su valor, pero puede rescatarse con un ajuste menor. Denici on 2.5 Un polinomio homog eneo en tres variables consta solamente de monomios de igual grado. El grado de dicho polinomio es el grado de los monomios. Denici on 2.6 Una curva en el plano proyectivo es el conjunto de ceros de un polinomio homog eneo de tres variables. Una c onica en el plano proyectivo es el conjunto de ceros de un polinomio cuadr atico homog eneo aX 2 + bXY + cY 2 + dXZ + eY Z + f Z 2 (tambi en llamado forma cuadr atica).8
8 Observemos que s tiene sentido decir que un punto [X0 : Y0 : Z0 ] es un cero de un polinomio homog eneo P de grado d: Si P (X0 , Y0 , Z0 ) = 0 y = 0 es cualquier constante, entonces P (X0 , Y0 , Z0 ) = d P (X0 , Y0 , Z0 ) = 0.

Ejemplo 2.7 Los polinomios homog eneos de grado 1 son de la forma aX + bY + cZ ; luego las rectas en el plano proyectivo tienen ecuaciones de la forma aX + bY + cZ = 0, tal y como dijimos arriba. Algunas c onicas en P2 R son X 2 Y Z = 0 y X 2 + Y 2 Z 2 = 0. Al igual que en el caso af n, la clasicaci on de las c onicas en P2 R se basa en llevar la curva a una forma est andar mediante un cambio de coordenadas. Aqu debemos detenernos un momento para preguntarnos: c omo son los cambios de coordenadas en P2 R? Intuitivamente estos deben corresponder a un cambio de perspectiva en el plano. Ya que cambiando el punto de vista podemos convertir, por ejemplo, un cuadrado en un paralelogramo, una circunferencia en una elipse, dos paralelas en dos rectas que se cortan, etc., esperar amos que mucha informaci on preservada en el caso euclidiano sea descartada. Denici on 2.8 Una proyectividad de P2 R es una aplicaci on de la forma v M v , donde M es una matriz real invertible de 3 3; es decir, es una transformaci on lineal invertible de P2 R en P2 R.9 Denici on 2.9 Dos curvas en P2 R son equivalentes si existe una proyectividad que convierta la una en la otra. A continuaci on presentamos la clasicaci on de las c onicas en el plano proyectivo. Por lo reci en discutido arriba, es de esperarse que el uso de proyectividades ofrezca una simplicaci on dr astica de la clasicaci on en el caso euclidiano. Denici on 2.10 La matriz de la c onica aX 2 + bXY a b/2 b/2 c d/2 e/2 + cY 2 + dXZ + eY Z + f Z 2 = 0 se dene como d/2 e/2 . f

Esta matriz es sim etrica y podemos expresar la ecuaci on de la c onica como X a b/2 d/2 c e/2 Y . (X Y Z ) b/2 Z d/2 e/2 f Proposici on 2.11 Para toda forma cuadr atica P (X, Y, Z ) en R3 existe un cambio lineal de coordenadas tal que P puede escribirse en la forma can onica 1 X 2 + 2 Y 2 + 3 Z 2 , donde 1 , 2 y 3 son constantes que dependen de P (de hecho, son los autovalores de la matriz asociada a P ). Demostraci on. Esto es una consecuencia del teorema espectral, tal y como en en el Teorema 1.10. Esto nos dice que, mediante un cambio de coordenadas adecuado, cualquier c onica en P2 R puede ser llevada a la forma can onica de la proposici on. Obtenemos por tanto: Teorema 2.12 (Clasicaci on de las c onicas en P2 R) Usando un cambio de coordenadas adecuado, toda c onica en el plano proyectivo real puede ser puesta en alguna de las siguientes formas: C onica no degenerada : X 2 + Y 2 Z 2 = 0. Punto : X 2 + Y 2 = 0. Par de rectas : X 2 Y 2 = 0. Par de rectas coincidentes : X 2 = 0. Conjunto vac o : X 2 + Y 2 + Z 2 = 0.
9 Notemos que los coecientes de M pueden ser multiplicados por cualquier constante = 0, sin cambiar el valor de M v . El conjunto de todas las proyectividades se conoce como el grupo lineal general proyectivo P GL(2, R).

Usando las mismas deniciones de degeneraci on y rango, podemos enunciar una consecuencia notable de la clasicaci on. Corolario 2.13 Existe una u nica c onica no degenerada en P2 R, salvo proyectividades. Ejemplo 2.14 En el plano euclidiano, una par abola y una circunferencia tienen ecuaciones y = x2 2 2 y x + y = 1 respectivamente. Pasando a coordenadas homog eneas obtenemos sendas ecuaciones Y Z = X 2 y X 2 + Y 2 = Z 2 . Es sencillo comprobar que el cambio de coordenadas X = X , Y = Y Z , Z = Y + Z convierte la ecuaci on de la par abola en la ecuaci on de la circunferencia.

Ejercicios 1. Encuentre los cambios de variable que diagonalizan las siguientes formas cuadr aticas: (i) x2 2xy + 2yz + z 2 . (ii) 7x2 + y 2 + z 2 + 8xy + 8yz 16yz . (iii) x2 + y 2 + z 2 + xy + yz + zx. 2. D e una clasicaci on de las c onicas en el plano proyectivo complejo P2 C. 3. Verique que la imagen de una recta bajo una proyectividad es otra recta, y que rectas concurrentes son enviadas a rectas concurrentes (en otras palabras, una proyectividad preserva colinealidades y concurrencias). 4. Un punto singular [X0 : Y0 : Z0 ] de la curva P (X, Y, Z ) = 0 es tal que anula las derivadas parciales de P , esto es Px (X0 , Y0 , Z0 ) = Py (X0 , Y0 , Z0 ) = Pz (X0 , Y0 , Z0 ) = 0. Una curva P (X, Y, Z ) = 0 es no singular si carece de puntos no singulares. Cu ales de las cinco c onicas de la clasicaci on de este apartado son no singulares? 5. Una curva P (X, Y, Z ) = 0 es irreducible si el polinomio P (X, Y, Z ) es irreducible. Demuestre que toda curva no singular es irreducible. Concluya que la c onica no degenerada en el plano proyectivo es irreducible. 6. Sean f R[x, y ] un polinomio y F R[X, Y, Z ] su homogeneizaci on10 , que denen sendas curvas 2 c y C . Pruebe que si (a, b) R es un punto singular de c, entonces [a : b : 1] P2 R es un punto singular de C . 7. (Clasicaci on de las c onicas, versi on geom etrico-algebraica) Dada una c onica real cualquiera C , enc ajela en el plano proyectivo (cf. Proposici on 2.3) y considere su intersecci on con la recta al innito L. Demuestre que: C es una elipse si C L = . C es una hip erbola si C L consta de dos puntos diferentes. C es una par abola si C L consta de un solo punto doble. 8. Es posible que una c onica no degenerada en el plano euclidiano sea equivalente a una c onica degenerada en el plano proyectivo? 9. D e una clasicaci on de las cu adricas11 en P2 R y P2 C. Cu antas cu adricas no degeneradas hay en cada caso? 10. Discuta la veracidad del converso de la Proposici on 1.16: Si dos c onicas en P2 R tienen el mismo rango, entonces son equivalentes. Qu e sucede si trabajamos en P2 C?

10 El t ermino homogeneizaci on se reere a que obtendremos un polinomio homog eneo al pasar de coordenadas cartesianas a homog eneas. Cf. Proposici on 2.3. 11 Una cu adrica en el plano proyectivo se dene como el conjunto de ceros de una forma cuadr atica en cuatro variables.

10

 III. CONCLUSION El estudio de las c onicas y de la geometr a proyectiva en general es, en opini on del autor, benecioso para cualquier estudiante de matem atica, ya que est a relacionado con otras teor as m as profundas. En este apartado ser an sugeridas algunas alternativas para los lectores interesados. Las c onicas son ejemplos importantes de curvas algebraicas, es decir el conjunto de ceros de un polinomio. Resolver un sistema de dos ecuaciones polinomiales es equivalente a intersecar dos curvas, y el estudio de dichas intersecciones revela muchos detalles sobre la geometr a de las curvas12 (un resultado fundamental en esta direcci on es el teorema de B ezout). Asimismo, las curvas denidas sobre los n umeros complejos poseen una rica teor a que relaciona el algebra con el an alisis complejo, debido a la presencia de una estructura compleja adicional, la de supercies de Riemann. En general, los conjuntos de soluciones de sistemas de ecuaciones polinomiales son el objeto de estudio tradicional de la geometr a algebraica. Dos buenos textos introductorios sobre estos temas son [3] y [5]. Por otra parte, la clasicaci on de las formas cuadr aticas es un problema fundamental. Los casos real y complejo pueden ser resueltos f acilmente usando algebra lineal, mediante la ley de inercia de Sylvester. La cuesti on se vuelve m as interesante al considerar coecientes en otros conjuntos: el caso de las formas cuadr aticas con coecientes en un cuerpo num erico es un problema famoso de la teor a de n umeros algebraica (el teorema de Hasse-Minkowski), tal y como se discute en [6]. Finalmente, vale la pena resaltar que el paradigma de la clasicaci on en los tipos el ptico, parab olico e hiperb olico es recurrente en diversas ramas de la matem atica. Un ejemplo notable es el de las ecuaciones diferenciales parciales de segundo orden, en la cual los miembros de cada tipo tienen propiedades muy diferentes entre s : el ptico (v.g. las ecuaciones de Laplace y Poisson), parab olico (v.g. la ecuaci on del calor) e hiperb olico (v.g. la ecuaci on de onda). El lector interesado en ecuaciones diferenciales parciales en general tendr a a bien consultar un texto exhaustivo como [1].

REFERENCIAS [1] Chester, C.R., Techniques in Partial Dierential Equations, International Series in Pure and Applied Mathematics, McGraw-Hill, 1971. [2] Coxeter, H.S.M., Projective Geometry, 2nd ed., Springer-Verlag, 1987. [3] Kirwan, F., Complex Algebraic Curves, London Mathematical Society Student Texts 23, Cambridge University Press, 1992. [4] Pettofrezzo, A.J., Matrices and Transformations, Dover Publications, 1978. [5] Reid. M., Undergraduate Algebraic Geometry, London Mathematical Society Student Texts 12, Cambridge University Press, 1988. [6] Serre, J.-P., A Course in Arithmetic, Graduate Texts in Mathematics 7, Springer-Verlag, 1973.

Gabriel Chicas Reyes (University of Tokyo) E-mail address: gachr.ebc253@gmail.com Website: http://salvamate.wordpress.com/

12 Un

ejemplo de esta armaci on puede encontrarse en el ejercicio 7 del apartado II.

11