CHAPITRE XII. — LA SÉRIE CUBIQUE. j'2i
sent. Trois couples d'éléments correspondants déterminent le réseau et par suite la jacobienne de ce réseau.
Si la série donnée a un élément double, elle est la jacobienne d'un seul réseau : il ny a plus qu'un seul mode de correspondance évident sur la série.
313. Un théorème fondamental de la théorie des séries cubiques est le suivant : toutes les séries cubiques qui ont huit éléments communs en ont un neuvième; car si y, et A sont deux séries contenant les huit éléments donnés, toutes celles qui les contiennent sont de la forme A,/, -h \2fz-
En appliquant ce théorème à une suite de six éléments inscrite à une série quadratique, on démontre immédiatement le théorème de Pascal : il suffit de considérer les deux séries cubiques formées par les éléments de seconde espèce de la suite pris de deux en deux, et celle formée par la série quadratique donnée et la série linéaire contenant deux des éléments déterminés par les éléments de seconde espèce de la suite, pris de trois en trois.
Voici d'autres applications. Si (x), (^'), (x") appartiennent à/" et à (£); si (y), (/), (/') appartiennent à / et à (t(); si (xy), (x'y')y (x"y"), ont encore en commun (s), (g'), (g") avec/, ces trois derniers éléments sont alignés sur un même élément (£) : il suffît, pour le voir, d'envisager la série cubique/, celle formée par (xy), (x'y'), {x"y") et celle formée par (£), (/)) et (zz'\.
Si (9), (6'), (9") sont les éléments (xy), (x'y'), «/')> l'équation de /peut s'écrire
Hk I *).(1 I *)(Ç I x) ■+- H(0 I *)(0' I *)(6" I *0 = o-
Ce théorème subsiste si (£) et (•/]) sont confondus; alors (xy) devient l'élément tangent en (x), et (z) est dit tangentiel de (x) ; si donc (x), (x'), (x") sont alignés sur(£), leurs éléments tangentiels (z), (V), (z") sont alignés sur (Ç), et (Ç) est dit tangentiel de(Ç).
Si (x) et (x') sont inflexionnels, il faut que (x") le soit aussi; c'est une proposition connue.
314. (y) appartenant à /, cherchons son élément tangentiel (x). Supposons que / soit la hessienne d'une série /', et
33o LIVRE II. — LA GÉOMÉTRIE TERNAIRE.
que (s) corresponde alors à ( r) sur /; (x) apparlient à l'élément
tangent à / en (z), qui, comme on sait, est la polaire linéaire
de (y) par rapport à /*'; mais/' appartient au faisceau (/, A);
donc (x) est commun aux polaires linéaires de (y) par rapport
à /et h ; l'équation de (x) est le jacobien de/(jK), h{y) el (? |j')
égalé à zéro. Si (7) est quelconque, la même équation représente
l'élément tangentiel de (y) dans la série du faisceau (/, h) qui
contient ( ) ).
Cherchons maintenant l'élément tangentiel d'un élément donné
(y,). Nous le trouverons en cherchant plus généralement le lieu
de l'élément commun aux polaires linéaires de (y) par rapport
à / et /«, quand (y) appartient à (r,). Cela revient à chercher
l'équation des éléments communs aux deux séries quadratiques
en (y)
axxxy\ + >i,.r, i : a3x3 t ' = o,
ce qui donne
o/^/;i/'2.r3 y, 2 ;-... |(a?f iQ f -h . . . — aar^j r,2ï)3 -.. .) + ' ''1' ï "*-, - '*-, :s -+- ••• )'2 = 0, OU bien
i "..'Vu ', ; -f -• • • h "ï.'-; -
-+- .'•l./'.J./';t| ./'ï /, | I (l;(/;ï,; - •>.";"] T) * — V. '/ , " •> Vi > . . . ] = O.
Donc l'équation de l'élément tangentiel de (/|) par rapport à /est
6a| ai>iT)|rJ -...)+ .'i r, ,i — "-"< Vf -+- > r/-, ^ , -^ ;j + %a\ <i, r\ g ) +-. . . = o.
Si l'on forme, en appelant t le premier membre de cette équation, la fonction K{(t. y), on trouve, en remplaçant les (t|) par ïes(Ç),
le produit /( \ -f- 8a3) est donc un invariant.
315. Considérons une série quadratique variable g ayant en commun avec / quatre éléments A,, A2, As, A,, lixes, et deux autres B, et B2 variables; B,B2 a avec/ un nouvel élément commun C qui est fixe, comme on le voit en considérant la série cubique / et celles qui sont formées par deux séries g et les éléments B,, B2 correspondants.
