Arxiv:1406.1948V2 [Math.GM] 18 Dec 2014 Hr = ∆ Where H Ouino 1 Is (1) of Solution the 1

Home , Sextic equation

arXiv:1406.1948v2 [math.GM] 18 Dec 2014 hr = ∆ where h ouino 1 is (1) of solution The 1. Theorem e now Set hence osdrtefloiggnrltp fequations of equations type of general following type the Consider general A 1 functions; Higher Solutions; als; hn()cnb rte nteform the in written be can (1) Then ouino oyoilEutoswt etdRadicals Nested with Equations Polynomial of Solution Keywords nti ril epeetsltoso rirr oyoilequation radicals polynomial periodic arbitrary of nested solutions in present we article this In x = √ d t u u u u u v x µ √ = − b 2 2 a etdRdcl;Qitc etc etc qain;Polynomi- Equations; Septic; Sextic; Quintic; Radicals; Nested : b x − 1 + /d 4 t u u u u v , ac d Hence . 4 ∆ ∈ a 2 2 Q x + ν a x + x = = µ a 1 { − tnmhu5Edessa 5 Stenimahou ax [email protected] Greece 58200, Pellas x = µ/ν µ s µ/ν µ 2 t u u u v 0 s µ + − 2 } − io Bagis Nikos 2 + a Abstract then , b − a − 2 2 2 b b a a a + bx b b + + + r µ 1 2 r + t u u v r − 4 ∆ 4 ∆ a c a 4 2 4 ∆ ∆ ∆ 2 4 2 2 = a a a 2 + 2 2 2 2 + x = + + a 1 ν a 1 . x x a 1 a 1 x ν ν ν x , µ/ν ν s − 2 a b + r 4 ∆ a 2 2 + ... s (2) (5) (3) (4) (6) (1) Proof. Use relation (4) and repeat it inﬁnite times.

Corollary 1. The equation ax6 + bx5 + cx4 + dx3 + ex2 + fx + g = 0 (7) is always solvable with nested radicals.

Proof. We know (see [1]) that all sextic equations, of the most general form (7) are equivalent by means of a Tchirnhausen transform

y = kx4 + lx3 + mx2 + nx + s (8) to the form 6 2 y + e1y + f1y + g1 = 0 (9) But the last equation is of the form (1) with µ = 1 and ν = 6 and have solution

2 1/6 2 2 f v ∆ 1 f ∆ 1 1/6 f ∆ y = 1 + u 1 v 1 + 1 1 + 1 + ... (10) − u 2 u− v 2 v− 2 2e1 u4e1 − e1 u 2e1 u4e1 − e1 u 2e1 s4e1 u u u u u u u t t t t 2 where ∆1 = f1 4e1g1. Hence knowing y we ﬁnd x from (8) and get the solvability of (7) in− nested radicals. More precisely it holds p kx4 + lx3 + mx2 + nx + s =

2 1/6 2 2 f v ∆ 1 f ∆ 1 1/6 f ∆ = 1 + u 1 v 1 + 1 1 + 1 + ... (11) − u 2 u− v 2 v− 2 2e1 u4e1 − e1 u 2e1 u4e1 − e1 u 2e1 s4e1 u u u u u u u t t t t

Theorem 1 is a generalization of a theorem of Euler (see [4] pg.306-307):

Theorem 2. If the root of aqxp + xq = 1 (12) is x, then

∞ n Γ( n + pk /q)( qa)k xn = { } − , n =1, 2, 3,... (13) q Γ( n + pk /q k + 1)k! Xk=0 { } −

2 Where Γ(x) is Euler’s the Gamma function. Moreover the solution x of (12) can given with nested radicals:

q q/p x = 1 aq 1 aq q/p 1 aq q/p√1 ... (14) s − − − − r q

The general quintic

ax5 + bx4 + cx3 + dx2 + ex + f = 0 (15) can reduced also by means of a Tchirnhausen transform into

x5 + Ax + B = 0 (16)

Deﬁne now the hypergeometric function

1 2 3 4 1 3 5 3125t4 BR(t)= t F , , , ; , , ; (17) − · 4 3 5 5 5 5 2 4 4 − 256

Theorem 3. The solution of (16) is

4 55 5 4 A −A x = − BR B (18) q r 5 − 4    and also holds

5 5 5 x = B A B A B A√5 B ... (19) s− − − − − − − − r q Application. If Im(τ) > 0 and jτ denotes the j-invariant, then

− 5/3 1 2πiτ 5 2πiτ 5 5/3 R e 11 R e = jτ − −

3 5 / 125 12500 3 5 125 12500 = v− + + / − + + . . ., (20) u v 2 v 2 u jτ u jτ jτ s jτ u u u u u u t t t where R(q) is the Rogers-Ramanujan continued fraction.

Proof.

3 1/3 1/3 1/3 Equation (1) for a = 1/jτ , b = 250/jτ , c = 3125/jτ and µ = 1, ν = 5/3 takes the form 2 1/3 5/3 x + 250x +3125 = jr x (21) Which is a simpliﬁed form of Klein’s equation for the icosahedral equation [3] and have solution x = Y = R(q2)−5 11 R(q2)5. By Theorem 1 we can τ − − express Yτ in nested-periodical radicals . This completes the proof.

2 2 b 5/3 For more details about equation ax + bx + 20a = C1x one can see [2].

2 The reduction of a given polynomial

As someone can see if we assume the equation

3 2 aH7 + bH7 + cH7 + d = u, (22) then we can rewrite (22) in the form

b c d u H3 = H2 H + (23) 7 −a 7 − a 7 − a a Hence

