Funcin cbica

La funcin cbica es una funcin polinmica de tercer grado. Tiene la forma: ; donde el coeficiente a es distinto de 0. Tanto el dominio de definicin como el conjunto imagen de estas funciones pertenecen a los nmeros reales.

[editar] El caso general

Sea un cuerpo conmutativo, donde se pueden extraer races, propiedad que har posible resolver la ecuacin. En un cuerpo algebraicamente cerrado se sabe que todo polinomio de tercer grado (o ecuacin cbica) tiene tres races. Este es el caso, por ejemplo, del cuerpo de los nmeros complejos, segn el Teorema Fundamental del lgebra. La solucin de la ecuacin algebraica cbica fue dada por primera vez en el libro Ars Magna (del latn, que significa Gran Arte o Arte Magno) por el matemtico italiano Gerolamo Cardano (1501-1576) que publico en el ao de 1545, razn por la cual se le llama mtodo de Cardano. Los pasos de la resolucin son:

Dividir la ecuacin inicial por el coeficiente a (a 0). Se obtiene:

con

Proceder al cambio de incgnita

, para suprimir el trmino cuadrado.

En efecto, al desarrollar el trmino

con la identidad precedente, vemos aparecer que aparece en

, compensado exactamente por

. Se obtiene: , con p y q nmeros del cuerpo que tienen las siguientes expresiones

Y ahora, la astucia genial: escribir . Desarrollando: Reagrupando:

. As, la ecuacin precedente da

. .

Factorizando: . Como se ha introducido una variable adicional (u y v en vez de z), es posible imponerse una condicin adicional. Concretamente: , que implica

. . Entonces tenemos y . Por lo tanto U y V son las , que se sabe resolver.

Pongamos

y porque

races de la ecuacin auxiliar

Luego

son races cbicas de . , si y y

