Tema 5. C onicas. Introducci on.

Ejemplos.- El cono C = {(x, y, z ) R3 /x2 + y 2 = z 2 } est a formado por las rectas vectoriales 0 (x1, x2, 1) [x1, x2, 1] RP 2 con (x1, x2 , 1) C 1 = C1 , circunferencia unidad en el plano 1 z = 1, ya que (x, y, z ) C {0}, se tiene
2 (x, y, z ) = z (x1, x2, 1) con x2 1 + x2 =

x2 + y 2 = 1. z2

Asi, para las identicaciones habituales, (punto proyectivo recta vectorial punto de un plano af n ampliado), R3 {0} RP 2 1 [0] con 0 z = 0, se deduce que [C ] C1 = {(x, y, 1) R3/x2 + y 2 = 1}. Cortando el cono con otros planos anes se obtienen otras secciones c onicas: 1. Para 0 z = cy, c R, se tiene 0 C x2 + y 2 = c2y 2 , esto es, 1

 (a) dos rectas r x = c2 1y, si c2 > 1, (b) una recta r0 x = 0, si c2 = 1, o bien (c) el origen si c2 < 1, que son secciones degeneradas, (obtenidas con planos vectoriales). 2. Para z = cy + 1 paralelo a 0, se tiene que C es (a) una hip erbola, si c2 > 1, (b) una par abola, si c2 = 1, o bien (c) una elipse, si c2 < 1, son c onicas no degeneradas, que se identican con el cociente del cono, a nadiendo los puntos de la recta del innito, r = [0], esto es, [C ] H [r+ , r ] P [r0 ] E C1 .

Ejercicio.- Estudiar las c onicas {(x, y ) R2 /x2 + y 2 = (cy + 1)2 }, para algunos valores de c R. 1. Hip erbola con c = 2: x2 + y 2 = ( 2y + 1)2 = 2y 2 + 2 2y + 1 da sii Salvo la traslaci on queda x2 = y 2 + 2 2y + 1 = (y + 2)2 1 y = x2 1 2, x R.

*) Los focos y las rectas directrices de una c onica no degenerada se determinan por d(X, F ) = ed(X, r), X C , donde e > 0 es su excentricidad, (se tendr a e > 1 para las hip erbolas, e = 1 en las par abolas y e < 1 para las elipses). 1 En el caso anterior, c = 2, se comprueba que F = (0, 2), r y = y e = 2. 2 Adem as, se deduce que d(X, F+ ) d(X, F ) es constante. Analogamente, se pueden desarrollar los siguientes ejemplos: 2. Par abola con c = 1. 3. Elipse con c = 1/ 2.

Denici on.- Una c onica en el plano af n es el conjunto de puntos (x, y ) R2 tales que a11x2 + a22y 2 + a33 + 2a12xy + 2a13 x + 2a23 y = 0, con aij R. *) Asi, X t = (x, y, 1) 1 RP 2 [0], verica X t AX = 0, para a11 a12 a13 A = a12 a22 a23 = At , a13 a23 a33 onica af n tiene asociada matriz sim etrica. Equivalentemente (X )t A(X ) = 0, R 0, y la c la c onica proyectiva CA = {[X ] RP 2 /X t AX = 0}, que se identica con ella, salvo los puntos del innito, ya que [x1, x2, x3] = [ x1 x2 , , 1], si x3 = 0. x3 x3

*) Las coordenadas homog eneas verican

3

ai,j xi xj = 0
i,j

ecuaci on homog enea de segundo grado.

Ejercicio.- Las proyectividades conservan c onicas. 3

Teorema.- Toda c onica CA RP 2 es proyectivamente equivalente a CD con 1 0 0 D = 0 2 0 , (valores propios de A). 0 0 3

Demostraci on.- Las matrices sim etricas siempre son diagonalizables, mediante una matriz ortogonal P , esto es, P t = P 1 y P t AP = D. Entonces [Y ] CD 0 = Y t DY = Y t P t AP Y [P Y ] CA . Por tanto, f (CD ) = CA , para la proyectividad f ([Y ]) = [P Y ].

Consecuencia.CA CD CD cambiando los valores propios por i {+1, 1, 0}, con el mismo signo que i , i = 1, 2, 3. (Se usa que Qt D Q = D, para Q matriz diagonal con |i | en lugar de i = 0 y 1 si i = 0)

