Soluciones de algunos ejercicios de cónicas

(1) Determina la clase afı́n de las cónicas con las siguientes ecuaciones:
(a) x2 + y 2 + 2xy − 7x − 5y + 7 = 0. Respuesta: Parábola.
(b) 2x − 2x2 + y 2 + 4xy − 1 = 0. Respuesta: Hipérbola.
(c) x2 + y 2 + 4x − 4y − 2xy = 5. Respuesta: Par de rectas paralelas reales.
(d) 8x2 + 17y 2 + 12xy − 8x − 16y + 8 = 0. Respuesta: Elipse imaginaria.
(e) x2 + 4y 2 + 4xy − 6x − 12y + 9 = 0. Respuesta: Recta doble.
(f) 2x2 + y 2 + 2xy + 2x + 1 = 0. Respuesta: Par de rectas secantes imaginarias.
(g) x2 − 2y 2 − xy + 2x + 5y − 3 = 0. Respuesta: Par de rectas reales secantes.
(h) x2 − y 2 + 2x + 6y = 13. Respuesta: Hipérbola.
(i) x2 + y 2 + x − 1 = 0. Respuesta: Elipse real.
(j) 5x2 + 5y 2 − 1 − 8xy + 4x − 2y = 0. Respuesta: Elipse real.
(k) y 2 − 4xy + 4x + 4x2 − 2y + 3 = 0. Respuesta: Par de rectas paralelas imaginarias.
(l) 3x2 + 3y 2 − 2xy + 18x + 10y + 19 = 0. Respuesta: Elipse real.
(m) 16x2 − 24xy + 9y 2 − 30x − 40y = 0. Respuesta: Parábola.
(n) x2 − 2x − y − 1 = 0. Respuesta: Parábola.
(15) Clasifica las siguientes cónicas proyectivas de P2R , calculando las rectas (reales o imaginarias)
que contengan sus lugares de ceros y parametrizando las que sean cónicas no degeneradas
reales:
(a) 4x20 − 4x0 x1 + 12x0 x2 + x21 − 6x1 x2 + 9x22 = 0. Respuesta: Recta doble. Su lugar de
ceros contiene a la recta de ecuación 2x0 − x1 + 3x2 = 0.
(b) x20 − 3x0 x1 + 4x0 x2 + 2x21 − 5x1 x2 + 3x22 = 0. Respuesta: Par de rectas reales. Su lugar
de ceros contiene a las rectas de ecuaciones x0 − x1 + x2 = 0 y x0 − 2x1 + 3x2 .
(c) x20 + 2x0 x1 + 2x0 x2 + x1 x2 + x22 = 0. Respuesta: Cónica no degenerada real. Indicación
para parametrizarla: imita la construcción sugerida en el ejercicio 11.
(d) 2x20 − 2x0 x1 + 5x21 + 6x1 x2 + 2x22 = 0. Respuesta: Cónica no degenerada imaginaria.
(e) x20 − 2x0 x1 − x21 + x1 x2 − x22 = 0. Respuesta: Cónica no degenerada real. Indicación
para parametrizarla: imita la construcción sugerida en el ejercicio 11.
(18b) Determina si existe alguna cónica que contenga al conjunto de puntos S = {(1 : 0 : 0), (0 :
1 : 0), (0 : 0 : 1), (1 : 1 : 1), (1 : 2 : 3), (3 : −2 : 1)}.
Solución: Una cónica cualquiera tiene ecuación a00 x20 +a01 x0 x1 +a02 x0 x2 +a11 x21 +a12 x1 x2 +
a22 x22 = 0. Que su lugar de ceros contenga a los puntos del conjunto S es equivalente a que
los coeficientes de la la cónica satisfagan las ecuaciones
a00 = 0
a11 = 0
a22 = 0
a00 +a01 +a02 +a11 +a12 +a22 = 0
a00 +2a01 +3a02 +a11 +6a12 +9a22 = 0
9a00 −6a01 +3a02 +4a11 −2a12 +a22 = 0.
Es fácil ver que este sistema tiene como única solución la trivial a00 = a01 = a02 = a11 =
a12 = a22 = 0, por lo que no existe ninguna cónica que contenga a los puntos de S. 
Observación: Del argumento que acabamos de usar se sigue por cinco puntos de P2k siempre
pasa al menos una cónica. Como ejemplo de esto resolver el apartado (a) del ejercicio 18:
(18a) Determina si existe alguna cónica que contenga al conjunto de puntos S = {(1 : 0 : 0), (0 :
1 : 0), (0 : 0 : 1), (1 : 1 : 1), (1 : 2 : 3)}.
1
2 SOLUCIONES DE ALGUNOS EJERCICIOS DE CÓNICAS

