RESOLVENTE DEL POLINOMIO DE QUINTO GRADO

Andres L. Granados M.
Universidad Simon Bolvar, Dpto. Mecanica.
Apdo. 89000, Caracas 1080A. Venezuela.

RESUMEN

No obstante la imposibilidad rigurosamente demostrada por Abel y Galois hace ya un tiempo, relativa-
mente reciente se ha desarrollado una metodologa, que denominamos resolvente, para obtener la soluci on
de la ecuacion polinomica de quinto grado. Se ha desarrollado un procedimiento para llevar la ecuaci on
completa con todos sus coecientes, a una forma con s olo tres terminos (x5 , x, 1) y un solo par
ametro inde-
pendiente complejo, que denominamos forma de Bring. Se han utilizado las transformaciones de Tschirnhaus
y auxiliarmente las resolventes de los polinomios de segundo y tercer grados para lograr este n. Luego esta
forma se resuelve mediante las funciones de Jacobi, las integrales elpticas completas K y las funciones
hipergeometricas k Fk1 . Finalmente se sugiere un procedimiento de restitucion a la transformaci on original,
que junto con la resolvente de cuarto grado permite obtener todas las cinco races del polinomio de quinto
grado.

TRANSFORMACION DE TSCHIRNHAUS
La transformacion de Tschirnhaus [(1683)] es una transformacion de la ecuaci
on polin omica f (x) = 0,
la cual es de la forma y = g(x)/h(x), donde g y h son polinomios y h(x) no se anula en las races de f (x) = 0.
Tschirnhaus mostro que en un polinomio de grado n > 2 puede reducirse a la forma en la cual los terminos
xn1 y xn2) tienen coecientes 0. En 1786, E. S. Bring mostro que la ecuacion general de quinto grado
puede reducirse a la forma
x5 + p x + q = 0 (1)

En 1834, G. B. Jerrard [Tortolini, (1864)] mostro que la transformacion de Tschirnhaus puede ser usada para
eliminar los terminos xn1 , xn2 y xn3 de la forma general de una ecuacion polin
omica de grado n > 3. La
forma polinomica de quinto grado en R es

P5 (x) = a5 x5 + a4 x4 + a3 x3 + a2 x2 + a1 x + a0 = 0 (2)

Para el caso que nos interesa, la forma polin

omica de quinto grado general la vamos a denotar dividiendo
toda la ecuacion (2) entre a5

P5 (x) = x5 + m x4 + n x3 + p x2 + q x + r = 0 (2
)

y puede reducirse a la forma

B5 (z) = z 5 z + = 0 (3)

denominada forma de Bring [(1864)], donde puede ser un n

umero complejo.
La transformacion de Tschirnhaus que vamos a aplicar es

T (x, y) = x4 + dx3 + cx2 + bx + a + y = 0 (4)

1
Mediante un proceso de eliminacion de las potencias de x entre la transformacion y la ecuaci
on polin
omica
de quinto grado, se obtiene la siguiente matriz

A11 A12 A13 A14 A15
A21 A22 A23 A24 A25

[A] = A31 A32 A33 A34 A35 (5)

A41 A42 A43 A44 A45
A51 A52 A53 A54 A55

cuyos elementos son

A11 = a + y A12 = b A13 = c A14 = d A15 = 1

A21 = r A22 = y + q a A23 = p b A24 = n c A25 = m d
A31 = dr mr A32 = r mq + dq A33 = q a mp y + dp
A34 = p b mn + dn A35 = n + dm m2 c

A41 = m2 r cr + nr + dmr A42 = mr dr m2 q cq + dmq + nq

A43 = np r + dmpdq + mq m2 p cp A44 = a + dmn + y dp m2 n q + n2 + mp cn (6)
A45 = cm m3 + b p + dm2 + 2mn dn

A51 = br m3 r dnr + dm2 r + 2mnr pr cmr

A52 = bq cmq nr dmr dnq + cr + m2 r m3 q + 2mnq pq + dm2 q
A53 = cq + 2mnp dnp p2 + bp nq + dm2 p mr dmq cmp + m2 q m3 p + dr
A54 = dmp + dm2 n + cp + dq + 2mn2 cmn m3 n 2np mq + m2 p + bn dn2 + r
A55 = bm 2mp + q y + cn 2dmn a + 3m2 n cm2 + dm3 n2 m4 + dp

El determinante de esta matriz produce el polinomio transformado

det(A) = y 5 + M y 4 + N y 3 + P y 2 + Qx + R = 0 (7)

El proceso que comenzamos a describir permite conseguir los coecientes de la transformacion de

Tschirnhaus (4) a medida que anulamos los coecientes del polinomio transformado de quinto grado (7) para
obtener (3). Poniendo M = 0 y resolviendo para a resulta

1 1 3 2 4 1 2 4 4 3 1
a= dm3 + bm dmn n2 + q cm2 + cn mp + m2 n + dp m4 (8)
5 5 5 5 5 5 5 5 5 5 5

Substituyendo a y los siguientes cambio de variables

b = d + c= d+ (9)

dentro del polinomio transformado, M y N quedan en funci on de d. El valor de esta listado en el apendice
al nal en funci
on de los coecientes del polinomio de quinto grado original m, n, p, q y r, y adicionalmente
de .
El coeciente N es una funci
on cuadr
atica de d

N = 2 d2 + 1 d + 0 = 0 (10.a)

2
 2 17 17 4 13 4 22 21
2 =( m2 + n) 2 + ( m2 n mp + m3 2n2 nm m4 + 3p + 4q) + m2 p + mpn
5 5 5 5 5 5 5 5
19 12 2 18 19 8 3
pn + nm4 + 5r m6 n2 m2 + 2q + n2 m 4m3 n + m2 n + 3qm2 3mr p2
5 5 5 5 5 5 5
2 4 12 3 4 3
3nq 5qm 2mp m m p + n3 + m5 n2
5 5 5 5
(10.b)
4 2 21 2 21 3 13 4 21 23 4
1 =( m + m p m n 5pn mn + 2n + m3 qm + n2 m + m5 + 3p + 5r)
5 5 5 5 5 5 5 5
26 2 26 3 52 22 4 4 17 2 17 4
+ qm m p + mpn + 4q 6mr nq 7n m m + m n mp m4 2 2
5 5 5 5 5 5 5 5
6 2 4 6 4 31 28 4 19
+ 4q n m + 7m2 r + m7 3p2 2n2 qm3 + m4 p 4mp + m5 + n2 m
5 5 5 5 5 5 5
28 5 16 2 58 81 2 56 2 3 23 23 2 13
m n + 5r + m n + qmn m pn + n m pq + mp nm + 3p
5 5 5 5 5 5 5 5
4 3 22 2 19 29 3 24 29 6
+ m + pm 5mq pn n m 7nr + nm4 + pn2 + n3 4m3 n
5 5 5 5 5 5 5
(10.c)
16 21 52 2 21 4
0 =5r + n 2 + qm4 + 2q 2 5pn 7n2 m2 qm + mpn m4 2 + m2 p + m5
5 5 5 5 5 5
2 2 16 26 26 22 6 32
m2 2 q 2 + m6 n + qm2 4pr m3 p qn + n3 3p2 + n3 m2
5 5 5 5 5 5 5 5
21 4 3 3 23 12 2 52
2mp 2 m3 n + m3 n4 n2 2 + n2 m + 3p + n2 q m8 mpn2
5 5 5 5 5 5 5 5
13 4 16 22 24 24 8 44
nm m6 4m3 r m5 p m2 p2 + nm4 + mpq + nm2 2 m2 nq
5 5 5 5 5 5 5 5
64
+ 8mnr + 4np2 8n2 m4 + m3 pn 6mr
5
(10.d)
El termino de d2 con coeciente 2 es una ecuacion cuadr
atica en , la cual resuelta da

2 = 2 2 + 1 + 0 = 0 (11.a)

1 + 21 4 2 0
=
2 2
1 
= (13nm 10n2 + 4m3 + 20q + 17m2 n 4m4 + 15p 17mp + ( 40qm4 + 80qm2 + 40m3 p
2
+ 60np2 15n2 m4 190mpn 200nq 15n2 m2 + 400q 2 + 60n3 m2 100n2 q 80mpn2 (11.b)
+ 200m2 r + 225p2 120m3 r + 40m5 p + 265m2 p2 40qm3 80m4 p 20qmn + 360m2pn
+ 30n2 m3 + 600pq 510mp2 120n3m 680mpq + 260m2 nq + 300mnr 500nr + 80pn2
170m3 pn + 60n3 ) ) / (2m2 5n)
as que es un n umero calculado directamente del polinomio original general de quinto grado. Ahora el
coeciente 1 multiplicando el termino lineal con d es tambien lineal en y , imponiendolo 0 y despejando
en funcion de , luego de substituir en el termino 0 = 0 del polinomio cuadr atico en d, resulta una ecuacion
cuadr atica en , que resuelta da
0 = 2 2 + 1 + 0 = 0 (12.a)

1 + 12 42 0
= (12.b)
2 2

3
 Los valores de 0 , 1 y 2 en funcion de los coecientes del polinomio de quinto grado original m, n, p, q y
r, y adicionalmente , estan listados en el apendice al nal.
El coeciente P es c
ubico en d

P = 3 d3 + 2 d2 + 1 d + 0 = 0 (13.a)

entonces usando la resolvente de Cardano-Tartaglia se obtiene

1 2 (31 3 22 ) 1 2
d= (13.b)
6 3 3 (3 ) 3 3

3

= 361 2 3 1080 32 823 + 12 3 3 413 3 12 22 180 1 2 3 + 2702 32 + 40 23 (13.c)

Los coecientes 0 , 1 , 2 y 3 estan mostrados en el apendice al nal en funci

on de los coecientes del
polinomio de quinto grado general original m, n, p, q, y r, y adicionalmente de y .

FORMA DE BRING
Con todas estas substituciones la ecuacion polin
omica transformada adquiere la forma Bring-Jerrard
[Tortolini,(1864)]
y 5 + Qy + R = 0 (14)
y con el siguiente cambio de variables adquiere nalmente la forma de Bring [Bring, (1864)]

R
z5 z + = 0 y = (Q)1/4 z = (15)
(Q)5/4