(que verifican

finalmente En el cuerpo por supuesto

son estas races cbicas, entonces las otras son , con , una raz cbica de la unidad.

,y

Como el producto uv est fijado , y .

, las parejas

posibles son

Las otras races de la ecuacin de tercer grado son por lo tanto .

[editar] Discriminante

Grfico de una funcin cbica del tipo y = K(x+4)(x+1)(x-2). Las races son los lugares donde la curva cruza el eje x (y = 0), esto es: x1 = -4, x2 = -1 y x3 = 2. Resulta importante y a la vez esencial obtener propiedades elementales de los polinomios como herramientas de anlisis en los resultados segn los valores de sus coeficientes.

Demostracin de la discriminante de equivalencia de la ecuacin auxiliar

mediante transformaciones

Trinomio cuadrado perfecto Trasformacin equivalente en

Moviendo

al miembro derecho

Demostrado que cuando la ecuacin posee raices Reales dobles.

[editar] El caso real

Las primeras ecuaciones de tercer grado que se intent resolver fueron con coeficientes reales (de hecho: enteros). El cuerpo de los reales no es algebraicamente cerrado, por lo tanto, el nmero de races reales no es siempre 3. Las que faltan se encuentran en C, extensin algebraica cerrada de R. La distincin aparece cuando se sacan las races cuadradas en el clculo de U y V. Las races cbicas no plantean problemas. Se demuestra que el nmero de races reales depende del discriminante de la ecuacin auxiliar

Si > 0 existe una nica raz real. Las dems son complejas conjugadas. Si = 0 existe una raz mltiple real: una raz triple o una doble y otra simple, todas reales. Si < 0 existen tres races reales.

Habrn notado que siempre hay por lo menos una solucin real. Es debido a que las funciones polinomiales no constantes tienen lmites infinitos en + y - y las de grado impar tienen lmites de signos contrarios. Como son funciones contnuas, tienen que pasar por cero, por el teorema de los valores intermedios. En la figura siguiente se registra todos los casos, segn los signos de a y de . Aunque lo ms fcil es resolverla con el mtodo Newton-Raphson ya que sabemos que al menos habr una solucin real.

[editar] Races reales de la ecuacin cbica

La ecuacin cbica incompleta discriminante , pero donde se calculan como posee tres races reales cuando el posee cualquier valor y signo. Tales races

, para donde el signo positivo se usa si esta dada por y el signo negativo se usa si . Mientras que

De modo que si queremos calcular las tres races de la ecuacin cbica completa , entonces podemos obtenerlas fcilmente como

, para

[editar] Races mltiples

En cualquier ecuacin cbica es posible que se presenten races mltiples, es decir, races de multiplicidad dos y tres, esto es, que dos o tres de las races sean iguales entre s. Las races de multiplicidad unitaria ya fueron descritas antes, ahora la raz doble se puede presentar si y slo si se cumple la condicin de que

y las races de la ecuacin cbica incompleta sern

mientras que las races triples se presentan cuando se cumpla la condicin de que

con lo que las races de la ecuacin cbica completa se calcularn fcilmente como

[editar] Ejemplo 1
Sea la ecuacin cbica sigamos los pasos descritos en el primer prrafo.

, procedamos a resolverla. Para ello,

(al dividir por 2) Con x = t + 1, es decir t = x - 1, reemplazando: , y desarrollando:

x = u + v, U = u, V = v y nos imponemos U + V = - 1 y UV = - 1. U y V son las races de X + X - 1 = 0.

, luego

[editar] Segundo ejemplo

Este ejemplo es histrico porque fue el que tom Rafael Bombelli quien fue, con Cardano, el primero en resolver ecuaciones del tercer y cuarto grado por el mtodo ya expuesto (en la Italia del renacimiento, en pleno siglo XVI). La ecuacin es x - 15x - 4 = 0. Estudiando la funcin x x - 15x - 4 o calculando el discriminante = -13068 < 0, nos damos cuenta que esta ecuacin tiene tres races ( vean el cuadro 3 de la figura). Por lo tanto debera ser ms fcil que en el primer ejemplo encontrar una. Los dos primeros pasos son intiles. Pasamos al tercero: x = u + v, U = u, V = v. U + V = 4 y UV = 125 U y V son las races de X - 4X + 125 = 0, ecuacin cuyo discriminante ya hemos calculado y que es negativo. Por lo tanto no tiene races reales. Este mtodo nos permite encontrar las races, todas reales, pasando obligatoriamente por los complejos. Es paradjico ! Esta constatacin fue un argumento a favor de los complejos: son herramientas imprescindibles para resolver ecuaciones, aunque slo tengan soluciones reales. Hallamos U = 2 - 11i y V = 2 + 11i. Extraer races cbicas en los complejos no es lo mismo que en los reales. Hay dos mtodos: uno geomtrico, que utiliza el argumento y el mdulo (se divide el argumento por tres, y se toma la raz cbica del mdulo), y otro algebraico, que emplea las partes real e imaginaria: Pongamos u = a + bi. u = 2 - 11i equivale al sistema: a - 3ab = 2 (parte real) 3ab - b = - 11 (parte imaginaria) a + b = 5 (mdulo) Obtenemos a = 2 y b = -1, o sea u = 2 - i, y v es su conjugado: v = 2 + i. En conclusin, x = u + v = (2 - i) + (2 + i) = 4, lo que se verifica de inmediato. Las otras races son x' = j(2 - i) + j(2 + i) = - 2 + 3 y x" = j(2 - i) + j(2 + i) = - 2 - 3. Cuando es negativo, U y V son conjugados, y por lo tanto tambin lo son u y v (con tal de bien escoger la raz cbica, recordando que uv = -p/3); as estamos seguros de obtener un x real, y de hecho tambin x' y x".

Nota: Toda ecuacin cbica completa tiene otra equivalente incompleta o completa condicionada (familia de cbicas), que se puede observar mediante el cambio de variable x=z+k. Con esto podemos encontrar otra frmula general para las ecuaciones cbicas, diferente a las frmulas de Cardano o Tartaglia.

El discriminante de los polinomios cbicos

El polinomio cbico ax3 + bx2 + cx + d tiene discriminante b2c2 4ac3 4b3d 27a2d2 + 18abcd.

Los polinomios ms simples tienen discriminantes con expresiones ms simples. Por ejemplo el polinomio mnico cuadrtico x2 + bx + c tiene discriminante b2 4c.

el polinomio mnico cbico x3 + bx2 + cx + d tiene discriminante b2c2 4c3 4b3d 27d2 + 18bcd.

El polinomio mnico cbico sin trmino cuadrtico x3 + cx + d tiene discriminante 4c3 27d2.

[editar] Caso general

El discriminante del polinomio general

es, hasta cierto factor, igual al determinante de la matriz (2n 1)(2n 1) (Vase tambin: matriz de Sylvester)

El determinante de esta matriz se conoce como la resultante de p(x) y p'(x), notacin R(p,p'). El discriminante D(p) de p(x) viene dado por

