V :.:= 7fV^(23. iQfi—l^t) -r- 22y?2__

et les égalités (39) donnent

L'équation cherchée est donc enfin

(40) V(0 = O = 7fV23(23. I9^3 2.32.7O ^ 3(.22.3,^^2 32).

Les trois multiplications par t(h-/— 23).

Pour résoudre Téquation (4o), le changement d'inconnue, qui s'offre d'abord, est indiqué par l'égalité

(40 ly-23t-^iz,

par où l'équation devient

Pour la réduire à trois termes, on posera

ce qui mène à l'équation finale

(',4) 23x^ -'j.^j3x -^ y.'iy ^ o.

Comme on le verra plus loin, il y a des raisons de savoir d'avance que la racine carrée du discriminant de l'équation doit contenir i\ 'À^ comme sevile irrationnalité. Il en est bien ainsi; car, R étant le discriminant, on a, pour l'équation {^^)f

i3 . i /aS

Soient ( 45 ) g= 47 ^ >.?, v/23 + - 3 /3, h -- 4 / ^ 23 v/^ - - 3 v/3

des racines cubiques prises dans le sens arithmétique et pour lesquelles on a

La racine réelle de (44) est

Les deux autres x^ et ^o *'en déduisent comme on sait : pour la première, on remplace g et h par 9j^ et Q-/i; pour l'autre, par 9^^ et 8A, et 9 est une des racines cubiques imaginaires de l'unité. Afin que les indices i et a correspondent à ceux qui ont été adoptés plus haut, pour t^ il j aura lieu de préciser 0. Je le ferai plus loin, et, dans les formules ci-après, je suppose, par avance, le résultat.

En posant donc

on pourra exprimer, par une même formule, chaque racine t en fonction de la quantité correspondante c. Les quantités <?, e\ e" ^

dont l'une est arbitraire et dont la somme est nulle, sont déterminées par la condition

En vertu de l'homogénéité, le choix arbitraire de e est indifférent. Je prendrai donc

(47) e = 2c, e' ~ ^i — c, e" == — gi — c,

pour le cas de l'égalité (20), ou, en d'autres termes, pour la forme (2, 1, 12); puis, en permutant les accents comme il a été expliqué et comme le rappellent les égalités (35) et (37), on aura

(48) e'i~2Ci, e'^ — gt — C], ^1= — 9^ — Cl,

dans le cas de l'égalité (34), correspondant à la forme (4, 1,6); puis enfin

pour le cas de l'égalité (36), correspondant à la forme (4, — 1,6). Ces permutations des accents se rapportent seulement à la désignation arbitrairement uniforme des périodes dans les trois cas. Elle disparaît dans l'expression des invariants, que voici :

A -'^i - 27^1 == --^ 26.3Hc2+ 32)2;

Je vais, dès maintenant, fixer le signe de la partie imaginaire dans 9. On verra, plus loin, un moyen purement algébrique pour cet objet. Quant à présent, je vais employer les séries 2?, formées

uniformément avec la quantité q =^ e ^ .En posant donc j'aurai, pour chacun des trois cas [(20), (34), (36)],

iT. iTi iT.

g=e~~^'q^ qi^e~~q, q^=.e'^'^q.

Prenons la formule (où les fonctions 2r ont l'argument zéro)

pour l'un ou l'autre des deux derniers cas. Comme Q est inférieur à c""'^ = 0,04..., les signes de la partie réelle et de la partie imaginaire sont définis par le terme 2'' g du second membre

ei— e.

2^e ^ Q+... = 23/2(1 — OQ -+-••. •

Il n'y a aucune utilité à considérer l'égalité analogue avec les indices 2; elle fournirait, de part et d'autre, les quantités conjuguées des précédentes.

Suivant les expressions (48)? i^ vient, en supposant c, = a ^- i^S,

d'où résulte que p est positif. Mais, d'après (4^)) on a

Gomme (^ — h) est positif (4^), il faut effectivement choisir 8, ainsi que je l'ai fait plus haut.

Transformations du troisième ordre.

Nous possédons, dès à présent, la pleine connaissance de tous les éléments pour les trois fonctions elliptiques singulières; car les six quantités a, Z>, a^^ b^^ ^2, ^2 sont explicitement fournies par les équations (3o) et (3i a). Nous pouvons en déduire six autres, jouant le rôle analogue à l'égard du multiplicateur conjugué. Gomme on le voit par les équations générales (3) et (12), où l'on prendra A" = — |, A'=7, ces quantités sont les suivantes

,, to -i- w' ,, œi-h2(o'i ,, /o)'., \

b=p 3 y ^i = Pi 3 -^ ^2 = P2f Y "^"^7,

et les a ont les arguments doubles. Les formules ci-dessus mon- III. I 2

trent suffisamment que le changement du signe de i change a et b en a' et b\ a^ et b^ en à., et b\^ a^ et b^ en a^ et b\ .

Les six quantités 6, Z>', b^^ b\^ Z>o, 6^ servent de base à des transformations du sixième ordre, deux pour chaque fonction elliptique, et ces transformations changent la fonction en ellemême.

Les quantités a^ a', ... peuvent servir de base à des transformations du troisième ordre. Ces dernières échangent les fonctions les unes dans les autres, comme je vais le montrer.

Désignant par p un facteur inconnu, posons

pco'=3to2, pw = — 0)2.

Les relations (11)

= iy/aS

se changent en les suivantes

d'où l'on voit que le facteur p peut être choisi effectivement de manière à attribuer la même signification que précédemment aux. lettres W2 et w!,. J'ai ici une transformation de troisième ordre, qui se figure par la relation

En prenant successivement u = w', co, co'^, j'obtiens

p2e2 = e + apf w ^ 1 —2a,

p24 =e"H-2p^tO— yj 2«,

et l'on remarquera, en passant, que, par addition de ces trois égalités, se prouve, derechef, la relation {2ga). De là, suivant les

égalités (3o) et (3i), je conclus

p2e2 = e' — iK——\z-e", p2 e\ = 3 e

ia

ie

— e')ie

et cette dernière, comme on l'a vu plus haut, se change ainsi

,, , ,; , „ ie — e"^^ . a-\- b -^e'-^ik p2(e,— e,) = e — e -^ 1 — — -. -, = (e — e ) ^ ;

Remettant, pour A, son expression (3i), j'ai enfin

e, e"{a-\-b -\-ie' -\-\z^e") e'2 — 62 2(e — e")(<2 -h 6 -t- e')

C'est là une formule qui donne la quantité Co en fonction rationnelle de c, avec adjonction de £, hien entendu. Disons, pour abréger, que nous avons trouvé Co = ^(c).

Par un calcul tout pareil, en posant successivement

pl^i -

= 3aj,

: Co'j -h 2C0i,

f-Wi,

on trouve aussi c = cp(c4), <?< = ^(^2)- En changeant le signe de i, on aurait les analogues

Ces formules traduisent le caractère ahéllen, qui appartient, comme on le sait, à toutes les équations dont dépendent les fonctions elliptiques à multiplication complexe. Elles donnent la raison a priori de ce fait que le discriminant de l'équation est un carré, sauf le facteur — 23.

Transformations du second ordre.

Je vais maintenant examiner, pour une quelconque des trois fonctions singulières, les trois transformations du second ordre :

l8o TROISIÈME PARTIE.

de ces transformations, il j en a deux qui échangent les fonctions précédentes, tandis que l'autre transformation conduit à une fonction nouvelle, correspondant à V ordre proprement primitif. Les six transformations, qui échangent les fonctions précédentes, sont naUirellement inverses, deux à deux. Elles se distinguent, dans les formules ci-après, par l'emploi de la lettre a- pour les coefficients de proportionnalité, et cette lettre, avec ou sans accent, pourvue d'un même indice, se rapporte aux deux transformations inverses. Pour les trois autres transformations, le coefficient de proportionnalité est dénoté par la lettre t, et les éléments des nouvelles fonctions sont indiqués par des majuscules. Voici les formules :

; a2C0 = CO},

<3"2 tO

TO) —iQ.^