GUIN PRCTICO correspondiente a la leccin 2 : Cnicas

REPRESENTACIN DE CURVAS IMPLCITAS

Ya has estudiado muchas curva plana dadas en forma implcita, es decir curvas que
estn formadas por los puntos que verifican una ecuacin del tipo F(x,y)=0.
Por ejemplo, la circunferencia de centro el origen de coordenadas y radio 1 viene
definida implcitamente mediante la expresin
x2 + y2 1 = 0.
Para que Mathematica pueda representar grficamente curvas dadas en forma implcita
se debe cargar previamente el paquete

<< Graphics`ImplicitPlot`
y a continuacin, para representar grficamente la curva definida implcitamente por
F(x,y)=0 ejecutaremos el comando
ImplicitPlot[F[x,y]==0, 8x, x0 , x1 <];

OBSERVACIN: Con el comando anterior se representan los puntos de la curva cuyas abscisas estn entre x0 y x1 .
Por ejemplo, para representar grficamente la circunferencia x2 + y2 1 = 0
comando

ejecutamos el

ImplicitPlot@x2 + y2 1 == 0, 8x, 1, 1<D

1

0.5

-1

-0.5

0.5

-0.5

-1

Graphics

ImplicitPlot@y2 + 3 x y x2

-2 -1

-2

-4

-6

Graphics

3, 8x, 2, 2<D

ImplicitPlotA

x2
4

y2

1, 8x, , <E

-3

-2

-1

1
-1

-2

-3

Graphics
Si ejecutamos el comando

ImplicitPlotAx2 + y2 1 == 0, 9x,

1
2

1
2

=E

0.5

-0.4 -0.2

0.2 0.4

-0.5

-1

Graphics
vemos que slo obtenemos los puntos de la circunferencia cuyas abscisas estn entre y 12 .

1
2

CNICAS
En esta seccin consideraremos varias cnicas a las que haremos un estudio completo utilizando
Mathematica.
EJEMPLO 1:
Consideremos la cnica C1 de ecuacin
13 2
13 2

x +
y - 19
2
2

!!!!
!!!!
2 x + 35 2 y - 5 xy + 61 = 0.

1.- Matriz asociada:

i
61
j
j
j
j
j
!
j 19 !!!!
2
A=j
j

j
2
j
j
j
!
j
j 35 !!!!
2
k
2

19

!!!!!
2

35

2
13
2

5
2

!!!!!
2
2

5
2

13
2

