Articulo de referencia

Ecuación cúbica

Gráfica de una función cúbica con 3 raíces reales (donde la curva cruza el eje horizontal en y = 0 ). El caso mostrado tiene dos puntos críticos . Aquí la función es F ( incógni...

Gráfica de una función cúbica con 3 raíces reales (donde la curva cruza el eje horizontal en y = 0 ). El caso mostrado tiene dos puntos críticos . Aquí la función esF(incógnita)=14(incógnita3+3incógnita26incógnita8)=14(incógnita2)(incógnita+1)(incógnita+4){\displaystyle {\begin{aligned}f(x)&={\frac {1}{4}}\left(x^{3}+3x^{2}-6x-8\right)\\&={\frac {1}{4}}(x-2)(x+1)(x+4)\end{aligned}}} y por lo tanto las tres raíces reales son 2, −1 y −4.

En álgebra , una ecuación cúbica en una variable es una ecuación de la forma aincógnita3+bincógnita2+doincógnita+d=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} en el que a no es cero.

Las soluciones de esta ecuación se denominan raíces de la función cúbica definida por el lado izquierdo de la ecuación. Si todos los coeficientes a , b , c y d de la ecuación cúbica son números reales , entonces tiene al menos una raíz real (esto se cumple para todas las funciones polinómicas de grado impar ). Todas las raíces de la ecuación cúbica se pueden encontrar mediante los siguientes métodos:

Los coeficientes no tienen por qué ser números reales. Gran parte de lo que se explica a continuación es válido para coeficientes en cualquier campo con característica distinta de 2 y 3. Las soluciones de la ecuación cúbica no necesariamente pertenecen al mismo campo que los coeficientes. Por ejemplo, algunas ecuaciones cúbicas con coeficientes racionales tienen raíces que son números complejos irracionales (e incluso no reales) .

Historia

Las ecuaciones cúbicas eran conocidas por los antiguos babilonios, griegos, chinos, indios y egipcios. [ 1 ] [ 2 ] [ 3 ] Se han encontrado tablillas cuneiformes babilónicas (siglos XX al XVI a. C.) con tablas para calcular cubos y raíces cúbicas. [ 4 ] [ 5 ] Los babilonios podrían haber usado las tablas para resolver ecuaciones cúbicas, pero no existe evidencia que lo confirme. [ 6 ] El problema de duplicar el cubo involucra la ecuación cúbica estudiada más simple y antigua, y una para la cual los antiguos egipcios no creían que existiera una solución. [ 7 ] En el siglo V a. C., Hipócrates redujo este problema al de encontrar dos medias proporcionales entre una línea y otra del doble de su longitud, pero no pudo resolver esto con una construcción de compás y regla , [ 8 ] una tarea que ahora se sabe que es imposible. Los métodos para resolver ecuaciones cúbicas aparecen en Los Nueve Capítulos sobre el Arte Matemático , un texto matemático chino compilado alrededor del siglo II a. C. y comentado por Liu Hui en el siglo III. [ 2 ]

En el siglo III d. C., el matemático griego Diofanto encontró soluciones enteras o racionales para algunas ecuaciones cúbicas bivariadas ( ecuaciones diofánticas ). [ 3 ] [ 9 ] Se cree que Hipócrates, Menaechmus y Arquímedes estuvieron cerca de resolver el problema de duplicar el cubo usando secciones cónicas que se intersecan , [ 8 ] aunque historiadores como Reviel Netz discuten si los griegos estaban pensando en ecuaciones cúbicas o solo en problemas que pueden conducir a ecuaciones cúbicas. Otros, como TL Heath , quien tradujo todas las obras de Arquímedes, discrepan, presentando evidencia de que Arquímedes realmente resolvió ecuaciones cúbicas usando intersecciones de dos cónicas , pero también discutió las condiciones donde las raíces son 0, 1 o 2. [ 10 ]

