Geometrı́a Analı́tica II

Reducción de la ecuación general de segundo grado

JCO-OLL-AEV

La parábola, la elipse e hipérbola se llaman secciones cónicas o simplemente cónicas. Hemos visto
que si la ecuación
Ax2 + 2Bxy + Cy 2 + 2Dx + 2Ey + F = 0 (1)
representa un lugar geométrico real que debe ser una cónica, o bien uno de los casos excepcionales de
un punto, dos rectas coincidentes, dos rectas paralelas o dos rectas que se cortan o también llamadas
cónicas degeneradas. De la ecuación (1) podemos ir agrupando los términos de la ecuación:
La forma cuadrática
Ax2 + 2Bxy + Cy 2
.
La forma lineal
2Dx + 2Ey
.
El termino independiente
F

Si se te pide hallar su centro de simetrı́a (si este existe), V0 , denotado por (h, k), podemos encontrar
este si recordamos lo visto en la primera parte del curso.
Lo que nosotros buscamos es pasar del sistema {O, {î, ĵ}} al {V0 , {î, ĵ}} y esto es trasladando el
origen de coordenadas al punto V0 , las coordenadas de un punto cualquiera se transforman según las
fórmulas:
x = x0 + h y = y0 + k (2)
Pasemos en la ecuación (1) a las nuevas coordenadas. Con este fin, se sustituye (2) en (1) y reduciendo
se llega a que

Ax2 + 2Bxy + Cy 2 + 2Dx + 2Ey + F = Ax02 + 2Bx0 y 0 + Cy 02 + 2D0 x0 + 2E 0 y 0 + F 0 ,

1
donde
D0 = Ah + Bk + D,
E 0 = Bh + Ck + E, (3)
F 0 = Ah2 + 2Bhk + Ck 2 + 2Dh + 2Ek + F.

Entonces el punto v0 será el centro si D0 = 0 y E 0 = 0. De aquı́ se obtienen las ecuaciones del

centro:
Ah + Bk + D = 0,
(4)
Bh + Ck + E = 0.
Este sistema tiene una solución única para h y k, dada por la regla de Cramer, solamente si el
determinante del sistema es:  
 A B 
δ =   = AC − B 2 6= 0. (5)
B C 
1
Observamos que los términos de mayor grado quedan sin variar.

1
Si δ 6= 0 podemos decir que la cónica es centrada, por otro lado, si δ = 02 no hay una solución única,
por lo que la cónica es NO centrada.
Tomando el primer caso, sabemos que es centrada, entonces h y k serán:
   
 B D   D A 
   
 C E   E B 
h =  , k =  . (6)
 A B   A B 
 
 B C   B C 

Por lo que nuestra ecuación en el sistema {V0 , {î, ĵ}} es:

Ax02 + 2Bx0 y 0 + Cy 02 + F 0 = 0 (7)

La ecuación (5) también sirve como indicador para saber que tipo de cónica es:

2
AC − B
 > 0 Elipse
δ = AC − B 2 < 0 Hipérbola (8)

AC − B 2 = 0 Parábola.


Ejemplo:
Sea la ecuación
5x2 + 8xy + 5y 2 − 18x − 18y + 9 = 0,
determina si es una cónica centrada o no, en caso que sea centrada encuentra V0 y da la ecuación.
Respuesta: Observamos primero que la ecuación se encuentra en {O, {î, ĵ}} y queremos pasar a
{V0 , {î, ĵ}}, entonces ocupamos (4), tenemos que:

5h + 4k − 9 = 0,
4h + 5k − 9 = 0.
 
 5 4 
⇒ δ =   = 25 − 16 = 9 6= 0 (Elipse).
4 5 

Entonces    
 4 −9   −9 5 
   
 5 −9   −9 4 
h= = 1, k= = 1.
9 9
Encontramos que V0 = (1, 1) y F 0 = −9, por lo que la nueva ecuación en el sistema {V0 , {î, ĵ}} es:

5x02 + 8x0 y 0 + 5y 02 − 9 = 0.

Ahora suponemos que ya nos encontramos en el sistema {V0 , {î, ĵ}} y queremos pasar al sistema
óptimo, es decir, {V0 , {û, û⊥ }}, si tenemos la ecuación

Ax02 + 2Bx0 y 0 + Cy 02 + F 0 = 0 (9)

2
Se hace otro tratamiento el cual se explica mas adelante

2
En donde B 0 6= 0, las ecuaciones de transformación por rotación

x0 = x00 cos(θ) − y 00 sen(θ) y 0 = x00 sen(θ) + y 00 cos(θ) (10)

Sustituimos en (9), desarrollamos y agrupamos los términos, obtenemos que:

A0 x002 + 2B 0 x00 y 00 + C 0 y 002 + F 0 = 0, (11)