Con estos resultados se obtiene la siguiente

Clasicaci on proyectiva.
1. C onicas propias, (rango(A) = 3). Si det(A) = 0, entonces los signos de los valores propios de A son (+, +, +) o (+, +, ), salvo el orden, y CA es proyectivamente equivalente a (a) una c onica propia imaginaria x2 + y 2 + z 2 = 0, o (b) una c onica propia real x2 + y 2 z 2 = 0. En R3 se ve el origen o un cono. 2. C onicas impropias, (rango(A) < 3). Para det(A) = 0 se tiene (+, +, 0), (+, , 0) o (+, 0, 0), y CA es (a) un par de rectas proyectivas imaginarias x2 + y 2 = 0, 4

(b) un par de rectas proyectivas reales x2 y 2 = 0, o (c) una recta proyectiva real x2 = 0. o el plano En R3 se ve la recta {(0, 0, z )/z R}, los planos {(x, x, z )/x, z R} {(0, y, z )/y, z R}. Consecuencia.- Una recta proyectiva y una c onica propia real son disjuntas, tangentes en un punto o secantes en dos puntos. (f (CA r) est a dada por x2 + y 2 = z 2, ax + by + cz = 0)

Ejercicio.- Clasicar proyectivamente las c onicas ax2 + 2xy 2xz + 4yz = 0, a R. Esto es, CA con a 1 1 A = 1 0 2 . 1 2 0 Comprobar que la recta rX = {[Y ] RP 2 /X t AY = 0} es tangente a CA en [X ] = [0, 0, 1], si a = 1.

onica proyectiva CA si Denici on.- Un punto [X ] RP 2 es regular para una c X t A R3 {0}. En tal caso, la recta polar de X respecto de CA es rX = {[Y ] RP 2 /X t AY = 0} y se dice que X es el polo de rX respecto de CA . (Escribimos X en lugar de [X ]). *) Por denici on, rX = [0], con 0 plano vectorial de R3 ortogonal a X t A. *) Como A es sim etrica, se tiene que Y rX X rY . Pero X rX X CA . 5

*) Para una c onica propia real CA todos los puntos de RP 2 son regulares, por serlo A. Entonces, se puede denir la aplicaci on : RP 2 RP 2, ([X ]) = rX ,

nico [X ] RP 2 tal que X t A 0 y rX = [0]. que es biyectiva, ya que [0] RP 2 , existe un u

Proposici on.- Si X CA c onica propia (real), entonces su recta polar rX es tangente a CA en X . Demostraci on.- Como X rX X CA , se tiene que rX es tangente o bien existe Y rX CA , con Y = X , pero en este caso, se comprueba que rX = X Y CA y tendriamos una c onica impropia.

