On the Argument of Abel

68 Pages·2000·0.42 MB·English

by  William Rowan Hamilton

ON THE ARGUMENT OF ABEL
By
William Rowan Hamilton
(Transactions of the Royal Irish Academy, 18 (1839), pp. 171{259.)
Edited by David R. Wilkins
2000
NOTE ON THE TEXT
The text of this edition is taken from the 18th volume of the Transactions of the Royal
Irish Academy. A small number of obvious typographical errors have been corrected without
comment in articles 1, 3, 5, 6, 10 and 21.
David R. Wilkins
Dublin, February 2000
i
On the Argument of Abel, respecting the Impossibility of expressing a Root of
any General Equation above the Fourth Degree, by any (cid:12)nite Combination of
Radicals and Rational Functions.
By Sir William Rowan Hamilton.
Read 22nd May, 1837.
[Transactions of the Royal Irish Academy, vol. xviii (1839), pp. 171{259.]
[1.] Let a ;a ;::: a be any n arbitrary quantities, or independent variables, real or
1 2 n
0 0 0 0
imaginary, and let a ;a ;::: a be any n radicals, such that
1 2 n0
a01(cid:11)01 = f1(a1;::: an); ::: a0n(cid:11)00n0 = fn0(a1;::: an);
00 00 00
again, let a ;::: a be n new radicals, such that
1 n00
00(cid:11)00 0 0 0
a 1 = f (a ;::: a ;a ;::: a );
1 1 1 n0 1 n
(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)
a00(cid:11)0n000 = f0 (a0;::: a0 ;a ;::: a );
n00 n00 1 n0 1 n
and so on, till we arrive at a system of equations of the form
(m)(cid:11)(m) (m−1) (m−1) (m−1) (m−2) (m−2)
a 1 = f (a ;::: a ;a ;::: a ;::: a ;::: a );
1 1 1 n(m−1) 1 n(m−2) 1 n
(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)(cid:1)
a(m)(cid:11)(nm(m)) = f(m−1)(a(m−1);::: a(m−1) ;a(m−2);::: a(m−2) ;::: a ;::: a );
n(m) n(m) 1 n(m−1) 1 n(m−2) 1 n
(k)
the exponents (cid:11) being all integral and prime numbers greater than unity, and the functions
i
f(k−1) being rational, but all being otherwise arbitrary. Then, if we represent by b(m) any
i
rational function f(m) of all the foregoing quantities a(k),
i
b(m) = f(m)(a(m);::: a(m) ;a(m−1);::: a(m−1) ;::: a ;::: a );
1 n(m) 1 n(m−1) 1 n
we may consider the quantity b(m) as being also an irrational function of the n original
quantities, a ;::: a ; inwhich latterview itmay be said, according toa phraseology proposed
1 n
by Abel, to be an irrational function of the mth order: and may be regarded as the general
type of every conceivable function of any (cid:12)nite number of independent variables, which can be
formed by any (cid:12)nite number of additions, subtractions, multiplications, divisions, elevations
1
to powers, and extraction of roots of functions; since it is obvious that any extraction of a
p
radical with a composite exponent, such as (cid:11)02(cid:11)01 f1, may be reduced to a system of successive
extractions of radicals with prime exponents, such as
p p
(cid:11)01 f1 = f10; (cid:11)02 f10 = f100:
Insomuch that the question, \Whether it be possible to express a root x of the general
equation of the nth degree,
xn +a1xn−1 +(cid:1)(cid:1)(cid:1)+an−1x+an = 0;
in terms of the coe(cid:14)cients of that equation, by any (cid:12)nite combination of radicals and rational
functions?", is, as Abel has remarked, equivalent to the question, \Whether it be possible
to equate a root of the general equation of any given degree to an irrational function of the
coe(cid:14)cients of that equation, which function shall be of any (cid:12)nite order m?" or to this other
question: \Is it possible to satisfy, by any function of the form b(m), the equation
b(m)n +a1b(m)n−1 +(cid:1)(cid:1)(cid:1)+an−1b(m) +an = 0;
in which the exponent n is given, but the coe(cid:14)cients a ;a ;::: a are arbitrary?"
1 2 n
[2.] For the cases n = 2, n = 3, n = 4, this question has long since been determined in
the a(cid:14)rmative, by the discovery of the known solutions of the general quadratic, cubic, and
biquadratic equations.
Thus, for n = 2, it has long been known that a root x of the general quadratic equation,
x2 +a x+a = 0;
1 2
can be expressed as a (cid:12)nite irrational function of the two arbitrary coe(cid:14)cients a , a , namely,
1 2
as the following function, which is of the (cid:12)rst order:
−a
0 0 0 1 0
x = b = f (a ;a ;a ) = +a ;
1 1 2 2 1
0
the radical a being such that
1
a2
a02 = f (a ;a ) = 1 −a ;
1 1 1 2 4 2
0
insomuch that, with this form of the irrational function b , the equation
b02 +a b0 +a = 0
1 2
is satis(cid:12)ed, independently of the quantities a and a , which remain altogether arbitrary.
1 2
Again, it is well known that for n = 3, that is, in the case of the general cubic equation
x3 +a x2 +a x+a = 0;
1 2 3
2
arootxmaybeexpressedasanirrationalfunctionofthethreearbitrarycoe(cid:14)cientsa ,a ,a ,
1 2 3
namely as the following function, which is of the second order:
00 00 00 0
x = b = f (a ;a ;a ;a ;a )
1 1 1 2 3
a c
= − 1 +a00 + 2 ;
3 1 a00
1
00
the radical of highest order, a , being de(cid:12)ned by the equation
1
a003 = f0(a0;a ;a ;a )
1 1 1 1 2 3
0
= c +a ;
1 1
0
and the subordinate radical a being de(cid:12)ned by this other equation
1
a02 = f (a ;a ;a ) = c2 −c3;
1 1 1 2 3 1 2
while c and c denote for abridgment the following two rational functions:
1 2
c = − 1 (2a3 −9a a +27a );
1 54 1 1 2 3
c = 1(a2 −3a );
2 9 1 2
00
so that, with this form of the irrational function b , the equation
b003 +a b002 +a b00 +a = 0
1 2 3
is satis(cid:12)ed, without any restriction being imposed on the three coe(cid:14)cients a , a , a .
1 2 3
For n = 4, that is, for the case of the general biquadratic equation
x4 +a x3 +a x2 +a x+a = 0;
1 2 3 4
it is known in like manner, that a root can be expressed as a (cid:12)nite irrational function of the
coe(cid:14)cients, namely as the following function, which is of the third order:
a e
x = b000 = f000(a000;a000;a00;a0;a ;a ;a ;a ) = − 1 +a000 +a000 + 4 ;
1 2 1 1 1 2 3 4 4 1 2 a000a000
1 2
wherein
e
a0002 = f00(a00;a0;a ;a ;a ;a ) = e +a00 + 2;
1 1 1 1 1 2 3 4 3 1 a00
1
e
a0002 = f00(a00;a0;a ;a ;a ;a ) = e +(cid:26) a00 + 2 ;
2 2 1 1 1 2 3 4 3 3 1 (cid:26) a00
3 1
a003 = f0(a0;a ;a ;a ;a ) = e +a0;
1 1 1 1 2 3 4 1 1
a02 = f (a ;a ;a ;a ) = e2 −e3;
1 1 1 2 3 4 1 2
3
e , e , e , e denoting for abridgment the following rational functions:
4 3 2 1
e = 1 (−a3 +4a a −8a );
4 64 1 1 2 3
e = 1 (3a2 −8a );
3 48 1 2
e = 1 (−3a a +a2 +12a );
2 144 1 3 2 4
e = 1(3e e −e3 +e2)
1 2 2 3 3 4
= 1 (27a2a −9a a a +2a3 −72a a +27a2);
3456 1 4 1 2 3 2 2 4 3
and (cid:26) being a root of the numerical equation
3
(cid:26)2 +(cid:26) +1 = 0:
3 3
It is known also, that a root x of the same general biquadratic equation may be expressed in
another way, as an irrational function of the fourth order of the same arbitrary coe(cid:14)cients
a , a , a , a , namely the following:
1 2 3 4
x = bIV = fIV(aIV;a000;a00;a0;a ;a ;a ;a )
1 1 1 1 1 2 3 4
a
= − 1 +a000 +aIV;
4 1 1
the radical aIV being de(cid:12)ned by the equation
1
2e
aIV2 = f000(a000;a00;a0;a ;a ;a ;a ) = −a0002 +3e + 4;
1 1 1 1 1 1 2 3 4 1 3 a000
1
000 00 0
while a , a , a , and e , e , e , e , retain their recent meanings. Insomuch that either the
1 1 1 4 3 2 1
function of third order b000, or the function of fourth order bIV, may be substituted for x in
the general biquadratic equation; or, to express the same thing otherwise, the two equations
following:
b0004 +a b0003 +a b0002 +a b000 +a = 0;
1 2 3 4
and
bIV4 +a bIV3 +a bIV2 +a bIV +a = 0;
1 2 3 4
are both identically true, in virtue merely of the forms of the irrational functions b000 and bIV,
and independently of the values of the four arbitrary coe(cid:14)cients a , a , a , a .
1 2 3 4
But for higher values of n the question becomes more di(cid:14)cult; and even for the case
n = 5, that is, for the general equation of the (cid:12)fth degree,
x5 +a x4 +a x3 +a x2 +a x+a = 0;
1 2 3 4 5
the opinions of mathematicians appear to be not yet entirely agreed respecting the possibility
or impossibility of expressing a root as a function of the coe(cid:14)cients by any (cid:12)nite combination
ofradicalsandrationalfunctions: or, inother words, respecting thepossibilityorimpossibilty
of satisfying, by any irrational function b(m) of any (cid:12)nite order, the equation
b(m)5 +a b(m)4 +a b(m)3 +a b(m)2 +a b(m) +a = 0;
1 2 3 4 5
4
the (cid:12)ve coe(cid:14)cients a , a , a , a , a , remaining altogether arbitrary. To assist in deciding
1 2 3 4 5
opinions upon this important question, by developing and illustrating (with alterations) the
admirable argument of Abel against the possibility of any such expression for a root of the
general equation of the (cid:12)fth, or any higher degree; and by applying the principles of the same
argument, to show that no expression of the same kind exists for any root of any general but
lower equation, (quadratic, cubic, or biquadratic,) essentially distinct from those which have
long been known; is the chief object of the present paper.
[3.] Ingeneral, ifwecallanirrationalfunctionirreducible,whenitisimpossibletoexpress
that function, or any one of its component radicals, by any smaller number of extractions
of prime roots of variables, than the number which the actual expression of that function or
radical involves; even by introducing roots of constant quantities, or of numerical equations,
which roots are in this whole discussion considered as being themselves constant quantities,
so that they neither influence the order of an irrational function, nor are included among the
0
radicals denoted by the symbols a , &c.; then it is not di(cid:14)cult to prove that such irreducible
1
irrational functions possess several properties in common, which are adapted to assist in
deciding the question just now stated.
In the (cid:12)rst place it may be observed, that, by an easy preparation, the general irrational
function b(m) of any order m may be put under the form
b(m) = (cid:6) :(b(m−1) :a(m)(cid:12)1(m) :::a(m)(cid:12)n(m(m)));
(cid:12)i(m)<(cid:11)(im) (cid:12)1(m);:::(cid:12)n(m(m)) 1 n(m)
in which the coe(cid:14)cient b(m−1) is a function of the order m−1, or of a lower order; the
(cid:12)(m);:::(cid:12)(m)
1 n(m)
(m) (m)
exponent (cid:12) is zero, or any positive integer less than the prime number (cid:11) which enters
i i
(m)
as exponent into the equation of de(cid:12)nition of the radical a , namely,
i
(m)(cid:11)(m) (m−1)
a i = f ;
i i
(m) (m) (m)
and the sign of summation extends to all the (cid:11) :(cid:11) :::(cid:11) terms which have exponents
1 2 n(m)
(m)
(cid:12) subject to the condition just now mentioned.
i
For, inasmuch as b(m) is, by supposition, a rational function f(m) of all the radicals a(k),
i
(m)
it is, with respect to any radical of highest order, such as a , a function of the form
i
n(a(m))
b(m) = i ;
m(a(m))
i
m and n being here used as signs of some whole functions, or (cid:12)nite integral polynomes. Now,
if we denote by (cid:26) any root of the numerical equation
(cid:11)
(cid:26)((cid:11)−1) +(cid:26)((cid:11)−2) +(cid:26)((cid:11)−3) +(cid:1)(cid:1)(cid:1)+(cid:26)2 +(cid:26) +1 = 0;
(cid:11) (cid:11) (cid:11) (cid:11) (cid:11)
5
so that (cid:26) is at the same time a root of unity, because the last equation gives
(cid:11)
(cid:26)(cid:11) = 1;
(cid:11)
and if we suppose the number (cid:11) to be prime, so that
(cid:26) ;(cid:26)2;(cid:26)3;::: (cid:26)((cid:11)−1)
(cid:11) (cid:11) (cid:11) (cid:11)
are, in some arrangement or other, the (cid:11)−1 roots of the equation above assigned: then, the
product of all the (cid:11)−1 whole functions following,
m((cid:26) a):m((cid:26)2a):::m((cid:26)((cid:11)−1)a) = l(a);
(cid:11) (cid:11) (cid:11)
is not only itself a whole function of a, but is one which, when multiplied by m(a), gives a
product of the form
l(a):m(a) = k(a(cid:11));
k being here (as well as l) a sign of some whole function. If then we form the product
m((cid:26) a(m)):m((cid:26)2 a(m)):::m((cid:26)(cid:11)(im)−1a(m)) = l(a(m));
(cid:11)(im) i (cid:11)(im) i (cid:11)(im) i i
and multiply, by it, both numerator and denominator of the recently assigned expression for
b(m), we obtain this new expression for that general irrational function,
l(a(m)):n(a(m)) l(a(m)):n(a(m)) l(a(m)):n(a(m))
b(m) = i i = i i = i i = i(a(m));
l(a(im)):m(a(im)) k(a(m)(cid:11)(im)) k(fi(m−1)) i
i
thecharacteristicidenotinghere somefunction, which, relativelytotheradicala(m), iswhole,
i
so that it may be thus developed,
b(m) = i(a(m)) = i +i a(m) +i a(m)2 +(cid:1)(cid:1)(cid:1)+i (cid:11)(m)r;
i 0 1 i 2 i r i
r being a (cid:12)nite positive integer, and the coe(cid:14)cients i ;i ;::: i being, in general, functions of
0 1 r
the mth order, but not involving the radical a(m). And because the de(cid:12)nition of that radical
i
gives
a(m)h = a(m)g :(f(m−1))e;
i i i
if
(m)
h = g +e(cid:11) ;
i
it is unnecessary to retain in evidence any of its powers of which the exponents are not less
than (cid:11)(m); we may therefore put the development of b(m) under the form
i
b(m) = h0 +h1ai(m) +(cid:1)(cid:1)(cid:1)+h(cid:11)(m)−1(ai(m))(cid:11)(im)−1;
i
6
the coe(cid:14)cients h ;h ;::: being still, in general, functions of the mth order, not involving the
0 1
(m)
radical a . It is clear that by a repetition of this process of transformation, the radicals
i
a(m);::: a(m) may all be removed from the denominator of the rational function f(m); and
1 n(m)
that their exponents in the transformed numerator may all be depressed below the exponents
which de(cid:12)ne those radicals: by which means, the development above announced for the
general irrational function b(m) may be obtained; wherein the coe(cid:14)cient b(m−1) admits
(cid:12)(m);:::(cid:12)(m)
1 n(m)
of being analogously developed.
For example, the function of the second order,
a c
b00 = − 1 +a00 + 2;
3 1 a00
1
which was above assigned as an expression for a root of the general cubic equation, may be
developed thus:
b00 = (cid:6) :(b0(cid:12)00 :a010(cid:12)100) = b00 +b01a010 +b02a0102;
(cid:12)00<3 1
1
in which
a c c c
b0 = − 1; b0 = 1; b0 = 2 = 2 = 2 :
0 3 1 2 a003 f0 c +a0
1 1 1 1
0
And this last coe(cid:14)cient b , which is itself a function of the (cid:12)rst order, may be developed
2
thus:
b02 = c1 c+2a01 = b0 = (cid:12)10(cid:6)<2:(b(cid:12)10 :a01(cid:12)10) = b0 +b1a01;
in which
c c c c c c c −1
b = 2 1 = 2 1 = 2 1 = 1; b = :
0 c2 −a02 c2 −f c3 c2 1 c2
1 1 1 1 2 2 2
Again, the function of the third order,
−a e
000 1 000 000 4
b = +a +a + ;
4 1 2 a000a000
1 2
which expresses a root of the general biquadratic equation, may be developed as follows:
000 00 000(cid:12)000 000(cid:12)000
b = (cid:6) :(b(cid:12)000;(cid:12)000 :a1 1 :a2 2 )
(cid:12)000<2 1 2
1
000
(cid:12) <2
2
00 00 000 00 000 00 000 000
= b +b a +b a +b a a ;
0;0 1;0 1 0;1 2 1;1 1 2
in which
−a
00 1 00 00
b = ; b = 1; b = 1;
0;0 4 1;0 0;1
and
e e e
00 4 4 (cid:18) (cid:19)(cid:18)4 (cid:19)
b = = =
1;1 a0002 :a0002 f00 :f00 e e
1 2 1 2 e +a00 + 2 e +(cid:26) a00 + 2
3 1 a00 3 3 1 (cid:26) a00
(cid:18) (cid:19) 1 3 1
1 e
= e +(cid:26)2a00 + 2 :
e 3 3 1 (cid:26)2a00
4 3 1
7
00
And this last coe(cid:14)cient b , which is itself a function of the second order, may be developed
1;1
thus:
b010;1 = b00 = (cid:6) :(b0(cid:12)00 :a010(cid:12)100) = b00 +b01a010 +b02a0102;
(cid:12)00<3 1
1
in which
e (cid:26)2 (cid:26) e (cid:26) e (cid:26) (e −a0)
b0 = 3; b0 = 3; b0 = 3 2 = 3 2 = 3 1 1 :
0 e 1 e 2 e a003 e (e +a0) e e2
4 4 4 1 4 1 1 4 2
00 000
So that, upon the whole, these functions b and b , which express, respectively, roots of the
general cubic and biquadratic equations, may be put under the following forms, whch involve
no radicals in denominators:
(cid:18) (cid:19)
−a a00 2
b00 = 1 +a00 +(c −a0) 1 ;
3 1 1 1 c
2
and ( (cid:18) (cid:19) )
−a 1 a00 2
b00 = 1 +a000 +a000 + e +(cid:26)2a00 +(cid:26) (e −a0) 1 a000a000;
4 1 2 e 3 3 1 3 1 1 e 1 2
4 2
00 00 000 000
and the functions f , f , which enter into the equations of de(cid:12)nition of the radicals a , a ,
1 2 1 2
namely into the equations
a0002 = f00; a0002 = f00;
1 1 2 2
may in like manner be expressed so as to involve no radicals in denominators, namely thus:
(cid:18) (cid:19)
00 2
a
a0002 = e +a00 +(e −a0) 1 ;
1 3 1 1 1 e
2
(cid:18) (cid:19)
00 2
a
a0002 = e +(cid:26) a00 +(cid:26)2(e −a0) 1 :
2 3 3 1 3 1 1 e
2
It would be easy to give other instances of the same sort of transformation, but it seems
unnecessary to do so.
[4.] It is important in the next place to observe, that any term of the foregoing gen-
eral development of the general irrational function b(m), may be isolated from the rest, and
(m)
expressed separately, as follows. Let b denote a new irrational function, which is
γ(m);:::γ(m)
1 n(m)
formed from b(m) by changing every radical such as a(m) to a corresponding product such as
i
γ(m) (m)
(cid:26) i a , in which (cid:26) is, as before, a root of unity; so that
(cid:11)(im) i (cid:11)(im)
b(m) = (cid:6) :(b(m−1) :(cid:26)(cid:12)1(m)γ1(m) :::(cid:26)(cid:12)n(m(m))γn(m(m)) :a(m)(cid:12)1(m) :::a(m)(cid:12)n(m(m)));
γ1(m);:::γn(m(m)) (cid:12)i(m)<(cid:11)(im) (cid:12)1(m);:::(cid:12)n(m(m)) (cid:11)(1m) (cid:11)(nm(m)) 1 n(m)
and let any isolated term of the corresponding development of b(m) or b(m) be denoted by
0;:::0
the symbol
t(m) = b(m−1) :a(m)(cid:12)1(m) :::a(m)(cid:12)n(m(m));
(cid:12)(m);:::(cid:12)(m) (cid:12)(m);:::(cid:12)(m) 1 n(m)
1 n(m) 1 n(m)
8