Por ejemplo, en el caso n = 4, el determinante es

El discriminante del polinomio de cuarto grado se obtiene a partir de su determinante dividindolo por a4.

De forma equivalente, el discriminante es igual a

donde r1,..., rn son las races complejas (contando su multiplicidad) del polinomio p(x):

Esta segunda expresin clarifica que p tiene raz mltiple si y solo si el discriminante es cero (la raz mltiple puede ser compleja). El discriminante puede definirse para polinomios en cuerpos arbitrarios de la misma manera. La frmula que involucra las races ri sigue siendo vlida; las races tienen que tomarse en un cuerpo de descomposicin del polinomio.

Ecuacin de cuarto grado

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

Grfico de una ecuacin de cuarto grado.

Una ecuacin curtica con una incgnita es una ecuacin que se puede poner bajo la forma cannica:

donde a, b, c, d y e (siendo los reales o los complejos

) son nmeros que pertenecen a un cuerpo, usualmente a .

Caso general
Sea K un cuerpo, donde se pueden extraer races cuadradas y cbicas (y por lo tanto tambin de cuarto orden, pues equivale a extraer races cuadradas dos veces seguidas). En este cuerpo, es posible factorizar por todo a, y la identidad siguiente es vlida:
.

En un cuerpo algebraicamente cerrado, se sabe que todo polinomio de grado 4 tiene cuatro races. Es el caso del cuerpo de los complejos, segn el Teorema Fundamental del lgebra. El mtodo siguiente permite obtener las cuatro races al mismo tiempo, eso s, despus de un largo clculo. Este mtodo es llamado "mtodo de Descartes", pues fue dado por el matemtico francs Ren Descartes (1596-1650) en el ao de 1637 en su clebre libro "La Geometra". Aunque existen hasta 5 mtodos distintos de resolver las ecuaciones curticas, estos son: (1) mtodo de Ferrari, (2) mtodo de Descartes, (3) mtodo de Euler, (4) mtodo de Lagrange y (5) mtodo de lcala.

[editar] Mtodo de Descartes

Los pasos de la resolucin para el mtodo de Descartes (1637) son:

Dividir la ecuacin inicial por el coeficiente a. Se obtiene:

, donde

Proceder al cambio de incgnita efecto, al desarrollar

, para suprimir el trmino cbico. En con la identidad precedente, vemos aparecer el trmino . Tras

, compensado exactamente por que aparece en sustituir x y operando con las identidades notables, se obtiene: , con p, q y r nmeros del cuerpo.

Y ahora, la idea genial: factorizar lo anterior en que es posible porque no hay z en el polinomio.

, lo

Desarrollando la expresin e identificando los dos polinomios, obtenemos las condiciones:

(coeficiente de x) (coeficiente en x) (trmino constante)

Despus de algunos clculos, hallamos : Es una ecuacin del sexto grado, pero si miramos bien, slo aparece con potencias pares. Pongamos A = 2. Entonces:
, que resulta ser una ecuacin de tercer y que se puede resolver usando el mtodo de Cardano.