Solución: Para ver qué cónicas pasan por los puntos (1 : 0 : 0), (0 : 1 : 0), (0 : 0 : 1),
(1 : 1 : 1), (1 : 2 : 3) resolvemos el sistema
a00 = 0
a11 = 0
a22 = 0
a00 +a01 +a02 +a11 +a12 +a22 = 0
a00 +2a01 +3a02 +a11 +6a12 +9a22 = 0,
que es indeterminado y cuyas soluciones son
a00 = 0
a01 = 3λ
a02 = −4λ
a11 = 0
a12 = λ
a22 = 0 ,
para λ ∈ k. Eso quiere decir que existe una única cónica que pasa por (1 : 0 : 0), (0 : 1 :
0), (0 : 0 : 1), (1 : 1 : 1), (1 : 2 : 3) y esta es la cónica de ecuación 3x0 x1 − 4x0 x2 + x1 x2 =
0. 
(25) Clasifica afı́nmente las cónicas de A2R con las ecuaciones siguientes y determina, cuando
existan, su centro y sus ası́ntotas:
(a) x2 + y 2 − 4x + 4y + 6 = 0. Respuesta: Elipse real.
(b) 3x2 − 2xy − y 2 − 2y = 0. Respuesta: Hiperbola.
(c) x − xy + y = 0. Respuesta: Hiperbola.
(d) 5 + 5x2 + 5y 2 + 4x + 4y + 4xy = 0. Respuesta: Elipse imaginaria.
(e) 3 − 5x2 − 3y 2 − 4x + 4y − 4xy = 0. Respuesta: Elipse real.
(f) 2 + x2 + y 2 − 4x − 2y − 2xy = 0. Respuesta: Parabola.
(g) 2x2 − 13xy + 15y 2 + 5x − 11y + 7 = 0. Respuesta: Hiperbola.
Cálculo del centro: De las cónicas anteriores, las parábolas no tienen centro (véase la obser-
vación 11.39) y las elipses (incluidas las elipses imaginarias, véase de nuevo la observación
11.39) y las hipérbolas sı́ lo tienen. Ası́ pues, para calcular el centro de las cónicas (a), (b),
(c), (e) y (g), usamos la proposición 11.37 y para calcular el centro de la cónica (d) usamos
la proposición 11.37 y la observación 11.39. Tienes un ejemplo de cómo hacer esto en la
solución del ejercicio 31 referente a la cónica del apartado (j) del ejercicio 1.
Cálculo de las ası́ntotas: De las cónicas anteriores solo las hipérbolas tienen propiamente
ası́ntotas. Una parábola no tiene ası́ntotas ya que la tangente a su único punto del infinito
es la recta del infinito. En cuanto a las elipses, estas no tienen puntos del infinito reales. Si
acaso, podemos decir que, como tienen dos puntos del infinito imaginarios, tienen también
ası́ntotas imaginarias, ya que la tangente al completado de la elipse por un punto del infinito
pasa por dicho punto, que ya hemos dicho que es imaginario, y por el centro de la elipse,
que es un punto real; por tanto, esa recta no es una recta real.
Vemos cómo calcular las ası́ntotas para la hipérbola C del apartado (b), que tiene ecuación
3x2 − 2xy − y 2 − 2y = 0. Para hallar la ecuación de C homogeneizamos la ecuación de C,
obteniendo 3x21 − 2x1 x2 − x22 − 2x0 x2 = 0. Hallamos los puntos del infinito de C, que son
los puntos de intersección de C con la recta del infinito. Para ello resolvemos el sistema
3x21 − 2x1 x2 − x22 − 2x0 x2 = 0
x0 = 0 ,
que tiene solución (0 : 1 : 1) y (0 : −1 : 3). Por tanto, p1 = (0 : 1 : 1) y p2 = (0 : −1 : 3) son
los puntos del infinito de C. Calculamos las tangentes a C en p1 y en p2 . Como la matriz
 GEOMETRÍA LINEAL, 2014–2015, GRUPO A 3

de C es  
0 0 −1
M (C) =  0 3 −1 ,
−1 −1 −1
la tangente a C en p1 tiene ecuación
  

