Por qu no hay solucin general de la ecuacin de quinto grado

La resolucin de ecuaciones polinomicas es un tema al que quien ms quien menos se ha acercado en su etapa de estudiante. Todos sabemos cmo resolver una ecuacin de primer grado (despejando la incgnita) y la gran mayora recordamos la famosa frmula para resolver ecuaciones de segundo grado. Tambin muchos, aunque posiblemente menos, sabrn que hay frmulas del mismo tipo para las ecuaciones de grados tres y cuatro. Y algunos menos que no se puede resolver de manera general la ecuacin de quinto grado. Pero, sabemos por qu? Lo que sacamos como conclusin del prrafo anterior es que existen frmulas generales para la resolucin de ecuaciones de grados uno, dos, tres y cuatro, pero no existe tal frmula para las de grado cinco (ni para grados superiores). Esto significa que ninguna ecuacin de grado cinco puede resolverse? No. Esto significa que dada una ecuacin cualquiera de grado cinco, no podemos calcular de manera general sus soluciones con el simple conocimiento de sus coeficientes, mientras que con ecuaciones hasta grado cuatro s que tenemos frmulas que nos las calculan. Entendido esto, surge de manera natural preguntarse por qu ocurre esto. Por qu dejamos de tener solucin general cuando llegamos al grado cinco? Lo que vamos a hacer en esta entrada es explicar matemticamente por qu esta frmula general no existe para ecuaciones de quinto grado. Y, sin lugar a dudas, los matemticos protagonistas de esta historia son variste Galois y Niels Henrik Abel. Las matemticas encargadas de ayudarnos a demostrar que tal frmula general no existe no son sencillas, y ni mucho menos evidentes. La teora encargada de echarnos una mano para recorrer este camino ser la teora de grupos, teora perteneciente a lo que podramos llamar matemticas avanzadas, y ms concretamente la teora de Galois. Pero que esto no os asuste, intentaremos hacer el camino lo ms llevadero posible para que nadie est obligado a abandonar a mitad de travesa.

variste Galois (Fuente: MacTutor) La idea brillante, y la verdadera clave de todo este asunto, fue el descubrimiento de que a cada ecuacin polinmica se le poda asignar un cierto grupo (grupo: estructura algebraica que cumple ciertas propiedades), denominado grupo de Galois de la ecuacin. No nos interesa saber qu es exactamente un grupo, ni cmo contruir este grupo de Galois en cada caso, simplemente que cada ecuacin polinmica est asociada a su grupo de Galois. Una de las muchas propiedades interesantes que puede tener (o no) un grupo es la solubilidad. Es decir, hay grupossolubles (tambin llamados resolubles) y grupos que no lo son. La definicin de grupo resoluble es algo avanzada (para los interesados est al final del post), pero para continuar leyendo no es necesario conocerla. Lo que s es interesante saber, y de hecho es uno de los pasos importantes en todo esto, es que Galois demostr que se pueden expresarconvenientemente las soluciones de una ecuacin polinmica si y slo si el grupo de Galois de dicha ecuacin es resoluble. Esto, si os fijis, es bastante fuerte, ya que el hecho de expresar convenientemente las soluciones de una ecuacin se reduca simplemente al estudio del grupo de Galois de dicha ecuacin, y sobre grupos ya se conocan muchas cosas.

Niels Henrik Abel (Fuente: MacTutor) Bien, vamos con el segundo y ltimo paso. El grupo de Galois de una ecuacin cualquiera de grado uno, dos, tres o cuatro es siempre resoluble, por lo que siempre podemos expresar las soluciones de dichas ecuaciones en radicales (esto de en radicales es la forma de llamar a la expresin de dichas soluciones, lo que

hemos llamado antes expresar convenientemente, no nos asustemos). Y el de una ecuacin de grado mayor o igual que 5? Puesen general no. Es decir, el grupo de Galois de una ecuacin cualquiera de grado cinco (o mayor) no es resoluble. Eso es lo que dice elteorema de Abel-Ruffini, tambin conocido como teorema de imposibilidad de Abel (tambin al final de este post tenis algn detalle ms matemtico de este asunto). Por tanto, no podemos aspirar a tener una frmula general que nos d todas las soluciones de una ecuacin cualquiera de grado cinco o superior. Podremos expresar en radicales las soluciones de algunas (las que tengan grupo de Galois asociado resoluble), pero siempre habr ecuaciones de grado cinco o mayor cuyo grupo de Galois no sea resoluble. Fin de la historia, y esta vez con final felizo no? Bueno, depende. Por un lado quizs el hecho de que no existan esas frmulas para el caso general con grado mayor o igual que cinco puede dejarnos una sensacin de vaco difcil de llenar, pero por otra parte dejamos el problema totalmente resuelto: hasta grado cuatro tenemos frmulas y de grado cinco en adelante no tenemos que preocuparnos de buscarlas porque no las hay. En qu bando estis, en final feliz o final vaco? Vamos con el contenido ms durillo. Primero una definicin previa: Dado un grupo , una serie normal de subgrupos de es un conjunto de subgrupos tales que (el elemento neutro de ), y es un subgrupo normal de , para todo . Esta situacin se representa as:

Los grupos cociente

se llaman factores de la serie.

Y ahora la definicin de grupo resoluble: Un grupo es resoluble si posee una serie normal de subgrupos todos sus factores son grupos abelianos. tal que

Entre las propiedades de los grupos resolubles destacamos la siguiente, ya que es fundamental en este caso: Si es un grupo resoluble, entonces todo subgrupo suyo tambin es resoluble. Lo que utilizaremos ser el contrarrecproco de este resultado (recordad estas lecciones de lgica para el da a da). Esto es, que si un grupo tiene un subgrupo que no es resoluble, entonces el propio grupo tampoco lo es. Continuemos. Por un lado, se sabe que el grupo de Galois de una ecuacin polinmica genrica de grado es el grupo de permutaciones . Y por otro lado

el conocido comoteorema de Abel afirma que , subgrupo de denominado grupo alternado (que contiene las permutaciones pares de ), es un grupo simple para , es decir, que no tiene sugbrupos normales propios para . Qu nos dice esto ltimo? Pues que la nica serie normal posible para con , es la siguiente: ,

Para que , con , fuera resoluble debera cumplirse (por definicin) que todos los factores de dicha serie fueran abelianos. El nico factor de esta serie es , que es el propio . Pero no es abeliano para . En consecuencia, , con , no es resoluble, y por tanto, por el contrarrecproco de la propiedad vista anteriormente, no es resoluble para . En consecuencia no podemos encontrar una forma general de expresin en radicales de las soluciones de una ecuacin genrica de grado cinco o mayor.

http://gaussianos.com/por-que-no-hay-solucion-general-de-la-ecuacion-de-quinto-grado/

La semana de la cbica: Solucin de problema (con bonus curtico)

Introduccin
Como comentamos en la historia de la resolucin de la cbica, Tartaglia revel, despus de mucha insistencia, su mtodo de resolucin de los distintos tipos de ecuaciones cbicas reducidas a Cardano. Pero no lo hizo de una manera convencional, sino que lo hizo en verso. Concretamente as: Quando chel cubo con le cose appresso se agguaglia a qualche numero discreto: trovan dui altri, diferente in esso. Dapoi terrai, questo per consueto, chel loro produtto, sempre sia eguale al terzo cubo della cose neto; el residuo poi suo generale, delli lor lati cubi, ben sottratti varra la tua cosa principale.

In el secondo, de cotesti atti; quando chel cubo restasse lui solo, tu osserverai questaltri contratti, del numer farai due tal parta volo, che luna, in laltra, si produca schietto, el terzo cubo delle cose in stolo; delle quali poi, per commun precetto, torrai li lati cubi, insieme gionti, et co tal somma, sar ii tuo concetto; el terzio, poi de questi nostri cnti, se solve col segundo, se ben guardi che per natura son quasi congionti. Questi trovai, et non con pasi tardi nell mille cinquecente quatro e trenta; con fondamenti ben saldi, e gagliardi; nella citt del marintorno centa. Los nueve primeros corresponden a la resolucin de la ecuacin , los nueve siguientes son para el tipo , los siguientes tres para y los cuatro ltimos indican el lugar y la fecha en la que Tartaglia los descubri. Vamos a comenzar esta resolucin haciendo un anlisis de parte de estos versos.

Lugar y fecha
Como hemos comentado antes los ltimos cuatro versos corresponden al lugar y la fecha en la que se produjo el descubrimiento. Su traduccin es: Esto encontr, y no con pasos lentos En el mil quinientos treinta y cuatro Con fundamento bien claros y gallardos En la ciudad ceida en torno por el mar. Aunque Tartaglia alude al ao 1534, en realidad el descubrimiento se produjo en febrero de 1535. La razn de este desfase es que en aquella poca en Venecia se utilizaba un calendario propio que tomaba el 1 de marzo como comienzo del ao. La ciudad, evidentemente, es Venecia.

Ecuacin cbica tipo

Analicemos ahora los nueve primeros versos:

Cuando est el cubo con la cosa cerca Y se iguala a algn nmero discreto Busca otros dos que difieran en eso. Despus t hars esto que te espeto Que su producto siempre sea igual Al tercio cubo de la cosa neto. Despus el resultado general De sus lados cbico bien restados Te dar a ti la cosa principal Pasemos estos versos a lenguaje algebraico moderno: Cuando est el cubo ( ) con la cosa cerca ( ) y se iguala a un nmero discreto ( ), es decir, cuando tenemos , busca otros dos que difieran en eso, es decir, toma tales que . Despus t hars lo que te espeto: que su producto ( ) siempre sea igual al tercio cubo de la cosa neto ( ), es decir:

Despus el resultado general de sus lados cbicos bien restados ( cosa principal ( ). Es decir:

) te dar a ti la

En resumidas cuentas, para resolver la ecuacin nmeros y que verifiquen las dos ecuaciones siguientes:

