CHAPITKE XII. — DÉVELOPPEMENTS EN PRODUITS SIMPLES
démonstration n'est exigible pour la légitimité de cette opération. En effet, dans le Chapitre précédent, on a prouvé rigoureusement que cette opération, faite sur le produit à double indice, conduit aux développements de "C^u et J3^^ en série à double indice. En opérant sur ces derniers les mêmes groupements de termes qu'on vient de faire sur le produit d'où ils dérivent, on obtiendra pour résultat des séries qui dérixeront de même du produit transformé.
Cette observation s'applique aussi aux produits qui représentent les fonctions a'r<. Comme les développements dont il s'agit sont de peu d'usage et, déplus, se calculent sans aucune difficulté, il suffira de consigner ici, à titre de spécimen, une de leurs formes : les égalités suivantes sont déduites de la troisième équation (a^) et de la troisième (17).
c/'" sin — -a " - -^^ cot
2 to 2 (Ji 10 jimâ T. U
m I — 9,7'" cos — -+- q-'"-
' <7'«(i -i- q-"^) COS — - — iq'-'
sin2 — ■ /„ I
-u cos r- q-
<7" SI II —
^(u -hio ) = r, -. '- ■ — > >
to to .^ T. a
n I — 27" cos — -\-q-'^
^^'^' ^' q"(i -+- q'-'') ros — — iq'^"
/ ~ii \-'
I 1 — 2<7" cos ^ h q-" j
Expression de r^o) et des racines e-j, en séries simples.
Le calcul de 'ioU nous a conduit à l'égalité (6), qui, à cause de la valeur (i3) de a, s'écrit ainsi
4o4 PREMIÈRE PARTIE. — THÉORIE.
C'est encomposantlefacteur deu-, clans l'exponentielle qui m iilliplie do, que nous avons trouvé cette formule. En faisant le calcul direct pour les autres cj, nous trouverions de même trois autres égalités analogues. Mais, a posteriori, nous pouvons obtenir ces égalités et retrouver la précédente par le moyen des formules (3i) et (32). Dabord, par la seconde formule (3i), en nous rappelant
que (pu 7,) est nul avec 11, nous obtenons
(33) r,co == J, ''-^■^■'^(,l'g,py ' /^ = 1,2, 3, . . ., 00. Dans cette même formule ( 3i), si Ion fait u =-- co, on a
(34) r,uy=-e,o,^-^lTJ-i^J^^j-^^^, /> = 1, 2, 3, . . . ,-x.
Puis, llans la seconde formule (3^), supposons successivement {( := to et II = o, nous aurons deux relations analogues à (34); la première sera justement celle que nous avions obtenue d'abord directement :
Gomme ^i + Co-h e-^ est nul, il résulte de là l'identité
{ /? = 1, 2, 3, ...,cc.
En outre, si l'on retranche membre à membre les égalités (33), (34), (35), (36) deux à deux, on obtient de nouvelles expressions pour les six quantités e» et (ea — ep). Ces expressions, comparées à celles qu'on a déjà obtenues, donnent lieu à des identités dont nous reconnaîtrons l'importance dans les applications à la théorie des nombres.