Ecuacin de sptimo grado

Grfico de un polinomiode grado 7, con 6 puntos crticos.

En matemticas, una ecuacin de sptimo grado es la ecuacin de la forma

donde a 0.
Una funcin de sptimo grado o funcin sptica es una funcin de la forma

donde a 0.
Los coeficientes a, b, c, d, e, f, g, h pueden ser tanto nmeros enteros, nmeros
racionales, nmeros reales, nmeros complejos o, ms generalmente, los miembros
de cualquier conjunto.
Debido a que tienen un grado impar, las funciones de sptimo grado parecen similares
a las de tercer o quinto grado al ser graficadas, excepto que pueden poseer mnimos
locales y mximos locales adicionales (hasta tres mximos y tres mnimos).
La derivada de una funcin sptica es una funcin sxtica.
ndice
[ocultar]

1 Soluciones

2 Grupos de Galois

3 Ecuacin de sptimo grado para el rea cuadrada de un pentgono o un hexgono

cclico

4 Vase tambin

5 Referencias

6 Enlaces externos

Soluciones
Algunas ecuaciones de sptimo grado se pueden resolver por factorizacin en
radicales, pero otras no se pueden resolver de esa forma. Evariste Galois desarroll
tcnicas para determinar si una ecuacin dada podra ser resuelta por los radicales, lo
que dio lugar al campo de la teora de Galois. Por mostrar un ejemplo de una
ecuacin sptica irreducible pero solucionable, se puede generalizar la frmula de De
Moivre para las ecuaciones de quinto grado y obtener,
,
donde la ecuacin auxiliar es
.
Esto significa que la ecuacin sptica se obtiene mediante la eliminacin de u
y v entre

En consecuencia, las siete races de la ecuacin son dadas por

donde k es cualquiera de las siete races de la unidad. El grupo de

Galois de esta ecuacin es el grupo resoluble mximo de orden 42. Esto
es fcilmente generalizable a cualquier otro grado k, no
necesariamente primo.
Otra familia solucionable es,

cuyos miembros aparecen en la "Base de datos campos numricos"

de Kluner. Su discriminante es,

Ntese que d = 467 tiene nmero de clase h (d) = 7. El grupo de

Galois de estas ecuaciones es el grupo diedral de orden 14.
La ecuacin de sptimo grado general puede ser resuelto con grupos de
Galois alternantes o simtricos A7 or S7. Tales ecuaciones requieren funciones
hiperelpticasasociadas y las funciones theta de gnero 3 para su solucin. Sin
embargo, estas ecuaciones no fueron estudiadas especficamente por los matemticos
del siglo XIX que estudian las soluciones de las ecuaciones algebraicas, debido a que
las soluciones de las ecuaciones de sexto grado ya estaban al lmite de sus
capacidades de computacin sin computadoras.1
Las ecuaciones de sptimo grado son las ecuaciones de orden ms bajo para las que
no es obvio que sus soluciones se pueden obtener mediante la superposicin de
funciones continuas de dos variables. El problema 13 de Hilbert era la conjetura de
que esto no era posible en el caso general de ecuaciones de sptimo grado. Vladimir
Arnold resolvi esto en 1957, lo que demostr que esto siempre es posible.2 Sin
embargo, Arnold en s consideraba que el genuino problema de Hilbert consista en si
las soluciones de estas ecuaciones se pueden obtener mediante la
superposicin algebraica de funciones de dos variables (el problema sigue estando
abierto).3

Grupos de Galois

Plano de Fano.

Las ecuaciones spticas solubles por radicales tienen un grupo de Galois que es ya
sea el grupo cclico de orden 7, o el grupo didrico de orden 14 o un grupo metacclico
de orden 21 o 42.

El grupo de Galois L(3, 2) (de orden 168) est formado por las permutaciones de las 7
etiquetas de los vrtices que conservan las 7 "lneas" en el plano de Fano. Las
ecuaciones spticas con este grupo de Galois L(3, 2 ) requieren funciones elpticas pero
no funciones hiperelpticas para su solucin.1

De lo contrario, el grupo de Galois de una funcin sptica es ya sea el grupo

alternante de orden 2520 o el grupo simtrico de orden 5040.

Ecuacin de sptimo grado para el rea cuadrada de un

pentgono o un hexgono cclico[editar]
El cuadrado de la superficie de un pentgono cclico es una raz de una ecuacin sptica
cuyos coeficientes son funciones simtricasde los lados del pentgono.4 Lo mismo es
verdad para el cuadrado de la superficie de un hexgono cclico. 5