# Annales de mathématiques pures et appliquées/Tome 13/Trigonométrie, article 5
## ANALISE TRANSCENDANTE.
### Essai sur la sommation d’une classe très-générale de séries ;

$2\operatorname {Cos} .t\operatorname {Cos} .u=\operatorname {Cos} .(t+u)+\operatorname {Cos} .(t-u)\,;$
d’où, en multipliant par $2\operatorname {Cos} .v,$
$4\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v=2\operatorname {Cos} .(t+u)\operatorname {Cos} .v+2\operatorname {Cos} .(t-u)\operatorname {Cos} .v.$
Mais si, dans la première équation, on change successivement $t$ en $t+u$ et en $t-u$, il viendra
${\begin{aligned}&2\operatorname {Cos} .(t+u)\operatorname {Cos} .v=\operatorname {Cos} .(t+u+v)+\operatorname {Cos} .(t+u-v),\\&2\operatorname {Cos} .(t-u)\operatorname {Cos} .v=\operatorname {Cos} .(t-u+v)+\operatorname {Cos} .(t-u-v)\,;\end{aligned}}$
ce qui donnera, en substituant dans la seconde équation,
${\begin{array}{r}4\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v=\operatorname {Cos} .(t+u+v)+\operatorname {Cos} .(t+u-v)\\+\operatorname {Cos} .(t-u+v)\\+\operatorname {Cos} .(t-u-v)\end{array}}$
En multipliant de nouveau celle-ci par $2\operatorname {Cos} .x,$ il viendra
$8\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\operatorname {Cos} .x=$
${\begin{array}{r}2\operatorname {Cos} .(t+u+v)\operatorname {Cos} .x+2\operatorname {Cos} .(t+u-v)\operatorname {Cos} .x\\+2\operatorname {Cos} .(t-u+v)\operatorname {Cos} .x\\+2\operatorname {Cos} .(t-u-v)\operatorname {Cos} .x\end{array}}$
mais, par la première équation,
${\begin{aligned}&2\operatorname {Cos} .(t+u+v)\operatorname {Cos} .x=\operatorname {Cos} .(t+u+v+x)+\operatorname {Cos} .(t+u+v-x),\\&2\operatorname {Cos} .(t+u-v)\operatorname {Cos} .x=\operatorname {Cos} .(t+u-v+x)+\operatorname {Cos} .(t+u-v-x),\\&2\operatorname {Cos} .(t-u+v)\operatorname {Cos} .x=\operatorname {Cos} .(t-u+v+x)+\operatorname {Cos} .(t-u+v-x),\\&2\operatorname {Cos} .(t-u-v)\operatorname {Cos} .x=\operatorname {Cos} .(t-u-v+x)+\operatorname {Cos} .(t-u-v-x)\,;\end{aligned}}$
substituant donc ces valeurs dans l’équation précédente, elle deviendra
$8\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\operatorname {Cos} .x=$
${\begin{array}{rl}\operatorname {Cos} .(t+u+v+x)&+\operatorname {Cos} .(t+u+v-x)+\operatorname {Cos} .(t+u-v-x)\\&+\operatorname {Cos} .(t-u-v-x)+\operatorname {Cos} .(t-u+v-x)\\&+\operatorname {Cos} .(t-u+v+x)+\operatorname {Cos} .(t-u-v+x)\\&+\operatorname {Cos} .(t-u-v-x)\end{array}}$
et on pourrait ainsi pousser le procédé si loin qu’on voudrait.
2. Si présentement on fait $s$ égal à $t+u$ dans la première, à $t+u+v$ dans la seconde, à $t+u+v+x$ dans la troisième, et qu’en outre on fasse $x=s$ dans l’équation $\operatorname {Cos} .t=\operatorname {Cos} .t,$ on aura
${\begin{array}{lr}{\text{Pour un arc,}}&\operatorname {Cos} .t=\operatorname {Cos} .s,\qquad \qquad \qquad \qquad \\{\text{Pour deux,}}&2\operatorname {Cos} .t\operatorname {Cos} .u=\operatorname {Cos} .s+{\frac {1}{2}}\operatorname {Cos} .(s-2t),\\&+{\frac {1}{2}}\operatorname {Cos} .(s-2u)\end{array}}$
${\begin{aligned}{\text{Pour trois,}}\;4\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v=\operatorname {Cos} .s&+\operatorname {Cos} .(s-2t),\\&+\operatorname {Cos} .(s-2u)\\&+\operatorname {Cos} .(s-2v)\end{aligned}}$
${\begin{aligned}{\text{Pour quatre,}}\;8\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\operatorname {Cos} .x&=\\\operatorname {Cos} .s+\operatorname {Cos} .(s-2t)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+u)\right]\\+\operatorname {Cos} .(s-2u)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+v)\right]\\+\operatorname {Cos} .(s-2v)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(u+v)\right]\\+\operatorname {Cos} .(s-2x)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+x)\right]\\&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(u+x)\right]\\&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(v+x)\right]\end{aligned}}$
et ainsi de suite.
3. Si, dans les résultats auxquels nous venons de parvenir, on change respectivement $t,u,v,x$ en ${\frac {1}{2}}\varpi -t,\ {\frac {1}{2}}\varpi -u,\ {\frac {1}{2}}\varpi -v,\ {\frac {1}{2}}\varpi -x\,;$ il viendra
${\begin{aligned}{\text{Pour un arc}},&\operatorname {Sin} .t=+\operatorname {Sin} .s,\\{\text{Pour deux,}}\;2\operatorname {Sin} .t\operatorname {Sin} .u=-\operatorname {Cos} .s&+{\frac {1}{2}}\operatorname {Cos} .(s-2t),\\&+{\frac {1}{2}}\operatorname {Cos} .(s-2u)\\{\text{Pour trois,}}\;4\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v=-\operatorname {Sin} .s&+\operatorname {Sin} .(s-2t),\\&+\operatorname {Sin} .(s-2u)\\&+\operatorname {Sin} .(s-2v)\end{aligned}}$
${\begin{aligned}{\text{Pour quatre,}}\;8\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\operatorname {Sin} .x&=\\{\frac {1}{2}}\operatorname {Cos} .s-\operatorname {Cos} .(s-2t)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+u)\right],\\-\operatorname {Cos} .(s-2u)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+v)\right]\\-\operatorname {Cos} .(s-2v)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(u+v)\right]\\-\operatorname {Cos} .(s-2x)&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(t+x)\right]\\&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(u+x)\right]\\&+{\frac {1}{2}}\operatorname {Cos} .\left[s-2(v+x)\right]\end{aligned}}$
et ainsi de suite.
4. Pour écrire ces formules sous une forme plus briève et pouvoir en généraliser l’expression, adoptons les notations que voici : $t,u,v,x,\ldots$ étant des quantités en nombre quelconque, et $\operatorname {F}$ la caractéristique d’une fonction quelconque ; nous poserons
${\begin{aligned}&\Sigma \operatorname {F} (t)=\operatorname {F} (t)+\operatorname {F} (u)+\operatorname {F} (v)+\operatorname {F} (x)+\ldots \\&\Sigma \operatorname {F} (t,u)=\operatorname {F} (t,u)+\operatorname {F} (t,v)+\operatorname {F} (u,v)+\operatorname {F} (t,x)+\operatorname {F} (u,x)+\operatorname {F} (v,x)+\ldots \\&\Sigma \operatorname {F} (t,u,v)=\operatorname {F} (t,u,v)+\operatorname {F} (t,u,x)+\operatorname {F} (t,v,x)+\operatorname {F} (u,v,x)+\ldots \end{aligned}}$
On voit d’après cela que, si les quantités $t,u,v,x,\ldots$ sont au nombre de $n,$
${\begin{array}{ll}\Sigma \operatorname {F} (t)&{\text{aura }}{\frac {n}{1}}{\text{ termes,}}\\\Sigma \operatorname {F} (t,u)&{\text{aura }}{\frac {n}{1}}.{\frac {n-1}{2}}{\text{ termes,}}\\\Sigma \operatorname {F} (t,u,v)&{\text{aura }}{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}{\text{ termes,}}\\\Sigma \operatorname {F} (t,u,v,x)&{\text{aura }}{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}.{\frac {n-3}{4}}{\text{ termes,}}\end{array}}$
On voit assez, d’après cela, ce que signifieront
${\begin{aligned}&\Sigma \operatorname {Sin} .(s-2t),\,\quad \Sigma \operatorname {Sin} .\left[s-2(t+u)\right],\,\quad \Sigma \operatorname {Sin} .\left[s-2(t+u+v)\right],\ldots \\&\Sigma \operatorname {Cos} .(s-2t),\quad \Sigma \operatorname {Cos} .\left[s-2(t+u)\right],\quad \Sigma \operatorname {Cos} .\left[s-2(t+u+v)\right],\ldots \end{aligned}}$
et toutes les autres expressions analogues.
5. Au moyen de ces notations, les résultats auxquels nous sommes parvenus ci-dessus (2, 3) pourront être écrits comme il suit :
$\quad \operatorname {Cos} .t=\operatorname {Cos} .s,$
$\ \ \quad 2\operatorname {Cos} .t\operatorname {Cos} .u=\operatorname {Cos} .s+{\tfrac {1}{2}}\Sigma \operatorname {Cos} .[s-2t],$
$\ \ \quad 4\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v=\operatorname {Cos} .s+\Sigma \operatorname {Cos} .[s-2t],$
$\quad 8\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\operatorname {Cos} .x=$
$\operatorname {Cos} .s+\Sigma \operatorname {Cos} .[s-2t]+{\tfrac {1}{2}}\Sigma \operatorname {Cos} .\left[s-2(t+u)\right].$
$\quad \operatorname {Sin} .t=+\operatorname {Sin} .s,$
$\ \ \quad 2\operatorname {Sin} .t\operatorname {Sin} .u=-\operatorname {Cos} .s+{\tfrac {1}{2}}\Sigma \operatorname {Cos} .[s-2t],$
$\ \ \quad 4\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v=-\operatorname {Sin} .s+\Sigma \operatorname {Sin} .[s-2t],$
$\quad 8\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\operatorname {Sin} .x=$
$+\operatorname {Cos} .s-\Sigma \operatorname {Cos} .[s-2t]+{\tfrac {1}{2}}\Sigma \operatorname {Cos} .\left[s-2(t+u)\right].$
6. La loi de ces divers résultats devenant ainsi manifeste, nous pourrons, en la généralisant, parvenir aux trois lemmes que voici :
$t,u,v,x,\ldots$ étant des arcs en nombre quelconque $n$, et leur somme $s$,
On a, quel que soit $n,$
$2^{n-1}\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\operatorname {Cos} .x\ldots =\operatorname {Cos} .s+\Sigma \operatorname {Cos} .[s-2t]$
$+\Sigma \operatorname {Cos} .\left[s-2(t+u)\right]+\Sigma \operatorname {Cos} .\left[s-2(t+u+v)\right]+\ldots$
la suite devant être poussée à autant de termes qu’on pourra le faire, sans que le nombre des arcs $t,u,v,\ldots$ dont le double de la somme se trouve retranché à $s,$ excède la moitié du nombre $n,$ et le dernier terme devant être réduit à sa moitié, lorsque $n$ est un nombre pair.
Lorsque $n$ est un nombre pair, on a
$\pm 2^{n-1}\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\operatorname {Sin} .x\ldots =\operatorname {Cos} .s-\Sigma \operatorname {Cos} .[s-2t]$
$+\Sigma \operatorname {Cos} .\left[s-2(t+u)\right]-\Sigma \operatorname {Cos} .\left[s-2(t+u+v)\right]+\ldots$
le signe supérieur ou le signe inférieur devant être pris, suivant que $n$ est de la forme $4i$ ou de la forme $4i+2,$ la série devant s’arrêter au terme dans lequel le nombre des arcs $t,u,v,\ldots$ dont le double de la somme est retranché à $s,$ sera précisément égal à la moitié de $n,$ et ce dernier terme devant être réduit à sa moitié seulement.
Lorsque $n$ est un nombre impair ; on a
$\pm 2^{n-1}\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\operatorname {Sin} .x\ldots =\operatorname {Sin} .s-\Sigma \operatorname {Sin} .[s-2t]$
$+\Sigma \operatorname {Sin} .\left[s-2(t+u)\right]-\Sigma \operatorname {Sin} .\left[s-2(t+u+v)\right]+\ldots$
le signe supérieur ou le signe inférieur devant être pris suivant que $n$ est de la forme $4i+1$ ou $4i+3,$ et la série devant être poussée à autant de termes qu’on pourra le faire sans que le nombre des arcs $t,u,v,\ldots ,$ dont le double de la somme se trouve retranché à $s,$ excède la moitié du nombre $n.$
7. Si présentement nous supposons tous les arcs $t,u,v,\ldots$ égaux entre eux et au premier, ce qui donnera $s=nt,$ nous déduirons, comme corollaires de ces trois lemmes, les formules connues que voici :
On a, quel que soit le nombre entier positif $n,$
$2^{n-1}.\operatorname {Cos} .^{n}t=\operatorname {Cos} .nt+{\frac {n}{1}}\operatorname {Cos} .(n-2)t+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {Cos} .(n-4)t$
$+{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}\operatorname {Cos} .(n-6)t+\ldots$
série qu’il faudra pousser aussi loin qu’on pourra le faire, sans admettre d’arcs négatifs, et où il ne faudra prendre seulement que la moitié du dernier terme, si $n$ est un nombre pair.
Lorsque $n$ est un nombre pair, on a
$\pm 2^{n-1}.\operatorname {Sin} .^{n}t=\operatorname {Cos} .nt-{\frac {n}{1}}\operatorname {Cos} .(n-2)t+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {Cos} .(n-4)t$
$-{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}\operatorname {Cos} .(n-6)t+\ldots$
le signe supérieur ou le signe inférieur devant être pris, suivant que $n$ sera de la forme $4i$ ou de la forme $4i+2,$ et la série devant être poussée aussi loin qu’on pourra le faire sans y admettre d’arcs négatifs, en réduisant son dernier terme à sa moitié seulement.
Lorsque $n$ est un nombre impair, on a
$\pm 2^{n-1}.\operatorname {Sin} .^{n}t=\operatorname {Sin} .nt-{\frac {n}{1}}\operatorname {Sin} .(n-2)t+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {Sin} .(n-4)t$
$-{\frac {n}{1}}.{\frac {n-1}{2}}.{\frac {n-2}{3}}\operatorname {Sin} .(n-6)t+\ldots$
le signe supérieur ou le signe inférieur devant être pris suivant que $n$ sera de la forme $4i+1$ ou de la forme $4i+3,$ et la série devant être poussée aussi loin qu’on pourra le faire sans y admettre d’arcs négatifs.
8. Soit
$\operatorname {f} [a]=A_{1}a+A_{2}a^{2}+A_{3}a^{3}+A_{4}a^{4}+\ldots$
une série infinie que l’on sache sommer, et dans laquelle $A_{1},A_{2},A_{3},\ldots$ sont des coefficiens numériques ; on aura les deux remarques suivantes :
La somme finie de la série infinie
$A_{1}a\operatorname {Cos} .t+A_{2}a^{2}\operatorname {Cos} .2t+A_{3}a^{3}\operatorname {Cos} .3t+A_{4}a^{4}\operatorname {Cos} .4t+\ldots$
est
${\frac {\operatorname {f} \left[a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right]+\operatorname {f} \left[a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right]}{2}}$
La somme de la série infinie
$A_{1}a\operatorname {Sin} .t+A_{2}a^{2}\operatorname {Sin} .2t+A_{3}a^{3}\operatorname {Sin} .3t+A_{4}a^{4}\operatorname {Sin} .4t+\ldots$
est
${\frac {\operatorname {f} \left[a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right]-\operatorname {f} \left[a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right]}{2{\sqrt {-1}}}}$
En effet, 1.$^o$ suivant la définition de $\operatorname {f} [a],$ les sommes des deux séries
$A_{1}a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)+A_{2}a^{2}\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)^{2}$
$+A_{3}a^{3}\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)^{3}+\ldots$
$A_{1}a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)+A_{2}a^{2}\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)^{2}$
$+A_{3}a^{3}\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)^{3}+\ldots$
ou de leurs équivalentes
$A_{1}a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)+A_{2}a^{2}\left(\operatorname {Cos} .2t+{\sqrt {-1}}\operatorname {Sin} .2t\right)$
$+A_{3}a^{3}\left(\operatorname {Cos} .3t+{\sqrt {-1}}\operatorname {Sin} .3t\right)+\ldots$
$A_{1}a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)+A_{2}a^{2}\left(\operatorname {Cos} .2t-{\sqrt {-1}}\operatorname {Sin} .2t\right)$
$+A_{3}a^{3}\left(\operatorname {Cos} .3t-{\sqrt {-1}}\operatorname {Sin} .3t\right)+\ldots$
sont respectivement
$\operatorname {f} \left[a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right],\qquad \operatorname {f} \left[a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right],$
donc la demi-somme de ces deux séries et le quotient de leur demi-différence par ${\sqrt {-1}},$ lesquelles ne sont autre chose que les deux séries proposées, doivent avoir respectivement pour sommes la demi-somme de leurs sommes respectives et le quotient de la demi-différence de ces mêmes sommes par ${\sqrt {-1}},$ ainsi que nous l’avons annoncé.
9. Soient respectivement $\operatorname {F} [t],\operatorname {F} '[t]$ les fonctions auxquelles se réduisent
${\operatorname {f} \left[a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right]+\operatorname {f} \left[a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right]},$
${\frac {\operatorname {f} \left[a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right]-\operatorname {f} \left[a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right]}{\sqrt {-1}}},$
lorsqu’on les a débarrassées des imaginaires qu’elles contiennent, on aura les théorèmes suivans :
La somme de la série infinie
$A_{1}a\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\ldots +A_{2}a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v\ldots$
$+A_{3}a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v\ldots +\ldots$
dans laquelle on suppose les arcs $t,u,v,\ldots$ au nombre de $n$ et leur somme $s,$ a pour expression finie
${\frac {1}{2^{n}}}\left\{\operatorname {F} [s]+\Sigma \operatorname {F} [s-2t]+\Sigma \operatorname {F} \left[s-2(t+u)\right]+\Sigma \operatorname {F} \left[s-2(t+u+v)\right]+\ldots \right\}$
en observant, par rapport à la limitation de cette série, ce qui a déjà été dit (Lemme I).
Si $n$ est un nombre pair, la somme de la série infinie
$A_{1}a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots +A_{2}a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots$
$+A_{3}a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots +\ldots$
a pour expression finie
$\pm {\frac {1}{2^{n}}}\left\{\operatorname {F} [s]-\Sigma \operatorname {F} [s-2t]+\Sigma \operatorname {F} \left[s-2(t+u)\right]-\Sigma \operatorname {F} \left[s-2(t+u+v)\right]+\ldots \right\}\,;$
en observant, pour le signe et la limitation de cette série, ce qui a été prescrit (Lemme II).
Si $n$ est un nombre impair, la somme de la série infinie
$A_{1}a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots +A_{2}a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots$
$+A_{3}a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots +\ldots$
a pour expression finie
$\pm {\frac {1}{2^{n}}}\left\{\operatorname {F} '[s]-\Sigma \operatorname {F} '[s-2t]+\Sigma \operatorname {F} '\left[s-2(t+u)\right]-\Sigma \operatorname {F} '\left[s-2(t+u+v)\right]+\ldots \right\}\,;$
en observant, pour le signe et la limitation de cette série, ce a été dit (Lemme III).
Il nous suffira de démontrer le premier de ces deux théorèmes pour faire voir de quelle manière doivent se démontrer les deux qui le suivent.
Par le Lemme I, on a successivement
${\begin{array}{l}2^{n-1}\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\ldots =\\\quad \qquad \qquad \operatorname {Cos} .s+\Sigma \operatorname {Cos} .[s-2t]+\Sigma \operatorname {Cos} .\left[s-2(t+u)\right]+\ldots \\2^{n-1}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v\ldots =\\\quad \qquad \qquad \operatorname {Cos} .2s+\Sigma \operatorname {Cos} .2[s-2t]+\Sigma \operatorname {Cos} .2\left[s-2(t+u)\right]+\ldots \\2^{n-1}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v\ldots =\\\quad \qquad \qquad \operatorname {Cos} .3s+\Sigma \operatorname {Cos} .3[s-2t]+\Sigma \operatorname {Cos} .3\left[s-2(t+u)\right]+\ldots \end{array}}$
En prenant la somme des produits respectifs ds ces équations par $2A_{1}a,2A_{2}a^{2},2A_{3}a^{3},\ldots ,$ la somme des premiers membres sera la suite infinie proposée multipliée par $2^{n}\,;$ quant à la somme des seconds membres elle sera composée de cette suite de séries infinies que voici :
${\begin{aligned}&\qquad 2\left(A_{1}a\operatorname {Cos} .s+A_{2}a^{2}\operatorname {Cos} .2s+A_{3}a^{3}\operatorname {Cos} .3s+\ldots \right)\\&+2\Sigma \left\{A_{1}a\operatorname {Cos} .[s-2t]+A_{2}a^{2}\operatorname {Cos} .2[s-2t]+A_{3}a^{3}\operatorname {Cos} .3[s-2t]+\ldots \right\}\\&+2\Sigma \left\{A_{1}a\operatorname {Cos} .[s-2(t+u)]+A_{2}a^{2}\operatorname {Cos} .2[s-2(t+u)]\right.\\&\left.\quad \qquad \qquad \qquad \qquad \qquad \qquad +A_{3}a^{3}\operatorname {Cos} .3[s-2(t+u)]+\ldots \right\}\end{aligned}}$
Or, d’après la définition de la fonction $\operatorname {F}$ et la Remarque I, la somme de la première série est ${\frac {\operatorname {F} (s)}{2}}$ et les sommes des autres séries, sous le signe $\Sigma ,$ sont successivement
${\frac {\operatorname {F} [s-2t]}{2}},\qquad {\frac {\operatorname {F} \left[s-2(t+u)\right]}{2}},\ldots$
en les ajoutant donc et divisant ensuite par $2^{n},$ on obtiendra la somme annoncée de la série proposée.
On démontrera les deux autres théorèmes, à l’aide des Lemmes II et III, comme nous avons démontré celui-là à l’aide du Lemme I.
10. En supposant, dans nos trois théorèmes, que les arcs $t,u,v,\ldots$ deviennent égaux entre eux et au premier, ce qui donne $s=nt,$ on en conclut les trois corollaires que voici :
Quel que soit le nombre entier positif $n,$ la somme de la série infinie
$A_{1}a\operatorname {Cos} .^{n}t+A_{2}a^{2}\operatorname {Cos} .^{n}2t+A_{3}a^{3}\operatorname {Cos} .^{n}3t+\ldots$
a pour expression finie
${\frac {1}{2^{n}}}\left\{\operatorname {F} [nt]+{\frac {n}{1}}\operatorname {F} [(n-2)t]+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {F} [(n-4)t]+\ldots \right\}\,;$
en observant les limitations prescrites (7, Corollaire I).
Si $n$ est un nombre pair, la somme de la série infinie
$A_{1}a\operatorname {Sin} .^{n}t+A_{2}a^{2}\operatorname {Sin} .^{n}2t+A_{3}a^{3}\operatorname {Sin} .^{n}3t+\ldots$
a pour expression finie
$\pm {\frac {1}{2^{n}}}\left\{\operatorname {F} [nt]-{\frac {n}{1}}\operatorname {F} [(n-2)t]+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {F} [(n-4)t]-\ldots \right\}$
en observant, pour le choix du signe et pour le nombre des termes, ce qui a été prescrit (7, Corollaire II).
Si $n$ est un nombre impair, la somme de la série infinie
$A_{1}a\operatorname {Sin} .^{n}t+A_{2}a^{2}\operatorname {Sin} .^{n}2t+A_{3}a^{3}\operatorname {Sin} .^{n}3t+A_{4}a^{4}\operatorname {Sin} .^{n}4t+\ldots$
a pour expression finie
$\pm {\frac {1}{2^{n}}}\left\{\operatorname {F} '[nt]-{\frac {n}{1}}\operatorname {F} '[(n-2)t]+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {F} '[(n-4)t]-\ldots \right\}\,;$
en observant, pour le choix du signe et le nombre des termes du développement, ce qui a été prescrit (7, Corollaire III).
11. Comme toutes les séries que nous avons considérées (8, 9, 10) sont dépourvues de leur premier terme, il faudra avoir soin, lorsque le contraire arrivera, d’ajouter ce premier terme à la somme donnée par ce qui précède
12. On sait que
$e^{a}=1+{\frac {a}{1}}+{\frac {a^{2}}{1.2}}+{\frac {a^{3}}{1.2.3}}+{\frac {a^{4}}{1.2.3.4}}+\ldots \,;$
d’où
$e^{a}-1={\frac {a}{1}}+{\frac {a^{2}}{1.2}}+{\frac {a^{3}}{1.2.3}}+{\frac {a^{4}}{1.2.3.4}}+\ldots \,;$
de sorte qu’on a ici
$\operatorname {f} [a]=e^{a}-1\,;$
donc, 1.$^o$ la somme de la série
${\frac {a\operatorname {Cos} .t}{1}}+{\frac {a^{2}\operatorname {Cos} .2t}{1.2}}+{\frac {a^{3}\operatorname {Cos} .3t}{1.2.3}}+{\frac {a^{4}\operatorname {Cos} .4t}{1.2.3.4}}+\ldots$
sera (Remarque I.)
${\frac {\left\{e^{a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)}-1\right\}+\left\{e^{a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)}-1\right\}}{2}}$
ou bien
$e^{a\operatorname {Cos} .t}.{\frac {e^{+{\sqrt {-1}}a\operatorname {Sin} .t}+e^{-{\sqrt {-1}}a\operatorname {Sin} .t}}{2}}=e^{a\operatorname {Cos} .t}.\operatorname {Cos} .(a\operatorname {Sin} .t)-1.$
de sorte qu’en ajoutant $1$ de part et d’autre, on a
$e^{a\operatorname {Cos} .t}.\operatorname {Cos} .(a\operatorname {Sin} .t)=$
$1+{\frac {a\operatorname {Cos} .t}{1}}+{\frac {a^{2}\operatorname {Cos} .2t}{1.2}}+{\frac {a^{3}\operatorname {Cos} .3t}{1.2.3}}+{\frac {a^{4}\operatorname {Cos} .4t}{1.2.3.4}}+\ldots$
2.$^o$ La somme de la série
${\frac {a\operatorname {Sin} .t}{1}}+{\frac {a^{2}\operatorname {Sin} .2t}{1.2}}+{\frac {a^{3}\operatorname {Sin} .3t}{1.2.3}}+{\frac {a^{4}\operatorname {Sin} .4t}{1.2.3.4}}+\ldots$
sera (Remarque II)
${\frac {\left\{e^{a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)}-1\right\}-\left\{e^{a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)}-1\right\}}{2{\sqrt {-1}}}}$
ou bien
$e^{a\operatorname {Cos} .t}.{\frac {e^{+{\sqrt {-1}}a\operatorname {Sin} .t}-e^{-{\sqrt {-1}}a\operatorname {Sin} .t}}{2{\sqrt {-1}}}}=e^{a\operatorname {Cos} .t}.\operatorname {Sin} .(a\operatorname {Sin} .t)$
de sorte qu’on aura
$e^{a\operatorname {Cos} .t}.\operatorname {Sin} .(a\operatorname {Sin} .t)={\tfrac {a\operatorname {Sin} .t}{1}}+{\tfrac {a^{2}\operatorname {Sin} .2t}{1.2}}+{\tfrac {a^{3}\operatorname {Sin} .3t}{1.2.3}}+{\tfrac {a^{4}\operatorname {Sin} .4t}{1.2.3.4}}+\ldots$
13. D’après cela, on aura ici
$\operatorname {F} [t]=2\left\{e^{a\operatorname {Cos} .t}.\operatorname {Cos} .(a\operatorname {Sin} .t)-1\right\},\qquad \operatorname {F} '[t]=2e^{a\operatorname {Cos} .t}.\operatorname {Sin} .(a\operatorname {Sin} .t)\,;$
substituant donc ces valeurs dans les formules ci-dessus (9, 10), nous aurons, par le Théorème I, quel que soit $n,$
$1+{\frac {a\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\ldots }{1}}+{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v\ldots }{1.2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v\ldots }{1.2.3}}+\ldots$
$={\frac {1}{2^{n-1}}}\left\{e^{a\operatorname {Cos} .s}.\operatorname {Cos} .[a\operatorname {Sin} .s]+\Sigma e^{a\operatorname {Cos} .(s-2t)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(s-2t)\right]\right.$
$\left.+\Sigma e^{a\operatorname {Cos} .(s-2t-2u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(s-2t-2u)\right]+\ldots \right\$
par le Théorème II, pour $n$ pair,
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots }{1}}+{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots }{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots }{3}}+\ldots$
$=\pm {\frac {1}{2^{n-1}}}\left\{e^{a\operatorname {Cos} .s}.\operatorname {Cos} .[a\operatorname {Sin} .s]-\Sigma e^{a\operatorname {Cos} .(s-2t)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(s-2t)\right]\right.$
$\left.+\Sigma e^{a\operatorname {Cos} .(s-2t-2u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(s-2t-2u)\right]-\ldots \right\$
par le Théorème III, pour $n$ impair,
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots }{1}}+{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots }{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots }{3}}+\ldots$
$=\pm {\frac {1}{2^{n-1}}}\left\{e^{a\operatorname {Cos} .s}.\operatorname {Sin} .[a\operatorname {Sin} .s]-\Sigma e^{a\operatorname {Cos} .(s-2t)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(s-2t)\right]\right.$
$\left.+\Sigma e^{a\operatorname {Cos} .(s-2t-2u)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(s-2t-2u)\right]-\ldots \right\$
par le Corollaire I, quel que soit $n,$
$1+{\frac {a\operatorname {Cos} .^{n}t}{1}}+{\frac {a^{2}\operatorname {Cos} .^{n}2t}{1.2}}+{\frac {a^{3}\operatorname {Cos} .^{n}3t}{1.2.3}}+{\frac {a^{4}\operatorname {Cos} .^{n}4t}{1.2.3.4}}+\ldots$
$={\frac {1}{2^{n-1}}}\left\{e^{a\operatorname {Cos} .nt}.\operatorname {Cos} .[a\operatorname {Sin} .nt]+{\frac {n}{1}}e^{a\operatorname {Cos} .(n-2)t}.\operatorname {Cos} .\left[a\operatorname {Sin} .(n-2)t\right]\right.$
$\left.+{\frac {n}{1}}.{\frac {n-1}{2}}e^{a\operatorname {Cos} .(n-4)t}.\operatorname {Cos} .\left[a\operatorname {Sin} .(n-4)t\right]+\ldots \right\$
par le Corollaire II, pour $n$ pair,
${\frac {a\operatorname {Sin} .^{n}t}{1}}+{\frac {a^{2}\operatorname {Sin} .^{n}2t}{1.2}}+{\frac {a^{3}\operatorname {Sin} .^{n}3t}{1.2.3}}+{\frac {a^{4}\operatorname {Sin} .^{n}4t}{1.2.3.4}}+\ldots$
$\left.+{\frac {n}{1}}.{\frac {n-1}{2}}e^{a\operatorname {Cos} .(n-4)t}.\operatorname {Cos} .\left[a\operatorname {Sin} .(n-4)t\right]+\ldots \right\$
et par le Corollaire III, pour $n$ impair,
${\frac {a\operatorname {Sin} .^{n}t}{1}}+{\frac {a^{2}\operatorname {Sin} .^{n}2t}{1.2}}+{\frac {a^{3}\operatorname {Sin} .^{n}3t}{1.2.3}}+{\frac {a^{4}\operatorname {Sin} .^{n}4t}{1.2.3.4}}+\ldots$
$=\pm {\frac {1}{2^{n-1}}}\left\{e^{a\operatorname {Cos} .nt}.\operatorname {Sin} .[a\operatorname {Sin} .nt]-{\frac {n}{1}}e^{a\operatorname {Cos} .(n-2)t}.\operatorname {Sin} .\left[a\operatorname {Sin} .(n-2)t\right]\right.$
$\left.+{\frac {n}{1}}.{\frac {n-1}{2}}e^{a\operatorname {Cos} .(n-4)t}.\operatorname {Sin} .\left[a\operatorname {Sin} .(n-4)t\right]+\ldots \right\$
14. Si, par exemple, on suppose $n=2,$ les première, deuxième, quatrième et cinquième formules deviendront, en ayant toujours égard aux limitations prescrites pour les seconds membres,
$1+{\frac {a\operatorname {Cos} .t\operatorname {Cos} .u}{1}}+{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u}{1.2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u}{1.2.3}}+{\frac {a^{4}\operatorname {Cos} .4t\operatorname {Cos} .4u}{1.2.3.4}}+\ldots$
$=+{\tfrac {1}{2}}\left\{e^{a\operatorname {Cos} .(t+u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t+u)\right]+e^{a\operatorname {Cos} .(t-u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t-u)\right]\right\}.$
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u}{1}}+{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u}{1.2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u}{1.2.3}}+{\frac {a^{4}\operatorname {Sin} .4t\operatorname {Sin} .4u}{1.2.3.4}}+\ldots$
$=-{\tfrac {1}{2}}\left\{e^{a\operatorname {Cos} .(t+u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t+u)\right]-e^{a\operatorname {Cos} .(t-u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t-u)\right]\right\}.$
$1+{\frac {a\operatorname {Cos} .^{2}t}{1}}+{\frac {a^{2}\operatorname {Cos} .^{2}2t}{1.2}}+{\frac {a^{3}\operatorname {Cos} .^{2}3t}{1.2.3}}+\ldots =+{\frac {1}{2}}\left\{e^{a\operatorname {Cos} .2t}.\operatorname {Cos} .(a\operatorname {Sin} .2t)+e^{a}\right\}.$
${\frac {a\operatorname {Sin} .^{2}t}{1}}+{\frac {a^{2}\operatorname {Sin} .^{2}2t}{1.2}}+{\frac {a^{3}\operatorname {Sin} .^{2}3t}{1.2.3}}+\ldots =-{\frac {1}{2}}\left\{e^{a\operatorname {Cos} .2t}.\operatorname {Cos} .(a\operatorname {Sin} .2t)-e^{a}\right\}.$
Ces deux dernières formules avaient déjà été données par M. Stein, à la page 112 du présent volume.
15. Si l’on suppose $n=3,$ les première, troisième, quatrième et sixième formules deviendront
$1+{\frac {a\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v}{1}}+{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v}{1.2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v}{1.2.3}}+\ldots$
$=+{\frac {1}{4}}\left\{{\begin{aligned}&e^{a\operatorname {Cos} .(t+u+v)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t+u+v)\right]\\\\+&e^{a\operatorname {Cos} .(t+u-v)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(t+u-v)\right]\\\\+&e^{a\operatorname {Cos} .(u+v-t)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(u+v-t)\right]\\\\+&e^{a\operatorname {Cos} .(v+t-u)}.\operatorname {Cos} .\left[a\operatorname {Sin} .(v+t-u)\right]\end{aligned}}\right\}.$
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v}{1}}+{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v}{1.2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v}{1.2.3}}+\ldots$
$=-{\frac {1}{4}}\left\{{\begin{aligned}&e^{a\operatorname {Cos} .(t+u+v)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(t+u+v)\right]\\\\-&e^{a\operatorname {Cos} .(t+u-v)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(t+u-v)\right]\\\\-&e^{a\operatorname {Cos} .(u+v-t)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(u+v-t)\right]\\\\-&e^{a\operatorname {Cos} .(v+t-u)}.\operatorname {Sin} .\left[a\operatorname {Sin} .(v+t-u)\right]\end{aligned}}\right\}.$
$1+{\frac {a\operatorname {Cos} .^{3}t}{1}}+{\frac {a^{2}\operatorname {Cos} .^{3}2t}{1.2}}+{\frac {a^{3}\operatorname {Cos} .^{3}3t}{1.2.3}}+\ldots$
$=+{\frac {1}{4}}\left\{e^{a\operatorname {Cos} .3t}.\operatorname {Cos} .(a\operatorname {Sin} .3t)+3e^{a\operatorname {Cos} .t}.\operatorname {Cos} .(a\operatorname {Sin} .t)\right\}.$
${\frac {a\operatorname {Sin} .^{3}t}{1}}+{\frac {a^{2}\operatorname {Sin} .^{3}2t}{1.2}}+{\frac {a^{3}\operatorname {Sin} .^{3}3t}{1.2.3}}+\ldots$
$=-{\frac {1}{4}}\left\{e^{a\operatorname {Cos} .3t}.\operatorname {Sin} .(a\operatorname {Sin} .3t)-3e^{a\operatorname {Cos} .t}.\operatorname {Sin} .(a\operatorname {Sin} .t)\right\}.$
et ainsi de suite.
16. On sait qu’en faisant usage des logarithmes naturels on a
$\operatorname {Log} .(1+a)={\frac {a}{1}}-{\frac {a^{2}}{2}}+{\frac {a^{3}}{3}}-{\frac {a^{4}}{4}}+{\frac {a^{5}}{5}}-\ldots$
de sorte qu’ici
$\operatorname {f} [a]=\operatorname {Log} .(1+a)$
donc, 1.$^o$ la somme de la série
${\frac {a\operatorname {Cos} .t}{1}}-{\frac {a^{2}\operatorname {Cos} .2t}{2}}+{\frac {a^{3}\operatorname {Cos} .3t}{3}}-{\frac {a^{4}\operatorname {Cos} .4t}{4}}+\ldots$
sera (Remarque I)
${\frac {\operatorname {Log} .\left\{1+a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right\}+\operatorname {Log} .\left\{1+a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right\}}{2}},$
ou bien
${\frac {\operatorname {Log} .\left\{(1+a\operatorname {Cos} .t)+{\sqrt {-1}}a\operatorname {Sin} .t\right\}\left\{(1+a\operatorname {Cos} .t)-{\sqrt {-1}}a\operatorname {Sin} .t\right\}}{2}}$
$={\frac {\operatorname {Log} .\left\{(1+a\operatorname {Cos} .t)^{2}+a^{2}\operatorname {Sin} .^{2}t\right\}}{2}}$
ou enfin
${\frac {\operatorname {Log} .\left(1+2a\operatorname {Cos} .t+a^{2}\right)}{2}}=\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .t+a^{2}}}\,;$
2.$^o$ la somme de la série
${\frac {a\operatorname {Sin} .t}{1}}-{\frac {a^{2}\operatorname {Sin} .2t}{2}}+{\frac {a^{3}\operatorname {Sin} .3t}{3}}-{\frac {a^{4}\operatorname {Sin} .4t}{4}}+\ldots$
sera (Remarque II)
${\frac {\operatorname {Log} .\left\{1+a\left(\operatorname {Cos} .t+{\sqrt {-1}}\operatorname {Sin} .t\right)\right\}-\operatorname {Log} .\left\{1+a\left(\operatorname {Cos} .t-{\sqrt {-1}}\operatorname {Sin} .t\right)\right\}}{2{\sqrt {-1}}}},$
ou bien
${\frac {1}{2{\sqrt {-1}}}}\operatorname {Log} .{\frac {(1+a\operatorname {Cos} .t)+{\sqrt {-1}}a\operatorname {Sin} .t}{(1+a\operatorname {Cos} .t)-{\sqrt {-1}}a\operatorname {Sin} .t}}.$
En vertu de la formule connue
$\operatorname {Log} .{\frac {p}{q}}=2\left\{{\frac {p-q}{p+q}}+{\frac {1}{3}}\left({\frac {p-q}{p+q}}\right)^{3}+{\frac {1}{5}}\left({\frac {p-q}{p+q}}\right)^{5}+\ldots \right\},$
cette somme devient
${\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}-{\frac {1}{3}}\left({\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}\right)^{3}+{\frac {1}{5}}\left({\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}\right)^{5}-\ldots$
c’est-à-dire,
$\operatorname {Arc} .\left(\operatorname {Tang} .={\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}\right).$
17. D’après cela, on aura ici
$\operatorname {F} [t]=2\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .t+a^{2}}},\ \operatorname {F} '[t]=2\operatorname {Arc} .\left(\operatorname {Tang} .={\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}\right)\,;$
substituant donc ces valeurs dans les formules ci-dessus (9, 10), nous aurons, par le Théorème I, quel que soit $n$,
${\frac {a\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v\ldots }{1}}-{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v\ldots }{2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v\ldots }{3}}-\ldots$
$=+{\frac {1}{2^{n-1}}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .s+a^{2}}}+\Sigma \operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(s-2t)+a^{2}}}\right.$
$\left.+\Sigma \operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(s-2t-2u)+a^{2}}}+\ldots \right\$
par le Théorème II, pour $n$ pair,
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots }{1}}-{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots }{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots }{3}}-\ldots$
$=\pm {\frac {1}{2^{n-1}}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .s+a^{2}}}-\Sigma \operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(s-2t)+a^{2}}}\right.$
$\left.+\Sigma \operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(s-2t-2u)+a^{2}}}-\ldots \right\$
par le Théorème III, pour $n$ impair,
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v\ldots }{1}}-{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v\ldots }{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v\ldots }{3}}-\ldots$
$=\pm {\frac {1}{2^{n-1}}}\left\{\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .s}{1+a\operatorname {Cos} .s}}\right]-\Sigma \operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(s-2t)}{1+a\operatorname {Cos} .(s-2t)}}\right]\right.$
$\left.+\Sigma \operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(s-2t-2u)}{1+a\operatorname {Cos} .(s-2t-2u)}}\right]-\ldots \right\$
par le Corollaire I, quel que soit $n,$
${\frac {a\operatorname {Cos} .^{n}t}{1}}-{\frac {a^{2}\operatorname {Cos} .^{n}2t}{2}}+{\frac {a^{3}\operatorname {Cos} .^{n}3t}{3}}+{\frac {a^{4}\operatorname {Cos} .^{n}4t}{4}}+\ldots$
$=+{\frac {1}{2^{n-1}}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .nt+a^{2}}}+{\frac {n}{1}}\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(n-2)t+a^{2}}}\right.$
$\left.+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(n-4)t+a^{2}}}+\ldots \right\$
par le Corollaire II, pour $n$ pair,
${\frac {a\operatorname {Sin} .^{n}t}{1}}-{\frac {a^{2}\operatorname {Sin} .^{n}2t}{2}}+{\frac {a^{3}\operatorname {Sin} .^{n}3t}{3}}-{\frac {a^{4}\operatorname {Sin} .^{n}4t}{4}}+\ldots$
$=\pm {\frac {1}{2^{n}}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .nt+a^{2}}}-{\frac {n}{1}}\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(n-2)t+a^{2}}}\right.$
$\left.+{\frac {n}{1}}.{\frac {n-1}{2}}\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(n-4)t+a^{2}}}-\ldots \right\$
par le Corollaire III, pour $n$ impair,
${\frac {a\operatorname {Sin} .^{n}t}{1}}-{\frac {a^{2}\operatorname {Sin} .^{n}2t}{2}}+{\frac {a^{3}\operatorname {Sin} .^{n}3t}{3}}-{\frac {a^{4}\operatorname {Sin} .^{n}4t}{4}}+\ldots$
$=\pm {\frac {1}{2^{n}}}\left\{\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .nt}{1+a\operatorname {Cos} .nt}}\right]-{\frac {n}{1}}\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(n-1)t}{1+a\operatorname {Cos} .(n-1)t}}\right]+\ldots \right\}$
18. Si, par exemple, on suppose $n=2,$ les première, deuxième, quatrième et cinquième formules deviendront, en ayant toujours égard aux limitations prescrites pour les seconds membres,
${\frac {a\operatorname {Cos} .t\operatorname {Cos} .u}{1}}-{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u}{2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u}{3}}-\ldots$
$=+{\frac {1}{2}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t+u)+a^{2}}}+\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t-u)+a^{2}}}\right\}.$
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u}{1}}-{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u}{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u}{3}}-\ldots$
$=-{\frac {1}{2}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t+u)+a^{2}}}-\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t-u)+a^{2}}}\right\}.$
${\frac {a\operatorname {Cos} .^{2}t}{1}}-{\frac {a^{2}\operatorname {Cos} .^{2}2t}{2}}+{\frac {a^{3}\operatorname {Cos} .^{2}3t}{3}}-{\frac {a^{4}\operatorname {Cos} .^{2}4t}{4}}+\ldots$
$=+{\frac {1}{2}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .2t+a^{2}}}+\operatorname {Log} .(1+a)\right\}.$
${\frac {a\operatorname {Sin} .^{2}t}{1}}-{\frac {a^{2}\operatorname {Sin} .^{2}2t}{2}}+{\frac {a^{3}\operatorname {Sin} .^{2}3t}{3}}-{\frac {a^{4}\operatorname {Sin} .^{2}4t}{4}}+\ldots$
$=-{\frac {1}{2}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .2t+a^{2}}}-\operatorname {Log} .(1+a)\right\}.$
19. Si l’on suppose $n=3,$ les première, troisième, quatrième et sixième formules donneront
${\frac {a\operatorname {Cos} .t\operatorname {Cos} .u\operatorname {Cos} .v}{1}}-{\frac {a^{2}\operatorname {Cos} .2t\operatorname {Cos} .2u\operatorname {Cos} .2v}{2}}+{\frac {a^{3}\operatorname {Cos} .3t\operatorname {Cos} .3u\operatorname {Cos} .3v}{3}}-\ldots$
$=+{\frac {1}{4}}\left\{{\begin{aligned}&\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t+u+v)+a^{2}}}\\+&\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(t+u-v)+a^{2}}}\\+&\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(u+v-t)+a^{2}}}\\+&\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .(v+t-u)+a^{2}}}\end{aligned}}\right\}.$
${\frac {a\operatorname {Sin} .t\operatorname {Sin} .u\operatorname {Sin} .v}{1}}-{\frac {a^{2}\operatorname {Sin} .2t\operatorname {Sin} .2u\operatorname {Sin} .2v}{2}}+{\frac {a^{3}\operatorname {Sin} .3t\operatorname {Sin} .3u\operatorname {Sin} .3v}{3}}-\ldots$
$=-{\frac {1}{4}}\left\{{\begin{aligned}&\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(t+u+v)}{1+a\operatorname {Cos} .(t+u+v)}}\right]\\-&\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(t+u-v)}{1+a\operatorname {Cos} .(t+u-v)}}\right]\\-&\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(u+v-t)}{1+a\operatorname {Cos} .(u+v-t)}}\right]\\-&\operatorname {Arc} .\left[\operatorname {Tang} .={\frac {a\operatorname {Sin} .(v+t-u)}{1+a\operatorname {Cos} .(v+t-u)}}\right]\end{aligned}}\right\}.$
${\frac {a\operatorname {Cos} .^{3}t}{1}}-{\frac {a^{2}\operatorname {Cos} .^{3}2t}{2}}+{\frac {a^{3}\operatorname {Cos} .^{3}3t}{3}}-{\frac {a^{4}\operatorname {Cos} .^{4}4t}{4}}+\ldots$
$=+{\frac {1}{4}}\left\{\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .3t+a^{2}}}+3\operatorname {Log} .{\sqrt {1+2a\operatorname {Cos} .t+a^{2}}}\right\}.$
${\frac {a\operatorname {Sin} .^{3}t}{1}}-{\frac {a^{2}\operatorname {Sin} .^{3}2t}{2}}+{\frac {a^{3}\operatorname {Sin} .^{3}3t}{3}}-{\frac {a^{4}\operatorname {Sin} .^{4}4t}{4}}+\ldots$
$=-{\frac {1}{4}}\left\{\operatorname {Arc} .\left(\operatorname {Tang} .={\frac {a\operatorname {Sin} .3t}{1+a\operatorname {Cos} .3t}}\right)-3\operatorname {Arc} .\left(\operatorname {Tang} .={\frac {a\operatorname {Sin} .t}{1+a\operatorname {Cos} .t}}\right)\right\}.$
20. Nous ne pousserons pas plus loin, pour le moment, ces applications qui n’ont, comme l’on voit, rien de bien difficile, et qui conduisent à des résultats très-remarquables. Il nous suffisait d’établir les principes généraux et de montrer la marche du calcul. Mais, dans un supplément au présent mémoire, nous nous occuperons de la construction des formules générales servant à sommer les séries infinies de la forme
$A_{1}a\operatorname {Cos} .\alpha t\operatorname {Cos} .\beta u\operatorname {Cos} .\gamma v\ldots +A_{2}a^{2}\operatorname {Cos} .\alpha 2t\operatorname {Cos} .\beta 2u\operatorname {Cos} .\gamma 2v\ldots$
$+A_{3}a^{3}\operatorname {Cos} .\alpha 3t\operatorname {Cos} .\beta 3u\operatorname {Cos} .\gamma 3v\ldots +\ldots$
$A_{1}a\operatorname {Sin} .\alpha t\operatorname {Sin} .\beta u\operatorname {Sin} .\gamma v\ldots +A_{2}a^{2}\operatorname {Sin} .\alpha 2t\operatorname {Sin} .\beta 2u\operatorname {Sin} .\gamma 2v\ldots$
$+A_{3}a^{3}\operatorname {Sin} .\alpha 3t\operatorname {Sin} .\beta 3u\operatorname {Sin} .\gamma 3v\ldots +\ldots$
lorsqu’on sait sommer la série infinie
$A_{1}a+A_{2}a^{2}+A_{3}a^{3}+A_{4}a^{4}+A_{5}a^{5}+\ldots$
* ↑ Nous ne connaissions pas encore le Cours d’analise de M. Cauchy, où la première de ces deux séries se trouve sommée, lorsque nous en avons donné la somme, à la page 107 du présent volume.
* ↑ Presque en même temps que ce qu’on vient de lire nous est parvenu, nous avons reçu de M. Sturm de Genève, sur la sommation de diverses classes de séries, un travail qui, sans être aussi étendu que celui de M. Querret, offre néanmoins quelques résultats curieux, et que nous ferons prochainement connaître. J. D. G.