arxiv: v2 [math.gm] 18 Dec 2014

Transcription

1 Solution of Polynomial Equations with Nested Radicals arxiv: v [math.gm] 18 Dec 01 Nikos Bagis Stenimahou 5 Edessa Pellas 5800, Greece bagkis@hotmail.com Abstract In this article we present solutions of arbitrary polynomial equations in nested periodic radicals Keywords: Nested Radicals; Quintic; Sextic; Septic; Equations; Polynomials; Solutions; Higher functions; 1 A general type of equations Consider the following general type of equations ax µ +bx µ +c = x ν. 1) Then 1) can be written in the form a x µ + b ) a a = xν, ) where = b ac. Hence x µ = b a + a + 1 a xν 3) Set now d x = x 1/d, d Q + {0}, then x = µ b a + a + 1 a xν ) hence x ν = µ/ν Theorem 1. The solution of 1) is µ x = b a + a + 1 a µ/ν b a + b a + a + 1 a a + 1 a xν 5) µ/ν b a ) a 1

2 Proof. Use relation ) and repeat it infinite times. Corollary 1. The equation ax 6 +bx 5 +cx +dx 3 +ex +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 to the form y = kx +lx 3 +mx +nx+s 8) y 6 +e 1 y +f 1 y +g 1 = 0 9) But the last equation is of the form 1) with µ = 1 and ν = 6 and have solution y = f e 1 e 1 1/6 f e 1 e 1 e 1 1/6 f e 1 e 1 e ) 1 where 1 = f 1 e 1g 1. Hence knowing y we find x from 8) and get the solvability of 7) in nested radicals. More precisely it holds = f 1 + e 1 1 e 1 kx +lx 3 +mx +nx+s = 1 1/6 f 1 + e 1 e 1 1 e 1 1 1/6 f 1 + e 1 e 1 1 e ) 1 Theorem 1 is a generalization of a theorem of Euler see [] pg ): Theorem. If the root of is x, then aqx p +x q = 1 1) x n = n q k=0 Γ{n+pk}/q) qa) k, n = 1,,3,... 13) Γ{n+pk}/q k+1)k!

3 Where Γx) is Euler s the Gamma function. Moreover the solution x of 1) can given with nested radicals: x = q 1 aq q/p 1 aq 1 aq q/p q/p ) The general quintic ax 5 +bx +cx 3 +dx +ex+f = 0 15) can reduced also by means of a Tchirnhausen transform into x 5 +Ax+B = 0 16) Define now the hypergeometric function BRt) = t F 3 [{ 1 5, 5, 3 5, 5 } { 1 ;, 3, 5 } ] ; 315t 56 17) Theorem 3. The solution of 16) is A x = 5 BR 5 5 A 5 B 18) and also holds x = 5 B A 5 B A B 5 A 5 B... 19) Application. If Imτ) > 0 and j τ denotes the j-invariant, then = 3/5 1 j 5/3 τ R e πiτ) 5 11 R e πiτ ) 5 ) 5/3 = j τ jτ + 3/ j τ where Rq) is the Rogers-Ramanujan continued fraction. Proof jτ +..., 0) 3

4 Equation 1) for a = 1/jτ 1/3, b = 50/jτ 1/3, c = 315/jτ 1/3 and µ = 1, ν = 5/3 takes the form x +50x+315 = jr 1/3 x 5/3 1) Which is a simplified form of Klein s equation for the icosahedral equation [3] and have solution x = Y τ = Rq ) 5 11 Rq ) 5. By Theorem 1 we can express Y τ in nested-periodical radicals. This completes the proof. For more details about equation ax +bx+ b 0a = C 1x 5/3 one can see []. The reduction of a given polynomial As someone can see if we assume the equation then we can rewrite ) in the form ah 3 7 +bh 7 +ch 7 +d = u, ) H 3 7 = b a H 7 c a H 7 d a + u a 3) Hence u H 7 = 3 a 3 ba b 1/ c a b +H 7 ) where 3 = bd c. From the above a nested radical solution of ) is = 3 Let also the equation H = H 7 = H 7 a,b,c,d,u) = u a 3 ba b 1/ c a b + u 3 a 3 ba b 1/ c ) a b ax 3µ +bx µ +cx µ +d = x ν. 6) Clearly if we drop the x ν term of 3), then becomes a 3rd degree equation in x µ and can be written under certain conditions as x µ = H 7 a,b,c,d,x ν ) 7) or equivalently or equivalently x = µ H 7 a,b,c,d,x ν ) 8) x ν = µ/ν H 7 a,b,c,d,x ν ) 9)

