III. — Cubiques gauches d'un complexe tétraédral

110. Par les points principaux e, /, g, h d'un complexe tétraédral et par deux points p et/?', pris arbitrairement, qui ne soient par suite en ligne droite avec aucun des quatre points principaux, on peut faire passer une cubique gauche Cj et une seule. Supposons que les points p et p' soient pris sur une des droites du complexe. Il est facile de voir que toutes les cordes et, en particulier, toutes les tangentes de la cubique C3 seront alors des droites du complexe. Une première corde de cette cubique est la droite pp'y qui, par hypothèse, appartient au complexe. Considérons une autre corde qq'y joignant deux points quelconques q et q' de C3. D'après un théorème bien connu, le rapport anharmonique des quatre plans qui passent par la droite qq' et par les points ^>/> gi ^ de la cubique C3 est égal au rapport anharmonique des plans qui passent par la droite pp' et par les mêmes points. Or ce rapport anharmonique est égal à celui du complexe. Donc la droite qq' fait partie du complexe.

Les cubiques telles que C3, dont les cordes sont des droites du complexe, sont complètement déterminées, quand on les assujettit à passer par un point p arbitraire et par un second point p', pris sur le cône du complexe, qui a son sommet en p. Leur ensemble dépend, par suite, de trois paramètres variables. Nous avons donc démontré ce théorème :

// existe une infinité triple de cubiques gauches dont les cordes appartiennent à un même complexe tétraédral.

Ces cubiques passent par les points principaux du complexe.

Par deux points pris arbitrairement sur une droite quelconque du complexe il passe une de ces cubiques et il n'en passe qu'une.

LE COMPLEXE TÉTRAÉDRAL. 277

111. On peut dire que, parmi les cubiques gauches, en nombre quadruplement infini, qui passent par les quatre points principaux d'un complexe tétraédral, celles-là sont des cubiques du complexe qui sont capables d'un rapport anharmonique égal à celui du complexe, c'est-à-dire qui sont telles que les plans passant par une corde quelconque de cette cubique et les quatre points principaux aient un rapport anharmonique égal à celui du complexe.

112. Lorsque la droite/?/?' passe par l'un des points principaux du complexe, le point e par exemple, la cubique C3 se décompose en cette droite et en une conique circonscrite au triangle /^A. Le théorème énoncé plus haut (n<»110) subsiste néanmoins ; les cordes de la cubique sont, d'une part, les cordes de la conique, c'est-à-dire les droites du plan fgh^ qui on l'a vu (n°93), appartiennent bien au complexe, et, d'autre part, les droites, faisant également partie du complexe, qui joignent un point quelconque de /?/?' à un point quelconque de la conique.

113. Par une droite quelconque L d'un complexe tétraédral passent une infinité de quadriques circonscrites de ce complexe (n<» 103). Considérons deux de ces quadriques. Ces deux surfaces, ayant une génératrice rectiligne commune L, se coupent en outre suivant une cubique gauche, qui rencontre, comme on le sait, la droite L en deux points et qui passe par les quatre points principaux du complexe, puisque ces quatre points appartiennent à la fois aux deux quadriques (103). Cette cubique est, par suite, une cubique du complexe. De là le théorème suivant :

Deux quadriques circonscrites d^un complexe tétraédral, qui ont en commun une droite du complexe, se coupent suivant une cubique de ce complexe.

\\h. Soient L, L', h" trois droites quelconques d'un complexe tétraédral. Par L et L' passe une des quadriques circonscrites de ce complexe. Par L et If passe une autre de ces surfaces. Ces deux quadriques, ayant en commun la droite L, se coupent suivant une cubique gauche. Cette

courbe a, d'ailleurs, pour cordes la droite L et par suite aussi les droites L' et L". Elle passe en outre, comme les deux surfaces dont elle est l'intersection, par les quatre points principaux du complexe. C'est donc une cubique de ce complexe. On remarquera que la démonstration précédente serait en défaut, si les trois droites étaient trois génératrices d'un même système d'une quadrique circonscrite du complexe. En conséquence, on peut dire que :

Trois droites d'un complexe tétraédral, qui ne sont pas des génératrices dUm même système d'une quadrique circonscrite du complexe, sont des cordes d'une même cubique de ce complexe.

GÉNÉRATION DES GONGRUENCES DE DROITES DU PREMIER ORDRE ET DE CLASSE QUELCONQUE.

115. Conformément à une définition générale donnée plus haut (n° 3), une congruence de droites du premier ordre et de la /i*^""® classe est un ensemble doublement infini de droites, tel que par tout point arbitraire il en passe uneel une seule, et qu'il y en ait n d'entre elles contenues dans un plan quelconque.

Kummer, dans un Mémoire célèbre (^), a fait connaître un mode de génération de ces congruences de la plus élégante simplicité. On peut, comme nous allons le faire, établir ce résultat si remarquable par une voie plus directe que celle suivie par l'illustre géomètre {^). Le mode de raisonnement qui nous servira n'est qu'une généralisation de celui par

( *^ Ueber die algebraîschen strahlen Système {Mathematische Abhandlungen der kôniglichen Akademie der Wissenschaften zu Berlin, année 1886, p. i à 120).

(■) Nous avons déjà publié une Note sur ce sujet dans les Bendiconti del Circolo matematico di Palermo, t. VI, p. 63 à 67 ; 1892.