CHAPITRE XIII. — DfiYELOPPEMBNTS EN SÉRIES TRIGONOMÉTRIQUES
pressions des racines Cql •
(80) <fi"-y.,-^i=-.6y.^<-' ,
iw\* I Y?' pqP
t: J 3 Jmà i-h(iP
En prenant le terme suivant, ou bien en dérivant deux fois, puis faisant ^^ = o, on a encore, à cause de p" u = 6p'^u — \g2i
Combinées avec la première relation (78), ces dernières fournissent les développements de ej, e,, e,. On en déduit aussi les développements des rectangles e<, 62, . . . , car on a
Pour prendre encore le terme suivant, on doit observer les égalités ci-après :
On en conclut
'" -ym
ni
Ces dernières égalités, avec la seconde (78), donnent les développements des trois cubes ^J. On peut continuer et obtenir une infinité de développements analogues, sans qu'il paraisse exister de telles séries pour représenter toutes les puissances de e», e^^e^.
II y a lieu de faire une remarque sur les identités qui s'offrent ici. En ajoutant membre à membre les trois équations (8i) ou (82), on obtient de nouveaux développements de ^2 et ^j. Mais les identités qui proviennent de la comparaison avec les développements précédents, et celles qu'on aurait en poursuivant encore, sont toutes comprises dans celles-ci :
conséquence directe d'une formule déjà établie (VI, 53a), et qui se vérifie immédiatement par les développements (82, 34).
Pour pouvoir aisément retrouver ici les formules propres à la notation ancienne des fonctions elliptiques, on doit se souvenir que Ton a, dans cette notation,
Ci — e^ Cl — €3
Si donc on retranche membre à membre la première et la troisième égalité (79), on obtient
\t:/ \i — q 1-H7* I — */3 y jLd \ -^ { — q)P
Nous avons, d'autre part,
Par conséquent, de la seconde égalité (81) et de la première (78), nous concluons
\ T. / \ï-^7 l — q^ l-hq^ I JÊdl — i~q)P
C'est sous cette forme que ces développements et les analogues se trouvent dans les Fundamenla nova de Jacobi.
Sur chacune des formules que nous avons obtenues pour représenter les fonctions elliptiques, on peut répéter les mêmes opérations; de là bien des formes différentes pour le développement des invariants. Envisageons les premières égalités fournies par la formule (55), développement de l'inverse de du. Rappelonsnous que l'on a (IX, 22)
I u^ 1 ir