onica propia), entonces X = rX1 rX2 , Consecuencia.- Si rX CA = {X1 , X2 }, (secante a c nicas tangentes a CA desde X . con rX1 , rX2 las u

Ejercicio.- La polaridad es un invariante proyectivo.

Clasicaci on euclidea y af n de las c onicas propias reales.

Para RP 2 1 [0], con 1 z = 1 y 0 z = 0, sea X RP 2 el polo de la recta del onica propia real CA . innito r = [0], respecto de una c

1. Si X / r , entonces X = [a, b, 1] y salvo la traslaci on

1 0 a a 0 0 1 b b = 0 , 0 0 1 1 1 a dada por se puede considerar X = [0, 0, 1] y rX = r = [0] = [z = 0]; que est 0 = (0, 0, 1)AX = a13x + a23y + a33z a13 = 0 = a23 y a33 = 0. Como CA = CA , R {0}, podemos tomar a33 = 1. Asi, el corte de CA con 1 RP 2 r verica a11 a12 0 x (x, y, 1) a12 a22 0 y = 0 (x, y ) 0 0 1 1

a11 a12 a12 a22

x y

= 1,

con det(A) = a12a12 a11a22 = 0. Diagonalizando, existe P O(2, R) tal que Pt a11 a12 a12 a22 P= 1 0 0 2

y el isomorsmo f : R2 R2 dado por f aplica

2 CD = {(x1 , x2) R2 /1 x2 1 + 2 x2 = 1}

x1 x2

=P

x1 x2

x y

en [CA ] CA 1, considerando R2 1. Por tanto, f 1 ([CA ]) es (a) una elipse si 1 , 2 > 0, o (b) una hip erbola si 1 > 0 y 2 < 0. Se ve que X (0, 0) es el centro de estas c onicas. 2. Si X r , entonces, (salvo un giro de eje z), X = [0, 1, 0] y r = [0] = [z = 0], est a dada por 0 = (0, 1, 0)AX = a12x + a22y + a23z a12 = 0 = a22 y a23 = 0. En este caso nos queda a11 0 a13 x (x, y, 1) 0 0 1 y = 0 a11x2 + 2a13 x + 2y + a33 = 0, 1 a13 1 a33 7

con det(A) = a11 = 0. Esto es, la par abola 2y = a11 x + a13 a11
2

+ a33

a2 13 . a11

Ahora, X (0, 1) es la direcci on del eje de simetr a.

Asi, hemos demostrado el siguiente Teorema de clasicaci on.- Salvo un movimiento r gido, las c onicas propias reales dan 1. una elipse,
x2 a2

y2 b2 x2 a2

= 1,
y2 b2

2. una hip erbola,

= 1, o

3. una par abola, y = cx2, con a, b, c R {0}. *) Cualquier propiedad m etrica que tengan estos modelos, como la existencia de focos y rectas directrices, se verica para todas las c onicas que representan. Corolario.- Toda c onica propia real CA es anmente equivalente a 1. x2 + y 2 = 1, si r es disjunta a CA , 2. x2 y 2 = 1, si r es secante a CA , o 3. y = x2, si r es tangente a CA .
x1 x2 , x3 x3

(Para ver r CA , se cambia (x, y ) por

y se corta con x3 = 0).

Problemas.- Para a R, estudiar la c onica ax2 + y 2 + 2xy + 2x 2y + 1 = 0. 1. Clasicaci on de su c onica proyectiva asociada. 2. Clasicaci on af n, (posici on relativa de CA y r ). 3. As ntotas de la hip erbola con a = 0, (tangentes en los puntos del innito). 4. Calcular el polo de la recta del innito para la elipse con a = 2, (da su centro). 8

5. Calcular el polo de la recta del innito para la par abola con a = 1, (da el eje). 6. Tangentes a la par abola desde (1, 0) [1, 0, 1] = X .

Determinaci on de c onicas.
Teorema.- Dados 5 puntos de RP 2 no alineados 3 a 3, existe una u nica c onica (propia real) que pasa por ellos. Demostraci on.- Salvo una proyectividad, se tiene Pi = [ei], i = 1, 2, 3, U = [1, 1, 1] y X = [a, b, c] an alineados, para i = j {1, 2, 3}. Adem as, son con a, b, c R {0} ya que X, Pi , Pj no est distintos, ((a, a, c) = a(1, 1, 1) + (c a)(0, 0, 1)). En general, Pi CA aii = 0, y para i = 1, 2, 3 queda a12x1 x2 + a13x1x3 + a23x2x3 = 0. Ahora, U, X = [a, b, 1] CA da a12 + a13 + a23 = 0 = a12ab + a13a + a23b y resolviendo el sistema, CA est a dada por (a b)x1x2 + (b ab)x1x3 + (ab a)x2x3 = 0.

Corolario. (Haces de c onicas).- Por 4 puntos no alineados 3 a 3 pasan innitas c onicas CA , con A = 1 A1 + 2 A2, 0 1 1 A1 = 1 0 0 , 1 0 0 y (1 , 2 ) R2 {0}. Demostraci on.- Salvo una proyectividad, se tiene Pi = [ei], i = 1, 2, 3, y U = [1, 1, 1]. Por tanto, Pi CA aii = 0 para i = 1, 2, 3 y U CA a12 + a13 + a23 = 0 a12 = a13 a23 = 1 2 . 9

0 1 0 A2 = 1 0 1 0 1 0

*) Las c onicas X t Ai X = 0, i = 1, 2, son las rectas proyectivas que unen los puntos. Se comprueba que CA1 = [e2] [e3] [e1] U y CA2 = [e1] [e3] [e2] U.

Ejercicio.- Encontrar la c onica que pasa por [1, 0, 0], [0, 1, 0], [1, 1, 1], [1, 1, 2] y [1, 2, 3]. (Buscar un haz con los cuatro primeros e imponer que pase por el quinto).

