You are on page 1of 17

GUIÓN PRÁCTICO correspondiente a la lección 2 : Cónicas

REPRESENTACIÓN DE CURVAS IMPLÍCITAS

Ya has estudiado muchas curva plana dadas en forma implícita, es decir curvas que
están formadas por los puntos que verifican una ecuación del tipo F(x,y)=0.
Por ejemplo, la circunferencia de centro el origen de coordenadas y radio 1 viene
definida implícitamente mediante la expresión
x2 + y2 − 1 = 0.
Para que Mathematica pueda representar gráficamente curvas dadas en forma implícita
se debe cargar previamente el paquete

<< Graphics`ImplicitPlot`
y a continuación, para representar gráficamente la curva definida implícitamente por
F(x,y)=0 ejecutaremos el comando
ImplicitPlot[F[x,y]==0, 8x, x0 , x1 <];

OBSERVACIÓN: Con el comando anterior se representan los puntos de la curva cuyas abscisas están entre x0 y x1 .
Por ejemplo, para representar gráficamente la circunferencia x2 + y2 − 1 = 0
comando

ejecutamos el

5 1 -0. −2. 8x. 8x. −1.ImplicitPlot@x2 + y2 − 1 == 0. 1<D 1 0.5 -1 Graphics ImplicitPlot@y2 + 3 x y − x2 6 4 2 -2 -1 1 -2 -4 -6 Graphics 2 3. 2<D .5 0.5 -1 -0.

ImplicitPlotA x2 4 − y2 1. 8x. π<E 8 3 2 1 -3 -2 -1 1 -1 -2 -3 Graphics Si ejecutamos el comando 2 3 . −π.

