Annales de mathématiques pures et appliquées/Tome 10/Géométrie transcendante, article 1
# Annales de mathématiques pures et appliquées/Tome 10/Géométrie transcendante, article 1

## ANALISE TRANSCENDANTE.

### Essai sur le développement, en fractions continues, des racines des équations du troisième degré, et sur l’approximation graphique du problème de la trisection de l’angle.

I. Nous allons prouver, en premier lieu, que la résolution d’une équation quelconque du troisième degré peut toujours être ramenée à celle d’une autre équation de la forme

4x³−3x=a,

où a est un nombre positif.

En effet, la proposée ne saurait être, après l’évanouissement du second terme, que de l’une ou de l’autre de ces deux formes

y³−py+q=0, y³+py+q=0,

où il est permis de supposer que p et q sont des nombres entiers ; et où q est un nombre essentiellement positif.

Si c’est la première forme qui a lieu, il suffira de poser

y=±2x√(p/3),

le signe supérieur ou le signe inférieur ayant lieu suivant que q est négatif ou positif. En substituant et divisant ensuite par ± 2p/3 √(p/3), il viendra, en effet, en transposant,

4x³−3x=√(27q²/4p³);

qui, en faisant √(27q²/4p³)=a, devient, en effet,

4x³−3x=a.

Si l’équation est de la seconde forme ; on posera d’abord

y=±2z√(p/3);

ce qui donnera, en substituant et divisant toujours par ± 2p/3 √(p/3),

4z³+3z±√(27q²/4p³)=0.

posant ensuite, dans celle-ci

z=√(x²−1);

ce qui revient, au surplus, à faire immédiatement

y=±2√(p/3 (x²−1)),

elle deviendra

(4x²−1)√(x²−1)=∓ 3q/2p√(p/3) ;

ou, en quarrant

(4x²−1)²(x²−1)=27q²/4p³ ;

ou, en développant

(4x³−3x)²−1=27q²/4p³ ;

ou enfin, en transposant et extrayant la racine quarrée des deux membres.

4x³−3x=√(1+27q²/4p³);

équation qui, en posant, √(1+27q²/4p³)=a, revient encore à

4x³−3x=a.

Il n’y aurait donc d’exception que pour le seul cas où la proposée aurait ses trois racines égales. Alors, en effet, p, qui entre comme dénominateur dans nos formules, se trouve nul, ce qui y introduit des grandeurs infinies.

Soit, par exemple, l’équation

y³−7y+7=0,

qui se rapporte à la première forme, en posant

y=−2x√(7/3),

elle deviendra

4x³−3x=3√(21)/14,

où a=3√(21)/14.

Soit encore l’équation

y³+y−10=0,

qui se rapporte à la seconde forme ; en posant

y=2√(y²−1/3),

elle deviendra

4y³−3y=26,

où a=26.

II. Nous allons prouver présentement que l’on peut faire dépendre la résolution de l’équation 4x³−3x=a de celle d’une équation de la même forme, dans laquelle le second membre sera si voisin de l’unité qu’on voudra. Posons, en effet,

x=2x₁²−1,

en substituant dans

4x³−3x=a,

elle deviendra

(4x₁³−3x₁)²=(1+a)/2 ;

de sorte qu’en posant, pour abréger,

√((1+a)/2)=a₁,

et extrayant la racine quarrée, l’équation à résoudre sera

4x₁³−3x₁=a₁,

équation exactement de même forme que la proposée. Or, de l’équation

√((1+a)/2)=a₁,

on tire, en quarrant, chassant le dénominateur et transposant

2a₁²=a+1,

ou

2(a₁²−1)=a−1,

d’où

a₁−1/a−1=1/(2(a₁+1)),

et par conséquent

a₁−1/a−1 < 1/2

a₁−1< 1/2 (a−1),

la différence de a₁, avec l’unité sera donc moindre que la moitié de la différence de a avec l’unité.

