Annales de mathématiques pures et appliquées/Tome 03/Analise transcendante, article 3
# Annales de mathématiques pures et appliquées/Tome 03/Analise transcendante, article 3

## ANALISE TRANSCENDANTE.

I. Dans le précédent mémoire, nous avons évalué le produit des facteurs

1−x²/a², 1−x²/((a+r)²), 1−x²/((a+2r)²), 1−x²/((a+3r)²), …

continué jusqu’à l’infini ; et nous l’avons trouvé égal à

f!f!/((f+x/r )!(f−x/r )!) ;

en faisant, pour abréger, a/r−1=f, ce qui donne 1+f=a/r. Pour éviter les formes fractionnaires, soit a=hr, x=ry ; nous aurons ainsi

{1−y²/h² }{1−y²/((h+1)²) }{1−y²/((h+2)²) }…

=(h−1)!(h−1)!/((h−1+y)!(h−1−y)!),

le premier membre étant prolongé à l’infini.

2. Cette expression admet des réductions ultérieures. D’après le théorème connu a^{m+n|r}=a^{m|r}(a+mr)^{n|r},

on aura, dans le cas particulier de a=1, r=1

(m+n)!=m!(1+m)^{n|1};

ce qui donne

(h−1+y)!=(h−1)!h^{y|1},

(h−1−y)!=(h−1)!h^{−y|1};

en conséquence, en désignant par P le produit infini qui nous occupe, nous aurons

P=(h−1)!(h−1)!/((h−1+y)!(h−1−y)!)=1/h^{y|1}.h^{−y|1}.

3. Comme on a, par les formules connues,

h^{−y|1}=1/(h−y)^{y|1},

on pourra encore écrire

P=(h−y)^{y|1}/h^{y|1}.

Comme tous les facteurs du produit P ne renferment que les quarrés de y, il doit être permis d’y remplacer +y par −y, et réciproquement ; de sorte que les expressions

(h−y)^{y|1}/h^{y|1} et ((h+y)^{−y|1})/h^{−y|1},

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. On a

(A+B)^{n|r}=A^{n|r}+n/1 A^{n−1|r}B+n/1.n−1/2 A^{n−2|r}B^{2|r}+…

(A−B)^{n|r}=A^{n|r}−n/1 A^{n−1|r}B+n/1.n−1/2 A^{n−2|r}B^{2|r}−…

Divisant la première égalité par A^{n|r}, pour que le premier terme de la série soit égal à l’unité, et se rappelant que

A^{n−1|r}=A^{n|r}/(A+nr−r), A^{n−2|r}=A^{n|r}/((A+nr−2r)^{2|r}), A^{n−3|r}=A^{n|r}/((A+nr−3r)^{3|r}), ………………;

on la transformera en

((A+B)^{n|r})/A^{n|r}=1+nB/(A+nr−r)+n(n−1)B^{2|r}/(1.2(A+nr−2r)^{2|r})+…,

et, en appliquant cette formule aux deux expressions de P que nous venons de trouver ; savoir :

P=(h−y)^{y|1}/h^{y|1}=((h+y)^{−y|1})/h^{−y|1},

elles deviendront

P=1−y²/(h+y−1)+y²(y−1)²/(1.2(h+y−1)(h+y−2))

−y²(y−1)²(y−2)²/(1.2.3(h+y−1)(h+y−2)(h+y−3))+…

P=1−y²/h−y−1+(y²(y+1)²)/1.2(h−y−1)(h−y−2)

−(y²(y+1)²(y+2)²)/1.2.3(h−y−1)(h−y−2)(h−y−3)+…

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

((A+B)^{n|r})/A^{n|r}=1+nB/(A+nr−r)+n(n−1)B^{2|r}/(1.2(A+nr−2r)^{2|r})+…,

et faisons A+nr−r=a, ce qui donne A=a−nr+r, et A+B=a+B−nr+r. On aura ainsi

A^{n|r}=(a−nr+r)^{n|r}=a^{n|−r},

(A+B)^{n|r}=(a+B−nr+r)^{r|r}=(a+B)^{n|−r};

ce qui donne

