Le système S admet comme invariants absolus géomé

tnques les quantités de la forme -, — -~ — --

Il est facile de démontrer que tout invariant absolu géométrique rationnel est une fonction rationnelle des invariants absolus particuliers que nous venons de définir. 11 suffit de démontrer qu'il en est ainsi, d'après ce qui précède, pour une expression de la forme

{xy)^ii{xz)^i^{xt)^ii . . . (7^)^3(j;f)>v^.i . . . (zt)^34 . . .,

OÙ les \ij sont des exposants entiers positifs ou négatifs, tels que la somme de tous ceux d'entre eux qui ont un indice commun soit nulle. Le théorème est vrai pour trois séries de variables, car alors les X/y sont tous nuls; il suffit donc de faire voir que s'il est vrai pour le système (jk), (^), (^), . . . , il est encore vrai pour ce même système auquel on a adjoint les (x). Or si l'on rem-

(0 Cette démonstration a été donnée par M. J. Deruyts (Essai cVune théorie générale des formes algébriques; Bruxelles, 1891).

Hosted by

place (^5), {xt)^ [xu)^ . . , parleurs valeurs tirées des équatioDS

(xz){jt) ^ {oct){yz) ^ \xu){yz) ^

{xy){zt) ^' {xy)[zt) '' {ooy){zu) ' '' '"

l'expression considérée prend la forme

P étant une expression analogue, mais indépendante des (x). Donc le théorème est général, puisqu'il s'applique à P.