Método de Ferrari

El método de Ferrari es un método algebraico que se utiliza para resolver de manera analítica cualquier ecuación de cuarto grado, descubierto por el matemático italiano Ludovico Ferrari, con el apoyo de su mentor Gerolamo Cardano. Este método es el primero de varios que tratan acerca de la resolución de ecuaciones de cuarto grado, como los métodos de Descartes, Euler y Lagrange.

Historia breveEditar

Se le acredita a Ludovico Ferrari la solución de la ecuación de cuarto grado en el año 1540, pero desde la solución de ésta, como toda solución algebraica de la ecuación cuártica, requiere encontrar la solución de una ecuación cúbica resolvente, por lo que esto no podía ser publicado inmediatamente. La solución de la ecuación cuártica fue publicada junto con la de la ecuación cúbica por Gerolamo Cardano, mentor de Ferrari, en la obra "Ars magna" en 1545.

Estrategia general del métodoEditar

Forma reducida[1][2][3]Editar

Sea la ecuación de cuarto grado

 ,

Su forma reducida es:

 ,

donde

 ,
 ,
 .

Su ecuación cúbica resolvente es

 ,

resuelta por el método de Cardano donde   es una raíz real de ésta, en caso de que la ecuación resolvente tuviere dos o tres raíces reales, se toma como primera prioridad la primera raíz (sin embargo, dicha raíz debe ser positiva como restricción importante).

Al encontrar una raíz de  , las soluciones de la ecuación de cuarto grado original serán dadas de la siguiente forma:

 
 
 
 
Demostración para la forma reducida
Dada la ecuación de cuarto grado
 ,

dividimos toda la ecuación entre la componente cuártica para convertirla en la forma mónica:

 

Ejecutamos una transformación de Tschirnhaus para eliminar el término de tercer grado, susituyendo  :

 

donde ejecutamos cada producto notable indicado en la ecuación:

 
 
 
 

Hacemos la suma algebraica de términos semejantes (donde se elimina el término cúbico):

 

Indicamos factor común en los términos con  :

 

Entonces, podemos reescribir la ecuación como

 

donde

 
 
 

Ésta es la ecuación cuártica reducida con la que necesitamos hallar su resolvente cúbica, para eso despejamos los primeros dos términos:

 

Para completar el cuadrado del miembro izquierdo, sumamos a ambos miembros de la ecuación  :

 

Introducimos una nueva incógnita  , sumando   a ambos lados de la ecuación:

 

Como el valor de   puede ser elegido de manera arbitraria, lo tomaremos para completar el cuadrado del miembro izquierdo, esto implica que el discriminante de esta ecuación cuadrática será cero:

 

Ahora viene la parte importante, en la cual si elegimos un valor de   tal que satisfaga la igualdad

 ,

entonces habríamos encontrado una solución, por tanto desarrollamos el cuadrado del miembro derecho de la igualdad reciente:

 

Desarrollamos la suma de términos semejantes pasando los otros términos del miembro derecho al izquierdo con signo opuesto:

 

Por la presencia de un término fraccionario, multiplicamos la igualdad por  :

 

Reordenamos e indicamos factor común en   y   (obteniendo una ecuación cúbica resolvente):

 

Sea   una raíz real positiva de la ecuación cúbica resolvente, establecemos la siguiente igualdad:

 

Como ambos miembros están elevados al cuadrado, ejecutamos factorización de una diferencia de cuadrados:

 
 

Aplicamos la ley del producto nulo en ambos factores y los reordenamos en función de la incógnita   (esto nos producirá dos ecuaciones cuadráticas):

 
 

Calculamos el discriminante de cada ecuación:

 
 

Resolvemos dichas ecuaciones cuadráticas:

 
 

Por tanto, las soluciones de la ecuación cuártica reducida son:

 
 
 
 

A la vez, las soluciones para la ecuación original son:

 
 
 
 

Forma mónica[4][5][6]Editar

Sea la ecuación de cuarto grado

 ,

ésta se puede reescribir en su forma mónica como:

 

Su ecuación cúbica resolvente es:

 ,

también resuelta por el método de Cardano, en la cual, a diferencia con la ecuación cúbica resolvente de la forma reducida,   también puede ser una raíz real negativa (es decir, que en la forma mónica se permite que dicha raíz pueda ser un valor positivo o negativo). De dicha raíz se calculan los siguientes dos valores:

 
 

Con los valores de   y   obtenidos, resolvemos dos ecuaciones cuadráticas:

 ,
 ,

cuyas soluciones constituyen las soluciones de la ecuación de cuarto grado, siendo las siguientes:

 
 
 
 
Demostración para la forma mónica
Dada la ecuación de cuarto grado
 ,

la condición primaria es tener coeficiente uno en el término de mayor grado, entonces dividimos toda la ecuación entre  :

 

Reescribimos la ecuación como:

 ,

donde

 

Despejamos los primeros dos términos:

 

Sumamos a ambos lados  :

 

Introducimos una nueva incógnita  , sumando a ambos lados  :

 

Factorizamos de acuerdo al caso correspondiente:

 

Esta ecuación es válida para cualquier valor de  , así que eligiremos un valor de   para hacer que la expresión

 

tenga un discriminante igual a cero, por tanto esto es:

 

Desarrollamos ambos miembros de la igualdad:

 

Hacemos la suma de términos semejantes pasando los términos del miembro izquierdo al derecho:

 

Reordenamos e indicamos factor común en   y  :

 ,

siendo   una raíz de ésta.

Entonces, sea   un polinomio cuadrático, éste puede ser reescrito como

 

Asumiendo que su discriminante es igual a cero, esto se reduce a:

 ,

que a la vez se convierte en:

 ,

dado que como  , entonces  .

Por tanto, al hacer esta acción en la expresión en términos de  , obtenemos el siguiente resultado (asumiendo que dicha expresión tiene un discriminante igual a cero, eligiendo un valor de   para hacer que esto suceda):

 

Volviendo a la ecuación

 ,

ésta se puede reescribir como:

 

Al extraer raíz cuadrada a ambos lados, obtenemos lo siguiente:

 ,

lo cual se reparte en dos ecuaciones cuadráticas:

 
 

Sustituimos en la ecuación cuadrática (para simplificar un poco las expresiones):

 
 

En efecto, esto da lo siguiente:

 
 

Ajustamos las dos ecuaciones a su forma canónica:

 
 

Al resolverlas por la fórmula cuadrática, obtenemos las soluciones de la ecuación original, dadas de la siguiente forma:

 
 
 
 

Véase tambiénEditar

ReferenciasEditar