Se ha usado el hecho que M es lineal en a para anular dicho termino. Luego b, c y d fueron considerado
un punto en el espacio, sobre la curva de interseccion de una supercie cuadratica, N = 0, y una supercie
c
ubica, P = 0.
La forma normal de Bring es resoluble. Cualquier polinomio que pueda ser transformado a z n a z m +
b = 0, puede ser resuelto con las funciones hipergeometricas. Se tiene conocimiento que Hermite, luego
Kronecker y Brioshi, lograron esta resolucion en la forma de Bring. La soluci on se da considerando z = z()
y diferenciando z 5 z + = 0 con respecto a cuatro veces. Luego igualando los diferenciales de ordenes
cero, uno, dos, tres y cuatro a cero, multiplicados por un par ametro libre. Despues hacer la substitucion
4 = t. La ecuacion resultante es la ecuacion diferencial ordinaria generalizada hipergeometrica del tipo de
Fuchsian [Slate, 1966, pp.42-44], con la siguiente resolucion (b = 34 para F1 y F2 abajo) [Weisstein, 2003,
pp.2453-2456],
1 2 3 4 1 3 5 3125 4
z := hypergeom([ , , , ], [ , , ], ) (16)
5 5 5 5 2 4 4 256
La funcion hypergeom es la funci on hipergeometrica 4 F3 = F1 = F2 denida mas adelante. Todo este
procedimiento a partir de la forma de Bring hasta obtener la solucion (16) est
a detallado al nal del apendice.
Ahora calculando y, con y = (Q)1/4 z, se puede restituir la transformacion Tschirnhaus substituyendo y, a,
b c y d en su formulaci
on. Los coeciente b y c de la transformacion de Tschirnhaus se obtienen de (9). La
ecuacion polin
omica de cuarto grado resultante se resuelve utilizando el metodo de Vi`ete-Ferrari [King, 1996,
pp.87-89]. Segun [Drociuk, 2000], la raz que satisface la transformada de Tschirnhaus, tambien satisface la
ecuacion polin
omica de quinto grado original [Prasolov & Solovyev, 1997].
Deniendo

  
1 1 16 s(k 2 )1/8 sign[
()] para () = 0
k = tan sen b=  s= (17)
4 25 5 2 2 53/4 k(1 k 2 ) +sign[()] para () =
 0

4
donde k es el modulo elptico, las races del polinomio quinto en la forma de Bring estan dadas por

z1 =(1)3/4 b{ [m(e2i/5 q 1/5 )]1/8 + i [m(e2i/5 q 1/5 )]1/8 } { [m(e4i/5 q 1/5 )]1/8 + [m(e4i/5 q 1/5 )]1/8 }
{ [m(q 1/5 )]1/8 + q 5/8 (q 5 )1/8 [m(q 5 )]1/8 } (18.a)

z2 =b{ [m(q 1/5 )]1/8 + e3i/4) [m(e2i/5 q 1/5 )]1/8 } { e3i/4 [m(e2i/5 q 1/5 )]1/8 + i [m(e4i/5 q 1/5 )]1/8 }
{ i [m(e4i/5 q 1/5 )]1/8 + q 5/8 (q 5 )1/8 [m(q 5 )]1/8 } (18.b)

z3 =b{ e3i/4 [m(e2i/5 q 1/5 )]1/8 i [m(e4i/5 q 1/5 )]1/8 )} { [m(q 1/5 )]1/8 i [m(e4i/5 q 1/5 )]1/8 }
{ e3i/4 [m(e2i/5 q 1/5 )]1/8 + q 5/8 (q 5 )1/8 [m(q 5 )]1/8 } (18.c)

z4 =b{ [m(q 1/5 )]1/8 i [m(e4i/5 q 1/5 )]1/8 } { e3i/4 [m(e2i/5 q 1/5 )]1/8 i [m(e4i/5 q 1/5 )]1/8 } qquad
{ e3i/4 [m(e2i/5 q 1/5 )]1/8 + q 5/8 (q 5 )1/8 [m(q 5 )]1/8 } (18.d)

z5 =b{ [m(q 1/5 )]1/8 e3i/4 [m(e2i/5 q 1/5 )]1/8 } { e3i/4 [m(e2i/5 q 1/5 )]1/8 + i[m(e4i/5 q 1/5 )]1/8 }
{ i[m(e4i/5 q 1/5 )]1/8 + q 5/8 (q 5 )1/8 [m(q 5 )]1/8 } (18.e)

donde
42 (0, q)
m(q) = = k2 (18.f )
43 (0, q)

es el nome inverso o par ametro, m = k 2 , el cual se expresar como la relacion de las funciones de Jacobi.
Dada la integral elptica completa del primer tipo K(k), el nome se dene como

q(k) = eK (k)/K(k)

1k2 )/K(k)
= eK( (19)
1
q( ) = ei = ln(q)
i

(Borwein & Borwein,1987,pp.41,109,114), donde es la relacion de medio perodo, K(k) es la integral elptica
completa del primer tipo, y k es el modulo elptico. K(k) se relaciona con la funci
on elptica de Jacobi a
traves de

K(k) = 23 (q) (20)
2

donde el nome q se dene como arriba, K
(k) = K(k
) y donde k
= 1 k 2 es el modulo elptico comple-
mentario.
De las cinco soluciones zi que se obtienen de la forma de Bring, al sustituir (15.b), se obtienen cinco va-
lores de yi . De cada valor de yi , al resolver la ecuacion de cuarto grado de la transformada de Tschirnhaus (4),
mediante la resolvente de Vi`ete-Ferrari, se obtienen cuatro soluciones xi para cada una. Este procedimiento
se resume con las siguientes expresiones

1 1 1 1 1 2 dg b
g= (3 db 12 y 12 a c2 ) + c e= d +8g 4c f= (21.a)
12 3 6 2 2e
5
  
= 3 ( 36 cdb 288 yc 288 ac + 108 b2 + 108 ad2 + 108 yd2 + 8 c3 + 12 ( 18 d2 b2 y + 18 d2 b2 a
3 d2 b2 c2 + 576 dba2 + 576 dby 2 + 768 yac2 432 y 2cd2 432 ycb2 + 1152 dbya + 240 dbyc2
+ 240 dbac2 54 cd3 ba 54 cd3 by 864 ycad2 432 acb2 2304 y 2a + 12 yd2 c3 + 12 d3 b3 (21.b)
+ 12 ad2 c3 + 162 ad4 y 432 a2 cd2 48 ac4 + 384 a2 c2 48 yc4 2304 ya2 + 384 y 2c2
+ 81 y 2d4 + 81 a2 d4 + 12 b2 c3 + 81 b4 768 y 3 54 cdb3 768 a3 ) )

x1 = (d + 2 e + d2 4 de + 4 e2 + 16 f 16 g )/4

x2 = (d + 2 e d2 4 de + 4 e2 + 16 f 16 g )/4
 (21.c)
x3 = (d 2 e + d2 + 4 de + 4 e2 16 f 16 g )/4