5 Hence Theorem. If H 7 is the function defined in ), then equation 6) have solution in nested radicals x = µ H7 a,b,c,d, µ/ν H 7 a,b,c,d, µ/ν H 7 a,b,c,d,...)) ). 30) 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 a k x k = 0, 31) k=0 after using Tchirnhausen transform can written in the form which has solution y = H 7 y 7 = ay 3 +by +cy +d, 3) a,b,c,d, 1/7 H 7 a,b,c,d, 1/7 H 7 a,b,c,d,...)) ) 33) Proof. Taking ν = 7 and µ = 1 in Theorem we get the desired result. Example. Consider the equation x 7 = x 3 +x 1/ 3) We want to find a solution of 3). For this we find H 7, which is solution of H 3 7 +H 7 1/ = u. 35) Solving the above equation with expansion 5) we get H 7 u) = 3 1 u+ 8 3/ u+ 1 u /... 36) 8 5

6 Hence a solution of 3) is H7 x = H 7 1/7 H 7 1/7 ) ) 1/7 H 7...) 37) Or if someone preferes a root of x = 3 x / x x 8 3/ ) 8 The next case is the octic equation which is equivalent to x 8 = ax +bx 3 +cx +dx+e 39) and with above method is again solvable in nested radicals, since the H = H 8 is of degree and hence solvable in radicals. But, instead solving a -th degree equation we can use the function H 7 u), since making the change of variable x = H 7 u) in 39) we have By this way H7 8 u) = ah 7 u)+u 0) H 8 u) = H 8 7u) ah 7u), 1) with H 7 u) = H 7 b,c,d,e;u) is the expansion 5) and H 8 ξ) = ξ, and x = H 7 ξ) ) The 9th degree polynomial equation have H = H 9 and degh 9 ) = 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 This reduces to after a Tchirnhausen transform 9 a k x k = 0 3) k=0 ay 5 +by +cy 3 +dy +ey +f = y 9, ) y = kx +lx 3 +mx +nx+s 5) Hence we concern to construct the function H 9 = H 9 u) such that ah 9 u) 5 +bh 9 u) +ch 9 u) 3 +dh 9 u) +eh 9 u)+f = u 6) 6

7 For to construct H 9 we use the Tchirnhausen transform again G 9 u) = k H 9 u) +l H 9 u) 3 +m H 9 u) +n H 9 u)+s, 7) where k,l,m,n,s ) are depending from a,b,c,d,e,u). By this method we arrive to G 9 u) 5 +AG 9 u)+b = 0 8) Hence G 9 u) is that of 18), with A,B functions of a,b,c,d,e,u), or denoting simply A = Au) and B = Bu): G 9 u) = Au) 5 BR 5 5 Au) 5 Bu) 9) Finally we substitute 9) to 7) and solve with respect to H 9 u). Hence with the above notation the next theorem holds Theorem 6. i) The equation ax 5µ +bx µ +cx 3µ +dx µ +ex µ +f = x ν 50) have solution in periodical nested radicals x = µ µ/ν H9 H 9 ) ) µ/ν H 9...), 51) with H 9 expressible by means of 18) or if preferred by 19)). ii) A root of ) is kx +lx 3 +mx 1/9 +nx+s = H 9 H ) ) 1/9 9 H 9...). 5) By this method one can see that we can solve any polynomial equation with nested radicals. 7

8 References [1]: J.V. Armitage and W.F. Eberlein. Elliptic Functions. Cambridge University Press. 006) []: N.D. Bagis. On a general sextic equation solved by the Rogers-Ramanujan continued fraction. arxiv: v[math.gm]. 01) [3]: W. Duke. Continued fractions and Modular functions. Bull. Amer. Math. Soc. N.S.),. 005), []: 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/911v1 [math.ca] 16 Nov 199). 8