Aprendrem com trobar una referència cartesiana rectangular respecte la qual, l'equació d'una cònica analítica sigui el més senzilla possible.
Resoldrem aquest problema mitjançant successives reduccions, és a dir, canvis de coordenades escollits de manera que, després de cada un, l'equació de la cònica sigui el resultat de simplificar algun aspecte de l'equació precedent.
En tot cas, l'objectiu és veure que hi ha un canvi rectangular de coordenades: $$$\left\{ \begin{array}{l} x=ax' +by' +e \\ y= cx' +dy' +f\end{array} \right. $$$ que transformi el polinomi $$q (x, y)$$ a un polinomi de la forma $$$q(ax'+by'+e,cx'+dy'+f)$$$ que tingui una de les següents formes:
- $$\lambda_1x'^2+\lambda_2y'^2+ \mu$$
- $$\lambda_1x'^2+2ey'$$
- $$\lambda_1x'^2+\mu$$
on$$\lambda_1,\lambda_2$$ i $$e$$ són nombres reals diferents del zero i $$\mu$$ un nombre real arbitrari. Les expressions anteriors les anomenem formes reduïdes.
Per diverses raons (que veurem més endavant), direm que són del tipus centrat, parabòlic i de rectes paral·leles.
La primera reducció
El primer pas serà calcular la seva matriu associada $$A'$$, donada una cònica d'equació $$q (x, y) = 0$$. Per tant, calcularem els valors propis d'aquesta matriu, calculant el polinomi característic i després el determinant el determinant $$det(A'- \lambda I)$$.
Una vegada trobats els valors propis, hi ha un canvi de coordenades que ens transforma l'equació general d'una cònica a una equació de la forma següent: $$$\lambda_1x^2+ \lambda_ 2y^2+2dx+2ey+f=0$$$ Observeu, que si en l'equació general de la cònica no existeix el terme $$xy$$ no serà necessària aquesta reducció ja que la matriu $$A'$$ ja serà diagonal, i el que busca aquesta reducció és diagonalitzar la matriu principal de la cònica.
A continuació, anem a donar un exemple d'aquesta reducció.
Donada l'equació de la cònica $$q (x, y) =x^2+4xy+2y^2+3=0$$, primer calculem la seva matriu principal associada: $$$A'= \begin{bmatrix} 1 & 2 \\ 2 & 2\end{bmatrix} \Longrightarrow det(A'-\lambda I)=x^2-3x-2$$$ Llavors, un cop obtingut el polinomi característic associat a la matriu principal, calculem les seves dues arrels per així diagonalitzar la matriu principal.
En el nostre cas, les arrels del polinomi són $$$\displaystyle\lambda_1=\frac{3+\sqrt{17}}{2} \mbox{ i } \lambda_2=\frac{3-\sqrt{17}}{2}$$$ Llavors, hi ha un canvi de coordenades que ens transforma l'equació de la cònica en una equació de la forma: $$$ \lambda_1x^2+\lambda_ 2y^2+2dx+2ey+f=0$$$
La segona reducció
Un cop realitzada la primera reducció, obtenim que la nova equació de la cònica és de la forma $$$\lambda_1 x^2+\lambda_2y^2+2dx+2ey+f=0 $$$ En relació a aquesta equació, hi ha dues situacions que hem de considerar: $$\lambda_1\lambda_2=0$$ i$$\lambda_1\lambda_2 \neq 0$$.
En el primer cas, hi ha un valor propi nul i un altre que no (recordem que hem suposat que la matriu $$A$$ no és la matriu idènticament $$0$$). Intercanviant els eixos si cal, podem suposar sense pèrdua de generalitat que $$\lambda_1 \neq 0$$ i $$\lambda_2 = 0$$.
A més, podem suposar que el valor propi és positiu. En aquest punt, podem diferenciar dos nous casos, si $$e$$ és zero o és diferent de zero.
En el primer cas, l'eina bàsica per seguir és la completació de quadrats, $$$ \displaystyle \lambda x^2+2dx=\lambda x'^2+k \mbox{ essent } x=x'-\frac{d}{\lambda} \mbox{ i } k=-\frac{d^2}{\lambda}$$$
En el segon cas, fem també una completació de quadrats per a la $$x$$ per obtenir una equació de la forma $$$\lambda x^2+2ey+f=0$$$ És a dir, obtenim una equació sense terme lineal $$x$$.
Si estem en el segon cas, és a dir $$\lambda_1\lambda_2\neq 0$$, aleshores després de fer dos completacions de quadrat i el corresponent canvi de coordenades, ens permeten suposar que $$d = e = 0$$, de manera que obtenim una equació reduïda del tipus centrat: $$$ \lambda_1 x'^2+\lambda_2y'^2+\mu=0$$$ En resum, depenent de si algun dels dos valors propis són nuls, hi ha diferents canvis de coordenades per obtenir una de les següents formes reduïdes:
- $$\lambda_1 x'^2+\lambda_2 y'^2+ \mu$$
- $$\lambda_1 x'^2+2ey'$$
- $$\lambda_1 x'^2+\mu$$
Donada l'equació de la cònica $$$q(x,y)=x^2+2y^2+2x+1=0$$$ anem a reduir-la per obtenir una de les tres formes reduïdes. Com només tenim terme lineal per a la $$x$$, n'hi haurà prou només amb completar el quadrat de la $$x$$.
En el nostre cas, fent el canvi de variable proposat,tenim que $$x' = x + 1$$ , i l'equació de la cònica es transforma en $$$q(x,y)=x^2+2x^2=0 $$$ Per tant es tracta de la primera forma reduïda, és a dir, en la qual els dos valors propis són diferents de zero.
Equacions canòniques
A continuació, anem a fer l'últim pas per poder classificar una cònica afí.
Sigui $$\lambda_1 x'^2+\lambda_2 y'^2+\mu=0$$ una equació reduïda del tipus centrat, i anem a discutir els diferents casos possibles.
Si $$\mu \neq 0$$, escrivim $$$\displaystyle a=\sqrt{\frac{|\mu|}{\lambda_1}} \mbox{ i } b=\sqrt{\frac{|\mu|}{|\lambda_2|}}$$$ llavors obtenim l'equivalència a una de les següents tres formes: $$$\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 i la tercera són les equacions canòniques d'una el·lipse i d'una hipèrbola, respectivament, amb semieixos $$a$$ i $$b$$.
De la segona, que no té punts reals, l'anomenarem el·lipse imaginària.
D'altra banda, si $$ \mu=0$$ llavors escrivint $$$ \displaystyle a=\sqrt{\frac{1}{\lambda_1}} \mbox{ i } b=\sqrt{\frac{1}{|\lambda_2|}}$$$ obtenim que l'equació adopta una de les següents formes: $$$\frac{x^2}{a^2}+\frac{y^2}{b^2}=0, \ \frac{x^2}{a^2}-\frac{y^2}{b^2}=0$$$ La segona ens dóna dues rectes reals i la primera dues rectes imaginàries conjugades.
Si considerem l'equació reduïda del tipus parabòlic, $$\lambda_1x'^2+2ey'=0$$, podem suposar que tenim l'equació $$x^2=2py$$, amb $$ \displaystyle p=\frac{e}{\lambda_1}$$.
A més, podem suposar que $$p> 0$$ (si no fos així, canviaríem el sentit de l'eix $$OY$$).
Per tant, tenim que l'equació es tracta d'una paràbola amb paràmetre focal $$p$$ i amb l'eix coincidint amb l'eix $$OY$$.
Finalment, si considerem l'equació reduïda del tipus $$\lambda_1x'^2+\mu= 0$$, és equivalent, escrivint $$$\displaystyle k=\sqrt{\frac{|\mu|}{\lambda_1}}$$$ quan $$\mu \neq 0$$- a una de les tres equacions següents: $$$x^2=k^2, \ x^2=0, \ x^2= -k^2 (k>0)$$$
La primera ens dóna dues rectes paral·leles ($$x = k$$ i $$x =-k$$, essent $$k$$ la semidistància entre les dues rectes) i la segona dues rectes coincidents. De la tercera, direm que ens dóna dues rectes paral·leles conjugades.
En resum, aquest procediment ens dóna un algorisme eficaç per passar d'una equació general d'una cònica a una equació canònica. Per aconseguir-ho, fem servir els següents passos:
-
Donada l'equació de la cònica, calculem la seva matriu principal $$A'$$ i calculem els seus valors propis per diagonalitzar la matriu $$A'$$. Aquest pas s'anomena primera reducció. En finalitzar aquest pas, obtenim que l'equació de la cònica sigui de la forma: $$\lambda_1 x^2+\lambda_2y^2+2dx+2ey+f=0$$.
-
Un cop feta la primera reducció, es mira si algun dels valors propis és zero. A continuació, mitjançant les finalització de quadrats, podem transformar l'equació donada per la primera reducció a una de les de la següent manera:
- $$\lambda_1 x'^2+\lambda_2 y'^2+\mu$$
- $$\lambda_1 x'^2+2ey'$$
- $$\lambda_1 x'^2+\mu$$ Aquest pas s'anomena segona reducció.
- Finalment, depenent de la forma reduïda que tinguem, mitjançant uns nous canvis de coordenades s'obtenen les diferents equacions canòniques. Un cop obtinguda l'equació canònica, ja hem classificat la cònica.
Ara proposem uns exemples que ens permetin veure tots els passos.
Donada l'equació $$$q(x,y)=x^2+y^2+2x+1=0$$$ primer calculem la matriu principal associada.
En aquest cas, $$$A'= \begin{bmatrix} 1-x & 1 \\ 1 & 1-x \end{bmatrix} \Longrightarrow det(A-\lambda_1)=x^2-2x=x(x-2)$$$ Per tant es veu fàcilment que les seves arrels són el $$0$$ i el $$2$$.
Per tant, estem en el cas que el producte dels valors propis és zero, de manera que com que no hi ha terme lineal en $$y$$, tenim la tercera forma reduïda. És a dir, tenim que el polinomi és de la forma $$$q(x,y)=2x^2+2x+1=0$$$ Completant el quadrat, veiem que $$$\displaystyle q (x, y) =2(x+\frac{1}{2})+\frac{3}{4}=0$$$ i per tant, fent el canvi de coordenades $$\displaystyle x' = x+\frac{1}{2}$$, veiem que l'equació passa a ser de la forma $$$\displaystyle q(x,y)=2x^2+\frac{3}{4}$$$ Finalment, dividint l'equació per $$2$$, obtenim que l'equació canònica és $$$\displaystyle x^2+\frac{3}{8}=0$$$ Es tracta d'un parell de rectes paral.leles conjugades.
Donar una classificació afí de la cònica: $$$q (x, y) =3x^2+3y^2-6xy-6x+4y-8=0$$$ Comencem calculant la seva matriu principal $$A'$$: $$$A'=\begin{bmatrix} 3 & -3 \\ -3 & 3\end{bmatrix} \Longrightarrow det(A'-xI)=x^2-6x$$$
Un cop calculada la matriu principal de la cònica i el polinomi característic associat a aquesta matriu, anem a calcular les seves arrels (els valors propis).
Llavors, les arrels del polinomi característic són: $$\lambda_1=6$$ i $$\lambda_2=0$$.
Per tant, la nostra cònica passarà a ser de la forma $$$q(x,y)=6x^2-6x+4y-8=0$$$ Com que només tenim terme quadràtic per a la $$x$$ i té terme lineal també, per eliminar aquest terme anem a necessitar una completació de quadrat.
Llavors, fent el canvi de variable $$\displaystyle x'=x-\frac{1}{2}$$, obtenim que la cònica passa a ser de la forma $$$\displaystyle q(x,y)=6x^2-4y-\frac{19}{2}=0$$$ Com que només tenim terme quadràtic per a la $$x$$, es tracta d'una paràbola.