3 u ∆ b c H = 3 1/2 + H (24) 7 a − 4ba − a 2b 7 s r 2 where ∆3 =4bd c . From the above− a nested radical solution of (22) is

H = H7 = H7(a,b,c,d,u)=

3 1/2 u ∆3 b c 3 u ∆3 b 1/2 c = v v + + ... (25) u a − 4ba − a u2b s a − 4ba − a 2b u u r u t Let also the equationt

ax3µ + bx2µ + cxµ + d = xν . (26)

Clearly if we drop the xν term of (23), then becomes a 3rd degree equation in xµ and can be written under certain conditions as

µ ν x = H7 (a,b,c,d,x ) (27) or equivalently µ ν x = H7(a,b,c,d,x ) (28) or equivalently p ν µ/ν ν x = H7(a,b,c,d,x ) (29) p 4 Hence

Theorem 4. If H7 is the function deﬁned in (22), then equation (26) have solution in nested radicals

x = µ H a, b, c, d, µ/ν H a, b, c, d, µ/ν H (a,b,c,d,...) . (30) v 7 7 7 u r ! u p t Note. Here we must mention that we don’t interested about the conditions, since we want to establish formulas that agreed numerically. One can say that without these conditions our results are conjectures.

Theorem 5. Given a general septic equation

7 k akx =0, (31) kX=0 after using Tchirnhausen transform can written in the form

y7 = ay3 + by2 + cy + d, (32) which has solution

1/7 1/7 y = H7 a, b, c, d, H7 a, b, c, d, H7 (a,b,c,d,...) (33) r ! p Proof. Taking ν = 7 and µ = 1 in Theorem 4 we get the desired result.

Example. Consider the equation x7 = x3 + x2 1/2 (34) − We want to ﬁnd a solution of (34). For this we ﬁnd H7, which is solution of

H3 + H2 1/2= u. (35) 7 7 − Solving the above equation with expansion (25) we get

3 1 3/2 1 3/2 1 H7(u)= vu + u + u + ... (36) u 8 − s 8 − 8 − u r t

5 Hence a solution of (34) is

x = H 1/7 H 1/7 H 1/7 H (...) (37) 7  v 7 7 7  u r ! u p  t  Or if someone preferes a root of

3 3 2 7 1 / 7 1 3/2 7 1 x = vx + x + x + ... (38) u 8 − s 8 − 8 − u r t

The next case is the octic equation which is equivalent to

x8 = ax4 + bx3 + cx2 + dx + e (39) and with above method is again solvable in nested radicals, since the H = H8 is of degree 4 and hence solvable in radicals. But, instead solving a 4-th degree equation we can use the function H7(u), since making the change of variable x = H7(u) in (39) we have

8 4 H7 (u)= aH7 (u)+ u (40) By this way H (u)= H8(u) aH4(u), (41) 8 7 − 7 with H7(u)= H7(b,c,d,e; u) is the expansion (25) and

H8(ξ)= ξ, and x = H7(ξ) (42)

The 9th degree polynomial equation have H = H9 and deg(H9)= 5. In this case we can use the hypergeometric function solution (18) or the radical solution (19). The desired equation we want to solve is

9 k akx = 0 (43) Xk=0 This reduces to ay5 + by4 + cy3 + dy2 + ey + f = y9, (44) after a Tchirnhausen transform

y = kx4 + lx3 + mx2 + nx + s (45)

Hence we concern to construct the function H9 = H9(u) such that

5 4 3 2 aH9(u) + bH9(u) + cH9(u) + dH9(u) + eH9(u)+ f = u (46)

6 For to construct H9 we use the Tchirnhausen transform again

′ 4 ′ 3 ′ 2 ′ ′ G9(u)= k H9(u) + l H9(u) + m H9(u) + n H9(u)+ s , (47) where (k′,l′,m′,n′,s′) are depending from (a,b,c,d,e,u). By this method we arrive to 5 G9(u) + AG9(u)+ B = 0 (48)

Hence G9(u) is that of (18), with A,B functions of (a,b,c,d,e,u), or denoting simply A = A(u) and B = B(u):

5 4 5 5 4 A(u) −A(u) G (u)= − BR B(u) (49) 9 q r 5 − 4    Finally we substitute (49) to (47) and solve with respect to H9(u). Hence with the above notation the next theorem holds

Theorem 6. i) The equation

ax5µ + bx4µ + cx3µ + dx2µ + exµ + f = xν (50) have solution in periodical nested radicals

x = µ H µ/ν H µ/ν H (...) , (51) v 9 9 9 u r ! u p t with H9 expressible by means of (18) (or if preferred by (19)). ii) A root of (44) is

4 3 2 1/9 1/9 kx + lx + mx + nx + s = H9 H9 H9 (...) . (52) r ! p

By this method one can see that we can solve any polynomial equation with nested radicals.

7 References

[1]: J.V. Armitage and W.F. Eberlein. ’Elliptic Functions’. Cambridge University Press. (2006) [2]: N.D. Bagis. ’On a general sextic equation solved by the Rogers-Ramanujan continued fraction’. arXiv:1111.6023v2[math.GM]. (2012) [3]: W. Duke. ’Continued fractions and Modular functions’. Bull. Amer. Math. Soc. (N.S.), 42. (2005), 137-162. [4]: B.C. Berndt. ’Ramanujan‘s Notebooks Part I’. Springer Verlag, New York. (1985). [5]: M.L. Glasser. ’The Quadratic Formula Made Hard or A Less Radical Approach to Solving Equations’. arXiv:math/94112244v1 [math.CA] 16 Nov (1994).