Gráfica de la función cúbica f ( x ) = 2 x 3 3 x 2 3 x + 2 = ( x + 1) (2 x 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ó sistemáticamente de forma numérica 25 ecuaciones cúbicas de la forma + px² + qx = N , 23 de ellas con p , q ≠ 0 y dos de ellas con q = 0. [ 11 ]

En el siglo XI, el poeta y matemático persa Omar Khayyam (1048-1131) realizó importantes avances en la teoría de las ecuaciones cúbicas. En un trabajo temprano, descubrió que una ecuación cúbica puede tener más de una solución y afirmó que no puede resolverse utilizando reglas y compás. También encontró una solución geométrica. [ 12 ] [ a ] ​​En su obra posterior, el Tratado sobre la demostración de problemas de álgebra , escribió una clasificación completa de las ecuaciones cúbicas con soluciones geométricas generales obtenidas mediante secciones cónicas que se intersecan . [ 13 ] [ 14 ] Khayyam intentó formular una fórmula algebraica para extraer raíces cúbicas. Escribió:

“Hemos intentado expresar estas raíces mediante el álgebra, pero hemos fracasado. Sin embargo, puede que quienes vengan después de nosotros lo consigan.” [ 15 ]

En el siglo XII, el matemático indio Bhaskara II intentó resolver ecuaciones cúbicas sin éxito general. Sin embargo, dio un ejemplo de una ecuación cúbica: + 12x = 6x² + 35. [ 16 ] En el siglo XII, otro matemático persa, Sharaf al-Dīn al-Tūsī (1135-1213), escribió el Al-Muʿādalāt ( Tratado sobre ecuaciones ), que trataba sobre ocho tipos de ecuaciones cúbicas con soluciones positivas y cinco tipos de ecuaciones cúbicas que podrían no tener soluciones positivas. Utilizó lo que más tarde se conocería como el método de Horner-Ruffini para aproximar numéricamente la raíz de una ecuación cúbica. También utilizó los conceptos de máximos y mínimos de curvas para resolver ecuaciones cúbicas que podrían no tener soluciones positivas. [ 17 ] Comprendió la importancia del discriminante de la ecuación cúbica para encontrar soluciones algebraicas a ciertos tipos de ecuaciones cúbicas. [ 18 ]

En su libro Flos , Leonardo de Pisa, también conocido como Fibonacci (1170–1250), logró aproximar con precisión la solución positiva de la ecuación cúbica + 2x² + 10x = 20. Escribiendo en un sistema de numeración sexagesimal , dio como resultado 1,22,7,42,33,4,40 (equivalente a 1 + 22/60 + 7/60² + 42 /60³ + 33 /60⁴ + 4 /60⁵ + 40 / 60⁶ ), que tiene un error relativo de aproximadamente 10⁻⁹ . [ 19 ]            

A principios del siglo XVI, el matemático italiano Scipione del Ferro (1465-1526) halló un método para resolver una clase de ecuaciones cúbicas, concretamente las de la forma + mx = n . De hecho, todas las ecuaciones cúbicas pueden reducirse a esta forma si se permite que m y n sean negativos, pero en aquel entonces desconocía los números negativos . Del Ferro mantuvo su descubrimiento en secreto hasta poco antes de su muerte, cuando se lo reveló a su alumno Antonio Fior.

Niccolò Fontana Tartaglia

En 1535, Niccolò Tartaglia (1500–1557) recibió dos problemas de ecuaciones cúbicas de Zuanne da Coi y anunció que podía resolverlos. Pronto fue desafiado por Fior, lo que dio lugar a una famosa competición entre ambos. Cada concursante debía aportar una cantidad de dinero y proponer varios problemas a su rival. Quien resolviera más problemas en 30 días se llevaría todo el dinero. Tartaglia recibió problemas de la forma + mx = n , para los que había desarrollado un método general. Fior recibió problemas de la forma + mx² = n , que resultaron demasiado difíciles para él, y Tartaglia ganó la competición.

Más tarde, Gerolamo Cardano (1501-1576) persuadió a Tartaglia para que revelara su secreto para resolver ecuaciones cúbicas. En 1539, Tartaglia accedió con la condición de que Cardano jamás lo revelara y que, si escribía un libro sobre ecuaciones cúbicas, le diera tiempo para publicarlo. Años después, Cardano conoció el trabajo previo de Del Ferro y publicó su método en su libro Ars Magna en 1545, lo que significa que Cardano le dio a Tartaglia seis años para publicar sus resultados (reconociéndole el mérito de haber desarrollado una solución independiente).

La promesa que Cardano le hizo a Tartaglia era que no publicaría su obra, y Cardano sintió que estaba publicando la de del Ferro para eludir su promesa. Sin embargo, esto provocó que Tartaglia desafiara a Cardano, desafío que este rechazó. Finalmente, el alumno de Cardano, Lodovico Ferrari (1522-1565), aceptó el desafío. Ferrari superó a Tartaglia en la competencia, y Tartaglia perdió tanto su prestigio como sus ingresos. [ 20 ]

Cardano observó que el método de Tartaglia a veces requería calcular la raíz cuadrada de un número negativo. Incluso incluyó un cálculo con estos números complejos en Ars Magna , pero no lo comprendió del todo. Rafael Bombelli estudió este tema en detalle [ 21 ] y, por lo tanto, suele ser considerado el descubridor de los números complejos.

François Viète (1540–1603) derivó independientemente la solución trigonométrica para la cúbica con tres raíces reales, y René Descartes (1596–1650) extendió el trabajo de Viète. [ 22 ]

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últiplo común de sus denominadores. Dicha ecuación aincógnita3+bincógnita2+doincógnita+d=0,{\displaystyle ax^{3}+bx^{2}+cx+d=0,} Se dice que una ecuación con coeficientes enteros es reducible si el polinomio del lado izquierdo es producto de polinomios de menor grado. Según 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 grado uno y, por lo tanto, tener la forma qincógnitapag,{\displaystyle qx-p,} donde q y p son enteros coprimos . La prueba 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 esincógnita1=pagq,{\displaystyle \textstyle x_{1}={\frac {p}{q}},}y las otras raíces son las raíces del otro factor, que se puede encontrar mediante la división larga de polinomios . Este otro factor es aqincógnita2+bq+apagq2incógnita+doq2+bpagq+apag2q3.{\displaystyle {\frac {a}{q}}\,x^{2}+{\frac {bq+ap}{q^{2}}}\,x+{\frac {cq^{2}+bpq+ap^{2}}{q^{3}}}.} (Los coeficientes no parecen ser enteros, pero deben ser enteros si pag/q{\displaystyle p/q}( es una raíz.)

Entonces, las otras raíces son las raíces de este polinomio cuadrático y se pueden encontrar utilizando la fórmula cuadrática .

Cúbico deprimido

Cúbicos de la forma t3+pagt+q{\displaystyle t^{3}+pt+q} Se dice que son cúbicas deprimidas. Son mucho más simples que las cúbicas generales, pero fundamentales, porque el estudio de cualquier cúbica puede reducirse, mediante un simple cambio de variable, al de una cúbica deprimida.

Dejar aincógnita3+bincógnita2+doincógnita+d=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} ser una ecuación cúbica. El cambio de variable incógnita=tb3a{\displaystyle x=t-{\frac {b}{3a}}} da una cúbica (en t ) que no tiene ningún término en t 2 . De hecho,incógnita=b3a{\displaystyle x=-{\frac {b}{3a}}}es el punto de inflexión del cubo original (donde la curvatura cambia de signo), por lo que la transformación simplemente centra el cubo alrededor del punto de inflexión.

Después de dividir por uno se obtiene la ecuación cúbica reducidat3+pagt+q=0,{\displaystyle t^{3}+pt+q=0,} con t=incógnita+b3apag=3adob23a2q=2b39abdo+27a2d27a3.{\displaystyle {\begin{aligned}t={}&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ícesincógnita1,incógnita2,incógnita3{\displaystyle x_{1},x_{2},x_{3}}de la ecuación original están relacionadas con las raícest1,t2,t3{\displaystyle t_{1},t_{2},t_{3}}de la ecuación deprimida por las relaciones incógnitai=tib3a,{\displaystyle x_{i}=t_{i}-{\frac {b}{3a}},} parai=1,2,3{\displaystyle i=1,2,3}.

Discriminante y naturaleza de las raíces

La naturaleza (real o no, distinta o no) de las raíces de un cúbico se puede determinar sin calcularlas explícitamente, utilizando el discriminante .

Discriminante

El discriminante de un polinomio es una función de sus coeficientes que es cero si y solo si el polinomio tiene una raíz múltiple , o si es divisible por el cuadrado de un polinomio no constante. En otras palabras, el discriminante es distinto de cero si y solo si el polinomio es libre de cuadrados .

Si r 1 , r 2 , r 3 son las tres raíces (no necesariamente distintas ni reales ) de la matriz cúbicaaincógnita3+bincógnita2+doincógnita+d,{\displaystyle ax^{3}+bx^{2}+cx+d,}entonces el discriminante es a4(r1r2)2(r1r3)2(r2r3)2.{\displaystyle a^{4}(r_{1}-r_{2})^{2}(r_{1}-r_{3})^{2}(r_{2}-r_{3})^{2}.}

El discriminante del cubo deprimidot3+pagt+q{\displaystyle t^{3}+pt+q}es (4pag3+27q2).{\displaystyle -\left(4\,p^{3}+27\,q^{2}\right).}

El discriminante de la cúbica generalaincógnita3+bincógnita2+doincógnita+d{\displaystyle ax^{3}+bx^{2}+cx+d}es 18abdod4b3d+b2do24ado327a2d2.{\displaystyle 18\,abcd-4\,b^{3}d+b^{2}c^{2}-4\,ac^{3}-27\,a^{2}d^{2}.} Es el producto dea4{\displaystyle a^{4}}y el discriminante de la cúbica deprimida correspondiente. Usando la fórmula que relaciona la cúbica general y la cúbica deprimida asociada, esto implica que el discriminante de la cúbica general se puede escribir como 4(b23ado)3(2b39abdo+27a2d)227a2.{\displaystyle {\frac {4(b^{2}-3ac)^{3}-(2b^{3}-9abc+27a^{2}d)^{2}}{27a^{2}}}.}

De ello se deduce que uno de estos dos discriminantes es cero si y solo si el otro también es cero, y, si los coeficientes son reales , ambos discriminantes tienen el mismo signo. En resumen, se puede obtener la misma información de cualquiera de estos dos discriminantes.

Para demostrar las fórmulas anteriores, se pueden usar las fórmulas de Vieta para expresar todo como polinomios en r 1 , r 2 , r 3 y a . La demostración resulta entonces en la verificación de la igualdad de dos polinomios.

Naturaleza de las raíces

Si los coeficientes de un polinomio son números reales y su discriminanteΔ{\displaystyle \Delta }no es cero, hay dos casos:

Esto se puede demostrar de la siguiente manera. Primero, si r es una raíz de un polinomio con coeficientes reales, entonces su conjugado complejo también es una raíz. Por lo tanto, las raíces no reales, si las hay, aparecen como pares de raíces conjugadas complejas. Como un polinomio cúbico tiene tres raíces (no necesariamente distintas) según el teorema fundamental del álgebra , al menos una raíz debe ser real.

Como se indicó anteriormente, si r 1 , r 2 , r 3 son las tres raíces de la matriz cúbicaaincógnita3+bincógnita2+doincógnita+d{\displaystyle ax^{3}+bx^{2}+cx+d}, entonces el discriminante es Δ=a4(r1r2)2(r1r3)2(r2r3)2{\displaystyle \Delta =a^{4}(r_{1}-r_{2})^{2}(r_{1}-r_{3})^{2}(r_{2}-r_{3})^{2}}

Si las tres raíces son reales y distintas, el discriminante es un producto de reales positivos, es decirΔ>0.{\displaystyle \Delta >0.}

Si solo una raíz, digamos r 1 , es real, entonces r 2 y r 3 son conjugados complejos, lo que implica que r 2r 3 es un número puramente imaginario , y por lo tanto que ( r 2r 3 ) 2 es real y negativo. Por otro lado, r 1r 2 y r 1r 3 son conjugados complejos, y su producto es real y positivo. [ 23 ] Por lo tanto, el discriminante es el producto de un solo número negativo y varios positivos. Es decir,Δ<0.{\displaystyle \Delta <0.}

Raíz múltiple

Si el discriminante de una cúbica es cero, la cúbica tiene una raíz múltiple . Si además sus coeficientes son reales, entonces todas sus raíces son reales.

El discriminante del cubo deprimidot3+pagt+q{\displaystyle t^{3}+pt+q}es cero si4pag3+27q2=0.{\displaystyle 4p^{3}+27q^{2}=0.}Si p también es cero, entonces p = q = 0 , y 0 es una raíz triple de la cúbica. Si4pag3+27q2=0,{\displaystyle 4p^{3}+27q^{2}=0,}y p ≠ 0 , entonces la cúbica tiene una raíz simple t1=3qpag{\displaystyle t_{1}={\frac {3q}{p}}}

y una raíz doble t2=t3=3q2pag.{\displaystyle t_{2}=t_{3}=-{\frac {3q}{2p}}.}

En otras palabras, t3+pagt+q=(t3qpag)(t+3q2pag)2.{\displaystyle t^{3}+pt+q=\left(t-{\frac {3q}{p}}\right)\left(t+{\frac {3q}{2p}}\right)^{2}.}

Este resultado se puede probar expandiendo el último producto o recuperarse resolviendo el sistema de ecuaciones bastante simple que resulta de las fórmulas de Vieta .

Mediante la reducción de una cúbica deprimida , estos resultados pueden extenderse a la cúbica general. Esto da como resultado: Si el discriminante de la cúbicaaincógnita3+bincógnita2+doincógnita+d{\displaystyle ax^{3}+bx^{2}+cx+d}es cero, entonces

  • cualquiera de las dos, sib2=3ado,{\displaystyle b^{2}=3ac,}La ecuación cúbica tiene una raíz triple.incógnita1=incógnita2=incógnita3=b3a,{\displaystyle x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}},}yaincógnita3+bincógnita2+doincógnita+d=a(incógnita+b3a)3{\displaystyle ax^{3}+bx^{2}+cx+d=a\left(x+{\frac {b}{3a}}\right)^{3}}
  • o, sib23ado,{\displaystyle b^{2}\neq 3ac,}La ecuación cúbica tiene una raíz doble.incógnita2=incógnita3=9adbdo2(b23ado),{\displaystyle x_{2}=x_{3}={\frac {9ad-bc}{2(b^{2}-3ac)}},}y una raíz simple,incógnita1=4abdo9a2db3a(b23ado).{\displaystyle x_{1}={\frac {4abc-9a^{2}db^{3}}{a(b^{2}-3ac)}}.}y por lo tantoaincógnita3+bincógnita2+doincógnita+d=a(incógnitaincógnita1)(incógnitaincógnita2)2.{\displaystyle ax^{3}+bx^{2}+cx+d=a(x-x_{1})(x-x_{2})^{2}.}

Características 2 y 3

Los resultados anteriores son válidos cuando los coeficientes pertenecen a un campo de característica distinta de 2 o 3, pero deben modificarse para la característica 2 o 3, debido a las divisiones involucradas por 2 y 3.

La reducción a una cúbica deprimida funciona para la característica 2, pero no para la característica 3. Sin embargo, en ambos casos, es más sencillo establecer y enunciar los resultados para la cúbica general. La herramienta principal para ello es el hecho de que una raíz múltiple es una raíz común del polinomio y su derivada formal . En estas características, si la derivada no es una constante, es un polinomio lineal en la característica 3, y es el cuadrado de un polinomio lineal en la característica 2. Por lo tanto, para la característica 2 o 3, la derivada tiene solo una raíz. Esto permite calcular la raíz múltiple, y la tercera raíz se puede deducir de la suma de las raíces, que viene dada por las fórmulas de Vieta .

Una diferencia con otras características es que, en la característica 2, la fórmula para una raíz doble implica una raíz cuadrada, y, en la característica 3, la fórmula para una raíz triple implica una raíz cúbica.

La fórmula de Cardano

Se atribuye a Gerolamo Cardano la publicación de la primera fórmula para resolver ecuaciones cúbicas, atribuyéndola a Scipione del Ferro y Niccolò Fontana Tartaglia . La fórmula se aplica a ecuaciones cúbicas reducidas, pero, como se muestra en el apartado «  Ecuaciones cúbicas reducidas », permite resolver todas las ecuaciones cúbicas.

El resultado de Cardano es que si t3+pagt+q=0{\displaystyle t^{3}+pt+q=0} es una ecuación cúbica tal que p y q son números reales tales queq24+pag327{\displaystyle {\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}es positivo (esto implica que el discriminante de la ecuación es negativo) entonces la ecuación tiene raíz real 13+23,{\displaystyle {\sqrt[{3}]{u_ {1}}}+{\sqrt[{3}]{u_ {2}}},} dónde1{\displaystyle u_{1}}y2{\displaystyle u_{2}}son los dos númerosq2+q24+pag327{\displaystyle -{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}yq2q24+pag327{\displaystyle -{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}.

Consulte el apartado «  Derivación de las raíces» , más adelante, para conocer varios métodos para obtener este resultado.

Como se muestra en la sección  Naturaleza de las raíces , las otras dos raíces son números complejos conjugados no reales , en este caso. Posteriormente se demostró (Cardano desconocía los números complejos ) que las otras dos raíces se obtienen multiplicando una de las raíces cúbicas por la raíz cúbica primitiva de la unidad.ε1=1+i32,{\displaystyle \varepsilon _{1}={\frac {-1+i{\sqrt {3}}}{2}},}y la otra raíz cúbica por la otra raíz cúbica primitiva de la unidadε2=ε12=1i32.{\displaystyle \varepsilon _{2}=\varepsilon _{1}^{2}={\frac {-1-i{\sqrt {3}}}{2}}.}Es decir, las otras raíces de la ecuación sonε113+ε223{\displaystyle \varepsilon _{1}{\sqrt[{3}]{u_{1}}}+\varepsilon _{2}{\sqrt[{3}]{u_{2}}}}yε213+ε123.{\displaystyle \varepsilon _{2}{\sqrt[{3}]{u_{1}}}+\varepsilon _{1}{\sqrt[{3}]{u_{2}}}.}[ 24 ]

Si4pag3+27q2<0,{\displaystyle 4p^{3}+27q^{2}<0,}Existen tres raíces reales, pero la teoría de Galois permite demostrar que, si no hay raíz racional, las raíces no pueden expresarse mediante una expresión algebraica que involucre únicamente números reales. Por lo tanto, la ecuación no puede resolverse en este caso con los conocimientos de la época de Cardano. Este caso se ha denominado casus irreducibilis , que significa caso irreducible en latín.

En caso irreducible , la fórmula de Cardano aún puede utilizarse, pero se requiere cierta precaución al usar raíces cúbicas. Un primer método consiste en definir los símbolos.  {\displaystyle {\sqrt {{~}^{~}}}}y  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}}como representativa de los valores principales de la función raíz (es decir, la raíz con la mayor parte real). Con esta convención, la fórmula de Cardano para las tres raíces sigue siendo válida, pero no es puramente algebraica, ya que la definición de una parte principal no lo es, puesto que implica desigualdades para comparar partes reales. Además, el uso de la raíz cúbica principal puede dar un resultado erróneo si los coeficientes son números complejos no reales. Asimismo, si los coeficientes pertenecen a otro campo , la raíz cúbica principal no está definida en general.

La segunda forma de hacer que la fórmula de Cardano sea siempre correcta es observar que el producto de las dos raíces cúbicas debe ser p / 3 . Resulta que una raíz de la ecuación es dopag3docondo=q2+q24+pag3273.{\displaystyle C-{\frac {p}{3C}}\quad {\text{with}}\quad C={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.} En esta fórmula, los símbolos  {\displaystyle {\sqrt {{~}^{~}}}}y  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}}denotan cualquier raíz cuadrada y cualquier raíz cúbica. Las otras raíces de la ecuación se obtienen cambiando la raíz cúbica o, equivalentemente, multiplicando la raíz cúbica por una raíz cúbica primitiva de la unidad, es decir1±32.{\displaystyle \textstyle {\frac {-1\pm {\sqrt {-3}}}{2}}.}

Esta fórmula para las raíces siempre es correcta excepto cuando p = q = 0 , con la salvedad de que si p = 0 , la raíz cuadrada se elige de modo que C ≠ 0. Sin embargo, la fórmula de Cardano es inútil sipag=0,{\displaystyle p=0,}ya que las raíces son las raíces cúbicas deq.{\displaystyle -q.}De manera similar, la fórmula también es inútil en los casos en que no se necesita la raíz cúbica, es decir, cuando el polinomio cúbico no es irreducible ; esto incluye el caso4pag3+27q2=0.{\displaystyle 4p^{3}+27q^{2}=0.}

Esta fórmula también es correcta cuando p y q pertenecen a cualquier campo de característica distinto de 2 o 3.

Fórmula cúbica general

Una fórmula cúbica para las raíces de la ecuación cúbica general (con a ≠ 0 ) aincógnita3+bincógnita2+doincógnita+d=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} Se puede deducir de cualquier variante de la fórmula de Cardano mediante reducción a una cúbica deprimida . La variante que se presenta aquí es válida no solo para coeficientes complejos, sino también para coeficientes a , b , c , d pertenecientes a cualquier cuerpo algebraicamente cerrado de característica distinta de 2 o 3. Si los coeficientes son números reales, la fórmula abarca todas las soluciones complejas, no solo las reales.

