En álgebra , una función cuártica es una función de la forma
donde a es distinto de cero, lo cual se define mediante un polinomio de grado cuatro, llamado polinomio cuártico .
Una ecuación cuártica , o ecuación de cuarto grado, es una ecuación que iguala un polinomio cuártico a cero, de la forma
donde a ≠ 0 . [1] La derivada de una función cuártica es una función cúbica .
A veces se utiliza el término bicuadrático en lugar de cuártico , pero, por lo general, función bicuadrática se refiere a una función cuadrática de un cuadrado (o, equivalentemente, a la función definida por un polinomio cuártico sin términos de grado impar), que tiene la forma
Como una función cuártica se define por un polinomio de grado par, tiene el mismo límite infinito cuando el argumento tiende a infinito positivo o negativo . Si a es positivo, entonces la función crece hasta infinito positivo en ambos extremos; y por lo tanto la función tiene un mínimo global . Del mismo modo, si a es negativo, decrece hasta infinito negativo y tiene un máximo global. En ambos casos puede tener o no otro máximo local y otro mínimo local.
El grado cuatro ( caso cuártico ) es el grado más alto tal que toda ecuación polinómica puede resolverse mediante radicales , según el teorema de Abel-Ruffini .
A Lodovico Ferrari se le atribuye el descubrimiento de la solución de la cuártica en 1540, pero como esta solución, como todas las soluciones algebraicas de la cuártica, requiere la solución de una cúbica para ser encontrada, no pudo ser publicada inmediatamente. [2] La solución de la cuártica fue publicada junto con la de la cúbica por el mentor de Ferrari, Gerolamo Cardano, en el libro Ars Magna . [3]
La prueba de que cuatro es el grado más alto de un polinomio general para el que se pueden encontrar tales soluciones se dio por primera vez en el teorema de Abel-Ruffini en 1824, lo que demostraba que todos los intentos de resolver los polinomios de orden superior serían inútiles. Las notas dejadas por Évariste Galois antes de morir en un duelo en 1832 condujeron más tarde a una elegante teoría completa de las raíces de los polinomios, de la que este teorema fue uno de los resultados. [4]
Cada coordenada de los puntos de intersección de dos secciones cónicas es una solución de una ecuación de segundo grado. Lo mismo ocurre con la intersección de una línea y un toro . De ello se deduce que las ecuaciones de segundo grado surgen a menudo en la geometría computacional y en todos los campos relacionados, como los gráficos por ordenador , el diseño asistido por ordenador , la fabricación asistida por ordenador y la óptica . A continuación se ofrecen ejemplos de otros problemas geométricos cuya solución implica resolver una ecuación de segundo grado.
En la fabricación asistida por ordenador , el toro es una forma que se asocia habitualmente con la fresa . Para calcular su ubicación en relación con una superficie triangulada, se debe encontrar la posición de un toro horizontal en el eje z donde es tangente a una línea fija, y esto requiere que se calcule la solución de una ecuación cuártica general. [5]
Una ecuación cuártica surge también en el proceso de resolver el problema de las escaleras cruzadas , en el que se dan las longitudes de dos escaleras cruzadas, cada una apoyada contra una pared y reclinada contra otra, junto con la altura a la que se cruzan, y se debe encontrar la distancia entre las paredes. [6]
En óptica, el problema de Alhazen es: " Dada una fuente de luz y un espejo esférico, encontrar el punto en el espejo donde la luz se reflejará en el ojo de un observador ". Esto conduce a una ecuación cuártica. [7] [8] [9]
Para hallar la distancia de aproximación más cercana entre dos elipses es necesario resolver una ecuación de cuarto grado.
Los valores propios de una matriz 4×4 son las raíces de un polinomio cuártico que es el polinomio característico de la matriz.
La ecuación característica de una ecuación diferencial o de una ecuación lineal de cuarto orden es una ecuación de cuarto orden. Un ejemplo de ello es la teoría de flexión de vigas de Timoshenko-Rayleigh. [10]
Las intersecciones entre esferas, cilindros u otros cuadráticos se pueden encontrar utilizando ecuaciones cuárticas.
Siendo F y G los puntos de inflexión distintos del gráfico de una función cuártica, y siendo H la intersección de la línea secante de inflexión FG y la cuártica, más cercana a G que a F , entonces G divide a FH en la sección áurea : [11]
Además, el área de la región entre la línea secante y el cuartico debajo de la línea secante es igual al área de la región entre la línea secante y el cuartico encima de la línea secante. Una de esas regiones está disjunta en subregiones de igual área.
Dada la ecuación cuártica general
con coeficientes reales y a ≠ 0 la naturaleza de sus raíces está determinada principalmente por el signo de su discriminante
Esto se puede refinar considerando los signos de otros cuatro polinomios:
de tal manera quePAG/8 a 2 es el coeficiente de segundo grado del cuartico deprimido asociado (ver más abajo);
de tal manera queR/8 a 3 es el coeficiente de primer grado del cuartico deprimido asociado;
que es 0 si el cuártico tiene raíz triple; y
que es 0 si el cuartico tiene dos raíces dobles.
Los casos posibles para la naturaleza de las raíces son los siguientes: [12]
Existen algunos casos que no parecen contemplados, pero en realidad no pueden darse. Por ejemplo, ∆ 0 > 0 , P = 0 y D ≤ 0 no es uno de los casos. De hecho, si ∆ 0 > 0 y P = 0 entonces D > 0, por lo que esta combinación no es posible.
Las cuatro raíces x 1 , x 2 , x 3 y x 4 para la ecuación cuártica general
con un ≠ 0 se dan en la siguiente fórmula, que se deduce de la del apartado sobre el método de Ferrari cambiando de nuevo las variables (véase § Conversión a una cuártica deprimida) y utilizando las fórmulas para las ecuaciones cuadráticas y cúbicas .
donde p y q son los coeficientes de segundo y primer grado respectivamente en el cuartico deprimido asociado
Y donde
(si S = 0 o Q = 0 , ver § Casos especiales de la fórmula, a continuación)
con
y
Consideremos el cuartico general
Es reducible si Q ( x ) = R ( x ) × S ( x ) , donde R ( x ) y S ( x ) son polinomios no constantes con coeficientes racionales (o más generalmente con coeficientes en el mismo cuerpo que los coeficientes de Q ( x ) ). Tal factorización tomará una de dos formas:
o
En cualquier caso, las raíces de Q ( x ) son las raíces de los factores, que pueden calcularse utilizando las fórmulas para las raíces de una función cuadrática o una función cúbica .
La detección de la existencia de tales factorizaciones se puede realizar mediante la cúbica resolvente de Q ( x ) . Resulta que:
De hecho, varios métodos para resolver ecuaciones de cuarto grado (el método de Ferrari, el método de Descartes y, en menor medida, el método de Euler) se basan en encontrar dichas factorizaciones.
Si a 3 = a 1 = 0 entonces la función
se llama función bicuadrática ; al igualarla a cero se define una ecuación bicuadrática , que es fácil de resolver de la siguiente manera
Sea la variable auxiliar z = x 2 . Entonces Q ( x ) se convierte en una q cuadrática en z : q ( z ) = a 4 z 2 + a 2 z + a 0 . Sean z + y z − las raíces de q ( z ) . Entonces las raíces de la cuártica Q ( x ) son
El polinomio
es casi palindrómica , ya que P ( mx ) = 4 veces/metros cuadrados P ( metro/incógnita ) (es palindrómica si m = 1 ). El cambio de variables z = x + metro/incógnita en P ( x )/x2 = 0 produce la ecuación cuadrática a 0 z 2 + a 1 z + a 2 − 2 ma 0 = 0 . Como x 2 − xz + m = 0 , la ecuación cuártica P ( x ) = 0 se puede resolver aplicando la fórmula cuadrática dos veces.
Para fines de resolución, generalmente es mejor convertir el cuártico en un cuártico deprimido mediante el siguiente cambio simple de variable. Todas las fórmulas son más simples y algunos métodos funcionan solo en este caso. Las raíces del cuártico original se recuperan fácilmente a partir de las del cuártico deprimido mediante el cambio inverso de variable.
Dejar
sea la ecuación cuártica general que queremos resolver.
Dividiendo por 4 , se obtiene la ecuación equivalente x 4 + bx 3 + cx 2 + dx + e = 0 , con b = un 3/un 4 , c = un 2/un 4 , d = un 1/un 4 , y e = un 0/un 4 . Sustituyendo y − b/4 para x da, después de reagrupar los términos, la ecuación y 4 + py 2 + qy + r = 0 , donde
Si y 0 es una raíz de este cuártico deprimido, entonces y 0 − b/4 (es decir y 0 − un 3/4 a 4) es una raíz del cuartico original y cada raíz del cuartico original se puede obtener mediante este proceso.
Como se explicó en la sección anterior, podemos comenzar con la ecuación cuártica deprimida
Esta ecuación de cuarto grado deprimida se puede resolver mediante un método descubierto por Lodovico Ferrari . La ecuación deprimida se puede reescribir (esto se verifica fácilmente expandiendo el cuadrado y reagrupando todos los términos en el lado izquierdo) como
Luego, introducimos una variable m en el factor del lado izquierdo sumando 2 y 2 m + pm + m 2 a ambos lados. Después de reagrupar los coeficientes de la potencia de y en el lado derecho, obtenemos la ecuación
lo que es equivalente a la ecuación original, cualquiera que sea el valor dado a m .
Como el valor de m puede elegirse arbitrariamente, lo elegiremos para completar el cuadrado del lado derecho. Esto implica que el discriminante en y de esta ecuación cuadrática es cero, es decir, m es una raíz de la ecuación.
que puede reescribirse como
Esta es la cúbica resolvente de la ecuación cuártica. El valor de m puede obtenerse de la fórmula de Cardano . Cuando m es una raíz de esta ecuación, el lado derecho de la ecuación ( 1 ) es el cuadrado
Sin embargo, esto induce una división por cero si m = 0 . Esto implica q = 0 , y por lo tanto que la ecuación deprimida es bicuadrática, y puede resolverse mediante un método más fácil (ver arriba). Esto no era un problema en la época de Ferrari, cuando uno resolvía solo ecuaciones explícitamente dadas con coeficientes numéricos. Para una fórmula general que siempre es verdadera, uno necesita entonces elegir una raíz de la ecuación cúbica tal que m ≠ 0 . Esto siempre es posible excepto para la ecuación deprimida y 4 = 0 .
Ahora bien, si m es una raíz de la ecuación cúbica tal que m ≠ 0 , la ecuación ( 1 ) se convierte en
Esta ecuación tiene la forma M 2 = N 2 , que puede reordenarse como M 2 − N 2 = 0 o ( M + N )( M − N ) = 0 . Por lo tanto, la ecuación ( 1 ) puede reescribirse como
Esta ecuación se resuelve fácilmente aplicando a cada factor la fórmula cuadrática . Resolviéndolas podemos escribir las cuatro raíces como
donde ± 1 y ± 2 denotan + o − . Como las dos apariciones de ± 1 deben denotar el mismo signo, esto deja cuatro posibilidades, una para cada raíz.
Por lo tanto, las soluciones de la ecuación cuártica original son
Una comparación con la fórmula general anterior muestra que √ 2 m = 2 S .
Descartes [14] introdujo en 1637 el método de hallar las raíces de un polinomio de segundo grado factorizándolo en dos polinomios de segundo grado. Sea
Igualando los coeficientes , se obtiene el siguiente sistema de ecuaciones:
Esto se puede simplificar comenzando de nuevo con la ecuación cuártica deprimida y 4 + py 2 + qy + r , que se puede obtener sustituyendo y − b /4 por x . Como el coeficiente de y 3 es 0 , obtenemos s = − u , y:
Ahora podemos eliminar tanto t como v haciendo lo siguiente:
Si establecemos U = u 2 , entonces resolver esta ecuación se convierte en encontrar las raíces de la ecuación cúbica resolvente.
lo cual se hace en otra parte . Esta cúbica resolvente es equivalente a la cúbica resolvente dada anteriormente (ecuación (1a)), como se puede ver sustituyendo U = 2m.
Si u es una raíz cuadrada de una raíz distinta de cero de este resolvente (tal raíz distinta de cero existe excepto para el cuártico x 4 , que está factorizado trivialmente),
Las simetrías en esta solución son las siguientes: hay tres raíces de la cúbica, que corresponden a las tres formas en que una cuártica se puede factorizar en dos cuadráticas, y elegir valores positivos o negativos de u para la raíz cuadrada de U simplemente intercambia las dos cuadráticas entre sí.
La solución anterior muestra que un polinomio cuártico con coeficientes racionales y un coeficiente cero en el término cúbico es factorizable en cuadráticos con coeficientes racionales si y solo si el cúbico resolvente ( 2 ) tiene una raíz distinta de cero que es el cuadrado de un racional, o p 2 − 4 r es el cuadrado de un racional y q = 0 ; esto se puede comprobar fácilmente utilizando la prueba de la raíz racional . [15]
Una variante del método anterior se debe a Euler . [16] [17] A diferencia de los métodos anteriores, que utilizan alguna raíz de la cúbica resolvente, el método de Euler las utiliza todas. Consideremos una cuártica deprimida x 4 + px 2 + qx + r . Observe que, si
entonces
Por lo tanto, ( r 1 + r 2 )( r 3 + r 4 ) = − s 2 . En otras palabras, −( r 1 + r 2 )( r 3 + r 4 ) es una de las raíces de la cúbica resolvente ( 2 ) y esto sugiere que las raíces de esa cúbica son iguales a −( r 1 + r 2 )( r 3 + r 4 ) , −( r 1 + r 3 )( r 2 + r 4 ) y −( r 1 + r 4 )( r 2 + r 3 ) . Esto es de hecho cierto y se sigue de las fórmulas de Vieta . También se sigue de las fórmulas de Vieta, junto con el hecho de que estamos trabajando con una cuártica deprimida, que r 1 + r 2 + r 3 + r 4 = 0 . (Por supuesto, esto también se sigue del hecho de que r 1 + r 2 + r 3 + r 4 = − s + s .) Por lo tanto, si α , β y γ son las raíces de la cúbica resolutiva, entonces los números r 1 , r 2 , r 3 y r 4 son tales que
De las dos primeras ecuaciones se deduce que r 1 + r 2 es una raíz cuadrada de α y que r 3 + r 4 es la otra raíz cuadrada de α . Por la misma razón,
Por lo tanto, los números r 1 , r 2 , r 3 y r 4 son tales que
El signo de las raíces cuadradas se tratará a continuación. La única solución de este sistema es:
Dado que, en general, hay dos opciones para cada raíz cuadrada, podría parecer que esto proporciona 8 (= 2 3 ) opciones para el conjunto { r 1 , r 2 , r 3 , r 4 }, pero, de hecho, no proporciona más de 2 de esas opciones, porque la consecuencia de reemplazar una de las raíces cuadradas por la simétrica es que el conjunto { r 1 , r 2 , r 3 , r 4 } se convierte en el conjunto {− r 1 , − r 2 , − r 3 , − r 4 }.
Para determinar el signo correcto de las raíces cuadradas, uno simplemente elige alguna raíz cuadrada para cada uno de los números α , β y γ y las usa para calcular los números r 1 , r 2 , r 3 y r 4 a partir de las igualdades anteriores. Luego, uno calcula el número √ α √ β √ γ . Como α , β y γ son las raíces de ( 2 ), es una consecuencia de las fórmulas de Vieta que su producto es igual a q 2 y, por lo tanto, que √ α √ β √ γ = ± q . Pero un cálculo sencillo muestra que
Si este número es − q , entonces la elección de las raíces cuadradas fue buena (de nuevo, según las fórmulas de Vieta); de lo contrario, las raíces del polinomio serán − r 1 , − r 2 , − r 3 y − r 4 , que son los números que se obtienen si una de las raíces cuadradas se reemplaza por la simétrica (o, lo que es lo mismo, si cada una de las tres raíces cuadradas se reemplaza por la simétrica).
Este argumento sugiere otra forma de elegir las raíces cuadradas:
Por supuesto, esto no tendrá sentido si α o β son iguales a 0 , pero 0 es una raíz de ( 2 ) sólo cuando q = 0 , es decir, sólo cuando estamos tratando con una ecuación bicuadrática, en cuyo caso hay un enfoque mucho más simple.
El grupo simétrico S 4 de cuatro elementos tiene como subgrupo normal el cuatrigrupo de Klein . Esto sugiere utilizar uncúbica resolvente cuyas raíces pueden describirse de diversas maneras como una transformada discreta de Fourier o unamatricial de Hadamardde las raíces; véaseresolventes de Lagrangepara el método general. Denotemos por x i , para i de 0a 3, las cuatro raíces de x 4 + bx 3 + cx 2 + dx + e . Si establecemos
Entonces, como la transformación es una involución, podemos expresar las raíces en términos de los cuatro s i exactamente de la misma manera. Como conocemos el valor s 0 = − b/2 , solo necesitamos los valores de s 1 , s 2 y s 3 . Estas son las raíces del polinomio
Sustituyendo los s i por sus valores en términos de los xi , este polinomio puede desarrollarse en un polinomio en s cuyos coeficientes son polinomios simétricos en los xi . Por el teorema fundamental de los polinomios simétricos , estos coeficientes pueden expresarse como polinomios en los coeficientes del cuártico mónico. Si, para simplificar, suponemos que el cuártico está deprimido, es decir b = 0 , esto da como resultado el polinomio
Este polinomio es de grado seis, pero sólo de grado tres en s 2 , y por tanto la ecuación correspondiente es solucionable por el método descrito en el artículo sobre la función cúbica . Sustituyendo las raíces en la expresión de las x i en función de las s i , obtenemos la expresión para las raíces. De hecho obtenemos, aparentemente, varias expresiones, dependiendo de la numeración de las raíces del polinomio cúbico y de los signos dados a sus raíces cuadradas. Todas estas diferentes expresiones pueden deducirse de una de ellas simplemente cambiando la numeración de las x i .
Estas expresiones son innecesariamente complicadas, ya que involucran las raíces cúbicas de la unidad , que se pueden evitar de la siguiente manera. Si s es cualquier raíz distinta de cero de ( 3 ), y si establecemos
entonces
Por lo tanto, podemos resolver la ecuación cuártica resolviendo s y luego resolviendo las raíces de los dos factores usando la fórmula cuadrática .
Esto da exactamente la misma fórmula para las raíces que la proporcionada por el método de Descartes.
Existe una solución alternativa que utiliza geometría algebraica [18]. En resumen, uno interpreta las raíces como la intersección de dos curvas cuadráticas, luego encuentra las tres curvas cuadráticas reducibles (pares de líneas) que pasan por estos puntos (esto corresponde a la cúbica resolvente, siendo los pares de líneas los resolventes de Lagrange), y luego usa estas ecuaciones lineales para resolver la cuadrática.
Las cuatro raíces de la ecuación cuártica deprimida x 4 + px 2 + qx + r = 0 también se pueden expresar como las coordenadas x de las intersecciones de las dos ecuaciones cuadráticas y 2 + py + qx + r = 0 e y − x 2 = 0 , es decir, utilizando la sustitución y = x 2 de que dos ecuaciones cuadráticas se intersecan en cuatro puntos es una instancia del teorema de Bézout . Explícitamente, los cuatro puntos son P i ≔ ( x i , x i 2 ) para las cuatro raíces x i de la ecuación cuártica.
Estos cuatro puntos no son colineales porque se encuentran en la cuadrática irreducible y = x 2 y, por lo tanto, existe una familia de cuadráticas de un parámetro (un lápiz de curvas ) que pasa por estos puntos. Escribiendo la proyectivización de las dos cuadráticas como formas cuadráticas en tres variables:
El lápiz se da por las formas λF 1 + μF 2 para cualquier punto [ λ , μ ] en la línea proyectiva — en otras palabras, donde λ y μ no son ambos cero, y multiplicar una forma cuadrática por una constante no cambia su curva cuadrática de ceros.
Este lápiz contiene tres ecuaciones cuadráticas reducibles, cada una correspondiente a un par de líneas, cada una de las cuales pasa por dos de los cuatro puntos, lo que se puede hacer de 6 maneras diferentes. Denotemos estas ecuaciones como Q 1 = L 12 + L 34 , Q 2 = L 13 + L 24 y Q 3 = L 14 + L 23 . Dados dos de estos dos, su intersección tiene exactamente los cuatro puntos.
Las cuadráticas reducibles, a su vez, pueden determinarse expresando la forma cuadrática λF 1 + μF 2 como una matriz 3×3 : las cuadráticas reducibles corresponden a que esta matriz sea singular, lo que equivale a que su determinante sea cero, y el determinante sea un polinomio homogéneo de grado tres en λ y μ y corresponda a la cúbica resolvente.