en donde
A0 = Acos2 (θ) + 2Bcos(θ)sen(θ) + Csen2 (θ),
2B 0 = 2(A − C)cos(θ)sen(θ) + 2B(cos2 (θ) − sen2 (θ)),
(12)
C0 = Assen2 (θ) − 2Bcos(θ)sen(θ) + Ccos2 (θ),
F0 = F 0.

Como lo que queremos es que el termino cruzado se elimine, entonces 2B 0 = 0 3

, entonces

(C − A)sen(2θ) + 2Bcos(2θ) = 0

llegamos a que
2B A−C
tan(2θ) = ó cot(2θ) = (13)
A−C 2B
Además, podemos encontrar sen(θ) y cos(θ) y encontrar quienes son nuestros vectores unitarios, esto
es que
û = cos(θ)î + sen(θ)ĵ y û⊥ = −sen(θ)î + cos(θ)ĵ. (14)
Esto es con:
r
1 + cos(2θ)
cos(θ) = ± ,
r 2 (15)
1 − cos(2θ)
sen(θ) = ± .
2
Entonces la ecuación en su sistema óptimo ({V0 , {û, û⊥ }}) es

0 002 0 002 0 x002 y 002

Ax +C y +F =0 o −F 0
+ −F 0
= 1. (16)
A0 C0

Ejemplo:
Sea la ecuación
x2 + 3xy + 5y 2 + 2x − 8y + 1 = 0,
determina si es una cónica centrada o no, en caso que sea centrada encuentra V0 y si puedes, elimina
el termino cruzado y encontrar la ecuación canonca.
3
Recordando que
sen(2θ) = 2sen(θ)cos(θ)
y
cos(2θ) = cos2 (θ) − sen2 (θ)

3
Respuesta: Observamos primero que la ecuación se encuentra en {O, {î, ĵ}} y queremos pasar a
{V0 , {î, ĵ}}, entonces ocupamos (4), tenemos que:
3
1h + k + 1 = 0,
2
3
h + 5k − 4 = 0.
2  
 1 3/2 
⇒ δ =   = 11/4 6= 0 (Elipse).
3/2 5 

Entonces
h = −4, k = 2.
Encontramos que V0 = (−4, 2) y F 0 = −11, por lo que la nueva ecuación en el sistema {V0 , {î, ĵ}} es:

x02 + 3x0 y 0 + 5y 02 − 11 = 0.

Ahora, queremos pasar al sistema {V0 , {û, û⊥ }}, entonces encontramos que
3 3 4
tan(2θ) = = − ⇒ cos(2θ) = ,
1−5 4 5
entonces
r
1 + (4/5) 3
cos(θ) = ± = ±√ ,
2 10
r
1 − (4/5) 1
sen(θ) = ± = ±√ .
2 10
Donde
3 1 1 3
û = − √ î + √ ĵ y û⊥ = − √ î − √ ĵ.
10 10 10 10
Por lo que, nuestras ecuaciones de rotación serán:
3 1 1 3
x0 = − √ x00 − √ y 00 y 0 = √ x00 − y 00 √ .
10 10 10 10
Llegamos a que
x002 y 002
+ =1
22 2

Supongamos ahora que δ = 0, entonces sabemos que es un parábola y no podemos encontrar h

y k 4 , por que que tenemos que darle la vuelta la problema. Entonces nos encontramos en el sistema
{O, {î, ĵ}} con
Ax2 + 2Bxy + Cy 2 + 2Dx + 2Ey + F = 0 (17)
4
Al no ser un cónica no centrada

4
, podemos pasar entonces al sistema {O, {û, û⊥ }}, lo que queremos es que el termino cruzado se
elimine, entonces 2B = 0

x = x0 cos(θ) − y 0 sen(θ) y = x0 sen(θ) + y 0 cos(θ) (18)

Sustituimos en (17), desarrollamos y agrupamos los términos, obtenemos que:

A0 x02 + 2B 0 x0 y 0 + C 0 y 02 + 2D0 x0 + 2E 0 y 0 + F 0 = 0, (19)

en donde
A0 = Acos2 (θ) + 2Bcos(θ)sen(θ) + Csen2 (θ),
2B 0 = 2(A − C)cos(θ)sen(θ) + 2B(cos2 (θ) − sen2 (θ)),
C0 = Assen2 (θ) − 2Bcos(θ)sen(θ) + Ccos2 (θ),
(20)
2D0 = 2Dcos(θ) + 2Esen(θ)
2E 0 = −2Dsen(θ) + 2Ecos(θ)
F0 = F.