Ejercicio. (Otros haces de c onicas). 1. Sean P1 , P2 , P3 , P4 puntos de RP 2 no alineados 3 a 3. Probar que las c onicas que pasan por P1 , P2 , con tangentes r1 = P1 P3 y r2 = P2 P4 respectivamente, forman el haz generado por el par de rectas r1 r2 y la recta doble P1 P2 . 2. Probar que las c onicas que pasan por P1 , P2 , P3 , con tangente r = P1 P4 , forman el haz generado por el par de rectas P1 P2 P1 P3 y el par de rectas P2 P3 r.

Ejercicio. 1. Calcular la ecuaci on de la hip erbola de as ntotas x + y = 1, y = 2, que pasa por el punto (0, 0). 2. Calcular la ecuaci on de la par abola que pasa por los puntos (1, 0), (0, 0), (5, 3) y cuyo eje es paralelo a la recta x + y = 1. (Pasar de R2 1 a RP 2 1 [0] y usar los haces anteriores, considerando que las on del eje). as ntotas son tangentes en puntos de [0]) y que X es la direcci 10

Teoremas cl asicos.
Teorema de Pascal.- Si un hex agono est a inscrito en una c onica propia, entonces los lados opuestos se cortan en tres puntos alineados. Demostraci on.- Salvo una proyectividad, se tiene Xi = [1, 0, 0], [0, 1, 0], [0, 0, 1], [1, 1, 1], [a, b, 1], [c, d, 1], i = 1, ..., 6, con (a b)cd + (b ab)c + (ab a)d = 0 X6 CA c onica determinada por X1 , ..., X5. Entonces, los puntos de intersecci on de los lados opuestos est an dados por (, , 0) = (1, 1, 1) + (a, b, 1) [, , 0] = [a 1, b 1, 0], (0, , ) = (a, b, 1) + (c, d, 1) [0, , ] = [0, ad cb, a c], (, , + ) = (c, d, 1) + (1, 0, 0) [, , + ] = [d, d, 1] y se comprueba que est an alineados, (el determinante es cero si y solo si el hex agono est a inscrito en CA ). *)Se deduce que el rec proco es cierto.

*)Para obtener una versi on dual se usa la biyecci on : RP 2 RP 2 , (X ) = rX , recta polar respecto de CA . Asi, un hex agono X1 , ..., X6 inscrito en CA se convierte en un hex agono rX1 , ..., rX6 circunscrito a CA , con v ertices Y1 = rX1 rX2 , ..., Y6 = rX6 rX1 X1 X2 = rY1 , ..., X6 X1 = rY6 11

y por el Teorema de Pascal rY1 rY4 = P, rY2 rY5 = Q, rY3 rY6 = R un S RP 2 , si y solo si est an alineados, sobre una recta rS , para alg S = rP rQ rR = Y1 Y4 Y2 Y5 Y3 Y6 . Esto es,

Teorema de Brianchon.- Si un hex agono est a circunscrito a una c onica propia, entonces las diagonales, que unen v ertices opuestos, son concurrentes.

Teorema.- Si un tri angulo est a circunscrito a una c onica propia, entonces las rectas, que unen los v ertices con los puntos de tangencia contrarios, son concurrentes. Demostraci on.- Salvo una proyectividad, los puntos de tangencia son Xi = [ei], i = 1, 2, 3, y la c onica est a dada por 0 = a12x1 x2 + a13x1 x3 + a23x2 x3 = a12a13a23(xy + xz + yz ) para

x1 a23 0 0 x x2 = 0 a13 0 y z x3 0 0 a12 con a12a13a23 = 0, por ser propia. En consecuencia, todas las c onicas propias reales son equivalentes a 0 = xy + xz + yz. 12

Ahora, los lados del tri angulo son re1 y + z = 0, re2 x + z = 0, re3 x + y = 0, y los v ertices A12 = [1, 1, 1], A13 = [1, 1, 1], A23 = [1, 1, 1]. Entonces A12 [e3] x = y, A13 [e2] x = z, A23 [e1] y = z, se cortan en [1, 1, 1].

*) La versi on af n se prob o con el Teorema de Ceva.

Ejercicio.- Obtener la versi on dual.

13