Aprenderemos cómo encontrar una referencia cartesiana rectangular respecto la cual, la ecuación de una cónica analítica sea lo más sencilla posible.
Este problema lo vamos a resolver mediante sucesivas reducciones, o sea, cambios de coordenadas escogidos de forma que, después de cada uno, la ecuación de la cónica sea el resultado de simplificar algún aspecto de la ecuación precedente.
En todo caso, el objetivo es ver que existe un cambio rectangular de coordenadas: $$$\left\{ \begin{array}{l} x=ax' +by' +e \\ y= cx' +dy' +f\end{array} \right. $$$ que transforme el polinomio $$q (x, y)$$ a un polinomio de la forma $$$q(ax'+by'+e,cx'+dy'+f)$$$ que tenga una de las siguientes formas:
- $$\lambda_1x'^2+\lambda_2y'^2+ \mu$$
- $$\lambda_1x'^2+2ey'$$
- $$\lambda_1x'^2+\mu$$
donde$$\lambda_1,\lambda_2$$ y $$e$$ son números reales distintos del cero y $$\mu$$ un número real arbitrario. Las expresiones anteriores las vamos a llamar formas reducidas.
Por varias razones (que vamos a ver más adelante), les diremos que son del tipo centrado, parabólico y de rectas paralelas.
La primera reducción
El primer paso será calcular su matriz asociada $$A'$$, dada una cónica de ecuación $$q (x, y) = 0$$. Por tanto, calcularemos los valores propios de esta matriz, calculando el polinomio característico y después el determinante $$det(A'- \lambda I)$$.
Una vez encontrados los valores propios, existe un cambio de coordenadas que nos transforma la ecuación general de una cónica a una ecuación de la forma siguiente: $$$\lambda_1x^2+ \lambda_ 2y^2+2dx+2ey+f=0$$$ Obsérvese, que si en la ecuación general de la cónica no existe el término $$xy$$ no será necesaria esta reducción dado que la matriz $$A'$$ ya será diagonal, y lo que busca dicha reducción es diagonalizar la matriz principal de la cónica.
A continuación, vamos a dar un ejemplo de esta reducción.
Dada la ecuación de la cónica $$q (x, y) =x^2+4xy+2y^2+3=0$$, primero calculamos su matriz principal asociada: $$$A'= \begin{bmatrix} 1 & 2 \\ 2 & 2\end{bmatrix} \Longrightarrow det(A'-\lambda I)=x^2-3x-2$$$ Entonces, una vez obtenido el polinomio característico asociado a la matriz principal, calculamos sus dos raíces para así diagonalizar la matriz principal.
En nuestro caso, las raíces del polinomio son $$$\displaystyle\lambda_1=\frac{3+\sqrt{17}}{2} \mbox{ y } \lambda_2=\frac{3-\sqrt{17}}{2}$$$ Entonces, existe un cambio de coordenadas que nos transforma la ecuación de la cónica en una ecuación de la forma : $$$ \lambda_1x^2+\lambda_ 2y^2+2dx+2ey+f=0$$$
La segunda reducción
Una vez realizada la primera reducción, obtenemos que la nueva ecuación de la cónica es de la forma $$$\lambda_1 x^2+\lambda_2y^2+2dx+2ey+f=0 $$$ En relación a esta ecuación, hay dos situaciones que debemos considerar: $$\lambda_1\lambda_2=0$$ y$$\lambda_1\lambda_2 \neq 0$$.
En el primer caso, hay un valor propio nulo y otro que no (recordemos que hemos supuesto que la matriz $$A$$ no es la matriz idénticamente $$0$$). Intercambiando los ejes si hiciera falta, podemos suponer sin pérdida de generalidad que $$\lambda_1 \neq 0$$ y $$\lambda_2 = 0$$.
Además, podemos suponer que el valor propio es positivo. En este punto, podemos diferenciar dos nuevos casos, si $$e$$ es cero o es distinto de cero.
En el primer caso, la herramienta básica para seguir es la completación de cuadrados, $$$ \displaystyle \lambda x^2+2dx=\lambda x'^2+k \mbox{ siendo } x=x'-\frac{d}{\lambda} \mbox{ y } k=-\frac{d^2}{\lambda}$$$
En el segundo caso, hacemos también una completación de cuadrados para la $$x$$ para obtener una ecuación de la forma $$$\lambda x^2+2ey+f=0$$$ O sea, obtenemos una ecuación sin término lineal $$x$$.
Si estamos en el segundo caso, o sea $$\lambda_1\lambda_2\neq 0$$, entonces dos completaciones de cuadrado y el correspondiente cambio de coordenadas, nos permiten suponer que $$d = y = 0$$, con lo que obtenemos una ecuación reducida del tipo centrado: $$$ \lambda_1 x'^2+\lambda_2y'^2+\mu=0$$$ En resumen, dependiendo de si alguno de los dos valores propios son nulos, existen distintos cambios de coordenadas para obtener una de las siguientes formas reducidas:
- $$\lambda_1 x'^2+\lambda_2 y'^2+ \mu$$
- $$\lambda_1 x'^2+2ey'$$
- $$\lambda_1 x'^2+\mu$$
Dada la ecuación de la cónica $$$q(x,y)=x^2+2y^2+2x+1=0$$$ vamos a reducirla para obtener una de las tres formas reducidas.Como solo tenemos término lineal para la $$x$$, bastará solo con completar el cuadrado de la $$x$$.
En nuestro caso, haciendo el cambio de variable propuesto, tenemos que $$x' = x + 1$$ , y la ecuación de la cónica se transforma en $$$q(x,y)=x^2+2x^2=0 $$$ Por lo tanto se trata de la primera forma reducida, o sea, en la que los dos valores propios son distintos de cero.
Ecuaciones canónicas
A continuación, vamos a hacer el último paso para poder clasificar una cónica afín.
Sea $$\lambda_1 x'^2+\lambda_2 y'^2+\mu=0$$ una ecuación reducida del tipo centrado, y vamos a discutir los distintos casos posibles.
Si $$\mu \neq 0$$, escribimos $$$\displaystyle a=\sqrt{\frac{|\mu|}{\lambda_1}} \mbox{ y } b=\sqrt{\frac{|\mu|}{|\lambda_2|}}$$$ entonces obtenemos la equivalencia a una de las siguientes tres formas: $$$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1, \ \frac{x^2}{a^2}+\frac{y^2}{b^2}=-1, \ \frac{x^2}{a^2}-\frac{y^2}{b^2}=1$$$ La primera y la tercera son las ecuaciones canónicas de una elipse y de una hipérbole, respectivamente, con semiejes $$a$$ y $$b$$.
De la segunda, que no tiene puntos reales, le vamos a llamar elipse imaginaria.
Si por el contrario $$ \mu=0$$ entonces escribiendo $$$ \displaystyle a=\sqrt{\frac{1}{\lambda_1}} \mbox{ y } b=\sqrt{\frac{1}{|\lambda_2|}}$$$ obtenemos que la ecuación adopta una de las siguientes formas: $$$\frac{x^2}{a^2}+\frac{y^2}{b^2}=0, \ \frac{x^2}{a^2}-\frac{y^2}{b^2}=0$$$ La segunda nos da dos rectas reales y la primera dos rectas imaginarias conjugadas.
Si consideramos la ecuación reducida del tipo parabólico, $$\lambda_1x'^2+2ey'=0$$, podemos suponer que tenemos la ecuación $$x^2=2py$$, donde $$ \displaystyle p=\frac{e}{\lambda_1}$$.
Además, podemos suponer que $$p> 0$$ (si no fuera así, cambiaríamos el sentido del eje $$OY$$).
Por lo tanto, tenemos que la ecuación se trata de una parábola con parámetro focal $$p$$ y con el eje coincidiendo con el eje $$OY$$.
Finalmente, si consideramos la ecuación reducida del tipo $$\lambda_1x'^2+\mu= 0$$, es equivalente - escribiendo $$$\displaystyle k=\sqrt{\frac{|\mu|}{\lambda_1}}$$$ cuando $$\mu \neq 0$$- a una de las tres ecuaciones siguientes: $$$x^2=k^2, \ x^2=0, \ x^2= -k^2 (k>0)$$$
La primera nos da dos rectas paralelas ($$x = k$$ y $$x =-k$$, siendo $$k$$ la semidistancia entre las dos rectas) y la segunda dos rectas coincidentes. De la tercera, diremos que nos da dos rectas paralelas conjugadas.
En resumen, este procedimiento nos da un algoritmo eficaz para pasar de una ecuación general de una cónica a una ecuación canónica. Para conseguirlo, usamos los siguientes pasos:
-
Dada la ecuación de la cónica, calculamos su matriz principal $$A'$$ y calculamos sus valores propios para diagonalizar la matriz $$A'$$. Este paso se le llama primera reducción. Al finalizar este paso, obtenemos que la ecuación de la cónica sea de la forma: $$\lambda_1 x^2+\lambda_2y^2+2dx+2ey+f=0$$.
-
Una vez hecha la primera reducción, se mira si alguno de los valores propios es cero. A continuación, mediante las completaciones de cuadrados, podemos transformar la ecuación dada por la primera reducción a una de las de la siguiente forma:
- $$\lambda_1 x'^2+\lambda_2 y'^2+\mu$$
- $$\lambda_1 x'^2+2ey'$$
- $$\lambda_1 x'^2+\mu$$ Este paso se le llama segunda reducción.
- Finalmente, dependiendo de la forma reducida que tengamos, mediante unos nuevos cambios de coordenadas se obtienen las distintas ecuaciones canónicas. Una vez obtenida la ecuación canónica, ya hemos clasificado la cónica.
Ahora proponemos unos ejemplos que nos permitan ver todos los pasos.
Dada la ecuación $$$q(x,y)=x^2+y^2+2x+1=0$$$ primero calculamos la matriz principal asociada.
En este caso, $$$A'= \begin{bmatrix} 1-x & 1 \\ 1 & 1-x \end{bmatrix} \Longrightarrow det(A-\lambda_1)=x^2-2x=x(x-2)$$$ Por lo tanto se ve fácilmente que sus raíces son el $$0$$ y el $$2$$.
Por lo tanto, estamos en el caso que el producto de los valores propios es cero, con lo que como no hay término lineal en $$y$$, tenemos la tercera forma reducida. O sea, tenemos que el polinomio es de la forma $$$q(x,y)=2x^2+2x+1=0$$$ Completando el cuadrado, vemos que $$$\displaystyle q (x, y) =2(x+\frac{1}{2})+\frac{3}{4}=0$$$ y por lo tanto, haciendo el cambio de coordenadas $$\displaystyle x' = x+\frac{1}{2}$$, vemos que la ecuación pasa a ser de la forma $$$\displaystyle q(x,y)=2x^2+\frac{3}{4}$$$ Finalmente, dividiendo la ecuación por $$2$$, obtenemos que la ecuación canónica es $$$\displaystyle x^2+\frac{3}{8}=0$$$ que se trata de un par de rectas paralelas conjugadas.
Dar una clasificación afín de la cónica: $$$q (x, y) =3x^2+3y^2-6xy-6x+4y-8=0$$$ Empezamos calculando su matriz principal $$A'$$: $$$A'=\begin{bmatrix} 3 & -3 \\ -3 & 3\end{bmatrix} \Longrightarrow det(A'-xI)=x^2-6x$$$
Una vez calculada la matriz principal de la cónica y el polinomio característico asociado a esta matriz, calculamos sus raíces (los valores propios).
Entonces, las raíces del polinomio característico son: $$\lambda_1=6$$ y $$\lambda_2=0$$.
Por lo tanto, nuestra cónica va a pasar a ser de la forma $$$q(x,y)=6x^2-6x+4y-8=0$$$ Como sólo tenemos término cuadrático para la $$x$$ y tiene término lineal también, para eliminar dicho término vamos a necesitar una completación del cuadrado.
Entonces, haciendo el cambio de variable $$\displaystyle x'=x-\frac{1}{2}$$, obtenemos que la cónica pasa a ser de la forma $$$\displaystyle q(x,y)=6x^2-4y-\frac{19}{2}=0$$$ Como sólo tenemos término cuadrático para la $$x$$, se trata de una parábola.