Práctica 11.

Cónicas:
Reducción y clasificación.
Esta última práctica trata el problema de la clasificación de las cónicas. Iniciamos la práctica recordando brevemente el
esquema en el que nos basamos para hacer dicha clasificación.

La cónica de ecuación
a11 x21 + a22 x22 + 2 a12 x1 x2 + 2 a01 x1 + 2 a02 x2 + a00 = 0
se expresa matricialmente mediante la igualdad
a00 a01 a02 1
H1 x1 x2 L · a01 a11 a12 · x1 = 0
a02 a12 a22 x2
Si llamamos
a00 a01 a02 1
y A=K O
a11 a12
C = a01 a11 a12 , X = x1
a12 a22
a02 a12 a22 x2
se puede expresar la cónica por la igualdad X t × C × X = 0.
Haciendo un giro y una traslación adecuados se puede obtener la cónica en forma reducida; se expresa mediante la ecuación
Λ1 z21 + Λ2 z22 + k = 0
o bien, matricialmente, como Z t × C* × Z = 0, siendo Λ1 y Λ2 los valores propios de A, donde
k 0 0 1
Λ1 0
C* = 0 Λ1 0 , Z = z1 y A* =
0 Λ2
0 0 Λ2 z2

Si comparamos las matrices anteriores, resulta que

* Los determinantes de C y C* coinciden: C = C* = Λ1 × Λ2 × k.
a11 a12
* Los determinantes de A y A* coinciden: A = = A00 = A* = Λ1 × Λ2 .
a12 a22
* Las trazas de A y A* coinciden: trHAL = a11 + a22 = Λ1 + Λ2 = trHA* L.

A partir de las condiciones anteriores podemos determinar los valores de Λ1 , Λ2 y k. Además, podemos hacer la siguiente
clasificación (donde se da la ecuación reducida de la cónica):

1. C ¹ 0. Cónica no degenerada.
* A < 0. HIPÉRBOLA. Ecuación, Λ1 z21 - Λ2 z22 = k
* A = 0. PARÁBOLA. Ecuación, Λ1 z22 + 2 k z1 = 0
* A > 0. ELIPSE. Ecuación, Λ1 z21 + Λ2 z22 = k
Si |C| < 0 la elipse es real; si |C| > 0 , es imaginaria.
2. C = 0. Cónica degenerada. C = C* = Λ1 × Λ2 × k = 0
* |A| < 0. DOS RECTAS SECANTES. Ecuación, Λ1 z21 - Λ2 z22 = 0.
* |A| = 0.
** Si k = 0, RECTA DOBLE. Ecuación, Λ1 z21 = 0.
** Si k ¹ 0, DOS RECTAS PARALELAS (reales o imaginarias).
Ecuación: Λ1 z21 - k = 0 (si son reales),o Λ1 z21 + k = 0 (si son imaginarias).
* |A| > 0. DOS RECTAS IMAGINARIAS que se cruzan en el punto (0, 0).
Ecuación, Λ1 z21 + Λ2 z22 = 0

Ejercicios Resueltos
2 11 - Conicas.nb

Ejercicios Resueltos

Ÿ Ejercicio 1.

Halla la ecuación reducida de la cónica de ecuación general

11 x21 + 14 x22 - 4 x1 x2 + 40 x1 + 20 x2 + 45 = 0

Ÿ Solución

La cónica dada está determinada por las matrices

45 20 10
11 -2
C = 20 11 -2 y A=
-2 14
10 -2 14
Sus determinantes permiten clasificar la cónica.
Cc = 8845, 20, 10<, 820, 11, - 2<, 810, - 2, 14<<;
A = 8811, - 2<, 8- 2, 14<<;
Det@CcD
Det@AD
- 750

150

Dado que det(C) = -750 ¹ 0 y det(A) = 150 > 0, se trata de una elipse, real por ser det(C) < 0. Su ecuación reducida
depende de los valores propios de A, Λ1 y Λ2 y de k.
Calculamos dichos valores propios.
Eigenvalues@AD

815, 10<

Solve@10 ´ 15 k Š - 750, kD

88k ® - 5<<