((a+B)^{n|−r})/a^{n|−r}=1+nB/a+n(n−1)B^{2|r}/1.2a^{2|−r}+n(n−1)(n−2)B^{3|r}/1.2.3a^{3|−r}+…

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 a=h, B=−y, n=y et r=1, on trouvera

P={1−y²/h² }{1−y²/((h+1)²) }{1−y²/((h+2)²) }…=(h−y)^{y|1}/h^{y|1}=

1−y²/h+y²(y²−1)/(1.2h(h+1))−y²(y²−1)(y²−4)/(1.2.3h(h+1)(h+2))+y²(y²−1)(y²−4)(y²−9)/(1.2.3.4h(h+1)(h+2)(h+3))−…

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 y, 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

(h−y)^{y|1}/h^{y|1}=P=1−Ay²+By²(y²−1)+Cy²(y²−1)(y²−4)+…;

en posant successivement y=1, 2, 3, 4, … on aura

(h−1)/h=1−A, (h−2)(h−1)/(h(h+1))=1−4A+12B, (h−3)(h−2)(h−1)/(h(h+1)(h+2))=1−9A+72B−360C, (h−4)(h−3)(h−2)(h−1)/(h(h+1)(h+2)(h+3))=1−16A+240B−s2880C+20160D, ………………………;

d’où, par un calcul très-facile, on déduit pour A, B, C, … les mêmes valeurs que nous venons d’obtenir.

8. En multipliant cette même série par 1−y²/(h−1)², il doit en résulter ce qu’elle devient en y remplaçant simplement la lettre h par h−1. Pour faire cette multiplication, considérons que y² peut être remplacé

par 1+(y²−1), par 4+(y²−4), par 9+(y²−9), ………;

ce qui suffit pour rendre au produit sa forme primitive. Il deviendra alors, avec cette attention,

1−y²{ 1/h+1/(h−1)²−1/h(h−1)² }

+y²(y²−1)/h { 1/(2(h+1))+1/(h−1)²−2/((h+1)(h−1)²) }

−y²(y²−1)(y²−4)/(2h(h+1)) { 1/(3(h+2))+1/(h−1)²−3/((h+2)(h−1)²) }

or,

1/h+1/(h−1)²−1/h(h−1)²=1/h−1,

1/(2(h+1))+1/(h−1)²−2/((h+1)(h−1)²)=1/2(h−1),

1/(3(h+2))+1/(h−1)²−3/((h+2)(h−1)²)=1/3(h−1),

ce produit sera donc, en effet,

1−y²/(h−1)+y²(y²−1)/2(h−1)h−y²(y²−1)(y²−4)/(2.3(h−1)h(h+1))+…;

conformément à la nature du problème.

9. Il suit des résultats que nous venons d’obtenir, qu’en faisant y égal à un nombre entier quelconque, positif ou négatif, le produit P, continué à l’infini, est toujours une quantité entièrement rationnelle, quel que soit h. Il s’ensuit encore qu’en faisant y égal à h plus ou moins un nombre entier quelconque, la valeur de la série, développement de P, est constamment zéro. Nous remarquerons encore que, lorsque h est un nombre entier quelconque, cette série est égale à Sin.ϖy/ϖy multiplié par quelque facteur entièrement rationnel ; et que, lorsque y est un nombre entier, plus la fraction 1/2, cette même série est toujours un multiple de Cos.ϖy.

10. Effectivement, faisons, dans les théorèmes précédais, h=1 ; nous aurons, d’un côté

(1−y²/1 )(1−y²/4 )(1−y²/9 )(1−y²/16 )…;

produit que l’on sait être égal Sin.ϖy/ϖy, et de l’autre la série

1−y²/1+y²(y²−1)/1.4−y²(y²−1)(y²−4)/1.4.9+y²(y²−1)(y²−4)(y²−9)/1.4.9.16−…

On peut aisément vérifier que cette série s’évanouit, en effet, pour toutes les valeurs entières de y. Mais il importe de nous assurer, par un exemple, que cette série est effectivement applicable à toutes les valeurs fractionnaires de y ; 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 à 0, 37ϖ ; ce qui donne y=0, 37; et