grado en la variable

Luego se encuentra , y , y se resuelven para rematar, no se olvide que .

,y

[editar] Ecuaciones bicuadradas

stas son un caso particular de las anteriores. Les faltan los trminos a la tercera y a la primera potencia. Su forma polinmica es:

Para resolver estas ecuaciones tan solo hay que hacer el cambio de variable Con lo que nos queda: El resultado resulta ser una ecuacin de segundo grado que podemos resolver usando la frmula:

Ahora bien, esto no nos da las cuatro soluciones esperadas. An hemos de deshacer el cambio de variable. As las cuatro soluciones sern:

[editar] Otro caso particular: Ecuaciones casi-simtricas

El siguiente tipo de ecuacin

, donde Al dividir la ecuacin por x2, se obtiene

, puede ser resuelto as:

Haciendo cambio de variable:

llegamos a

As

Esta ecuacin da 2 races, z1 y z2 Las races de la ecuacin original pueden ser obtenidas resolviendo las siguientes ecuaciones de 2o grado:

Si a0 no es 1 en este mtodo es de todas formas aplicable, luego de dividir la ecuacin entre a0. Las ecuaciones cuasi simtricas poseen la siguiente propiedad, que, por otra parte, las define: si x1, x2, y x3,x4 son las races de la ecuacin, entonces x1x2 = m. Dado que el producto de las 4 races es m2, entonces x3x4 = m necesariamente.

Ecuaciones cuadrticas, cbicas y curticas.

A menudo se afirma que los babilonios (circa 400 a.C.) fueron los primeros en resolver ecuaciones cuadrticas. Esto es slo una simplificacin, en realidad los babilonios no tenan nocin de lo que era una ecuacin. Lo que ellos desarrollaron fue una aproximacin algortmica a resolver ciertos problemas, que en nuestra terminologa, daran lugar a una ecuacin cuadrtica. El mtodo era esencialmente el de completacin de cuadrados. Adems, todos los problemas babilnicos tenan soluciones positivas (las obtenan sin signo), cantidades que representaban usualmente una longitud. Alrededor del 300 a.C., Euclides desarroll un mtodo geomtrico para hallar una longitud que en nuestra notacin es la raz de una ecuacin cuadrtica. Aunque matemticos posteriores lo usaron para resolver ecuaciones cuadrticas, Euclides no tena nocin ni de ecuacin, ni de coeficientes. Trabajaba slo con cantidades geomtricas. Los matemticos indes llevaron los mtodos babilnicos mas all. Brahmagupta (598-665 AD) da un mtodo, casi moderno, que admite resultados negativos. Usa abreviaciones para las indeterminadas, usualmente la letra inicial de un color, y a veces resolvan problemas con ms de una indeterminada. Los rabes no conocan los avances indes y no manejaron cantidades negativas ni abreviaciones para las indeterminadas. Sin embargo, al-Khwarizmi (circa 800) da una clasificacin de diferentes tipos de cuadrticas (aunque slo ejemplos numricos). Precsamente, estos tipos surgen al no considerar resultados menores o iguales que cero. Considera seis tipos y dedica un captulo a cada tipo de ecuacin. Las ecuaciones se construyen con tres tipos de cantidades: races, cuadrados de races y nmeros; esto es, x, x2 and numbers.

Cuadrados igualados a races. Cuadrados igualados a nmeros. Races igualadas a nmeros. Cuadrados y races igualados a nmeros, p.ej. x2 + 10x = 39. Cuadrados y nmeros igualados a races, p.ej x2 + 21 = 10x. Races y nmeros igualados a cuadrados, p.ej. 3x + 4 = x2.

