{ "id": "71e50da72f757fbd555a9703eb4949c56f0db8f3", "text": "XIII. On a New Auxiliary Equation in the Theory of Equations of the Fifth Order.\n\nBy Arthur Cayley, Esq., F.R.S.\n\nReceived February 20,—Read March 7, 1861.\n\nConsidering the equation of the fifth order, or quintic equation,\n\n\\[(v-x_1)(v-x_2)(v-x_3)(v-x_4)(v-x_5)=0,\\]\n\nand putting as usual\n\n\\[f\\omega=x_1+\\omega x_2+\\omega^2 x_3+\\omega^3 x_4+\\omega^4 x_5,\\]\n\nwhere \\(\\omega\\) is an imaginary fifth root of unity, then, according to Lagrange's general theory for the solution of equations, \\(f\\omega\\) is the root of an equation of the order 24, called the Resolvent Equation, but the solution whereof depends ultimately on an equation of the sixth order, viz.\n\n\\[(f\\omega)^5, (f\\omega^2)^5, (f\\omega^3)^5, (f\\omega^4)^5\\]\n\nare the roots of an equation of the fourth order, each coefficient whereof is determined by an equation of the sixth order; and moreover the other coefficients can be all of them rationally expressed in terms of any one coefficient assumed to be known; the solution thus depends on a single equation of the sixth order. In particular the last coefficient, or\n\n\\[(f\\omega \\cdot f\\omega^2 \\cdot f\\omega^3 \\cdot f\\omega^4)^5,\\]\n\nis determined by an equation of the sixth order; and not only so, but its fifth root, or\n\n\\[f\\omega \\cdot f\\omega^2 \\cdot f\\omega^3 \\cdot f\\omega^4,\\]\n\n(which is a rational function of the roots, and is the function called by Mr. Cockle the Resolvent Product), is also determined by an equation of the sixth order: this equation may be called the Resolvent-Product Equation. But the recent researches of Mr. Cockle and Mr. Harley* show that the solution of an equation of the fifth order may be made to depend on an equation of the sixth order, originating indeed in, and closely connected with, the resolvent-product equation, but of a far more simple form; this is the auxiliary equation referred to in the title of the present memoir. The connexion of the two equations, and the considerations which led to the new one, will be pointed out in the sequel; but I will here state synthetically the construction of the auxiliary equation.\n\nRepresenting for shortness the roots \\((x_1, x_2, x_3, x_4, x_5)\\) of the given quintic equation by 1, 2, 3, 4, 5, and putting moreover\n\n\\[12345=12+23+34+45+51, \\text{ &c.}\\]\n\n---\n\n* Cockle, \"Researches in the Higher Algebra,\" Manchester Memoirs, t. xv. pp. 131–142 (1858).\n\nHarley, \"On the Method of Symmetric Products, and its Application to the Finite Algebraic Solution of Equations,\" Manchester Memoirs, t. xv. pp. 172–219 (1859).\n\nHarley, \"On the Theory of Quintics,\" Quart. Math. Journ. t. iii. pp. 343–359 (1859).\nwhere on the right-hand side 12, 23, &c. stand for $x_1 x_2$, $x_2 x_3$, &c.), then the auxiliary equation, say\n\n$$(*\\chi \\varphi, 1)^6 = 0,$$\n\nhas for its roots\n\n$$\\varphi_1 = 12345 - 24135, \\quad \\varphi_4 = 21435 - 13245,$$\n$$\\varphi_2 = 13425 - 32145, \\quad \\varphi_5 = 31245 - 14325,$$\n$$\\varphi_3 = 14235 - 43125, \\quad \\varphi_6 = 41325 - 12435,$$\n\nand, it follows therefrom, is of the form\n\n$$(1, 0, C, 0, E, F, G(\\chi \\varphi, 1)^6 = 0,$$\n\nwhere $C, E, G$ are rational and integral functions of the coefficients of the given equation, being in fact seminvariants, and $F$ is a mere numerical multiple of the square root of the discriminant.\n\nThe roots of the given quintic equation are each of them rational functions of the roots of the auxiliary equation, so that the theory of the solution of an equation of the fifth order appears to be now carried to its extreme limit. We have in fact\n\n$$\\varphi_1 \\varphi_6 + \\varphi_2 \\varphi_4 + \\varphi_3 \\varphi_5 = (*\\chi x_1, 1)^4,$$\n$$\\varphi_1 \\varphi_2 + \\varphi_3 \\varphi_4 + \\varphi_5 \\varphi_6 = (*\\chi x_2, 1)^4,$$\n$$\\varphi_1 \\varphi_3 + \\varphi_2 \\varphi_5 + \\varphi_4 \\varphi_6 = (*\\chi x_3, 1)^4,$$\n$$\\varphi_1 \\varphi_4 + \\varphi_2 \\varphi_6 + \\varphi_3 \\varphi_5 = (*\\chi x_4, 1)^4,$$\n$$\\varphi_1 \\varphi_5 + \\varphi_2 \\varphi_4 + \\varphi_3 \\varphi_6 = (*\\chi x_5, 1)^4,$$\n\nwhere $(*\\chi x_i, 1)^4$, &c. are the values, corresponding to the roots $x_i$, &c. of the given equation, of a given quartic function. And combining these equations respectively with the quintic equations satisfied by the roots $x_i$, &c. respectively, it follows that, conversely, the roots $x_1, x_2$, &c. are rational functions of the combinations $\\varphi_1 \\varphi_6 + \\varphi_2 \\varphi_4 + \\varphi_3 \\varphi_5$, $\\varphi_1 \\varphi_2 + \\varphi_3 \\varphi_4 + \\varphi_5 \\varphi_6$, &c. respectively, of the roots of the auxiliary equation.\n\nIt is proper to notice that, combining together in every possible manner the six roots of the auxiliary equation, there are in all fifteen combinations of the form $\\varphi_1 \\varphi_2 + \\varphi_3 \\varphi_4 + \\varphi_5 \\varphi_6$. But the combinations occurring in the above-mentioned equations are a completely determinate set of five combinations: the equation of the order 15, whereon depend the combinations $\\varphi_1 \\varphi_2 + \\varphi_3 \\varphi_4 + \\varphi_5 \\varphi_6$, is not rationally decomposable into three quintic equations, but only into a quintic equation having for its roots the above-mentioned five combinations, and into an equation of the tenth order, having for its roots the other ten combinations, and being an irreducible equation. Suppose that the auxiliary equation and its roots are known; the method of ascertaining what combinations of roots correspond to the roots of the quintic equation would be to find the rational quintic factor of the equation of the fifth order, and observe what combinations of the roots of the auxiliary equation are also roots of this quintic factor. The direct calculation of the auxiliary equation by the method of symmetric functions would, I imagine, be very laborious. But the coefficients are seminvariants, and the process explained in my\nmemoir on the Equation of Differences was therefore applicable, and by means of it, the equation, it will be seen, is readily obtained. The auxiliary equation gives rise to a corresponding covariant equation, which is given at the conclusion of the memoir.\n\n1. I will commence by referring to some of the results obtained by Mr. Cockle and Mr. Harley.\n\nIn the paper \"Researches on the Higher Algebra,\" Mr. Cockle, dealing with the quintic equation\n\n\\[ v^5 - 5Qv + E = 0, \\]\n\nobtains for the Resolvent Product \\( \\theta = f_1f_2f_3f_4f_5 \\) the equation\n\n\\[ \\theta^6 + 2QE^5\\theta^4 + 2Q^5E^7\\theta^3 + Q^9E^{10}\\theta^2 - (58Q^5 - E^5)\\theta + 5^{14}Q^8 = 0; \\]\n\nand he remarks that this equation may be written\n\n\\[ (\\theta^3 + 5^5QE\\theta + 5^7Q^4)^2 = 5^{10}(108Q^5E - E^5)\\theta, \\]\n\nso that \\( \\sqrt{-\\theta} \\) is determined by an equation of the sixth order, involving the quadratic radical \\( \\sqrt{E(E^3 - 108Q^5)} \\), which is in fact the square root of the discriminant of the quintic equation.\n\n2. Mr. Harley, in his paper \"On the Symmetric Product, &c.,\" makes use of the functions\n\n\\[ \\tau = x_1x_2 + x_2x_3 + x_3x_4 + x_4x_5 + x_5x_1 (= 12345), \\]\n\\[ \\tau' = x_1x_3 + x_2x_5 + x_3x_2 + x_4x_1 + x_5x_4 (= 24135), \\]\n\nand he obtains for the form \\( v^5 - 5Qv^3 + E = 0 \\), the relation \\( \\theta = 5\\tau\\tau' \\), which, since here \\( \\tau + \\tau' = 0 \\), gives \\( \\theta = -5\\tau^2 \\).\n\nHence \\( \\tau = \\sqrt{-\\frac{1}{5}\\theta} \\) is the root of an equation of the sixth order involving the radical \\( \\sqrt{E(E^3 - 108Q^5)} \\), and which is in fact \\( t = \\frac{\\tau}{\\sqrt{5}} = \\frac{1}{5} \\sqrt{-\\theta} \\), the equation\n\n\\[ t^6 + 5QE^5t^4 + \\sqrt{E(E^3 - 108Q^5)}t - 5Q^4 = 0, \\]\n\ngiven in Mr. Harley's paper \"On the Theory of Quintics.\"\n\n3. And in the same paper there is given a system of equations\n\n\\[ t_1t_3 + t_2t_4 + t_4t_6 = x_1(3^3Q - x_1^3), &c., \\]\n\nconnecting the five roots of the given quintic equation with the combinations\n\n\\[ t_1t_3 + t_2t_5 + t_4t_6, &c. \\]\n\nof the roots of the equation in \\( t \\).\n\n4. I quote also, with a slight change of notation, the following results from the paper \"On the Symmetric Product, &c.,\" viz. considering the quintic equation under the form\n\n\\[ (a, b, c, d, e, f)(v, 1)^5 = 0, \\]\n\nwe have\n\n\\[ f_1f_2f_3 = \\Sigma x^2 + \\tau(\\omega + \\omega') + \\tau'(\\omega^2 + \\omega'), \\]\n\\[ f_1f_2f_3 = \\Sigma x^2 + \\tau(\\omega^2 + \\omega') + \\tau'(\\omega + \\omega'), \\]\nwhere\n\n\\[ \\Sigma x^2 = x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 = \\frac{1}{a^2} (b^2 - 2ac), \\]\n\nand thence, observing also that \\( r + r' = \\frac{c}{a} \\),\n\n\\[ a^4 \\theta = a^4 f_1 f_2 f_3 f_4 f_5 f_6 = 5a^2 c^2 - 5ab^2 c + b^4 + 5a^2 rr', \\]\n\nor as this equation may also be written,\n\n\\[ 4a^4 \\theta = (5ac - 2b^2)^2 - 5a^4 (r - r')^2; \\]\n\nand hence the Resolvent Product \\( \\theta = f_1 f_2 f_3 f_4 f_5 f_6 \\) being determined by an equation of the sixth order, this is also the case with the function \\( (r - r')^2 \\).\n\n5. But the twelve functions \\( \\pm (r - r') \\) can be divided into two sets of six functions each, so that each set is determined by an equation of the sixth order involving a single quadratic radical. This was in fact suggested to me by Mr. Harley's equation in \\( t \\); for in the case considered \\( t + t' \\) was \\( = 0 \\), or \\( 2t = t - t' \\), and the equation in \\( t \\) was presumably the particular form of the equation for \\( \\frac{1}{2}(t - t') \\) in the general case. But it will presently appear in what manner the conclusion should have been arrived at \\( a \\) priori.\n\n6. The preceding remarks show the connexion between the function \\( \\varphi = (r - r') \\) to which belongs the new auxiliary equation, and the Resolvent Product \\( \\theta = f_1 f_2 f_3 f_4 f_5 f_6 \\). The relation was given for the denumerate form of the quintic; but taking, instead, the standard form \\( (a, b, c, d, e, f)(x, v, 1)^5 = 0 \\), it becomes\n\n\\[ 4a^4 \\theta = 2500(ac - b^2)^2 - 5a^4 \\varphi^2. \\]\n\n7. The foregoing equation shows that \\( \\varphi \\) is a seminvariantive function of the roots. In fact\n\n\\[ f_1 = x_1 - x_5 + \\omega(x_2 - x_6) + \\omega^2(x_3 - x_5) + \\omega^3(x_4 - x_5), \\]\n\nis seminvariantive, and \\( f_2, f_3, f_4 \\), being in like manner seminvariantive, the product \\( \\theta = f_1 f_2 f_3 f_4 f_5 f_6 \\) is also seminvariantive; \\( ac - b^2 \\) and \\( a \\) are seminvariants, and therefore \\( \\varphi \\) is a seminvariantive function.\n\n8. But it is easy to show this directly. For representing, as before, the roots by 1, 2, 3, 4, 5, we have\n\n\\[ (1-5)(2-5) + (2-5)(3-5) + (3-5)(4-5) = 12 + 23 + 34 - 5(1 + 22 + 23 + 4) + 35^2, \\]\n\n\\[ (2-5)(4-5) + (4-5)(1-5) + (1-5)(3-5) = 24 + 41 + 13 - 5(2 + 24 + 21 + 3) + 35^2; \\]\n\nand the difference of the right-hand sides is\n\n\\[ 12 + 23 + 34 - 5(2 + 3) \\]\n\n\\[ -24 - 41 - 13 + 5(4 + 1), \\]\n\nwhich is \\( = 12345 - 24135 \\). So that \\( \\varphi \\),\n\n\\[ = (1-5)(2-5) + (2-5)(3-5) + (3-5)(4-5) - [(2-5)(4-5) + (4-5)(1-5) + (1-5)(3-5)], \\]\n\nis a function of the differences of the roots, that is, it is a seminvariantive function.\n\n9. To account for the division of the twelve values of \\( \\pm (r - r') \\) into two sets as above,\nand to explain the formation of a set, consider the symbols 1, 2, 3, 4, 5 as belonging to five points. We may with these five points form in all \\((\\frac{1}{2} \\cdot 1 \\cdot 2 \\cdot 3 \\cdot 4 =)12\\) pentagons, and the symbol 12345 of any pentagon may of course be read backwards or forwards from any point (12345 = 23451 = &c. = 15432 = &c.) without alteration of its meaning. Now attaching to each arrangement of the five numbers a sign, \\(+\\) or \\(-\\), according to the ordinary rule of signs, 12345 being as usual positive, the arrangements 12345, 23451, &c. . . 15432, &c., which belong to the same pentagon, have all of them the same sign; and we may consequently connect with each pentagon the sign \\(+\\) or \\(-\\); there are, in fact, six pentagons with the sign \\(+\\) and six with the sign \\(-\\); and to each positive pentagon there corresponds a negative pentagon, which is derived from it by stellation, viz. to the positive pentagon 12345 there corresponds the negative one 24135, and so for the other positive pentagons. The above-mentioned system of equations\n\n\\[\n\\begin{align*}\n\\varphi_1 &= 12345 - 24135, \\\\\n\\varphi_2 &= 13425 - 32145, \\\\\n\\varphi_3 &= 14235 - 43125, \\\\\n\\varphi_4 &= 21435 - 13245, \\\\\n\\varphi_5 &= 31245 - 14325, \\\\\n\\varphi_6 &= 41325 - 12435,\n\\end{align*}\n\\]\n\nin fact exhibits the six positive pentagons, each accompanied by its stellated negative pentagon, and the formation of the system of equations is thus completely explained; the order of arrangement of the pairs inter se (or, what comes to the same thing, the order of arrangement of the suffixes of the \\(\\varphi\\)'s) is wholly immaterial.\n\n10. The six pairs of pentagons, or, what is the same thing, the \\(\\varphi\\)'s, correspond to each other in pairs in a fivefold manner, quoad the numbers 1, 2, 3, 4, 5 respectively; thus, quoad 5, the pairs are \\(\\varphi_1\\) and \\(\\varphi_4\\), \\(\\varphi_2\\) and \\(\\varphi_5\\), \\(\\varphi_3\\) and \\(\\varphi_6\\), or say 1 and 4, 2 and 5, 3 and 6. The relation is best seen by means of the positive pentagons; thus, quoad 5, in the pentagons 12345 and 21435, the points adjacent to 5 in the one of them are the points 2, 3, and in the other of them the complementary points 1, 4; and so in the other cases. The fivefold correspondence is shown by the symbolical equations\n\n\\[\n\\begin{align*}\n1 &= 16, 24, 35, \\\\\n2 &= 12, 34, 56, \\\\\n3 &= 15, 23, 46, \\\\\n4 &= 13, 26, 35, \\\\\n5 &= 14, 25, 36,\n\\end{align*}\n\\]\n\nwhich, in fact, indicate the combinations of the \\(\\varphi\\)'s which correspond to the several roots of the quintic.\n\n11. It is proper to notice that the right-hand sides of the last-mentioned equations contain all the duads formed with the six numbers 1, 2, 3, 4, 5, 6, each duad once, and once only. There are in all six such synthemes of duads, viz.\nwhich is in fact the theorem whereon depends the existence, for six letters, of a 6-valued function not symmetrical in respect of five letters. There is not any peculiarity in the syntheme of duads which above presented itself; the occurrence of this particular syntheme, instead of any other, arises merely from the arbitrary selection of the suffixes of the $\\phi$'s.\n\n12. It is hardly necessary to remark that if the pentagon 12345 had been assumed negative instead of positive, the only difference would be that the $\\phi$'s would have their signs reversed.\n\n13. I proceed now to the calculation of the Auxiliary Equation. As the working is rather easier for that form, I shall in the first instance take for the given quintic the denumerate form\n\n$$ (a, b, c, d, e, f)(v, 1)^6 = 0. $$\n\nRepresenting, as before, the roots $x_1, x_2, x_3, x_4, x_5$ of this equation by 1, 2, 3, 4, 5, and writing\n\n$$ 12345 = 12 + 23 + 34 + 45 + 51, \\text{ &c.} $$\n\n(where on the right-hand side 12, 23, &c. stand for $x_1x_2, x_2x_3, \\text{ &c.}$), we have to find the equation\n\n$$ (*\\phi, 1)^6 = 0, $$\n\nthe roots whereof are\n\n$$ \\phi_1 = 12345 - 24135, \\quad \\phi_4 = 21435 - 13245, $$\n$$ \\phi_2 = 13425 - 32145, \\quad \\phi_5 = 31245 - 14325, $$\n$$ \\phi_3 = 14235 - 43125, \\quad \\phi_6 = 41325 - 12435. $$\n\nAs already remarked, the coefficients are seminvariants, and if the equation is in the first instance calculated for the particular case $f = 0$, the terms in $f$ can be separately determined. But putting $f = 0$, one of the roots, say 5, becomes $= 0$, and the remaining roots 1, 2, 3, 4 are the roots of the quartic equation $(a, b, c, d, e)(v, 1)^4 = 0$.\n\n14. Writing for shortness\n\n$$ 1234 = 12 + 23 + 34, \\text{ &c.}, $$\n\nand putting also\n\n$$ A = 12 + 34, $$\n$$ B = 13 + 42, $$\n$$ C = 14 + 23, $$\nthen we have\n\n\\[ \\varphi_1 = 1234 - 2413 = 12 + 23 + 34 - 24 - 41 - 13 = A - B + 23 - 14, \\]\n\\[ \\varphi_2 = 1342 - 3214 = 13 + 34 + 42 - 32 - 21 - 14 = B - C + 34 - 12, \\]\n\\[ \\varphi_3 = 1423 - 4312 = 14 + 42 + 23 - 43 - 31 - 12 = C - A + 42 - 13, \\]\n\\[ \\varphi_4 = 2143 - 1324 = 21 + 14 + 43 - 13 - 32 - 24 = A - B - 23 + 14, \\]\n\\[ \\varphi_5 = 3124 - 1423 = 31 + 12 + 24 - 14 - 42 - 23 = B - C - 34 + 12, \\]\n\\[ \\varphi_6 = 4132 - 1243 = 41 + 13 + 32 - 12 - 24 - 43 = C - A - 42 + 13. \\]\n\n15. We have then\n\n\\[ (\\varphi - \\varphi_1)(\\varphi - \\varphi_4) = (\\varphi - A + B)^2 - (14 - 23)^2 \\]\n\\[ = (\\varphi - A + B)^2 - C^2 + 4.1234, \\]\n\nwhere 1234 denotes the product of the four roots; the functions A, B, C, and the product 1234, are each of the degree zero in the coefficients \\(a, b, c, d, e\\); and if we put\n\n\\[ b = -c, \\]\n\\[ c = -4ae + bd, \\]\n\\[ d = 4ace - ad^2 - b^2e, \\]\n\nthen we in fact have\n\n\\[ a \\Sigma A = -b, \\]\n\\[ a^2 \\Sigma AB = c, \\]\n\\[ a^3 ABC = -d, \\]\n\\[ a.1234 = e. \\]\n\nBut on the understanding that \\( \\varphi \\) is ultimately to be changed into \\( a\\varphi \\), it is allowable, and it will be convenient to write\n\n\\[ \\Sigma A = -b, \\]\n\\[ \\Sigma AB = c, \\]\n\\[ ABC = -d, \\]\n\\[ 1234 = ae. \\]\n\n16. I assume also\n\n\\[ B + C - A = \\alpha, \\]\n\\[ C + A - B = \\beta, \\]\n\\[ A + B - C = \\gamma. \\]\n\nAnd we have thus\n\n\\[ (\\varphi - \\varphi_1)(\\varphi - \\varphi_4) = (\\varphi + \\alpha)(\\varphi - \\beta) + 4ae, \\text{ and } \\therefore \\text{ also} \\]\n\\[ (\\varphi - \\varphi_2)(\\varphi - \\varphi_5) = (\\varphi + \\beta)(\\varphi - \\gamma) + 4ae, \\]\n\\[ (\\varphi - \\varphi_3)(\\varphi - \\varphi_6) = (\\varphi + \\gamma)(\\varphi - \\alpha) + 4ae, \\]\n\nso that the equation in \\( \\varphi \\) is\n\n\\[ [(\\varphi + \\beta)(\\varphi - \\gamma) + 4ae][(\\varphi + \\gamma)(\\varphi - \\alpha) + 4ae][(\\varphi + \\alpha)(\\varphi - \\beta) + 4ae] = 0. \\]\n17. To obtain the symmetrical functions of \\( \\alpha, \\beta, \\gamma \\), it is only necessary to remark, that if in the identical equation\n\n\\[\n(1, b, c, d; \\theta, 1)^3 = (\\theta - A)(\\theta - B)(\\theta - C),\n\\]\n\nwe put \\( \\frac{1}{2}(\\chi + A + B + C) = \\frac{1}{2}(\\chi - b) \\), in the place of \\( \\theta \\), the equation becomes\n\n\\[\n(1, b, c, d; \\chi - b, 2)^3 = (\\chi + \\alpha)(\\chi + \\beta)(\\chi + \\gamma),\n\\]\n\nso that we have\n\n\\[\n\\begin{align*}\n\\Sigma \\alpha &= -b = c, \\\\\n\\Sigma \\alpha \\beta &= -b^2 + 4c = -16ae + 4bd - c^2, \\\\\n\\alpha \\beta \\gamma &= b^3 - 4bc + 8d = 16ace - 8ad^2 - 8b^2e + 4bcd - c^3.\n\\end{align*}\n\\]\n\n18. The developed expression for the equation in \\( \\varphi \\) is easily found to be\n\n\\[\n\\begin{align*}\n\\varphi^6 &= -\\Sigma \\alpha^2 + 12ae \\\\\n&+ \\varphi^5 \\cdot \\Sigma \\alpha^2 \\beta^2 - 4ac(\\Sigma \\alpha^2 + \\Sigma \\alpha \\beta) + 48a^2e^2 \\\\\n&+ \\varphi \\cdot -4ae(\\alpha - \\beta)(\\beta - \\gamma)(\\gamma - \\alpha) \\\\\n&+ -\\alpha^2 \\beta^2 \\gamma^2 + 4ac \\alpha \\beta \\gamma \\Sigma \\alpha - 16a^2e^2 \\Sigma \\alpha \\beta + 64a^3e^3 \\\\\n&= 0.\n\\end{align*}\n\\]\n\n19. In this equation the coefficient of \\( \\varphi \\) is\n\n\\[\n-4ae \\cdot 8(B - A)(C - B)(A - C)\n\\]\n\nor, neglecting the multiplier \\( a \\), it is\n\n\\[\n-32 \\cdot 1 \\cdot 2 \\cdot 3 \\cdot 4 \\cdot (1 - 2)(1 - 3)(1 - 4)(2 - 3)(2 - 4)(3 - 4),\n\\]\n\nwhich is the value for \\( 5 = 0 \\), of\n\n\\[\n-32(1 - 2)(1 - 3)(1 - 4)(1 - 5)(2 - 3)(2 - 4)(2 - 5)(3 - 4)(3 - 5)(4 - 5),\n\\]\n\ni.e. the coefficient in question is\n\n\\[\n-32 \\cdot 25 \\cdot \\sqrt{5} \\cdot \\sqrt{\\alpha^4 f^4 + \\&c.} = -800 \\cdot \\sqrt{5} \\cdot \\sqrt{\\alpha^4 f^4 + \\&c.},\n\\]\n\nwhere \\( \\alpha^4 f^4 + \\&c. \\) denotes the discriminant of the denumerate form\n\n\\[\n(a, b, c, d, e, f; v, 1)^5.\n\\]\n\n20. The remaining coefficients are rational functions of \\( a, b, c, d, e \\), which have to be completed by the introduction of the terms in \\( f \\). We have\n\n\\[\n\\begin{align*}\n\\text{Coeff. } \\varphi^4 &= -(\\Sigma \\alpha)^2 = -c^2 \\\\\n&+ 2\\Sigma \\alpha \\beta + 2(-16ae + 4bd - c^2) \\\\\n&+ 12ae + 12ae.\n\\end{align*}\n\\]\n\n\\[\n\\begin{align*}\n\\text{Coeff. } \\varphi^3 &= (\\Sigma \\alpha \\beta)^2 = (-16ae + 4bd - c^2)^2 \\\\\n&- 2\\alpha \\beta \\gamma \\Sigma \\alpha - 2c(16ace - 8ad^2 - 8b^2e + 4bcd - c^3) \\\\\n&- 4ae(\\Sigma \\alpha)^2 - 4ac^2e \\\\\n&+ 4ae(\\Sigma \\alpha \\beta) + 4ae(-16ae + 4bd - c^2) \\\\\n&+ 48a^2e^2 + 48a^2e^2.\n\\end{align*}\n\\]\nCoeff. $\\varphi^6$\n\n\\[\n\\begin{align*}\n&= -a^2b^2c^2 \\\\\n&+ 4ae^3b^2c + 16a^2e^3c + 64a^3e^3 \\\\\n&= -(16ace - 8ad^2 - 8b^2e + 4bcd - c^3)^2 \\\\\n&+ 4ace(16ace - 8ad^2 - 8b^2e + 4bcd - c^3) \\\\\n&- 16a^2e^3(16ace - 8ad^2 - 8b^2e + 4bcd - c^3) \\\\\n&+ 64a^3e^3.\n\\end{align*}\n\\]\n\n21. Effecting the developments, these are\n\n\\[\n\\begin{array}{cccc}\n-32ae & +240a^2e^2 & +320a^2e^2 \\\\\n+8bd & -112abde & -64a^2bde^2 \\\\\n-3c^2 & -8ac^2e & -176a^2c^2e^2 \\\\\n+16acd^2 & +224a^2cd^2e \\\\\n+16b^2ce & -64b^2d^2e \\\\\n+16b^2d^2 & +224ab^2ce^2 \\\\\n-16bc^2d & -128ab^2de^2 \\\\\n+3c^4 & -112abc^2de \\\\\n+64abcd^2 & +28ac^2e^2 \\\\\n-16ac^2d^2 & -64b^2ce^2 \\\\\n+64b^2cde & -16b^2c^2e^2 \\\\\n-16b^2c^2d^2 & +8bc^2d \\\\\n-1c^6 &\n\\end{array}\n\\]\n\nthe first of which is in fact complete; the others being completed, the equation in $\\varphi$ is found to be\n\n22. For the denumerate form $(a, b, c, d, e, f)(v, 1)^6 = 0$, the equation in $\\varphi$ is\n\n\\[\n\\begin{array}{cccc}\na^6 \\times & a^4 \\times & a^2 \\times & -800\\sqrt{5}a^2\\sqrt{\\Delta} \\times \\\\\n+1 & 0 & -32ae & +1 \\\\\n+8bd & 0 & +240a^2e^2 & +4000a^2ef^2 \\\\\n-3c^2 & +240abcf & -1600a^2def \\\\\n& -112abde & +320a^2e^2 \\\\\n& -8ac^2e & -1600a^2b^2f^2 \\\\\n& +16acd^2 & -640a^2bcdf \\\\\n& +16b^2ce & +640a^2bd^2f \\\\\n& +16b^2d^2 & -64a^2bd^2e \\\\\n& -16bc^2d & -80a^2c^2df \\\\\n& +3c^4 & -176a^2c^2e^2 \\\\\n& & +224a^2cd^2e \\\\\n& & -64a^2d^2e \\\\\n& & +384ab^2cef \\\\\n& & -192ab^2cdf \\\\\n& & +224ab^2ce^2 \\\\\n& & -128ab^2d^2e \\\\\n& & +48abc^2f \\\\\n& & -112abc^2de \\\\\n& & +64abcd^2 \\\\\n& & +28ac^2e^2 \\\\\n& & -16ac^2d^2 \\\\\n& & -64b^2e^2 \\\\\n& & +64b^2cde \\\\\n& & -16b^2c^2e \\\\\n& & -16b^2c^2d^2 \\\\\n& & +8bc^2d \\\\\n& & -1c^6 \\\\\n\\end{array}\n\\]\n\nwhere $\\Delta = a^4f^4 + \\text{&c.}$ denotes the discriminant for the denumerate form.\nI proceed now to form the expression for $\\varphi_1\\varphi_4 + \\varphi_2\\varphi_5 + \\varphi_3\\varphi_6$.\n\n23. Writing for convenience $x$ in the place of the root 5, we have\n\n$$\\varphi_1 = A - B + (23 - 14 + x(1 + 4 - 2 - 3)),$$\n\n$$\\varphi_4 = A - B - (23 - 14 + x(1 + 4 - 2 - 3)),$$\n\nor\n\n$$\\varphi_1\\varphi_4 = (A - B)^2 - (23 - 14 + x(1 + 4 - 2 - 3))^2.$$\n\nThe terms without $x$ are, as before, $(A - B)^2 - C^2 + 4.1234$, or $-\\alpha\\beta + 4.1234$, and we have\n\n$$\\varphi_1\\varphi_4 = -\\alpha\\beta + 4.1234$$\n\n$$+ 2x(1 + 4 - 2 - 3)(14 - 23)$$\n\n$$- x^2(1 + 4 - 2 - 3)^2;$$\n\nand in like manner\n\n$$\\varphi_2\\varphi_5 = -\\beta\\gamma + 4.1234$$\n\n$$+ 2x(1 + 2 - 3 - 4)(12 - 34)$$\n\n$$- x^2(1 + 2 - 3 - 4)^2,$$\n\nand\n\n$$\\varphi_3\\varphi_6 = -\\gamma\\alpha + 4.1234$$\n\n$$+ 2x(1 + 3 - 4 - 2)(13 - 42)$$\n\n$$- x^2(1 + 3 - 4 - 2)^2.$$\n\n24. The roots 1, 2, 3, 4, contained in these expressions explicitly, and in $\\alpha$, $\\beta$, $\\gamma$, are the roots of the equation\n\n$$\\frac{1}{v-x}(a, b, c, d, e, f)(v, 1)^i = 0,$$\n\nor, what is the same thing,\n\n$$(a', b', c', d', e')(v, 1)^i = 0,$$\n\nwhere\n\n$$a' = a,$$\n\n$$b' = ax + b,$$\n\n$$c' = ax^2 + bx + c,$$\n\n$$d' = ax^3 + bx^2 + cx + d,$$\n\n$$e' = ax^4 + bx^3 + cx^2 + dx + e.$$\n\nOmitting, as before, a power of $a$, which is ultimately restored, we have\n\n$$\\varphi_1\\varphi_4 + \\varphi_2\\varphi_5 + \\varphi_3\\varphi_6 = -\\Sigma\\alpha\\beta + 12a'e'$$\n\n$$+ 2x\\Sigma(1 + 4 - 2 - 3)(14 - 23)$$\n\n$$- x^2\\Sigma(1 + 4 - 2 - 3)^2,$$\n\nwhere the $\\Sigma$'s in the second and third lines denote each of them the sum of the three terms obtained by the cyclical permutations of 2, 3, 4.\n\nThe first line is\n\n$$(16a'e' - 4b'd' + e'^2) + 12a'e'$$\n\n$$= 28a'e' - 4b'd' + 1e'^2.$$\n\nThe second line is $2x$ into $\\Sigma 1^2 - 3\\Sigma 123$,\n\n$$= (-b'e' + 3a'd') + 3a'd';$$\nor it is\n\n\\[=2x(6a'd' - 1b'c');\\]\n\nand the third line is \\(-x^3\\) into \\(3\\Sigma 1^2 - 2\\Sigma 12,\\)\n\n\\[=3(b'^2 - 2a'c') - 2a'c';\\]\n\nor it is\n\n\\[=x^3(8a'c' - 3b'^2).\\]\n\nHence, combining the three terms,\n\n\\[\\varphi_1\\varphi_4 + \\varphi_2\\varphi_5 + \\varphi_3\\varphi_6 = 28a'e' - 4b'd' + 1c'^2\\]\n\n\\[+ x(12a'd' - 2b'c')\\]\n\n\\[+ x^3(8a'c' - 3b'^2),\\]\n\nor substituting for \\((a', b', c', d', e')\\) their values, the right-hand side is\n\n\\[(40a^2, 32ab, 28ac - 8b^2, 44ad - 8bc, 28ae - 4bd + 1c^2)(x, 1)^4,\\]\n\nwhere \\(x\\) stands for \\(x_5\\), and on the left-hand side the factor \\(a^2\\) is to be restored.\n\n25. Writing for shortness\n\n\\[(x, 1)^4 = (40a^2, 32ab, 28ac - 8b^2, 44ad - 8bc, 28ae - 4bd + 1c^2)(x, 1)^4,\\]\n\nthe equation is\n\n\\[a^2(\\varphi_1\\varphi_4 + \\varphi_2\\varphi_5 + \\varphi_3\\varphi_6) = (x, 1)^4;\\]\n\nand the system of equations to which this belongs is\n\n\\[a^2(\\varphi_1\\varphi_6 + \\varphi_2\\varphi_4 + \\varphi_3\\varphi_5) = (x, 1)^4,\\]\n\n\\[a^2(\\varphi_1\\varphi_2 + \\varphi_3\\varphi_4 + \\varphi_5\\varphi_6) = (x, 1)^4,\\]\n\n\\[a^2(\\varphi_1\\varphi_3 + \\varphi_2\\varphi_5 + \\varphi_4\\varphi_6) = (x, 1)^4,\\]\n\n\\[a^2(\\varphi_1\\varphi_5 + \\varphi_2\\varphi_6 + \\varphi_3\\varphi_4) = (x, 1)^4,\\]\n\n\\[a^2(\\varphi_1\\varphi_4 + \\varphi_2\\varphi_5 + \\varphi_3\\varphi_6) = (x, 1)^4;\\]\n\nso that the roots \\(x_1, x_2, x_3, x_4, x_5\\) will be rational functions of the combinations \\(\\varphi_1\\varphi_6 + \\varphi_2\\varphi_4 + \\varphi_3\\varphi_5\\), &c. respectively, of the equation in \\(\\varphi\\).\n26. Passing now to the standard form \\((a, b, c, d, e, f)(x, y)^5 = 0\\), the equation in \\(φ\\) is\n\n\\[\n\\begin{array}{cccccc}\na^6 & -100a^4 & 2000a^3 & -800a^2 & 40000 \\\\\n+1 & +1ae & -2a^2df & +1 & +1a^2ef^2 \\\\\n0 & -4bd & +3c^2 & -2a^2e^2 & -2a^3def \\\\\n& +3a^2e^2 & +6abcf & +1a^3ef^2 \\\\\n& -14abce & -1a^2b^2f^2 & -4a^2bcdf \\\\\n& -2ac^2e & -4a^2b^2ef & +8a^2bd^2f \\\\\n& +8acd^2 & -2a^2bd^2e & -2a^2bd^2f \\\\\n& -4b^2f & +10bce & -2a^2bd^2e \\\\\n& +20b^2d^2 & -40bc'd & +28a^2cd^2e \\\\\n& +15c^4 & -16a^2d^4 & +6ab^2ef \\\\\n& & -12ab^2cdf & +35ab^2ce \\\\\n& & +35ab^2ce & -40ab^2de \\\\\n& & +6abc^2f & -70abc'de \\\\\n& & +80abcd^2 & +35ac^4e \\\\\n& & +35ac^4e & -40ac^4d^2 \\\\\n& & -25b^2e^2 & +100b^2cde \\\\\n& & -50b^2c'e & -100b^2c'd^2 \\\\\n& & +100bc'd & -25c^6 \\\\\n\\end{array}\n\\]\n\nwhere \\(Δ = a^4f^4 + &c.\\) denotes the Discriminant for the Standard form.\n\n27. And if we put\n\n\\[\n(*x, 1)^4 = 20(2a^2, 8ab, 22ac - 10b^2, 18ad - 10bc, 7ae - 10bd + 5c^2)(x, 1)^4,\n\\]\n\nthen we have\n\n\\[\n\\begin{align*}\na^2(φ_1φ_6 + φ_2φ_4 + φ_3φ_5) &= (*x_1, 1)^4, \\\\\na^2(φ_1φ_2 + φ_2φ_3 + φ_3φ_6) &= (*x_2, 1)^4, \\\\\na^2(φ_1φ_3 + φ_2φ_6 + φ_3φ_5) &= (*x_3, 1)^4, \\\\\na^2(φ_1φ_4 + φ_2φ_5 + φ_3φ_6) &= (*x_4, 1)^4, \\\\\na^2(φ_1φ_5 + φ_2φ_4 + φ_3φ_6) &= (*x_5, 1)^4,\n\\end{align*}\n\\]\n\nwhich lead to rational expressions for the roots \\(x_1, x_2, x_3, x_4, x_5\\) in terms of the combinations \\(φ_1φ_6 + φ_2φ_4 + φ_3φ_5, &c.\\) respectively.\n\n28. Consider now the quintic function\n\n\\[\nU = (a, b, c, d, e, f)(x, y)^5 = a(x - αy)(x - βy)(x - γy)(x - δy)(x - εy);\n\\]\n\nand treating the numbers 1, 2, 3, 4, 5 as corresponding to \\(α, β, γ, δ, ε\\) respectively, write\n\n\\[\nΦ = \\overline{12345} - \\overline{24135},\n\\]\n\nwhere\n\n\\[\n\\overline{12345} = \\overline{12} + \\overline{23} + \\overline{34} + \\overline{45} + \\overline{51}, &c.,\n\\]\n\nin which \\(\\overline{12}, &c.\\) denote respectively\n\n\\[\n\\frac{1}{y^2} \\frac{1}{x - αy} \\frac{1}{x - βy}, &c.\n\\]\nThen we have\n\n\\[ \\Phi = \\frac{a}{U} [\\varphi x - \\chi y], \\]\n\nwhere\n\n\\[ \\varphi = 12345 - 24135, \\]\n\nand\n\n\\[ 12345 = 12 + 23 + 34 + 45 + 51 = \\alpha \\beta + \\beta \\gamma + \\gamma \\delta + \\delta \\varepsilon + \\varepsilon \\alpha, \\]\n\\[ 24135 = 24 + 41 + 13 + 35 + 52 = \\beta \\delta + \\delta \\alpha + \\alpha \\gamma + \\gamma \\varepsilon + \\varepsilon \\beta, \\]\n\nand where\n\n\\[ \\chi = (12345) - (24135), \\]\n\nand\n\n\\[ (12345) = 123 + 234 + 345 + 451 + 512 = \\alpha \\beta \\gamma + \\beta \\gamma \\delta + \\gamma \\delta \\varepsilon + \\delta \\varepsilon \\alpha + \\varepsilon \\alpha \\beta, \\]\n\\[ (24135) = 241 + 413 + 135 + 352 + 524 = \\beta \\delta \\alpha + \\delta \\alpha \\gamma + \\alpha \\gamma \\varepsilon + \\gamma \\varepsilon \\beta + \\varepsilon \\beta \\delta. \\]\n\n29. In fact,\n\n\\[ \\Phi = \\frac{a}{U} \\left\\{ (12345) - (24135) \\right\\}, \\]\n\nwhere\n\n\\[ (12345) = 123 + 234 + 345 + 451 + 512, \\]\n\\[ (24135) = 241 + 413 + 135 + 352 + 524, \\]\n\nwhere \\( \\overline{123} \\), &c. denote respectively\n\n\\[ \\frac{1}{y^2} (x - \\alpha y)(x - \\beta y)(x - \\gamma y), \\text{ &c.,} \\]\n\nand \\( (12345) - (24135) \\) thus presents itself as a cubic function divided by \\( y^2 \\). But in this cubic function the coefficients of \\( x^3, x^2 y \\) vanish. For the coefficient of any power of \\( x \\) will be\n\n\\[ 123 + 234 + 345 + 451 + 512 - 241 - 413 - 135 - 352 - 524, \\]\n\nwhere, first, for \\( x^3, 123, \\) &c. denote respectively unity; the coefficient of \\( x^3 \\) therefore vanishes. Next, for \\( x^2 y, 123, \\) &c. denote respectively \\(-(1+2+3), \\) &c. \\((=\\alpha + \\beta + \\gamma), \\)\n\nand the coefficient of \\( x^2 y \\) also vanishes. But for \\( xy^3, 123, \\) &c. denote respectively\n\n\\[ 12 + 23 + 31 (= \\alpha \\beta + \\beta \\gamma + \\gamma \\alpha), \\text{ &c. respectively;} \\]\n\nthe positive terms are\n\n\\[ (12 + 23 + 31) + (23 + 34 + 42) + (34 + 45 + 53) + (45 + 51 + 14) + (51 + 12 + 25), \\]\n\nwhich are\n\n\\[ = 2(12 + 23 + 34 + 45 + 51) + (24 + 41 + 13 + 35 + 52) \\]\n\\[ = 2 \\cdot 12345 + 24135; \\]\n\nand the negative terms, taken positively, are\n\n\\[ (24 + 41 + 12) + (41 + 13 + 34) + (13 + 35 + 51) + (35 + 52 + 23) + (52 + 24 + 45), \\]\n\nwhich are\n\n\\[ = (12 + 23 + 34 + 45 + 51) + 2(24 + 41 + 13 + 35 + 52) \\]\n\\[ = 12345 + 2 \\cdot 24135; \\]\n\nso that the difference, or coefficient of \\( xy^3, \\) is\n\n\\[ = 12345 - 24135, \\]\n\nwhich is \\( = \\varphi. \\)\n\nAnd for \\( y^3, 123, \\) &c. denote respectively \\(-123 (= -\\alpha \\beta \\gamma), \\) &c., so that the coefficient of \\( y^3 \\) is \\( = \\chi. \\)\n30. The cubic function is therefore \\( = \\varphi xy^2 - \\chi y^3 \\); and dividing by \\( y^2 \\), we have\n\n\\[\n\\Phi = \\frac{a}{U} (\\varphi x - \\chi y).\n\\]\n\n\\( \\Phi \\) is thus a fractional covariantive function, the leading coefficient whereof is \\( \\varphi \\), and the equation for the determination of \\( \\Phi \\) is consequently that deduced from the equation for \\( \\varphi \\), by replacing therein the seminvariants by the corresponding covariants. The equation is\n\n\\[\n\\begin{align*}\n&U^6, \\\\\n&0, \\\\\n&-100 U^4 \\text{Tab. No. 14}, \\\\\n&0, \\\\\n&+2000 U^2 [6(\\text{Tab. No. 14})^2 - 4 \\text{Tab. No. 20}], \\\\\n&-800 U^2 \\sqrt{5} \\sqrt{\\text{disc}} = \\text{Tab. No. 26}, \\\\\n&(\\mathcal{A}, \\mathcal{B}, \\mathcal{C}, \\mathcal{D}, \\mathcal{E}, \\mathcal{F}, \\mathcal{G}(x, y))^6,\n\\end{align*}\n\\]\n\nwhere the Tables referred to are those of my Second Memoir on Quantics; the coefficients are in regard to \\((x, y)\\) of the orders 30, —, 22, —, 14, 10, 6 respectively. The last coefficient, being of the degree 6 in the coefficients \\((a, b, c, d, e, f)\\), is not given in the Tables; it is therefore merely indicated by \\((\\mathcal{A}, \\mathcal{B}, \\mathcal{C}, \\mathcal{D}, \\mathcal{E}, \\mathcal{F}, \\mathcal{G}(x, y))^6\\), the leading coefficient \\( \\mathcal{A} \\) being of course the last coefficient in the equation for \\( \\varphi \\), to the standard form.\n\nI refrain from at present entering into the consideration of the values of the expressions \\( \\Phi_1 \\Phi_4 + \\Phi_2 \\Phi_5 + \\Phi_3 \\Phi_6 \\), &c.", "source": "olmocr", "added": "2026-01-12", "created": "2026-01-12", "metadata": { "Source-File": "/home/jic823/projects/def-jic823/royalsociety/pdfs/108736.pdf", "olmocr-version": "0.3.4", "pdf-total-pages": 15, "total-input-tokens": 24348, "total-output-tokens": 13357, "total-fallback-pages": 0 }, "attributes": { "pdf_page_numbers": [ [ 0, 0, 1 ], [ 0, 2609, 2 ], [ 2609, 5801, 3 ], [ 5801, 8227, 4 ], [ 8227, 10927, 5 ], [ 10927, 13712, 6 ], [ 13712, 15508, 7 ], [ 15508, 17339, 8 ], [ 17339, 19690, 9 ], [ 19690, 21394, 10 ], [ 21394, 23180, 11 ], [ 23180, 24667, 12 ], [ 24667, 26551, 13 ], [ 26551, 29017, 14 ], [ 29017, 30513, 15 ] ], "primary_language": [ "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en", "en" ], "is_rotation_valid": [ true, true, true, true, true, true, true, true, true, true, true, true, true, true, true ], "rotation_correction": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], "is_table": [ false, false, false, false, false, false, false, false, false, false, false, false, false, false, false ], "is_diagram": [ false, false, false, false, false, false, false, false, false, false, false, false, false, false, false ] }, "jstor_metadata": { "identifier": "jstor-108736", "title": "On a New Auxiliary Equation in the Theory of Equations of the Fifth Order", "authors": "Arthur Cayley", "year": 1861, "volume": "151", "journal": "Philosophical Transactions of the Royal Society of London", "page_count": 15, "jstor_url": "https://www.jstor.org/stable/108736" } }