0 0 −1 x0
0 1 1  0 3 −1   x1  = 0
−1 −1 −1 x2
o, lo que es lo mismo, −x0 + 2x1 − 2x2 = 0. Deshomogeneizando esta última ecuación
concluimos que una de las ası́ntotas de C es la recta de ecuación 2x−2y −1 = 0. Razonando
de manera análoga se ve que la otra ası́ntota de C es la recta de ecuación 6x + 2y + 3 = 0.
(27) Sean l0 , l1 y l2 las rectas de P2R respectivamente de ecuaciones x0 = 0, x1 = 0 y x0 + x2 = 0
y sea, para todo i = 0, 1, 2, Ai = P2R r li . Sea C = {(x0 : x1 : x2 ) ∈ P2R |x0 x2 − x21 = 0}
y sea Ci = C r li . Estudia qué clase de cónica afı́n es Ci después de identificar Ai con el
plano afı́n A2R .
Solución: Según la observación 9.14 de los apuntes podemos, en P2R , elegir la recta del
infinito. Es decir, podemos elegir cualquier recta l0 de P2R e identificar P2R r l0 con A2R e
incluir A2R en P2R con una inmersión i0 como la descrita en la observación 9.14, de forma que
l0 será la recta del infinito para esa forma de completar A2R . Dada una cónica proyectiva C,
podemos entonces ver C r l0 como una cónica de A2R y C como su completado proyectivo
respecto de la inmersión i0 . Si como l0 tomamos una de las rectas l0 , l1 o l2 , podemos
clasificar las cónicas afines Ci = C r li usando el teorema 11.32 de los apuntes. En todos
los casos el completado proyectivo de Ci es C, que es una cónica no degenerada real ya que
 
0 0 1/2
M = M (C) =  0 −1 0 
1/2 0 0
tiene rango 3 y Σ(M ) = 1. Por otra parte C ∩ l0 = {(0 : 0 : 1)}, C ∩ l1 = {(0 : 0 : 1),
(1 : 0 : 0)} y C ∩ l1 = {(1 : i : −1), (1 : −i : −1)}. Por ello C0 es una parábola, C1 es una
hipérbola y C2 es una elipse real. 

(30) En A2R consideramos la cónica C de ecuación x2 + 2xy − 4y − 3 = 0. Comprueba que la

recta l de ecuación y + 1 = 0 es tangente a C y halla otra recta tangente a C que sea
paralela a l.
Solución: Recuerda que l es tangente a C si la recta l de P2R (que es el completado proyectivo
de l) es tangente a la cónica C de P2R (que es el completado proyectivo de C). La recta l tiene
ecuación x0 + x2 = 0 y la cónica proyectiva C tiene ecuación x21 + 2x1 x2 − 4x0 x2 − 3x20 = 0.
Haciendo un sencillo cálculo vemos que la intersección de l con el conjunto de ceros de C
consiste en un solo punto, el punto (1 : 1 : −1). Por tanto, según la proposición 11.22 y la
definición 11.24, l es tangente a C en el punto (1, −1). Buscamos ahora rectas l0 paralelas
a l y tangentes a C. Observamos que el punto del infinito de l es (0 : 1 : 0). Si l0 es paralela
a l, el completado proyectivo l0 de l0 pasa por (0 : 1 : 0), ası́ que buscamos aquellas rectas
proyectivas que pasan por (0 : 1 : 0) y son tangentes a C. Según la proposición 11.27, para
encontrar dichas rectas calculamos la recta polar a (0 : 1 : 0) con respecto a C y la cortamos
con el lugar de ceros de C. Dicha recta polar es x1 + x2 = 0 y su intersección con el lugar
de ceros de C es el conjunto de puntos P2R que satisfacen las ecuaciones
3x20 + 4x0 x2 + x22 = 0
x1 + x2 = 0.
4 SOLUCIONES DE ALGUNOS EJERCICIOS DE CÓNICAS

Para encontrar los puntos (x0 : x1 : x2 ) que satisfacen el sistema anterior observamos que x0
ha de ser no nulo pues, de otra forma, x0 = x1 = x2 = 0. Llamamos t = x2 /x0 y dividiendo
por x20 , la primera ecuación queda t2 + 4t + 3 = 0, que tiene raı́ces t = −1, −3, por lo que los
puntos de intersección de la polar con C son (1 : 1 : −1) y (1 : 3 : −3). Entonces las rectas
< (0 : 1 : 0), (1 : 1 : −1) > y < (0 : 1 : 0), (1 : 3 : −3) > son las únicas rectas que pasan por
(0 : 1 : 0) y son tangentes a C (los puntos de tangencia son (1 : 1 : −1) y (1 : 3 : −3)). La
primera de las dos rectas es, obviamente, l. La segunda recta es el completado proyectivo
de una recta l0 , paralela a l, que pasa por el punto (3, −3) de A2R . Por tanto, l0 es la recta
de A2R de ecuación y + 3 = 0. La recta l0 es la recta que nos piden en el enunciado y es la
única recta paralela y distinta a l que es tangente a C. Otra forma de calcular la ecuación
de l0 es calculando la ecuación de la recta proyectiva < (0 : 1 : 0), (1 : 3 : −3) >, que es
 