La fórmula es bastante complicada, por lo que conviene dividirla en fórmulas más pequeñas.

Dejar Δ0=b23ado,Δ1=2b39abdo+27a2d.{\displaystyle {\begin{aligned}\Delta _{0}&=b^{2}-3ac,\\\Delta _{1}&=2b^{3}-9abc+27a^{2}d.\end{aligned}}}

(AmbosΔ0{\displaystyle \Delta _{0}}yΔ1{\displaystyle \Delta _{1}}pueden expresarse como resultantes de la cúbica y sus derivadas:Δ1{\displaystyle \Delta _{1}}es −1 / 8 a veces la resultante de la cúbica y su segunda derivada, yΔ0{\displaystyle \Delta _{0}}es −1 / 12 a veces la resultante de la primera y segunda derivada del polinomio cúbico.)

Entonces deja do=Δ1±Δ124Δ0323,{\displaystyle C={\sqrt[{3}]{\frac {\Delta _{1}\pm {\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}}{2}}},} donde los símbolos  {\displaystyle {\sqrt {{~}^{~}}}}y  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}}se interpretan como cualquier raíz cuadrada y cualquier raíz cúbica, respectivamente (todo número complejo distinto de cero tiene dos raíces cuadradas y tres raíces cúbicas). El signo " ± " antes de la raíz cuadrada es " + " o " "; la elección es casi arbitraria, y cambiarla equivale a elegir una raíz cuadrada diferente. Sin embargo, si una elección produce C = 0 (esto ocurre siΔ0=0{\displaystyle \Delta _{0}=0}), entonces se debe seleccionar el otro signo en su lugar. Si ambas opciones dan como resultado C = 0 , es decir, siΔ0=Δ1=0,{\displaystyle \Delta _{0}=\Delta _{1}=0,}Una fracción 0 / 0 aparece en las siguientes fórmulas; esta fracción debe interpretarse como igual a cero (véase el final de esta sección). Con estas convenciones, una de las raíces es incógnita=13a(b+do+Δ0do).{\displaystyle x=-{\frac {1}{3a}}\left(b+C+{\frac {\Delta _{0}}{C}}\right).}

