Está en la página 1de 8

Ecuación de tercer grado

Ir a la navegaciónIr a la búsqueda

Gráfica de una función cúbica.


Una ecuación algebraica de tercer grado o ecuación cúbica con una incógnita es
aquella de grado tres1 que se puede poner bajo la forma canónica:

Ecuación de tercer grado

{\displaystyle ax^{3}+bx^{2}+cx+d=0\;,\quad a\neq 0}{\displaystyle


ax^{3}+bx^{2}+cx+d=0\;,\quad a\neq 0}

Donde a, b, c y d (con a ≠ 0) son números que pertenecen a un cuerpo, el cuerpo de


los números reales o el de los números complejos, aunque con frecuencia son números
racionales23.

Índice
1 Historia
2 Función cúbica
2.1 Ecuación cúbica
2.2 Discriminante
3 El caso real
3.1 Factorización
3.2 Forma reducida
3.3 Raíces reales de la ecuación cúbica
3.4 Raíces múltiples
4 El caso general
5 Fórmula de Cardano
6 Fórmula cúbica general
7 Soluciones trigonométricas e hiperbólicas
7.1 Solución trigonométrica para tres raíces reales
7.2 Solución hiperbólica para una raíz real
8 Soluciones geométricas
8.1 Solución de Omar Jayam
8.2 Solución con el ángulo trisector
9 Interpretación geométrica de las raíces
9.1 Tres raíces reales
9.2 Una sola raíz real
9.2.1 En el plano cartesiano
9.2.2 En el plano complejo
10 Grupo de Galois
11 Recopilación de métodos para la obtención de las raíces
11.1 Método de Cardano
11.1.1 Estrategia general del método
11.2 Sustitución de Viète
11.3 Método de Lagrange
11.3.1 Cálculo de P y S
12 Ejemplos
12.1 Ejemplo 1
12.2 Ejemplo 2
12.3 Ejemplo 3: Hoja de cálculo
13 Aplicaciones
13.1 En matemática
13.2 En otras ciencias
14 Véase también
15 Referencias
16 Enlaces externos
Historia
Las ecuaciones cúbicas eran conocidas por los antiguos babilonios, griegos, chinos,
indios y egipcios.456 Se han encontrado tabletas cuneiformes con tablas para
calcular cubos y raíces cúbicas, datadas en el imperio babilónico (siglos XX a XVI
a.C.).78 Los babilonios podrían haber usado las tablas para resolver ecuaciones
cúbicas, pero no existe evidencia para confirmar que lo hicieran realmente.9 El
problema de la duplicación del cubo involucra la ecuación cúbica más simple y más
antigua estudiada, para la que los antiguos egipcios no creían que existiera una
solución.10 En el siglo V a.C., Hipócrates redujo este problema al de encontrar dos
medias proporcionales entre un segmento y otro de dos veces su longitud, pero no lo
pudo resolver solo con regla y compás,11 una tarea que, ahora se sabe, es
imposible.

Métodos para resolver ecuaciones cúbicas aparecen en el Jiuzhang Suanshu, un texto


matemático chino compilado alrededor del siglo II a. C., comentado por Liu Hui en
el siglo III.5 En el siglo III, el matemático griego Diofanto de Alejandría
encontró soluciones enteras o racionales para algunas ecuaciones de tercer grado y
dos variables (ecuaciones diofánticas cúbicas).612 Hipócrates de Quíos, Menecmo y
Arquímedes se acercaron a resolver el problema de duplicar el cubo usando
intersección de curvas cónicas,11 aunque historiadores como Reviel Netz discuten si
los griegos abordaran las ecuaciones cúbicas generales, o si solo consideraban
problemas concretos. Algunos otros, como T. L. Heath, que tradujo todos los
trabajos de Arquímedes, no están de acuerdo y presentan evidencias de que
Arquímedes realmente resolvió ecuaciones cúbicas usando intersecciones de dos
cónicas, y que también discutió las condiciones en las que las raíces son 0, 1 o
2.13