x4 = (d 2 e d2 + 4 de + 4 e2 16 f 16 g )/4
Pero no todas de estas 20 soluciones de xi satisfacen la ecuacion de quinto grado original (2). Se debe escoger
el caso valido que designaremos como x1 . Todas las otras soluciones de (2) se obtienen entonces mediante
on de quinto grado original con el factor (x x1 ) como se indica a continuaci
la factorizacion de la ecuaci on
(s = x1 )
P5 (x) = x5 + m x4 + n x3 + p x2 + q x + r = (x s) (x4 + n
x3 + p
x2 + q
x + r) = 0 (22.a)
n
= m + s
p
= n + n
s = n + m s + s2
q
= p + p
s = p + n s + m s2 + s3 (22.b)
r
= q + q
s = q + p s + n s2 + m s3 + s4
0 = r + r
s = r + q s + p s2 + n s3 + m s4 + s5
Este procedimiento tambien se puede canalizar de la siguiente manera, una vez escogido el valor x1
v
alido, pero aparentemente factorizando la transformaci
on de Tschirnhaus en lugar del polinomio de quinto
grado original. Se calculan los coecientes modicados
d
= m + x1
c
= n + d
x1 = n + m x1 + x21
(22.b
)
b
= p + c
x1 = p + n x1 + m x21 + x31
a
= q + b
x1 = q + p x1 + n x21 + m x31 + x41
con y = 0 para
en funci on de d
, c
, b
y a
seg
un (21.b). Realmente (22.b) y (22.b
) son las mismas, pero
se hace as para volver a usar de nuevo la expresi on de la resolvente de Vi`ete-Ferrari (21). A partir de ellos
se recalculan los valores siguientes
1
1 1 1 1 
2 d
g
b

g
= (3 d
b
12 y12 a
c
2 )
+ c
e
= d + 8 g
4 c
f
= (21.a
)
12 3 6 2 2 e

Entonces las otras soluciones restantes xi , i = 2, 3, 4, 5, se obtienen de (21.c), recalculando otra vez

x2 = (d
+ 2 e
+ d
2 4 d
e
+ 4 e
2 + 16 f
16 g
) / 4

x3 = (d
+ 2 e
d
2 4 d
e
+ 4 e
2 + 16 f
16 g
) / 4
 (21.c
)
x4 = (d
2 e
+ d
2 + 4 d
e
+ 4 e
2 16 f
16 g
) / 4

x5 = (d
2 e
d
2 + 4 d
e
+ 4 e
2 16 f
16 g
) / 4
con lo cual se termina el procedimiento.

6
FUNCIONES DE JACOBI
Para un n
umero complejo cualquiera z las funciones de de Jacobi se denen mediante series innitas
como

2
1 (z, q) = (1)n1/2 q (n+1/2) e(2n+1)iz
n=

 2
2 (z, q) = q (n+1/2) e(2n+1)iz
n=

(23.a)
 2
3 (z, q) = q n e2niz
n=

 2
4 (z, q) = (1)n q n e2niz
n=

Teniendo K(k) la integral elptica completa del primer tipo con m

odulo k, entonces

21 (q) = 0
22 (q) = (2kK(k))/
(23.b)
23 (q) = (2K(k))/
24 (q) = (2k
K(k))/

donde k
= 1 k 2 es el modulo complementario denido antes y i (0, q) = i (q).

INTEGRAL ELIPTICA
La integral elptica completa del primer tipo K(k), ilustrada arriba como una funci
on del m
odulo
elptico k, se dene por
K(k) = F (/2, k)

2
 (2n 1)!!
= k 2n (24)
2 n=0 (2n)!!
1 1 2
= 2 F1 ( 2 , 2 ; 1; k )
2
donde F (, k) es la integral elptica incompleta del primer tipo y 2 F1 (a, b; c; x) es la funci
on hipergeometrica
denida adelante.
Sea el modulo elptico k, satisfaciendo 0 < k 2 < 1, y la amplitud de Jacobi dada por = am(u). La
integral elptica incompleta del primer tipo entonces se dene como [Boyer, 1968, pp.476-477]

d
u = F (, k) = (25)
0 1 k 2 sen 2

La integral elptica del primer tipo se implementa como una funci on de librera en algunas plataformas
computacionales, como por ejemplo Wolfram Language como Elliptic F [, m], pero en algunos casos se usa
el paametro m = k 2 en lugar del modulo k. La integral elptica completa del primer tipo entonces se dene
a partir de la incompleta como K(k) = F (/2, k).
El modulo elptico puede ser computado explcitamente en terminos de las funciones de Jacobi de
argumento cero y con nome q mediante
2 (0, q)
k = 22 (26)
3 (0, q)

7

El perodo real K(k) y el perodo imaginario K
(k) = K(k
) = K( 1 k 2 ) estan dados por

4K(k) = 2 23 (0| ) 2i K
(k) = 23 (0| ) (27)

donde K(k) es la integral elptica completa de primera clase y el m

odulo complementario esta denido como

k
2 = 1 k 2 (28)

con k siendo el modulo elptico.

La integral del primer tipo satisface

F (, k) = F (, k) (29)

Valores especiales de F (, k) incluyen

F (0, k) = 0
(30)
F (/2, k) = K(k)

donde K(k) se conoce como la integral elptica completa del primer tipo.

FUNCIONES HIPERGEOMETRICAS
Una funci
on hipergeometrica generalizada p Fq (a1 , ..., ap ; b1 , ..., bq ; x) es una funci
on, la cual puede ser
denida en forma de una serie hipergeometrica, es decir, una serie para la cual la relacion de terminos
sucesivos puede ser escrita

ck+1 P (k) (k + a1 )(k + a2 ) . . . (k + ap )

= = x (31)
ck Q(k) (k + b1 )(k + b2 ) . . . (k + bq )(k + 1)

El factor de (k + 1) en el denominador de (31) se coloca as por razones hist oricas de notacion.

on 2 F1 (a, b; c; x) correspondiente a p = 2 y q = 1 es la primera funci
La funci on hipergeometrica en ser
estudiada (y, en general, surge m as frecuentemente en problemas fsicos), y as es frecuentemente conocida
como la ecuacion hipergeometrica o, mas explcitamente la funcion hipergeometrica de Gauss (Gauss 1812,
Barnes 1908). Para confundir todava mas, el termino funci on hipergeometrica es com unmente menos usado
para signicar la forma cerrada, y series hipergeometrica es algunas veces usada para signicar funci on
hipergeometrica.
Una familia innita de valores racionales para el buen condicionamiento de las funciones hiper-
geometrica con argumentos racionales esta dada por

 1 2 3
 1
k Fk1
k
k+1 , ..., k+1 ; k1 k+1
k , k , ..., k , k ; ck [x(1 xk )]k = (32.a)
1 xk

para k = 2, 3, . . . , 0 x (k + 1)1/k , y con

(k + 1)k+1
ck = (32.b)
kk

Esto cubre el espectro de las funciones hipergeometricas mas usadas. Es de notar que se evita el argumento
bq = 1, excepto en 2 F1 donde es inevitable, puesto que es el u nico que existe. Para k = 4 se reproducen los
argumentos de (16), s on no es [x(1 xk )]k , sino x (en ese caso t = 4 para la substituci
olo que la funci on
5 4
sugerida all) y ck = 5 /4 = 3125/256.
Otras posible aproximaciones usan expansiones en series, las cuales dan una de las races (la primera
de la lista de abajo) de la forma de Bring. Todas las cinco races pueden ser derivadas usando ecuaciones
diferenciales (Cockle 1860, Harley 1862). Sean denidas las siguientes funciones hipergeometricas que nos

8
interesan, como (b = 34 para F1 y F2 , b = 12 para F3 , b = 14 para F4 y b = 1 para F1 , soluci
on principal
2 3
de Fuchsian, siendo F2 , F3 y F4 las soluciones secundarias [Slate, 1966, p.43])

F1 () = F2 ()
F2 () = 1 2 3 4 1 3 5 3125
4 F3 ( 5 , 5 , 5 , 5 ; 2 , 4 , 4 ; 256 4 )
(33)
F3 () = 9 13 17 21 3 5 3 3125
4 F3 ( 20 , 20 , 20 , 20 ; 4 , 4 , 2 ; 256 4 )
F4 () = 7 9 11 13 5 3 7 3125
4 F3 ( 10 , 10 , 10 , 10 ; 4 , 2 , 4 ; 256 4 )

entonces las cinco races de la forma de Bring son

4
z1 = F1 () = 4 F3 ( 15 , 25 , 35 , 45 ; 12 , 34 , 54 ; 3125
256 )

z2 = F1 () 1
4 F2 () + 5
32 2 F3 () 5
32 3 F4 ()
z3 = F1 () 1
4 F2 () 5
32 2 F3 () 5
32 3 F4 () (34)
1 5 2 5 3
z4 = i F1 () 4 F2 () 32 i F3 () + 32 F4 ()
z5 = i F1 () 1
4 F2 () + 5
32 i 2 F3 () + 5
32 3 F4 ()

que son las mismas de arriba expresadas de forma distinta usando las funciones hipergeometricas.

9
EPILOGO
La ecuacion general polin
omica de sexto orden

x6 + a5 x5 + a4 x4 + a3 x3 + a2 x2 + a1 x + a0 = 0 (35)

puede ser resuelta en terminos de las funciones de Kampe de Feriet, y una clase restringida de ecuaciones
de sexto grado puede ser resuelta en terminos de la funciones hipergeometrica en una variable, usando el
enfoque de Klein [1956] para resolver las ecuaciones de quinto grado. King [2009] da algunas ideal de como
afrontar este reto.

APENDICE
En este apendice se han colocado las expresiones de las variables 0 , 1 , 2 , , 0 , 1 , 2 , 3 , Q y R en
funcion de los coecientes m, n, p, q, r del polinomio de quinto grado general original, y adicionalmente de ,
(solo para i ) y (solo para i y ). Q y R dependen adicionalmente de los coecientes de la transformaci on
de Tschirnhaus a, b, c y d. Todos ellos fueron obtenidos del artculo de Drociuk [2000] y debido a su gran
extension se han colocado aparte.

(Ver p
agina siguiente)

10
0 = 6850 m2p3 r + 38040 qpm5n3 5745qm3n2 2 p 14500 nm2p2 r + 14550 mpn2r2 13790 q 2m2 n3
+ 17540 q 2mn2 p + 4880 qpm9n + 9000 qm2r2 + 2720 qm9 r 240 qm11p 2000 qm2n4 2 + 7160 qm8n3
+ 5315 q 2 m2 2 n2 + 19815 q 2m4 n2 + 13500 m2pr2 5625 qp4m 12265 qm6n4 2200 m4p3 r
3040 qm8 n2 + 320 qm10n + 24550 m3pr2 n 3610 q 2 m4 n2 27750 m3pr2 + 160 qm12n
500 qn2 r2 + 10710 q 3m4 n + 8835 q 2m2 n4 6250 qr2 2 14580 qm5p3 + 25000 qm4r2
+ 23720 q 2m2 np 43230 qp2m4 n2 + 19190 m2p3 nr 1240 qm6n2 2 3860 qm8p2 18600 m5pr2
5000 mpr2 2 + 2700 qn3p2 m + 1500 mp3r + 160 qm8 n2 45030 q 2p2 m2 n 40620 q 2pm5 n
+ 300 m5 p3 2 300 m3 p3 r + 6035 q 2p2 n2 + 10050 qp2m2 n3 13905 qpm2n2 r 7550 qpm4nr
3980 q 2 m6 n + 7040 qm3n2 r + 60 qm3 n2 r 20000 qm5nr + 410 q 2 m6 2 + 15340 q 2m6 n2
+ 17645 m2p4 n + 9400 nm2p4 + 4950 m2p5 2070 qm4p2 2 + 9600 nm3p2 r + 8360 qnpm7
+ 20750 mpnr2 6680 qm6p2 + 230 q 3 m4 + 17310 qp3m3 n 21620 qpm3n4 3800 mp3n2 2
23980 qpm7n2 + 2730 qm5n2 p + 30940 qp2m6 n 2250 mp5 1800 qm10n2 9000 m3pr2
+ 570 m3 p3 2 n + 80 q 2 m7 + 34800 m4pr2 + 4320 q 2m7 n 14600 qmnpr + 28600 q 2m2 rp
+ 24660 qm4n2 p + 4600 qm2n5 + 31455 q 2m2 p2 + 14160 qpm2nr 700 qn2 p2 2 1800 qm2p2 r
80 q 2 m8 11140 q 3m2 n2 480 qm9 p + 20820 qm4pr + 5170 q 2m5 p 240 qm7 p2
4050 q 2 m3 nr 11160 q 3mp + 10500 q 2m2 r 15050 q 2m3 r 14325 mp4n 19700 q 2mnr
7500 qmn22 r 11550 q 2m5 r 2000 qp2n4 + 3640 q 2m7 p 600 m3 p4 5050 q 2np2
+ 11500 qmn3r + 15930 q 3mnp 6745 qnp3m + 28895 q 2m4 p2 + 6350 q 2mn2 r 14570 q 2mn3 p
7300 qn4pm 23780 q 2m4 n3 2320 q 2 m8 n + 19920 qm5n2 r 49380 q 2p2 m3 48590 q 2pm3 n
5600 q 2 n3 m2 + 320 q 3 m3 23800 q 2m5 n2 21020 qm3rp2 + 14720 qm6rp 9750 qm2r2 n
+ 33250 qm2r2 20900 mp3nr + 4250 qnp2r 8700 qn2pr + 8465 qnrmp2 + 7245 q 2p3 m
16510 q 3m3 p 1000 m2p3 r 1400 q 2p2 n 380 q 2 mn4 28400 qrmp2 39100 m2pr2 n
+ 2700 qn3p2 5350 q 2 nrp + 2855 qm4n3 2 + 3105 qm2p2 2 n 3300 m3p2 2 r 11200 q 3mp
47120 q 2m2 n2 p + 2020 q 3mn2 4350 q 2m2 np 10280 qm4n4 15760 qm7nr + 4640 qm7r
+ 21000 q 2p2 m2 3100 qn4rm + 8780 qp3n2 m + 2500 qn3rp + 4600 qpn5m 675 qmp3 2
22750 qmpr2 + 1020 qm52 r + 3750 qnr2 + 600 m4p4 7720 qm6np + 5280 q 2m3 p2
+ 23260 q 2mnp2 + 9345 qm4n5 20220 qm3p3 + 13000 q 2rp + 10220 qmn2p2 + 14110 q 3m2 n
4410 q 3 m2 2 32940 qm3np2 6720 q 2m6 p 18600 q 3m3 n + 8760 qm4nr 12380 qm2n3 p
+ 260 q 2 mn3 15600 q 2mp2 + 40520 qmn2pr + 400 qm2npr 585 qm3 n3 r + 8920 q 2mn2 p
3860 q 2 m4 p 16720 qpm3nr 27520 q 2m3 np 8920 q 2m3 n2 + 2460 q 2m5 n + 21820 q 2m3 n3
300 q 2 n2 p 8200 qm3pr + 24000 q 2m2 nr 1040 q 3mn 2800 q 2mrn + 66380 q 2pm4 n
+ 4280 qm6 n3 30460 qpm5n2 + 20100 qpm2n4 9120 qpm8n 4220 qp3m2 n + 3280 qm9n2
+ 380 q 2 n3 p 2600 qm2 n6 + 800 q 4 46000 q 2mrp + 4420 qm3n4 320 qm9n + 3640 qm2n2 r

11
0 (Continuaci
on)
+ 2660 qp3n2 2000 q 2m6 n + 1620 qn5m2 + 39570 qp2m3 n2 + 2720 qm7n2 + 15900 qm2p3
+ 480 qm8 p 44220 qm4n3 p + 15155 qn4m5 3520 qm6 p2 4130 qn4m4 2000 q 4m + 1250 q 2r2
2500 q 3mr + 1200 q 3p + 450 q 2 p2 2 + 2000 q 3r + 1250 q 4m2 6200 qmnp3 2880 qmn4p
+ 4240 qm7np 2200 qm2n2 p2 + 1045 n3p4 6820 qm5 n3 1125 p3r2 6000 pr2 n2 + 5370 p3rn2
+ 2500 p2r2 m 2025 p3rn 4800 prqn2 + 12500 pr3 + 8000 prq 2 + 720 prn4 + 20000 pr2q
18375 p2r2 n + 5375 p2r2 m2 + 5625 p2r2 + 38580 qpm6n2 51320 qp2m5 n 14800 qmn3p2
+ 6040 qm5p2 + 9200 qm3n3 p 15000 qm5n2 p 5040 qm8 r + 480 qm10p + 2320 qm7r + 160 qm10 n
240 qm9 p 1480 qm8n2 + 5840 qm3n2 r + 25820 qp3m4 7960 qn5m3 2100 qnp3 320 qm11 n
11600 qp3m3 + 1125 np42 2250 n2p4 16820 qn3m2 r + 2040 qn3mr 22345 n2m2 p4
18700 qp2nr + 12000 qp2r + 41600 qp2m2 r 7000 qp2mr 3040 qm6r + 24080 qm6nr
12840 qm4n2 r + 40460 qp2m4 n + 22725 qpm3n3 10675 qp2m2 n2 + 21160 qm4np2
+ 7380 qp2m7 11280 qn3m7 195 n5m4 2 + 9620 q 2m4 n2 + 1020 qp2n3 10320 qm5rn 7600 q 2m3 r
41500 qm3r2 + 3080 q 2m5 p + 60365 q 2pm3 n2 + 19500 q 2m4 r + 7440 q 3m2 n + 27760 q 3m2 p
500 q 2 n2 r 1520 q 3np 240 n2 m9 p 1565 n2m4 p2 2 + 3830 n3m2 p2 2 495 n5 m6
16695 n4p2 m4 + 12000 qm4pr 25520 qm5pr 7000 qmr2n 440 q 3n2 1900 n2m8 p2 + 30 n4 m6 2
960 n4 m3 2 p 120 n2m1 1p 8360 n2m9 r + 30 n4 m10 + 60 n4 m8 + 300 n6m2 2 + 1170 n6m4
+ 300 n4 p2 2 2700 n2m2 r2 + 29350 n3p3 m3 + 2220 n6pm3 3540 n4pm7 600 n5 p2 m
+ 13160 n3p2 m6 + 1980 n3pm7 3900 n2m6 p2 + 18715 n2p4 m + 70 n5 p2 m2 + 8205 n3pm2 r
+ 14180 n3m5 r + 1875 n2r2 2 600 n5p2 + 1250 mnr3 + 2145 n5pm5 16740 n2m5 p3 + 1200 n3pm9
+ 780 n3 m5 2 p + 15760 n3m7 r 120 n2m7 p2 + 1500 n4m2 r 2100 n5mr + 6380 n3p3 m
+ 4090 n4pm2 r 24850 n2m4 r2 + 30300 n3pm4 r 3535 n4m3 r + 1835 n3m3 2 r 24960 n2m3 p3
+ 345 qm2 p4 + 9720 nm4p4 + 1200 n6pm 6495 n2m2 p2 r 600 n7m2 160 n5 m3 r 1500 n3p2 r
+ 4920 n3mpr 9300 n3rmp2 600 n5rp + 7200 nm4r2 2845 n2rmp2 11175 n4m5 r + 2100 n4pr
21775 n2m2 r2 38820 n2m6 rp 2180 n4p3 m 780 n6m3 600 n7 pm 3410 n2m5 2 r
+ 2415 n4m4 p 11280 n2m7 r 29890 n2m3 rp2 + 600 n6 rm 1500 n3r2 + 2425 n3m2 r2
+ 9300 qm6n3 + 2460 n5m2 p 2580 n4mp2 13370 n3m3 p2 + 720 m5 np3 13750 m3r3
+ 2250 qp4 9840 n4mpr 3420 n6pm2 7060 n3m4 r 480 n3m2 pr 5290 q 3p2 40 q 2 m10
+ 19180 n2m3 pr 1740 n3m6 p 3945 n4pm5 + 15350 n4p2 m3 2160 n3pm8 + 22500 m2r3
1155 n7m4 8625 p4mr 300 n5m8 6555 p4qn + 5175 p4q + 8625 p3qr + 6555 p5mn 5175 p5m
+ 140 q 3 m6 + 60 q 2 n4 40 q 2 m8 + 80 q 2 m9 + 40 q 3 m4 180 q 3 m5 26300 n3pm3 r + 225 m2 p4 2
630 n4 m2 p2 840 n5 m3 p 1710 n4m5 p + 3420 n5mp2 21580 n3p2 m5 + 5130 n4pm6 + 525 n6 m4
+ 900 n3 p3 + 240 n2m8 p + 21430 n2m2 p3 + 300 n6 p2 + 300 n4 r2 1485 n6m5 + 990 n6m6

12
0 (Continuaci
on)
700 m6p3 + 960 n3m7 p + 1680 n3mp3 + 360 n6 mp 555 n5m4 p 675 n2p4 27750 n3p3 m2
60 n4m7 + 300 n8 m2 + 2100 n2p2 mr 360 n5mr + 3980 n2m5 p2 + 3780 n5m2 r 1140 n4p3
+ 30 n4m8 + 435 n5 m5 180 n7m2 + 8440 n3m4 p2 5240 n2m7 r + 13440 n2m8 r 180 n5 p2
+ 51420 n2m5 pr + 8560 n2m6 r 20240 n3m6 r + 240 n2m10 p 13480 n2p3 m3 + 30240 n2p3 m4
60 n4m9 + 3280 m9nr 2080 n2m6 p2 + 8245 n4m4 r + 810 m6 p4 240 n5 m6 + 32590 n2p2 m2 r
3600 n2p2 r 6200 m5p2 r 160 m1 3r 18750 mr3 780 n4m3 r + 31600 n2m3 r2 14160 n2m4 pr
+ 5840 n3m5 r + 3000 n3mr2 + 540 n5 m7 + 1140 n7m3 + 4020 n2p2 m7 + 40 m1 2p2 660 n5 pm3
+ 40 m10 p2 4640n4p2 m2 1300 m5p4 1800 m6r2 + 16930 n3p2 m4 + 440 m9p3 3000 m8r2
+ 400 m7p3 840 m8p3 + 5600 m7r2 80 m1 1p2 120 n2m9 p 100 m6p2 2 n 160m1 1r + 40 m8 p2 2
+ 320 m12r + 6060 n3p2 r 100 m7p3 n + 550 m4p4 240 m10p2 n + 80 m10 p2 + 1340 m5np3
+ 7210 m4np2 r + 4750 nm2r2 2 31110 n2m4 pr 1600 m6p2 r 3760 m8pr + 1360 m7n2 r
+ 740 m7p3 + 21880 m6pnr + 16400 m8pnr + 260 m7 np2 + 6325 mp2n2 r + 25100 m4nr2
+ 18000 m6r2 n 5200 m6r2 7340 m7rp2 + 3600 m5r2 9400 m5rp2 18520 m5npr
+ 25800 m5nrp2 1750 m4r2 2 + 1920 m11nr 320 m11r 160 m92 r 2160 m10rp + 3600m7pr
27600 m7pnr 2960 m8nr + 11360 m6npr 660 m6p3 n 2000 m8pr + 13100m6p2 r + 4160 m9pr
+ 3375 p5 + 5625 p4r 4275 p5n + 320 m10r 3520 m10nr + 9400 m4p2 r 160 m8np2
80 m9 p2 + 400 m9 p2 n 32760 m4p2 nr + 1600 m9rn 340 m8p2 n 1740 m4np3 30000 m5r2 n
19320 nm3p4 1560 n4m2 r 11700 nm3r2 + 11160 nm3rp2 2300 m3p5

13
1 = 5640 m6qp + 46000 mq 2r 240 m6 p2 + 3400 m4qr 480 m8q + 4875 p2nr 990 m5 n4
+ 1800 m42 qp 600 n42 p + 4750 n22 p2 m + 160 m8 r 1910 n32 pm2 + 240 m7 2 q 4860 m5q 2
+ 120 m52 p2 + 60 m5 2 n3 15000 pqr 4680 m7qn 7600 p2m2 r 3900 n3mr + 240 m7 p2
+ 1500 n32 r + 12600 q 2mp 160 n2 rm4 + 600 n52 m 19250 mn2r2 + 27500 npqr + 4500 pn2r
+ 5100 p2qn 200 m6 2 np 2220 n3pq 8700 n3pr + 3420 m6n2 p + 26250 npr2 + 3400 npq 2
14750 m2pr2 400 m8 np 10980 m4qn2 + 280 m7 pr 2250 p32 n 520 m5 rp 1800 p2n3
+ 900 p32 m2 9375 pr2 + 14820 m5qn2 + 6000 rqn2 + 1600 rqm4 6520 m5np2 + 2460 m2n3 r
5400 m5qp + 400 m7 np 500 m2 nr2 3020 m5pn2 280 m6 nr 640 m4n2 r 4560 mn5p
+ 8700 mn4r 120 m6n3 600 m6 nr 1920 m52 qn + 1360 m42 n2 p 840 m4 n2 r
7320 m4n3 p + 870 m4 n4 + 3360 m4q 2 3720 m7pn2 + 4500 n22 m3 q + 14050 mn3pr
+ 1700 n22 qp 10095 p2mq 2 10920 q 2m2 n 700 n2 2 m2 r + 11000 mpqr 2200 n2m3 p2
3380 m5p2 n 4350 p3m2 q 870 m2pn4 2560 m3pn4 3000 n32 mq 4000 m3qr + 4200 n2 mq 2
1000 m2p2 r 5000 n2qr + 7120 m2pqn2 + 6080 m4p2 n + 830 m2p2 qn 18300 m4p2 q
47000 m2pqr 38890 m3pqn2 13100 m2p3 n + 12080 m3p2 n2 + 23580 m2p2 n3 + 31040 m3p3 n
+ 33660 m5pqn 13480 m4pqn + 21850 mp2nr + 820 m4 pnr 8200 m2nqr 3300 mpn2r + 200 m5pr
+ 4660 m3pn3 480 m6 pr 18800 m2p2 n2 13500 m2p2 q 200 m4pr + 6100 mp2qn
+ 1500 mp2r + 1000 m3pnr 1870 m2pn2 r 2700 m3p3 17250 qm3n3 + 2500 mpr2 + 4500 mp4
25855 q 2m2 p + 22705 q 2m3 n + 20100 mp3n 4500 qp3 + 700 m3 p2 r + 41940 m2q 2 np
20200 m4qnr 31500 m4p2 n2 + 8400 m3p2 q + 7200 m6p2 n 17400 m2pq 2 + 40980 m3pq 2 + 9200 q 3 p
1650 mp2n3 26600 mp3n2 + 24275 m2qn2 r 18745 m2qn3 p + 9500 qn2r 10000 q 2r
+ 14300 qm3p2 5900 qn3 p + 7800 qmn4 1680 q 22 m3 16300 q 2mn2 + 7800 qn3m2
+ 8400 q 3m 8860 n2qp2 m + 8550 p4n 6750 p4 11250 p3r + 21780 m5q 2 n 27875 m2q 2 r
2760 m9qn 24630 m4q 2 p + 3200 m6qr 20420 m6qnp + 33390 m4qn2 p + 10260 m5qp2
9010 m3qnp2 + 3240 m8qp + 25700m3qrp + 8000 q 2np 17880 m6qn2 + 25290 m4qn3 + 5040 m8qn
+ 30960 m2q 2 n2 + 1350 n2p3 34045 m3q 2 n2 + 16350 m3qn4 10000 rq 2 120m6 n2 r + 1460 m3n2 r
900 rn4 25000 r2 q 1000 r2 m4 + 2530 m2n5 p + 440 m5 nr + 7500 r2 n2 + 2340 m3n5
+ 2060 m8n2 p + 600 n5r 200 m32 pr 600 n6p + 37000 m3qnr + 19740 m5n2 p2 41500 mqn2r
24900 m3n3 p2 + 4730 m4n4 p 6360 m6n3 p + 4200 n4qp 2700 n3qr 10600 n2q 2 p + 220 m2n4 p
+ 24010 m3n2 p2 12200 nq 3m + 3000 nq 2r 620 m3 n2 rp 4800 n5qm + 13300 n3q 2 m
+ 20860 n3qmp 24460 nq 2mp 33300 m4q 2 n 15625 r3 14400 m2qn4 6460 p2qn2 160 m7r
+ 11250 p3qm 16125 p2qr 3820 p2m7 n + 3360 n4mp 360 mn6 + 1870 p2mn4 9675 p3q
+ 12255 p3qn + 500 m3 r2 + 3875 n3m2 r + 80 m6 2 r + 600 n7m + 6840 m5qn2 7080 m3qn3
+ 2000 m22 qr + 4200 m6qn 2280 m7qn 900 nm5rp 8520 mq 2n2 + 13000 nmqr + 13320 m3q 2 n

14
1 (Continuaci
on)
+ 2280 m2n6 + 3000 mqn4 + 29375 mqr2 6000 m5qr 24700 p3m2 n 600 m7n4 7260 p2n3 m
+ 4210 m4n3 r + 1980 m5n5 7075 m2n4 r + 60 m9 n3 + 80 rm8 17290 p2m2 nr + 360 n5p
+ 11280 m7qn2 440 nm8r 200 nm10 p + 4500 p3n2 + 3020 p3m4 + 9000 p4m + 1020 p2rm4
8175 p2n2 r + 15000 p3rm 11400 p4nm + 29390 p3n2 m2 18360 p3m4 n 13420 qmpn2
+ 3000 m6pq 6240 m7pq 200 m8 pn + 400 m9pn 3200 m4pn3 + 1660 m6pn2 + 9360 m5pn3
160 m9 r 390 n4 2 m3 + 80 m10 r 1000 m5r2 2880 m5q 2 2090p3 n3 + 480 m9 q + 5380 p4m3
+ 1620 p3m6 + 120 m7n3 + 1500 m4p3 26580 m4qnp 1560 n5m2 + 240 m11q 7130 m3n3 r
+ 1080 m6n4 + 10500 m3nr2 + 8400 mq 3 + 720 m7 nr + 840 m5n2 r 5180 n2m2 qp 1200 n6m
+ 1200 n5p 2100 n4r + 625 nmr2 + 120 m7p2 240 m8p2 + 500 n2rmp + 6360 m6q 2
+ 12525 m3q 3 1600 m2pnr 3120 m5p3 17250 qm2nr + 22960 m3pqn + 26750 qrmp
2310 m3n6 120 m8n3 3480 m7q 2 480 m10q 21000 m2q 3 20130 m5qn3 + 6140 m3npr
+ 240 m9 q 2970 m4n5 11750 nqrmp + 7820 qnp2m + 19505 qn2pm2 9900 p4m2 + 120 p2m9
+ 2280 p2n4 + 1050 m3n5 7750 n2rmp + 60 m7 n3 480 m5 n4

15
2 = 580 m3 p2 n 80 m5 p2 + 1500 m3p2 + 5200 m2n3 q + 1360 m6nq + 1600 q 2m2 + 5000 q 2mn
4000 q 3 + 3200 qn3 320 qm6 5775 mp2n 4065 m4n2 q 6625 m2nq 2 5625 qmp2
+ 3285 m2p2 q + 5820 m4p2 n 160 qm42 8020 m2p2 n2 1580 m4p2 + 310 mpn4 + 3300 mpq 2
+ 860 m7pn 360 m5 pq + 5895 qm3n2 4000 q 2n + 1040 qm4n 1990 qm2n2 2400 qm5n 180 n5
+ 200 mpqn2 + 1125 np22 2250 n2p2 375 n2 m2 r 1500 n3mr + 1000 n2pr + 375 n2m3 r
5000 nqr + 4950 m2p3 400 qmpn + 760 qm4 p + 320 qm5 2820 m5pn2 + 2585 m3pn3
+ 3800 qn2p 2000 q 2m3 5300 qmn3 + 2250 qp2 2250 mp3 + 30 n2 m4 2 160 qm6 850 m4 p2
+ 160 m8p 80 m7 p + 1045 n3p2 2000 nq 2 3125 nr2 + 1500 n3r + 1200 n3q 400 qm3p + 60 n2 m6
+ 7055 m2p2 n 1485 n4m3 + 525 n4 m2 + 800 m2 q 2 + 1250 m2r2 240 n3m4 + 540 n3m5 + 5625 p2r
+ 1780 m5p2 195 n3 m2 2 675 n2p2 + 300 n42 + 320 qm7 600 n5 2005 n3m2 p + 800 qm2 2 n
+ 435 n3m3 780 n4 m + 2600 qmn2 + 2000 m2qr + 1000 m3rp 450 m2p2 2 4275 p3n 60n2 m7
1140 n4p 1000 m4pr + 3375 p3 950 mpn22 + 1140 n5m 500 m3 qr + 30 n2 m6 + 7885 n2mp2
160 m8q + 5200 n2q 2 60 n2m5 2200 n4q + 4230 n2m4 p + 1650 m4q 2 + 30 m8 n2 1155 m2n5
+ 7500 qpr + 990 m4n4 300 m6n3 + 4500 qp2 5700 qp2n 1840 qm3n + 280 m3pqn + 900 n3 p
6375 mp2r 3825 mp3 + 4845 mp3n 1170 qm2np 30 n3 mp 3000 qnp 560 qm3 p 160 m7 p
495 n3m4 + 1170 n4m2 1490 n2m3 p + 100 qmnp + 160 m6p + 700 m5 np 4750 nrmp
1560 m6np + 4500 nm2pr 250 nmqr + 1200 qm2p 3375 n2m3 p + 3700 nm2p2 + 2160 qm4n
4500 qm2n2 930 m6p2 9440 nm3p2 + 880 n3 mp + 2245 n2m2 p 80 m9 p + 1440 m5pn
2720 m3p3 1280 m4np 1000 qn22 + 300 n6

= (4 m4 15 p 21 m2 p + 10 n2 + 21 m3 n 4 m3 56 m3 n2 58 mnq 20 q 23 mp2
+ 4 m6 + 23 pq 4 m7 10 n + 13 mn 17 m2 n + 4 m2 + 17 mp + 25 np + 29 mn3 + 31 m3 q
+ 21 mq 23 mn2 + 15 p2 + 28m5 n 29 pn2 25 r + 81 pm2 n 6 n3 + 35nr 28m4 p 4m5
52mnp 35m2 r 24 nm4 + 22 nq 26 m2 q + 30 mr + 35 m2 n2 + 26 m3 p) / (25 mq 20 q + 20 m3 n
+ 19 np 22 m2 p 19 mn2 16 m2 n + 13 nm + 6 n2 15 p 25 r 4 m3 + 20 mp 4 m5 + 4 m4 )

16
 14 2 2 528 2 12 408 3 2 72 5 27
0 = q n n qmp n4 q + n qm m rn 24 m3 rn + 6 m5 r m4 r + 24 m3 rn2
25 25 25 25 5 5
708 87 47 132 12 48 24
+ p4 np2 m4 + np2 m + n2 p2 n2 qm4 + m7 r 5 rn2 m3 rq n3 p2
25 5 5 5 5 5 5
37 2 123 4 579 4 186 4 259 2 444 3 216 3 44
mq mn + m pn m p + qm p qm n + qm + rpn2
25 25 25 25 25 25 25 5
132 186 63 234 33 168 312
qm2 n2 + mn3 mn2 2 + m4 2 n 2 + m2 3 n 2 n 3 m2 2 + n2 2 mp
5 25 25 25 25 25 25
32 432 54 24 63 292 6
qn2 2 nm3 2 p nm2 2 nm8 + 6 m2 r2 + nm3 2 + nqm2 2 + n4 2
25 25 25 5 25 25 25
6 582 3 4 34 3 72 267 4 2 252 504 3 56
n5 n m + n q m3 n2 + n m + m3 pn2 n mp + qmnr
25 25 25 5 25 5 25 5
417 2 4 48 804 2 2 2 367
+ m6 n2 n3 3 4 nr2 + q 3 np3 m + n p m + 2rm 3 + mn2 q + rq
25 25 25 5 25 25
48 79 327 4 2 168 2 2 8 756 606
+ 10 rn rm2 + rm2 n + m p m p q qpr nm5 p + nqm4
5 5 25 25 5 25 25
174 108 4 2 452 96 21 804 24
+ nm5 qm nmq nm6 2 + qm 2 nm2 p2 nm4 3
25 25 25 25 5 25 25
136 3 3 2 6 48 162 6 2 4 2 2 748 572
+ m p + qn 3 qm2 3 qmp 2 + m p + q + nqmp + nm2 p
25 5 5 5 25 5 25 25
24 12 28 84 144 42 28 42
m7 m5 2 + qnp2 prn prm2 n prm + 12 prm4 + q 2 mp nmp 2
25 25 5 5 5 5 25 5
78 3 6 129 6 4 12
nm4 2 + nm 3 + n2 2 + m2 n2 2 n3 2 + 5 r2 + 4 rm 2 + m6 3 + m8 2
25 5 5 25 5 25 25
147 2 2 34 22 94 38 108 5 2 126 7
+ m q q 2 n + nq 2 4 q 2 + prm2 pn2 10 pnq + m p+ m p
25 25 5 5 5 25 25
126 6 12 504 3 13 46 14 102 4 2
m q + m10 m qp 3 pm2 2 + pn 2 + pq + pm 2 + m q
25 25 25 5 5 5 25
48 4 111 7 52 56 94 28 48
m8 q + m1 2 + m n p 3 rmq rmn 2 + rmn2 + rm3 2 mn3 r
25 25 25 5 5 5 5 5
2 6 6 12 28 816 48 26
+ n + 3 p2 2 3 p3 + m3 p 3 mpn 3 + mp2 r + 8 pr 2 + m3 pqn + m9 p + p3 m
25 5 5 5 25 25 5
26 38 384 7 264 5 204 5 2 1008 3 3 252 28
p2 q + m2 p2 2 m pn m pq + m pn m pn + mpn4 p2 n 2
5 5 25 25 5 25 25 5
762 402 216 48 448 417 168
8 p2 m n2 m2 p + n 3 m3 + m8 n2 m10 n m6 n 3 + m4 n 4 m2 nq 2
25 25 25 25 25 25 25
324 6 132 2 5 69 2 5 111 5 12 88 88 222 3 2
+ m nq m n n m + qm + m4 2 + m3 2 p m2 2 q m p
25 25 5 25 25 25 25 25
111 6 4 12 12
m p m3 3 + m6 2 m9 5 r 2 + 5 pn3 + p2 3
25 25 25 25

17
 18 2 2 6 12 31 36 24 126 6 31 99
1 = qm + qn 2 m7 2 + p3 n n 2 mp + m8 m q p 2 r + n 2 m2 2
5 5 25 5 5 25 25 5 25
18 3 2 72 4 2 87 152 579 176 2
+ m p m n 3 p3 + np2 m + 367/25mn2 q + rnm2 + m4 pn m q
5 25 5 5 25 25
72 1296 63 202 279 126
m3 n2 m2 n2 p mn2 2 + rpmn + nm2 2 p mn2 6 m2 p
5 25 25 5 25 25
282 2 3 141 7 24 96 584 126 7 132 8 24 186 3 2
q m + m q m9 qmp + qm2 n + m p pm nm8 p m
25 25 25 5 25 25 25 5 25
327 4 2 129 4 12 1 12 12 33 6
+ m p 15 p2 m5 pn m 1 + m10 + m6 2 m6 r + 6m5 r 11 mr2 n5
25 25 25 25 25 5 25
42 192 76 864 216 624 2 336 3 2 216
+ mq m6 n + m2 p2 m3 pn + m5 p + n mp n m qm4
5 25 5 25 25 25 25 25
468 2 4 64 2 129 126 6 12
+ n m n q + mn5 + m3 n + n2 2 + 5r2 4 q 2 p3 5 r 2 + 3 p2 2
25 25 25 25 5 5
69 2 5 37 2 123 822 12 452 24 24
n m mq mn4 m5 nq m9 nmq m5 m7
5 25 25 25 25 25 25 25
927 5 3 528 7 2 44 13 46 24 104
+ m n m n + nq + pn 2 3 pm2 2 + pq + m4 rmp
25 25 5 5 5 25 5
112 762 2 2 186 4 192 656
rmn n m p m p + 10 rm + 10 rn + 8 rm nm3 q + nmp2
5 25 25 5 25
21 38 572 63 186 686 79 116
+ qm 2 qmn 2 + nm2 p + nm3 2 + mn3 + mn2 q + rm2 n rmn
5 5 25 25 25 25 5 5
132 9 669 3 4 52 12 14 54 147 2 2 34 2 28
+ m n m n rmq + m4 2 + mp 2 m2 n 2 + m q q n + pm
25 25 5 25 5 25 25 25 5
38 259 2 444 3 216 3 748
8 q 8 p2 m 10 pnq pn2 + qm p qm n + qm + pqm2
5 25 25 25 25
26 176 3 174 452 1122 1404 42 9
+ np + m p + nm5 nmxiq + nm4 p pqm2 n prm + nm 2
5 25 25 25 25 25 5 5
156 12 258 2 2 48 476 108 84 42
nm4 + n2 + m n rm2 nqp nm2 nmp n2 r
25 5 25 5 25 25 5 5
132 19 12 12
+ 6 p2 + 10 rq 5 rm2 2 + 3 rn 2 prm3 + np 2 n3 10 p2 n + p2 3 p 2
5 5 5 5
198 2 2 54 4 246 5 504 3 217 2 24 111 7 222 3 2
m rn m r + m q m qp + qp m + m6 + m n m p
5 5 25 25 25 25 25 25
111 6 24 56 12 8 186 4 46 216 3
m p m7 + rm3 + n4 + q 2 m p + qp + m q 8 mp2
25 25 5 25 5 25 5 25
38 6 47 26 94 94 84
n2 p 5 r 2 + 5 pn3 10 r n3 2 + p2 n2 + mp3 + m2 pr + mrn2 pnr
5 25 5 5 5 5 5
748 34 3 26 2 31 267 76 27 66
+ qnmp + qn qp 3 m 2 n2 pq 2 + n4 m2 m2 2 p + rn3 + m3 2 n
25 25 5 25 25 25 5 25
1314 27 516 846 1218 252 3 2
24 m3 rn + n2 qm3 m4 r + 33 m4 rn n3 qm n2 p2 m + np2 m3 + m pn
25 5 25 25 25 5
198 69 69 132 2 2 72 3 2 162 3 2 2 186 504 3
mn4 + mn3 2 n2 2 p qm n m n m n + mn3 n mp
25 25 25 5 5 25 25 25
301 2 174 606 84 696 642 198 3 381
+ nq m + nm5 + nqm4 + nm5 2 + m3 n3 m5 n2 + n p + qpn2
25 25 25 25 25 25 25 25

18
1 (Continuaci
on)
54 109 2 56 48 21 23
qnr + qm r + 6 rm 2 + rm3 + 10 rn + 10 rp + rq rm2 + qm3 2 + qp 2
5 5 5 5 5 5
804 756 216 183 6 468 2 3 96 228 6
5 rn2 nm2 p2 nm5 p + nm7 + pm n p m pm4 2 pm
25 25 25 5 25 25 25
657 1959 2 4 1362 3 2 402 3 3 111 5 12 23
+ pqm4 pn m + pn m + n m + qm m5 2 mp2 2 10 mq 2
25 25 25 25 25 25 5
12 56 572 12 8 12 417 6 2 582 3 4
m3 2 + 16 pr p2 n + nm2 p + n4 + q 2 m5 2 + m n n m
25 5 25 5 5 25 25 25
12 308 638 2 44 42 24 17 198 6
n3 qmp + qm n + qn qm2 + m8 + m 2 q m n
5 25 25 5 5 25 5 25
268 2 2 816 3 198 5 314 24 162 3 694 2
+ m p m pn + m p nmp + m6 6 m4 n + m p + n mp
25 25 25 25 25 25 25
444 3 2 516 2 4 216 4 48 234 2 2
n m + n m qm n2 q + n m
25 25 25 5 25

18 2 246 5 12 138 6 54 28 694 308

2 = qm + m q + m8 m q m4 r + m3 r + mn2 p mqp
5 25 25 25 5 5 25 25
162 3 234 72 24 24 28 24 276 4 2
+ m p + m2 n2 10 qmp + qm2 n + m7 p m7 np2 nm8 + m p
25 25 5 5 25 5 5 25
216 6 292 2 468 2 3 48 198 12 6 228 6 12 10
+ nm7 + qn + qm n p m qmp mn4 p3 n3 2 pm + m
25 5 25 25 5 25 5 5 25 25
6 24 96 153 78 102 252
+ 6 m5 r n5 + 3 p2 2 m9 m6 n + m2 p2 m3 pn + m5 p + n2 mp
5 25 25 25 5 25 25
186 3 2 24 237 2 4 28 2 24 686 2 656 2
n m qm4 + n m n q m7 + qn m + 5r2 + mp n + 3p2
25 5 25 5 25 25 25
12 88 24 186 4 46 48 12 38
+ p2 + m3 2 p m5 m p + qp n2 q n3 n2 p 10 r
5 25 25 25 5 5 5 5
24 4 24 8 12 6 2 12 7 24 6 42 2 14 152 2
+ m + m + m m + m rn 5 r 10 mq + pm2 2
m p
25 25 25 25 25 5 5 25
34 44 42 38 22 42 572 76
+ qm + qn qm2 rmn + 10 rm + nq2 + qm + nm2 p qmn
5 5 5 5 5 5 25 5
314 126 3 108 2 261 2 452 126 2 116
nmp + nm nm + nm p nmq mn rmn
25 25 25 25 25 25 5
558 12 76 12 8 51 26 28 26
+ nm2 p + n4 rmq n3 + 8 pr + q 2 + m2 q 2 q 2 n + mp + np
25 5 5 5 5 5 5 5 5
2 816 3 638 2 54 2 2 4 9 2 132
6 m p nm p + nm q 8 nmq nm 6 nm + nm + nm3
25 25 25 5 25
42 38 314 78 12
nmp2 + np 6 mn2 nmp + 6 rn 10 rm2 + 10 rm nm4 2 + n2
5 5 25 25 5
6 2 2 129 2 2 2 2 12 2 528 3 268 2 2 42 2 44 24
+ n + m n 10 p n + p m qp + m p qm + qn + rm3
5 25 5 25 25 5 5 5
6 4 63 87 162 11 216 198
+ n 3 m2 p + 4 q 2 mn2 m4 p + m3 p + qp + m3 q 8 mp2 nm6
5 25 25 25 5 25 25

19
2 (Continuaci
on)
516 4 2 444 2 3 21 3 58 13 23 24 198 5 12
+ m n m n + m q mp2 + np n2 p + m6 + m p + m4 2
25 25 5 25 5 5 25 25 25
2 12 5 63 3 6 3 171 2 2 99 2 2 32 2 6 4 4 2 108 4
3 p m + m n n + p n + n m n q+ n + q qm
25 25 25 25 25 25 25 5 25
234 2 4 168 3 2 312 2 56 52 84 96 152 2 58
+ n m n m + n mp mnr + mp3 + m2 pr + mrn2 + rm n pnr
25 25 25 5 25 5 5 5 5
748 2 18 72 654 104 476 12
+ m qp + m3 p m4 n + qnmp mpr qpn + m6 + 10 qr + 6 qn3
25 5 25 25 5 25 25
36 642 5 2 696 3 3 108 5 432 3 38 96 52 321 4 2
nmp m n + m n + m p m pn + m2 p2 m6 n qp2 + n m
5 25 25 25 25 5 25 25 25
88 216 4 186 228 3 2 138 2 792 2 2 183 3 2
24 m3 rn m2 alpha2 q m q + mn3 + m pn n p qm n m n
25 25 25 5 25 25 25
21 324 3 2 492 3 87 678 192 234 2 2 72 3 2
+ mn3 m n n mp + nm5 + nqm4 nm3 q + m n m n
5 25 25 25 25 5 25 5
1296 2 2 138 56 48
m n p+ mn3 + rm3 + 6 rm + 10 rn + 10 rp + 4 rm2 rm2 + 7 rn
25 25 5 5
29 2 1122 168 174 42 46 576
rm + nm4 p + nm5 6 nm4 + nm5 + qm3 + qp nm2 p2
5 25 25 25 5 5 25
702 192 4 24 46 12 56
nm5 p pm m5 mp2 m3 2 + 2 pr 8 q 4 q2 10 r p2 n
25 25 25 5 25 25
84 6 2 12 8 606 3 4 21 198 3
+ m n + m n m + mq + pn
5 25 25 5 25

20
 9 5 9 24 2 56 36 84 72 63
3 = m q m4 r + m3 r p3 n3 np2 + nm7 + nm5 + qm2 n p2 m3 10 qmp
5 5 5 25 25 25 25 5 25
9 2 6 36 96 4 12 27 24 12
mn4 + p3 + n2 2 pm6 pm4 m9 m7 + qn2 m + m6 + m4 2 + p2
5 25 5 25 25 25 25 5 25 25
54 2 38 2 2 162 3 87 4 11 14 23
+ mp n qnm 5 r 4 q + 2 rm + m p m p + qp + m p n2 p 2
25 5 25 25 5 5 5
4 12 12 6 314 261
3 m2 p m3 3 m5 2 + p2 3 rn2 5 r m2 q 3 mq 2 nmp + nm2 p
25 25 5 5 25 25
12 12 2 66 3 19
8 nmq n3 + 3rn m5 5 rm2 + 2 pr + nq + 10 rm + nm3 2 + nm3 + np2
5 25 5 25 5 5
44 17 42 33 21 58 13 28 6
3 mn2 2 + qn + qm2 qm2 + n2 m2 + m3 q mp2 + np n2 q + n4
5 5 5 25 5 25 5 5 5
24 237 2 4 186 3 2 252 2 279 2 38 23 69 12
+ 4q 2 qm4 + n m n m + n mp + m pn mnr mp2 pn2 mpn
5 25 25 25 25 5 5 25 5
27 2 27 2 21 3 12 12 23 69 162 108
+ rm n + m qp + m q mpr qpn + qp + mn3 + 3 qr m3 n 2 m5 n 2
5 5 5 5 5 5 25 25 25
123 3 3 102 5 78 153 2 2 96 6 12 4 21 234 2 2
+ m n + m p m3 pn + m p m n m7 + m6 + mn3 + m n
25 25 5 25 25 25 25 5 25
63 36 63 183 3 2 189 2 2 29 21 171
+ nm3 nm3 q mn2 m n m n p + 7 rn rm2 + qm + nm4 p
25 5 25 25 25 5 5 25
87 54 76 12 24 6 9
6 nm4 + nm5 nm2 2 m2 2 p + m8 m4 n + m3 p + pn3
25 25 25 25 25 5 5

21
Q = m2 rb3 + 6c2 rbdp 10c2 rba + rd3 q 2 2rb3 n + 15a2 br 10q 2 admn q 2 cndp 4d2 q 3 c 9crpb2
+ 18q 2 a2 8aq 3 16qa3 6crb2 dn 4c2 rb2 m + 3crbd2 n2 + 6crbp2 5c3 r2 6c2 rdp2 + 3c3 rbn
5mq 2 b2 d 8mrac2 n + 4q 2 an2 8mqb2 r 2m2 qab2 + d4 q 3 + 3r2 d2 n2 2d3 nq 2 b 5d3 r2 b + 4mracn2
drb3 m + rdm2 nb2 5rdpb2 m rbdpn2 2rbam2 n 2c3 q 2 n 4rdqac + rbd2 pmn + 2rban2 + 2rab2 m
+ 2rm2 pb2 rn2 b2 m + rpb2 n + 2r2 mpc + rbnp2 + 3b2 rd2 p + 4dracmp d3 rbnp d2 rb2 mn + b4 q
2b2 qd2 mp 3mq 3 b + dm2 qb3 + 2drc3 mp 8anr2 2b2 qcn2 + 3b2 qcdp + b2 qc2 n 2ad3 p3 2c2 rpbm
+ 2crd3 p2 + 10acr2 12qa2 n2 7pbr2 2cq 3 n + 13d2 r2 bm + c2 qbdmp + 4c2 rmp2 + 4c3 ram 2c2 rpd2 n
+ 4qnr2 bqc3 p + bqd3 p2 c2 qpbm2 4m2 r2 c2 + 5d3 rbmq 8c2 q 2 a + 4drb2 cm2 4d2 rbmcp m3 qb3
+ m2 q 2 c3 + 3m2 q 2 b2 + 4cq 2 b2 2m2 rc3 p 4d3 r2 cm 3drbc2 mn 9d2 r2 cn 2d2 rmcp2 + 3m2 rbc2 n
+ 8r2 c2 n + 10d2 r2 a 6ap3 b + 4drpbcm2 4m3 rb2 c 3nq 2 b2 + q 2 c2 n2 + 6ap2 b2 + 3d4 r2 n 2c4 rp
+ b2 qn3 cq 2 d3 p + 6m2 qca2 + c4 q 2 + drc3 q + 12am2 r2 + r2 d2 q + q 2 cp2 + 7q 2 br + 12a2 cnmp + 3a2 cndp
15a2 cmdq 3a2 cnbm + 3a2 dm2 nb 9a2 d2 pmn 3a2 m3 nb + 9a2 dpm2 n + 12a2 np2 12a2 pr
+ 3a2 d2 n3 + 9a2 d2 p2 + 6a2 dpcm2 + 24a2 mnr 3a2 dmn3 9a2 d2 nq 12a2 mpn2 6a2 m3 pc + 9a2 n2 bm
+ 3a2 dpn2 15a2 dp2 m + 9a2 d2 m2 q 6a2 c2 mp 3a2 cn2 dm + 4a3 m4 + 8a3 n2 + 3a2 n4 6q 2 acm2
+ 4q 2 cna + 12a3 dmn + 3m2 pa2 b + 21a2 dm2 r + 3a2 cn2 m2 6a2 bdn2 15a2 pbn + 9a2 bcp + 12a2 bdq
18a2 cmr 21a2 dnr + 5a4 2q 2 dpa + 8q 2 amp + 4acmdq 2 + 6ad2 m2 q 2 + q 2 dnr + 3q 2 pbn 5q 2 bcp
+ 3cmdq 3 16abdq 2 + 4ad2 nq 2 + d2 nq 3 + 3a2 c2 n2 + 4a3 cm2 4a3 bm 8cna3 12dpa3 4a3 dm3
+ 16a3 mp 16a3 m2 n + 3a2 b2 n 6a2 cn3 12a2 m3 r 9a2 cp2 4q 2 pr + q 4 + 4bdq 3 dpq 3 3dpa2 bm
+ 4cq 2 bdn 3dq 2 bcm2 dq 2 c2 mn + c2 q 2 bm + d2 pbq 2 + 15drca2 9d2 rma2 + 2c2 q 3 d3 q 3 m + q 2 cnbm
+ d2 pcmq 2 mpbdq 2 + 12ampbr 3rcdq 2 rd2 mq 2 + 3c2 pdq 2 + 2ac3 p2 2am2 pcnb + 2ampbdn2
2amp2 cnd + 16ac2 pr + 2acp2 n2 + 2am2 p2 c2 16qacndp + 2qmpbr + 10amq 2 b + 4m3 rac2 + 6qadpn2
+ 2qadp2 m + 2qan2 bm 16qacnbm 2qadm2 nb 6qad2 pmn + 8qacnmp + 4qapbn + 4qabcp + 8qacmr
+ 12qadnr 16qamnr + 4qacn2 dm + 2qadpcm2 + 10qadm2 r 4qacn3 + 4qacp2 8qanp2 + 16qapr
2qad2 p2 + 6qcna2 + 15qdpa2 9qa2 dm3 24qa2 mp + 12qa2 m2 n + 4qab2 n 3qa2 bm 10qm2 pab
+ 6qa2 dmn 4qc2 pr + 8qac2 n2 + 6c2 qa2 + 6a2 m2 p2 3qmpb2 n 16qd2 rma qbpcn2 + 2qbpc2 n
qd2 rncm 22qabr + 6adp3 c 2adp3 n + 2adp2 r + 11qd2 rcp 2qdrc2 n + d3 rcqn + qdrcn2 + 3qd3 rmp
5qd2 rbn 5qd2 rbm2 qcpb2 m + 4qcpnr + 13qdrb2 qd2 mp2 b + 3qp2 b2 6qcr2 3qb3 p + 2qdm2 pb2
+ 10qrbdmn 2ab3 p qdmr2 + 3qdp2 r + 20qdpabm + qdpcnbm + 2qmp2 bc 8qdpcmr 3qd2 pnr
+ qdpb2 n + 5dr3 4mr3 + 2ap4 + 4adpb2 n 6ad2 pm2 r + 2ad2 pnr + 6amp2 bn + 2adpcnbm 8amp2 r
+ 2amp3 d2 3qdp2 bc + 2amp2 bc + qdp2 bn 2adp2 bn 2ad2 pbn2 10ad2 pbq 6adp2 bc + 8acqbdn
4acqd2 n2 + 6ac2 qbm 6ampb2 n + 2ad2 p2 cn 2adp2 c2 m + 6ad3 pnq + 4abpcn2 2abpc2 n 2abpn3
+ 4am2 pcr 8acqb2 + 14ad2 rbn 8ad2 rbm2 14ad2 rcp 6adrc2 n + 14adrbcm + 12adrcn2 + 6ad3 rmp
+ 10ad2 rncm 4ac3 qn 4am2 qc2 n + 6am3 qbc + 2ac2 pdq + 2acpb2 m 24acpnr 6adqbcm2

22
Q (Continuaci
on)
+ 4adqc2 mn + 2am3 pb2 4am2 p2 bd 6adrn3 6ad3 rn2 10adrb2 + 6ard2 n2 m 10ardncm2
20arbdmn + 8arbdm3 2adm2 pb2 + 4ad2 mp2 b 4amp3 c + 8arpn2 6ad3 q 2 m + 8ad2 q 2 c 22admr2
4ac2 p2 n 2ad2 pcmq + bdnr2 5pdnr2 2rpc2 n2 + 5bmnr2 8bdm2 r2 2bcmr2 + 4cpdr2
+ 2rc2 pdnm 5rbqn2 + 4rc3 pn 4drac2 m2 + 2rbcnq + 2rbdpa 3rbcn2 dm + 3rbcn3 6rbc2 n2
+ 2rmq 2 c 8rpcnbm + 5b2 r2 5dr2 cb 10rpbdq + 2rcndp2 + 4d2 r2 cm2 3d3 r2 mn + 3dr2 c2 m
+ 5rbcndp 6rbacm2 + 8rbcna + rdqc2 m2 2crp3 + 3rc2 qb + 11rcnb2 m + 4rpadmn + 2r2 dncm
+ 2r2 d2 mp 3r2 cn2 + 2p2 r2 2d3 r2 p + 2d2 q 2 mbn + 3mqb3 n + 2m2 qbcr 2dq 2 bn2 + 5crb3 mqb2 dn2
+ m2 qcnb2 + 2d2 q 2 b2 + 3d2 q 2 bcm + 2d2 qbamn d2 qbcnp + 6d3 qra dq 2 c3 m 4dq 2 c2 b + 2dqab2 m
7d2 qrcb dqcnb2 m + d2 qb2 n2 3d4 qrp 2dqb3 n d2 qrc2 m + d2 q 2 c2 n 2c2 q 2 pm + 5d2 r2 c2
cqb3 m qp3 b

R = 3mr2 b3 3rp2 b3 + 2mr3 c2 + ad4 q 3 + d4 r3 m b3 rn3 + 5ab2 r2 5c2 rba2 + r3 d2 p 3rba2 cm2
+ 4rbcna2 + 2rpa2 dmn + d2 qba2 mn + dqa2 b2 m a2 d2 pcmq 2dra2 c2 m2 + rbdpa2 m2 qa2 b2
+ 2c3 ra2 m + 2m2 qca3 + rp3 b2 + r2 c3 n2 + a2 c2 pdq + a2 cpb2 m 12a2 cpnr 3a2 dqbcm2 + 2a2 dqc2 mn
2a2 m2 p2 bd + 3a2 rd2 n2 m 5a2 rdncm2 10a2 rbdmn + 4a2 rbdm3 a2 dm2 pb2 2a2 mp3 c + a2 d2 pnr
+ 3a2 mp2 bn + a2 dpcnbm + a2 mp2 bc a2 dp2 bn a2 d2 pbn2 5a2 d2 pbq 3a2 dp2 bc + 4a2 cqbdn
2a2 cqd2 n2 + 3a2 c2 qbm 3a2 mpb2 n + a2 d2 p2 cn a2 dp2 c2 m + 3a2 d3 pnq + 2a2 bpcn2 a2 bpc2 n
+ 2a2 m2 pcr + 7a2 d2 rbn 4a2 d2 rbm2 7a2 d2 rcp 3a2 drc2 n + 2a2 dpb2 n + 6a2 drcn2 + 3a2 d3 rmp
+ 5a2 d2 rncm 2a2 m2 qc2 n + 3a2 m3 qbc + 2qa3 dmn + 4qa2 cmr + 6qa2 dnr 8qa2 mnr + 2qa2 cn2 dm
+ qa2 dpcm2 + 5qa2 dm2 r + 2qcna3 + 5qdpa3 3qa3 dm3 8qa3 mp + 4qa3 m2 n + 2qa2 b2 n qa3 bm
+ 4qa2 c2 n2 11qa2 br + 3a2 dp3 c + 2qa2 bcp 5qm2 pa2 b 8qd2 rma2 a2 dp3 n + a2 dp2 r 4a2 mp2 r
+ a2 mp3 d2 a2 bpn3 4a2 cqb2 2a2 c3 qn + a2 m3 pb2 3a2 drn3 3a2 d3 rn2 5a2 drb2 + 4a2 rpn2
3a2 d3 q 2 m + 4a2 d2 q 2 c 11a2 dmr2 2a2 c2 p2 n + 3d3 qra2 + a2 p4 + 2a2 cmdq 2 + 5drca3 3d2 rma3
+ 8a2 c2 pr + a2 cp2 n2 + a2 m2 p2 c2 + 5a2 mq 2 b + 2m3 ra2 c2 2qa2 cn3 + 2qa2 cp2 4qa2 np2 + 8qa2 pr
qa2 d2 p2 + 3a3 dpm2 n + 2a3 dpcm2 + a5 + 2ap2 r2 3a3 d2 pmn a3 cn2 dm dpa3 bm + 6a2 mpbr
a2 m2 pcnb + a2 mpbdn2 a2 mp2 cnd 8qa2 cndp + 3qa2 dpn2 + qa2 dp2 m + qa2 n2 bm 8qa2 cnbm
qa2 dm2 nb 3qa2 d2 pmn + 4qa2 cnmp + 2qa2 pbn + 4a3 cnmp + a3 cndp 5a3 cmdq a3 cnbm
+ a3 dm2 nb + a4 m4 + 2a4 n2 + a3 n4 + aq 4 a3 m3 nb + 8a3 mnr a3 dmn3 3a3 d2 nq 4a3 mpn2
2a3 m3 pc + 3a3 n2 bm + a3 dpn2 5a3 dp2 m + 3a3 d2 m2 q 2a3 c2 mp 3q 2 a2 cm2 + 2q 2 cna2 + 3a4 dmn
+ m2 pa3 b + 7a3 dm2 r + a3 cn2 m2 2a3 bdn2 5a3 pbn + 3a3 bcp + 4a3 bdq 6a3 cmr 7a3 dnr q 2 dpa2
+ 4q 2 a2 mp + 3a2 d2 m2 q 2 8a2 bdq 2 + 2a2 d2 nq 2 + 6q 2 a3 4a2 q 3 4qa4 + 5a3 br + ad2 nq 3 4aq 2 pr
adpq 3 ad3 q 3 m + 10qdpa2 bm 3a2 d2 pm2 r + 7a2 drbcm + 2a2 d2 mp2 b 3ar2 cn2 2ad3 r2 p + 5acrb3

23
R (Continuaci
on)
+ 2ad2 q 2 b2 + 5ad2 r2 c2 aqp3 b + 5adr3 + 5d3 r3 c acq 2 d3 p + adrc3 q 4ad3 r2 cm 3adrbc2 mn
9ad2 r2 cn 2ad2 rmcp2 + 3am2 rbc2 n + 4adrpbcm2 4am3 rb2 c + 4acq 2 b2 + 8ar2 c2 n 3anq 2 b2
+ aq 2 c2 n2 + 3ad4 r2 n 2ac4 rp + ab2 qn3 + ar2 d2 q + 7aq 2 br 2ac2 rpbm + 2acrd3 p2 + 13ad2 r2 bm
+ ac2 qbdmp + 4ac2 rmp2 2ac2 rpd2 n abqc3 p + abqd3 p2 ac2 qpbm2 + 5ad3 rbmq + 4adrb2 cm2
2ad3 nq 2 b 2ab2 qd2 mp + adm2 qb3 + 2adrc3 mp 2ab2 qcn2 + 3ab2 qcdp 6acrb2 dn + 3acrbd2 n2
+ 6acrbp2 6ac2 rdp2 + 3ac3 rbn 5amq 2 b2 d 8amqb2 r aq 2 cndp 4ad2 q 3 c + 3ar2 d2 n2 5ad3 r2 b
2ac3 q 2 n 3amq 3 b 7apbr2 2acq 3 n + 4aqnr2 4am2 r2 c2 am3 qb3 + am2 q 2 c3 + 3am2 q 2 b2
9acrpb2 + 6ac2 rbdp 4ad2 rbmcp 2am2 rc3 p + aq 2 cp2 5dr3 c2 + ard3 q 2 2c4 r2 n + 5bcr3 3bnr3
ad2 qrc2 m + ad2 q 2 c2 n 2ac2 q 2 pm acqb3 m + 2ar2 dncm + 2ad2 q 2 mbn + 3amqb3 n + 2am2 qbcr
2adq 2 bn2 amqb2 dn2 + am2 qcnb2 + 3ad2 q 2 bcm ad2 qbcnp adq 2 c3 m 4adq 2 c2 b 7ad2 qrcb
adqcnb2 m + ad2 qb2 n2 3ad4 qrp 5adr2 cb 10arpbdq + 2arcndp2 + 4ad2 r2 cm2 3ad3 r2 mn
+ 3adr2 c2 m + 5arbcndp + ardqc2 m2 + 3arc2 qb + 11arcnb2 m + 2ar2 d2 mp 5apdnr2 2arpc2 n2
+ 5abmnr2 8abdm2 r2 2abcmr2 + 4acpdr2 + 2arc2 pdnm 5arbqn2 + 4arc3 pn + 2arbcnq
3arbcn2 dm + 3arbcn3 6arbc2 n2 + 2armq 2 c aqdmr2 + 3aqdp2 r + aqdpcnbm + 2aqmp2 bc
8aqdpcmr 3aqd2 pnr + aqdpb2 n 3aqdp2 bc + aqdp2 bn + abdnr2 8arpcnbm 2adqb3 n 4aqc2 pr
3aqmpb2 n aqbpcn2 + 13aqdrb2 + 3ac2 pdq 2 + 2aqbpc2 n aqd2 rncm + 11aqd2 rcp 2aqdrc2 n
+ ad3 rcqn + aqdrcn2 + 3aqd3 rmp 5aqd2 rbn 5aqd2 rbm2 aqcpb2 m + 4aqcpnr aqd2 mp2 b
+ 2aqdm2 pb2 + 10aqrbdmn + 4acq 2 bdn 3adq 2 bcm2 adq 2 c2 mn + ac2 q 2 bm + ad2 pbq 2 + aq 2 cnbm
+ ad2 pcmq 2 ampbdq 2 3arcdq 2 ard2 mq 2 + 2aqmpbr + aq 2 dnr + 3aq 2 pbn + 3acmdq 3 + 4abdq 3
+ 2d4 r2 bp + 4dr3 bm + 5d2 r2 cb2 + 2drb4 n d2 rb3 n2 2rdqca2 + 2rmqbc2 p rbqcp2 + 3rdp2 b2 c
+ rbanp2 + rbdpq 2 rba2 m2 n + rbad2 pmn rbadpn2 rbd2 pcmq + rbqcndp 3rbc2 pdq 2rmp2 b2 c
rdpb3 n + radm2 nb2 ran2 b2 m + 2rm2 pab2 + rd2 mp2 b2 + rcpb3 m rdpcnb2 m 5rdpab2 m
3rqpb2 n + rb2 pcn2 2rb2 pc2 n + 3rmpb3 n rdp2 b2 n rd2 pb2 q + rmpb2 dq 2rdm2 pb3 + 5rqb2 cp
+ rapb2 n dr2 c3 mn 4dr2 bc2 m2 dr2 pc2 n + r2 cqd2 n + d2 r2 pc2 m r2 pcdq + r2 bc2 mn + 2r2 acmp
+ 4bdpcmr2 + 2bd2 pnr2 bqdnr2 6bd2 r2 cp + 6bdr2 c2 n 3bdr2 cn2 + bcpnr2 + 7br2 cdq + br2 d2 mq
+ 3bd2 r2 ncm 5mqbcr2 d5 r3 7dr2 b2 cm + 3d2 r2 b2 n + 3dr3 cn 4d2 r3 cm 2bdp2 r2 + 3bqpr2
3bc2 pr2 d3 qr2 b + 7r2 b2 pd 2r2 qc2 n + 3dr2 c3 p + c3 r2 bm 2rab3 n + rba2 n2 + ra2 b2 m + 2c3 r2 q
+ m2 rab3 3mrb4 n + 2d2 r2 b2 m2 3mpb2 r2 5r2 b2 dmn + cr2 q 2 + 4m2 r2 b2 c + crb4 m 7cr2 b2 n
+ 3n2 r2 b2 + drn2 b3 m + d2 rb2 cnp + drcnb3 m 4drb2 cnq 2d2 rmqb2 n + 2drb2 qn2 + m2 r2 c4
drab3 m + drbmqc2 n 2d3 r2 bmp d2 rbqc2 n + 3dr2 qmc2 d3 rbnpa + 4d2 r2 bc2 m + 2dra2 cmp
d3 r2 qcm d2 rbq 2 n d2 rb2 amn 3d3 r2 cbn + 2d3 rnqb2 dr2 c4 m 5dr2 c3 b + d2 r2 c3 n c3 rbqm2
+ c3 rbqdm + c2 rpb2 m2 + 3crb2 dm2 q c2 rb2 mq c2 rb2 dmp 3crb2 d2 mq dr3 q + m3 rb4 mrb2 cnq

24
R (Continuaci
on)
m2 rcnb3 + ab4 q 5aq 2 bcp 3crbdmq 2 5dr2 b3 2cr3 p 4c2 r2 qd2 d3 r3 n + c5 r2 + 2ac2 q 3
+ cr2 d4 q c2 r2 d3 p 2c3 r2 mp dm2 rb4 2d3 mr2 b2 5ac3 r2 3qb2 r2 + ab2 qc2 n + brcqd3 p
+ 2brcq 2 n + b2 rc3 p 4b2 rdq 2 + 5b3 rdmq 3b3 rcdp + 2b3 rd2 mp + 3b2 rad2 p + 4b2 rdqc2 2b3 rd2 q
+ 3b3 rnq 3b3 rm2 q b3 rc2 n brc4 q brd4 q 2 b5 r 4ac2 rb2 m 4amr3 + c2 r2 p2 + 2brc3 qn
brqc2 n2 + 3rb4 p 2brc2 q 2 4b3 rcq b2 rd3 p2 + brd3 q 2 m + 4brd2 q 2 c + 3b2 rmq 2 + 2b3 rcn2
+ 5c2 r2 b2 4mra2 c2 n + 2q 2 a2 n2 4a2 nr2 a2 d3 p3 + 5a2 cr2 4qa3 n2 4c2 q 2 a2 + 5d2 r2 a2
3a2 p3 b + 3a2 p2 b2 + 6a2 m2 r2 + 4a3 np2 4a3 pr + a3 d2 n3 + 3a3 d2 p2 + a3 c2 n2 + a4 cm2 a4 bm
2cna4 3dpa4 a4 dm3 + 4a4 mp 4a4 m2 n + a3 b2 n 2a3 cn3 4a3 m3 r 3a3 cp2 + a2 c3 p2
+ 2c2 qa3 + 2a3 m2 p2 a2 b3 p + r4 5q 2 a2 dmn + 2mra2 cn2 + 3aqp2 b2 6aqcr2 3aqb3 p 2acrp3
+ ac4 q 2 brq 3 5d2 r3 b

25
 on cuatro veces de z 5 z + = 0
Derivaci

1 + (5z 4 1)z
= 0

20 z 3 (z
)2 + (5z 4 1)z

= 0

60 [ z 2(z
)3 + z 3 z
z

] + (5z 4 1)z


= 0

20 [ 6 z(z
)4 + 18 z 2(z
)2 z

+ 3 z 3(z

)2 + 4 z 3 z
z


] + (5z 4 1)z



= 0

Agrupacion de terminos y substituci on de factores comunes, linealizando los terminos no lineales en

on de z
, z

y z


(las ecuaciones con * son combinaciones lineales de las otras. b en notaci
funci on
local)
b = (5z 4 1)1
b + z
= 0
(20 b2z 3 ) z
+ z

= 0

60 [ (b3 z 2 ) z
(b2 z 3 ) z

] + z


= 0

60 [ (b3 z 2 ) (20 b4 z 6 ) ] z
+ z


= 0 ()

40 { (3 b4z) z
+ 3 [ (3 b3 z 2 ) (10 b4 z 6 ) ] z

(2 b2 z 3 ) z


} + z



= 0

40 { 3 [ (60 b5z 5 ) (b4 z) ] z
(30 b4 z 6 ) z

(2 b2 z 3 ) z


} + z



= 0 ()

Cambio de variable z() = z[t()] en la derivacion de a t = 4 , z
= dz/d, z = dz/dt (b y c en

notacion local).
dt
t = 4 c= = 43 z
= c z
d
b/c + z = 0

(20 b2z 3 /c) z + z = 0

...
60 [ (b3 z 2 /c2 ) z (b2 z 3 /c) z]+ z= 0
...
60 [ (b3 z 2 /c2 ) (20 b4 z 6 /c2 ) ] z+
z= 0 ()
... ....
40 { (3 b4z/c3 ) z + 3 [ (3 b3 z 2 /c2 ) (10 b4 z 6 /c2 ) ] z (2 b2 z 3 /c) z }+ z= 0
... ....
40 { 3 [ (60 b5z 5 /c3 ) (b4 z/c3 ) ] z (30 b4 z 6 /c2 ) z (2 b2 z 3 /c) z }+ z= 0 ()
a partir the estas ecuaciones se puede construir la ecuacion diferencial ordinaria de Fuchsian (B = 3).
Ecuacion diferencial ordinaria de Fuchsian (con singularidades regulares en t = 0, t = 1 y t = )


B
d z dB+1 z
ao z + t1 (a t b ) + t B
(1 t) =0
=1
dt dtB+1

cuyas B + 1 soluciones linealmente independientes para |t| < 1 son

z = B+1 FB [(a); (b); t] z = t1b B+1 FB [1 + (a) b ; 1 + (b) b , 2 b ; t]

(a) = (a1 , . . . , ai , . . . , aB ) (b) = (b1 , . . . , bi , . . . , bB ) i = 1, . . . , B = 1, . . . , B

El elemento 1 + bi b con i = se omite.

26
 REFERENCIAS
Borwein, J. M.; Borwein, P. B. Pi and the AGM. A Study in Analytic Number Theory and
Computational Complexity. John Wiley & Sons, 1987.
Boyer, C. B. A History of Mathematics, 3r d Edition. John Wiley & Sons, New Jersey, 2011.
Bring, E. S. Quart. J. Math., Vol.6, (1864).
Bring, E. S. Archiv. Math. Phys., Vol.41, pp.105-112, (1864).
Drociuk, R. J. On the Complete Solution to the Most General Fifth Degree Polynomial. 3
May 2000. http://arxiv.org/abs/math.GM/0005026.
King, B. R. Beyond the Quartic Equation. Birkh auser, Boston, 1996. Reprint, 2009.
Klein, F. Lectures on The Icosahedron and The Solution of Equations of The Fifth Degree,
2nd Edition. Dover Publications, 1956.
Prasolov, V.; Solovyev, Y. Elliptic Functions and Elliptic Integrals. Translation of Mathematical
Aonographs, Vol.170. American Mathematic Society, Providence, Rhode Island, 1997.
Slater, L. J. Generalized Hypergeometric Functions. Cambridge University Press, 1966.
Tortolini, B. Rivista Bibliograca Sopra a Transformazione del Sig. Jerrard per Lequazioni di Quinto
Grado.Annali di Mat. Pura Appl., Vol.6, pp.33-42, (1864).
Tschirnhaus. Acta Eruditorum. (1683).
Weisstein, E. W. CRC Concise Encyclopedia of Mathematics, 2n d Edition. Chapman & Hall /
CRC Press, 2003.
http://mathworld.wolfram.com/QuinticEquation.html
http://mathworld.wolfram.com/JacobiThetaFunctions.html
http://mathworld.wolfram.com/Nome.html

27