Los valores propios son Λ1 = 10 y Λ2 = 15, de modo que, por ser detHCL = -750 = k × Λ1 × Λ2 , se deduce que k = -5. Para eso
no hace falta Mathematica, aunque también puede resolverse con su ayuda, tal como hemos hecho.
Por tanto, la expresión reducida de la elipse es 10 z21 + 15 z22 - 5 = 0, o bien
z21 z22
+ =1
J 12 N J 13 N
2 2

Ÿ Ejercicio 2.

Halla la ecuación reducida de la cónica de ecuación general

4 x21 + x22 + 4 x1 x2 - x2 = 0
 11 - Conicas.nb 3

Ÿ Solución

La cónica viene dada por las matrices

0 0 -1  2
4 2
C= 0 4 2 y A=
-1  2 2
2 1
1
Como en el anterior ejercicio, debemos calcular el determinante de estas matrices.
Cc = 880, 0, - 1  2<, 80, 4, 2<, 8- 1  2, 2, 1<<;
A = 884, 2<, 82, 1<<;
Det@CcD
Det@AD
-1

En este caso, det(C) = -1 ¹ 0 y det(A) = 0, por lo que la cónica es una parábola. Su ecuación reducida depende de los
valores propios de A, Λ1 y Λ2 , así como del valor de k, que calculamos a continuación.
Comenzamos por los valores propios.
Eigenvalues@AD

85, 0<

Solve@- 5 k ^ 2 Š - 1, kD

::k ® - >, :k ® >>

1 1

5 5

5
Los valores propios son Λ1 = 0 y Λ2 = 5, y ahora detHCL = -1 = -k 2 × Λ2 , de modo que k = 5
.
Así, la expresión reducida de la parábola es
5
5 z22 + 2 5
z1 = 0

Ÿ Ejercicio 3.

Clasifica la cónica siguiente según el valor del parámetro real aÎR

2 0 0 1
H1 x yL · 0 2 a · x = 0
0 a 2 y

Ÿ Solución

La ecuación de la cónica es 2 x2 + 2 y2 + 2 a x y + 2 = 0.
Para no confundir el parámetro a y la matriz A, escribiremos k en vez de a. Así, definimos la matriz
C = {{2, 0, 0},{0, 2, k}, {0, k, 2}}.
Cc = 882, 0, 0<, 80, 2, k<, 80, k, 2<<;

Det@CcD

8 - 2 k2

Solve@Det@CcD Š 0, kD

88k ® - 2<, 8k ® 2<<

Como se ve, las soluciones de la ecuación det(C) = 0 son k = 2, k = -2.

Por otro lado, definimos la matriz A={{2, k},{k, 2}} para resolver también la ecuación det(A) = 0
4 11 - Conicas.nb

Como se ve, las soluciones de la ecuación det(C) = 0 son k = 2, k = -2.

Por otro lado, definimos la matriz A={{2, k},{k, 2}} para resolver también la ecuación det(A) = 0
A = 882, k<, 8k, 2<<;

Det@AD

4 - k2

Solve@Det@AD Š 0, kD

88k ® - 2<, 8k ® 2<<

Se obtienen las mismas raíces, k = 2, k = -2.

Con estos datos, podemos afirmar:
* Si k < -2, entonces |C| ¹ 0 y |A| < 0. La cónica es una hipérbola.
* Si k = -2, entonces |C| = 0 = |A|. La cónica representa dos rectas paralelas. Puede comprobarse que son dos rectas
paralelas imaginarias.
* Si kÎ (-2, 2), entonces |C| ¹ 0 y |A| > 0. La cónica es una elipse. Puede comprobarse que es una elipse imaginaria.
* Si k = 2, entonces |C| = 0 = |A| y la cónica representa de nuevo dos rectas paralelas, también imaginarias.
* Si k > 2, entonces |C| ¹ 0 y |A| > 0 y la cónica es una hipérbola, de nuevo.

Ÿ Ejercicio 4.

Halla los complejos z que verifican la codición a - ReIz2 M = 0, con a Î R.

Interpreta gráficamente la solución en función del parámetro a.

Ÿ Solución.

Si definimos z = x + y ä , la instrucción Expand[z^2] nos dice que ReIz2 M = x2 - y2