Gráfica de la función cúbica f(x) = 2x3 − 3x2 − 3x + 2 = (x + 1) (2x − 1) (x − 2)


En el siglo VII, el astrónomo y matemático de la dinastía Tang, Wang Xiaotong, en
su tratado matemático titulado Jigu Suanjing, estableció y resolvió numéricamente
de forma sistemática 25 ecuaciones cúbicas de la forma x3 + px2 + qx = N, 23 de
ellas con p, q ≠ 0 y dos de ellas con q = 0.14...

En el siglo XI, el poeta-matemático persa, Omar Jayam (1048-1131), realizó un


progreso significativo en la teoría de las ecuaciones cúbicas. En un texto antiguo,
descubrió que una ecuación cúbica puede tener más de una solución y declaró que no
se puede resolver utilizando solo la regla y el compás. También encontró una
solución geométrica.1516 En su trabajo posterior, el "Tratado sobre la demostración
de problemas de álgebra", escribió una clasificación completa de ecuaciones cúbicas
con soluciones geométricas generales encontradas mediante la intersección de
secciones cónicas.1718

En el siglo XII, el matemático indio Bhaskara II intentó hallar la solución general


de ecuaciones cúbicas sin éxito. Sin embargo, dio un ejemplo de una ecuación
cúbica: x3 + 12x = 6x2 + 35.19 En el siglo XII, otro matemático persa, Sharaf al-
Din al-Tusi (1135–1213), escribió el Al-Muʿādalāt (Tratado sobre ecuaciones), en el
que describió ocho tipos de ecuaciones cúbicas con soluciones positivas y cinco
tipos de ecuaciones cúbicas que pueden no tener soluciones positivas. Utilizó lo
que luego se conocería como el "método de Ruffini-Horner" para aproximar
numéricamente las raíces de una ecuación cúbica. También utilizó los conceptos de
extremos de una función para resolver ecuaciones cúbicas que pueden no tener
soluciones positivas,20 y entendió la importancia del discriminante de la ecuación
cúbica para encontrar soluciones algebraicas para ciertos tipos de ecuaciones
cúbicas.21

En su libro "Flos", Leonardo de Pisa, también conocido como Fibonacci (1170–1250),


pudo aproximar la solución positiva de la ecuación cúbica x3 + 2x2 + 10x = 20.
Escribiendo en numeración sexagesimal dio el resultado como 1,22,7,42,33,4,40
(equivalente a 1 + 22/60 + 7/602 + 42/603 + 33/604 + 4/605 + 40/606), que tiene un
error de aproximación del orden de 10−9.22

A principios del siglo XVI, el matemático italiano Scipione del Ferro (1465-1526)
encontró un método para resolver una clase de ecuaciones cúbicas, a saber, las de
la forma x3 + mx = n. De hecho, todas las ecuaciones cúbicas se pueden reducir a
esta forma si se permite que m y n sean negativas, pero por entonces se desconocían
los números negativos. Del Ferro mantuvo su logro en secreto hasta justo antes de
su muerte, cuando se lo reveló a su estudiante Antonio Maria Del Fiore.

Niccolò Fontana Tartaglia


En 1530, Niccolò Fontana Tartaglia (1500-1557) recibió dos problemas en ecuaciones
cúbicas remitidos por Zuanne da Coi y anunció que podía resolverlos. Pronto fue
desafiado por Antonio Fiore, lo que llevó a un famoso concurso disputado entre los
dos en 1535. Cada concursante tenía que aportar una cierta cantidad de dinero y
proponer una serie de problemas para que su rival los resolviera. Quien resolviera
más problemas en 30 días obtendría todo el dinero. Tartaglia recibió preguntas en
la forma x3 + mx = n, ecuaciones para las que había elaborado un método general.
Fiore recibió preguntas en la forma x3 + mx2 = n, que resultaron ser demasiado
difíciles de resolver para él, y Tartaglia ganó el concurso.