y²=+0, 1369, y²−16=−15, 1369, y²−1=−0, 8631, y²−25=−24, 1369, y²−4=−3, 8631, y²−36=−35, 1369, y²−9=−8, 8631, ………

On aura de plus

1−y²=0, 8691000, 1−y²/25=0, 9945240, 1−y²/4=0, 9657750, 1−y²/46=0, 9961972, 1−y²/9=0, 9847889, 1−y²/39=0, 9972061, 1−y²/16=0, 9914438, 1−y²/64=0, 9978609;

et par conséquent

Log.(1−y²/1 )=9.9360611, Log.(1−y²/4 )=9.9848760, Log.(1−y²/9 )=9.9933432, Log.(1−y²/16 )=9.9962680, Log.(1−y²/25 )=9.9976153, Log.(1−y²/36 )=9.9983454, Log.(1−y²/49 )=9.9987849, Log.(1−y²/64 )=9.9990700;}Somme=9.9043639, Log⁡.0, 37=9.5682017, Log.ϖ=0, 4971499, Somme=9.9697155.

Ainsi, le logarithme du produit des facteurs de Sin⁡.66.^{∘}36′, jusqu’au facteur 1−y²/64 inclusivement, est 9.9697155. Le produit des autres facteurs est

(1−y²/81 )(1−y²/100 )(1−y²/121 )…

continué à l’infini ; c’est-à-dire, la série

1−y²/h+y²(y²−1)/2h(h−1)−y²(y²−1)(y²−4)/(2.3h(h+1)(h+2))+…

en y faisant y=0, 37 et h=9 ;

or, en posant

A=y²/h , E=D.(y²−16)/(5(h+4)), B=A.(y²−1)/(2(h+1)) , F=E.(y²−25)/(6(h+5)), C=B.(y²−4)/(3(h+2)) , G=F.(y²−36)/(7(h+6)), D=C.(y²−9)/(4(h+3)) , …………

cette série se réduit à

1−A−B−C−D−E−F−G−…;

et l’on a

A=0, 1369/1.9=0, 0152111, B=0, 8631/2.10 A=0, 0006564, C=3, 8631/3.11 B=0, 0000768, D=8, 8631/4.12 C=0, 0000142, E=15, 8631/5.13 D=0, 0000035, F=24, 8631/6.14 E=0, 0000010, G=35, 8631/7.15 F=0, 0000003;}Somme=0, 0159633.

Ainsi le produit de tous les facteurs ultérieurs de la valeur de Sin⁡.66.^{∘}36′ est 0, 9840367, dont le logarithme 9⋅9930113, ajouté au logarithme déjà trouvé 9, 9697155, donne 9⋅9627268, pour le logarithme de Sin⁡.66.^{∘}36′, exact à deux unités décimales du dernier ordre près.

11. Faisant, dans la même série, h=1/2 ; on aura, d’un côté, le produit

(1−4y²/1 )(1−4y²/9 )(1−4y²/25 )(1−4y²/49 )…,

que nous savons être égal à Cos.ϖy. De l’autre, nous aurons la série

1−2y²/1+4y²(y²−1)/1.2.1.3−8y²(y²−1)(y²−4)/1.2.3.1.3.5+…,

laquelle exprimera aussi conséquemment Cos.ϖy, 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

1−ay²+by⁴−cy⁶+dy⁸−…

en facteurs de l’une ou de l’autre des deux formes

1−y²/h², 1+y²/h²,

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

y²{y²−1}{y²−4}{y²−9}…{y²−(n−1)²},

au langage des factorielles ; nous trouverons

y²{y²−1}{y²−4}{y²−9}…{y²−(n−1)²}=y.(y−n+1)^{2n−1|1}

Appliquant le théorème binomial à la factorielle

(y−n+1)^{2n−1|1},

elle deviendra

{y−(n−1)}^{2n−1|1}=y^{2n−1|1}−2n−1/1 (n−1)y^{2n−2|1}

+2n−1/1.2n−2/2 (n−1)(n−2)y^{2n−3|1}

−2n−1/1.2n−2/2.2n−3/3 (n−1)(n−2)(n−3)y^{2n−4|1}

Pour multiplier cette série par y, remarquons que

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},

