ANALISE TRANSCENDANTE.
Troisième mémoire sur les Facultés numériques.
[1]
Par M. Kramp, professeur, doyen de la faculté des
sciences de l’académie de Strasbourg.
≈≈≈≈≈≈≈≈≈
I. Dans le précédent mémoire, nous avons évalué le produit des facteurs
![{\displaystyle 1-{\frac {x^{2}}{a^{2}}},\quad 1-{\frac {x^{2}}{(a+r)^{2}}},\quad 1-{\frac {x^{2}}{(a+2r)^{2}}},\quad 1-{\frac {x^{2}}{(a+3r)^{2}}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/379f134b074ef23852fa9162b9484230deae724b)
continué jusqu’à l’infini ; et nous l’avons trouvé égal à
![{\displaystyle {\frac {{\mathcal {f}}!{\mathcal {f}}!}{\left({\mathcal {f}}+{\frac {x}{r}}\right)!\left({\mathcal {f}}-{\frac {x}{r}}\right)!}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d31388fdd417d4c12d2c0b04376df1357c443be2)
en faisant, pour abréger,
ce qui donne
Pour éviter les formes fractionnaires, soit
; nous aurons ainsi
![{\displaystyle \left\{1-{\frac {y^{2}}{h^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+1)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+2)^{2}}}\right\}\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8284fd00a78c51afa186784c46d4a93e8ff8338d)
![{\displaystyle ={\frac {(h-1)!(h-1)!}{\left(h-1+y\right)!\left(h-1-y\right)!}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7e2d101b511f4c28b0009611e1ae7e867eaae62)
le premier membre étant prolongé à l’infini.
2. Cette expression admet des réductions ultérieures. D’après le
théorème connu
on aura, dans le cas particulier de
![{\displaystyle (m+n)!=m!(1+m)^{n|1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aca44a35ca6179b479c001ac0d09c2adbdbc70ba)
ce qui donne
![{\displaystyle (h-1+y)!=(h-1)!h^{y|1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42567db72f6803ce04024f5849da97bd91f907f4)
![{\displaystyle (h-1-y)!=(h-1)!h^{-y|1}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21d8888f439b968b05dbff4cb38cfc6c8949ca95)
en conséquence, en désignant par
le produit infini qui nous occupe, nous aurons
![{\displaystyle P={\frac {(h-1)!(h-1)!}{\left(h-1+y\right)!\left(h-1-y\right)!}}={\frac {1}{h^{y|1}.h^{-y|1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3c7dddf46c1c3117fca00b37ec833c35e6f1a39)
3. Comme on a, par les formules connues,
![{\displaystyle h^{-y|1}={\frac {1}{\left(h-y\right)^{y|1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0feeac35053dad8f7ae7780a9c9d1190b8adb40d)
on pourra encore écrire
![{\displaystyle P={\frac {\left(h-y\right)^{y|1}}{h^{y|1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22a55b277fc87c10da7111047d1b99f03c0a6aaf)
Comme tous les facteurs du produit
ne renferment que les quarrés
de
il doit être permis d’y remplacer
par
, et réciproquement ; de sorte que les expressions
![{\displaystyle {\frac {\left(h-y\right)^{y|1}}{h^{y|1}}}{\text{ et }}{\frac {\left(h+y\right)^{-y|1}}{h^{-y|1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bedf061f55449870cc1b3b80905b4680044e3e7)
doivent être identiquement les mêmes. Elles le sont effectivement ;
et, en employant les réductions que nous avons enseignées, l’une
se transforme facilement dans l’autre.
4. Le théorème binomial est applicable aux factorielles[2]. On a
![{\displaystyle (A+B)^{n|r}=A^{n|r}+{\frac {n}{1}}A^{n-1|r}B+{\frac {n}{1}}.{\frac {n-1}{2}}A^{n-2|r}B^{2|r}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf072d0ee7332ee9987fad79d0cbd04280d5f1ac)
![{\displaystyle (A-B)^{n|r}=A^{n|r}-{\frac {n}{1}}A^{n-1|r}B+{\frac {n}{1}}.{\frac {n-1}{2}}A^{n-2|r}B^{2|r}-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/10c45c70011563827a57fab0215d20934f1e7bed)
Divisant la première égalité par
pour que le premier terme
de la série soit égal à l’unité, et se rappelant que
![{\displaystyle {\begin{aligned}A^{n-1|r}&={\frac {A^{n|r}}{A+nr-r}},\\A^{n-2|r}&={\frac {A^{n|r}}{(A+nr-2r)^{2|r}}},\\A^{n-3|r}&={\frac {A^{n|r}}{(A+nr-3r)^{3|r}}},\\\ldots &\ldots \ldots \ldots \ldots \ldots \,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2b078817280f2cf7ba6edf7925fbe345ecd17d0)
on la transformera en
![{\displaystyle {\frac {(A+B)^{n|r}}{A^{n|r}}}=1+{\frac {nB}{A+nr-r}}+{\frac {n(n-1)B^{2|r}}{1.2(A+nr-2r)^{2|r}}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3129aba9fb62d9b67638e037a9af74b1411b5af)
et, en appliquant cette formule aux deux expressions de
que nous venons de trouver ; savoir :
![{\displaystyle P={\frac {\left(h-y\right)^{y|1}}{h^{y|1}}}={\frac {\left(h+y\right)^{-y|1}}{h^{-y|1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3dd528f17fc49302212c56a37c18c070c254f60)
elles deviendront
![{\displaystyle P=1-{\frac {y^{2}}{h+y-1}}+{\frac {y^{2}(y-1)^{2}}{1.2(h+y-1)(h+y-2)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1179b8d866e900fbb9347e0ad71582387287fb24)
![{\displaystyle -{\frac {y^{2}(y-1)^{2}(y-2)^{2}}{1.2.3(h+y-1)(h+y-2)(h+y-3)}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f62e02b220efbc4c2751333b606360d2d193d24)
![{\displaystyle P=1-{\frac {y^{2}}{h-y-1}}+{\frac {y^{2}(y+1)^{2}}{1.2(h-y-1)(h-y-2)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16d15fb70cd81a0fdc191a310a34925aa175c31e)
![{\displaystyle -{\frac {y^{2}(y+1)^{2}(y+2)^{2}}{1.2.3(h-y-1)(h-y-2)(h-y-3)}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f3bb3eb2917dc5eaffcb2af0ff4082d69d16ff1)
Ces deux séries sont effectivement identiques entre elles ; sans que
leur forme, très-peu favorable, laisse entrevoir cette identité.
5. Pour remédier à cet inconvénient, reprenons le premier développement
![{\displaystyle {\frac {(A+B)^{n|r}}{A^{n|r}}}=1+{\frac {nB}{A+nr-r}}+{\frac {n(n-1)B^{2|r}}{1.2(A+nr-2r)^{2|r}}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3129aba9fb62d9b67638e037a9af74b1411b5af)
et faisons
ce qui donne
et
On aura ainsi
![{\displaystyle A^{n|r}=(a-nr+r)^{n|r}=a^{n|-r},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c4efcd0553c281b6e9e38039f7030fc8f3f55a8)
![{\displaystyle (A+B)^{n|r}=(a+B-nr+r)^{r|r}=(a+B)^{n|-r}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05fb01abab0e208d2b86de031b221dabc49ad6ae)
ce qui donne
![{\displaystyle {\frac {(a+B)^{n|-r}}{a^{n|-r}}}=1+{\frac {nB}{a}}+{\frac {n(n-1)B^{2|r}}{1.2a^{2|-r}}}+{\frac {n(n-1)(n-2)B^{3|r}}{1.2.3a^{3|-r}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f999bdf8a05f685e7f3104e65d5f47aadf9899b)
C’est là le premier des huit théorèmes qu’on trouve à la page 63
de mon Analise des réfractions. Il ne m’a pas paru nécessaire d’en
ajouter les démonstrations, lesquelles, comme on vient de voir, se
seraient réduites à quelques développemens de calculs fort simples.
6. Enfin, si, dans cette expression, on fait
et
on trouvera
![{\displaystyle P=\left\{1-{\frac {y^{2}}{h^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+1)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+2)^{2}}}\right\}\ldots ={\frac {\left(h-y\right)^{y|1}}{h^{y|1}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01afde4ef5587b4ae0847a4906ade6125e995494)
![{\displaystyle 1-{\frac {y^{2}}{h}}+{\frac {y^{2}(y^{2}-1)}{1.2h(h+1)}}-{\tfrac {y^{2}(y^{2}-1)(y^{2}-4)}{1.2.3h(h+1)(h+2)}}+{\tfrac {y^{2}(y^{2}-1)(y^{2}-4)(y^{2}-9)}{1.2.3.4h(h+1)(h+2)(h+3)}}-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/487c292d88d4796e51c0b06c6dc7ef32e2ed37dd)
Cette série, remarquable par sa forme, et qui a l’avantage précieux
de pouvoir être rendue convergente à volonté, dans tous les cas ;
ne renferme que les quarrés de
ce qui est exigé par la nature
du problème.
7. Indépendamment du calcul des factorielles, on peut y parvenir
immédiatement de la manière qui suit. Faisons
![{\displaystyle {\frac {\left(h-y\right)^{y|1}}{h^{y|1}}}=P=1-Ay^{2}+By^{2}(y^{2}-1)+Cy^{2}(y^{2}-1)(y^{2}-4)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2571127f1ed07602b5ffd7520523a7df539bcfc)
en posant successivement
on aura
![{\displaystyle {\begin{aligned}{\frac {(h-1)}{h}}&=1-A,\\{\frac {(h-2)(h-1)}{h(h+1)}}&=1-4A+12B,\\{\frac {(h-3)(h-2)(h-1)}{h(h+1)(h+2)}}&=1-9A+72B-360C,\\{\frac {(h-4)(h-3)(h-2)(h-1)}{h(h+1)(h+2)(h+3)}}&=1-16A+240B-s2880C+20160D,\\\ldots \ldots \ldots \ldots \ldots \ldots &\ldots \ldots \ldots \,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa5a5432e67dd889b6a9752ef3d35f31c90b6dd)
d’où, par un calcul très-facile, on déduit pour
les
mêmes valeurs que nous venons d’obtenir.
8. En multipliant cette même série par
il doit en résulter ce qu’elle devient en y remplaçant simplement la lettre
par
Pour faire cette multiplication, considérons que
peut être remplacé
![{\displaystyle {\begin{aligned}par\ 1+(y^{2}-1),&\\par\ 4+(y^{2}-4),&\\par\ 9+(y^{2}-9),&\\\ldots \ldots \ldots \,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4df5f0d8d6d7e912fc94457744028cdf4d982ab)
ce qui suffit pour rendre au produit sa forme primitive. Il deviendra
alors, avec cette attention,
![{\displaystyle 1-y^{2}\left\{{\frac {1}{h}}+{\frac {1}{(h-1)^{2}}}-{\frac {1}{h(h-1)^{2}}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc804d914cf3a8bc7d9e01cab6dbb6b9815c7061)
![{\displaystyle +{\frac {y^{2}(y^{2}-1)}{h}}\left\{{\frac {1}{2(h+1)}}+{\frac {1}{(h-1)^{2}}}-{\frac {2}{(h+1)(h-1)^{2}}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e936af69afacf1d586ad551ec8b30c4ce6f6a12a)
![{\displaystyle -{\frac {y^{2}(y^{2}-1)(y^{2}-4)}{2h(h+1)}}\left\{{\frac {1}{3(h+2)}}+{\frac {1}{(h-1)^{2}}}-{\frac {3}{(h+2)(h-1)^{2}}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0d44dc3b0104860a610820ba90568e54c0fc724)
![{\displaystyle +\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/335a40096ac4dc4a657b9bcb29cb9d51ebf5fb5e)
or,
![{\displaystyle {\frac {1}{h}}+{\frac {1}{(h-1)^{2}}}-{\frac {1}{h(h-1)^{2}}}={\frac {1}{h-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dc0ad2fca5ff3813bf48e43ed6cbd0f15bf211d)
![{\displaystyle {\frac {1}{2(h+1)}}+{\frac {1}{(h-1)^{2}}}-{\frac {2}{(h+1)(h-1)^{2}}}={\frac {1}{2(h-1)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5d2c95d9cc2618293ca745e8208764cd19490e6)
![{\displaystyle {\frac {1}{3(h+2)}}+{\frac {1}{(h-1)^{2}}}-{\frac {3}{(h+2)(h-1)^{2}}}={\frac {1}{3(h-1)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7b2f3ccee6dbe0e72dc579a487faa300e0fe4b0)
![{\displaystyle \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d69145a2692b9c626969ebcb0cef29436072710e)
ce produit sera donc, en effet,
![{\displaystyle 1-{\frac {y^{2}}{(h-1)}}+{\frac {y^{2}(y^{2}-1)}{2(h-1)h}}-{\frac {y^{2}(y^{2}-1)(y^{2}-4)}{2.3(h-1)h(h+1)}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c94bff19476e0a80b4c05b07781d2ff991d8505)
conformément à la nature du problème.
9. Il suit des résultats que nous venons d’obtenir, qu’en faisant
égal à un nombre entier quelconque, positif ou négatif, le produit
continué à l’infini, est toujours une quantité entièrement rationnelle, quel que soit
[3]. Il s’ensuit encore qu’en faisant
égal à
plus ou moins un nombre entier quelconque, la valeur de la série, développement de
est constamment zéro. Nous remarquerons encore que, lorsque
est un nombre entier quelconque, cette série est égale à
multiplié par quelque facteur entièrement rationnel ; et que, lorsque
est un nombre entier, plus la fraction
cette même série est toujours un multiple de
10. Effectivement, faisons, dans les théorèmes précédais,
; nous aurons, d’un côté
![{\displaystyle \left(1-{\frac {y^{2}}{1}}\right)\left(1-{\frac {y^{2}}{4}}\right)\left(1-{\frac {y^{2}}{9}}\right)\left(1-{\frac {y^{2}}{16}}\right)\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8cb9a70336d90749ff35f034327c06fb0471386)
produit que l’on sait être égal
, et de l’autre la série
![{\displaystyle 1-{\frac {y^{2}}{1}}+{\frac {y^{2}(y^{2}-1)}{1.4}}-{\frac {y^{2}(y^{2}-1)(y^{2}-4)}{1.4.9}}+{\tfrac {y^{2}(y^{2}-1)(y^{2}-4)(y^{2}-9)}{1.4.9.16}}-\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b78c23babd24e3b102a8a0e9619105d07760601a)
On peut aisément vérifier que cette série s’évanouit, en effet, pour toutes les valeurs entières de
Mais il importe de nous assurer, par un exemple, que cette série est effectivement applicable à toutes les valeurs fractionnaires de
; de plus, nous devons montrer que la série est convergente à volonté. Cherchons, en conséquence, d’après cette même série, le sinus de l’angle de 66.°36’, égal à
; ce qui donne
et
![{\displaystyle {\begin{aligned}y^{2}=+0,1369,&\qquad y^{2}-16=-15,1369,\\y^{2}-1=-0,8631,&\qquad y^{2}-25=-24,1369,\\y^{2}-4=-3,8631,&\qquad y^{2}-36=-35,1369,\\y^{2}-9=-8,8631,&\qquad \ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d13c121321fe544114aa6e0f3b69c896f2511220)
On aura de plus
![{\displaystyle {\begin{aligned}1-y^{2}=0,8691000,&\qquad 1-{\frac {y^{2}}{25}}=0,9945240,\\1-{\frac {y^{2}}{4}}=0,9657750,&\qquad 1-{\frac {y^{2}}{46}}=0,9961972,\\1-{\frac {y^{2}}{9}}=0,9847889,&\qquad 1-{\frac {y^{2}}{39}}=0,9972061,\\1-{\frac {y^{2}}{16}}=0,9914438,&\qquad 1-{\frac {y^{2}}{64}}=0,9978609\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e137bbe04e1598c0855d1fa5d50f01390c68472)
et par conséquent
![{\displaystyle \left.{\begin{aligned}\operatorname {Log} .\left(1-{\frac {y^{2}}{1}}\right)&=9.9360611,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{4}}\right)&=9.9848760,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{9}}\right)&=9.9933432,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{16}}\right)&=9.9962680,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{25}}\right)&=9.9976153,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{36}}\right)&=9.9983454,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{49}}\right)&=9.9987849,\\\operatorname {Log} .\left(1-{\frac {y^{2}}{64}}\right)&=9.9990700\,;\\\end{aligned}}\right\}{\begin{array}{ll}\operatorname {Somme} &=9.9043639,\\\operatorname {Log} .0,37&=9.5682017,\\\operatorname {Log} .\varpi &=0,4971499,\\\hline \operatorname {Somme} &=9.9697155.\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06c985753a21b732fe9cb582fc66cb63ff332c7b)
Ainsi, le logarithme du produit des facteurs de
jusqu’au facteur
inclusivement, est
Le produit des autres facteurs est
![{\displaystyle \left(1-{\frac {y^{2}}{81}}\right)\left(1-{\frac {y^{2}}{100}}\right)\left(1-{\frac {y^{2}}{121}}\right)\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dc21d68cc08c9a10c1f4a99c44de2b742df1954)
continué à l’infini ; c’est-à-dire, la série
![{\displaystyle 1-{\frac {y^{2}}{h}}+{\frac {y^{2}(y^{2}-1)}{2h(h-1)}}-{\frac {y^{2}(y^{2}-1)(y^{2}-4)}{2.3h(h+1)(h+2)}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/299ab13adaf6b149c4d91f6f63fa0aa8e81aedee)
en y faisant
et
;
or, en posant
![{\displaystyle {\begin{aligned}A={\frac {y^{2}}{h}}\qquad \qquad &,\qquad E=D.{\frac {\left(y^{2}-16\right)}{5(h+4)}},\\B=A.{\frac {\left(y^{2}-1\right)}{2(h+1)}}&,\qquad F=E.{\frac {\left(y^{2}-25\right)}{6(h+5)}},\\C=B.{\frac {\left(y^{2}-4\right)}{3(h+2)}}&,\qquad G=F.{\frac {\left(y^{2}-36\right)}{7(h+6)}},\\D=C.{\frac {\left(y^{2}-9\right)}{4(h+3)}}&,\qquad \ldots \ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/decae007835630e8032038375e59fc1a6d594f09)
cette série se réduit à
![{\displaystyle 1-A-B-C-D-E-F-G-\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1079b6e81ee83c8b020c77549dd2f506b0bd0271)
et l’on a
![{\displaystyle \left.{\begin{aligned}A&={\frac {0,1369}{1.9}}=0,0152111,\\B&={\frac {0,8631}{2.10}}A=0,0006564,\\C&={\frac {3,8631}{3.11}}B=0,0000768,\\D&={\frac {8,8631}{4.12}}C=0,0000142,\\E&={\frac {15,8631}{5.13}}D=0,0000035,\\F&={\frac {24,8631}{6.14}}E=0,0000010,\\G&={\frac {35,8631}{7.15}}F=0,0000003\,;\\\end{aligned}}\right\}\operatorname {Somme} =0,0159633.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01c6e9db3da887c63ced49a764f90a79ba45e2c8)
Ainsi le produit de tous les facteurs ultérieurs de la valeur de
est
dont le logarithme
ajouté au
logarithme déjà trouvé
donne
, pour le
logarithme de
exact à deux unités décimales du dernier
ordre près.
11. Faisant, dans la même série,
; on aura, d’un côté,
le produit
![{\displaystyle \left(1-{\frac {4y^{2}}{1}}\right)\left(1-{\frac {4y^{2}}{9}}\right)\left(1-{\frac {4y^{2}}{25}}\right)\left(1-{\frac {4y^{2}}{49}}\right)\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5582245131ad40b0322261811d4f3e6d071abb81)
que nous savons être égal à
. De l’autre, nous aurons la série
![{\displaystyle 1-{\frac {2y^{2}}{1}}+{\frac {4y^{2}\left(y^{2}-1\right)}{1.2.1.3}}-{\frac {8y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)}{1.2.3.1.3.5}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17489512b68a0c40cbeefaa8b0f62c2153d00052)
laquelle exprimera aussi conséquemment
, et sera effectivement applicable, dans tous les cas particuliers.
12. L’objet principal que nous nous proposons dans ce mémoire et dans ceux qui le suivront, c’est de décomposer toute suite infinie proposée
en facteurs de l’une ou de l’autre des deux formes
![{\displaystyle 1-{\frac {y^{2}}{h^{2}}},\qquad 1+{\frac {y^{2}}{h^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37e830e0358272d11220c520faef12301490ae54)
dans les cas où cette décomposition est effectivement possible. Ces cas sont beaucoup plus fréquens qu’on ne le suppose ordinairement ; les problèmes les plus difficiles et les plus importans de mécanique et d’astronomie, inaccessibles aux méthodes ordinaires, conduisent finalement à de pareilles séries, et se trouvent ainsi réductibles à nos facultés numériques. Dans cette vue, nous nous proposerons les problèmes préliminaires qui suivent :
13. Essayons de réduire le produit
![{\displaystyle y^{2}\left\{y^{2}-1\right\}\left\{y^{2}-4\right\}\left\{y^{2}-9\right\}\ldots \left\{y^{2}-(n-1)^{2}\right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82a5678b8fd4b05e7c4cfc3cd15e60b8cbef162b)
au langage des factorielles ; nous trouverons
![{\displaystyle y^{2}\left\{y^{2}-1\right\}\left\{y^{2}-4\right\}\left\{y^{2}-9\right\}\ldots \left\{y^{2}-(n-1)^{2}\right\}=y.(y-n+1)^{2n-1|1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96291ee5b266393019471edd54a4ee28a3a6b4bf)
Appliquant le théorème binomial à la factorielle
![{\displaystyle (y-n+1)^{2n-1|1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa3758b3891e12d544f483af4c844cb8be386cb)
elle deviendra
![{\displaystyle \left\{y-(n-1)\right\}^{2n-1|1}=y^{2n-1|1}-{\frac {2n-1}{1}}(n-1)y^{2n-2|1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e954a7d682967ae52a5547afb9ccbdacd3078bd)
![{\displaystyle +{\frac {2n-1}{1}}.{\frac {2n-2}{2}}(n-1)(n-2)y^{2n-3|1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be571a58f82f6959640f88915384256ae2afda3e)
![{\displaystyle -{\frac {2n-1}{1}}.{\frac {2n-2}{2}}.{\frac {2n-3}{3}}(n-1)(n-2)(n-3)y^{2n-4|1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a529c4578be06336d998a11b2b7e0294790c933f)
![{\displaystyle +\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4508276ca6f1c6129b79607b77e4b449dcf82f8)
Pour multiplier cette série par
remarquons que
![{\displaystyle {\begin{aligned}y.y^{2n-1|1}&=y^{2n|1}-(2n-1).y^{2n-1|1},\\y.y^{2n-2|1}&=y^{2n-1|1}-(2n-2).y^{2n-2|1},\\y.y^{2n-3|1}&=y^{2n-2|1}-(2n-3).y^{2n-3|1},\\y.y^{2n-4|1}&=y^{2n-3|1}-(2n-4).y^{2n-4|1},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab2c1619e1a9e0ae7d78977c7730a55adb894568)
au moyen de ces réductions, on trouvera
![{\displaystyle y^{2}\left\{y^{2}-1\right\}\left\{y^{2}-4\right\}\left\{y^{2}-9\right\}\ldots \left\{y^{2}-(n-1)^{2}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/293470086bf86afb4d26c98937f2421972ac3527)
![{\displaystyle {\begin{aligned}=y^{2n|1}&-{\frac {2n-1}{1}}ny^{2n-1|1}\\&+{\frac {2n-1}{1}}.{\frac {2n-2}{2}}n(n-1)y^{2n-2|1}\\&-{\frac {2n-1}{1}}.{\frac {2n-2}{2}}.{\frac {2n-3}{3}}n(n-1)(n-2)y^{2n-3|1}\\&+{\frac {2n-1}{1}}.{\frac {2n-2}{2}}.{\frac {2n-3}{3}}.{\frac {2n-4}{4}}n(n-1)(n-2)(n-3)y^{2n-4|1}\\&-\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32f3a3901d7d11e77c9517458dd3ee78d1edd8c9)
L’application aux cas particuliers de l’exposant
est facile. Comme la formule, finalement développée, ne doit renfermer que les puissances paires de
et qu’ainsi les termes qui composent les coefficiens des puissances impaires doivent tous se détruire mutuellement, il en résulte une suite de théorèmes particuliers que nous laissons à découvrir au lecteur.
14. Il peut importer de connaître le logarithme naturel de la fonction
![{\displaystyle P={\frac {(h-y)^{y|1}}{h^{y|1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/630ccefe81f8fca3040014dfd77e1f2944d5d555)
On trouve, par les formules connues,
![{\displaystyle Log.P=yLog.{\frac {h-y}{h+y}}+(h-{\tfrac {1}{2}})Log.{\frac {h^{2}}{h^{2}-y^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4e4be84e5e952df17a83d9f151e0e050da650b3)
[4]
Cette expression est réductible en série de la forme
![{\displaystyle -Log.P=A{\frac {y^{2}}{h^{2}}}+B{\frac {y^{4}}{h^{4}}}+C{\frac {y^{6}}{h^{6}}}+D{\frac {y^{8}}{h^{8}}}+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e64223f9069822e3fc4f3b132040ffbde49cbd46)
dans laquelle on a
![{\displaystyle {\begin{aligned}A&=h+{\tfrac {1}{2}}+{\frac {2B_{2}}{h}}+{\frac {12B_{4}}{3h^{3}}}+{\frac {30B_{6}}{5h^{5}}}+{\frac {56B_{8}}{7h^{7}}}+\ldots ,\\B&={\frac {h}{6}}+{\tfrac {1}{4}}+{\frac {2B_{2}}{h}}+{\frac {30B_{4}}{3h^{3}}}+{\frac {140B_{6}}{5h^{5}}}+{\frac {420B_{8}}{7h^{7}}}+\ldots ,\\C&={\frac {h}{15}}+{\tfrac {1}{6}}+{\frac {2B_{2}}{h}}+{\frac {56B_{4}}{3h^{3}}}+{\frac {420B_{6}}{5h^{5}}}+{\frac {1848B_{8}}{7h^{7}}}+\ldots ,\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/498b3f033f814cca3407ede929525481e608ba48)
étant les Nombres de Bernoulli. La convergence
de ces séries dépendant de la grandeur du nombre désigné par
elles peuvent être considérées comme convergentes à volonté.
15. Il a été prouvé, en son lieu, que le théorème binomial est
applicable aux factorielles. La fonction
![{\displaystyle P={\frac {(h-y)^{y|1}}{h^{y|1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/929c615c8738fd680963534fb920baea1070e0b0)
admet un théorème parfaitement analogue. Pour l’exposer, avec clarté,
désignons par
respectivement les facteurs
et par
, les facteurs
de manière qu’on ait
![{\displaystyle {\begin{aligned}A&=y^{2},&&N=y^{2}-n^{2}\qquad ,\\B&=y^{2}-1,&&O=y^{2}-(n+1)^{2},\\C&=y^{2}-4,&&P=y^{2}-(n+2)^{2},\\D&=y^{2}-9,&&Q=y^{2}-(n+3)^{2},\\E&=y^{2}-16,&&R=y^{2}-(n+4)^{2},\\\ldots \ldots \ldots \ldots &\ldots \ldots \ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ca63218e9437dd497a2f2ed868a06d84d8fc47e)
Proposons-nous ensuite de développer le produit
en une série de la forme
on voit que les coefficiens
doivent
nécessairement être fonctions, tant de
que du nombre des facteurs du produit
On voit de plus que, si le nombre
de ces facteurs est fini, celui des termes de la série qu’on demande
le sera de même. Voici les formules générales qui contiennent la
solution du problème ; on trouve
Pour un facteur : ![{\displaystyle A=N+n^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad60aa57ad4be7deb54b79ded88268a1cddfb82e)
Pour deux facteurs : ![{\displaystyle AB=NO+2(n+1)nN+(n+1)n^{2}(n-1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8550030a0c6f180f7314c2492c322ea34ab91486)
Pour trois facteurs :
![{\displaystyle {\begin{aligned}&+3(n+2)(n+1)n(n-1)N\\&+(n+2)(n+1)n^{2}(n-1)(n-2).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6f3f357f6e7945f72101a76accd96962528c0a2)
Pour quatre facteurs :
![{\displaystyle {\begin{aligned}&+6(n+3)(n+2)n(n-1)NO\\&+4(n+3)(n+2)(n+1)n(n-1)(n-2)N\\&+(n+3)(n+2)(n+1)n^{2}(n-1)(n-2)(n-3).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/881847f021a8f438ef18f4e46493289fa4818776)
Pour cinq facteurs :
![{\displaystyle {\begin{aligned}&+5(n+4)nNOPQ\\&+10(n+4)(n+3)n(n-1)NOP\\&+10(n+4)(n+3)(n+2)n(n-1)(n-2)NO\\&+5(n+4)(n+3)(n+2)(n+1)n(n-1)(n-2)(n-3)N\\&+(n+4)(n+3)(n+2)(n+1)n^{2}(n-1)(n-2)(n-3)(n-4).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4de9e9dee8ca2896dd659262384f6bf135773745)
et ainsi des autres.
16. La loi de ces séries est manifeste. En exposant la méthode
qui m’y a conduit, j’en aurai donné la démonstration. Supposons
donc que, de
on veuille passer à
On a trouvé
![{\displaystyle ABCDE=NOPQR+aNOPQ+bNOP+cNO+dN+e.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b236ed770ba8d899d76db403d495017de6470a3b)
Les coefficiens numériques sont de simples produits de facteurs
décroissans, depuis
et
et multipliés par les coefficiens
de la cinquième puissance du binôme. Il faudra multiplier tous les
termes de cette expression par
On remarquera que
![{\displaystyle {\begin{aligned}F&=y^{2}-n^{2}+n^{2}-25&&=N+(n+5)(n-5)\,;\\F&=y^{2}-(n+1)^{2}+(n+1)^{2}-25&&=O+(n+6)(n-4)\,;\\F&=y^{2}-(n+2)^{2}+(n+2)^{2}-25&&=P+(n+7)(n-3)\,;\\F&=y^{2}-(n+3)^{2}+(n+3)^{2}-25&&=Q+(n+8)(n-2)\,;\\F&=y^{2}-(n+4)^{2}+(n+4)^{2}-25&&=R+(n+9)(n-1)\,;\\F&=y^{2}-(n+5)^{2}+(n+5)^{2}-25&&=S+(n+10)n.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f87f52883d825db728bb08bc323be8f39852bda)
On multipliera par la dernière de ces valeurs de
le produit
; par l’avant-dernière le produit NOPQ, et ainsi des autres. Le produit demandé prendra ainsi la forme d’une série telle que
![{\displaystyle ABCDEF=NOPQRS+a'NOPQR+b'NOPQ+c'NOP+d'NO+e'N+f',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81daa8bffd74180eaa7b3cc3cb2a9d78be783b65)
dans lequel on aura
![{\displaystyle {\begin{aligned}a'&=a+(n+10)n,\\b'&=b+(n+9)(n-1)a,\\c'&=c+(n+8)(n-2)b,\\d'&=d+(n+7)(n-3)c,\\e'&=e+(n+6)(n-4)d,\\f'&=(n+5)(n-5)e\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f211d4157fb08fae77c76b666a6672f68e99debf)
ce qui donnera
![{\displaystyle {\begin{aligned}a'&=\ 6(n+5)n,\\b'&=15(n+5)(n+4)n(n-1),\\c'&=20(n+5)(n+4)(n+3)(n+2)n(n-1)(n-2),\\d'&=15(n+5)(n+4)(n+3)(n+2)(n+1)n(n-1)(n-2)(n-3),\\e'&=\ 6(n+5)(n+4)(n+3)(n+2)(n+1)n(n-1)(n-2)(n-3)(n-4),\\f'&=\quad (n+5)(n+4)(n+3)(n+2)(n+1)n(n-1)(n-2)(n-3)(n-4)(n-5).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cffb8738196d8ad46531645273a8703fe55fc9e)
Et ainsi des autres.
17. Pour approcher du but que nous nous proposons, essayons de transformer la série
![{\displaystyle a+by^{2}+cy^{4}+dy^{6}+ey^{8}+fy^{10}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4df5cb88c533202a26e605c222530d69cbd572b)
en un autre série de cette forme
![{\displaystyle a'+b'y^{2}+c'y^{2}\left(y^{2}-1\right)+d'y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ecaed5edac13e80896ea0e03deb37cfd6a45ff3)
![{\displaystyle +e'y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)\left(y^{2}-9\right)+\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4c2b6d8c0741dc8aa66c1b67fb26753d6bb400b)
En désignant l’une et l’autre séries par
on aura
![{\displaystyle \mathrm {F} 0=a'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb122b781f52ef51d4c4c275a2b3aed8075700d0)
![{\displaystyle \mathrm {F} 1=a'+b'\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b29d162ee17e347af42fda750624866e6b260d0)
![{\displaystyle {\begin{aligned}\mathrm {F2} &=a'+4b'+12c'\,;\\\mathrm {F3} &=a'+9b'+72c'+360d'\,;\\\mathrm {F4} &=a'+16b'+240c'+2880d'+201e'\,;\\\mathrm {F5} &=a'+25b'+600c'+12600d'+201600e'+1814400f'\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78382d87c2100f2ccb0cee614d54118a516e20d1)
. . . . . . . . . . . . . . . . . . . . . . . . .
et l’on trouvera facilement, d’après cela,
![{\displaystyle {\begin{aligned}a'&=2.{\frac {{\tfrac {1}{2}}\mathrm {F0} }{0!}},\\b'&=2\left\{{\frac {\mathrm {F1} }{2!}}-{\frac {{\tfrac {1}{2}}\mathrm {F0} }{1!1!}}\right\},\\c'&=2\left\{{\frac {\mathrm {F2} }{4!}}-{\frac {\mathrm {F1} }{1!3!}}+{\frac {{\tfrac {1}{2}}\mathrm {F0} }{2!2!}}\right\},\\d'&=2\left\{{\frac {\mathrm {F3} }{6!}}-{\frac {\mathrm {F2} }{1!5!}}+{\frac {\mathrm {F1} }{2!4!}}-{\frac {{\tfrac {1}{2}}\mathrm {F0} }{3!3!}}\right\},\\e'&=2\left\{{\frac {\mathrm {F4} }{8!}}-{\frac {\mathrm {F3} }{1!7!}}+{\frac {\mathrm {F2} }{2!6!}}-{\frac {\mathrm {F1} }{3!5!}}+{\frac {{\tfrac {1}{2}}\mathrm {F0} }{4!4!}}\right\},\\f'&=2\left\{{\frac {\mathrm {F5} }{10!}}-{\frac {\mathrm {F4} }{1!9!}}+{\frac {\mathrm {F3} }{2!8!}}-{\frac {\mathrm {F2} }{3!7!}}+{\frac {\mathrm {F1} }{4!6!}}-{\frac {{\tfrac {1}{2}}\mathrm {F0} }{5!5!}}\right\},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da7cad6683830de8d91979483c3446098d021c92)
. . . . . . . . . . . . . . . . . . . . . . . . .
résultats dont la loi est manifeste.
18. La détermination des fonctions
où
![{\displaystyle {\begin{aligned}\mathrm {F0} &=a,\\\mathrm {F1} &=a+b+c+d+e+f+\ldots ,\\\mathrm {F2} &=a+4b+16c+64d+256e+1024f+4096g+\ldots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07da19ccdb6f6fcaeb5d313452091a5a180c1ca8)
. . . . . . . . . . . . . . . . . . . . . . . . .
dépend, en général, de la sommation de la série
![{\displaystyle \mathrm {Fy} =a+by^{2}+cy^{4}+dy^{6}+ey^{8}+fy^{10}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c36fd0a84bf4b499051c320b258119e6c00b17ca)
mais il y a des cas très-nombreux où la valeur de cette série est
connue pour toutes les valeurs entières de
; et, dans ce cas, la
transformation qui nous occupe ici ne saurait présenter de difficulté.
19. En particulier, si cette série est nulle pour toutes les valeurs
entières de
les valeurs des coefficiens
se réduiront à leur dernier terme. Tel est le cas de
![{\displaystyle {\frac {\operatorname {Sin} .\varpi y}{\varpi y}}=1-{\frac {\varpi ^{2}y^{2}}{1.2.3}}+{\frac {\varpi ^{4}y^{4}}{1.2.3.4.5}}-{\frac {\varpi ^{6}y^{6}}{1.2.3.4.5.6.7}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a627af1b84a168ce4f5440a5ba62c08b643f57c)
on a alors
![{\displaystyle a'=1,\qquad b'=-{\frac {1}{1}},\qquad c'=+{\frac {1}{1.4}},\qquad d'=-{\frac {1}{1.4.9}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cabb1a0c76d1d0076a840515f37ea79355b61fb1)
et il en résulte
![{\displaystyle {\frac {\operatorname {Sin} .\varpi y}{\varpi y}}=1-{\frac {y^{2}}{1}}+{\frac {y^{2}}{1}}.{\frac {y^{2}-1}{4}}-{\frac {y^{2}}{1}}.{\frac {y^{2}-1}{4}}.{\frac {y^{2}-4}{9}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1de171de6abf79d9889bf3f1e4f57ce4e2c91a5)
série qui est ce que devient la série générale (6), dans le cas de
; elle sera donc égale au produit infini
![{\displaystyle \left(1-{\frac {y^{2}}{1}}\right)\left(1-{\frac {y^{2}}{4}}\right)\left(1-{\frac {y^{2}}{9}}\right)\left(1-{\frac {y^{2}}{16}}\right)\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7245d4fee72510871403dde748761b9c3a64ec46)
20. Appliquons encore nos règles générales à la décomposition en facteurs de la série
![{\displaystyle \operatorname {Cos} .\varpi y=1-{\frac {\varpi ^{2}y^{2}}{1.2}}+{\frac {\varpi ^{4}y^{4}}{1.2.3.4}}-{\frac {\varpi ^{6}y^{6}}{1.2.3.4.5.6}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/717c2be0d3e8e1072aef0e4cc98e57f18000bd38)
au cas que cette décomposition soit possible. On aura ici
et il en sera de même de toutes les fonctions paires
tandis qu’au contraire les fonctions impaires
seront égales à
On trouvera, d’après cela
![{\displaystyle a'=1,\ b'=-{\tfrac {2}{1}},\ c'=+{\tfrac {4}{1.2.1.3}},\ d'=-{\tfrac {8}{1.2.3.1.3.5}},\ e'=+{\tfrac {16}{1.2.3.4.1.3.5.7}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d13d99e968bcec864c5f5915b0fb73f365cb3a9d)
Comparant ces valeurs (6) aux coefficiens
![{\displaystyle 1,\quad {\frac {1}{h}},\quad {\frac {1}{1.2h(h+1)}},\quad {\frac {1}{1.2.3h(h+1)(h+2)}},\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9066b36490e2757c3528b30605bc731d30013b52)
on verra qu’elles coïncident, dans la supposition de
La série proposée sera donc égale au produit infini
![{\displaystyle \left(1-{\frac {4y^{2}}{1}}\right)\left(1-{\frac {4y^{2}}{9}}\right)\left(1-{\frac {4y^{2}}{25}}\right)\left(1-{\frac {4y^{2}}{49}}\right)\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5addcd3b2aaef4f1e288f7411fd068813ca3e4a1)
20. La dernière application que nous venons de faire de notre méthode laisse suffisamment apercevoir le caractère distinctif des séries de la forme
![{\displaystyle a+by^{2}+cy^{4}+dy^{6}+ey^{8}+fy^{10}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4df5cb88c533202a26e605c222530d69cbd572b)
décomposables en un produit infini, tel que
![{\displaystyle \left\{1-{\frac {y^{2}}{h^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+1)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+2)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+3)^{2}}}\right\}\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e25d30053807121b1933a71fb402919b7a6b1e6f)
On voit en effet que les coefficiens
étant donnés, il faut d’abord calculer, par leur moyen, les coefficiens
de la série
![{\displaystyle a'+b'y^{2}+c'y^{2}\left(y^{2}-1\right)+d'y^{2}\left(y^{2}-1\right)y^{2}\left(y^{2}-4\right)\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00b8b97c59780f7d85757962c669e428e24f2e95)
et tant que, par une détermination convenable de
on pourra faire coïncider avec eux les coefficiens généraux
![{\displaystyle 1,\quad -{\frac {1}{h}},\quad +{\frac {1}{1.2h(h+1)}},\quad -{\frac {1}{1.2.3h(h+1)(h+2)}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/80f83f55160ef11c8ad14648181633c1ddc23a2a)
on sera certain que la décomposition est possible, et on connaîtra tout ce qui est nécessaire pour l’effectuer,
21. Mais il importe de remarquer qu’il y a une infinité de cas où la décomposition est très-possible, sans que sa possibilité se manifeste par les caractères que nous venons d’indiquer. Cela a lieu, lorsque la série proposée est le produit de deux ou d’un plus grand nombre de produits infinis de la forme
![{\displaystyle \left\{1-{\frac {1}{h}}\right\}\left\{1-{\frac {y^{2}}{(h+1)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+2)^{2}}}\right\}\left\{1-{\frac {y^{2}}{(h+3)^{2}}}\right\}\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/01f160bf7c40bea88048991af98a74f3912ced13)
dans lesquels la valeur de
varie, d’un produit à l’autre. Pour frayer le chemin qui conduit à cette recherche, vraiment intéressante, proposons-nous le problème qui suit ;
22. Essayons de multiplier entre elles les deux séries
![{\displaystyle a+by^{2}+cy^{2}\left(y^{2}-1\right)+dy^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)+ey^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)\left(y^{2}-9\right)+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a66080f174df22d5ef1a14e5627cdfe6e407a527)
![{\displaystyle a'+b'y^{2}+c'y^{2}\left(y^{2}-1\right)+d'y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)+e'y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)\left(y^{2}-9\right)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0158a090b90721e4db30f75d43f1f8fb7f54cbc3)
il est toujours possible (8) de réduire leur produit à la forme de chacune d’elles ; en représentant donc ce produit par
![{\displaystyle A+By^{2}+Cy^{2}\left(y^{2}-1\right)+Dy^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)+Ey^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)\left(y^{2}-9\right)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3415109327a7caabe0cef01f00a9dd9faf4d17e6)
les suppositions particulières de
donneront
![{\displaystyle {\begin{aligned}A&=aa',\\B&=ab'+a'b+bb',\\C&=ac'+bb'+a'c+4bc'+4b'c+12cc',\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/013629ab957de80fc25aac80bfdb6034ba75b6e8)
. . . . . . . . . . . . . . . . . . . . . . . . .
La suite nous fournira l’occasion de continuer ces valeurs à volonté.
23. Appliquons ces résultats généraux au cas des séries qui résultent
du développement des deux expressions
![{\displaystyle {\frac {(h-y)^{y|1}}{h^{y|1}}},\qquad {\frac {(m-y)^{y|1}}{m^{y|1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54c344c1fddbf7421337f2025c26541602e3c273)
On a
![{\displaystyle {\frac {(h-y)^{y|1}}{h^{y|1}}}=1-{\frac {y^{2}}{h}}+{\frac {y^{2}\left(y^{2}-1\right)}{2h(h+1)}}-{\frac {y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)}{2.3h(h+1)(h+2)}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b15e9778b057d56c933f81fea66222bbb57d8e8)
![{\displaystyle {\frac {(m-y)^{y|1}}{m^{y|1}}}=1-{\frac {y^{2}}{m}}+{\frac {y^{2}\left(y^{2}-1\right)}{2m(m+1)}}-{\frac {y^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)}{2.3m(m+1)(m+2)}}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca18b8ea9308296b9fbb744ef01265f10666a479)
Il sera possible de donner au produit de ces deux séries la forme
![{\displaystyle 1-Ay^{2}+By^{2}\left(y^{2}-1\right)-Cy^{2}\left(y^{2}-1\right)\left(y^{2}-4\right)+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e175f8e8d02c8d2651e7ae9fcf4daa19840e196)
et les coefficiens
auront la forme, très-remarquable que voici :
![{\displaystyle {\begin{aligned}A&={\frac {h+m-1}{hm}},\\B&={\frac {(h+m-1)(h+m)}{2h(h+1)m(m+1)}},\\C&={\frac {(h+m-1)(h+m)(h+m+1)}{2.3h(h+1)(h+2)m(m+1)(m+2)}},\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa114de52910550ec6c4267cf9d417fc79aaf355)
. . . . . . . . . . . . . . . . . . . . . . . . .
24. Le théorème que nous venons d’exposer est très-vrai, en
général. Toutefois nous ne saurions dissimuler qu’en l’appliquant à
certains cas particuliers, qui paraissent en faire une exception formelle, on s’exposerait à une suite de conclusions extrêmement paradoxales. Supposons d’abord
cette supposition rend nuls
tous les coefficiens
et paraît conséquemment réduire
à l’unité le produit
![{\displaystyle {\frac {(h-y)^{y|1}.(m-y)^{y|1}}{h^{y|1}m^{y|1}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b58cd864ff5cabfd0a9e9a3f679d1192880839f)
{{SA|toutes les fois que
![{\displaystyle h+m=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5671bb39965c483eb3daf1aba62f5dec913d38bc)
ce qui permettrait de remplacer
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
par
![{\displaystyle 1-h.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fdf46e2218cb8e86c14c71923c1d010336adb42)
Cela est très-vrai, tant que
![{\displaystyle h}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b26be3e694314bc90c3215047e4a2010c6ee184a)
est un nombre entier. On a alors
![{\displaystyle {\begin{aligned}(h-y)^{y|1}&=(h-y)(h-y+1)\ldots (h-1),\\h^{y|1}&=h(h+1)\ldots (h+y-1),\\(m-y)^{y|1}&=(-h-y+1)(-h-y+2)\ldots (-h),\\m^{y|1}&=(-h+1)(-h+2)\ldots (-h+y)\,;\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc04cce76ed6beca548813b9b8f5da330abe34cd)
et il est très-clair qu’en divisant le premier produit par le second et le quatrième par le troisième, les deux quotiens seront identiquement les mêmes. Mais sera-t-il permis d’étendre ce théorème, très-évident pour des nombres entiers, à des valeurs fractionnaires de
et de
Supposons l’un et l’autre égaux à un demi, on aura
![{\displaystyle {\frac {(h-y)^{y|1}}{h^{y|1}}}={\frac {(m-y)^{y|1}}{m^{y|1}}}=\operatorname {Cos} .\varpi y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d774fc8ffaf31e83556a16924b678b8c8ea01a)
d’où il résulterait que le quarré du cosinus de tout angle quelconque, et par conséquent ce cosinus lui-même est égal à l’unité.
25. Supposons, en second lieu,
nous aurons
![{\displaystyle {\frac {(h-y)^{y|1}}{h^{y|1}}}={\frac {(m-y)^{y|1}}{m^{y|1}}}={\frac {\operatorname {Sin} .\varpi y}{\varpi y}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01e82f8180053d641daa67ef86016560416f650e)
ainsi la formule, appliquée à ce cas particulier, devrait donner pour produit
Cependant, comme dans ce même cas, on a
les coefficiens
deviennent respectivement
la série qui doit représenter le produit devient identique avec celle qui exprimerait chacun des facteurs. On aurait donc ainsi
; proposition qui n’est admissible que dans le cas d’un angle infiniment petit, et qui est étroitement liée avec celle du n.o précédent ![{\displaystyle \operatorname {Cos} .\varpi y=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2571602c2b490e9cf91a32cf6935ec02f349b65e)
26. Ces conclusions paradoxales n’ôtent rien à la vérité, et même à la généralité du théorème. Il faudra apprendre la manière de s’en servir, et sur-tout distinguer les cas dans lesquels il présentera les restrictions que les conditions particulières du problème rendent indispensablement nécessaires. En laissant à nos lecteurs le soin provisoire de déchiffrer ces énigmes, nous devons prévenir qu’elles seront l’objet du mémoire suivant, et que nous espérons d’en donner une solution satisfaisante et complète.