Posteriormente, Tartaglia fue persuadido por Gerolamo Cardano (1501–1576) para que
le revelara su método secreto de resolver ecuaciones cúbicas. En 1539, Tartaglia lo
hizo solo con la condición de que Cardano nunca lo revelara y de que si escribía un
libro sobre cúbicas, le daría tiempo a Tartaglia para publicar su descubrimiento.
Algunos años después, Cardano se enteró de la existencia del trabajo anterior de
Scipione del Ferro, y publicó el método de este último en su libro Ars Magna en
1545, lo que significaba que Cardano le concediera a Tartaglia seis años para
publicar sus resultados (con crédito otorgado a Tartaglia por una solución
independiente). La promesa de Cardano a Tartaglia decía que no publicaría el
trabajo de Tartaglia, pero Cardano defendió que estaba publicando el procedimiento
de Del Ferro, justificando así evitar cumplir su promesa. Sin embargo, Tartaglia
retó a Cardano a un concurso matemático, a lo que este se negó. El desafío fue
finalmente aceptado por el estudiante de Cardano Lodovico Ferrari (1522-1565).
Ferrari lo hizo mejor que Tartaglia en la competición, y Tartaglia perdió tanto su
prestigio como sus ingresos.23

Cardano notó que el método de Tartaglia a veces requería que extrajera la raíz
cuadrada de un número negativo. Incluso incluyó un cálculo con estos números
complejos en su Ars Magna, pero realmente no lo entendió. Rafael Bombelli estudió
este tema en detalle24 y por lo tanto, a menudo se le considera el descubridor de
los números complejos.

François Viète (1540–1603) obtuvo de forma independiente la solución trigonométrica


para la ecuación cúbica con tres raíces reales, y René Descartes (1596–1650) amplió
el trabajo de Viète.25

Función cúbica

Gráfico de la función cúbica y = 1/4·(x+4)·(x+1)·(x-2) en el plano cartesiano. Las


raíces son los lugares donde la curva cruza el eje x (y = 0), esto es: x1 = -4, x2
= -1 y x3 = 2.
La función cúbica es una función polinómica de tercer grado. Se escribe de la
siguiente manera:

{\displaystyle f(x)=ax^{3}+bx^{2}+cx+d\,}
f(x) =
ax^3 + bx^2 + cx + d \,
donde los coeficientes son números racionales y siempre a es distinto de 0.26
Tanto el dominio de definición como el conjunto imagen de estas funciones tienen
como elementos a los números reales.

La derivada de una función cúbica es una función cuadrática y su integral, una


función cuártica.

Ecuación cúbica
La ecuación cúbica es la ecuación que resulta de igualar a cero la función cúbica,
y tiene la forma canónica:

{\displaystyle ax^{3}+bx^{2}+cx+d=0\qquad (1)}


ax^3 + bx^2 + cx + d = 0
\qquad (1)
donde a, b, c y d (a ≠ 0) son números que pertenecen a un anillo (enteros) o campo,
usualmente el campo de los números reales o el de los números complejos.Las
soluciones están generalmente en un cuerpo que incluye al anillo de los
coeficientes. 27

Discriminante
Resulta importante y a la vez esencial obtener propiedades elementales de los
polinomios como herramientas de análisis en los resultados según los valores de sus
coeficientes. Cualquier ecuación cúbica (1) con coeficientes reales tiene al menos
una solución x sobre los números reales; esta es una consecuencia del teorema del
valor intermedio. Se pueden distinguir varios posibles casos, usando para ello el
discriminante,

{\displaystyle \Delta =18abcd-4b^{3}d+b^{2}c^{2}-4ac^{3}-27a^{2}d^{2}.\,} \Delta =


