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

Mais on voit que cette série est susceptible d'être dédoublée eu deux séries orientées, ou composées d'éléments orientés, correspondant aux deux équations g ± /ia4= o, ce qui n'avait pas lieu dans le premier cas. On est ainsi conduit à la notion de séries orientées de degré /?, obtenues par dédoublement de certaines séries ordinaires de degré ip. On voit d'ailleurs que la série ordinaire équivalente à une série orientée de degré p a ses éléments communs avec l'absolu confondus deux par deux, et qu'elle possède, d'une façon générale, p(p ■ — 1) éléments doubles, communs aux séries g et h.

Les cercles sont les séries orientées du premier degré.

Les séries non orientées de degré p sont des cas particuliers des séries orientées de degré ^?, de même que les séries linéaires sont des cas particuliers des cercles : on peut donc les considérer comme des séries orientées, mais telles que si elles contiennent un élément orienté, elles contiennent le même élément orienté de façon opposée.

4-09. Considérons inversement une série ternaire ordinaire, indécomposable, de degré/?, d'équation f(x{, x2, x3) = o. Si, en supposant que F.r;= — x2K-\- ^x2xz, comme précédemment, nous définissons un élément (x) par les paramètres (a) et (u.) des éléments de contact avec l'absolu des éléments tangents à l'absolu qui contiennent Çx), l'équation de cette série /sera

/(Xi[.t2+ X2ni, X 1 ; j. 1 , X2H2) = o.

Le premier membre ne sera pas décomposable en deux facteurs qui ne diffèrent que par la permutation des (1) ou des (u.), ou le sera. Dans le premier cas, la série y ne sera pas susceptible d'être dédoublée en deux séries orientées. Dans le second cas. deux hypothèses se présentent : ou bien les deux facteurs sont de même

degré — (p étant nécessairement pair) par rapport aux (a) et

aux (u), et alors ils peuvent s'écrire sous la forme

g{xu X-2, X3, ± s/— F^),

g étant une forme de degré — > de sorte que la série / est la réunion de deux séries orientées de degré—; ou bien les deux facteurs sont de degrés différents q et p — q par rapport aux (a) et

aux (|j.) : on est alors ramené au cas précédent en adjoignant à chacun d'eux, en supposant/» — cl~>(h un facteur de degré p — 2 #, ne contenant que les (À) ou les (u,), de sorte que la série/, à laquelle on adjoint/? — 27 éléments tangents à l'absolu, devient la réunion de deux séries orientées de degré p — q. La série / a, dans ce cas, ses éléments communs avec l'absolu confondus deux à deux et possède d'une façon générale

(p —qMp — q — ,, q 1 q — i i

éléments doubles, ainsi que nous l'avons vu antérieurement.

A beaucoup de points de vue, il est convenable de faire l'étude métrique des -''ries orientées définies par des équations entre coordonnées circulaires. C'est ce que nous ferons, mais brièvement, puisque cette théorie se trouvera évidemmenl empruntée au domaine de la Géométrie quaternaire générale, et deviendra parfaitement claire comme conséquence des théories développées dans I étude de celle Géométrie, après les quelques modifications • le langage nécessaires.

110. Soit une série orientée de degré /', définie par les équations

/( ";. <> . <>.. o, o, Fa»+ «l = o.

cl considérons un cercle Cp, de coordonnées ( ,j), ci dont l'équation en coordonnées circulaires es! par suite

Ce cercle sera tangent à / en (a'), c'est-à-dire que les trois équations précédentes admettront les (V) comme solution double, si tous les déterminants du troisième ordre lires de la matrice

Pi h h

àf of df df

ôa\ On'., da'a da\

sont nuls; et, par suite, il y aura une infinité de cercles tangents à/en («'), dont l'équation sera

> / df ùf ''f df \