Dans la noValion des n°* 223, 293, la valeur de B est

r(cP) (6«) — r(d*c^b) 4- r(dc^) — (é/*) (6a«) 4- (cPc^a^) 'h2(cr-cb^a)—{b*){d^b*)'-2{dc*ba)'{-{dc^b^)--icn)\

INVARIANTS BT COYABIANTS DBS QVARTIQXjBS. 876

OÙ

(^) = d^d^d^ -+- ^xd^d^di — d^d\ — d^d\ — d\, (d^cn) = b,[cl(d,d,-dl)-\'2c,c^{d,d,^d,d,)

-+- b* [cl {dtd^ — ef*) + acoc, {d^d^ — d^d^) -^2CiCt{d^di^d^di)'^cl(dodfd\)]

-+- CiC^ (d^d^ -+- did^ — 2d\)

+ c,c,(cfoûfi— <iî)].

(t/^c-a^) se déduit de (rf* c* i*) en remplaçant 60» ^21 ^i

H-^^tCCCoC, — CjC, )' H- 2(CoC,—cJ)(c,c, — cî)]

(rf*c^'a)=:[6oflriCi — fr,(a,Co-haoCi)H-^j«oCo]P

^=b^{d,d^—d\)'^b,{d^d^^d,d^)-^b^{d^d^'-d\) {d*b^) = {d,d,--dl)blMdod,-dl)b\Mdod,-dl)b\ -h^bibnidid^-^d^d^)

4- a^j^o(^i^j — cfj) -4- 2 bobi {d^d^ — dyd^), (rfc»6a)=iao[P(c,c,~cî)4-Q(c,c,-CoC,)4-R(CoC,-cî)]

+ a,[P'(CoC,-cî)-f-Q'(cjC,-CoC,) + R'(CiCj-c;)], où

P = 6o(c,c?, — c,rf, ) + ^, (c^do — c, ^,) + ^,(ci^, — Cjûfo),

Q' — àoictdi— Cid^) -^ b^{Codi — c^d^)-h bt{cid^ — Codi), W = bo{Ctdi — Cid^) -i- bi{Codt— c^do) -h bi{Cido — Codi),

( ^/c' /?») =: <fo [^3 ^0 ^î — 2 C,Cj ( 60 61 ^j -h ^î) -h 2 C,Ci ^f^j

^ c\{bob\-h ^btb\) ^ ^c,c^b,bl -h blc\] '-2di[clblbi—c^Ct(blb^-h2bob\)

297. Nous avons vu (n** 221 ) que, si nous avions un co variant du quatrième degré, nous pourrions déduire des invariants déjà obtenus toute une série d'autres invariants. On peut immédiatement avoir un invariant de cette nature en formant l'équation du lieu d'un point dont la première polaire est une cubique pour laquelle l'invariant S s'annule; en d'autres termes, en égalant à zéro le S de la cubique polaire. L'expression symbolique de ce covariant est

Le covariant de la quartique

a JT* -h bv^ -h c-3* -h c/ a* + e p* =: o

est de la forme

Donc, comme nous l'avons vu, la première forme, quoicfue

INVARIANTS ET OOVARIANTS DES QL'ARTIQURS. 877

contenant en apparence un nombre suffisant de constantes, est une forme spéciale à laquelle l'équation d'une quartique ne peut pas en général être ramenée; de même aussi la seconde équation est une forme à laquelle on ne peut pas ramener Téquation d'une quartique, à moins qu'une certaine relation entre les invariants ne soit satisfaHe.

11 y a encore d'autres covariants du quatrième degré; mais celui dont nous venons de parler est de l'ordre le moins élevé en fonction des coeflicients. Tout autre covariant du quatrième degré et du quatrième ordre par rapport aux coefficients doit être de la forme S + A: AU, dans laquelle k est un coefficient numérique et A le premier invariant. On peut facilement le vérifier en formant le contravariant du contravariant du n*» 292.

298. Les valeurs générales des coeflicients de S n'ont pas été calculées, pas plus que celles des invariants d'ordre plus élevé. J'ai pensé cependant qu'il était intéressant d'étudier le cas particulier

ax* 4- by^ -h C5* ->r 6/7* -s* H- 6gz*x^ -h 6hx*y- =: o.

Cette forme, qui ne contient implicitement que onze constantes, est par conséquent un cas très particulier de l'équation générale de la quartique; mais elle se prête facilement au calcul, parce que le covariant S est de la même forme

ao:* -4- b/* -h cz^ H- 6(y*z* -+- 6g5» j?' 4- 6h a?*/' = o,

et par conséquent (n" 221) on peut d'un invariant quelconque déduire un autre invariant, en effectuant sur le premier l'opération a -T — H b -iT + . • • , que nous représenterons par le

symbole (f. Quoique des invariants qui existent en général puissent s'annuler pour le cas particulier que l'on considère ici, les invariants qui sont distincts dans ce cas seront cependant distincts en général. En calculant les invariants pour le

cas parlîculiery nous obtenons tous les termes des invariants généraux qui ne contiennent que les coeHicients a, 6, c,/, S^ A.

Les valeurs des coefficients de S, pour la forme en question, sont

b=6AV^

f = bcgh --f{bg^-^ch^) -fgh,

g = cahf — g{ch^ -h af') —fg^h,

h = abfg'-h{af-\'bg^)^fghK

II est bon de se rappeler que, pour la même forme, les valeurs des coefficients du contravariant c (n** 292) sont

A = 6c -h 3/*, B = ca-h3^S C=a6-h3AS F=a/-h^/i, G^bg^hf, n-ch-^/g.