18abcd -4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2. \,
Los siguientes casos necesitan ser considerados: 28

Si {\displaystyle \Delta >0}\Delta > 0 , entonces la ecuación tiene tres raíces


reales distintas.
Si {\displaystyle \Delta =0}\Delta = 0 , entonces la ecuación tiene raíces
múltiples y todas sus raíces son reales (puede ser una raíz triple o una doble y
otra simple).
Si {\displaystyle \Delta <0}\Delta < 0 , entonces la ecuación tiene una raíz real y
dos raíces complejas -no reales- conjugadas.
El caso real
Las primeras ecuaciones de tercer grado que se intentaron resolver fueron con
coeficientes reales (de hecho: enteros). El cuerpo de los reales no es
algebraicamente cerrado, por lo tanto, el número de raíces reales no es siempre 3.
Las que faltan se encuentran en {\displaystyle \mathbb {C} }\mathbb{C}, extensión
algebraica cerrada de {\displaystyle \mathbb {R} }{\mathbb {R}}. La distinción
aparece cuando se calcula el discriminante de la ecuación. Se puede notar que
siempre hay por lo menos una solución real, independientemente de que el
discriminante {\displaystyle \Delta } \Delta sea mayor, menor o igual a cero. Es
debido a que las funciones polinomiales no constantes tienen límites infinitos en
{\displaystyle +\infty }+\infty y {\displaystyle -\infty }-\infty y las de grado
impar tienen límites de signos contrarios. Como son funciones continuas, tienen que
pasar por cero, por el teorema de los valores intermedios.

Dado que se sabe que al menos habrá una solución real, también es posible
resolverla aproximadamente con métodos numéricos, como por ejemplo el método de
Newton-Raphson.

Factorización
Si los coeficientes de una ecuación cúbica son números racionales, se puede obtener
una ecuación equivalente con coeficientes enteros, multiplicando todos los
coeficientes por un mínimo común múltiplo de sus denominadores. Tal ecuación

{\displaystyle ax^{3}+bx^{2}+cx+d=0,}{\displaystyle ax^{3}+bx^{2}+cx+d=0,}


con coeficientes enteros, se dice que es reducible si el polinomio del lado
izquierdo es el producto de polinomios de grados inferiores. Por el lema de Gauss,
si la ecuación es reducible, se puede suponer que los factores tienen coeficientes
enteros.

Encontrar las raíces de una ecuación cúbica reducible es más fácil que resolver el
caso general. De hecho, si la ecuación es reducible, uno de los factores debe tener
el grado uno y, por lo tanto, tener la forma

{\displaystyle qx-p}{\displaystyle qx-p}


con q y p siendo números coprimos. El teorema de la raíz racional permite encontrar
q y p examinando un número finito de casos (porque q debe ser un divisor de a y p
debe ser un divisor de d).

Por lo tanto, una raíz es {\displaystyle \textstyle x_{1}={\frac {p}{q}},}


{\displaystyle \textstyle x_{1}={\frac {p}{q}},} y las otras raíces son las raíces
del otro factor, que pueden encontrarse por división polinomial. Este otro factor
es

{\displaystyle {\frac {a}{q}}x^{2}+{\frac {bq+ap}{q^{2}}}x+{\frac


{cq^{2}+bpq+ap^{2}}{q^{3}}}}{\displaystyle {\frac {a}{q}}x^{2}+{\frac {bq+ap}
{q^{2}}}x+{\frac {cq^{2}+bpq+ap^{2}}{q^{3}}}}
(Los coeficientes parecen no ser enteros, pero deben ser enteros si p / q es una
raíz del polinomio).

Entonces, las otras raíces son las raíces de esta ecuación cuadrática y se pueden
encontrar usando la fórmula cuadrática.

Forma reducida
Los polinomios de la forma

{\displaystyle z^{3}+pz+q}{\displaystyle z^{3}+pz+q}