Las otras dos raíces se pueden obtener cambiando la elección de la raíz cúbica en la definición de C , o, equivalentemente, multiplicando C por una raíz cúbica primitiva de la unidad , es decir , –1 ± –3 / 2. En otras palabras, las tres raíces son incógnitak=13a(b+ξkdo+Δ0ξkdo),k{0,1,2},{\displaystyle x_{k}=-{\frac {1}{3a}}\left(b+\xi ^{k}C+{\frac {\Delta _{0}}{\xi ^{k}C}}\right),\qquad k\in \{0,1,2\}{\text{,}}} donde ξ = –1 + –3 / 2 .

En cuanto al caso especial de una cúbica deprimida, esta fórmula se aplica pero es inútil cuando las raíces se pueden expresar sin raíces cúbicas. En particular, siΔ0=Δ1=0,{\displaystyle \Delta _{0}=\Delta _{1}=0,}La fórmula indica que las tres raíces son iguales.b3a,{\displaystyle {\frac {-b}{3a}},}lo que significa que el polinomio cúbico se puede factorizar comoa(incógnita+b3a)3.{\displaystyle \textstyle a(x+{\frac {b}{3a}})^{3}.}Un cálculo sencillo permite verificar que la existencia de esta factorización es equivalente aΔ0=Δ1=0.{\displaystyle \Delta _{0}=\Delta _{1}=0.}

Soluciones trigonométricas e hiperbólicas

Solución trigonométrica para tres raíces reales

Cuando una ecuación cúbica con coeficientes reales tiene tres raíces reales, las fórmulas que expresan estas raíces en términos de radicales involucran números complejos. La teoría de Galois permite demostrar que cuando las tres raíces son reales y ninguna es racional ( casus irreducible ), no se pueden expresar las raíces en términos de radicales reales. Sin embargo, se pueden obtener expresiones puramente reales de las soluciones utilizando funciones trigonométricas , específicamente en términos de cosenos y arcocosenos . [ 25 ] Más precisamente, las raíces de la ecuación cúbica deprimidat3+pagt+q=0{\displaystyle t^{3}+pt+q=0} son [ 26 ]tk=2pag3porque[13arcos(3q2pag3pag)2πk3]para k=0,1,2.{\displaystyle t_{k}=2\,{\sqrt {-{\frac {p}{3}}}}\,\cos \left[\,{\frac {1}{3}}\arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\,\right)-{\frac {2\pi k}{3}}\,\right]\qquad {\text{for }}k=0,1,2.}

Esta fórmula se debe a François Viète . [ 22 ] Es puramente real cuando la ecuación tiene tres raíces reales (es decir,4pag3+27q2<0{\displaystyle 4p^{3}+27q^{2}<0}). De lo contrario, sigue siendo correcto, pero implica cosenos y arcocosenos complejos cuando solo hay una raíz real, y no tiene sentido ( división por cero ) cuando p = 0 .

Esta fórmula se puede transformar directamente en una fórmula para las raíces de una ecuación cúbica general, utilizando la sustitución hacia atrás descrita en §  Cúbica deprimida .

La fórmula se puede demostrar de la siguiente manera: Partiendo de la ecuación + pt + q = 0 , establezcamos t = u cos θ . La idea es elegir u de manera que la ecuación coincida con la identidad . 4porque3θ3porqueθporque(3θ)=0.{\displaystyle 4\cos ^{3}\theta -3\cos \theta -\cos(3\theta )=0.} Para ello, elige=2pag3,{\displaystyle u=2\,{\sqrt {-{\frac {p}{3}}}}\,,}y divide la ecuación por34.{\displaystyle {\frac {u^{3}}{4}}.}Esto da 4porque3θ3porqueθ3q2pag3pag=0.{\displaystyle 4\cos ^{3}\theta -3\cos \theta -{\frac {3q}{2p}}\,{\sqrt {\frac {-3}{p}}}=0.} Combinando con la identidad anterior, se obtiene porque(3θ)=3q2pag3pag,{\displaystyle \cos(3\theta )={\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\,,} y las raíces son así tk=2pag3porque[13arcos(3q2pag3pag)2πk3]para k=0,1,2.{\displaystyle t_{k}=2\,{\sqrt {-{\frac {p}{3}}}}\,\cos \left[{\frac {1}{3}}\arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\right)-{\frac {2\pi k}{3}}\right]\qquad {\text{for }}k=0,1,2.}

Solución hiperbólica para una raíz real

Cuando solo hay una raíz real (y p ≠ 0 ), esta raíz puede representarse de manera similar utilizando funciones hiperbólicas , como [ 27 ] [ 28 ].t0=2|q|qpag3aporrear[13arcosh(3|q|2pag3pag)]si  4pag3+27q2>0  y  pag<0,t0=2pag3sinh[13arsinh(3q2pag3pag)]si  pag>0.{\displaystyle {\begin{aligned}t_{0}&=-2{\frac {|q|}{q}}{\sqrt {-{\frac {p}{3}}}}\cosh \left[{\frac {1}{3}}\operatorname {arcosh} \left({\frac {-3|q|}{2p}}{\sqrt {\frac {-3}{p}}}\right)\right]\qquad {\text{if }}~4p^{3}+27q^{2}>0~{\text{ and }}~p<0,\\t_{0}&=-2{\sqrt {\frac {p}{3}}}\sinh \left[{\frac {1}{3}}\operatorname {arsinh} \left({\frac {3q}{2p}}{\sqrt {\frac {3}{p}}}\right)\right]\qquad {\text{if }}~p>0.\end{aligned}}} Si p ≠ 0 y no se cumplen las desigualdades de la derecha (el caso de tres raíces reales), las fórmulas siguen siendo válidas, pero implican cantidades complejas.

Cuando p = ±3 , los valores anteriores de t 0 se denominan a veces raíz cúbica de Chebyshev. [ 29 ] Más precisamente, los valores que involucran cosenos y cosenos hiperbólicos definen, cuando p = −3 , la misma función analítica denotada C 1/3 ( q ) , que es la raíz cúbica de Chebyshev propiamente dicha. El valor que involucra senos hiperbólicos se denota de manera similar S 1/3 ( q ) , cuando p = 3 .