au moyen de ces réductions, on trouvera

y²{y²−1}{y²−4}{y²−9}…{y²−(n−1)²}

=y^{2n|1}−2n−1/1 ny^{2n−1|1}+2n−1/1.2n−2/2 n(n−1)y^{2n−2|1}−2n−1/1.2n−2/2.2n−3/3 n(n−1)(n−2)y^{2n−3|1}+2n−1/1.2n−2/2.2n−3/3.2n−4/4 n(n−1)(n−2)(n−3)y^{2n−4|1}−…………………………

L’application aux cas particuliers de l’exposant n est facile. Comme la formule, finalement développée, ne doit renfermer que les puissances paires de y, 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

P=(h−y)^{y|1}/h^{y|1}.

On trouve, par les formules connues,

Log.P=yLog.h−y/(h+y)+(h−1/2)Log.h²/h²−y²

−Γ 1/h−y+2Γ 1/h−Γ (h+y)/1.

Cette expression est réductible en série de la forme

−Log.P=A y²/h²+B y⁴/h⁴+C y⁶/h⁶+D y⁸/h⁸+…

dans laquelle on a

A=h+1/2+2B₂/h+12B₄/3h³+30B₆/5h⁵+56B₈/7h⁷+…, B=h/6+1/4+2B₂/h+30B₄/3h³+140B₆/5h⁵+420B₈/7h⁷+…, C=h/15+1/6+2B₂/h+56B₄/3h³+420B₆/5h⁵+1848B₈/7h⁷+…, ……………………………

B₂, B₄, B₆, … étant les Nombres de Bernoulli. La convergence de ces séries dépendant de la grandeur du nombre désigné par h, 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

P=(h−y)^{y|1}/h^{y|1},

admet un théorème parfaitement analogue. Pour l’exposer, avec clarté, désignons par A, B, C, D, … respectivement les facteurs y², y²−1, y²−4, y²−9, … et par N, O, P, Q, …, les facteurs y²−n², y²−(n+1)², y²−(n+2)², y²−(n+3)², … de manière qu’on ait

A=y², N=y²−n², B=y²−1, O=y²−(n+1)², C=y²−4, P=y²−(n+2)², D=y²−9, Q=y²−(n+3)², E=y²−16, R=y²−(n+4)², …………………

Proposons-nous ensuite de développer le produit ABCD… en une série de la forme NOPQ…+2NOP…+bNO…+cN…+d…+…;

on voit que les coefficiens a, b, c, d, … doivent nécessairement être fonctions, tant de n que du nombre des facteurs du produit ABCD…. 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

Pour un facteur : A=N+n².

Pour deux facteurs : AB=NO+2(n+1)nN+(n+1)n²(n−1).

Pour trois facteurs : ABC=NOP+3(n+2)nNO

+3(n+2)(n+1)n(n−1)N+(n+2)(n+1)n²(n−1)(n−2).

Pour quatre facteurs : ABCD=NOPQ+4(n+3)nNOP

+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²(n−1)(n−2)(n−3).

Pour cinq facteurs : ABCDE=NOPQR

+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²(n−1)(n−2)(n−3)(n−4).

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 ABCDE, on veuille passer à ABCDEF. On a trouvé

ABCDE=NOPQR+aNOPQ+bNOP+cNO+dN+e.

Les coefficiens numériques sont de simples produits de facteurs décroissans, depuis n+4 et n, et multipliés par les coefficiens de la cinquième puissance du binôme. Il faudra multiplier tous les termes de cette expression par F=y²−25. On remarquera que

F=y²−n²+n²−25=N+(n+5)(n−5);F=y²−(n+1)²+(n+1)²−25=O+(n+6)(n−4);F=y²−(n+2)²+(n+2)²−25=P+(n+7)(n−3);F=y²−(n+3)²+(n+3)²−25=Q+(n+8)(n−2);F=y²−(n+4)²+(n+4)²−25=R+(n+9)(n−1);F=y²−(n+5)²+(n+5)²−25=S+(n+10)n.

On multipliera par la dernière de ces valeurs de F le produit NOPQR ; 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