x0 x1 x 2
det  0 1 0  = 0,
1 3 −3
o, lo que es lo mismo,
−3x0 − x2 = 0.
Deshomogeneizando esta ecuación respecto de x0 obtenemos la ecuación de l0 . 

(31) (Referente a la cónica del ejercicio (1j)): Calcula el centro, los ejes, los vértices y focos de la
cónica C del plano afı́n euclı́deo estándar A2R de ecuación 5x2 + 5y 2 − 1 − 8xy + 4x − 2y = 0.
Solución: En primer lugar observamos que C es una elipse real. Para demostrarlo, consi-
deramos la inclusión
i : A2R ,→ P2R
(x, y) 7→ (1 : x : y)
y el completado proyectivo C de C respecto a la inclusión i. Como la matriz de C es
M (C) = M (C) = M y rgM = 3 y Σ(M ) = 1, concluı́mos que C es una cónica no degenerada
de P2R . Por otra parte C tiene ecuación 5x21 + 5x22 − x20 − 8x1 x2 + 4x0 x1 − 2x0 x2 = 0, por
lo que los puntos del infinito de C son los puntos de P2R que satisfacen
x0 = 0
5x21 2
+ 5x2 − 8x1 x2 = 0 .
Como el discriminante de 5t2 − 8t + 5 = 0 es −36, C no tiene puntos reales en el infinito.
Se deduce entonces del teorema 11.32 que C es una elipse real.
Cálculo del centro de C: Por la proposición 11.37, i(o) es el polo de la recta del infinito
(que tiene ecuación x0 = 0) respecto de C. Por la proposición 11.27 (1), esto es equivalente
a que la recta polar de i(o) respecto de C sea la recta del infinito. Ası́ pues, si o = (x, y),
su recta polar, que tiene ecuación
  

−1 2 −1 x0
1 x y  2 5 −4   x1  = 0
−1 −4 5 x2
es la recta del infinito si y solo si −1 + 2x − y 6= 0 y
2 + 5x − 4y = 0
(2)
−1 + −4x + 5y = 0 .
Como el sistema (2) es equivalente al sistema (1), tenemos que i(o) = (1 : −2/3 : −1/3),
por lo que el centro de C es o = (−2/3, −1/3).
 GEOMETRÍA LINEAL, 2014–2015, GRUPO A 5

Cálculo de los ejes de C: Vamos a hallar los completados proyectivos r1 y r2 de los ejes r1
y r2 de C. Para determinar una recta de P2R necesitamos conocer dos puntos de la recta.
Si o es el centro de C sabemos que i(o) está en r1 y r2 por lo que ya sabemos un punto de
ambas rectas. El otro punto que tomaremos será el punto del infinito de cada uno de los
ejes. Sabemos que los ejes de C son perpendiculares (los ejes de la forma canónica C 0 de
C lo son y los ejes de C son los ejes de C 0 transformados por una isometrı́a de A2R ). Por
tanto, si (0 : γ : δ) es el punto del infinito de uno de los ejes, entonces (0 : δ : −γ) es el
punto del infinito del otro eje (esto lógicamente implica que nos basta determinar el punto
del infinito de uno de los dos ejes ya que, una vez determinado un eje, digamos r1 , sabemos
que r2 es la recta perpendicular por o a r1 ). Para hallar (0 : γ : δ) usamos el siguiente lema:

Lema. Sea C una elipse real que no sea una circunferencia o sea C una hipérbola y sean
r1 y r2 los ejes de C. Sea C el completado proyectivo de C y sean r1 y r2 los completados
proyectivos de r1 y r2 . Entonces el punto del infinito de r1 es el polo de r2 respecto de C y
el punto del infinito de r2 es el polo de r1 respecto de C.
Demostración. Razonamos para el caso en que C sea una elipse real; el razonamiento si
C es una hipérbola es análogo. Sea E una elipse, no circunferencia, en forma canónica, es
decir, una elipse cuya ecuación sea de la forma

