Solucin analtica de una ecuacin de tercer grado

La solucin consiste bsicamente en reducir mediante transformaciones la

ecuacin de tercer grado a una de segundo grado, cuya solucin es
ampliamente conocida.

ax 3 bx 2 cx d 0
1. Dividir para a:

d
b 2 c
x x 0
a
a
a

x3

a0

a0

donde
(si
se tendra en
ecuacin cuadrtica)

una

Se puede rescribir la ecuacin para simplificarla:

x mx nx k 0
3

donde

b
c
;n
a
a

k
y

d
a

Nota 1: Este paso se puede omitir, nada ms tiene el objetivo de simplificar los
siguientes pasos. Si a=1 no tiene sentido realizar este paso.

x yh
2. Artificio:

y h 3 m y h 2 n y h k 0
Entonces se tiene

y 3 3 y 2 h 3 yh 2 h 3 my 2 2myh mh 2 ny nh k 0

y 3 3h m y 2 3h 2 2mh n y h 3 mh 2 nh k 0

* Para quien sepa derivar la ecuacin

se puede simplificar a:

 f h 2
y f h y f h 0
2

y3

donde

f h h 3 mh 2 nh k
3. Eliminar el trmino cuadrtico de la ecuacin

3h m 0

Si
se elimina el trmino cuadrtico, o sea
Reemplazando en
:

m
3

m2 2 2

m 3 m 3 nm
y 3
m n y

k 0
27
9
3
3 3

m2
y 3 n
3

2 3 nm
m
k 0
27
3

Simplificando la ecuacin, queda:

y 3 py q 0
donde

y z
4. Reemplazar en

z 3 p z q 0
3 z 3 3 2 z 3z 2 p z q 0

3 z 3 3z z p z q 0
3 z 3 3z p z q 0

m2
p n
3

q
y

2 3 nm
m
k
27
3

5. Hallar las soluciones de la ecuacin

La ecuacin

se hace cero si:

3 z 3 q

3z p

Se tiene entonces un sistema de dos ecuaciones y dos incgnitas.

Resolviendo el sistema de ecuaciones:

3 z 3 q

z 3
3 z 3 q

p3
3
z

27 3

p3
q
27 3

27 6 27 q 3 p 3 0

La ecuacin

3 t

se reduce a una ecuacin de segundo grado reemplazando

, entonces:

27t 2 27 qt p 3 0
p
t qt
3
2

 p
q q 4
3
t
2

Cuyas soluciones son

Se sabe que

3 t

q
q
p3
t

2
4
27
o

pero si al resolver el sistema de ecuaciones se hubiera

p3

27z 3
3

escogido reemplazar
de

t1 3
, entonces

la ecuacin

hubiera quedado en funcin

t2 z 3
y

q
q
p3

2
4
27

q
q
p3
z

2
4
27

o viceversa.
Nota 1: Al sumar las dos soluciones anteriores se cumple la ecuacin

3 z 3 q
Luego,
2

q
q
p3

2
4
27
3

q
q
p3
z

2
4
27
3

y z
6. Hallar
2

y1 3

6.1.

q
q
p3 3 q
q
p3

2
4
27
2
4
27

Si

q2 p3

0
4 27

entonces y1 es una solucin imaginaria.

1
1

2
3 2
3 2

q
q
p
q
q
p
y1 3

i 3
i
2 4
27
2 4
27

Osea,
3

i 3 i

Es decir, la raz y1 es de la forma

0
, siendo

. Esta ecuacin

i
se debe cambiar a la forma

r i r cos arg r i sen arg r

Sea

r 2 2
, donde

arg r tan 1

r r cos i sen

tan 1

Entonces segn la identidad de Euler:

rn r

cos n arg r i sen n arg nr

.

Regresando al problema se tendra que:

3

1
1
1
1




i 3 i 2 2 6 cos tan 1 i sen tan 1 cos tan 1 i sen tan 1




3
3
3
3

Se puede demostrar que el arco tangente es impar, que el coseno es par y el

seno es impar.

1
1
1
1




i 3 i 2 2 6 cos tan 1 i sen tan 1 cos tan 1 i sen tan 1




3
3
3
3

1
1
1
1




i 3 i 2 2 6 cos tan 1 i sen tan 1 cos tan 1 i sen tan 1




3
3
3
3

1
1


i 3 i 2 2 6 2 cos tan 1 i 2 sen tan 1


3
3

1

i 3 i 2 2 2 6 cos tan 1
3

1 1
tan

3

i sen

Con esto se obtiene una de las tres soluciones de la ecuacin

q2 q 2 p3 6
1

1
cos tan
y1 2

4
4
27

1
3 2

q
p

4
27
q
2

1
1
i sen tan
3

1
3 2

q
p

4
27
q
2

Sabiendo que y1 es una solucin entonces al realizar la divisin sinttica se

obtendr un residuo igual a cero. Con esto se encuentra el polinomio de
segundo grado que multiplica a (y-y1).

q
y1
y1 +py1+
q
3

y1

p+y12

Lo cual es equivalente a:

y1

P+y12

g y1 y1 p y1 q 0

g y y 3 py q

Ya que

y1

donde

y 3 py q
2
y 2 y1 y p y1
y y1

y 3 py q y 2 y1 y p y1
2

y y
1

y y1 y py y1 y y1 y y1 y py1 y1
3

y 3 py py1 y1

y 3 py q 0

y 2 i

y1 i
Si

entonces

y y1 y y2 0
y i y i 0
y 2 y yi y 2 i yi i 2 0
y 2 2y 2 2 0
Conocido de esta manera el polinomio de segundo grado mencionado,
entonces igualndolo a cero se obtienen las soluciones que faltan:

y 2 y1 y p y1 0
2

y2

y2

y1

y1 4 p y1
2

y1 i 4 p 3 y1

y2

3 2
y1 i
4

y3

y1

y3

y1 y1 4 p y1
2
y1 i 4 p 3 y1

y3

y1

3 2
y1 i
4

Si

3 2
y1 0
4
y1

y2

Si

las races y2, y3 son imaginarias y son iguales a

3 2
y1 0
4

y3

y1

y
3 2
y1 i y 3 1
4
2

3 2
y1 i
4

y2

y1
3 2
p y1
2
4

y2

y1
2

las races y2, y3 son reales y son iguales a

3 2
y1
4

Si

6.2.

Si

3 2
y1 0
4

las races y2, y3 son reales y son iguales a

q2 p3

0
4 27

entonces y1 es una solucin real.

2
q q
p3

y1 3

2 4
27

1
2

2
q q
p3

2 4
27

1
2

Osea,

y 3 py q y 2 y1 y p y1

y y
1

y 2 y1 y p y1 0
2

y2

y1

3 2
y1 i
4

y3

y1

3 2
y1 i
4

y3
,

y1
2

Si

3 2
y1 0
4
y1

y2

Si

las races y2, y3 son imaginarias y son iguales a

3 2
y1 0
4

y3

y1

y
3 2
y1 i y 3 1
4
2

3 2
y1 i
4

y2

y1
3 2
p y1
2
4

y2

y1
2

las races y2, y3 son reales y son iguales a

3 2
y1
4

Si

6.3.

Osea,

Si

3 2
y1 0
4

las races y2, y3 son reales y son iguales a

q2 p3

0
4 27

entonces y1 es una solucin real.

q
q
q
y1 3 3 2
2
2
2

y 3 py q y 2 y1 y p y1

1
3

y y
1

y 2 y1 y p y1 0
2

y2

y1

3 2
y1 i
4

y3

y1

3 2
y1 i
4

y3
,

y1
2

Si

3 2
y1 0
4
y1

y2

Si

y1

y
3 2
y1 i y 3 1
4
2

3 2
y1 0
4

y3

las races y2, y3 son imaginarias y son iguales a

3 2
y1 i
4

y2

y1
3 2
p y1
2
4

y2

y1
2

las races y2, y3 son reales y son iguales a

3 2
y1
4

Si

3 2
y1 0
4

las races y2, y3 son reales y son iguales a

y3
,

y1
2