a6ic54- ac,ôÎ4- fecjaj4-6a,cj4-cÔ3aÎ4-c«3/>^î
— 8 m* 4-4'^* (^1^1 H- Cjûtj4- «3^3) 4-i8m(aj^,c,4-a3^,c,)4-4(^î<^î + ^î«î-^«î^5)
— i9(6iC,c,a,-hc,a,a,ô,4-as63^c,)].
Le contravariant que nous venons de former est le second évectant de T, autrement dit, Téquation de la réciproque peut s'écrire
Nous avons indiqué (n^ 91) que, pour la forme canonique, l'équation est
— 24/n«a3Y(«*^- P'-+- Y*) — (^4'^ + 4S'^*)«'P*T'=o• 223. Les invariants d'une cubique peuvent aussi se calculer ao moyen des équations différentielles auxquelles les invariants doivent satisfaire {Algèbre supérieure, n** 143). A cet effet, il convient d'ordonner Téquation par rapport à une des variables et de récrire comme il suit :
rz^->r^{aQX -h ajj) 5* -h 3(^00:' -h ib^xy -\- b^y^)z
-!-(Co^'-l- 3ciX*7-h 3c,^j'-i-Cj/^) = o.
Si nous voulons former un invariant d'un ordre et d'un poids donné, nous pouvons écrire sans calcul la partie littérale. Par eiemple, nous pouvons prévoir que S est de la forme
dans laquelle nous désignons par {c^b) une fonction du second degré en c et du premier en 6; et nous voyons aussi qu'elle doit être un invariant de cet ordre pour b^x^-\- . . ., etCoX' 4- . . ., considérées comme des formes binaires, l'une quadratique, l'autre cubique; par conséquent, la théorie des formes binaires nous permet de prévoir la forme de ce terme. U en est de même pour les autres. L'invariant doit de plus vérifier l'équation différentielle
''d^,^V''^db,^''^dbJ
Par ce moyen nous trouvons que S est
OÙ
(c«a») = (CoC,— cî)aî— (CoCs — c,c,)a,ao4-(c,c,— cî)a;,
(c6*a)=aoCo^î— (Coai4-3c,ao)^î*i-l-(«o<?i4-aiC,)(a6;-h6o^) — («oCs + 3aiC,)6o^iH-aiCs6î,
De la même manière, T est égal à r^c^) — 6r(c»6a) + 4(c»a»)
(C*)=:cjcj 4- 4<^0<?t ■^" 4^»^î ~~ 3cJcJ — 6CoCtC,C„
-h(ai6oH-2ao^i)(a^iCÎ — Cicj — CoC,c,)
-h «1 6,(c,cJ -h acj — 3coC,c,) (c'a*) =: a;(coc}H- 2CΗ 3c,c,c,)
-h3aja,(ac,cî — CicJ — CoCjC,) 4-3aoa}(2CoCÎ — CjcJ — CqCiC,)
(c«6»)-3(^»)(c«6)=cî^^î-6coC,6,^«4-6coC,6,(a6î-6oW
-hcoc,(66o^>,6,--86î)4-9cî^o^;
— iSciCibobibi-hdCiC^boi^b]— b^bt)
-^gclblbtSCiC^bibl-^cîbl
{c*b*a*) = cl b\ a] — aCoC, (6J ai ao + 2 6, 6,0} )
— 2CoC,(ôo^t«ÎH-a6îaî — iobibtaoai-h^b\a\)
-+-c}(86;aj4-965aj — ia^i6,ao«i-h4^o*tOÎ)
+ 2C,Cj(6o6iaoa, -ha^îao^i— 66|6jaJ — ô^o^taj)
— 2C,C,(6o^i«î -HîôJaJ — io6o^i«o«i-*-4^o^î) -i-cî(86îaj4-96îaî — i2é>,fto«o«f-t-4^o^««î)
— 2C,c,(6îao«i-+-a6o6,aî)-|-c;6JaJ,
ou bien encore nous pouvons écrire
OÙ
{cba) = c,ao^o— Cî(«i ^o-^- 2ao^i)
-4- Ci(ao6, -h 2ai6|) — CcOibi,
224. Si la courbe a un point double , nous pouvons le prendre pour origine; r, a^, a\ seront alors tous égaux à ïéro;Sseréduit à — (6*)* et T à 8 (6*)*. Nous voyons ainsi que T^+ 64 S' est nul quand la courbe a un point double. Celte quantité est donc le discriminant, comme on le démontrera plus tard par d'autres moyens. Si la courbe a un rebroussèment, {b^) s'annule; il en est donc de même pour S et T. Poar la forme canonique, le discriminant
225. Dans les numéros qui vont suivre, nous nous servirons de la forme canonique. Nous avons démontré (n'^ 218) que Téquation de la Hessienne de x^ 4-^' -\- z^ -\- Qmxyz = o est de la même forme, avec une valeur différente de m et que, par conséquent, le système des trois droites xyz passe par les intersections de la courbe et de saHessienne, comme on Tavait prouvé autrement (n** 217). On voit également que l'équation de la Hessienne est aussi de la même forme et que, par conséquent, les points d'inflexion d'une cubique sont aussi des points d'inflexion sur saHessienne, comme on l'avait démontré d'une autre manière (n® 173). Toute équation de la forme ^(^*-i-J'' 4- ^')4- ^xyz = o peut évidemment se ramener à la forme W] + |J^H = o. Nous avons en effet
x* 4-^ + -s* -H ^myzx = U, — m* (o?* -h ^ -h >5*) -h (i -t- 2 m' ) xyz •= H
et, en résolvant,
(I -h 8m»)(ar» -h j» -h 5») = (i -+- 2m»)U — 6/nH, (n-8m»)a?j2 = m«U 4- H,
^8o CHAPITRE Y.
d'où
(i4-8/n*)X = a(i-+-2/n')-f-p/n% (i-h 8m*)iA = — 6m« -h p.
Formons maintenant l'équation de la Hessienne de XU+6[jiII, c'est-à-dire de
(X — 6|xm*)(a?*-h j'-h«')-f-6[Xm -h (i(n- a/w')]j7/-5 = o;
le résultat est
— (X — 6|j./n*)[Xm-t- jx(i -h2/n')]*(a:»4-7*4-5') -+- |(X — 6|x/n')'4- 2[X/n-f- ijl(i h- 2m')]*j j?^'5=:o.
Comme on vient de le démontrer, cette quantité est de la
forme X'U -h |x'H = o ; donc
(i -h 8/n»)X' = — (i -h 2m»)<X — 6ixm«)[Xm h- hl( i h- am»)]* -Mn»j(X — 6{Am*)»-f-a[X/n-+- [i(i 4- 2 m*)]*!,
(1 -h8/n»)iJi'= 6m(X — 6|im«)[Xm 4- (Ji(i 4- am»)]»
H-|(X — 6{x/n*)*-h2[Xm4- (iL(n-2m')]*j.
En développant et en nous rappelant qu'on a
ces quantités peuvent s'écrire
V = — 2SXV — TXji' -+- 8SV', H^' = X» 4- laSXji* -+- 2T11».
Les valeurs de V et |jl' étant exprimées en fonction des invariants, les formules que nous venons de donner continueront à être exactes de quelque manière qu'on transforme Téquation ; et par conséquent la Hessienne de X U -h 6 {jlH, dans laquelle U et H ont les valeurs générales du n* 217, est X' U + }jl'H, X' et [Ji' ayant les valeurs qu'on vient de donner (*).
Ainsi, quand on nous donne le rapport X' : {jl', nous avons une
(*) Dans rédilion précédente, cette relation était démontrée par un calcul direct ; et c'était ainsi qu'on obtenait les valeurs de S et T.
COURBES DU TROISIÈME ORDRE. a8f
équation du troisième degré pour déterminer le rapport X : [jl, c'est-à-dire qu'ily a, comme on l'a déjiétabli, trois cubiques qui ont pour Hessienne une cubique donnée.
Comme cas particulier de ce qui précède, la seconde Hessienne est
H(HU)=8S»U-H2Tn;
il en résulte que T = o exprime la condition pour que la seconde Hessienne soit la courbe primitive. Si S = o, c'està-dire (n^ 220) si l'équation est réductible à la somme de (rois cubes, la Hessienne coïncide avec sa propre Hessienne et se compose de trois droites, comme nous le montrerons dans le numéro suivant.
226. La Hessienne rencontre une courbe en ses points d'inflexion, c'est-à-dire aux endroits où trois points consécutifs de la courbe sont en ligne droite; si donc une courbe n'est pas une courbe propre, mais un système comprenant une ligne droite comme partie intégrante, tout point de cette droite est un point de la Hessienne et, par conséquent, quand la courbe se compose de trois droites, ces lignes contituent la Hessienne. Ceci peut se vérifier en formant la Hessienne de xyz = o. Ainsi, le système de conditions pour quePéquation générale représente trois lignes droites s'obtient en exprimant que les coefficients dans l'équation de la Hessienne (n^ 218), sont proportionnels aux coefficients correspondants dans l'équation de la cubique. Ce sont
a b c ai
aj bi b, Cl Cj m
"âi^6^~"^~~cj^~c, ~~m
C'estun système de quarante-cinq équations, qui paraissent équivalentes à neuf, mais qui en réalité ne sont équivalentes qn*à trois équations indépendantes. En effet (Sections coniques, n® 78) trois conditions seulement sont nécessaires pour qu'une équation du troisième degré contenant neuf con-
2^2 CHAPITRE y.
slantes indépendantes représente un système de trois droites qui ne renferment que six constantes. On peut, au moyen des valeurs (n® S18) de a, b, . . . vérifier que les quarantecinq équations équivalent actuellement à trois équations, comme on l'a énoncé.
