groupes de variables x, y, z, u, d'une part, X, Y, Z, U, de l'autre, celles qui sont exprimables ainsi :

où a, b, c, d, sont encore des quantités imaginaires quelconques, et a,, bo, co, do, leurs conjuguées respectives. On obtient de la sorte une classe parfaitement définie de substitutions réelles, par rapport auxquelles on peut se poser les questions fondamentales de la comparaison des formes quaternaires: les deux problèmes de l'équivalence algébrique, de l'équivalence arithmétique, et de la représentation des nombres par ces formes. Pour l'objet que nous avons en vue en ce moment, nous nous bornerons aux formes quadratiques suivantes: f = Avv+Bvw+ Bwv,+Cww,

dans lesquelles les coefficients extrêmes A et C sont supposés réels, tandis que les coefficients moyens, B, Bo, sont des quantités imaginaires conjuguées. Considérées par rapport aux variables primitives, x, y, z, u: ces formes sont entièrement réelles, mais leur étude au point de vue des substitutions que nous avons précédemment définies, repose essentiellement sur l'emploi des nombres complexes. On est alors conduit, à leur attribuer un mode d'existence singulièrement analogue à celui des formes quadratiques binaires, bien qu'elles contiennent essentiellement quatre indéterminées.

Les considérations suivantes que nous présentons comme une première esquisse d'une théorie vaste et féconde, sur laquelle nous reviendrons à l'avenir, offreront plusieurs exemples de cette étroite analogie avec les formes binaires; mais on y verra en même temps le germe de notions arithmétiques toutes nouvelles, qui méritent peut-être de fixer un instant l'attention des géomètres.

ས.

Le fait algébrique sur lequel repose en entier la théorie des formes f = Aoot BoutBour |Curr

F= AVV2+BVU2+B, UV2+EUUo,

dans laquelle les coefficients extrêmes A et C, sont réels comme A et C,

les coefficients moyens B et B étant des quantités imaginaires conjuguées comme B et Bo. On a en effet:

A = Aaa+Ba co+ Bac +Cc c。= f(a, c; aʊ, co),

С — A b b + B b d+Bbd +Cd dʊ= f(b, d; b, do),

=

0

et ce que nous disons résulte immédiatement de ces formules. On en tire ensuite les conséquences suivantes :

1o.

On a le théorème

BB。— AC = (ad-be) (ad-boco) (BB-AC).

Ainsi l'expression BB- AC, jouera dans notre théorie le rôle d'invariant. Nous la désignerons par 4.

2o.

Nommant met n, deux constantes imaginaires quelconques, m。 et nʊ,

ce qui sera une substitution comprise dans la forme analytique générale des substitutions (1): je dis qu'on aura:

f(v, u; vʊ, uʊ).f(m, n; mọ, nʊ) VᏙ - AUU.

=

0

Effectivement, cette relation n'est autre que celle du théorème précédent, dans laquelle on a mis vet u, au lieu de a et c; m et n, au lieu de bet d. Nous allons voir qu'elle donne tout ce qui concerne l'équivalence algébrique des formes f.

Supposons d'abord 4 positif, et mettons V√4, au lieu de V, il faudra au lieu de V, prendre Voy4, et alors la forme f deviendra:

Mais si est négatif, en remplaçant V par V4, il faudra mettre - Vo√4,

Enfin, par une nouvelle substitution qui consistera à multiplier Vet U d'une part, V et U1 de l'autre, par un facteur et son conjugué, on obtiendra au lieu des deux formes précédentes, celles-ci:

±(VV―UU),
+(VVo+UUo).

Nous en concluerons ce théorème:

Les formes f, peuvent toujours par les substitutions (1), être ramenées à l'un des trois types quadratiques quaternaires, d'indice zéro, d'indice deux, ou d'indice quatre.

VI.

Ce qui précède montre que les formes f, sont définies ou indéfinies, suivant que 4, est négatif ou positif. Nous pourrions aussi en conclure que relativement aux substitutions (1), elles ne sauraient avoir d'autre invariant que la fonction 4, ou ses puissances. Mais pour abréger, nous arrivons immédiatement aux principes relatifs à la représentation des nombres.

Rappelons d'abord qu'en désignant par m et n deux entiers complexes sans diviseurs communs, on peut toujours trouver deux autres nombres complexes u et v, tels qu'on ait:

Car si l'on cherche par le procédé de Mr. Dirichlet, le plus grand commun diviseur entre m et n, il est aisé de voir qu'un reste de rang quelconque dans cette opération, s'exprime toujours par une somme de multiples complexes des nombres i et n. Le dernier de ces restes ayant dans le cas présent, l'unité pour norme, pourra donc s'obtenir sous la même forme; d'où se conclut de suite la possibilité de la relation proposée. Cela étant, nous aurons les théorèmes qui suivent.

1o.

Si un nombre M, peut être représenté par la forme f, de manière que les valeurs complexes des indéterminées v et u, v, et u, soient premières entre elles, l'invariant 4, sera congru suivant le module M, à la somme de deux carrés.

Nous voyons par là, qu'à toute représentation propre de M par la forme f, est attachée une solution de la congruence

D'ailleurs, quels que soient u et v, dans la relation mv-nu=4, les diverses valeurs qui en résulteront pour et y, seront congrues suivant le module M.

2o.

Si le nombre M peut être représenté par f, en donnant aux indéterminées v et u, les valeurs premières entre elles m et n, et à leurs conjuguées les valeurs mo, no, et que le nombre complexe

où les entiers complexes, m, n; u, v, vérifieront la relation

On remarquera la complète identité des théorèmes qui précédent, avec ceux des paragraphes (154, 155, et 168) de l'ouvrage de M. Gauss. Il en resulte qu'il n'est aucune représentation propre de M, par la forme f, qui ne puisse s'obtenir en calculant toutes les expressions

F

=

x2+y2—▲ 4

MVV。+(x+y√−1) VU+ (x − y √−1) VU+ M

composées avec le nombre M, et les entiers complexes x+y√-1, solutions de la congruence

x2+ y2 Mod M,

et cherchant ensuite les transformations de f, en chacune de ces formes. Et toutes ces représentations seront distinctes, si les formules de transformation sont comme ci-dessus:

les entiers m, n, u, v, vérifiant toujours la condition

Après avoir fondé sur des principes identiques à ceux de M. Gauss, pour les formes binaires, les éléments de notre théorie, nous pourrons cependant voir ce présenter déjà, deux notions arithmétiques nouvelles et qui lui sont entièrement propres. La première consiste dans les divers ordres d'équivalence, auxquelles conduisent les substitutions

Nous réservons pour un autre mémoire, l'étude approfondie des trois ordres d'équivalence impropre. La seconde que nous voulons étudier dès à