(alguno de los coeficientes a11, a12, a22 es distinto de cero) representa una cónica.
(alguno de los coeficientes a11, a22, a33, a12, a13, a23 es distinto de cero) representa una
cuádrica. Entre ´estas consideramos los casos degenerados.
Definición. Una cónica es el lugar geométrico de los puntos (x, y) ∈ R2 del plano que satisfacen una
ecuación general de segundo grado:
x
Nótese que también puede escribirse,
a11 a12 a1 𝑥
𝑓(𝑥, 𝑦) = [𝑥 𝑦 1] [a12 a22 a2 ] [𝑦] = 0
a1 a2 a0 𝑧
El proceso general para llevar una cónica a su ecuación reducida (sabiendo cuales son los cambios
de variables involucrados) puede separarse en dos etapas (si el coeficiente a12 ≠ 0, si el coeficiente
a12 = 0 bastaría con la segunda etapa):
(a) Determinación de las direcciones de los ejes de la cónica. Esto consiste en diagonalizar
ortogonalmente la matriz (simétrica A) asociada a la parte cuadrática de la ecuación
a11 a12
𝐴=[
a12 a22]
Sean λ1 y λ2 los autovalores de A y v1 y v2 autovectores ortogonales correspondientes (si λ1≠ λ2
dichos autovectores serán ortogonales necesariamente, y si λ1 = λ2 necesariamente A es una matriz
diagonal, y no necesitamos hacer nada de esto). Conviene tomar los autovectores v1 y v2 de manera
que el ángulo de v1 a v2 sea de 90˚ en sentido positivo (contrario a las agujas del reloj). Sin más que
dividir los vectores v1 y v2 por su norma, obtenemos una base ortonormal {u1, u2} de R2 formada
por autovectores de A y, por tanto,
λ1 0
𝑃 = [(u1|u2)] ⇒ 𝑃−1 = 𝑃𝑇 , 𝑃𝑇 𝐴𝑃 = 𝐷 = [ ]
0 λ2
Al sustituir en la ecuación (en (x, y)) de la cónica el cambio de variables tenemos
𝑥 x′ x′ x′
[𝑦] = 𝑃 [ ] ⟹ [x ′ y ′ ]𝑃𝑇 𝐴𝑃 [ ′ ] + 2[a1 a2]𝑃 [ ] + a0 = 0
y′ y y′
Es decir, la ecuación de la cónica en las coordenadas (x′, y′) es
𝑥 x′ x′ x′ 𝑥 𝑢𝑇 𝑥
[𝑦] = 𝑃 [ ] = [(u1|u2)] [ ] ⟹ [ ′ ] = 𝑃𝑇 [𝑦] = [ 1𝑇 ] [𝑦]
y′ y′ y 𝑢2
Es decir, los ejes x e y′ son las rectas que pasan por el origen de coordenadas y tienen como vectores
dirección respectivos los autovectores u1 y u2 de A. De hecho, el sistema de ejes OX′Y ′ se obtiene
del sistema OXY girando (con centro el origen de coordenadas) el ´ángulo que determina u1 con el
semieje OX+.
(b) Una vez que tenemos la ecuación
en la que no aparece el producto cruzado x′y′, bastar ‘a completar los cuadrados que
aparezcan (mediante cambios del tipo x′′ = x′ − 𝛼e y′′ = y′ − 𝛽) para obtener una ecuación de uno de
los siguientes tipos:
Caso elíptico. λ1λ2 > 0 (es decir λ1 y λ2 son no-nulos y del mismo signo),
en cuyo caso tenemos una elipse (c > 0), un punto (c = 0) o nada (c < 0).
Caso hiperbólico. λ1λ2 < 0 (es decir λ1 y λ2 son no-nulos y de distinto signo),
en cuyo caso tenemos una hipérbola (c ≠ 0) o un par de rectas que se cortan (c = 0).
Caso parabólico. λ1λ2 = 0 (es decir uno de los autovalores es nulo, y el otro no).
Tendremos una parábola (b ≠ 0), o bien un par de rectas paralelas (c < 0) o coincidentes (c = 0) o
nada (c > 0). Para obtener los elementos característicos de la cónica y su representación gráfica basta
obtenerlos en las coordenadas (x′′, y′′) y deshacer los cambios de variables que se hayan hecho