Soluciones geométricas

La solución de Omar Khayyám

Solución geométrica de Omar Khayyám para una ecuación cúbica, en el caso m = 2 , n = 16 , que da como resultado la raíz 2. La intersección de la línea vertical sobre el eje x en el centro del círculo es una coincidencia del ejemplo ilustrado.

Para resolver la ecuación cúbica + m²x = n , donde n > 0 , Omar Khayyám construyó la parábola y = / m , un círculo cuyo diámetro es el segmento [ 0, n / ] sobre el eje x positivo , y una línea vertical que pasa por el punto de intersección del círculo y la parábola sobre el eje x . La solución viene dada por la longitud del segmento horizontal desde el origen hasta la intersección de la línea vertical con el eje x (véase la figura).

Una demostración moderna sencilla es la siguiente. Multiplicando la ecuación por x / m 2 y reagrupando los términos se obtiene incógnita4metro2=incógnita(nortemetro2incógnita).{\displaystyle {\frac {x^{4}}{m^{2}}}=x\left({\frac {n}{m^{2}}}-x\right).} El lado izquierdo es el valor de y 2 en la parábola. La ecuación del círculo es y 2 + x ( xn / m 2 ) = 0 , el lado derecho es el valor de y 2 en el círculo.

Solución con trisector angular

Una ecuación cúbica con coeficientes reales puede resolverse geométricamente usando compás, regla y trisectriz de ángulos si y solo si tiene tres raíces reales. [ 30 ] : Teorema 1

Una ecuación cúbica puede resolverse mediante regla y compás (sin trisectriz) si y solo si tiene una raíz racional . Esto implica que los antiguos problemas de trisección de ángulos y de duplicación del cubo , planteados por los matemáticos griegos de la antigüedad , no pueden resolverse mediante regla y compás.

Interpretación geométrica de las raíces

Tres raíces reales

Para la cúbica ( 1 ) con tres raíces reales, las raíces son la proyección sobre el eje x de los vértices A , B , y C de un triángulo equilátero . El centro del triángulo tiene la misma coordenada x que el punto de inflexión .

La expresión trigonométrica de Viète de las raíces en el caso de tres raíces reales se presta a una interpretación geométrica en términos de un círculo. [ 22 ] [ 31 ] Cuando la cúbica se escribe en forma deprimida ( 2 ) , t 3 + pt + q = 0 , como se muestra arriba, la solución se puede expresar como

tk=2pag3porque(13arcos(3q2pag3pag)k2π3)parak=0,1,2.{\displaystyle t_{k}=2{\sqrt {-{\frac {p}{3}}}}\cos \left({\frac {1}{3}}\arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\right)-k{\frac {2\pi }{3}}\right)\quad {\text{for}}\quad k=0,1,2\,.}

Aquíarcos(3q2pag3pag){\displaystyle \arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\right)}es un ángulo en el círculo unitario ; tomar 1/3 de ese ángulo corresponde a tomar la raíz cúbica de un número complejo; sumar −k/ 3 para k = 1, 2 encuentra las otras raíces cúbicas ; y multiplicar los cosenos de estos ángulos resultantes por2pag3{\displaystyle 2{\sqrt {-{\frac {p}{3}}}}}Corrige la escala.

Para el caso no deprimido ( 1 ) (mostrado en el gráfico adjunto), el caso deprimido , como se indicó anteriormente , se obtiene definiendo t de tal manera que x = tb / 3 a , por lo que t = x + b / 3 a . Gráficamente, esto corresponde simplemente a desplazar el gráfico horizontalmente al cambiar entre las variables t y x , sin modificar las relaciones angulares. Este desplazamiento mueve el punto de inflexión y el centro del círculo al eje y . En consecuencia, las raíces de la ecuación en t suman cero.

Una raíz real

En el plano cartesiano

La pendiente de la línea RA es el doble que la de RH. Denotando las raíces complejas de la cúbica como g ± hi , g = OM (negativo aquí) y h = tan ORH = pendiente de la línea RH = BE = DA .

Cuando se traza la gráfica de una función cúbica en el plano cartesiano , si hay una sola raíz real, es la abscisa ( coordenada x ) de la intersección horizontal de la curva (punto R en la figura). Además, [ 32 ] [ 33 ] [ 34 ] si las raíces conjugadas complejas se escriben como g ± hi , entonces la parte real g es la abscisa del punto de tangencia H de la recta tangente a la función cúbica que pasa por la intersección x R de la función cúbica (es decir, la longitud con signo OM, negativa en la figura). Las partes imaginarias ±h son las raíces cuadradas de la tangente del ángulo entre esta recta tangente y el eje horizontal.

En el plano complejo

Con una raíz real y dos complejas, las tres raíces pueden representarse como puntos en el plano complejo, al igual que las dos raíces de la derivada cúbica. Existe una interesante relación geométrica entre todas estas raíces.

Los puntos en el plano complejo que representan las tres raíces sirven como vértices de un triángulo isósceles . (El triángulo es isósceles porque una raíz está sobre el eje horizontal (real) y las otras dos raíces, al ser conjugadas complejas, aparecen simétricamente por encima y por debajo del eje real). El teorema de Marden establece que los puntos que representan las raíces de la derivada de la cúbica son los focos de la elipse de Steiner del triángulo: la única elipse que es tangente al triángulo en los puntos medios de sus lados. Si el ángulo en el vértice sobre el eje real es menor que π / 3 , entonces el eje mayor de la elipse se encuentra sobre el eje real, al igual que sus focos y, por lo tanto , las raíces de la derivada. Si ese ángulo es mayor que π / 3 , el eje mayor es vertical y sus focos, las raíces de la derivada, son conjugados complejos. Y si ese ángulo es π / 3 , el triángulo es equilátero, la elipse de Steiner es simplemente la circunferencia inscrita del triángulo, sus focos coinciden entre sí en el incentro, que se encuentra en el eje real, y por lo tanto la derivada tiene raíces reales duplicadas.

Grupo Galois

Dado un polinomio cúbico irreducible sobre un cuerpo K de característica distinta de 2 y 3, el grupo de Galois sobre K es el grupo de los automorfismos de cuerpo que fijan K de la extensión más pequeña de K ( cuerpo de descomposición ). Como estos automorfismos deben permutar las raíces de los polinomios, este grupo es o bien el grupo S 3 de las seis permutaciones de las tres raíces, o bien el grupo A 3 de las tres permutaciones circulares.

El discriminante Δ de la cúbica es el cuadrado de Δ=a2(r1r2)(r1r3)(r2r3),{\displaystyle {\sqrt {\Delta }}=a^{2}(r_{1}-r_{2})(r_{1}-r_{3})(r_{2}-r_{3}),} donde a es el coeficiente principal de la cúbica, y r 1 , r 2 y r 3 son las tres raíces de la cúbica. ComoΔ{\displaystyle {\sqrt {\Delta }}}cambia de signo si se intercambian dos raíces,Δ{\displaystyle {\sqrt {\Delta }}}está determinado por el grupo de Galois solo si el grupo de Galois es A 3 . En otras palabras, el grupo de Galois es A 3 si y solo si el discriminante es el cuadrado de un elemento de K .

Como la mayoría de los enteros no son cuadrados, al trabajar sobre el cuerpo Q de los números racionales , el grupo de Galois de la mayoría de los polinomios cúbicos irreducibles es el grupo S 3 con seis elementos. Un ejemplo de un grupo de Galois A 3 con tres elementos viene dado por p ( x ) = x 3 − 3 x − 1 , cuyo discriminante es 81 = 9 2 .

Derivación de las raíces

Esta sección reúne varios métodos para derivar la fórmula de Cardano .

El método de Cardano

Este método se debe a Scipione del Ferro y Tartaglia , pero recibe su nombre de Gerolamo Cardano, quien lo publicó por primera vez en su libro Ars Magna (1545).

Este método se aplica a una cúbica deprimida t 3 + pt + q = 0 . La idea es introducir dos variables u yv{\displaystyle v}de tal manera que+v=t{\displaystyle u+v=t}y sustituir esto en el cúbico deprimido, dando 3+v3+(3v+pag)(+v)+q=0.{\displaystyle u^{3}+v^{3}+(3uv+p)(u+v)+q=0.}