Donc, si l’on pose successivement

x=2x₁²−1, a₁=√((1+a)/2), x₁=2x₂²−1, a₂=√((1+a₁)/2), x₂=2x₃²−1, a₃=√((1+a₂)/2), ………………xₙ₋₁=2xₙ²−1, aₙ=√((1+aₙ₋₁)/2);

on aura, quel que soit d’ailleurs l’indice n,

4xₙ³−3xₙ=aₙ;

et la série a, a₁, a₂, …, aₙ sera telle que la différence de chacun de ses termes avec l’unité sera moindre que la moitié de la différence avec cette même unité du terme qui le précédera immédiatement.

Il n’est pas même difficile de voir que, passé le premier terme dans la série des différences a−1, a₁−1, a₂−1, …aₙ−1, chaque terme sera réellement moindre que le tiers de celui qui le précédera immédiatement. En effet, il résulte des relations ci-dessus qu’aucun des termes a₁, a₂, a₃, …aₙ ne saurait être inférieur à 1/2 et qu’ils seront même toujours plus grands que cette fraction ; on a donc

aₙ> 1/2,

d’où

aₙ+1> 3/2,

et

2(aₙ+1)>3,

donc

1/(2(aₙ+1)) < 1/3 ;

mais on a, en général, par ce qui précède,

aₙ−1/aₙ₋₁−1 < 1/(2(aₙ+1)) ;

donc, à fortiori,

aₙ−1/aₙ₋₁−1 < 1/3,

aₙ−1< 1/3 (aₙ₋₁−1).

comme nous l’avions annoncé.

Cette circonstance facilite singulièrement le calcul des quantités a₁, a₂, a₃, …aₙ. On sait, en effet que, lorsque i est une très-petite fraction, on a sensiblement √(1±i)=1± 1/2 i; d’où l’on voit que, lorsqu’on sera parvenu à des termes très-peu différent de l’unité, on pourra poursuivre en remplaçant l’extraction de la racine de la quantité sous le radical par la réduction à moitié de sa différence avec l’unité.

Il résulte de là que dans la série a−1, a₁−1, a₂−1, …aₙ−1, chaque terme, que nous venons déjà de démontrer être moindre que le tiers de celui qui le précède immédiatement, tend sans cesse à n’en être plus que le quart. Soit, en effet, aₙ₋₁=1+i, i étant une très-petite fraction, nous aurons

aₙ=√((1+aₙ₋₁)/2)=√((2+i)/2)=√(1+1/2 i);

ce qui donnera sensiblement aₙ=1+1/4 i, on aura donc, aussi sensiblement,

aₙ−1/aₙ₋₁−1= 1/4 i/i=1/4 ;

ainsi, parvenue à ce point, la série a−1, a₁−1, a₂−1, …aₙ−1, sera facile à continuer, et on en conclura ensuite les termes correspondans à la série a, a₁, a₂, a₃, …aₙ.

On peut remarquer présentement que, si l’on avait rigoureusement

4xₙ³−3xₙ=1,

on en conclurait, en transposant et décomposant,

(2xₙ+1)²(2xₙ−1)=0;

d’où l’on voit que, tandis que l’une des racines des diverses transformées converge sans cesse vers l’unité les deux autres convergent en même temps vers la fraction −1/2. On pourra donc, passé un certain terme, tirer un parti avantageux de la méthode d’approximation de Newton, pour résoudre la dernière transformée, et remonter ensuite à la valeur de x, au moyen des relations établies ci-dessus entre x, x₁, x₂, x₃, …xₙ.

III. À l’aide de ces relations, la valeur de x peut être développée en fraction continue d’une forme fort élégante. L’équation 4xₙ³−3xₙ=aₙ donne, en transposant,

4xₙ³=3xₙ+aₙ;

mais l’équation xₙ₋₁=2xₙ²−1; donne aussi, en transposant,

2xₙ²=xₙ₋₁+1;

