CHAPITRE YIII. — LES SÉRIES 3r

Comme e-'^>J^ est égal à 0,0042. . . , on a déjà l'intégrale définie W2 avec une erreur relative moindre que 75-^^ en négligeant tous les termes du second membre, sauf le premier, et prenant

2 V3 COS' — r

Expression de gt par les fonctions ^. Remarques.

Nous avons employé, dans les calculs, les racines ^i, ej, ^3, et non les invariants. Mais on pourrait aussi se servir de ces derniers. Déjà nous avons obtenu l'expression de A. Pour obtenir ^2? prenons la formule déjà utilisée (p. 276)

Par le moyen des expressions (46), nous en déduisons

Mais la première identité (4o)î ses deux membres étant élevés au carré, donne

Éliminant le produit Sj^o, nous concluons

On doit observer que, par sa nature, g2 reste inaltéré quand on échange les indices des racines e»; en conséquence, l'expression de ^2 par les S doit rester inaltérée quand on change les périodes. C'est, en effet, ce qu'on vérifie immédiatement sur l'expression (70) : les égalités (55) font voir que, dans ces changements, les trois

((uantités — se reproduisent, sauf l'ordre. Leur somme reste donc

inaltérée. Même observation sur l'expression trouvée déjà pour le discriminant A, et que nous reproduisons ici

(71) •/Â = -i-»As'..

Voici maintenant la remarque que ces égalités (70), (71) suggèrent. Elles nous présentent les coefficients d'une équation du

a84 PREMIÈRE PARTIE. — THÉORIE.

troisième degré exprimés en fonction explicite et non ambiguë^ d'un paramètre q et d'un facteur d'homogénéité w. En même temps, les égalités (45) nous donnent les racines de l'équation exprimées aussi en fonction explicite et non ambiguë de ce paramètre q et du facteur d'homogénéité. Gomme on l'a vu au Chapitre IV, on obtiendrait maintenant des faits tout pareils pour une équation du quatrième degré, avec l'introduction d'un paramètre de plus, l'argument v. Ce sont là, en Algèbre, des faits nouveaux, analogues cependant à la résolution trigonomé trique de l'équation du troisième degré. Nous en verrons encore de semblables dans les applications géométriques et dans la théorie de la transformation.

Fonctions elliptiques à invariants imaginaires.

Nous n'avons jusqu'à présent considéré les fonctions elliptiques que dans le cas où les invariants sont réels. Dans le présent Chapitre, ce cas est caractérisé par l'existence de deux demi-périodes, l'une réelle, l'autre purement imaginaire. Mais, pour ces cas mêmes, nous avons été conduits à envisager les fonctions 3 formées avec d'autres demi-périodes. Rien ne s'oppose à une généralisation complète. Prenons deux quantités quelconques w, o)' dont le rapport soit imaginaire ^ et, observant que les parties

réelles de -r- et de -;— , sont de signes opposés, prenons-les dans

l'ordre tel que v— ait sa partie réelle positive. On formera, par leur

moyen, une quantité q dont la valeur absolue sera inférieure à l'unité, et des séries 3 convergentes. Par les formules ci-dessus, on déterminera les constantes 7), 7)', ^i, e?j, ^3, et la fonction du. Celte dernière vérifiera l'équation à trois termes, et l'on en déduira une fonction pw, qui, sauf les propriétés relatives à la réalité, jouira de toutes les autres propriétés reconnues jusqu'à présent. Nous pourrons donc, dorénavant, raisonner sur ces fonctions plus générales; néanmoins nous aurons encore à relever des détails de calcul particuliers au cas où les invariants sont réels. Ce cas se présente uniquement dans presque toutes les applications. Nous allons encore étudier une question très simple où les invariants sont essentiellement réels.