Al-Khwarizmi da la regla para resolver cada tipo de ecuacin, esencialmente la frmula cuadrtica escolar aplicada a cada tipo de ejemplo, acompaada de una demostracin geomtrica que es la completacin de cuadrados en cada caso. Abraham bar Hiyya HaNasi, conocido por Savasorda, se hizo famoso por su libro Liber embadorum, publicado en 1145, que es el primero en Europa en publicar la solucin completa de la ecuacin de segundo grado. Una nueva fase empez en Italia alrededor de 1500. En 1494, apareci la primera edicin del libro del fraile Luca Pacioli, titulado Summa de arithmetica, geometrica, proportioni et proportionalita, conocido hoy como la Suma. Este libro era un compendio del saber acumulado y no introduce ningn resultado nuevo sobre ecuaciones. Pero la notacin y la distribucin del clculo s son nuevos y casi actuales: 6.p.R.10

18.m.R.90 108.m.R.3240.p.R.3240.m.R.900 hoc est 78. En notacin actual (6 + 10)(18 - 90) = (108- 3240 + 3240 - 900) = 78. Pacioli no discute ecuaciones cbicas pero s algunas curticas. Por ejemplo, x4 = a + bx2 resuelta por mtodos cuadrticos. Sin embargo, las bicuadrticas x4 + ax2 = b y x4 + a = bx2 no las consider por imposibles en aquella poca. Scipione dal Ferro (1465-1526) fue catedrtico de Aritmtica y Geometra en la universidad de Bolonia y debi de conocer a Pacioli que fue lector en Bolonia en 1501-2. A del Ferro se le atribuye la resolucin algebrica de la ecuacin cbica, pero no el caso general. Parece que del Ferro slo poda resolver ecuaciones de la forma x3 + mx = n. De hecho, para una cbica ms general y3 - by2 + cy - d = 0, haciendo el cambio y = x + b/3 se obtiene x3 + mx = n donde m = c - b2/3, n = d - bc/3 + 2b3/27. Sin embargo, sin el conocimento hind de los nmeros negativos, del Ferro no poda usar su solucin para resolver todas las cbicas. Curiosamente, del Ferro resolvi sus ecuaciones cbicas en 1515 pero mantuvo su trabajo en secreto hasta poco antes de su muerte, en 1526, cuando se lo revel a su estudiante Antonio Fior. Fior era un mediocre matemtico y tampoco era bueno para guardar secretos. Pronto corri el rumor en Bolonia de que la ecuacin cbica haba sido resuelta. Nicolo of Brescia, conocido como Tartaglia conociendo al parecer la solucin de del Ferro, se puso a trabajar y encontr el mtodo general para una cbica arbitraria y no lo mantuvo en secreto. Fior ret a Tartaglia a un concurso pblico: las reglas fueron que cada uno diera 30 problemas al otro con 40 or 50 dias para resolverlos, ofreciendo un premio por cada una resuelta y otro al ganador absoluto. Tartaglia resolvi todos los problemas de Fior en dos horas, adems todos los problemas de Fior eran del tipo x3 + mx = n que del Ferro no saba resolver. Tartaglia haba ganado. Las noticias de la victoria de Tartaglia llegaron hasta Girolamo Cardano, en Milan, donde estaba preparando la publicacin su libro Practica Arithmeticae (1539). Cardano invit a Tartaglia y , despus de mucha persuasin, consigui que le dijera cal era su solucin de la cbica. Tartaglia le pidi a Cardano que la matuviera en secreto hasta que l msmo la publicara. Cardano no cumpli su promesa. En 1545, public Ars Magna el primer tratado de lgebra en latn. En notacin moderna, la solucin publicada por Cardano, de la ecuacin x3 + mx = n es: Como la diferencia de cubos es (a - b)3 + 3ab(a - b) = a3 - b3 Si a y b satisfacen 3ab = m

