Teorema de Abel-Ruffini

En matemticas el teorema de Abel o teorema de Abel-Ruffini postula que no

pueden resolverse por radicales las ecuaciones polinmicas generales de grado igual o
superior a cinco.
Es decir, no es posible encontrar las soluciones de la ecuacin general:

de grado superior o igual a cinco, aplicando nicamente un nmero finito

de sumas, restas, multiplicaciones, divisiones y extraccin de races a los coeficientes de
la ecuacin.
ndice
[ocultar]

1 Aclaraciones

2 Demostracin

3 Vase tambin

4 Enlaces externos

Aclaraciones[editar]
El contenido de este problema es generalmente mal entendido:
1. El teorema no afirma que las ecuaciones polinmicas de grado cinco o superior
no tengan soluciones o que no puedan ser resueltas. De hecho, si la ecuacin
polinmica tiene coeficientes reales o complejos y permitimos soluciones
complejas, entonces cualquier ecuacin polinomial tiene soluciones; ste es
el teorema fundamental del lgebra. Aunque estas soluciones no siempre pueden
ser calculadas exactamente con un nmero finito de operaciones aritmticas,
pueden serlo hasta cualquier grado de exactitud deseado usando mtodos
numricos tales como el mtodo de Newton-Raphson o el Mtodo de Laguerre, y
de ese modo no son diferentes de las soluciones de las ecuaciones polinmicas
de segundo, tercero y cuarto grados.
2. El teorema solo se refiere a la forma que una solucin debe tomar. El contenido
del teorema es que la solucin de una ecuacin de grado cinco o superior no
puede siempre ser expresada comenzando por los coeficientes y usando solo
finitamente las operaciones de suma, multiplicacin,y radicacin.
3. El teorema es falso para ecuaciones de grados inferiores a cinco. Por ejemplo, las
soluciones de la ecuacin de segundo grado ax2 + bx + c = 0 pueden ser
expresadas en trminos de adicin, multiplicacin y extraccin de races como:

Formas anlogas para las ecuaciones polinmicas de tercer y cuarto grado, usando
races cbicas y cuartas, han sido conocidas desde el siglo XVI.

4. Para grados superiores o iguales a cinco, el teorema especifica que no puede

resolverse por radicales cualquier ecuacin pero hay ecuaciones particulares que
s pueden resolverse por radicales. As, el teorema de Sach-Ruffini dice que hay
algunas ecuaciones de quinto grado cuya solucin no puede ser expresada de
ese modo como por ejemplo la ecuacinx5 - x + 1 = 0. Sin embargo, algunas otras
ecuaciones de quinto grado pueden ser resueltas mediante radicales, por
ejemplo x5 - x4 - x + 1 = 0.
5. El criterio preciso que separa aquellas ecuaciones que pueden ser resueltas
mediante radicales de aquellas que no fue dado por variste Galois y es parte de
la Teora de Galois: una ecuacin polinmica puede ser resuelta mediante
radicales si y slo si su grupo de Galois es un grupo resoluble. En el anlisis
moderno, la razn por la que las ecuaciones polinomiales de segundo, tercero y
cuarto grado pueden ser resueltas mediante radicales mientras que las
ecuaciones de grado superior no, es simplemente el hecho algebraico de que los
grupos simtricos S2, S3 y S4 son grupos resolubles, mientras que Sn no es
resoluble para n 5.

Demostracin[editar]
La siguiente demostracin est basada en la Teora de Galois. Uno de los teoremas
fundamentales de la teora de Galois dice que una ecuacin se puede resolver en
radicales si, y solo sitiene un Grupo de Galois que se puede resolver, entonces la
demostracin del teorema de Abel-Ruffini viene de calcular el grupo de Galois del
polinomio general de quinto grado.
Sea

un nmero real trascendente sobre el cuerpo de los nmeros racionales

sea

un nmero real trascendental sobre

sobre
independientes sobre

, y as hasta

,y

que es trascendental

. Estos nmeros son llamados elementos trascendentales

. Sea

Ecuacin de cuarto grado

Grfico de una funcin polinmica de cuarto grado.

y sea

Una ecuacin de cuarto grado o ecuacin curtica con una incgnita es una ecuacin
algebraica1 que se puede poner bajo la forma cannica:

donde a, b, c, d y e (siendo
) son nmeros que pertenecen a un cuerpo,
usualmente a los reales
o los complejos .
ndice
[ocultar]

1 Caso general
o

1.1 Ecuacin curtica en cuerpo finito

2 Un caso sencillo

2.1 Mtodo de Descartes

3 Ecuaciones bicuadradas

3.1 Obtener una ecuacin a partir de una raz

4 Ecuaciones simtricas de cuarto grado

5 Referencias

6 Vase tambin

7 Enlaces externos

Caso general[editar]
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:
.2 3
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. 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
existan diferentes mtodos para resolver las ecuaciones curticas, algunos son:
mtodo de Ferrari, mtodo deDescartes, mtodo de Euler, mtodo de Lagrange,
mtodo de Alcal[cita requerida], etctera.