z := x + y I;
Expand@z ^ 2D

x2 + 2 ä x y - y2

Aunque se observa a simple vista, la instrucción ComplexExpand[ ] nos ayuda a encontrar la parte real de z2 . Debemos
usar esta instrución para indicarle a Mathematica que las variables x e y que aparecen en el complejo son números reales.
ComplexExpand @Re@z ^ 2DD

x2 - y2

De esa manera, la ecuación propuesta se reduce a a - x2 + y2 = 0. Contemplamos entonces tres casos:

* Si a = 0, la ecuación se reduce a x2 - y2 = 0, o bien a x2 = y2 . Esta ecuación es una cónica degenerada; son dos rectas
reales secantes, de ecuaciones y = x e y = -x, que se cortan en el origen.
* Si a > 0, la ecuación dada es la de la hipérbola equilátera de ecuación
x2 y2
- =1
J a N J a N
2 2

A la hora de representarla, el eje real es OX y el imaginario, OY.

* Si a < 0, la ecuación dada es también una hipérbola equilátera, en este caso de ecuación
x2 y2
- + =1
J a N J a N
2 2

Ahora, el eje real es OY y el imaginario, OX.

Para ver la interpretación gráfica de la solución, se puede representar la expresión inicial a - x2 + y2 = 0 sustituyendo a
por distintos valores (al menos por uno positivo y otro negativo).
Se representan las correspondientes a los casos a = 2 y a = -2.
De esa manera, la ecuación propuesta se reduce a a - x2 + y2 = 0. Contemplamos entonces tres casos: 11 - Conicas.nb 5
2 2 2 2
* Si a = 0, la ecuación se reduce a x - y = 0, o bien a x = y . Esta ecuación es una cónica degenerada; son dos rectas
reales secantes, de ecuaciones y = x e y = -x, que se cortan en el origen.
* Si a > 0, la ecuación dada es la de la hipérbola equilátera de ecuación
x2 y2
- =1
J a N J a N
2 2

A la hora de representarla, el eje real es OX y el imaginario, OY.

* Si a < 0, la ecuación dada es también una hipérbola equilátera, en este caso de ecuación
x2 y2
- + =1
J a N J a N
2 2

Ahora, el eje real es OY y el imaginario, OX.

Para ver la interpretación gráfica de la solución, se puede representar la expresión inicial a - x2 + y2 = 0 sustituyendo a
por distintos valores (al menos por uno positivo y otro negativo).
Se representan las correspondientes a los casos a = 2 y a = -2.
ContourPlot@x ^ 2 - y ^ 2 Š 2, 8x, - 6, 6<, 8y, - 6, 6<, Axes ® AutomaticD

-2

-4

-6
-6 -4 -2 0 2 4 6

ContourPlot@x ^ 2 - y ^ 2 Š - 2, 8x, - 6, 6<, 8y, - 6, 6<, Axes ® AutomaticD

-2

-4

-6
-6 -4 -2 0 2 4 6
6 11 - Conicas.nb

Ejercicios Propuestos

Ÿ Ejercicio 41.

Clasifica, en función de a, la siguiente cónica:

x2 + 2 a y2 - 2 a x y - 2 x + 4 a y = 0

Ÿ Ejercicio 42.

Clasifica la cónica de ecuación x21 + x22 - 2 x1 + 2 Μ x1 x2 - 1 = 0, según los valores de Μ.

Ÿ Ejercicio 43.

Halla el lugar geométrico de los puntos del plano dados por los afijos de los complejos z tales que
4 z-1 2
+In2 - 4M × ImHzL2 = 4 n2 n Î R*+

Ÿ Ejercicio 44.

3-2 Α ä
Sea Α Î C y z = 4-3 ä
.
Determina los valores de Α en cada uno de los siguientes casos, para que
a. z sea imaginario puro.
b. Im(z) > 0.
c. HReHzLL2 = × H27 + 25 × ImHzLL.
4
625
En los casos en que se obtengan valores de Α cuyos afijos verifiquen la ecuación de una cónica, da la ecuación reducida.
En el resto, representa gráficamente la región del plano que determinan dichos afijos.