a3 - b3 = n entonces a - b es una solucin de x3 + mx = n. Pero entonces b = m/3a y entonces a3 - m3/27a3 = n o equivalentemente a6 - na3 - m3/27 = 0. Esta ltima es una ecuacin cuadrtica en a3 (llamada resolvente de la cbica), y usamos la frmula usual para hallarla. Ahora, a se despeja tomando races cbicas en la expresin anterior. Anlogamente, b es una raz cbica (tambin usando b=m/3a). Finalmente, x = a b es una solucin de la cbica. El propio Cardano encontr algo extrao cuando aplicaba la frmula a ciertas cbicas. Resolviendo x3 = 15x + 4 obtuvo una expresin que implicaba a -121. Cardano saba que la raz cuadrada de un nmero negativo no existe pero tambin saba que una solucin de la cbica era x = 4. Escribi a Tartaglia el 4 de agosto de 1539, para aclarar esta dificultad. Tartaglia tampoco lo entenda. En Ars Magna, Cardano hace un clculo con nmeros complejos para resolver un problema similar, pero sin entender sus propios clculos, de los cuales dce que son tan sutiles como prcticos. Di un temprano ejemplo de que la verdad en matemticas es su falta de contradiccin (su uso correcto) y no su ajuste a una realidad concreta (los nmeros reales en este caso). Despus de que Tartaglia enseara a Cardano a resolver cbicas, Cardano anim a su alumno, Lodovico Ferrari, para que estudiara las ecuaciones curticas. Ferrari resolvi la curticas con quizs el ms elegante de todos los mtodos para resolver este tipo de problemas. Cardano de nuevo se apropi de este resultado y public 20 casos de ecuaciones curticas en su Ars Magna. En notacin moderna, la solucin de Ferrari de la ecuacin: x4 + px2 + qx + r = 0 es: Primero se completa el cuadrado para obtener x4 + 2px2 + p2 = px2 - qx - r + p2 esto es (x2 + p)2 = px2 - qx - r + p2 Ahora el truco. Para cada y tenemos (x2 + p + y)2 = px2 - qx - r + p2 + 2y(x2 + p) + y2 = (p + 2y)x2 - qx + (p2 - r + 2py + y2) (*) Ahora el miembro de la derecha es cuadrtico en x, pudiendo elegir y tal que sea un cuadrado perfecto. Esto se hace igualando el discriminante a cero, en este caso (-q)2 -4(p + 2y)(p2 - r + 2py + y2) = 0. reescribiendo esta ltima ecuacin como

(q2 - 4p3 + 4 pr) + (-16p2 + 8r)y - 20 py2 - 8y3 = 0 que es una cbica en y (llamada la resolvente cbica de la curtica). Sabemos como resolver cbicas, y podemos hallar los tres valores de y. Con estos valores de y, el miembro de la derecha de (*) es un cuadrado perfecto. Extrayendo los races cuadradas en ambos miembros, obtenemos una ecuacin cuadrtica en x. Resolvindola obtenemos la deseada solucin de la curtica. El caso irreducible de la cbica, en que la frmula de Cardano conduce a una raz cuadrada de un nmero negativo, fue estudiado en detalle por Rafael Bombelli en 1572 en su trabajo Algebra. En los aos posteriores al Ars Magna, de Cardano, muchos matemticos contribuyeron a la solucin de las ecuaciones cbicas y curticas. Vite, Harriot, Tschirnhaus, Euler, Bezout y Descartes idearon mtodos. El mtodo de Tschirnhaus fue extendido por el matemtico sueco E. S. Bring hacia el final del siglo dieciocho. Thomas Harriot hizo varias contribuciones. Una de las ms interesante es la observacin de que si x = b, x = c, x = d son soluciones de una cbica entonces la cbica es (x - b)(x - c)(x - d) = 0 Harriot tambin di un mtodo para resolver un caso especial de cbica. En marzo de 1673, Leibniz escribi escribi una carta a Huygens. En ella, hizo varias aportaciones al entendimiento de las cbicas. Quizs la ms llamativa sea una comprobacin directa de las frmulas de Cardano-Tartaglia, reconstruyendo la cbica a partir de las tres races. Fue el primero en verificar esas frmulas directamente en forma algebrica. Todas las demostraciones anteriores eran geomtricas.