Ecuacin curtica en cuerpo finito[editar]

Resolver la ecuacin en el conjunto {0,1,2,3,4,5,6,7,8,9,10}

una raz en el conjunto finito de los restos de enteros de mdulo 11, o sea F[11] es
4

Mediante la divisin sinttica queda

Un caso sencillo[editar]
Esta ecuacin curtica

que es mnica, como polinomio para valores reales nunca se

anula.
Por lo tanto sus cuatro races son complejas, en pares de
conjugados. Precisamente la races quintas primitivas de
1.Estructuradas sobre la base de seno y coseno de 72 y sus
mltiplos hasta el cuarto.5

Mtodo de Descartes[editar]
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
suprimir el trmino cbico. En efecto, al
desarrollar

, para

con la identidad precedente,

vemos aparecer el trmino

, compensado
exactamente por
, por lo que no aparecer el
trmino . La nueva ecuacin escrita en trminos de
viene dada por:

que de acuerdo a las definiciones recin introducidas,

escribiremos simplemente como

, donde en efecto el trmino

ha desaparecido.

Y ahora, la idea genial: factorizar lo anterior

en
, lo que
es posible porque no hay
en el polinomio, y
que al desarrollar viene dado explcitamente por
.
Al identificar lo anterior con los trminos
obtenemos las condiciones:

, y ,

,
,
.
Despus de algunos clculos,
hallamos:
Es una ecuacin de sexto grado,
pero si miramos bien, slo aparece
con potencias pares.
Pongamos

grado en la variable

. Entonces:

, que resulta ser una ecuacin de tercer

y que se puede resolver usando el mtodo de Cardano.
Luego se encuentra , y , y
se
resuelven
y
terminar, no olvide
que

, y para

Mtodo de Cardano
El mtodo de Cardano es un mtodo para resolver analticamente cualquier ecuacin
cbica y que apareci por primera vez en el libro Ars Magna en 1545 publicado por el
matemtico italiano Gerolamo Cardano (1501-1576), aunque se dice que fue desarrollado
originalmente por los matemticos italianos Scipione del Ferro (1465-1526) y Niccol

Fontana (1500-1557), ste ltimo apodado Tartaglia (que significa tartamudo). El mtodo es el
siguiente.
ndice
[ocultar]

1 Estrategia general del mtodo

1.1 Resolucin

1.1.1 Si es positivo

1.1.2 Si es cero

1.1.3 Si es negativo

2 Aplicaciones del mtodo de Cardano

3 Vase tambin

4 Referencias
o

4.1 Bibliografa
5 Enlaces externos

Estrategia general del mtodo[editar]

La ecuacin general de tercer grado

con nmeros reales

normal dividiendo por

y
se puede convertir en la forma
y acomodando trminos, con lo que queda:

Sustituyendo
se elimina de la forma normal el trmino cuadrtico y se
obtiene la forma reducida:

con lo cual,

y
La frmula reducida es la que se utiliza entonces para resolver por el mtodo
de Cardano, y deshaciendo la sustitucin inicial
de la ecuacin original.

Resolucin[editar]

, las soluciones

Partiendo de la ecuacin

se realiza una sustitucin del tipo

.Entonces

Para hacer la equivalencia de coeficientes con la ecuacin de partida,

se toman estos como:

que tambin es equivalente al sistema de

ecuaciones

a este punto y utilizando las frmulas de Vite,

soluciones de laecuacin de segundo grado

. Llegado
y

son las

De esta manera, se calcula

el discriminante
y se estudia su signo.
Dependiendo de si es positivo, negativo o cero se obtendrn
unas soluciones u otras.
Si es positivo[editar]
La ecuacin posee entonces una solucin real y dos
complejas. Si se establece que

La nica solucin real es entonces

.
Adems, existen dos soluciones complejas conjugadas :

Si es cero[editar]
La ecuacin posee entonces dos soluciones reales,
una simple y una doble :

Si es negativo[editar]
La ecuacin posee entonces tres soluciones
reales. Sin embargo, es necesario hacer una
incursin en los nmeros complejos para
encontrar todas las soluciones. Las soluciones
son la suma de dos complejos conjugados

y
y

donde
; es el siguiente conjunto :

La forma real de las soluciones se obtiene

escribiendo
obtenindose :

en forma trigonomtrica,

Aplicaciones del mtodo

de Cardano[editar]
El mtodo de Cardano sirve para
resolver cualquier ecuacin cbica que
se presente en cualquier rea de las
Ciencias como, por ejemplo, para
resolver las ecuaciones cbicas de
estadoque aparecen en
la termodinmica y la fisicoqumica,
donde las tres races son vlidas
matemticamente,pero slo dos de ellas
son vlidas fsicamente, pues la de
menor magnitud, si es que se ha
desarrollado la ecuacin cbica en el
volumen molar, representa el volumen
molar de lquido, mientras que la mayor
representa el volumen molar de vapor y
la raz intermedia en magnitud no tiene
significado fsico. Las mismas
interpretaciones se hacen si las
ecuaciones se desarrollan cbicas en
el factor de compresibilidad, denotado
como Z.