In pure algebra Descartes expounded and illustrated the general methods of solving equations up to those of the fourth degree (and believed that his method could go beyond), stated the law which connects the positive and negative roots of an equation with the changes of sign in the consecutive terms, and introduced the method of indeterminate coefficients for the solution of equations.'
In general his object is to reduce the final equation to a simple one by making such an assumption for the side of the square or cube to which the expression in x is to be equal as will make the necessary number of coefficients vanish.
It is found that the influence of different acids on this action is proportional to their specific coefficients of affinity.
Hence, if we assume that, in the Daniell's cell, the temperature coefficients are negligible at the individual contacts as well as in the cell as a whole, the sign of the potential-difference ought to be the same at the surface of the zinc as it is at the surface of the copper.
Other " Galois " groups were defined whose substitution coefficients have fixed numerical values, and are particularly associated with the theory of equations.
1 (1 +/-lD1+Fl2D2+ï¿½3D3+...) (X i X 2 X 3 ...) ï¿½ Comparing coefficients of like powers of A we obtain DX1(X1X2X3...) = (X2X3...), while D 8 (X 1 X 3 X 3 ...) =o unless the partition (X3X3X3...) contains a part s.
Between the coefficients, so that only three of them are independent.
Further we find x=aX+a'Y+a"Z, y=bX z= cX+c'Y+ c"Z, and the problem is to express the nine coefficients in terms of three independent quantities.
In general in space of n dimensions we have n substitutions similar to X l = a11x1 +a12x2 + ï¿½ ï¿½ ï¿½ + ainxn, and we have to express the n 2 coefficients in terms of Zn(n - I)i independent quantities; which must be possible, because X1+X2+..."IL Xn =xi+x2 +x3 +...+4.
From the differential coefficients of the y's with regard to the x's we form the functional.
Denote by A the determinant (a11a22ï¿½ï¿½ï¿½ann)ï¿½ Multiplying the equations by the minors A l, .., A2,,,,ï¿½ï¿½ï¿½Ani., respectively, and adding, we obtain x 1 (ai, Aig+a2p.A2lc+ï¿½ï¿½ï¿½+anï¿½Anï¿½) =xï¿½A=o, since from results already given the remaining coefficients of x 11' x 2, ...x ï¿½ 'i xï¿½+I,...x, vanish identically.
R is a function of the coefficients which is called the " resultant " or " eliminant " of the k equations, and the process by which it is obtained is termed " elimination."
If al, a2, ...a, n be the roots of f=o, (1, R2, -Ai the roots of 0=o, the condition that some root of 0 =o may qq cause f to vanish is clearly R s, 5 =f (01)f (N2) ï¿½ ï¿½;f (Nn) = 0; so that Rf,q5 is the resultant of f and and expressed as a function of the roots, it is of degree m in each root 13, and of degree n in each root a, and also a symmetric function alike of the roots a and of the roots 1 3; hence, expressed in terms of the coefficients, it is homogeneous and of degree n in the coefficients of f, and homogeneous and of degree m in the coefficients of 4..
The resultant being a product of mn root differences, is of degree mn in the roots, and hence is of weight mn in the coefficients of the forms; i.e.
Assuming then 01 to have the coefficients B1, B2,...B,, and f l the coefficients A 1, A21...A,n, we may equate coefficients of like powers of x in the identity, and obtain m+n homogeneous linear equations satisfied by the m+n quantities B1, 2, ...B n, A 1, A 2, ...A m.
He first divides by the factor x -x', reducing it to the degree m - I in both x and x' where m>n; he then forms m equations by equating to zero the coefficients of the various powers of x'; these equations involve the m powers xo, x, - of x, and regarding these as the unknowns of a system of linear equations the resultant is reached in the form of a determinant of order m.
CY The proof being of general application we may state that a system of values which causes the vanishing of k polynomials in k variables causes also the vanishing of the Jacobian, and in particular, when the forms are of the same degree, the vanishing also of the differential coefficients of the Jacobian in regard to each of the variables.
Hence, finally, the resultant is expressed in terms of the coefficients of the three equations, and since it is at once seen to be of degree mn in the coefficient of the third equation, by symmetry it must be of degrees np and pm in the coefficients of the first and second equations respectively.
It is the resultant of k polynomials each of degree m-I, and thus contains the coefficients of each form to the degree (m-I)'-1; hence the total degrees in the coefficients of the k forms is, by addition, k (m - 1) k - 1; it may further be shown that the weight of each term of the resultant is constant and equal to m(m-I) - (Salmon, l.c. p. loo).
Xic-1, the coefficients being any polynomials, it is clear that the k differentials have, in common, the system of roots derived from X1= X 2 = ...
Multiplying out the right-hand side and comparing coefficients X1 = (1)x1, X 2 = (2) x2+(12)x1, X3 = (3)x3+(21)x2x1+ (13)x1, X4 = (4) x 4+(31) x 3 x 1+(22) x 2+(212) x2x 1 +(14)x1, Pt P2 P3 P1 P2 P3 Xm=?i(m l m 2 m 3 ...)xmlxm2xm3..., the summation being for all partitions of m.
Now log (1+ï¿½X1 +/22X2+/ï¿½3X3 +ï¿½ï¿½ï¿½) =E log (1+/2aix1+22aix2-1-/23ax3+...) whence, expanding by the exponential and multinomial theorems, a comparison of the coefficients of ï¿½n gives (n) (-)v1+v2+v3+..
(J1)11(J2)12(J3)j3ï¿½.ï¿½ jj!j2!j3!..ï¿½ where since(m1 1 m2 2 m3 3 ...) is the specification of (J1)j1(J2)j2(J3)j3..., ï¿½ l +ï¿½2+/23+ï¿½ï¿½ï¿½ =ii +j2+j3+ï¿½ï¿½ï¿½ï¿½ Comparison of the coefficients of x:14243...
(0B) = (e), &c. The binomial coefficients appear, in fact, as symmetric functions, and this is frequently of importance.
X (1 +PD1+12D2+...+ï¿½8D8+...) fm, and now expanding and equating coefficients of like powers of /t D 1 f - Z(Difi)f2f3.
- If, in the identity 1 (1 +anx = 1+aiox+aoly+a20x 2 +allxy+a02y 2 +..., we multiply each side by (I -ï¿½-P.x+vy), the right-hand side becomes 1 +(aio+1.1 ') x +(a ol+ v) y +...+(a p4+/ 1a P-1,4+ va Pr4-1) xPyq - - ...; hence any rational integral function of the coefficients an, say f (al °, aol, ...) =f exp(ï¿½dlo+vdol)f d a P-1,4, dot = dapg The rule over exp will serve to denote that i udio+ vdo h is to be raised to the various powers symbolically as in Taylor's theorem.
Other forms are n-1 n-2 2 ax +nbx x +n(n-i)cx x +..., 1121 2 the binomial coefficients C) being replaced by s!(e), and n 1, n-1 1 n-2 2 ax 1 +l i ox l 'x 2 + L ?cx 1 'x2+..., the special convenience of which will appear later.
For present purposes the form will be written a0x 1 +(7)a1x1=1 x2+ C 2)o'2x12 x 2 +...+anx2, the notation adopted by German writers; the literal coefficients have a rule placed over them to distinguish them from umbral coefficients which are introduced almost at once.
The coefficients a 01 a1, a2,..ï¿½an, n+I in number are arbitrary.
If the form, sometimes termed a quantic, be equated to zero the n+I coefficients are equivalent to but n, since one can be made unity by division and the equation is to be regarded as one for the determination of the ratio of the variables.
If the variables of the quantic f(x i, x 2) be subjected to the linear transformation x1 = a12Et2, x2 = a21E1+a2252, E1, being new variables replacing x1, x 2 and the coefficients an, all, a 21, a22, termed the coefficients of substitution (or of transformation), being constants, we arrive at a transformed quantic f% 1tn n n-1 n-2 52) = a S +(1)a11 E 2 + (2)a2E1 E 2 +ï¿½ï¿½ï¿½ in the new variables which is of the same order as the original quantic; the new coefficients a, a, a'...a are linear functions 0 1 2 n of the original coefficients, and also linear functions of products, of the coefficients of substitution, of the nth degree.
In the theory of forms we seek functions of the coefficients and variables of the original quantic which, save as to a power of the modulus of transformation, are equal to the like functions of the coefficients and variables of the transformed quantic. We may have such a function which does not involve the variables, viz.
Invariantive forms will be found to be homogeneous functions alike of the coefficients and of the variables.
Which have different coefficients, the same variables, and are of the same or different degrees in the variables; we may transform them all by the same substitution, so that they become _, _, _, _, _, _, f(a °, a, a 2, ...; (b 0, b, b 2, ...; 1, S2),....
In addition, and transform each pair to a new pair by substitutions, having the same coefficients a ll, a12, a 21, a 22 and arrive at functions of the original coefficients and variables (of one or more quantics) which possess the abovedefinied invariant property.
Symbolic Form.-Restricting consideration, for the present, to binary forms in a single pair of variables, we must introduce the symbolic form of Aronhold, Clebsch and Gordan; they write the form Iln n n-1 n-1 n n n aixi+a2x2) = 44+(1) a l a 2 x 1 x2+...+a2.x2=az wherein al, a2 are umbrae, such that n-1 n-1 n a 1, a 1 a 2, ...a 1 a 2, a2 are symbolical respreentations of the real coefficients ï¿½o, ai,...
If we restrict ourselves to this set of symbols we can uniquely pass from a product of real coefficients to the symbolic representations of such product, but we cannot, uniquely, from the symbols recover the real form, This is clear because we can write n-1 n-2 2 2n-3 3 a1a2 =a l a 2, a 1 a 2 = a 1 a2 while the same product of umbrae arises from n n-3 3 2n-3 3 aoa 3 = a l .a a 2 = a a 2 .
= a k; and if we wish to denote, by umbrae, a product of coefficients of degree s we employ s sets of umbrae.
We write;L 22 = a 1 a 2 .b 1 n-2 b2s 3 n - 3 3 n-3 3 n-3 3 a 3 = a 1 a 2 .b 1 b 2 .c 1 c2, and so on whenever we require to represent a product of real coefficients symbolically; we then have a one-to-one correspondence between the products of real coefficients and their symbolic forms. If we have a function of degree s in the coefficients, we may select any s sets of umbrae for use, and having made a selection we may when only one quantic is under consideration at any time permute the sets of umbrae in any manner without altering the real significance of the symbolism.
For a single quantic of the first order (ab) is the symbol of a function of the coefficients which vanishes identically; thus (ab) =a1b2-a2bl= aw l -a1ao=0 and, indeed, from a remark made above we see that (ab) remains unchanged by interchange of a and b; but (ab), = -(ba), and these two facts necessitate (ab) = o.
To find the effect of linear transformation on the symbolic form of quantic we will disuse the coefficients a 111 a 12, a21, a22, and employ A1, Iï¿½1, A2, ï¿½2.
If u, a quantic in x, y, z, ..., be expressed in terms of new variables X, Y, Z ...; and if, n,, ..., be quantities contragredient to x, y, z, ...; there are found to exist functions of, n, ?, ..., and of the coefficients in u, which need, at most, be multiplied by powers of the modulus to be made equal to the same functions of E, H, Z, ...