x2 y 2
+ 2 − 1 = 0,
a2 b
con a > b > 0. Sabemos que los ejes mayor y menor de E son las rectas de ecuaciones
y = 0 y x = 0, el centro de E es el punto o = (0, 0) y los vértices de E son los puntos
(−a, 0), (a, 0), (0, −b) y (0, b). Por otra parte sabemos que las tangentes T1 y T2 a E en
los puntos (−a, 0) y (a, 0) son paralelas al eje menor de E, que tiene ecuación x = 0.
Esto quiere decir que las rectas T1 y T2 que se obtienen al completar T1 y T2 se cortan en
(0 : 0 : 1), que es el punto del infinito del eje menor de E. La proposición 11.27 implica que
(0 : 0 : 1) es el polo del completado proyectivo del eje mayor de E.
Sea ahora C una elipse real cualquiera. Existe una isometrı́a f tal que f (E) = C. Al ser
f una isometrı́a, f transforma los ejes mayor y menor de E en los ejes mayor y menor de
C, conserva el paralelismo y lleva la tangente a E en un vértice de E situado sobre el eje
mayor de E a la tangente a C en un vértice de C situado sobre el eje mayor de C, ya que,
según la proposición 11.22 y la definición 11.24, la recta tangente a una cónica proyectiva
no degenerada en un punto p de la cónica se caracteriza por ser la única recta del haz de
rectas por p que corta a la cónica en un solo punto. Por tanto, si T10 y T20 son las rectas
tangentes a C en los vértices de C situados sobre su eje mayor r1 (es decir, en los puntos de
intersección de C con r1 ), entonces T10 y T20 son paralelas al eje menor r2 de C. Por tanto
0 0
T 1 , T 2 y r2 C tienen el mismo punto del infinito, que es entonces el polo del completado
proyectivo de r1
Para ver que el punto del infinito de r1 es el polo del completado proyectivo de r2 razonamos
de forma análoga. 

Ası́ pues, según el lema, la polar respecto de C del punto del infinito de r1 es r2 (y viceversa).
La polar de (0 : γ : δ) es la recta de ecuación
  

−1 2 −1 x0
0 γ δ  2 5 −4   x1  = 0,
−1 −4 5 x2
6 SOLUCIONES DE ALGUNOS EJERCICIOS DE CÓNICAS

por lo que se tiene

  

−1 2 −1 0
0 γ δ  2 5 −4   δ =0
−1 −4 5 −γ
o, equivalentemente, γ 2 − δ 2 = 0. De esto se deduce que los puntos del infinito de los ejes
de C son (0 : 1 : 1) y (0 : 1 : −1). Como i(o) = (3 : −2 : −1), se tiene que r1 y r2 son las
rectas < (3 : −2 : −1), (0 : 1 : 1) > y < (3 : −2 : −1), (0 : 1 : −1) >, que tienen ecuaciones
x0 + 3x1 − 3x2 = 0 y x0 + x1 + x2 = 0. Eso quiere decir que los ejes r1 y r2 de C son las
rectas de ecuaciones 3x − 3y − 1 = 0 y x + y + 1 = 0. Para determinar cuál es el eje mayor y
cuál es el eje menor, hallamos los vértices de C como se indica a continuación y calculamos
la longitud de los semiejes.
Cálculo de los vértices y de los focos de C (indicación): Los vértices de C son los puntos
de intersección del lugar de ceros de C con los ejes de C, por lo que son la solución a los
sistemas de ecuaciones
5x2 + 5y 2 − 1 − 8xy + 4x − 2y = 0 5x2 + 5y 2 − 1 − 8xy + 4x − 2y = 0
y
3x − 3y − 1 = 0 x+y+1 = 0.
Las longitudes a y b (con a ≥ b) de los semiejes son las distancia de o a los vértices. En
nuestro caso, una vez calculados a y b sabemos cuál de las rectas r1 y r2 calculadas antes
es el eje mayor y cuál es el eje menor de C. También a partir
√ de a y b podemos hallar c,
que es la mitad de la distancia √ focal, √
según la fórmula
√ c√ = a2 − b2 . Sumando al punto
o = (−2/3, −1/3) los vectores c( 2/2, 2/2) y −c( 2/2, 2/2) obtenemos los focos de C.
En “Apuntes de Geometrı́a Proyectiva” de E. Arrondo, página 51, puedes ver cómo hallar
los focos de C usando argumentos puramente proyectivos. Como los focos de una elipse real
están en su eje mayor, una vez hallados los focos podrı́amos determinar cuál de las rectas
r1 y r2 es el eje mayor de C.