....... (5) and so on, the expressions S1, S2, &c., are (by what we have proved) rational. But, by Newton's Theorem for the sums of the powers of the roots of an equation, (see equation (2), Si + A1 = 0. Therefore A, is rational S-2 + A, S, + 2 A2 = 0. Therefore A, is rational. And in the same way all the terms A,, A,, &c., may be exhibited as rational expressions. Cor. 1.-Should the terms in (L) not be all unequal, let the unequal terms be, 01, 02, . ps. Then if f (P) be in a simple form, and X, be the continued product of the terms, x—$1, X-da, X-Me , where pi, Pa, ... , Pc, are a number of terms in (1), fewer than 8, X, cannot have the coefficients of the various powers of x rational. For suppose, if possible, that X, has the coefficients of the various powers of x rational. Then $1 is a root of the equation, Xı = 0. And since, by the hypothesis made in the Corollary, f (p) is in a simple form, ¢, also (Prop. IV.) is in a simple form. Therefore (Prop. V.) all the terms in (5) are roots of the equation, Xı = 0; and they are all unequal: which, since the equation is of a degree lower than the sth, is impossible. Therefore Xcannot have the coefficients of the powers of x rational. Cor. 2. If (See 5) we put (2—,) (x —¢,).. ..(x—0)=x + 6, 20.1 +6,1862 +&c., the coefficients, bu, b2 , &c., may be exhibited as rational expressions; and, if f (p) be in a simple form, each of the terias, 61, 62 , ... ..., os, recurs in (1) the same number of times. For let di occur 1 times in (1); $2 , ß times; and so on. Then λ B 8 (1—91) (x- 02) ...(2x — P8 ) =(x—01) (x – 2 )...(x— Pm)=X.....(6) The equation, X = 0, has one group of 4 equal roots, another group of ß equal roots, and so on. There is therefore a common measure, X, , of 8 and 1 X, of the form, dx' 8-1 (7) 82 The expression X, resembles X in having the coefficients of the dX various powers of x rational; for it is the H. C. M. of X and da X Hence, denoting by X3, we have, from (6) and (7), X2 (x-1)(x - 2)...... (x-4)= X3 , (8) where X3 , being the quotient of X by X, , must have the coefficients of the various powers of x rational. Hence 61, 62 , &c., may be exhibited as rational expressions. Thus the former of the two points to be proved in the Corollary is established. Next, shouldy (p) be in a simple form, and should the numbers 1, B, &c., not be all equal to one another, let à be less than d, and not greater than any of the others. Then, from (8) and (6), we have, putting X, to denote the λ quotient of X by X3 , β-λ 8-a (26 - 02) ......(x-4) (9) X, being rational. Should the numbers, B-1,8-1, &c., not be all equal to one another, then, exactly as we reduced equation (6) to equation (9), on the left hand side of which no power of (x-01 ) appears as a factor, we can reduce equation (9) to an equation bearing the same relation to (9) that (9) bears to (6). And so on, till we arrive at an equation, such as (9), in which the indices, such as, B-1, &c., are all equal to one another. Let the result obtained when this point is reached be, l-h kh d-h (x-pa) (x-P) ......(x-4) X5. From this, since the numbers, l, k, ... 8, are equal to one another, we get, by continuing the reduction, (x-Pa) (x-Pc)...... (t)= Xg; Xe being a rational expression : which, since the number of its factors, x -- a , x— Pc , &c., is less than s, and since f (p) is supposed to be in a simple form, is (Cor. 1) impossible. Hence 1, B, &c., in (6), are all equal to one another; and therefore each of the terms, ,, P2, Øs, must recur in (1) the same number of times. Cor. 3. In f (p) let certain surds, yı, Y2 , &c., (in which series of terms, as was pointed out in Def. 7, all the subordinates of any surd mentioned are included), have definite values assigned to them; and let the cognate functions of f (p), obtained without departing from such definite values, (obtained, in other words, by proceeding without reference to the surd character of yi , y2 , &c.,) be, 01 , 02 .........., (10) Then if (x-1)(x-P2 )...(x-Pn) = x + B, 4-1+ B, 25-2+ &c., the coefficients, B. , Bg , are equal to expressions which are rational as respects all surds except y1, y2, &c. In other words, no surds not included in the series yı, Y2 , &c., enter into these coefficients. The proof is the same as in the Proposition. Cor. 4. In the case supposed in the preceding Corollary, it may be shown, as in Cor. 1, that, if the unequal terms in (10), (the definite values of yı, y2 , &c., being understood to be adhered to), be, and if f (P) be in a simple form, and we write (x - 1) (x-Pa)..........(x-4) - X1 , where the number of terms, 01, Pa .........., pc, is less than t, these terms being terms in (10), Xı cannot involve, in the coefficients of the powers of x, merely the surds yı, y2 , &c. For, if Xį did involve merely these surds, oi would be a root of the equation, X1 = 0; and therefore (Cor. Prop. V.) all the expressions, 01, 02, ......, P, would be roots of that equation; the definite values given to yi , Y2 , &c., being adhered to in all the expressions, pı , 02 .........., De But these expressions are, by hypothesis, unequal. Therefore the equation, X1 = 0, has t unequal roots : which, since the equation is of a degree lower than the tth, is impossible. Therefore X, cannot involve, in the coefficients of the powers of X, merely the surds yı , y2 , &c. Cor. 5. In the case supposed in Cor. 3, let the unequal terms in the series (10), be, 01, 02,.. and let (3-1) (3-2)......(2-) = qt bi x-1 + b 2 + &c. Then the coefficients bı, b2 , &c., are equal to expressions involving no surds which do not occur in the series yı, y2 , &c.; and, if f (p) be in a simple form, each of the unequal terms, 01, 02,.. recurs the same number of times in (10) The proof is the same as in Cor. 2. Cor. 6. If the equation, F () = 0, be an equation in which the coefficients of the powers of x are rational functions of p; and if F) cannot be broken into rational factors, (by which expression we mean, factors having the coefficients of the powers of a rational), then, f(p), an integral function of p, in a simple form, being a root of the equation, F (20) = 0, the roots of that equation are identical with the terms of the series (5), that is, with the unequal cognate functions of f(p). For (Prop. V.) every term in (5) is a root of the equation, F(x) = 0. Also (Cor. 2) the expression, (x-1) (*—02 ).........(1-P),.... (11) when multiplied out, and arranged according to the powers of x, has the coefficients of the powers of . equal to rational expressions. Therefore, unless the expression (11) were identical with F(x), F (c) would have a rational factor, of less dimensions, as respects *, than F(x): which is contrary to supposition. Therefore the expression in (11) is identical with F(x); and the roots of the equation, F (x) = 0, are the terms in the series (5). PROPOSITION VII. Let f ( be an integral function of a variable p, in a simple form. Denote by 01, 02,......, Pn, all the unequal cognate functions of f (p), obtained by assigning definite values to certain surds, yı , y2 , &c., and proceeding (according to Def. 7) without reference to the surd character of yı , y2 , &c. Let Fi (%) = (-) (-09 ).........(o-n) = x! + A, 2"-?+ A, 24–2 + ... + An; the coefficients A1, A2, &c., satisfying the conditions of Def. 8, and not involving (Cor. 5, Prop. VI.) any surds not found in the series, yı , y2 , &c. Let yı be a surd occurring in F(x), that is, in the coefficients, A1, A2, &c., but not a subordinate of any surd in F1 (w), its index being; and, when we substitute for yı in Al , A2 , &c., the successive values, zy1 , zi'yi , z being an qolib root of unity, distinct from unity, let Fi () become in succession F2 (), F3 (x), &c. Then, if F=F1 (s) F2 (C) X F3 (x) X ......... X F. () = (1-01) (x-R2 ).......(-Pn) (x-01+)...(x-20 ) ... (ic-nr), z2 yi , ......, 01 ) the terms, 01, 02 ..... our, are all the unequal cognate functions of f (p), obtained by giving definite values to all the surds in f (p) which are present in the coefficients of the powers of « in F, and forming the cognate functions without reference to the surd character of the surds thus rendered definite: F being understood to be generated directly by the multiplication together of the factors, F1 (2), Fz (), &c., and to have the coefficients of the various powers of 2 arranged so as to satisfy the conditions of Def. 8. For, all the terms in the series, 02 (1) are (by hypothesis) unequal. Suppose, if possible, that the terms, Pn+1, An+.........., 42n , (2) which are the roots of the equation, F2 (x) = 0, are not all unequal. Then, F3 (sc), having equal factors, has a measure, H, of less dimensions, as respects a, than F2 (c), and yet involving, in the coefficients of the powers of x, merely such surds as occur in F2 (x). But the surds in F. (s) are identical with those in Fı (x). [For instance, let F, (x) = (1 + vp)", and, F(t)=1 + 1p), where z is a third root of unity, distinct from unity. The presence of z in F2 (a) does not affect the surds in the expression). Therefore the expression H, of less dimensions as respects x than F1(x), involves in the coefficients of the powers of x merely such surds as appear in Fi (s): which, [since Fi (c) is the product of the terms, *-°1 ,, ...., .--- Pn, where 01 , 02 y... Pn , are all the unequal cognate functions of f (P) obtained by assigning definite values to certain surds in f (p)], is (Cor. 4, Prop. VI.) impossible. Therefore all the terms in (2) are unequal. Next suppose, if possible, that some term in (2) is equal to a term in (1). Then F2 () and Fi (0) have a common measure ; and their H. C. M. involves only such surds as appear in F. (x) or Fg (1); that is, only such as appear in Fı (2): which, as above, is (Cor. 4, Prop. VI.) impossible, unless F. (a) and F. (c) are identical. Suppose then, if possible, that F1 (a) = F2 (a). The coefficients of like powers of x must be equal. Let the coefficient of a certain powers of x in F(), arranged according to the powers of yi, (we choose a coefficient where yı occurs in some of its powers), and sa tisfying (as, by hypothesis, it does) the conditions of Def. 8, be , |