ABCDEF=NOPQRS+a′NOPQR+b′NOPQ+c′NOP+d′NO+e′N+f′,

dans lequel on aura

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;

ce qui donnera

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′=(n+5)(n+4)(n+3)(n+2)(n+1)n(n−1)(n−2)(n−3)(n−4)(n−5).

Et ainsi des autres.

17. Pour approcher du but que nous nous proposons, essayons de transformer la série

a+by²+cy⁴+dy⁶+ey⁸+fy¹⁰+…,

en un autre série de cette forme

a′+b′y²+c′y²(y²−1)+d′y²(y²−1)(y²−4)

+e′y²(y²−1)(y²−4)(y²−9)+…

En désignant l’une et l’autre séries par Fy, on aura

F0=a′;

F1=a′+b′;

F2=a′+4b′+12c′;F3=a′+9b′+72c′+360d′;F4=a′+16b′+240c′+2880d′+201e′;F5=a′+25b′+600c′+12600d′+201600e′+1814400f′;

et l’on trouvera facilement, d’après cela,

a′=2. 1/2 F0/0!, b′=2{ F1/2!− 1/2 F0/1!1! }, c′=2{ F2/4!−F1/1!3!+ 1/2 F0/2!2! }, d′=2{ F3/6!−F2/1!5!+F1/2!4!− 1/2 F0/3!3! }, e′=2{ F4/8!−F3/1!7!+F2/2!6!−F1/3!5!+ 1/2 F0/4!4! }, f′=2{ F5/10!−F4/1!9!+F3/2!8!−F2/3!7!+F1/4!6!− 1/2 F0/5!5! },

résultats dont la loi est manifeste.

18. La détermination des fonctions F0, F1, F2, … où

F0=a, F1=a+b+c+d+e+f+…, F2=a+4b+16c+64d+256e+1024f+4096g+…

dépend, en général, de la sommation de la série

Fy=a+by²+cy⁴+dy⁶+ey⁸+fy¹⁰+…;

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 y ; 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 y, les valeurs des coefficiens b′, c′, d′, … se réduiront à leur dernier terme. Tel est le cas de

Sin.ϖy/ϖy=1−ϖ²y²/1.2.3+ϖ⁴y⁴/1.2.3.4.5−ϖ⁶y⁶/1.2.3.4.5.6.7+…;

on a alors

a′=1, b′=−1/1, c′=+1/1.4, d′=−1/1.4.9, …

et il en résulte

Sin.ϖy/ϖy=1−y²/1+y²/1.y²−1/4−y²/1.y²−1/4.y²−4/9+…;

série qui est ce que devient la série générale (6), dans le cas de h=1 ; elle sera donc égale au produit infini

(1−y²/1 )(1−y²/4 )(1−y²/9 )(1−y²/16 )…

20. Appliquons encore nos règles générales à la décomposition en facteurs de la série

Cos.ϖy=1−ϖ²y²/1.2+ϖ⁴y⁴/1.2.3.4−ϖ⁶y⁶/1.2.3.4.5.6+…;

au cas que cette décomposition soit possible. On aura ici F0=+1 et il en sera de même de toutes les fonctions paires F2, F4, …; tandis qu’au contraire les fonctions impaires F1, F3, F5, … seront égales à −1. On trouvera, d’après cela

a′=1, b′=−2/1, c′=+4/1.2.1.3, d′=−8/1.2.3.1.3.5, e′=+16/1.2.3.4.1.3.5.7, …

Comparant ces valeurs (6) aux coefficiens

1, 1/h, 1/(1.2h(h+1)), 1/(1.2.3h(h+1)(h+2)), …,

on verra qu’elles coïncident, dans la supposition de h=1/2. La série proposée sera donc égale au produit infini

(1−4y²/1 )(1−4y²/9 )(1−4y²/25 )(1−4y²/49 )…

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

a+by²+cy⁴+dy⁶+ey⁸+fy¹⁰+…,

décomposables en un produit infini, tel que

{1−y²/h² }{1−y²/((h+1)²) }{1−y²/((h+2)²) }{1−y²/((h+3)²) }…

On voit en effet que les coefficiens a, b, c, … étant donnés, il faut d’abord calculer, par leur moyen, les coefficiens a′, b′, c′, … de la série

