Introducción
Ya vimos cómo afectan las traslaciones y las transformaciones ortogonales a los polinomios cuadráticos, en esta entrada, usaremos todo lo que hemos aprendido de las entradas anteriores, para dar la clasificación isométrica de las curvas.
Clasificación
Vamos a demostrar, por medio de los siguientes teoremas, que cualquier polinomio cuadrado es isométricamente equivalente a alguna de las nueve posibles familias canónicas que mencionamos en entradas anteriores, cuando clasificamos las curvas.
Debido a que vimos que el polinomio cuadrático $P(x)=x*Ax+2b*x+c$ con $A=A^T\neq 0$, lo podemos componer con una isometría de la forma $g(x)=Bx+h$ con $B\in O(2)$ y obtener una ecuación de la forma:
\begin{equation}(P\circ g)(x)=x*(B^TAB)x+2B^T(Ah+b)*x+P(h)\end{equation}
Entonces, observa que el análisis para esta clasificación, puede partirse en dos grandes casos que dependen del determinante de la matriz, es decir, cuando $det(A)\neq 0$ y cuando $det(A)=0$.
Antes de analizar cada uno de estos casos, veamos un Lema que nos va a ayudar.
Lema 4.14: Si A es una matriz simétrica con valores propios $\alpha$ y $\beta$, entonces $det(A)=\alpha \beta$
Demostración
Sea $B$ una rotación que diagonaliza a $A$, entonces:
\begin{equation} \alpha \beta=det\begin{pmatrix} \alpha & 0 \\ 0 & \beta \end{pmatrix}=det(B^TAB)\end{equation}
Y recuerda que el determinante es una función lineal, lo que nos permite realizar la siguiente igualdad:
\begin{equation} \alpha \beta=det(B^TAB)=det(B^T)det(A)det(B)=1*det(A)*1=det(A)\end{equation}
Date cuenta que, con las igualdades anteriores, ya podemos dar por concluida la demostración.
Ahora sí podemos analizar cada uno de los casos que mencionamos al inicio.
Caso 1: $det(A)\neq 0$
De aquí, vamos a separar en varios casos, pero empecemos realizando un análisis general. Nombremos como el centro a $h=-A^{-1}b$ y a $B$ como una rotación que diagonalice a $A$. Entonces, observa que $P$ es isométricamente equivalente a un polinomio de la siguiente forma:
\begin{equation} P_1(x,y)=\alpha x^2+\beta y^2+\gamma\end{equation}
A continuación, vamos a encontrar estas equivalencias usando el Lema 4.14.
Caso 1.1 $det(A)>0$
Hay $3$ posibilidades:
- $\gamma =0$, entonces la única solución es $(x,y)=(0,0)$
- $\gamma$ del mismo signo que $\alpha$ y $\beta$, entonces la curva es vacía porque no hay soluciones reales.
- $\gamma$ de signo opuesto que $\alpha$ y $\beta$, entonces, los ceros de $P_1$ coinciden con las soluciones canónicas de la elipse con $a=\sqrt{\frac{-\gamma}{\alpha}}, b=\sqrt{\frac{-\gamma}{\beta}}$ dada por:
\begin{equation}\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\end{equation}
Caso 1.2 $det(A)<0$
Hay $2$ posibilidades:
- $\gamma=0$, entonces $P_1$ es una diferencia de cuadrados que, como $\alpha>0$, entonces $a=sqrt{\alpha}, b=\sqrt{-\beta}$ y puede factorizarse como se muestra a continuación. Además, esto implica que se trata de dos rectas cuya intersección es el centro.
\begin{equation}(ax+by)(ax-by)\end{equation}
- $\gamma\neq 0$, entonces, podemos elegir el primer vector propio correspondiente a $x$, de manera que su valor propio $\alpha$ tenga signo contrario a $\gamma$, lo que implica que los ceros de $P_1$ corresponden a las soluciones de la ecuación canónica de la hipérbola que tiene a $a=\sqrt{-\frac{\gamma}{\alpha}}$ y $b=\sqrt{\frac{\gamma}{\beta}}$, cuya ecuación se puede expresar como:
\begin{equation}\frac{x^2}{a^2}-\frac{y^2}{b^2}=1\end{equation}
Caso 2: $det(A)= 0$
Observa que, en este caso, no tenemos la seguridad de eliminar la parte lineal y que nos conviene simplificar la parte cuadrática. Por el Lema 4.14, uno de los valores propios es cero y el otro es distinto de cero.
Entonces, $P$ es isométricamente equivalente a un polinomio de la forma:
\begin{equation}(x+\alpha )^2+\beta y+(\gamma – \alpha^2)\end{equation}
Comprueba que, si hacemos el cambio de variable dado por $x’=x+\alpha$, podemos simplificar el polinomio anterior como:
\begin{equation}P_2(x,y)=x^2+ay+b\end{equation}
Y de nuevo tenemos dos subcasos.
Caso 2.1 $a=0$
- $b<0$, entonces, $P_2$ define dos rectas paralelas.
- $b=0$, entonces $P_2$ es una recta doble.
- $b>0$, entonces $P_2$ consiste en dos rectas imaginarias.
Caso 2.2 $a\neq 0$
SI hacemos el cambio de variable $y’=y+\frac{b}{a}$, tenemos que $P$ es isométricamente equivalente al polinomio:
\begin{equation}x^2+ay\end{equation}
Que define una parábola.
Tarea moral
- Encuentra un polinomio que defina las siguientes curvas cuadráticas:
- La hipérbola con semieje principal $4$ en la dirección $(2,1)$, semieje secundario $1$ y centro en $(2,3)$.
- La elipse con semieje mayor $3$ en la dirección $(3,4)$, semieje menor $2$ y centro en $(-1,2)$.
- Describe geométricamente las siguientes curvas cuadráticas que están definidas por los siguientes polinomios, además, da su centro la dirección de los ejes y los parámetros o la ecuación canónica correspondiente:
- $9x^2-4xy+6y^2-58x+24y+59$
- $66x^2-24xy+59y^2-108x-94y+1$
- $-7x^2+48xy+7y^2+158x-6y-88$
- $32x^2+48xy+18y^2+31x-8y-88$
Más adelante…
En la última sección de esta unidad, veremos otra forma de clasificar las curvas, que es mediante la semejanza de curvas cuadráticas.