Como lo que queremos es que el termino cruzado se elimine, entonces 2B 0 = 0 llegamos a que
2B
tan(2θ) = (21)
A−C
Además, podemos encontrar sen(θ) y cos(θ) y encontrar quienes son nuestros vectores unitarios, esto
es que
û = cos(θ)î + sen(θ)ĵ y û⊥ = −sen(θ)î + cos(θ)ĵ. (22)
Esto es con:
r
1 + cos(2θ)
cos(θ) = ± ,
r 2 (23)
1 − cos(2θ)
sen(θ) = ± .
2
Además, como ya vimos que es una parabola y la queremos en su sistema óptimo, entonces necesa-
riamente A0 = 0, por lo que llegamos a que la ecuación debe ser de la forma

C 0 y 02 + 2D0 x0 + 2E 0 y 0 + F = 0 (24)

vemos que estamos en sistema {O, {û, û⊥ }}. Esta ultima ecuación vemos que

C 0 y 02 + 2D0 x0 + 2E 0 y 0 + F = 0,
⇒ C 0 y 02 + 2E 0 y 0 = −2D0 x0 − F.
2E 0
 
⇒ C y + 0 = −2D0 x0 − F completando el trinomio
0 02
(25)
C
2
E0 2D0 E 02 − F C 0
  
02 0
⇒ y + 0 =− 0 x +
C C 2D0
donde
E 02 − F C 0 E0
h0 = − , k0 = − . (26)
2D C0
5
Por lo que
2D0 0

2
y 02 + k 0 (x + h0 )
=− (27)
C0
Será nuestra ecuación en {O, {û, û⊥ }}5 . Para pasar al {V0 , {û, û⊥ }},basta con trasladar nuestro sis-
tema, esto es con:
x0 = x00 + h0 y 0 = y 00 + k 0 (28)
y se llega a que
y 002 = 4px00 , (29)
que es nuestra ecuación canónica de la parábola. Sólo basta con encontrar h y k que están en el
sistema {O, {î, ĵ}} esto es

h = h0 cos(θ) − k 0 sen(θ) k = h0 sen(θ) + k 0 cos(θ) (30)

Ejemplo:
Sea la ecuación
4x2 − 4xy + y 2 − 2x − 14y + 7 = 0,
determina si es una cónica centrada o no, en caso que sea centrada encuentra V0 y si puedes, elimina
el termino cruzado y encontrar la ecuación canonca.
Respuesta: Observamos primero que la ecuación se encuentra en {O, {î, ĵ}} queremos determinar
que tipo de cónica es, esto mediante δ, entonces:
 
 4 −2 
δ=   = 0 Es una parábola.
−2 1 

Entonces, primero pasemos al sistema {O, {û, û⊥ }}, por lo que
−4 4 3
tan(2θ) = = − ⇒ cos(2θ) = −
4−1 3 5
entonces
r
1 + (−3/5) 1
cos(θ) = ± = ±√ ,
2 5
r
1 − (−3/5) 2
sen(θ) = ± = ±√ .
2 5
entonces nuestro vector es
1 2 2 1
û = √ î + √ ĵ y û⊥ = − √ î + √ ĵ.
5 5 5 5
y nuestras ecuaciones son
1 2 2 1
x = √ x0 − √ y 0 y = √ x0 + √ y 0
5 5 5 5
sustituimos y llegamos a que √ √
5y 02 − 6 5x0 − 2 5y 0 + 7 = 0
5
Observar que para que nuestra parábola se encuentre en nuestro sistema óptimo, necesariamente 2D0 /C 0 < 0

6
La ecuación anterior puede ser escrita ası́:
√ ! √ !
5 √ 5
5 y0 − 2 − 6 5 x0 − .
5 5

Ahora resulta evidente, que es necesaria una traslación del sistema, esto es pasar al sistema {V0 , {û, û⊥ }},
entonces las coordenads se transforman según las formulas
√ √
0 00 5 0 00 5
x =x + , y =y + ,
5 5
y la ecuación toma la forma canónica √
00 6 5 00
y = x
5
√ √ 
⊥ 5
donde en el sistema {O, {û, û }} las coordenadas del vértice son 5
, 55 , mientras que para el
sistema {O, {î, ĵ}}, el vértice es −1 3


5 5
, .

Podemos también saber si la cónica es degenerada o no, para esto hay que ver la ecuación (3), en
especial ver a F 0 , esta la podemos reescribir como:

F 0 = (Ah + Bk + D)h + (Bh + Ck + E)k + (Dh + Ek + F ) = Dh + Ek + F, (31)

Si aplicamos (6) vemos que

     
 B D
+E D A 
   A B 
D  +F  
C E   E B   B C 
F0 = 
 A
 (32)
 B 
 B C 

El numerador puede ser escrito en forma de determinante de tercer orden y se le designa el sı́mbolo
de ∆  
       A B D 
 B D 
+E D A +F  A B = B C
    
∆ = D  E  (33)
C E   E B   B C  
D E F 
Donde para este ∆ hay dos casos.
(
6= 0 La cónica es no degenerada
∆= (34)
= 0 La cónica es degenerada

7
Se anexa una tabla donde se ven las diferencias.

Figura 1: