Revista del Instituto de Matemática y Física Artículos
Sobre la ecuación cúbica
Juana Contreras S.♣
Claudio del Pino O.♦
Instituto de Matemática y Física
Universidad de Talca
La matemática es una travesía al interior de una extraña jungla
donde los exploradores se pierden con frecuencia.
W.S. Anglin
1) Antecedentes históricos:
En la comunidad matemática, se reconoce a los Babilonios (alrededor del siglo IV A.C.)
como los primeros en resolver la ecuación cuadrática, calcular raíces cúbicas y resolver
algunas ecuaciones cúbicas, aunque ellos no tenían la actual noción de ecuación. El método
que usaban era esencialmente el de completación de cuadrados. Sin embargo todos los
problemas de los Babilonios tenían respuestas que eran cantidades positivas (más
precisamente, sin signo), puesto que usualmente correspondían a longitudes.
Alrededor del siglo 300 A.C., Euclides desarrolló una
aproximación geométrica para resolver ecuaciones cúbicas, en la cual
su intención era encontrar una longitud, que en nuestra notación
correspondía a encontrar una raíz de la ecuación. Posteriormente los
matemáticos usaron este método para resolver ecuaciones
cuadráticas. Euclides no tenía la noción de ecuación.
Euclides Los matemáticos Hindúes adoptaron los métodos babilónicos.
Así es como Brahmagupta (India; 598-665 D. de C.) dio un método,
prácticamente moderno para resolver ecuaciones cuadráticas, que ad-
mitía cantidades negativas y asignaba letras a las diferentes incógnitas que usaba.
♣
e-mail: [email protected]
♦
e-mail: [email protected]
13
Revista del Instituto de Matemática y Física Artículos
Los árabes por su parte, no conocieron los avances de los Hindúes, por lo que ellos no
usaban cantidades negativas ni abreviaciones para sus incógnitas. Sin embargo, al'Khwarizmi
(Bagdad; 790-840 D. de C.) dio una clasificación de diferentes tipos de cuadráticas. Este
matemático entregó una regla para resolver cada uno de sus tipos de ecuaciones,
esencialmente la familiar fórmula para resolver ecuaciones cuadráticas.
Aproximadamente en el año 1100, finalmente el matemático judío-español Savasorna
(1070-1136), en su libro Tratado sobre las medidas y los cálculos dio la solución completa de
la ecuación cuadrática.
En el año 1074 el matemático y poeta persa Omar Kayyam (1048-
1131) publica en su libro Álgebra, la resolución geométrica de
diversos♣ tipos de ecuaciones cúbicas. Alguna de ellas son:
x 3 = c,
x 3 + bx = c,
x 3 + c = bx,
Kayyam x 3 + ax 2 = c, etc.
Para ilustrar la estrategia seguida por Omar Kayyam para resolver ecuaciones cúbicas
geométricamente, se comenta (usando lenguaje moderno) el método usado para resolver la
ecuación x 3 + bx = c.
► Construyamos en un plano coordenado la parábola
x2 = b ⋅ y (7)
c
. Sea P = ( x, y )
y la circunferencia que pase por el origen, centro en el eje X y diámetro h =
b
el punto ubicado en el primer cuadrante donde ambas curvas se intersectan (ver figura 1). En
y h−x
la figura 1, se tiene que ΔOPR ≈ ΔPQR . Luego, = . De donde,
x y
y 2 = xh − x 2 (8)
♣
Kayyam considera varios tipos, pues él solamente trabajaba con números (magnitudes) positivos.
14
Revista del Instituto de Matemática y Física Artículos
Figura 1
Ahora bien, elevando al cuadrado la relación (7) y sustituyendo en ella la relación (8), se
obtiene:
x 3 + bx = c.
Por lo tanto, la longitud del segmento OR es una solución real de la ecuación cúbica en
estudio.W
Con respecto a la solución algebraica de la ecuación cúbica
general, en ella trabajaron varios matemáticos. Pero, es al
matemático italiano Nicolo Fontana de Brescia, más conocido
como Tartaglia (Italiano; 1499-1557) a quien se le atribuye tal
logro en el año 1526, aunque tal solución fue publicada en año
1545 por el matemático Cardano (Italiano; 1501-1576) en su
libro Ars Magna. En este mismo libro se incorpora la resolución
de ecuaciones de grado 4, desarrollada por Ludovico de Ferrari
(Italia; 1522-1565), alumno de Cardano.
Tartaglia
Posterior al logro de Tartaglia, varios matemáticos
desarrollaron métodos algebraicos diferentes para resolver una
euación cúbica: Francois Viete (Francés; 1540-1603), Tomas
Harriot (Inglés; 1560-1621), etc.
15
Revista del Instituto de Matemática y Física Artículos
Las soluciones encontradas para las ecuaciones de grado 2, 3 y
4, tenían la particularidad que ellas eran expresadas en término de
expresiones algebraicas, es decir, expresiones que solo involucraban
las cuatro operaciones básicas y raíces.
Durante mucho tiempo, más de 300 años, los matemáticos
intentaron, sin éxito, encontrar soluciones análogas para las
ecuaciones de grado 5. Finalmente, el año 1830, dos jóvenes
matemáticos, Evaristo Galois (Francés; 1811-1832) y Niels Abel
(Noruega; 1802-1829), probaron independiente uno del otro, que no
Galois
es posible resolver ecuaciones de grado 5 o mayor usando
expresiones algebraicas.
2) Resolución algebraica de la ecuación cúbica general
En este artículo se trabaja la ecuación cúbica general con coeficientes reales:
a1 x 3 + a 2 x 2 + a3 x + a 4 = 0 , con a1 ≠ 0 . (1)
Algunos resultados generales sobre (1) son:
Tiene tres raíces (contando multiplicidades).
Al menos una de las raíces es real.
Es claro que la ecuación (1) es equivalente a una del tipo:
x 3 + bx 2 + cx + d = 0 (2)
La ecuación (2) se puede transformar, por medio de un cambio de variable del tipo x = y + r ,
(para algún r) en una ecuación cúbica reducida (sin término cuadrático) del tipo:
y 3 + py + q = 0 (3)
En efecto:
Reemplazando x = y + r en la ecuación (2), se tiene:
( y + r ) 3 + b( y + r ) 2 + c( y + r ) + d = 0
Desarrollando y agrupando:
y 3 + (3r + b) y 2 + (3r 2 + 2rb + c) y + (r 3 + r 2 b + rc + d ) = 0
16
Revista del Instituto de Matemática y Física Artículos
Considerar r = −b / 3 .
Así, el cambio de variable x = y − b / 3 , transforma la ecuación (2) en una del tipo (3).
b2 2b 3 bc
donde p = c − y q= + + d.
3 27 3
Por lo tanto, la resolución de la ecuación cúbica general (1) se reduce a resolver la ecuación
reducida (3).
A continuación se expone el método con el cual Cardano resolvió la ecuación cúbica reducida
(3).
► La idea clave del procedimiento es suponer que la solución buscada se puede descomponer
de la forma
y = A+ B
elevando al cubo, se obtiene:
y 3 = A 3 + B 3 + 3 AB ( A + B )
relación que se puede escribir como:
y 3 − 3 ABy − ( A 3 + B 3 ) = 0
Comparando los coeficientes de esta ecuación con los coeficientes de la ecuación (3), se
obtiene el siguiente sistema:
3 AB = − p
(4)
A3 + B 3 = −q
De donde
p3
A3 B 3 = −
27 (5)
A3 + B 3 = − q
Luego, A3 y B 3 son las raíces de la ecuación cuadrática1, llamada resolvente de la
ecuación (3):
p3
x 2 + qx − =0
27
Por lo tanto:
1
Recordar que: x’ y x’’ son las raíces de x 2 + bx + c = 0 siempre y cuando x '+ x ' ' = −b y x ' x ' ' = c
17
Revista del Instituto de Matemática y Física Artículos
q q2 p3
A3 = − + + =e
2 4 27
q q2 p3
B3 = − − + = f
2 4 27
Extrayendo raíz cúbica se obtienen 3 valores para A y 3 valores para B, y recordando que
y=A+B, se obtienen 9 pares de soluciones de (5), pero no todos ellos satisfacen (4) debido
a que la elevación al cubo (al pasar de (4) a (5)) ha introducido soluciones extrañas. Por lo
tanto, de los 9 pares de valores soluciones, sólo se deben elegir los que cumplen la
p
condición AB = − . Con esta restricción, se tiene que las 3 raíces de la ecuación cúbica
3
reducida (3) vienen expresadas por la formula general atribuida a Scipione del Fiore:
q q2 p3 3 q q2 p3
y= − +
3 + + − − + W
2 4 27 2 4 27
q 2 p3
A continuación se estudian las raíces de (3) en función de los signos de Δ = + .
4 27
Δ recibe el nombre de discriminante de la ecuación cúbica reducida (3).
Caso 1: Δ > 0 .
En este caso e y f son reales. Sean α y β las raíces cúbicas reales de e y f respectivamente.
Luego, los valores de A son: α , αω , αω 2 y los valores de B son: β , βω , βω 2 , donde
1 3 p
ω=− + i (una raíz cúbica de la unidad). Recordando que y = A + B y que AB = −
2 2 3
debe ser real, se obtiene que las tres soluciones de (3) son:
y1 = α + β
y 2 = αω + βω 2
y 3 = αω 2 + βω
Caso 2: Δ = 0 .
En este caso A = B y las 3 raíces de (3) son reales y vienen dadas por:
y1 = 2α
y 2 = y 3 = α (ω + ω 2 ) = −α
18
Revista del Instituto de Matemática y Física Artículos
Caso 3: Δ < 0 .
En este caso2 e y f son complejos conjugados
q q 2 p3
− ±i − − = r (cos t ± i sin t )
2 4 27
de donde
p3 q
r= − y cos t = −
27 2r
Luego, los valores de A y B son, respectivamente:
3 r ⎛⎜ cos⎛ t ⎞ + i sin ⎛ t ⎞ ⎞⎟, 3 r ⎛⎜ cos⎛ t + 2π ⎞ + i sin ⎛ t + 2π ⎞ ⎞⎟, 3 r ⎛⎜ cos⎛ t + 4π ⎞ + i sin ⎛ t + 4π ⎞ ⎞⎟
⎜ ⎜ ⎟ ⎜ ⎟⎟ ⎜ ⎜ ⎟ ⎜ ⎟⎟ ⎜ ⎜ ⎟ ⎜ ⎟⎟
⎝ ⎝3⎠ ⎝ 3 ⎠⎠ ⎝ ⎝ 3 ⎠ ⎝ 3 ⎠⎠ ⎝ ⎝ 3 ⎠ ⎝ 3 ⎠⎠
y
3 r ⎛⎜ cos⎛ t ⎞ − i sin ⎛ t ⎞ ⎞⎟, 3 r ⎛⎜ cos⎛ t + 2π ⎞ − i sin ⎛ t + 2π ⎞ ⎞⎟, 3 r ⎛⎜ cos⎛ t + 4π ⎞ − i sin ⎛ t + 4π ⎞ ⎞⎟
⎜ ⎜ ⎟ ⎜ ⎟⎟ ⎜ ⎜ ⎟ ⎜ ⎟⎟ ⎜ ⎜ ⎟ ⎜ ⎟⎟
⎝ ⎝3⎠ ⎝ 3 ⎠⎠ ⎝ ⎝ 3 ⎠ ⎝ 3 ⎠⎠ ⎝ ⎝ 3 ⎠ ⎝ 3 ⎠⎠
Teniendo en cuenta la misma observación del caso 1, se tiene que:
⎛t⎞
y1 = 2 3 r cos⎜ ⎟
⎝3⎠
⎛ t + 2π ⎞
y 2 = 2 3 r cos⎜ ⎟
⎝ 3 ⎠
⎛ t + 4π ⎞
y 3 = 2 3 r cos⎜ ⎟
⎝ 3 ⎠
En resumen, la ecuación cúbica reducida (3):
Caso 1: Si Δ > 0, tiene 1 raíz real y dos complejas (conjugadas).
Caso 2: Si Δ = 0, tiene 3 raíces reales (2 o 3 iguales).
Caso 3: Si Δ < 0, tiene 3 raíces reales y distintas.
Finalmente, una vez encontradas las raíces de la ecuación (3), las ecuaciones de (2) se
p
obtienen recordando que x = y − .
3
2
Este caso recibe el nombre de irreducible, pués el cálculo de las tres raíces se obtiene trabajando
trigonométricamente. Como es de suponer, este caso no pudo ser abordado por los descubridores del método para
resolver la cúbica, pués en ese tiempo aún no se conocían los números complejos ni las funciones trigonométricas.
19
Revista del Instituto de Matemática y Física Artículos
La visualización gráfica de la función polinomial x 3 + px + q , en términos del
discriminante Δ es:
y y y
10
5 5
0 x 0 x
x -4 -2 0 2 4 -4 -2 0 2 4
0
-4 -2 0 2 4
-5 -5
Δ>0 Δ=0 Δ<0
Ejemplo 1: Resolver la ecuación x 3 − 9 x 2 − 9 x − 15 = 0 (*)
b ⎛−9⎞
Paso 1: Hacer cambio de variable: x = y − = y −⎜ ⎟ = y+3
3 ⎝ 3 ⎠
Se obtiene la ecuación cúbica reducida: y 3 − 36 y − 96 = 0 (**)
Luego, p = −36 y q = −96
Paso 2: Calcular el discriminante de la ecuación (**):
q2 p3
Δ= + = 576. Luego, estamos en caso 1: una raíz real y dos complejas
4 27
conjugadas.
Paso 3: Cálculo de las raíces de la ecuación cúbica reducida (**).
q q 2 p3 3 3 q q 2 p3 3
α =3− + + 3
= 72 = 2 9 ; β = − − + = 24 = 23 3
2 4 27 2 4 27
Luego, las raíces de (**) son:
y1 = α + β = 23 9 + 23 3 ≈ 7.044666786
y 2 = αω + βω 2 = 23 9ω + 23 3ω 2 ≈ -3.522333393 + 1.104761332·i
y3 = αω + βω 2 = 23 9ω 2 + 23 3ω ≈ -3.522333393 - 1.104761332·i
Paso 4: Calculo de las raíces de (*).
x1 = y1 + 3 = 23 9 + 23 3 + 3 ≈ 7.044666786 + 3 = 10.044666786
x 2 = y 2 + 3 = 23 9ω + 23 3ω 2 + 3 ≈ -0.522333393 + 1.104761332·i
x3 = y3 + 3 = 23 9ω 2 + 23 3ω + 3 ≈ -0.522333393 - 1.104761332·i
20
Revista del Instituto de Matemática y Física Artículos
91 703
Ejemplo 2: Resolver la ecuación x 3 + 10 x 2 + x + =0 (y)
3 27
b 10
Paso 1: Hacer cambio de variable: x = y − = y−
3 3
Se obtiene la ecuación cúbica reducida: y 3 − 3 y − 1 = 0 (yy)
Luego, p = −3 y q = −1
Paso 2: Calcular el discriminante de la ecuación (yy):
q 2 p3 3
Δ= + = − . Luego, estamos en caso 3: tres raíces reales y distintas.
4 27 4
Paso 3: Cálculo de las raíces de la ecuación cúbica reducida (yy).
p3 q 1 π
r= − = 1 = 1, cos t = − = de donde t =
27 2r 2 3
Luego, las raíces de (yy) son:
⎛t⎞ ⎛π ⎞
y1 = 23 r cos⎜ ⎟ = 2 cos⎜ ⎟ ≈ 1.879385241
⎝3⎠ ⎝9⎠
⎛ t + 2π ⎞ ⎛ π 2π ⎞
y 2 = 23 r cos⎜ ⎟ = 2 cos⎜ + ⎟ ≈ −1.532088886
⎝ 3 ⎠ ⎝9 3 ⎠
⎛ t + 4π ⎞ ⎛ π 4π ⎞
y3 = 23 r cos⎜ ⎟ = 2 cos⎜ + ⎟ ≈ −0.3472963553
⎝ 3 ⎠ ⎝9 3 ⎠
Paso 4: Calculo de las raíces de (*).
10 ⎛ π ⎞ 10
x1 = y1 − = 2 cos⎜ ⎟ − − ≈ −1.453948091
3 ⎝9⎠ 3
10 ⎛ π 2π ⎞ 10
x2 = y2 − = 2 cos⎜ + ⎟− ≈ −4.865422219
3 ⎝9 3 ⎠ 3
10 ⎛ π 4π ⎞ 10
x3 = y3 − = 2 cos⎜ + ⎟− ≈ −3.680629688
3 ⎝9 3 ⎠ 3
21
Revista del Instituto de Matemática y Física Artículos
Resolución de la ecuación cúbica reducida por medio del cambio de variable de Harriot.
Tal como se comentó, luego de ser difundido el método de Tartaglia para resolver ecuaciones
cúbicas, diferentes matemáticos desarrollaron métodos alternativos con el mismo fin. Uno de
ellos fue el matemático Harriot, cuyo método se comenta a continuación:
►Retomando la ecuación (3): y 3 + px + q = 0
Se incorpora en (3) el cambio de Harriot:
k
x=z+ , (6)
z
donde k es una constante a determinar, se obtiene:
3
⎛ k⎞ ⎛ k⎞
⎜ z + ⎟ + p⎜ z + ⎟ + q = 0
⎝ z⎠ ⎝ z⎠
Desarrollando y luego multiplicando por z 3 se tiene:
z 6 + (3k + p )z 4 + qz 3 + (3k + p )kz 2 + k 3 = 0
p
Eligiendo k de modo que 3k + p = 0 , es decir k = − , se tiene que la ecuación precedente se
3
transforma en:
p3
z 6 + qz 3 − =0
27
Ecuación cuadrática en z 3 . Luego, se puede encontrar z y luego usando (6) se encuentran las
raíces de (3). W
Anexo 1:
De las disputas asociadas a la resolución de la ecuación cúbica.
Scipione del Ferro, profesor de la Universidad de Bolonia, descubrió, hacia 1505, la
fórmula que aún hoy se emplea para solucionar una ecuación de tercer grado, pero no
comunicó a nadie su descubrimiento, sin duda para usarlo en las disputas públicas y así ganar
fama. Sólo en su lecho de muerte informa de su fórmula a su yerno Annibale della Nave y a su
alumno Antonio María del Fiore.
Tentado por la fórmula mágica, Del Fiore reta a Tartaglia, reputado matemático
veneciano, a una disputa pública en la que cada uno debe solucionar los problemas que le
propone el otro. Del Fiore, conocedor del valor de su fórmula, propone a Tartaglia problemas
que sólo se pueden resolver con una ecuación de tercer grado. Tartaglia la encuentra el 12 de
febrero de 1535, y derrota públicamente a Del Fiore.
22
Revista del Instituto de Matemática y Física Artículos
Cardano, famosísimo matemático y doctor del norte de Italia, al saber que Tartaglia ha
descubierto la fórmula, le pide que se la cuente en un encuentro, el 25 de marzo de 1539.
Cardano, en un solemne juramento, se compromete a no hacer públicos sus descubrimientos,
con lo que Tartaglia accede, comunicándole su método operativo en un poema. Estaba
presente también el joven de 17 años, Ludovico Ferrari, ayudante de Cardano, nuestro sexto
protagonista.
Tartaglia, muy ofendido, escribe en 1546 Questi et inmventioni diverse, en la que relata su
versión de los hechos y reproduce su correspondencia con Cardano, dando comienzo un tenaz
intercambio de cartas y carteles públicos entre Tartaglia y ¡Ferrari!, que salió en defensa de su
maestro Cardano, quien se mantuvo al margen de esta polémica. La historia termina el 10 de
agosto de 1548 como comenzó: en una disputa pública en Milán entre un tartamudo y cansado
Tartaglia y Ferrari, un joven elocuente y brillante matemático que además jugaba en casa. La
disputa no acabó. Tartaglia abandonó humillado, perdiendo bastante de su fama. Cardano no
asistió.
Cardano y Ferrari estudiaron la fórmula pero la mantuvieron en secreto. En 1542, casi en
actitud detectivesca, deciden visitar a Annibale della Nave y, revisando los papeles de Del
Ferro, encuentran ¡la fórmula que Tartaglia había descubierto! Cardano podría publicar en su
‘Ars Magna’ la importantísima fórmula sin faltar al juramento hecho a Tartaglia. Así lo hizo,
escribiendo
“[...] mi amigo Niccolo Tartaglia resolvió el mismo caso [...]
y movido por mis ruegos, me la confió a mí.”
En este libro también se entregaban métodos para resolver ecuaciones de grado cuatro,
quedando pendiente solamente algunos detalles técnicos (esencialmente raíces cuadradas de
números negativos).
Bibliografía
[1] Brain, L., Poesía, álgebra y espionaje. www.lolitabrain.com
[2] Espinoza, E., Gonzalo. Algebra, Editorial Servicios gráficos J.J., 2003.
[3] Rey Pastor, J., Pi Calleja, P., Trejo, C., Análisis Matemático, Volumen 1, Editorial
Kapeluz, 1963.
23
