Cela posé, le théorème de Staiidt peut s'énoncer ainsi

Le rapport anharmonicjue des points d'intersection d'une droite quelconque D avec les faces fgli, ghe, hef, efg d'un tétraèdre efgh est égal au rapport anharmonique des plans passant respectivement par D et par les sommets e, /, g, h de ce tétraèdre.

Pour démontrer celte proposition, projetons coniquemenl du point e sur le \)\'à\\ fgli les points d'intersection m^ n, p, q de la droite D avec les faces /^A, gJie, hej\ efg du tétraèdre {fig- 4)« Le point m coïncide avec sa projection. En désignant par /•, s, t les projections respectives de n, /;, ^, on a,

d'après une propriété fondamentale du rapport anharmonique,

(i) {ni,n,p,q) — {m,r,s, t),

et, d'après le théorème préliminaire (n» 97),

(2) (//^, /', s,t)— {mr, mf, mg, m h).

D'autre part, en remarquant que les plans De, D/, Dg, ])/i sont respectivement coupés parle plan /^A suivant les droites />?/•, /;//, mgy mil y on a

(mr, mf, mg, m/i) = {ï)e, D/, D^-, Dh):

De la comparaison des relations (i), (2) et (3) on conclut

C'est ce qu'il s'agissait de démontrer.

99. La corrélation qui existe entre les deux modes de génération, que nous venons de donner, du complexe tétraédral se lie à une autre propriété intéressante de ce complexe, qui est la suivante :

Un complexe tétraédral est polaire réciproque de lui-même relatiçement à toute surface du second degré, ayant pour tétraèdre autopolaire le tétraèdre principal de ce complexe.

Soient efgh le tétraèdre principal du complexe et y^ une quadrique admettant ce tétraèdre comme tétraèdre autopolaire. Il s'agit de démontrer que toute droite L du complexe a pour conjuguée, par rapport à la quadrique y, une autre droite L^ de ce même complexe.

En effet, désignons par m, n, p, q les points où la droite L rencontre respectivement les faces fgh, ghe^ hef, efg du tétraèdre principal. Les plans polaires des points /??, /i, /;, q^ relativement à y, passent respectivement par la droite L' et par les points e, f\ g, li, et l'on a, d'après un théorème bien

connu,

Le rapport anharmonique des quatre plans h'e, L'/", L'g, h' h est donc égal au rapport anharmonique du complexe et, par conséquent, la droite L' fait partie de ce complexe (n^ 95).

Le théorème que nous venons de démontrer établit une corrélation entre les propriétés du complexe tétraédral, de telle sorte que, après avoir démontré une de ces propriétés^ on peut en conclure immédiatement la propriété corrélative.

100. On peut encore donner du complexe tétraédral deux modes de génération remarquables, qui vont faire l'objet de

LE COMPLEXE TÉTRAÉDRAL. 2J t

deux théorèmes que nous allons établir. L'un de ces théorèmes peut s'énoncer ainsi :

Les droites gui Joignent les points homologues de deux figures liomo graphiques à trois dimensions forment un complexe tétraédral.

Démontrons d'abord que l'ensemble de ces droites forme un complexe du second ordre. 11 suffit, pour cela, de prouver que par tout point/? d'un plan quelconque m il passe deux de ces droites. En effet, aux divers points de l'une des figures S qui sont contenus dans le plan Gj correspondent dans la figure homographique i?' des points contenus dans le plan gt' homologue de GT. Tout point m' du plan ts' qui, joint à son homologue m dans le plan gj, donne une droite passant par/>, est nécessairement sur la droite D' d'intersection de ces deux plans et le point m est, par suite, sur la droite D de ir, homologue de la droite D' de ^' . Les points m et m' déterminent d'ailleurs respectivement sur D et D' deux séries homographiques. 11 en résulte que les droites mm' enveloppent une conique dans le plan Ts et, par conséquent, qu'il passe par le point />, dans le plan cj, deux de ces droites, à savoir les deux tangentes menées de ce point à la conique. 11 est ainsi établi que le complexe considéré est du second ordre. Nous allons maintenant faire voir que c'est un complexe tétraédral.

On sait que, étant données deux figures homographiques à trois dimensions, il existe quatre points e, /, g, /i, en chacun desquels deux points homologues des deux figures coïncident. Toute droite, passant par l'un quelconque de ces points, devant être considérée comme joignant deux points homologues des deux figures, fait partie du complexe.

Cela posé, prenons arbitrairement un couple de droites/?/ et pV du complexe, passant en un même point quelconque p. Le cône du complexe, dont p est le sommet, contient les six droites pe^ pf, pg, ph, pl^ pV ^ et, comme il est du second degré, le rapport anharmonique des quatre plans /?e/, /?//, pgl, phi est égal au rapport anharmonique des quatre plans /?e/',

Pfi'. Pgl'. Phl'.

Considérons maintenant deux droites quelconques L, L' du complexe, non situées dans un même plan, et soit A l'une

.272 CHAPITHE IV.

des droites de ce complexe qui rencontrent à la fois L et L'. Les rapports anharmoniques des quatre plans Le, L/, L^, Lh et des quatre plans L'e, Uf, h' g, L'Ii sont, d'après ce qui vient d'être démontré, égaux tous deux au rapport anharmonique A6% A/, A^^, A/i. Donc ils sont égaux entre eux. Le complexe étudié est donc bien un complexe tétraédral (n<*95). Il résulte de la démonstration précédente que le tétraèdre principal de ce complexe a pour sommets les points coïncidents des deux figures £ et £',

101. On démontrerait d'une manière toute semblable le théorème corrélatif du précédent, qui s'en conclut d'ailleurs immédiatement par voie de dualité et s'énonce ainsi :

Les droites d'intersection des plans homologues de deux figures hoinographiques forment an complexe tétraédral.

Il convient de remarquer que deux figures homographiques donnent naissance au même complexe tétraédral, que l'on considère celui-ci comme lieu des droites joignant les points homologues des deux figures, ou comme lieu des droites d'intersection des plans homologues de ces deux figures. C'est là une conséquence immédiate de la double définition du complexe tétraédral (n" 96) et de ce fait connu que les quatre plans, qui résultent chacun de la coïncidence de deux plans homologues de deux figures homographiques, sont les plans des faces du tétraèdre qui a pour sommets les points en chacun desquels coïncident deux points homologues des deux figures.