se dice que están reducidos. Son mucho más simples que las ecuaciones cúbicas
generales, pero son fundamentales, porque el estudio de cualquier cúbica puede
reducirse por un simple cambio de variable al de una cúbica reducida.

Sea

{\displaystyle ax^{3}+bx^{2}+cx+d=0}{\displaystyle ax^{3}+bx^{2}+cx+d=0}


una ecuación cúbica. El cambio de variable

{\displaystyle x=z-{\frac {b}{3a}}}{\displaystyle x=z-{\frac {b}{3a}}}


da como resultado una cúbica que no tiene término en z2. Después de dividir por a
se obtiene la ecuación cúbica reducida

{\displaystyle z^{3}+pz+q=0,}{\displaystyle z^{3}+pz+q=0,}


con

{\displaystyle {\begin{aligned}z=&x+{\frac {b}{3a}}\\p=&{\frac {3ac-b^{2}}


{3a^{2}}}\\q=&{\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}.\end{aligned}}}{\displaystyle
{\begin{aligned}z=&x+{\frac {b}{3a}}\\p=&{\frac {3ac-b^{2}}{3a^{2}}}\\q=&{\frac
{2b^{3}-9abc+27a^{2}d}{27a^{3}}}.\end{aligned}}}
Las raíces {\displaystyle x_{1},x_{2},x_{3}}{\displaystyle x_{1},x_{2},x_{3}} de la
ecuación original están relacionadas con las raíces {\displaystyle
z_{1},z_{2},z_{3}}{\displaystyle z_{1},z_{2},z_{3}} de la ecuación reducida por las
relaciones
{\displaystyle x_{k}=z_{k}-{\frac {b}{3a}},}{\displaystyle x_{k}=z_{k}-{\frac {b}
{3a}},}
para k = 1, 2, 3

Raíces reales de la ecuación cúbica


Partiendo de la ecuación canónica

{\displaystyle ax^{3}+bx^{2}+cx+d=0}ax^3 + bx^2 + cx + d = 0


dividiendo entre a y haciendo una transformación de Tschirnhaus (sustituyendo
{\displaystyle x=z-{\tfrac {b}{3a}}}x = z-\tfrac{b}{3a}) se elimina de la forma
normal el término cuadrático, y como ya se ha señalado, se obtiene la forma
reducida:

{\displaystyle z^{3}+pz+q=0,}z^3 +pz + q=0,


con lo cual,

{\displaystyle {\begin{aligned}p=&{\frac {3ac-b^{2}}{3a^{2}}}\\q=&{\frac {2b^{3}-


9abc+27a^{2}d}{27a^{3}}}.\end{aligned}}} \begin{align}
p=&\frac{3ac-b^2}{3a^2}\\
q=&\frac{2b^3-9abc+27a^2d}{27a^3}.
\end{align}
Se demuestra que el número de raíces reales depende del discriminante de la
ecuación auxiliar {\displaystyle \Delta =(-4p^{3}-27q^{2})\,}\Delta = (-4p^3 -
27q^2)\,.29 La ecuación cúbica incompleta {\displaystyle
z^{3}+pz+q=0\,}z^3+pz+q=0 \, posee tres raíces reales cuando el discriminante
{\displaystyle \Delta >0\,} \Delta>0 \,, pero donde {\displaystyle p<0\,}p<0 \, y
{\displaystyle q\,} q \, posee cualquier valor y signo. Tales raíces se calculan en
función de radianes utilizando la siguiente fórmula:

{\displaystyle z_{k+1}=\pm 2{\sqrt {-{\frac {p}{3}}}}\cos \left({\frac {\theta


+2k\pi }{3}}\right)}{\displaystyle z_{k+1}=\pm 2{\sqrt {-{\frac {p}{3}}}}\cos
\left({\frac {\theta +2k\pi }{3}}\right)} , para {\displaystyle k=0,1,2\,} k = 0,
1, 2 \,
donde el signo positivo se usa si {\displaystyle q\leq 0\,}q\leq0 \, y el signo
negativo se usa si {\displaystyle q>0\,} q>0 \,. Mientras que el argumento
{\displaystyle \theta \,}\theta\, está dado por la siguiente fórmula:

{\displaystyle \theta =\arccos {\left({\frac {3q}{2p}}{\sqrt {\frac {-3}


{p}}}\right)}}{\displaystyle \theta =\arccos {\left({\frac {3q}{2p}}{\sqrt {\frac
{-3}{p}}}\right)}}
De modo que si se quieren calcular las tres raíces de la ecuación cúbica completa
{\displaystyle ax^{3}+bx^{2}+cx+d=0\,}ax^3+bx^2+cx+d=0 \,, entonces se puede
obtenerlas fácilmente como

{\displaystyle x_{k}=z_{k}-{\frac {b}{3a}}}x_{k}=z_{k}-\frac{b}{3a} , para


{\displaystyle k=1,2,3\,}{\displaystyle k=1,2,3\,}
Raíces múltiples
En cualquier ecuación cúbica es posible que se presenten raíces múltiples, es
decir, raíces de multiplicidad dos y tres, esto es, que dos o tres de las raíces
sean iguales entre sí. Las raíces de multiplicidad unitaria ya fueron descritas
antes, ahora la raíz doble se puede presentar si y sólo si se cumple la condición
de que

{\displaystyle \Delta =0,p\not =0,q\not =0\,}\Delta=0, p\not=0, q\not=0 \,


y las raíces de la ecuación cúbica incompleta serán

{\displaystyle z_{1}=2u=2v=-2z_{2}=-2z_{3}\,}z_{1}=2u=2v=-2z_{2}=-2z_{3} \,
mientras que las raíces triples se presentan cuando se cumpla la condición de que
{\displaystyle \Delta =p=q=0\,}\Delta=p=q=0 \,
con lo que las raíces de la ecuación cúbica completa se calcularán fácilmente como

{\displaystyle x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}}\,}{\displaystyle


x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}}\,}.
El caso general
Sea {\displaystyle K\,}K \, un cuerpo conmutativo, donde se pueden extraer raíces,
propiedad que hará posible resolver la ecuación.

En un cuerpo algebraicamente cerrado se sabe que todo polinomio de tercer grado (o


ecuación cúbica) tiene tres raíces. Este es el caso, por ejemplo, del cuerpo de los
números complejos, según el Teorema Fundamental del Álgebra.

La solución de la ecuación algebraica cúbica fue dada por primera vez en el libro
Ars Magna (del latín, que significa 'Gran Arte' o 'Arte Magno') por el matemático
italiano Gerolamo Cardano (1501-1576) que publicó en el año de 1545, razón por la
cual se le da la denominación método de Cardano.

Fórmula de Cardano
Se le acredita a Gerolamo Cardano por el primer método para resolver ecuaciones
cúbicas. El método aplica para las ecuaciones cúbicas reducidas, pero, por lo
enseñado en la forma reducida, permite resolver todas las ecuaciones cúbicas.

El resultado original de Cardano es que, si

{\displaystyle z^{3}+pz+q=0}{\displaystyle z^{3}+pz+q=0}