divisant donc la première par la seconde, il viendra

2xₙ=(3xₙ+aₙ)/(xₙ₋₁+1) ;

ou, en chassant le dénominateur, réduisant et transposant

2xₙxₙ₋₁=xₙ+aₙ;

d’où on tire

2xₙ₋₁=1+aₙ/xₙ=1+2aₙ/2xₙ ;

on aura donc cette suite d’équations

2x =1+2a₁/2x₁, 2x₁=1+2a₂/2x₂, 2x₂=1+2a₃/2x₃, ………2xₙ₋₁=1+c 2aₙ/2xₙ ;

d’où on conclura facilement

2x=1+2a₁/(1+2a₂/(1+2a₃/(1+…/(…/(…+2aₙ₋₁/(1+2aₙ/2xₙ ) )) ) ) )

fraction continue qui tendra continuellement à se résoudre dans la fraction périodique

1+2/(1+2/(1+2/(1+…/ …/… ) ) )

que l’on trouve être égale à 2; de sorte qu’en poussant le développement assez loin, on peut, sans erreur sensible, écrire

2x=1+2a₁/(1+2a₂/(1+2a₃/(1+…/(…/(…+2aₙ₋₁/(1+aₙ) )) ) ) )

IV. Le problème de la trisection de l’angle se réduisant, comme l’on sait, à la résolution d’une équation du troisième degré, dans le cas irréductible ; les formules que nous venons d’obtenir sembleraient pouvoir en offrir une solution approchée ; mais elle ne saurait être d’aucune utilité dans l’application aux arts. Heureusement on peut obtenir de ce problème une solution graphique à la fois très-simple et très-convergente.

On a, en effet, par les théorèmes connus,

Sin⁡.3aCos.a−Cos⁡.3aSin.a=Sin.(3a−a)=Sin⁡.2a=2Sin.aCos.a,

ou bien, en transposant,

Sin.a(2Cos.a+Cos⁡.3a)=Cos.aSin⁡.3a,

d’où

Sin.a=Sin⁡.3aCos.a/(2Cos.a+Cos⁡.3a)=Sin⁡.3a/(2+Cos⁡.3a/Cos.a).

Cela posé, considérons la formule

Sin.x₁=Sin⁡.3a/(2+Cos⁡.3a/Cos.x) ;

on en tirera, en prenant les différentielles logarithmiques

d⁡x₁Cos.x₁/Sin.x₁=−d⁡xCos⁡.3aSin.x/((2+Cos⁡.3a/Cos.x )Cos.²x) ;

ou en mettant pour 2+Cos⁡.3a/Cos.x valeur donnée par l’équation (1), et tirant la valeur de d⁡x₁/d⁡x,

d⁡x₁/d⁡x=−Cos⁡.3a/Sin⁡.3a.Sin.xSin.²x₁/Cos.²xCos.x₁ ;

mais, en comparant les équations (1, 2), on voit que, lorsque x=a, on a x₁=x=a ; donc, dans ce même cas, la valeur de d⁡x₁/d⁡x devient

−Tang.³a/Tang⁡.3a.

Donc si, dans la formule (1), on fait x=a+g et x₁=a−h, g étant un très-petit arc, on aura sensiblement

h=g.Tang.³a/Tang⁡.3a.

Cette expression devenant également nulle, soit que 3 a soit nul, soit qu’il soit égal à l’angle droit ; elle doit être susceptible d’un maximum entre ces deux limites. Si, dans la vue de le déterminer, on égale à zéro la différentielle de Tang.³a/Tang⁡.3a, il viendra, en supprimant le dénominateur et divisant par Sin.²aCos.²a,

(Cos⁡.3aCos.a−Sin⁡.3aSin.a)(Sin⁡.3aCos.a−Cos⁡.3aSin.a)=0;

ou bien

Sin⁡a2a.Cos⁡.4a=0,

ou simplement

Cos⁡.4a=0,