a′+b′y²+c′y²(y²−1)+d′y²(y²−1)y²(y²−4)…;

et tant que, par une détermination convenable de h, on pourra faire coïncider avec eux les coefficiens généraux

1, −1/h, +1/(1.2h(h+1)), −1/(1.2.3h(h+1)(h+2)), …

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

{1−1/h }{1−y²/((h+1)²) }{1−y²/((h+2)²) }{1−y²/((h+3)²) }…

dans lesquels la valeur de h 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

a+by²+cy²(y²−1)+dy²(y²−1)(y²−4)+ey²(y²−1)(y²−4)(y²−9)+…,

a′+b′y²+c′y²(y²−1)+d′y²(y²−1)(y²−4)+e′y²(y²−1)(y²−4)(y²−9)+…;

il est toujours possible (8) de réduire leur produit à la forme de chacune d’elles ; en représentant donc ce produit par

A+By²+Cy²(y²−1)+Dy²(y²−1)(y²−4)+Ey²(y²−1)(y²−4)(y²−9)+…;

les suppositions particulières de y=0, 1, 2, 3, 4, … donneront

A=aa′, B=ab′+a′b+bb′, C=ac′+bb′+a′c+4bc′+4b′c+12cc′,

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

(h−y)^{y|1}/h^{y|1}, (m−y)^{y|1}/m^{y|1}.

On a

(h−y)^{y|1}/h^{y|1}=1−y²/h+y²(y²−1)/(2h(h+1))−y²(y²−1)(y²−4)/(2.3h(h+1)(h+2))+…;

(m−y)^{y|1}/m^{y|1}=1−y²/m+y²(y²−1)/(2m(m+1))−y²(y²−1)(y²−4)/(2.3m(m+1)(m+2))+…;

Il sera possible de donner au produit de ces deux séries la forme

1−Ay²+By²(y²−1)−Cy²(y²−1)(y²−4)+…;

et les coefficiens A, B, C, … auront la forme, très-remarquable que voici :

A=(h+m−1)/hm, B=((h+m−1)(h+m))/(2h(h+1)m(m+1)), C=((h+m−1)(h+m)(h+m+1))/(2.3h(h+1)(h+2)m(m+1)(m+2)),

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 h+m=1; cette supposition rend nuls tous les coefficiens A, B, C, …, et paraît conséquemment réduire à l’unité le produit

(h−y)^{y|1}.(m−y)^{y|1}/h^{y|1}m^{y|1},

h+m=1,

m

1−h.

h

(h−y)^{y|1}=(h−y)(h−y+1)…(h−1), h^{y|1}=h(h+1)…(h+y−1), (m−y)^{y|1}=(−h−y+1)(−h−y+2)…(−h), m^{y|1}=(−h+1)(−h+2)…(−h+y);

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 h et de m, Supposons l’un et l’autre égaux à un demi, on aura

(h−y)^{y|1}/h^{y|1}=(m−y)^{y|1}/m^{y|1}=Cos.ϖy,

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, h=1, m=1, nous aurons

(h−y)^{y|1}/h^{y|1}=(m−y)^{y|1}/m^{y|1}=Sin.ϖy/ϖy ;

ainsi la formule, appliquée à ce cas particulier, devrait donner pour produit Sin.²ϖy/ϖ²y². Cependant, comme dans ce même cas, on a h+m−1=1, les coefficiens A, B, C, D, … deviennent respectivement 1, 1/4, 1/9, 1/16, …, la série qui doit représenter le produit devient identique avec celle qui exprimerait chacun des facteurs. On aurait donc ainsi Sin.ϖy=ϖy ; proposition qui n’est admissible que dans le cas d’un angle infiniment petit, et qui est étroitement liée avec celle du n.ᵒ précédent Cos.ϖy=1.

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.

* ↑ Voyez les pages 1 et 114 de ce volume.
* ↑ Voyez l’Arithmétique universelle de l’auteur. J. D. G.
* ↑ Pourvu cependant que h ne soit point un nombre entier négatif. J. D. G.
* ↑ Voyez les précédens mémoires.