y
z
z
z
z
z
z
z
z
;
z
z
z
z
z
z
{

Consideremos para lo siguiente tambin las matrices:

 52 z
i 13
y
j
2
j
z
Atilde = j
z;
j 5
13 z

k 2
2 {
!!!!
!!!!
B = 919 2 , 35 2 =;
Con esta notacin, la ecuacin de la cnica puede escribirse como:

Hx yL Atilde J

x
x
N + B J N + 61 = 0.
y
y

2.- Clculo de invariantes y clasificacin:

Los invariantes de la cnica se definen como
I1 = Atilde@@1, 1DD + Atilde@@2, 2DD,
I2 = Atilde

I3 = A .
Los calculamos con Mathematica:
I1 = Atilde@@1, 1DD + Atilde@@2, 2DD
13

I2 = Det@AtildeD
36

I3 = Det@AD
1296

La tabla de clasificacin con invariantes nos indica que C1 es una elipse real.
3.- Grfica de la cnica:

ImplicitPlotA

13

x2 +

13

y 2 19

!!!!
!!!!
2 x + 35 2 y 5 x y + 61 == 0,

2
2
8x, 5, 5<, 8y, 8, 1<, AxesOrigin 80, 0<E

-4

-2

-2

-4

-6

-8

ContourGraphics

OBSERVACIN: El comando final AxesOrigin{0,0} indica al programa que debe dibujar los ejes de
coordenadas centrados en el punto (0,0).
4.- Ecuacin reducida:
Comenzamos diagonalizando Atilde:
Los autovalores de Atilde podemos calcularlos con la orden Eigenvalues (o utilizamos
carcterstico de la matriz y la orden Solve
como hicimos en la prctica de diagonalizacin):
Eigenvalues@AtildeD
89, 4<

Los autovectores de Atilde son:

1 = 9;
NullSpace@Atilde 1 IdentityMatrix@2DD
881, 1<<

el polinomio

2 = 4;
NullSpace@Atilde 2 IdentityMatrix@2DD
881, 1<<

Los ortonormalizamos:
norma@8v1_, v2_<D := Sqrt@v1 ^ 2 + v2 ^ 2D
v1 = 81, 1< norma@81, 1<D
1
1
9 !!!! , !!!! =
2
2

v2 = 81, 1< norma@81, 1<D

1
1
9 !!!! , !!!! =
2
2

Tenemos ahora que construir las matrices P y Di que verifican A = P Di P-1 con determinante de P igual a 1.
Observa que si consideramos en la primera columna el vector asociado al valor propio 9 y en la segunda el
asociado al valor propio 4, entonces la matriz sera:
MatrixForm@Transpose@8v1, v2<DD
1
!!!!
i
!
j
2
j
j
j
j
1
j !!!!
k 2!

1
!!!!!
2
1
!!!!!
2

y
z
z
z
z
z
z
{

Det@Transpose@8v1, v2<DD
1

Como nosotros queremos construir la matriz P con determinante 1 (para que represente un giro), contruimos
entonces P y Di que verifican Atilde = P Di Pt de la siguiente manera:
Di = DiagonalMatrix@84, 9<D;
MatrixForm@DiD
J

4
0

0
N
9

P = Transpose@8v2, v1<D;
MatrixForm@PD
Det@PD
i
j
j
j
j
j
j
k

1
!!!!!
2
1
!!!!!
2

1
!!!!!
2

1
!!!!!
2

y
z
z
z
z
z
z
{

Nota importante: El comentario anterior sobre el orden de los valores propios en las columnas de la matriz P
se ha hecho por la forma en que la versin en la que se ha ejecutado esta prctica nos ha devuelto las salidas
anteriore. En otra versin de Mathematica no tendran por qu se la misma y el orden de los valores propios
podra ser el inverso.
Comprobacin:
Atilde P.Di.Transpose@PD
880, 0<, 80, 0<<

Consideramos el sistema de referencia R'={(0,0);{I

1
!!!!
2

1
!!!!
2

M,I

1
!!!!
2

1
!!!!
2

M. Tras hacer el giro de

ecuaciones
J

x'
x
x
x'
N = Pt J N , (recuerda que P es ortogonal, es decir que P1 =Pt , y que J N = PJ
N)
y'
y
y
y'

la ecuacin de la cnica se transforma en

Hx yL Atilde J

x
x
N + B J N + 61 = 0.
y
y

Hx yL P.Di.Pt J

x
x
N + B J N + 61 = 0 ,
y
y

Hx ' y 'L Di J

x'
x'
N + BP J
N + 61 = 0 ,
y'
y'

As, tras el giro de los ejes del sistema de referencia, la ecuacin de la cnica en el sistema de referencia R' es:
8x ', y '<.Di.8x ', y '< + B.P.8x ', y '< + 61 == 0
61 + 16 x + 4 Hx L2 + 54 y + 9 Hy L2

Si los ejes representan el nuevo sistema de referencia, la grfica en ese nuevo sistema de referencia es:

ImplicitPlot@61 + 16 x + 4 Hx L2 + 54 y + 9 Hy L2 0,
8x ', 5, 3<, 8y ', 6, 2<, AxesOrigin 80, 0<D
2

-4

-2

-2

-4

-6

ContourGraphics

Finalmente hacemos otro cambio de sistema de referencia que no es ms que una traslacin para que el
centro de la elipse coincida con el origen de coordenadas.Tenemos que completar cuadrados en x y en
y .Lo hacemos como sigue (a mano). Tomamos primero los trminos en x y luego en y :
4 x2 + 16 x = 4 Hx2 + 4 x L = 4 HHx + 2L2 4L = 4 Hx + 2L2 16
9 y2 + 54 y = 9 Hy2 + 6 y L = 9 HHy + 3L2 9L = 9 Hy + 3L2 81

Sustituyendo tenemos:
61 + 16 x + 4 Hx L2 + 54 y + 9 Hy L2 = 0
4 Hx + 2L2 16 + 9 Hy + 3L2 81 + 61 = 0
4 Hx + 2L2 + 9 Hy + 3L2 36 = 0.

Hacemos ahora el cambio de sistema de referencia

de R' a R'' dado por las ecuaciones x = x + 2 e

y = y + 3, es decir:
J

x
x
2
N= J N+J N

y
y
3

y obtenemos la ecuacin reducida de la elipse:

4 Hx L2 + 9 Hy L2 36 = 0
Hx L2
Hy L2
+
=1
9
4

cuya grfica respecto del sistema de referencia girado y trasladado es:

Hx L2

Hy L2

== 1,
9
4
8x '', 5, 5<, 8y '', 4, 4<, AxesOrigin 80, 0<E

ImplicitPlotA

-4

-2

-2

-4

ContourGraphics

Observa que encadenando los dos cambios de sistemas de referencia que hemos hecho podemos matricialmente el cambio desde el sistema de referencia cannico a R'' como:
J

x
x
2
N = Pt J N + J N
y
y
3

La expresin anterior nos permite pasar del sistema de referencia cannico al sistema de referencia R'' en el
que la cnica adopta su expresin reducida. Si quisiramos el cambio de sistema de referencia inverso, es
decir desde el sistema de referencia R'' al sistema de referencia cannico, basta con despejar J

x
N en la
y

expresin anterior de la siguiente manera:

P JJ

x
x
2
N J NN = J N HL
y
y
3

5.- Estudio del centro:

Para calcular el centro de la elipse tenemos ahora dos opciones. Una de ellas es deshaciendo el
cambio de sistemas de referencia. Como el centro de la elipse en el sistema de referencia R'' tiene coordenadas (0,0), entonces con la expresin (**) obtenemos las coordenadas del centro en el sistema de referencia
cannico.
P.H80, 0< 82, 3<L
3
3
!!!!
!!!!
9 !!!! 2 , !!!! 2 =
2
2

Simplify@%D
1
5
9 !!!! , !!!! =
2
2

Otra forma es resolviendo el sistema de ecuaciones (ver apuntes de teora)

9

SolveA9

19

!!!!
2

13

5
2

!!!!
2
2
!!!!
35 2
2
19

y == 0,

13
2
5
2

x+

35

5
2

13
2

!!!!
2

y=0
y=0

5
2

x+

13
2

y == 0=, 8x, y<E

1
5
99x !!!! , y !!!! ==
2
2

Por tanto, la cnica C1 tiene un nico centro, que es el punto (

1
!!!!
2

5
!!!!
2

).

Por otra parte, como A[[i,j]] denota el elemento que ocupa la fila i-sima y la columna j-sima en la
matriz A, para resolver con Mathematica las ecuaciones que determinan el centro tambin podemos escribir
el comando

Solve@8A@@1, 2DD + A@@2, 2DD x + A@@3, 2DD y == 0,

A@@1, 3DD + A@@2, 3DD x + A@@3, 3DD y == 0<, 8x, y<D
1
5
99x !!!! , y !!!! ==
2
2

EJEMPLO 2:
Consideremos la cnica C2 de ecuacin
34 x2 + 14 y2 + I2 -

!!!!!
!!!!
!!!!
3 M x - I1 + 2 3 M y + 23 xy + 5 = 0.

1.- Matriz asociada:

i
j
j
j
j
j
j
A=j
j
j
j
j
j
j
j
k

5
!!!!!
2 3
2
!!!!!
1+2 3
2

!!!!!
2 3
2

3
4
!!!!!
3
4

!!!!!
1+2 3
2
!!!!!
3
4
1
4

y
z
z
z
z
z
z
z
;
z
z
z
z
z
z
z
{

2.- Clculo de invariantes y clasificacin:

i
j
j
j
Atilde = j
j
j
j
k
B = 92

3
4
!!!!!
3
4

!!!!!
3
4
1
4

y
z
z
z
z
;
z
z
z
{

!!!!
!!!!
3 , 1 2 3 =;

I1 = Atilde@@1, 1DD + Atilde@@2, 2DD

1

I2 = Det@AtildeD
0

I3 = Det@AD
4

La tabla de clasificacin con invariantes nos indica que C2 es una parbola.

3.- Grfica de la cnica:

!!!!
!!!!
y + I2 3 M x I1 + 2 3 M y +
2

x +
4
4
8x, 10, 5<, 8y, 3, 20<, AxesOrigin 80, 0<E

ImplicitPlotA

20

15

10

-10 -8

-6

-4

-2

ContourGraphics

4.- Ecuacin reducida:

Los autovalores de Atilde son:
Eigenvalues@AtildeD
81, 0<

Los autovectores de Atilde son:

1 = 1;
NullSpace@Atilde 1 IdentityMatrix@2DD
!!!!
99 3 , 1==

2 = 0;
NullSpace@Atilde 2 IdentityMatrix@2DD
1
99 !!!! , 1==
3

norma@8v1_, v2_<D := Sqrt@v1 ^ 2 + v2 ^ 2D

!!!!
3
2

x y + 5 == 0,

v1 = 9
9

!!!!
!!!!
3 , 1= normaA9 3 , 1=E

!!!!
3
1
,
=
2
2

1
1
v2 = 9 !!!! , 1= normaA9 !!!! , 1=E
3
3
9

1
,
2

!!!!
3
=
2

Como:
Det@Transpose@8v1, v2<DD
1

Las matrices PyDi que verifican A = P Di P t son:

Di = DiagonalMatrix@Eigenvalues@AtildeDD;
MatrixForm@DiD
J

1
0

0
N
0

P = Transpose@8v1, v2<D;
MatrixForm@PD
Det@PD
i
j
j
j
j
j
k

!!!!!
3
2
1
2

Comprobacin:

1
2
!!!!!
3
2

y
z
z
z
z
z
{

Atilde P.Di.Transpose@PD
880, 0<, 80, 0<<

Tras el cambio de sistema de referencia dado por

J

x'
x
N = Pt J N
y'
y

la ecuacin de la cnica se transforma en

Hx ' y 'L Di J

x'
x'
N + BP J
N+5=0,
y'
y'

As, en el sistema de referencia R'={(0,0);{v1,v2}}, la ecuacin de la cnica es 5 2 x + Hx L2 4 y =0 puesto

que
Simplify@8x ', y '<.Di.8x ', y '< + B.P.8x ', y '< + 5D
5 2 x + Hx L2 4 y

La grfica de la cnica en el sistema de referencia girado R' es:

ImplicitPlot@5 2 x + Hx L2 4 y == 0,
8x ', 8, 10<, 8y ', 3, 20<, AxesOrigin 80, 0<D
20

15

10

-7.5

-5

-2.5

2.5

7.5

10

ContourGraphics

Finalmente completamos cuadrados. Como es una parbola slo podremos completar cuadrados en
una de las variables, en este caso en x' y operamos con la y' como se muestra a continuacin. Con ello
tenemos:
Hx L2 2 x 4 y + 5 = 0

Hx 1L2 1 4 y + 5 = 0

Hx 1L2 4 y + 4 = 0

Hx 1L2 4 Hy 1L = 0

Hacemos ahora el cambio de sistema de referencia dado por las ecuaciones x = x 1 e y = y 1, es

decir pasamos a otro sistema de referencia R'' transladando el sistema de referenca R':
J

x
x
1
N=J N+J
N

y
y
1

y obtenemos la ecuacin reducida de la parbola:

Hx L2 4 y = 0,

cuya grfica en ese nuevo sistema de referencia es:

ImplicitPlot@Hx L2 4 y == 0,
8x '', 8, 8<, 8y '', 3, 15<, AxesOrigin 80, 0<D
15

12.5

10

7.5

2.5

-7.5

-5

-2.5

2.5

7.5

-2.5

ContourGraphics

Observa que el cambio del sistema de referencia cannico al sistema de referencia R'' puede escribirse
matricialmente como:
J

x
x
1
N = Pt J N + J
N
y
y
1

La expresin anterior nos permite pasar del sistema de referencia cannico al sistema de referencia en el que
la cnica adopta su expresin girada R''. Si quisiramos el cambio de sistema de referencia inverso, es decir
desde R'' al sistema de referencia R basta con despejar J
P JJ

x
N de la siguiente manera:
y

x
x
1
NJ
NN = J N HL
y
y
1

Para calcular el vrtice de la parbola deshacemos el cambio de sistemas de referencia.

Como el

vrtice de la parbola de partida en el sistema de referencia R'' tiene coordenadas (0,0), entonces con la
expresin (**) obtenemos las coordenadas del vrtice en el sistema de referencia cannico.
P.H80, 0< 81, 1<L
9

1
+
2

!!!!
!!!!
3
1
3
,
+
=
2
2
2

EJERCICIO PROPUESTO 1:
Realiza con Mathematica el estudio anteriormente hecho para la hiprbola, calculando tambin los elementos
notables de dicha cnica:
x2 + y2 + 10 xy - 6 x - 6 y + 2 = 0.