1262 ACADÉMIE DES SCIENCES. 



forme quadratique ternaire en x, y, s qui doit être positive pour que les 

 fonctions abéliennes, correspondant aux périodes considérées, existent. 

 Celte forme s'écrit 



elle ne change donc pas si l'on opère ?,\i\' fa, fx, f^ une même transfor- 

 mation du premier ordre d'Hermite; elle se change en une forme propre- 

 ment ou improprement équivalente si l'on remplace le système (i) par un 

 système arilhmétiquement équivalent. D'après cela, à tout système (1) 

 répond une classe de formes quadratiques ternaires positives, proprement 

 ou improprement équivalentes entre elles. 



» D'ailleurs, la forme (F) n'est pas une forme ternaire positive quel- 

 conque, car, en vertu de son expression même, [\¥ est représentable pro- 

 prement par la forme X= — 4 YZ — 4 TU, propriété qui n'appartient pas à 

 toute forme ternaire. Dans ce qui suit, on désignera par (F) les formes 

 de ce type, et les théories générales classiques permettront toujours de 

 reconnaître si une forme ternaire donnée est une forme (F). 



» II. Réciproquement, une classe de formes (F), primitives, étant don- 

 née, à quels types peut-on réduire, par des transformations du premier 

 ordre des périodes, les systèmes (i) qui lui donnent naissance? Nous sup- 

 poserons, pour simplifier, que les formes de la classe n'ont pas de trans- 

 formations en elles-mêmes, sauf, bien entendu, la transformation unité 

 et celle qui change les signes des trois variables. 



» Désignons par (F(,) une forme de la classe donnée, par i2 le plus 

 grand commun diviseur des coefficients de son adjointe : on pourra, 

 d'une infinité de manières, trouver une forme binaire primitive (&„), 

 DX- + SXY -I- AY% qui soit représentable proprement par (F„), et dont 

 le discriminant, 4 DA — §% soit égal à £2P, P désignant un nombre premier, 

 premier avec le discriminant de (F(,) : cela résulte de ce que les discrimi- 

 nants des formes contenues proprement dans (F„) sont des nombres repré- 

 sentables proprement par l'adjointe de (Fo)» et réciproquement. 



» Soient maintenant /„ = o, /, = o, /„ = o trois relations singulières 

 donnant naissance à la forme (F,) : par définition, 4F0 est l'invariant de 

 la relation xf„ + yf^ + zf^ = o. On obtient (&„) en remplaçant, dans (F„), 

 les variables x, y, z par IK -f- [aY; VX -H (/.'Y; V'X -l- ^"Y de sorte que 

 4G„ est l'invariant de la relation 



HVo + >•'/. -^ ^7=) + Y(,a/„ + |//, -^ i>.'%) - o. 