es una ecuación cúbica tal que p y q son números reales tales que su discriminante
{\displaystyle {\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}{\displaystyle {\frac {q^{2}}
{4}}+{\frac {p^{3}}{27}}} sea positivo, entonces la ecuación tiene una única raíz
real

{\displaystyle z={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac


{p^{3}}{27}}}}}}+{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac
{p^{3}}{27}}}}}}}{\displaystyle z={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac
{q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}+{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {{\frac
{q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}},
donde para simplificar un poco la expresión, asignaremos cada raíz a dos variables
respectivamente:

{\displaystyle {\begin{cases}u={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}


{4}}+{\frac {p^{3}}{27}}}}}}\\v={\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}
{4}}+{\frac {p^{3}}{27}}}}}}\end{cases}}}{\displaystyle {\begin{cases}u={\sqrt[{3}]
{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}\\v={\sqrt[{3}]
{-{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}\end{cases}}},
de dicha acción obtenemos:

{\displaystyle z=u+v}{\displaystyle z=u+v}


mientras las otras dos raíces son complejas conjugadas en este caso. Se sabía que
las otras dos raíces son obtenidas al multiplicar cada una de las raíces cúbicas
por las raíces cúbicas primitivas de la unidad, es decir, obtenemos una raíz
compleja multiplicando una raíz cúbica por {\displaystyle -{\frac {1}{2}}+{\frac
{\sqrt {3}}{2}}i}{\displaystyle -{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i} y la otra
por {\displaystyle -{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}i}{\displaystyle -{\frac
{1}{2}}-{\frac {\sqrt {3}}{2}}i}, mientras que obtenemos la otra multiplicando cada
raíz cúbica por los conjugados de dichas raíces primitivas respectivamente.
Entonces obtenemos las tres raíces resultantes:

{\displaystyle {\begin{cases}z_{1}=u+v\\z_{2}=\left[-{\frac {1}{2}}(u+v)\right]


+\left[{\frac {\sqrt {3}}{2}}(u-v)\right]i\\z_{3}=\left[-{\frac {1}{2}}
(u+v)\right]-\left[{\frac {\sqrt {3}}{2}}(u-v)\right]i\end{cases}}}{\displaystyle
{\begin{cases}z_{1}=u+v\\z_{2}=\left[-{\frac {1}{2}}(u+v)\right]+\left[{\frac
{\sqrt {3}}{2}}(u-v)\right]i\\z_{3}=\left[-{\frac {1}{2}}(u+v)\right]-\left[{\frac
{\sqrt {3}}{2}}(u-v)\right]i\end{cases}}},
Si {\displaystyle {\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}{\displaystyle {\frac
{q^{2}}{4}}+{\frac {p^{3}}{27}}} es negativo, hay tres raíces reales, pero la
teoría de Galois permite demostrar que éstas no pueden ser expresadas
algebraicamente involucrando números reales, por lo que la ecuación no puede ser
resuelta en este caso con el conocimiento de la época de Cardano. Este caso se ha
llamado así "casus irreduciblis", significando "caso irreducible" en latín.

En el "casus irreduciblis", aunque el método de Cardano aún puede ser utilizado,


algo de cuidado es necesario en el uso de raíces cúbicas. Una primera alternativa
es definir los símbolos {\displaystyle {\sqrt {{~}^{~}}}}{\displaystyle {\sqrt
{{~}^{~}}}} y {\displaystyle {\sqrt[{3}]{{~}^{~}}}}{\displaystyle {\sqrt[{3}]
{{~}^{~}}}} como representar el valor principal de la función raíz (que es la raíz
que representa la parte real más larga). Con este convenio, el método de Cardano
para las tres raíces reales permanece válido, pero no es puramente algebraico, dado
que la definición de una parte principal no es puramente algebraica, desde que
involucra desigualdades para comparar partes reales. También, el uso de la raíz
cúbica principal puede dar un resultado erróneo si los coeficientes son números
complejos. Además, si los coeficientes pertenecen a otro campo, la raíz cúbica
principal no está definida en general.

La segunda manera para hacer que el método de Cardano sea siempre correcto es
volver a expresar que el producto de dos raíces cúbicas debe ser {\displaystyle -
{\frac {p}{3}}}{\displaystyle -{\frac {p}{3}}}. Resulta que una raíz de la ecuación
es:

{\displaystyle z=u-{\frac {p}{3u}}}{\displaystyle z=u-{\frac {p}{3u}}}

También podría gustarte