debemos encontrar dos

La solucin ser entonces:

Para resolver el sistema anterior despejamos de la primera ecuacin, quedando sustituimos en la otra, obteniendo . Operando queda:

Que, teniendo en cuenta que y son conocidos, es una ecuacin de segundo grado en . Resolvemos dicha ecuacin y consideramos la solucin positiva de la misma:

Sustituimos en

, obteniendo entonces:

Ya tenemos los valores de y . Llevndonos estos valores a la expresin de anterior obtenemos el resultado buscado:

Los otros dos casos

Para la parte del poema relacionada con los otros dos casos no tengo traduccin ni he podido buscarla. De todas formas en la actualidad es sencillo convertirlos en el primer caso. Alguien se anima con ella?

Solucin de la cbica general

Para resolver la ecuacin cbica en su forma general, es decir, dividimos la ecuacin entera entre , obteniendo la ecuacin despus realizamos el cambio de variable siguiente: , y

Es sencillo ver que este cambio elimina el trmino de segundo grado de la ecuacin, dejndola de la forma , que podemos resolver de la forma anterior.

Solucin de la ecuacin de cuarto grado

Vamos a ver ahora cmo resolver una ecuacin de grado cuatro. La consideraremos ya con coeficiente lder igual a 1 (si no lo tiene dividimos la ecuacin entera por l), es decir, .

El primer paso es eliminar el trmino de grado tres. Esto lo conseguimos con el cambio de variable . Nos queda una ecuacin del tipo . Ahora factorizamos este polinomio de la forma (podemos hacerlo ya que no tenemos trmino de grado tres). Desarrollando e igualando coeficientes obtenemos las siguientes ecuaciones:

Recordemos que

y son constantes conocidas.

Eliminamos y del sistema y obtenemos la siguiente ecuacin en :

La ecuacin es de grado seis, pero slo aparecen las potencias pares de . Por ello, haciendo el cambio obtenemos la ecuacin

que al ser de grado tres puede resolverse por el mtodo anterior. Despus recorremos el camino anterior en sentido inverso y encontramos la solucin buscada. http://gaussianos.com/la-semana-de-la-cubica-solucion-de-problema-con-bonus-cuartico/

De dnde sale la frmula para resolver ecuaciones polinmicas de segundo grado?

Todo el que haya llegado hasta Educacin Secundaria ha resuelto ecuaciones polinmicas de segundo grado. Por tanto todo el mundo conoce la famosa frmula que se utiliza para determinar cuntas soluciones tiene una ecuacin concreta:

Las posibilidades son 0, 1 2 y es la frmula la que nos acaba diciendo cuntas hay y cules son en el caso de que existan. La pregunta es: todo el mundo sabe de dnde sale esta frmula? Probablemente a todos nos lo hayan dicho en su momento pero tengo comprobado que mucha gente acaba por memorizar la frmula sin ms y olvida de dnde sale. Aunque la cosa no tiene demasiado misterio creo que merece la pena dedicarle un post para que todos recordemos este tema. Ah va:

Partimos de la ecuacin polinmica siguiente:

donde se supone

para que la ecuacin sea de verdad de segundo grado.

Lo que vamos a hacer ahora es reescribirla como un binomio al cuadrado ms unas ciertas constantes, digamos . Como sabemos que tenemos que: 1. El trmino del binomio que nos proporcionar (supongamos que es ) debe ser . Por tanto . 2. El trmino debe salir del doble producto . Como tenemos que . Despejando obtenemos que . 3. Al realizar el cuadrado de ese binomio nos queda que , constante que antes no tenamos. Por tanto tendremos que restarla. Adems debe seguir estando. Por tanto Vamos, que la cosa queda como sigue: .

Pasamos las constantes al otro lado:

Hacemos raz cuadrada a ambos lados (en este paso es donde aparece el

):

Operamos dentro de la raz del segundo miembro:

Pasamos la constante de la izquierda al otro lado y sacamos

de la raz:

Dividimos ambos miembros por (lo que comnmente se dira como pasamos miembro) y sumamos las fracciones. La cosa queda:

al otro

que es lo que todos conocemos. Aunque como dije antes la demostracin no tiene demasiado misterio, es bastante sencilla e intuitiva no viene mal de vez en cuando recordar ciertas cosas relativamente sencilla que generalmente la gente no retiene en su memoria (el clculo de la raz cuadrada es otro ejemplo sobre este tipo de temas). Espero que os haya parecido interesante. Actualizacin: En los comentarios Pelcano nos comenta otra forma an ms simple. Ah va: Partimos de . Restamos a ambos lados. Queda:

Multiplicamos a ambos lados por

. Queda:

Sumamos

a ambos lados:

La parte izquierda se pone como el cuadrado de un binomio:

Hacemos raz cuadrada a ambos lados:

Restamos a ambos lados:

Y para concluir dividimos por

a ambos lados obteniendo lo que queramos:

http://gaussianos.com/%C2%BFde-donde-sale-la-formula-para-resolver-ecuaciones-polinomicasde-segundo-grado/