puisque Sin⁡.2a=0 répondrait au minimum. On aura donc, dans le cas du maximum,

4a=1/2 ϖ,

Cos⁡.2a=Cos.1/4 ϖ=1/√2 ;

de là

Tang.a=√(1−Cos⁡.2a/(1+Cos⁡.2a))=√(√2−1/(√2+1))=√2−1;

d’où

Tang.³a=5√2−7;

on aura d’ailleurs, dans ce cas,

Tang⁡.3aCot.a=1/Tang.a=1/√2−1=√2+1;

donc finalement on aura, dans le cas du maximum,

Tang.³a/Tang⁡.3a=(5√2−7)(√2−1)=17−12√2<0, 0294< 1/11 ;

c’est à-dire

h< g/33 ;

d’où il suit que, dans la formule (2), en mettant pour x une valeur qui diffère peu de a, la valeur qui en résultera pour x₁ ne différera de a que d’une quantité au moins 33 fois plus petite ; de sorte qu’en remettant cette nouvelle valeur pour x dans la même formule, et poursuivant toujours ainsi, on obtiendra une suite de valeurs x, x₁, x₂, x₃, … convergente vers a, telles que, dans le cas même le plus défavorable, la différence de chacune avec a sera plus de Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle 33} fois moindre que la différence avec le même arc de celle qui la précédera immédiatement.

Il n’est donc plus question que de trouver une construction qui réponde à ces indications, et représente la formule (2) ; or, c’est là une chose extrêmement facile. Soit, en effet, ASB (fig. 1) un angle donné égal à 3a, qu’il soit question de diviser en trois parties égales. De son sommet S comme centre, et avec un rayon arbitraire, soit décrit, entre ses côtés, un arc MN. Par le même sommet, soit élevée à l’un quelconque SA de ses côtés, et dans le sens de l’autre, la perpendiculaire SC, sur laquelle soit prise, à partir du point S une partie SD à peu près égale à la corde des deux tiers de l’arc MN; aux deux tiers de sa corde, par exemple. Du point D comme centre, et avec un rayon double de SM=SN, soit décrit un arc coupant en E le prolongement de SA; et soit menée NE, coupant SC en D; alors SD, sera une valeur plus approchée de la corde des deux tiers de l’arc MN; substituant donc le point D₁ au point D, on obtiendra, par un semblable procédé, un nouveau point D₂, tel que SD₂ sera une valeur beaucoup plus approchée encore ; en poursuivant donc toujours ainsi, un parviendra très-rapidement à une valeur extrêmement approchée de la corde des deux tiers de MN.

Cette construction est extrêmement facile à justifier ; soit, en effet, mené le sinus NP, et soit pris pour unité de longueur le rayon SM=SN; d’où DE=2; en nommant 2x et 2x₁, les arcs qui répondent aux cordes dont les longueurs sont SD et SD₁, on aura

2Sin.x₁=SD₁=NP.SE/PE =Sin⁡.3a SE/(SE+Cos⁡.3a)=2Sin⁡.3a/(2+2Cos⁡.3a/SE) ;

mais on a

SE=√(DE¯²−SD¯²)=√(4−4Sin.²x)=2Cos.x;

donc, en substituant et réduisant,

Sin.x₁=Sin⁡.3a/(2+2Cos⁡.3a/Cos.x)

qui est précisément notre formule (2).

Dans cette trisection, qui est plus simple, en quelque sorte, qu’une bissection, on peut, sans inconvénient, placer, dès l’abord, le point D d’une manière tout-à-fait arbitraire, et conséquemment le placer en S, ce qui est plus simple ; et dès la seconde opération ; l’erreur sera déjà peu sensible. On voit par là que, si l’on s’était trompé dans quelque opération, l’opération qui suivrait corrigerait aussitôt ce que celle-là aurait donné de défectueux ; ainsi qu’il arrive dans la méthode d’approximation de Newton pour les racines incommensurables des équations numériques.

