RELATIFS AUX FORMES QUADRATIQUES
Comptes rendus de l'Académie des Sciences ^ t. LV, 1862 (II), p. 11 -8S et Journal de Liouville, t. IX (t.* série), i864, p. i45.
La théorie des fonctions elliptiques présente deux points principaux où elle vient se lier à l'Arithmétique et spécialement à la théorie des formes quadratiques à deux indéterminées de déterminant négatif. L'un s'offre lorsqu'on développe en séries simples de sinus et de cosinus des quotients de fonctions 0, et ne suppose que les considérations les plus élémentaires de la théorie ; l'autre lient à l'élude beaucoup plus profonde et difficile de ces équations algébriques à coefficients entiers dont dépendent les modules qui donnent lieu à la multiplication complexe. Si difl^érents et éloignés que soient ces deux points de vue, ils présentent néanmoins un ensemble de résultais communs : nous voulons parler des déterminations nouvelles du nombre des classes de même déterminant, découvertes par M. Kronecker, et qui, à bien juste titre, ont attiré l'attention des géomètres. Dans une Lettre communiquée par M. Liouville à TAcadémie l'année dernière, j'ai rapidement indiqué de quelle manière ces résultats pouvaient s'établir par la considération élémentaire du développement en série de sinus et de cosinus. C'est sur cette méthode que je me propose de revenir pour en faire une étude plus complète, en mieux fixer le caractère et les limites, et surtout approfondir la nature des nouveaux H. — II. ifi
242 OEUVRES DE CHARLES IIERllITE.
éléments arithmétiques qu'elle met en jeu et qui lui semblent propres. Elle repose essentiellement sur l'emploi des expressions en séries de deux systèmes différents de fonctions qu'il est nécessaire de donner avant d'en exposer le principe.
Le premier de ces systèmes est, à quelques exceptions près, Tensemble des fonctions doublement périodiques considérées par Jacobi dans le § 39 des Fundamenta, En écrivant, pour abréger,
e, e„ II, H, au lieu de
et
au lieu de
e(o), e,(o), II, (o), de sorte qu'on ait
0 = 4/ — —— = I 9.,jr -f- •j.q^ — '}^q9 ^ ^q\% — 27»* -h. . ., Oj = i/ -zr =»-+-'? 7 -1-27^ 4- 29» -4- 2^*« -4- 29'* 4-.. ., r, = ^^ =-xVq+ 2 vVf. + .2 (/^. ^- 2 's' F' + • • • .
je les présenterai groupées de la manière suivante :
