CHAPITRE XV. — LA GÉOMÉTRIE MÉTRIQUE TERNAIRE GÉNÉRALE. j>l

4-16. Envisageons, en particulier, une série quadratique ordinaire, pour laquelle pf, = o, a,K = A4.

Il y a trois séries de cercles bitangents à /*, proprement dits. L'une d'elles, par exemple, a pour lieu de centres L, = o, c'està-dire l'un des éléments de seconde espèce de la suite triple conjuguée commune à f et à l'absolu. Ces eercles sont orthogonaux à cet élément. Ils fournissent quatre foyers, qui se réduisent à deux éléments d'orientation arbitraire, déterminés par les éléments tangents communs à f et F, associés deux par deux d'une façon convenable.

La quatrième série de cercles bitangents à f se compose des éléments linéaires tangents à /", dont les éléments de contact ont en effet une double orientation. Le lieu de leurs centres est la série

Pi Pi Pi

polaire réciproque de f par rapport à F. Les quatre foyers correspondants sont les éléments de contact avec l'absolu des éléments tangents communs à f el F.

Les distances des foyers aux éléments qui ont même polaire par rapport kf et F sont faciles à calculer.

Les séries quadratiques homofocales admettent toutes mêmes éléments tangents communs avec l'absolu; en d'autres termes, leurs séries tangentielles forment un faisceau auquel appartient l'absolu. Il est alors facile d'énoncer relativement à ces séries un grand nombre de propriétés, qui ne seront que la traduction métrique des propriétés générales des faisceaux.

417. Revenant au cas général, considérons le système de cercles bitangents à/, dont le lieu des centres est (D,), ou

(LlO0 L2oi)2 (l-i 03— ^3?i)2 , (Li?t— U?i)8 n.

Pi — P\ Ps — fi Ph—P\

l'équation de la série quadratique (A,) déterminée par le cercle A, = o est de même

( Lj o2 — L2 y, )2-f- (Lt o3— L3 «p, )2-t- ( L, c?4 — Li ç, )n- = o.

La série linéaire telle que L, o2 — L2'-f, = o contient les centres des cercles A3=o et A4=o. Donc, les centres des trois cercles principaux autres que A| = o sont les éléments qui ont même polaire par rapport à(A() et (D,) : ceci suffit à déterminer ces cercles, connaissant (D,) et (A,), puisque l'on sait qu'ils sont orthogonaux au cercle A, = o.

418. Pour obtenir de nouvelles propriétés, nous allons envisager le problème d'une nouvelle façon, en conservant les coordonnées circulaires ordinaires. L'équation de la série / peut

s écrire

/i-t-aa4/ï=o,

/, clf, étant des formes l'une quadratique, l'autre linéaire en <?,, (/2, as. On peut alors, par une transformation ternaire, trouver trois fonctions linéaires A,, A2, A3 de «,,<v2, o:] telles que l'équation de /devienne

/= <7i A y — 72 A2 — 'At-Vi-*- »A.4| r\ Ai ''i A2-r- r3 A3) — o,

et la forme Fa»-f- a]

G = AÎ-t-Al-hA|-+- \.

A. étant égal à a,. Ceci revient à rapporter la série/, et l'absolu à leur suite triple conjuguée commune. Cette série/, est d'ailleurs définie par la condition de contenir les éléments communs à/ et à l'absolu, ainsi que les deux éléments doubles de la série quarlique définie par la série/.

Ici les coordonnées du centre d'un cercle (À) sont ).,, X2, ),3,

\J — (A^-r-^j-r-Xj), et a,, X2, X3, X4, s'il est de rayon nul : en général, si r\ est son rayon, on a, en faisant lim = i,

X4 v/^Àl^ÀlH-ÀI + Xf) cos/-> = , sin/-> = - ' 2 ■* *'-.

/-(A? ■+- XI + XI) •-(Xf h- Xi -h Xf)

Si le cercle (),) est bitangent à /, en éliminant A* à l'aide de l'équation de ce cercle, et exprimant que deux séries quadratiques ternaires sont bitangentes, ce qui se fait facilement en écrivant que dans leur faisceau se trouve une série linéaire double, on est