On the Solution to Nonic Equations
Total Page:16
File Type:pdf, Size:1020Kb
On the Solution to Nonic Equations By Dr. Raghavendra G. Kulkarni Abstract. This paper presents a novel decomposition tech- nique in which a given nonic equation is decomposed into quartic and quintic polynomials as factors, eventually lead- ing to its solution in radicals. The conditions to be satisfied by the roots and the coefficients of such a solvable nonic equation are derived. Introduction It is well known that the general polynomial equations of degree five and above cannot be solved in radicals, and have to be solved algebraically using symbolic coefficients, such as the use of Bring radicals for solving the general quintic equation, and the use of Kampe de Feriet functions to solve the general sextic equation [1, 2]. There is hardly any literature on the analytical solution to the polynomial equations beyond sixth degree. The solution to certain solvable octic equations is described in a recent paper [4]. This paper presents a method of determining all nine roots of a nonic equation (ninth-degree polynomial equation) in radicals. First, the given nonic equation is decomposed into two factors in a novel fashion. One of these factors is a fourth-degree polynomial, while the other one is a fifth-degree polynomial. When the fourth- degree polynomial factor is equated to zero, the four roots of the given nonic equation are extracted by solving the resultant quar- tic equation using the well-known Ferrari method or by a method given in a recent paper [3]. However, when the fifth-degree polyno- mial factor is equated to zero, the resultant quintic equation is also required to be solved in radicals, since the aim of this paper is to solve the nonic equation completely in radicals. For this purpose, suitable supplementary equations are employed so that the given [3] 4 Alabama Journal of Mathematics nonic equation can be successfully decomposed, and then the resul- tant quintic factor also can be further decomposed. The criteria to be satisfied by the roots and the coefficients of such a solvable nonic equation are derived. At the end, we solve a numerical example using the proposed method. Decomposition of a Nonic Equation Consider the following nonic equation in x : 9 8 7 6 5 4 3 2 x +a8x +a7x +a6x +a5x +a4x +a3x +a2x +a1x+a0 =0, (1) where a0,a1,a2,a3,a4,a5,a6,a7, and a8 are real coefficients. In the proposed method, we add a root “at the origin” to the above equation, which is equivalent to multiplying (1) by x. This action converts the nonic equation (1) to a decic equation as shown below: 10 9 8 7 6 5 4 3 2 x +a8x +a7x +a6x +a5x +a4x +a3x +a2x +a1x +a0x =0. (2) Our aim is to decompose the above decic equation into two quintic factors. For this purpose, consider another decic equation as shown below: 5 4 3 2 2 x + b4x + b3x + b2x + b1x + b0 ¡ 4 3 2 ¢2 (c4x + c3x + c2x + c1x + c0) =0, − (3) where b0,b1,b2,b3,b4, and c0,c1,c2,c3,c4 are the unknown coeffi- cients in the quintic and the quartic polynomial terms respectively, in (3). Notice that the above decic equation (3) can be easily de- composed into two quintic factors as shown below: 5 4 3 2 x + b4x + b3x + b2x + b1x + b0 £¡ 4 3 2 ¢ c4x + c3x + c2x + c1x + c0 − 5 ¡ 4 3 2 ¢¤ x + b4x + b3x + b2x + b1x + b0 ∗ £¡ 4 3 2 ¢ + c4x + c3x + c2x + c1x + c0 =0, ¡ (4) ¢¤ Spring/Fall 2008 5 where the symbol * is the multiplication symbol. Equation 4 is further simplified as: 5 4 3 2 x +(b4 c4)x +(b3 c3)x +(b2 c2)x − − − £ +(b1 c1)x + b0 c0] − − 5 4 3 2 x +(b4 + c4)x +(b3 + c3)x +(b2 + c2)x ∗ £ +(b1 + c1)x + b0 + c0]=0. (5) Thus if the decic equation (2) can be represented in the form of de- cic equation (3), then it can be easily decomposed into two quintic factors as given in (5). In order for (3) to represent decic equation (2), the coefficients of (2) and (3) must be equal. Note, however, that the coefficients of (3) are not given explicitly. Therefore, to facilitate comparison of coefficients of (2) and (3), the decic equa- tion (3) is expanded and rearranged in descending powers of x, as shown below: 10 9 2 2 8 7 x +2b4x + b +2b3 c x +2(b2 + b3b4 c3c4) x 4 − 4 − 2 ¡ 2 ¢ 6 + b +2b1 +2b2b4 c 2c2c4 x 3 − 3 − ¡ ¢ 5 +2 (b0 + b1b4 + b2b3 c1c4 c2c3) x − − 2 2 4 + b +2b0b4 +2b1b3 c 2c0c4 2c1c3 x 2 − 2 − − ¡ 3 ¢ +2 (b0b3 + b1b2 c0c3 c1c2) x − − 2 2 2 2 2 +(b +2b0b2 c 2c0c2)x +2(b0b1 c0c1)x + b c =0. 1 − 1 − − 0 − 0 (6) Equating the coefficients of (2) and (6), we obtain the following ten equations: 2b4 = a8 (7) 2 2 b +2b3 c = a7 (8) 4 − 4 6 Alabama Journal of Mathematics 2(b2 + b3b4 c3c4)=a6 (9) − 2 2 b +2b1 +2b2b4 c 2c2c4 = a5 (10) 3 − 3 − 2(b0 + b1b4 + b2b3 c1c4 c2c3)=a4 (11) − − 2 2 b +2b0b4 +2b1b3 c 2c0c4 2c1c3 = a3 (12) 2 − 2 − − 2(b0b3 + b1b2 c0c3 c1c2)=a2 (13) − − 2 2 b +2b0b2 c 2c0c2 = a1 (14) 1 − 1 − 2(b0b1 c0c1)=a0 (15) − b2 c2 =0. (16) 0 − 0 Equation 16 results into two expressions for c0 as: c0 = b0, and we choose: ± c0 = b0. (17) When (17) is used in the factored decic equation (5), we obtain the following expression containing the quartic polynomial and the quintic polynomial as factors: 4 3 2 x x +(b4 c4) x +(b3 c3) x − − £ +(b2 c2) x +(b1 c1)] − − 5 4 3 x +(b4 + c4) x +(b3 + c3) x ∗ £ 2 +(b2 + c2) x +(b1 + c1) x +2b0 =0. ¤ (18) Notice that the added root (“at the origin,” x =0)to the given nonic equation (1) is visible in the factored equation (18). To facilitate extraction of the nine roots of the given nonic (1), the quartic and the quintic factors in (18) are equated to zero leading to the following quartic and quintic equations respectively as shown below: Spring/Fall 2008 7 4 3 2 x +(b4 c4)x +(b3 c3)x − − +(b2 c2)x + b1 c1 =0 − − (19) 5 4 3 2 x +(b4 + c4)x +(b3 + c3)x +(b2 + c2)x +(b1 + c1)x +2b0 =0. (20) Once the unknown coefficients in (19) are determined, the quartic equation (19) can be solved in radicals by well-known meth- ods [2, 3]. However, the same cannot be said for the quintic equa- tion (20), since there is no solution in radicals for a general quintic equation. Thus to make quintic equation (20) solvable in radicals, we need to find some way to decompose it into factors. In the next section we introduce some supplementary equations to facilitate determination of unknowns as well as the decomposition of (20). Choice of Supplementary Equations Since general polynomial equations beyond fourth-degree can- not be solved in radicals, it is to be noted that, even though there are ten equations, (7) — (16), to determine the ten unknowns in the decic equation (3), some more equations (called supplementary equations) are required to determine all the ten unknowns and to decompose the quintic equation (20). The supplementary equa- tions introduced will decide the type of solvable nonic equation. Let the supplementary equations introduced here be as indicated below: c4 = b4 (21) − c1 = b1 (22) − Using these supplementary equations in the quartic and the quintic equations, (19) and (20), leads to the following equations: 4 3 2 x +2b4x +(b3 c3)x +(b2 c2)x +2b1 = 0 (23) − − 5 3 2 x +(b3 + c3)x +(b2 + c2)x +2b0 =0. (24) 8 Alabama Journal of Mathematics We decompose the quintic equation (24) as shown below: 3 2 2b0 x (x + b3 + c3)+(b2 + c2) x2 + =0. (25) b2+c2 ³ ´ The above equation can be decomposed if the following condition is satisfied. 2b0 b3 + c3 = (26) b2+c2 With the coefficients of the quintic equation (24) satisfying the condition (26), the equation (24) can be factored as shown below: 2 3 (x + b3 + c3)(x + b2 + c2)=0. (27) The roots of the factored quintic equation (27) can be easily de- termined in radicals. The next task is to determine the unknowns (b0,b1,b2,b3,b4,c0,c1,c2,c3,c4) using the equations, (7) — (16), and the supplementary equations (21), (22), and (26). Determination of Unknowns Using equations, (7), (8), and the supplementary equation (21), the following unknowns are determined as shown below: a8 b4 = 2 a8 c4 = − 2 a7 b3 = 2 . (28) The equations, (9) — (15), get converted to the following new equa- tions, (9A) — (15A) respectively, by substituting the values of b4,c4, and b3 from (28), as well as by eliminating c0 and c1 (through the use of (17) and (22)). a7 2b2 + a8 2 + c3 = a6 (9A) ¡ ¢ 2 a7 2 2b1 + a8(b2 + c2)+ c = a5 (10A) 4 − 3 2b0 + a7b2 2c2c3 = a4 (11A) − 2 2 b +2a8b0 + b1(a7 +2c3) c = a3 (12A) 2 − 2 Spring/Fall 2008 9 b0(a7 2c3)+2b1(b2 + c2)=a2 (13A) − 2b0(b2 c2)=a1 (14A) − 4b0b1 = a0 (15A) The supplementary equation (26) also gets modified as shown be- low: 4b0 a7 +2c3 = . (26A) b2+c2 Using (15A), b0 is eliminated from the above set of equations, (11A) — (14A) and (26A), to obtain a new set of equations, (11B) — (14B) and (26B), respectively, as shown below: a0 + a7b2 2c2c3 = a4 (11B) 2b1 − 2 2 a0a8 b2 c2 + + b1(a7 +2c3)=a3 (12B) − 2b1 a0 (a7 2c3)+2b1(b2 + c2)=a2 (13B) 4b1 − 2a1 b2 c2 = b1 (14B) − a0 a0 b2 + c2 = .