CHAPITRE VIII. ^ LE SYSTEME DE DEUX FORMES QUADRATIQUES
de A a pour equalion
et les deux séries que nous venons de déterminer sont manifestement tangentielles l'une de l'autre, car en remplaçant un élément quelconque par son pôle ou sa polaire par rapport à/*, on ne fait qu'exécuter une transformation homograpKique sur les éléments de l'espace, les nouveaux éléments remplissant le même espace, mais étant d'espèce opposée.
247. Etant données les deux séries /et g^ on peut déterminer une série quadratique k telle que la série polaire de/, par rapport à k, soit^, en appelant série polaire de /par rapport à k celle des pôles des éléments tangents à/ par rapport k k.
On voit d'abord que k doit être conjuguée par rapport à la suite triple conjuguée commune hfeig] alors un calcul simple montre l'existence de quatre solutions, que l'on peut écrire, avec les notations du n° 241,
[d'a^i^y^f+vn^i^h-^da^i^Ygi
Nous n'examinerons pas les cas particuliers. Indiquons cependant que si/ et g sont identiques, k doit être bitangente à /; et, en outre, k et /sont harmoniques : leurs séries invariantes h et y se réduisent aux éléments déterminés par les deux éléments tangents ou de contact comptés deux fois.
2i8. La polaire (^), par rapport à /, d'un élément (^) de g peut-elle déterminer sur g deux éléments (y) et (^) conjugués par rapport à/? Ceci exige que l'on ait -a^ = o, d'après les propriétés de la série y\ si donc e n'est pas nul, on a aussi cp = o, d'après le n"^ 246, et les éléments [\) considérés sont les éléments tangents à /suivant les éléments communs à / et à g. De là résulte qu'il n'existe pas de suite triple proprement dite, conjuguée par rapport à /et inscrite à g.
Mais si l'invariant e est nul, on a -^ = o, quel que soit (^); il existe alors une infinité simple de suites triples conjuguées par rapport à /et inscrites à^; chaque élément de g détermine l'une d'elles.
On a ainsi la signification géométrique de la condition e ■=^ o.
Hosted by
îi64 LIVRE II. — LA GÉOMÉTRIE TERNAIRE.
La condition e^ = o aura une signification analogue, les rôles de f et g étant renversés.
De plus, un raisonnement semblable montre encore que si e' n'est pas nul, il n'y a aucune suite triple proprement dite, conjuguée par rapport à /" et circonscrite à g; si e^= o, on a, au contraire, une infinité simple de telles suites. On a ainsi une nouvelle interprétation de la condition e^=o et, par suite, de la condition e = o.
Cette double interprétation résulte immédiatement de la dualité déjà signalée entre les invariants des systèmes (/, g) et (cp, '];).
249. Ce que nous venons de dire se modifie dans les cas particuliers où les séries /et g ne sont plus toutes deux indécomposables. Supposons que
ce qui est toujours possible, g étant quelconque. Alors
Si/est carré parfait, e est nul. Si/ est décomposable sans être carré parfait, de sorte que par exemple a^]=^o et a22<^33^o, alors e s'annule en même temps que 6^' Donc e = o signifie que l'élément multiple de/ appartient à g.
On a aussi
e' = ail pli + <^22 ^22 -r- ct-is JB33 ;
si y est carré parfait, de sorte que a22=<^33=c>, e^ s'annule avec S^i : donc e^=: o signifie que Télément (^)^ représenté deux fois par/, est tangent à g.
Si / est décomposable sans être carré parfait, comme plus haut, on verra sans peine que les éléments représentés par/== o sont conjugués par rapport à g.
La même méthode pourrait être employée pour retrouver les résultats du numéro précédent, dans le cas général.
IV. — Les réseaux (/, g, h) et (cp, ^, ^). 250. Les séries quadratiques dont les équations sont
Hosted by