4 -0. 1. z z z z z z { Consideremos para lo siguiente también las matrices: .5 -0.5 -1 Graphics vemos que sólo obtenemos los puntos de la circunferencia cuyas abscisas están entre y 12 .4 -0. 1 2 CÓNICAS En esta sección consideraremos varias cónicas a las que haremos un estudio completo utilizando Mathematica. 9x. EJEMPLO 1: Consideremos la cónica C1 de ecuación 13 2 13 2 ÅÅÅÅ ÅÅ x + ÅÅÅÅ ÅÅ y .2 0.5 xy + 61 = 0.19 2 2 è!!!! è!!!! 2 x + 35 2 y . 1 2 =E 1 0.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 .2 0..ImplicitPlotAx2 + y2 − 1 == 0. − 1 2 .

2DD.Cálculo de invariantes y clasificación: Los invariantes de la cónica se definen como I1 = Atilde@@1.Gráfica de la cónica: . Con esta notación. Los calculamos con Mathematica: I1 = Atilde@@1.− 52 z i 13 y j 2 j z Atilde = j z. j 5 13 z − k 2 2 { è!!!! è!!!! B = 9−19 2 . I2 = » Atilde » e I3 = » A » . 3. la ecuación de la cónica puede escribirse como: Hx yL Atilde J x x N + B J N + 61 = 0. 35 2 =. 2DD 13 I2 = Det@AtildeD 36 I3 = Det@AD −1296 La tabla de clasificación con invariantes nos indica que C1 es una elipse real.. y y 2. 1DD + Atilde@@2.. 1DD + Atilde@@2.

8y. 4< Los autovectores de Atilde son: λ1 = 9. AxesOrigin → 80.0} indica al programa que debe dibujar los ejes de coordenadas centrados en el punto (0.0). 1<. NullSpace@Atilde − λ1 IdentityMatrix@2DD 88−1. 1<< el polinomio .. 2 2 8x.Ecuación reducida: Comenzamos diagonalizando Atilde: Los autovalores de Atilde podemos calcularlos con la orden Eigenvalues (o utilizamos carácterístico de la matriz y la orden Solve como hicimos en la práctica de diagonalización): Eigenvalues@AtildeD 89. 4. −8. 5<.ImplicitPlotA 13 x2 + 13 y 2 − 19 è!!!! è!!!! 2 x + 35 2 y − 5 x y + 61 == 0. −5. 0<E -4 -2 2 4 -2 -4 -6 -8 ContourGraphics OBSERVACIÓN: El comando final AxesOriginÆ{0.

v2<DD −1 Como nosotros queremos construir la matriz P con determinante 1 (para que represente un giro). 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. è!!!! = 2 2 v2 = 81. 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. 1<D 1 1 9− è!!!! . 1<< Los ortonormalizamos: norma@8v1_. NullSpace@Atilde − λ2 IdentityMatrix@2DD 881. MatrixForm@DiD J 4 0 0 N 9 . v2_<D := Sqrt@v1 ^ 2 + v2 ^ 2D v1 = 8−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. 1< ê norma@81. 9<D. 1< ê norma@8−1. entonces la matriz sería: MatrixForm@Transpose@8v1.λ2 = 4. contruimos entonces P y Di que verifican Atilde = P Di Pt de la siguiente manera: Di = DiagonalMatrix@84.

Comprobación: Atilde − P. la ecuación de la cónica en el sistema de referencia R' es: 8x '. es decir que P−1 =Pt . (recuerda que P es ortogonal.Di. 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 { 1 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 versión en la que se ha ejecutado esta práctica nos ha devuelto las salidas anteriore.Di.I− 1 è!!!! 2 . 80. En otra versión de Mathematica no tendrían por qué se la misma y el orden de los valores propios podría ser el inverso. y '< + 61 == 0 61 + 16 x′ + 4 Hx′ L2 + 54 y′ + 9 Hy′ L2 0 Si los ejes representan el nuevo sistema de referencia.P = Transpose@8v2. 1 è!!!! 2 M. 0<< Consideramos el sistema de referencia R'={(0. 0<. y' y' Así.8x '.Transpose@PD 880. y '< + B. v1<D.Di.0).P. y y Hx ' y 'L Di J x' x' N + BP J N + 61 = 0 . tras el giro de los ejes del sistema de referencia. 1 è!!!! 2 M.8x '.Pt J x x N + B J N + 61 = 0 . y y Hx yL P. la gráfica en ese nuevo sistema de referencia es: .{I 1 è!!!! 2 . Tras hacer el giro de ecuaciones J x' x x x' N = Pt J N . y '<. y que J N = PJ N) y' y y y' la ecuación de la cónica se transforma en Hx yL Atilde J x x N + B J N + 61 = 0.

3<. es decir: J x′′ x′ 2 N= J ′ N+J N ′′ y y 3 y obtenemos la ecuación reducida de la elipse: 4 Hx′′ L2 + 9 Hy′′ L2 − 36 = 0 Hx′′ L2 Hy′′ L2 + =1 9 4 cuya gráfica respecto del sistema de referencia girado y trasladado es: .Lo hacemos como sigue (a mano). 2<.ImplicitPlot@61 + 16 x′ + 4 Hx′ L2 + 54 y′ + 9 Hy′ L2 0. Tomamos primero los términos en x′ y luego en y′ : 4 x′2 + 16 x′ = 4 Hx′2 + 4 x′ L = 4 HHx′ + 2L2 − 4L = 4 Hx′ + 2L2 − 16 9 y′2 + 54 y′ = 9 Hy′2 + 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.Tenemos que completar cuadrados en x′ y en y′ . 8y '. Hacemos ahora el cambio de sistema de referencia de R' a R'' dado por las ecuaciones x′′ = x′ + 2 e y′′ = y′ + 3. 8x '. −5. −6. AxesOrigin → 80. 0<D 2 -4 -2 2 -2 -4 -6 ContourGraphics Finalmente hacemos otro cambio de sistema de referencia que no es más que una traslación para que el centro de la elipse coincida con el origen de coordenadas.

es decir desde el sistema de referencia R'' al sistema de referencia canónico. entonces con la expresión (**) obtenemos las coordenadas del centro en el sistema de referencia canónico. −4.H80.Estudio del centro: Para calcular el centro de la elipse tenemos ahora dos opciones. 8y ''. 0< − 82. −5. 3<L 3 3 è!!!! è!!!! 9 è!!!! − 2 . 5<.0). − è!!!! − 2 = 2 2 . 9 4 8x ''. Si quisiéramos el cambio de sistema de referencia inverso. 4<. Como el centro de la elipse en el sistema de referencia R'' tiene coordenadas (0.Hx′′ L2 + Hy′′ L2 == 1. basta con despejar J x N en la y expresión anterior de la siguiente manera: P JJ x′′ x 2 N − J NN = J N H∗∗L y′′ y 3 5. P. AxesOrigin → 80. 0<E ImplicitPlotA 4 2 -4 -2 2 4 -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 canónico a R'' como: J x′′ x 2 N = Pt J N + J N y′′ y 3 La expresión anterior nos permite pasar del sistema de referencia canónico al sistema de referencia R'' en el que la cónica adopta su expresión reducida. Una de ellas es deshaciendo el cambio de sistemas de referencia..

y → − è!!!! == 2 2 Por tanto.− 5 è!!!! 2 ). y<E 1 5 99x → è!!!! . 8x. para resolver con Mathematica las ecuaciones que determinan el centro también podemos escribir el comando . que es el punto ( 1 è!!!! 2 . la cónica C1 tiene un único centro. 13 2 5 2 x− x+ 35 5 2 13 2 è!!!! 2 − 2 y=0 y=0 5 2 x+ 13 2 y == 0=.j]] denota el elemento que ocupa la fila i-ésima y la columna j-ésima en la matriz A.Simplify@%D 1 5 9 è!!!! . como A[[i. Por otra parte. − è!!!! = 2 2 Otra forma es resolviendo el sistema de ecuaciones (ver apuntes de teoría) 9 SolveA9− 19 è!!!! 2 + 13 2 2 x− 5 2 − è!!!! 2 2 è!!!! 35 2 2 19 + − y == 0.

y → − è!!!! == 2 2 EJEMPLO 2: Consideremos la cónica C2 de ecuación ÅÅÅÅ34 x2 + ÅÅÅÅ14 y2 + I2 - è!!!!! è!!!! è!!!! 3 M x . 1DD + Atilde@@2. 2DD + A@@2.Solve@8A@@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 .I1 + 2 3 M y + ÅÅÅÅ2ÅÅÅÅ3ÅÅ xy + 5 = 0.Cálculo de invariantes y clasificación: 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 . 2DD 1 I2 = Det@AtildeD 0 I3 = Det@AD −4 La tabla de clasificación con invariantes nos indica que C2 es una parábola. 3DD x + A@@3. 2DD y == 0.. z z z { è!!!! è!!!! 3 . 2DD x + A@@3. z z z z z z z { 2.. 3DD + A@@2. y<D 1 5 99x → è!!!! . 3DD y == 0<. A@@1. 3.Gráfica de la cónica: . −1 − 2 3 =. I1 = Atilde@@1. 8x. 1.

8y. 5<. 1== 3 norma@8v1_.Ecuación reducida: Los autovalores de Atilde son: Eigenvalues@AtildeD 81. AxesOrigin → 80. .3 1 2 è!!!! è!!!! y + I2 − 3 M x − I1 + 2 3 M y + 2 x + 4 4 8x. 1== λ2 = 0. −10. NullSpace@Atilde − λ1 IdentityMatrix@2DD è!!!! 99 3 . 0<E ImplicitPlotA 20 15 10 5 -10 -8 -6 -4 -2 2 4 ContourGraphics 4. 0< Los autovectores de Atilde son: λ1 = 1. −3. 20<.. NullSpace@Atilde − λ2 IdentityMatrix@2DD 1 99− è!!!! . v2_<D := Sqrt@v1 ^ 2 + v2 ^ 2D è!!!! 3 2 x y + 5 == 0.

MatrixForm@DiD J 1 0 0 N 0 P = Transpose@8v1. 1=E è!!!! 3 1 . v2<DD 1 Las matrices PyDi que verifican A = P Di P t son: Di = DiagonalMatrix@Eigenvalues@AtildeDD. 1= ë normaA9 3 .v1 = 9 9 è!!!! è!!!! 3 . 1= ì normaA9− è!!!! . 1=E 3 3 9− 1 . v2<D. = 2 2 1 1 v2 = 9− è!!!! . MatrixForm@PD Det@PD i j j j j j k è!!!!! 3 2 1 2 1 Comprobación: 1 2 è!!!!! 3 2 − y z z z z z { . 2 è!!!! 3 = 2 Como: Det@Transpose@8v1.

8x '.Di.Atilde − P. y '< + 5D 5 − 2 x′ + Hx′ L2 − 4 y′ La gráfica de la cónica en el sistema de referencia girado R' es: .0). en el sistema de referencia R'={(0. la ecuación de la cónica es 5 − 2 x′ + Hx′ L2 − 4 y′ =0 puesto que Simplify@8x '. y '< + B.Di. 80. 0<.8x '.v2}}. y' y' Así.Transpose@PD 880. 0<< Tras el cambio de sistema de referencia dado por J x' x N = Pt J N y' y la ecuación de la cónica se transforma en Hx ' y 'L Di J x' x' N + BP J N+5=0. y '<.P.{v1.

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 ecuación reducida de la parábola: Hx′′ L2 − 4 y′′ = 0.5 -5 -2. 8y '. 8x '. 0<D 20 15 10 5 -7.5 2.ImplicitPlot@5 − 2 x ′ + Hx ′ L2 − 4 y ′ == 0. AxesOrigin → 80.5 5 7. −8. 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. 20<. −3. cuya gráfica en ese nuevo sistema de referencia es: . Como es una parábola sólo podremos completar cuadrados en una de las variables. 10<.5 10 ContourGraphics Finalmente completamos cuadrados. en este caso en x' y operamos con la y' como se muestra a continuación.

8y ''. P. Como el vértice de la parábola de partida en el sistema de referencia R'' tiene coordenadas (0.5 -2. + = 2 2 2 EJERCICIO PROPUESTO 1: Realiza con Mathematica el estudio anteriormente hecho para la hipérbola. 0<D 15 12. −8. 15<.5 ContourGraphics Observa que el cambio del sistema de referencia canónico al sistema de referencia R'' puede escribirse matricialmente como: J x′′ x −1 N = Pt J N + J N y′′ y −1 La expresión anterior nos permite pasar del sistema de referencia canónico al sistema de referencia en el que la cónica adopta su expresión girada R''.5 2.5 5 2. entonces con la expresión (**) obtenemos las coordenadas del vértice en el sistema de referencia canónico. calculando también los elementos notables de dicha cónica: x2 + y2 + 10 xy . 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 N−J NN = J N H∗∗L y′′ y −1 Para calcular el vértice de la parábola deshacemos el cambio de sistemas de referencia.5 -7.5 10 7. .5 5 7.6 x . −3. Si quisiéramos el cambio de sistema de referencia inverso.0). 0< − 8−1. AxesOrigin → 80.ImplicitPlot@Hx ′′ L2 − 4 y ′′ == 0.6 y + 2 = 0.5 -5 -2. 8<.H80. 8x ''. −1<L 9− 1 + 2 è!!!! è!!!! 3 1 3 .