Arxiv:1406.1948V2 [Math.GM] 18 Dec 2014 Hr = ∆ Where H Ouino 1 Is (1) of Solution the 1
Total Page:16
File Type:pdf, Size:1020Kb
Solution of Polynomial Equations with Nested Radicals Nikos Bagis Stenimahou 5 Edessa Pellas 58200, Greece [email protected] Abstract In this article we present solutions of arbitrary polynomial equations in nested periodic radicals Keywords: Nested Radicals; Quintic; Sextic; Septic; Equations; Polynomi- als; Solutions; Higher functions; 1 A general type of equations Consider the following general type of equations ax2µ + bxµ + c = xν . (1) Then (1) can be written in the form b 2 ∆2 a xµ + = xν , (2) 2a − 4a where ∆ = √b2 4ac. Hence − 2 µ b ∆ 1 ν x = − + 2 + x (3) 2a r4a a Set now √d x = x1/d, d Q 0 , then ∈ + −{ } 2 µ b ∆ 1 x = − + + xν (4) s 2a 4a2 a arXiv:1406.1948v2 [math.GM] 18 Dec 2014 r hence µ/ν 2 ν b ∆ 1 ν x = − + 2 + x (5) s 2a r4a a Theorem 1. The solution of (1) is µ v 2 µ/ν 2 2 u b v ∆ 1 b ∆ 1 µ/ν b ∆ x = u− + u + v− + v + − + + ... (6) u 2a u4a2 a u 2a u4a2 a s 2a 4a2 u u u u r u u u t t t t 1 Proof. Use relation (4) and repeat it infinite 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 find 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) Define 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 simplified 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 defined 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 find a solution of (34). For this we find 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)).