Hay más de una forma de interpretar “resolver” en el contexto de ecuaciones en general, y ecuaciones polinómicas en particular. En la práctica, la mayoría de las veces resolvería una ecuación cúbica (3er grado) adivinando una solución [matemática] x_1 [/ matemática], dividiendo la cúbica por [matemática] x-x_1 [/ matemática] y luego resolviendo la ecuación cuadrática resultante ( 2do grado) como siempre.
También puede resolver cualquiera de estas ecuaciones numéricamente, por ejemplo, utilizando el método de Newton.
Sin embargo, cuando las personas hablan de “resolver una ecuación de tercer grado”, generalmente se refieren a una solución por radicales . Esto significa una forma de escribir las tres soluciones como expresiones que involucran los coeficientes de la ecuación original, raíces cuadradas, raíces cúbicas y operaciones aritméticas. La fórmula cuadrática
[matemáticas] x_ {1,2} = \ frac {-b \ pm \ sqrt {b ^ 2-4ac}} {2a} [/ matemáticas]
- ¿Cuál es la importancia de las ecuaciones cuadráticas en ingeniería?
- ¿Qué es la ecuación de la vida?
- ¿Por qué las ecuaciones del artículo de Nobel sobre ondas gravitacionales carecen de sentido (estas ecuaciones me recordaron la era de la guardería)?
- ¿Cuál será el valor de x si la distancia entre (x, -4) y (-8, 2) es 10?
- Cómo encontrar la ecuación de un círculo sin una fórmula de distancia
es, famoso, una forma de expresar las raíces de la ecuación cuadrática [matemáticas] ax ^ 2 + bx + c = 0 [/ matemáticas] de esta manera.
¿Por qué debería importarle a alguien?
Honestamente, las ecuaciones cúbicas no son tan importantes. Ocurren aquí y allá “en la vida real” y en las matemáticas abstractas, pero en realidad no son fundamentalmente vitales. Sin embargo, el método de solución tiene una importancia histórica tremenda y una belleza considerable, y ahí radica su valor real .
Es sorprendente que la humanidad haya intentado resolver ecuaciones cúbicas durante miles de años, y finalmente haya tenido éxito después de los esfuerzos dedicados de innumerables personas, pero tan pocos en la actualidad, incluso aquellos con una considerable formación matemática, son capaces de recordar el algoritmo lo suficientemente bien como para poder usarlo. o explicarlo a pedido, sin buscarlo. Este fue uno de los logros intelectuales clave del renacimiento, una separación importante de las fronteras del conocimiento clásico, y creo que merece ser mejor conocido.
No es realmente tan difícil, de todos modos. Listo?
El enfoque clásico
Estamos tratando de resolver una ecuación que se parece a [math] ax ^ 3 + bx ^ 2 + cx + d = 0 [/ math] donde los coeficientes [math] a, b, c, d [/ math] son algunos números. De hecho, me voy a centrar en lo que parece un caso muy especial:
(1) [matemáticas] x ^ 3 + cx + d = 0 [/ matemáticas].
La razón de este enfoque es que reducir un cúbico general a esta forma es bastante sencillo, así que lo dejaré hasta el final. La verdadera joya es este caso especial.
Puede jugar con esta ecuación durante días y meses en vano: las manipulaciones algebraicas que conocemos y amamos simplemente no hacen nada aquí. La idea crucial es realizar un gambito atrevido, reemplazando el único desconocido [matemáticas] x [/ matemáticas] con una suma de dos incógnitas [matemáticas] p, q [/ matemáticas]. Entonces, simplemente escribimos audazmente [math] x = p + q [/ math].
¿Cómo puede ser esto algo bueno? Necesitamos determinar un número [matemática] x [/ matemática], ¿y ahora tenemos dos incógnitas con las que lidiar? Bueno, claro, pero también tenemos un nuevo grado de libertad: podemos imponer otra condición en [matemática] p [/ matemática] y [matemática] q [/ matemática] al tiempo que les permitimos sumar hasta [matemática] x [ /matemáticas]. Tal vez eso nos salve (pista: lo hace). Esta es la única parte de la solución que necesita sacar de un sombrero . El resto es álgebra.
Pongamos que [matemáticas] p + q [/ matemáticas] en nuestra ecuación a resolver (1). Obtenemos
[matemáticas] (p + q) ^ 3 + c (p + q) + d = 0 [/ matemáticas]
Expandiendo el cubo, esto es
[matemática] p ^ 3 + q ^ 3 + 3p ^ 2q + 3pq ^ 2 + c (p + q) + d = 0 [/ matemática].
Dejamos los cubos solos pero observamos que hay otra [matemática] p + q [/ matemática] escondida en términos mixtos:
[matemáticas] p ^ 3 + q ^ 3 + 3pq (p + q) + c (p + q) + d = 0 [/ matemáticas].
Vemos un término repetido [math] p + q [/ math], por lo que naturalmente recopilamos los términos que lo contienen:
[matemáticas] p ^ 3 + q ^ 3 + (3pq + c) (p + q) + d = 0 [/ matemáticas].
Ahora viene la patada: ¿recuerdas ese grado extra de libertad que tenemos? Podemos usarlo para eliminar todo este desastre en el medio. En pocas palabras, imponemos con indiferencia que [math] 3pq + c [/ math] se desvanecerá .
[matemáticas] 3pq + c = 0 [/ matemáticas]
O:
(2) [matemáticas] q = – \ frac {c} {3p} [/ matemáticas].
Nuestra ecuación es ahora:
[matemáticas] p ^ 3 – \ frac {c ^ 3} {27p ^ 3} + d = 0 [/ matemáticas].
¡Y hemos terminado!
Espere. ¿Por qué hemos terminado?
Bueno, si has resuelto muchos ejercicios cuadráticos de la escuela secundaria, puedes reconocer que la última ecuación es simplemente un disfraz cuadrático. Ahora solo hay una variable, y es [math] p [/ math]. Solo aparece en la ecuación como [math] p ^ 3 [/ math], por lo que podríamos llamar [math] z = p ^ 3 [/ math] y obtener
[matemáticas] z – \ frac {c ^ 3} {27z} + d = 0 [/ matemáticas]
o
[matemáticas] z ^ 2 + dz – \ frac {c ^ 3} {27} = 0 [/ matemáticas],
Un mísero cuadrático. Resuélvalo, encuentre los valores posibles de [matemáticas] z [/ matemáticas], infiera los valores posibles de [matemáticas] p [/ matemáticas] (¡incluidas las complejas!), Determine [matemáticas] q [/ matemáticas] (recuerde la ecuación (2)), y sumarlos para obtener [matemáticas] x [/ matemáticas].
TADAAA !!!
Un ejemplo trabajado
Tratemos de seguir esos pasos con una ecuación concreta:
[matemáticas] x ^ 3 – 7x + 6 = 0 [/ matemáticas].
Una vez más, la forma en que realmente resuelve esto es adivinando una solución (bastante fácil en este caso), eliminando esa solución y resolviendo la cuadrática. Toma alrededor de 2 minutos aquí. Pero no, vamos a seguir la receta. Va a ser mucho más difícil, introducir números complejos en el camino, pero lo bueno de esto es que es una receta , que no requiere adivinanzas y garantiza que funcione. Siempre.
Entonces, hacemos [matemáticas] x = p + q [/ matemáticas],
[matemática] p ^ 3 + q ^ 3 + 3p ^ 2q + 3pq ^ 2 – 7 (p + q) + 6 = 0 [/ matemática]
[matemáticas] p ^ 3 + q ^ 3 + 3pq (p + q) – 7 (p + q) + 6 = 0 [/ matemáticas]
[matemáticas] p ^ 3 + q ^ 3 + (3pq-7) (p + q) + 6 = 0 [/ matemáticas]
Ahora declaramos que
[matemáticas] 3pq = 7 [/ matemáticas], o
[matemáticas] q = \ frac {7} {3p} [/ matemáticas]
consiguiendo
[matemáticas] p ^ 3 + \ frac {343} {27p ^ 3} + 6 = 0 [/ matemáticas]
o, dejando que [matemática] z = p ^ 3 [/ matemática],
[matemáticas] z + \ frac {343} {27z} + 6 = 0 [/ matemáticas]
[matemáticas] z ^ 2 + 6z + \ frac {343} {27} = 0 [/ matemáticas]
Esto es algo peludo, pero nos abrimos paso y encontramos
[matemáticas] z = -3 \ pm \ frac {10 \ sqrt {3}} {9} i [/ matemáticas].
La siguiente tarea es encontrar las [matemáticas] p [/ matemáticas] s que corresponden a cada una de esas [matemáticas] z [/ matemáticas] s. Se trata de extraer raíces cúbicas de un número complejo, una tarea difícil pero no insuperable. Busquemos las raíces cúbicas de la que tiene el signo [math] + [/ math] (resulta que esto es suficiente; repetir la tarea para el otro valor producirá las mismas raíces nuevamente). Son:
[matemáticas] p_1 = – \ frac {3} {2} + \ frac {\ sqrt {3}} {6} i [/ matemáticas]
[matemáticas] p_2 = \ frac {1} {2} – \ frac {5 \ sqrt {3}} {6} i [/ matemáticas]
[matemáticas] p_3 = 1 + \ frac {2 \ sqrt {3}} {3} i [/ matemáticas]
Para cada uno de estos, calculamos [matemática] q = 7 / (3p) [/ matemática], sumamos [matemática] p + q [/ matemática] y encontramos los valores de [matemática] x [/ matemática], que resultan ser…
[matemáticas] x_1 = p_1 + \ frac {7} {3p_1} = -3 [/ matemáticas]
[matemáticas] x_2 = p_2 + \ frac {7} {3p_2} = 1 [/ matemáticas]
[matemáticas] x_3 = p_3 + \ frac {7} {3p_3} = 2 [/ matemáticas].
Bien. Las raíces resultaron ser números bastante simples: -3, 1 y 2. Eso ciertamente podría haberse adivinado. El método es impresionantemente ineficiente en este caso particular, lo que nos obliga a trabajar con estas expresiones complejas solo para obtener respuestas tan simples con el tiempo. Pero de nuevo: esta es una receta infalible que funciona para cualquier ecuación cúbica de la forma [matemáticas] x ^ 3 + bx + c = 0 [/ matemáticas].
El cubico general
Hasta ahora tratamos el caso especial [matemática] x ^ 3 + bx + c = 0 [/ matemática]. En el caso general, comienzas con
[matemáticas] ax ^ 3 + bx ^ 2 + cx + d = 0 [/ matemáticas].
Primero, divida entre [math] a [/ math] para deshacerse del coeficiente principal (asumimos que [math] a \ neq 0 [/ math], de lo contrario no es un cúbico). Ahora tiene algo como esto (renombrando las variables para mantener las cosas simples):
[matemáticas] x ^ 3 + bx ^ 2 + cx + d = 0 [/ matemáticas].
El coeficiente [matemáticas] b [/ matemáticas] es menos la suma de las raíces. Este es solo un caso especial de las fórmulas de Vieta, pero si no está familiarizado con ellas, puede verlo fácilmente escribiendo
[matemáticas] x ^ 3 + bx ^ 2 + cx + d = (x-x_1) (x-x_2) (x-x_3) [/ matemáticas], coeficientes de expansión y ecuación de [matemáticas] x ^ 2 [/ matemáticas] .
Esto significa que si cambiamos [matemática] x [/ matemática] por [matemática] b / 3 [/ matemática], la suma de las raíces de la nueva ecuación será 0. De hecho, sea [matemática] y = x + b / 3 [/ math] o [math] x = yb / 3 [/ math], sustituye en la ecuación y observa cómo [math] x ^ 3 [/ math] contribuye con un factor de [math] -by ^ 2 [ / math] y el término [math] bx ^ 2 [/ math] contribuye [math] con ^ 2 [/ math] haciendo que desaparezca el término cuadrático.
Esto es mucho más fácil de hacer en casos específicos que siguiendo las fórmulas. Si no recuerda por qué necesita cambiar la variable, simplemente escriba [math] x = y – t [/ math], sustitúyalo y luego encuentre el valor de [math] t [/ math] que hace que el término cuadrado desaparecer.
Una vez que haya terminado de resolver la fórmula para [math] y [/ math], que ahora está en la forma correcta, solo recuerde restar [math] b / 3 [/ math] de cada solución para obtener los valores del original [matemáticas] x [/ matemáticas].
¡Eso es!