En este punto Cardano impuso la condición3v+pag=0.{\displaystyle 3uv+p=0.}Esto elimina el tercer término de la igualdad anterior, lo que lleva al sistema de ecuaciones 3+v3=qv=pag3.{\displaystyle {\begin{aligned}u^{3}+v^{3}&=-q\\uv&=-{\frac {p}{3}}.\end{aligned}}}

Sabiendo la suma y el producto de u 3 yv3,{\displaystyle v^{3},}Se deduce que son las dos soluciones de la ecuación cuadrática.0=(incógnita3)(incógnitav3)=incógnita2(3+v3)incógnita+3v3=incógnita2(3+v3)incógnita+(v)3{\displaystyle {\begin{aligned}0&=(x-u^{3})(x-v^{3})\\&=x^{2}-(u^{3}+v^{3})x+u^{3}v^{3}\\&=x^{2}-(u^{3}+v^{3})x+(uv)^{3}\end{aligned}}} entonces incógnita2+qincógnitapag327=0.{\displaystyle x^{2}+qx-{\frac {p^{3}}{27}}=0.} El discriminante de esta ecuación esΔ=q2+4pag327{\displaystyle \Delta =q^{2}+{\frac {4p^{3}}{27}}}y suponiendo que sea positivo, las soluciones reales de esta ecuación son (después de aplicar la división por 4 bajo la raíz cuadrada): q2±q24+pag327.{\displaystyle -{\frac {q}{2}}\pm {\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}.} Entonces ( sin pérdida de generalidad al elegir u ov{\displaystyle v}): =q2+q24+pag3273.{\displaystyle u={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.}v=q2q24+pag3273.{\displaystyle v={\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.} Como+v=t,{\displaystyle u+v=t,}La suma de las raíces cúbicas de estas soluciones es una raíz de la ecuación. Es decir, t=q2+q24+pag3273+q2q24+pag3273{\displaystyle t={\sqrt[{3}]{-{q \over 2}+{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}} es una raíz de la ecuación; esta es la fórmula de Cardano.

Esto funciona bien cuando4pag3+27q2>0,{\displaystyle 4p^{3}+27q^{2}>0,}pero, si4pag3+27q2<0,{\displaystyle 4p^{3}+27q^{2}<0,}La raíz cuadrada que aparece en la fórmula no es real. Como un número complejo tiene tres raíces cúbicas, usar la fórmula de Cardano sin cuidado daría como resultado nueve raíces, mientras que una ecuación cúbica no puede tener más de tres raíces. Esto fue aclarado por primera vez por Rafael Bombelli en su libro L'Algebra (1572). La solución es usar el hecho de quev=pag3,{\displaystyle uv=-{\frac {p}{3}},}eso es,v=pag3.{\displaystyle v={\frac {-p}{3u}}.}Esto significa que solo es necesario calcular una raíz cúbica, y conduce a la segunda fórmula dada en la §  Fórmula de Cardano .

Las otras raíces de la ecuación se pueden obtener cambiando la raíz cúbica, o, equivalentemente, multiplicando la raíz cúbica por cada una de las dos raíces cúbicas primitivas de la unidad , que son1±32.{\displaystyle {\frac {-1\pm {\sqrt {-3}}}{2}}.}

Cuando solo una raíz es real, u y v serán los conjugados complejos entre sí, lo que implica que la única raíz real debe sert=2Rmi(){\displaystyle t=2\mathrm {Re} (u)}.

Sustitución de Vieta

La sustitución de Vieta es un método introducido por François Viète (Vieta es su nombre en latín) en un texto publicado póstumamente en 1615, que proporciona directamente la segunda fórmula del método de Cardano y  evita el problema de calcular dos raíces cúbicas diferentes. [ 35 ]

Partiendo de la cúbica deprimida t 3 + pt + q = 0 , la sustitución de Vieta es t = wp / 3 w . [ b ]

La sustitución t = wp / 3 w transforma la cúbica deprimida en w3+qpag327w3=0.{\displaystyle w^{3}+q-{\frac {p^{3}}{27w^{3}}}=0.}

Esta es una ecuación cuadrática enw3{\displaystyle w^{3}}, por lo que hay seis soluciones paraw{\displaystyle w}. En la sustitución, para cada valor det{\displaystyle t}hay dos valores posibles paraw{\displaystyle w}Cada raíz de la ecuación cúbica se encuentra dos veces.

Multiplicando por , se obtiene una ecuación cuadrática en :(w3)2+q(w3)pag327=0.{\displaystyle (w^{3})^{2}+q(w^{3})-{\frac {p^{3}}{27}}=0.}

Dejar W=q2±pag327+q24{\displaystyle W=-{\frac {q}{2}}\pm {\sqrt {{\frac {p^{3}}{27}}+{\frac {q^{2}}{4}}}}} Sea cualquier raíz no nula de esta ecuación cuadrática. Si w 1 , w 2 y w 3 son las tres raíces cúbicas de W , entonces las raíces de la cúbica deprimida original son w 1p / 3 w 1 , w 2p / 3 w 2 , y w 3p / 3 w 3 . La otra raíz de la ecuación cuadrática espag327W.{\displaystyle \textstyle -{\frac {p^{3}}{27W}}.}Esto implica que cambiar el signo de la raíz cuadrada intercambia w i y p / 3 w i para i = 1, 2, 3 , y por lo tanto no cambia las raíces. Este método solo falla cuando ambas raíces de la ecuación cuadrática son cero, es decir, cuando p = q = 0 , en cuyo caso la única raíz de la cúbica reducida es 0 .

Método de Lagrange

En su artículo Réflexions sur la résolution algébrique des équations ("Reflexiones sobre la resolución algebraica de ecuaciones"), [ 36 ] Joseph Louis Lagrange introdujo un nuevo método para resolver ecuaciones de bajo grado de manera uniforme, con la esperanza de poder generalizarlo a grados superiores. Este método funciona bien para ecuaciones cúbicas y cuárticas , pero Lagrange no logró aplicarlo a una ecuación quíntica , ya que requiere resolver un polinomio resolvente de grado al menos seis. [ 37 ] [ 38 ] [ 39 ] Además de que nadie lo había logrado antes, esta fue la primera indicación de la inexistencia de una fórmula algebraica para grados 5 y superiores; como se demostró posteriormente con el teorema de Abel-Ruffini . Sin embargo, los métodos modernos para resolver ecuaciones quínticas resolubles se basan principalmente en el método de Lagrange. [ 39 ]

En el caso de ecuaciones cúbicas, el método de Lagrange da la misma solución que el de Cardano. El método de Lagrange se puede aplicar directamente a la ecuación cúbica general ax³ + bx² + cx + d = 0 , pero el cálculo es más sencillo con la ecuación cúbica reducida, + pt + q = 0 .

La idea principal de Lagrange era trabajar con la transformada discreta de Fourier de las raíces en lugar de con las raíces mismas. Más precisamente, sea ξ una raíz terciaria primitiva de la unidad , es decir, un número tal que ξ³ = 1 y ξ² + ξ + 1 = 0 (cuando se trabaja en el espacio de los números complejos , se tieneξ=1±i32=mi2iπ/3,{\displaystyle \textstyle \xi ={\frac {-1\pm i{\sqrt {3}}}{2}}=e^{2i\pi /3},}pero esta interpretación compleja no se utiliza aquí). Denotando x 0 , x 1 y x 2 las tres raíces de la ecuación cúbica a resolver, sea s0=incógnita0+incógnita1+incógnita2,s1=incógnita0+ξincógnita1+ξ2incógnita2,s2=incógnita0+ξ2incógnita1+ξincógnita2,{\displaystyle {\begin{aligned}s_{0}&=x_{0}+x_{1}+x_{2},\\s_{1}&=x_{0}+\xi x_{1}+\xi ^{2}x_{2},\\s_{2}&=x_{0}+\xi ^{2}x_{1}+\xi x_{2},\end{aligned}}} Sea la transformada discreta de Fourier de las raíces. Si se conocen s 0 , s 1 y s 2 , las raíces se pueden recuperar a partir de ellas con la transformada inversa de Fourier que consiste en invertir esta transformación lineal; es decir, incógnita0=13(s0+s1+s2),incógnita1=13(s0+ξ2s1+ξs2),incógnita2=13(s0+ξs1+ξ2s2).{\displaystyle {\begin{aligned}x_{0}&={\tfrac {1}{3}}(s_{0}+s_{1}+s_{2}),\\x_{1}&={\tfrac {1}{3}}(s_{0}+\xi ^{2}s_{1}+\xi s_{2}),\\x_{2}&={\tfrac {1}{3}}(s_{0}+\xi s_{1}+\xi ^{2}s_{2}).\end{aligned}}}

Según las fórmulas de Vieta , se sabe que s 0 es cero en el caso de una cúbica reducida, y b / a para la cúbica general. Por lo tanto, solo es necesario calcular s 1 y s 2. Estas no son funciones simétricas de las raíces (al intercambiar x 1 y x 2 también se intercambian s 1 y s 2 ), pero algunas funciones simétricas simples de s 1 y s 2 también son simétricas en las raíces de la ecuación cúbica que se va a resolver. Así, estas funciones simétricas se pueden expresar en términos de los coeficientes (conocidos) de la cúbica original, lo que permite expresar los s i como raíces de un polinomio con coeficientes conocidos. Esto funciona bien para cualquier grado, pero, en grados superiores a cuatro, el polinomio resultante que tiene los s i como raíces tiene un grado mayor que el del polinomio inicial, y por lo tanto no es útil para la resolución. Esta es la razón por la cual el método de Lagrange falla en grados cinco y superiores.

En el caso de una ecuación cúbica,PAG=s1s2,{\displaystyle P=s_{1}s_{2},}yS=s13+s23{\displaystyle S=s_{1}^{3}+s_{2}^{3}}son tales polinomios simétricos (véase más abajo). De ello se deduce ques13{\displaystyle s_{1}^{3}}ys23{\displaystyle s_{2}^{3}}son las dos raíces de la ecuación cuadráticaz2Sz+PAG3=0.{\displaystyle z^{2}-Sz+P^{3}=0.}De este modo, la resolución de la ecuación puede terminarse exactamente igual que con el método de Cardano, cons1{\displaystyle s_{1}}ys2{\displaystyle s_{2}}en lugar de u yv.{\displaystyle v.}

En el caso del cúbico deprimido, uno tieneincógnita0=13(s1+s2){\displaystyle x_{0}={\tfrac {1}{3}}(s_{1}+s_{2})}ys1s2=3pag,{\displaystyle s_{1}s_{2}=-3p,}mientras que en el método de Cardano hemos establecidoincógnita0=+v{\displaystyle x_{0}=u+v}yv=13pag.{\displaystyle uv=-{\tfrac {1}{3}}p.}Así, hasta el intercambio de u yv,{\displaystyle v,}tenemoss1=3{\displaystyle s_{1}=3u}ys2=3v.{\displaystyle s_{2}=3v.}En otras palabras, en este caso, el método de Cardano y el método de Lagrange calculan exactamente lo mismo, salvo por un factor de tres en las variables auxiliares, siendo la principal diferencia que el método de Lagrange explica por qué aparecen estas variables auxiliares en el problema.

Cálculo de S y P

Un cálculo sencillo utilizando las relaciones ξ 3 = 1 y ξ 2 + ξ + 1 = 0 da como resultado PAG=s1s2=incógnita02+incógnita12+incógnita22(incógnita0incógnita1+incógnita1incógnita2+incógnita2incógnita0),S=s13+s23=2(incógnita03+incógnita13+incógnita23)3(incógnita02incógnita1+incógnita12incógnita2+incógnita22incógnita0+incógnita0incógnita12+incógnita1incógnita22+incógnita2incógnita02)+12incógnita0incógnita1incógnita2.{\displaystyle {\begin{aligned}P&=s_{1}s_{2}=x_{0}^{2}+x_{1}^{2}+x_{2}^{2}-(x_{0}x_{1}+x_{1}x_{2}+x_{2}x_{0}),\\S&=s_{1}^{3}+s_{2}^{3}=2(x_{0}^{3}+x_{1}^{3}+x_{2}^{3})-3(x_{0}^{2}x_{1}+x_{1}^{2}x_{2}+x_{2}^{2}x_{0}+x_{0}x_{1}^{2}+x_{1}x_{2}^{2}+x_{2}x_{0}^{2})+12x_{0}x_{1}x_{2}.\end{aligned}}} Esto demuestra que P y S son funciones simétricas de las raíces. Usando las identidades de Newton , es sencillo expresarlas en términos de las funciones simétricas elementales de las raíces, lo que da como resultado: PAG=mi123mi2,S=2mi139mi1mi2+27mi3,{\displaystyle {\begin{aligned}P&=e_{1}^{2}-3e_{2},\\S&=2e_{1}^{3}-9e_{1}e_{2}+27e_{3},\end{aligned}}} con e 1 = 0 , e 2 = p y e 3 = − q en el caso de una cúbica deprimida, y e 1 = − b / a , e 2 = c / a y e 3 = − d / a , en el caso general.

Aplicaciones

Las ecuaciones cúbicas surgen en diversos contextos.

En matemáticas

En otras ciencias

Véase también

Notas

  1. En O'Connor, John J.; Robertson, Edmund F. , "Omar Khayyam" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St AndrewsSe puede leer Este problema a su vez llevó a Khayyam a resolver la ecuación cúbica x 3 + 200 x = 20 x 2 + 2000 y encontró una raíz positiva de esta cúbica considerando la intersección de una hipérbola rectangular y un círculo. Luego se encontró una solución numérica aproximada por interpolación en tablas trigonométricas . La construcción geométrica fue perfectamente adecuada para Omar Khayyam, como sucede para resolver un problema de construcción geométrica. Al final de su artículo dice solo que, para este problema geométrico, si las aproximaciones son suficientes, entonces se puede obtener una solución más simple consultando tablas trigonométricas . Textualmente: Si el buscador está satisfecho con una estimación, le corresponde a él consultar la tabla de cuerdas del Almagesto, o la tabla de senos y senos versados ​​del Observatorio de Mothmed. Esto es seguido por una breve descripción de este método alternativo (siete líneas).
  2. Más precisamente, Vieta introdujo una nueva variable w e impuso la condición w ( t + w ) = p / 3 . Esto es equivalente a la sustitución t = p / 3 ww , y difiere de la sustitución que se usa aquí solo por un cambio de signo de w . Este cambio de signo permite obtener directamente las fórmulas de §  la fórmula de Cardano .

Referencias

  1. Høyrup, Jens (1992), "The Babylonian Cellar Text BM 85200 + VAT 6599 Retraducción y análisis", Amphora: Festschrift for Hans Wussing on the Occasion of his 65th Birthday , Birkhäuser , pp. 315–358 , doi : 10.1007/978-3-0348-8599-7_16 , ISBN  978-3-0348-8599-7
  2. 1 2 Crossley, John; W.-C. Lun, Anthony (1999). Los nueve capítulos sobre el arte matemático: Guía y comentarios . Oxford University Press. pág. 176. ISBN  978-0-19-853936-0.
  3. ^ Van der Waerden, Geometría y álgebra de civilizaciones antiguas, capítulo 4, Zurich 1983 ISBN 0-387-12159-5
  4. Cooke, Roger (8 de noviembre de 2012). Historia de las matemáticas . John Wiley & Sons. pág. 63. ISBN  978-1-118-46029-0.
  5. ↑ Nemet-Nejat , Karen Rhea (1998). La vida cotidiana en la antigua Mesopotamia . Greenwood Publishing Group. pág. 306. ISBN  978-0-313-29497-6.
  6. Cooke, Roger (2008). Álgebra clásica: su naturaleza, orígenes y usos . John Wiley & Sons. pág. 64. ISBN  978-0-470-27797-3.
  7. Guilbeau (1930 , p. 8) afirma que "los egipcios consideraban imposible la solución, pero los griegos se acercaron más a una solución". 
  8. ^ Guilbeau (1930 , págs. 8-9) 
  9. ^ Heath, Thomas L. (30 de abril de 2009). Diofanto de Alejandría: un estudio de la historia del álgebra griega . Pub Martín. págs. 87 –91. ISBN  978-1578987542.
  10. Arquímedes (8 de octubre de 2007). Obras de Arquímedes . Traducción de TL Heath. Edición preliminar. ISBN 978-1603860512.
  11. Mikami, Yoshio (1974) [1913], "Capítulo 8 Wang Hsiao-Tung y las ecuaciones cúbicas", El desarrollo de las matemáticas en China y Japón (2.ª ed.), Nueva York: Chelsea Publishing Co., págs. 53–56 , ISBN   978-0-8284-0149-4
  12. ^ Un artículo de Omar Khayyam, Scripta Math. 26 (1963), páginas 323–337
  13. JJ O'Connor y EF Robertson (1999), Omar Khayyam , archivo de Historia de las Matemáticas de MacTutor , afirman: "El propio Khayyam parece haber sido el primero en concebir una teoría general de las ecuaciones cúbicas".
  14. Guilbeau (1930 , p. 9) afirma: "Omar Al Hay de Corasán, alrededor del año 1079 d.C., fue quien más contribuyó a elevar a método la solución de ecuaciones algebraicas mediante la intersección de cónicas." 
  15. ^ Berggren, JL (18 de enero de 2017). Episodios de las matemáticas del Islam medieval . Saltador. ISBN 978-1-4939-3780-6.
  16. ^ Datta, Bibhutibhushan ; Singh, Avadhesh Narayan (2004), "Ecuación de grado superior", Historia de las matemáticas hindúes: un libro de consulta , vol. 2, Delhi, India: Bharattya Kala Prakashan, pág. 76, ISBN   81-86050-86-8
  17. ^ O'Connor, John J.; Robertson, Edmund F. , "Sharaf al-Din al-Muzaffar al-Tusi" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
  18. ^ Berggren, JL (1990), "Innovación y tradición en Muʿādalāt de Sharaf al-Dīn al-Ṭūsī", Revista de la Sociedad Oriental Americana , 110 (2): 304– 309, doi : 10.2307/604533 , JSTOR 604533 
  19. O'Connor, John J.; Robertson, Edmund F. , "Fibonacci" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
  20. Katz, Victor (2004). Historia de las matemáticas . Boston: Addison Wesley. pág . 220. ISBN  9780321016188.
  21. La Nave, Federica; Mazur, Barry (2002), "Reading Bombelli", The Mathematical Intelligencer , 24 (1): 12–21 , doi : 10.1007/BF03025306 , S2CID 189888034 
  22. 1 2 3 Nickalls, RWD (julio de 2006). "Viète, Descartes y la ecuación cúbica" (PDF) . Mathematical Gazette . 90 (518): 203– 208. doi : 10.1017/S0025557200179598 . S2CID 124980170 . 
  23. Pratt, Orson (1866). Nuevo y sencillo método de solución de ecuaciones cúbicas y bicuadráticas: Incluye varias fórmulas nuevas que simplifican enormemente este campo de las matemáticas . Longmans, Green, Reader y Dyer. pág. 13. ISBN  9781974130924... si dos raíces son imaginarias, el producto es positivo...{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  24. "Solución para una ecuación cúbica reducida" . Solución matemática . Consultado el 23/11/2022 .
  25. Zucker, IJ (julio de 2008). "La ecuación cúbica: una nueva perspectiva del caso irreducible". Mathematical Gazette . 92 : 264–268 . doi : 10.1017/S0025557200183135 . S2CID 125986006 . 
  26. Shelbey, Samuel, ed. (1975). Tablas matemáticas estándar CRC . CRC Press. ISBN 0-87819-622-6.
  27. Estas son las fórmulas (80) y (83) de Weisstein, Eric W. 'Fórmula cúbica'. De MathWorld Un recurso web de Wolfram. https://mathworld.wolfram.com/CubicFormula.html , reescritas para tener una notación coherente.
  28. Holmes, GC, "El uso de cosenos hiperbólicos en la resolución de polinomios cúbicos", Mathematical Gazette 86. Noviembre de 2002, 473–477.
  29. Abramowitz, Milton; Stegun, Irene A., eds. Manual de funciones matemáticas con fórmulas, gráficas y tablas matemáticas , Dover (1965), cap. 22, pág. 773
  30. Gleason, Andrew Mattei (marzo de 1988). "Trisección angular, el heptágono y el triskaidecágono" (PDF) . The American Mathematical Monthly . 95 (3): 185–194 . doi : 10.2307/2323624 . JSTOR 2323624. Archivado del original (PDF) el 19 de diciembre de 2015. 
  31. Nickalls, RWD (noviembre de 1993), "Un nuevo enfoque para resolver la cúbica: la solución de Cardan revelada" (PDF) , The Mathematical Gazette , 77 (480): 354–359 , doi : 10.2307/3619777 , ISSN 0025-5572 , JSTOR 3619777 , S2CID 172730765   Véase especialmente la figura 2.
  32. Henriquez, Garcia (junio-julio de 1935), "La interpretación gráfica de las raíces complejas de ecuaciones cúbicas", American Mathematical Monthly , 42 (6): 383–384 , doi : 10.2307/2301359 , JSTOR 2301359 
  33. Barr, CF (1918), "Discusiones: Relacionadas con la gráfica de una ecuación cúbica con raíces complejas", American Mathematical Monthly , 25 (6): 268– 269, doi : 10.2307/2972885 , JSTOR 2972885 
  34. Irwin, Frank; Wright, HN (1917), "Algunas propiedades de las curvas polinomiales.", Annals of Mathematics , 19 (2): 152– 158, doi : 10.2307/1967772 , JSTOR 1967772 
  35. ^ van der Waerden, Bartel Leenert (1985), "De Viète a Descartes", Una historia del álgebra: de al-Khwārizmī a Emmy Noether , Springer-Verlag , ISBN 3-540-13610-X
  36. ^ Lagrange, Joseph-Louis (1869) [1771], "Réflexions sur la résolution algébrique des équations", en Serret, Joseph-Alfred (ed.), Œuvres de Lagrange , vol. III , Gauthier-Villars, págs. 205-421  
  37. Prasolov, Viktor; Solovyev, Yuri (1997), Funciones elípticas e integrales elípticas , Librería AMS, ISBN 978-0-8218-0587-9, §6.2, pág. 134
  38. Kline, Morris (1990), El pensamiento matemático desde la antigüedad hasta la época moderna , Oxford University Press US, ISBN 978-0-19-506136-9Álgebra en el siglo XVIII: La teoría de las ecuaciones
  39. 1 2 Daniel Lazard , "Solving quintics in radicals", en Olav Arnfinn Laudal , Ragni Piene , The Legacy of Niels Henrik Abel , págs. 207-225, Berlín, 2004. ISBN 3-540-43826-2
  • Guilbeau, Lucye (1930), "La historia de la solución de la ecuación cúbica", Mathematics News Letter , 5 (4): 8–12 , doi : 10.2307/3027812 , JSTOR 3027812 

Lecturas adicionales

  • Anglin, WS; Lambek, Joachim (1995), "Las matemáticas en el Renacimiento" , The Heritage of Thales , Springers, pp. 125–131 , ISBN  978-0-387-94544-6Capítulo 24.
  • Dence, T. (noviembre de 1997), "Cúbicas, caos y el método de Newton", Mathematical Gazette , 81 (492), Mathematical Association : 403–408 , doi : 10.2307/3619617 , ISSN 0025-5572 , JSTOR 3619617 , S2CID 125196796   
  • Dunnett, R. (noviembre de 1994), "Newton-Raphson y la cúbica", Mathematical Gazette , 78 (483), Mathematical Association : 347–348 , doi : 10.2307/3620218 , ISSN 0025-5572 , JSTOR 3620218 , S2CID 125643035   
  • Jacobson, Nathan (2009), Álgebra básica , vol.  1 (2.ª  ed.), Dover, ISBN 978-0-486-47189-1
  • Mitchell, DW (noviembre de 2007), "Resolución de ecuaciones cúbicas mediante la resolución de triángulos", Mathematical Gazette , 91 , Mathematical Association : 514–516 , doi : 10.1017/S0025557200182178 , ISSN 0025-5572 , S2CID 124710259  
  • Mitchell, DW (noviembre de 2009), "Potencias de φ como raíces de cúbicas", Mathematical Gazette , 93 , Mathematical Association , doi : 10.1017/S0025557200185237 , ISSN 0025-5572 , S2CID 126286653  
  • Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Sección 5.6 Ecuaciones cuadráticas y cúbicas" , Numerical Recipes: The Art of Scientific Computing (3.ª  ed.), Nueva York: Cambridge University Press, ISBN 978-0-521-88068-8
  • Rechtschaffen, Edgar (julio de 2008), "Raíces reales de cúbicas: fórmula explícita para cuasi-soluciones", Mathematical Gazette , 92 , Mathematical Association : 268–276 , doi : 10.1017/S0025557200183147 , ISSN 0025-5572 , S2CID 125870578  
  • Zucker, IJ (julio de 2008), "La ecuación cúbica: una nueva perspectiva del caso irreducible", Mathematical Gazette , 92 , Mathematical Association : 264–268 , doi : 10.1017/S0025557200183135 , ISSN 0025-5572 , S2CID 125986006