LEÇON ONZIÈME.
Suite de l’analyse des sections angulaires, ou l’on démontre les formules générales des tables données dans la leçon précédente.
Reprenons les expressions générales de
et
données dans la Leçon précédente ; faisant
![{\displaystyle \cos x=p,\quad \mathrm {et\ par\ cons{\acute {e}}quent} \quad \sin x={\sqrt {1-p^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b111b24890ebf9fca2d6fe2e51c68cc9dd75119b)
on aura
![{\displaystyle {\begin{aligned}2\cos mx=&\left(p+{\sqrt {p^{2}-1}}\right)^{m}+\left(p-{\sqrt {p^{2}-1}}\right)^{m},\\2\sin mx{\sqrt {-1}}=&\left(p+{\sqrt {p^{2}-1}}\right)^{m}-\left(p-{\sqrt {p^{2}-1}}\right)^{m}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d74584fafe7bce421ff9b97186f3166027139fd2)
Nous observerons d’abord que ces formules sont toujours vraies, quel que soit le nombre
parce qu’elles ont été déduites de l’équation générale
![{\displaystyle \cos x\pm \sin x{\sqrt {-1}}=e^{\pm x{\sqrt {-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cc8b995d7664f1cfb66f1ac378300aeef5ce9b2)
élevée à la puissance
Ainsi les doutes qui pourraient rester à cet égard disparaissent ici entièrement.
Tout se réduit donc à développer, suivant les puissances de
l’expression
![{\displaystyle \left(p\pm {\sqrt {p^{2}-1}}\right)^{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0c7c4d8518f49c58bbdd1843a3a00e3197ca85b)
Comme les quantités
et
sont les deux racines de l’équation
![{\displaystyle z^{2}-2pz+1=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a6fe6dbe5bc551f7f58fdea5dbabbb29681e216)
je ferai usage du théorème que j’ai démontré dans la Note XI de la Résolution des équations numériques, sur la somme des puissances des racines des équations.
Suivant ce théorème, si l’on a une équation quelconque de la forme
![{\displaystyle u-x+f(x)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6751db464980977e017e120b9e3df700b9d1c11)
où
est l’inconnue, la formule
![{\displaystyle u^{-m}+\left(u^{-m}\right)'f(u)+\left({\frac {\left(u^{-m}\right)'f^{2}(u)}{2}}\right)'+\left({\frac {\left(u^{-m}\right)'f^{3}(u)}{2.3}}\right)''+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8be26d08cd1e59520baed9eab676e539f48b4da)
n’étant continuée que tant qu’il y aura des puissances négatives de
donne la somme de toutes les racines élevées chacune à la puissance
mais, étant continuée à l’infini, elle ne donne que la même puissance de la plus petite des racines. Les quantités
sont le carré, le cube, etc. de
et les traits appliqués aux parenthèses désignent les fonctions dérivées des fonctions de
renfermées entre ces parenthèses.
Ainsi, dans notre cas, si l’on change
en
et qu’on divise l’équation par
coefficient de
elle deviendra
![{\displaystyle {\frac {1}{2p}}-x+{\frac {x^{2}}{2p}}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faa909115b11965e60c16c28913f3cba40cff370)
laquelle, étant comparée à
![{\displaystyle u-x+f(x)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6751db464980977e017e120b9e3df700b9d1c11)
donne
![{\displaystyle u={\frac {1}{2p}},\quad {\text{et}}\quad f(x)={\frac {x^{2}}{2p}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49f3cef82394f7fc207a506444e5c00b5348886f)
donc
![{\displaystyle f(u)={\frac {u^{2}}{2p}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ff32ca127d4da18cda1209058630f14fce514e)
de manière que la série précédente deviendra
![{\displaystyle u^{-m}+{\frac {\left(u^{-m}\right)'u^{2}}{2p}}+\left({\frac {\left(u^{-m}\right)'u^{4}}{2(2p)^{2}}}\right)'+\left({\frac {\left(u^{-m}\right)'u^{6}}{2.3.(2p)^{3}}}\right)''+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fbf1406cfb6e335fd7a1b7bc392bc1159cbd8a6)
où il faudra faire
après avoir pris les fonctions dérivées désignées par les traits appliqués aux parenthèses.
Or
![{\displaystyle {\begin{aligned}&\left(u^{-m}\right)'=-mu^{-m-1},\\&\left(\left(u^{-m}\right)'u^{4}\right)'\,=\left(-mu^{-m+3}\right)'\,=m(m-3)u^{-m+2},\\&\left(\left(u^{-m}\right)'u^{6}\right)''=\left(-mu^{-m+5}\right)''=-m(m-5)(m-4)u^{-m+3},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01f01e70204ab6da3b21028493beb9ca1255bb29)
Ainsi la série deviendra
![{\displaystyle u^{-m}-{\frac {m}{2p}}u^{-m+1}+{\frac {m(m-3)}{2.(2p)^{2}}}u^{-m+2}-{\frac {m(m-4)(m-5)}{2.3.(2p)^{3}}}u^{-m+3}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9432fba1adfc6be17edb2c970fe178f20a6dda2d)
Faisons maintenant
et l’on aura la série
![{\displaystyle (2p)^{m}-m(2p)^{m-2}+{\frac {m(m-3)}{2}}(2p)^{m-4}-{\frac {m(m-4)(m-5)}{2.3}}(2p)^{m-6}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00fa3e753d81c1f795b3ff424fd88e3903b74164)
laquelle, étant continuée seulement tant qu’il y aura des puissances négatives de
c’est-à-dire des puissances positives de
exprimera la valeur de
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m}+\left(p-{\sqrt {p^{2}-1}}\right)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec2ca9fb725403cabea9c19d5ac889800ef64f81)
à cause de
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)\left(p-{\sqrt {p^{2}-1}}\right)=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/116b592c10d1c046bae68ec972f082cd25ae8100)
Ainsi, dans cet état, la série dont il s’agit donnera la valeur de
ce qui s’accorde avec la formule de la Table (A).
Mais, si l’on continue la série à l’infini, alors elle ne donnera que la valeur de
![{\displaystyle \left(p-{\sqrt {p^{2}-1}}\right)^{-m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcde1278fa5c70597ef7fa1c394bdebd43001e17)
puisque
est la plus petite des deux racines ; ou, ce qui revient au même, elle donnera la valeur de
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de8d00483d1595f7ed9c9d2ca4fbdde7a6dc1260)
Pour nous convaincre en effet que la série précédente, prise dans toute son étendue, n’est que le développement de cette quantité, nous allons chercher ce développement par une marche directe, ce qui servira d’exemple de la manière d’employer les fonctions dérivées dans ces sortes de recherches.
Supposons donc qu’il s’agisse de développer l’expression
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e80370627739970206060505ffcc9be7c12aba9d)
dans une série descendante de la forme
![{\displaystyle \mathrm {A} p^{m}+\mathrm {B} p^{m-1}+\mathrm {C} p^{m-2}+\mathrm {D} p^{m-3}+\ldots \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab449d422253ec1efbc0cb68356d3f03d081fe06)
si l’on divise de part et d’autre par
et qu’on fasse
on aura
![{\displaystyle \left(1+{\sqrt {1-z^{2}}}\right)^{m}=\mathrm {A} +\mathrm {B} z+\mathrm {C} z^{2}+\mathrm {D} z^{3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f2b82bf273e4460f515c937bb753d1743055001)
où l’on voit que la série ne peut avoir que des puissances paires de ![{\displaystyle z.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd7f273b229260c8fe9aa42378b0471336394cc2)
Ainsi, en faisant
on aura la fonction
![{\displaystyle \left(1+{\sqrt {1-u}}\right)^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c056351913662fe9b6d477cd0cdc50a3d6e540d5)
à développer suivant les puissances de ![{\displaystyle u.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edd5636410da69bac33da075162221527401793c)
Donc, par la formule générale donnée à la fin de la Leçon IX, si l’on fait
![{\displaystyle f(u)=\left(1+{\sqrt {1-u}}\right)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19620f1460d2dd3637d9ccf777eebfc21693f85f)
on aura
![{\displaystyle \left(1+{\sqrt {1-u}}\right)^{m}=f+uf'+{\frac {u^{2}}{2}}f''+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4a151d19ab123c98910c1c1373438f72bc2ccf2)
où
sont les valeurs de
lorsque
et forment ici les coefficients ![{\displaystyle \mathrm {A,C} ,\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bd506c9ae82f9686036f9b0a64948ce3fed2c05)
Ainsi l’on trouvera d’abord
ensuite on aura
![{\displaystyle f'=-{\frac {m}{2}}{\frac {\left(1+{\sqrt {1-u}}\right)^{m-1}}{\sqrt {1-u}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/284f18c49ddb6ee4d9e28d74e3a5553019db2530)
et de là
![{\displaystyle f'=-m.2^{m-2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b091c8e9569e4b51ea6a600ea88d991b4ded3b13)
et ainsi de suite.
On peut de cette manière avoir successivement tous les coefficients de la série ; mais on n’en aura pas la loi, ce qui est le plus essentiel.
Pour la trouver d’une manière générale, je reprends la formule en
et je la suppose égale à
ce qui me donne l’équation
![{\displaystyle y=\left(p+{\sqrt {p^{2}-1}}\right)^{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06805f82bd487a0629276001fa523126af614611)
Je remarque maintenant qu’un des principaux avantages des fonctions dérivées est de pouvoir faire disparaître dans les équations les puissances et les radicaux. En effet, en prenant les fonctions dérivées par rapport à
et regardant
comme fonction de
on a
![{\displaystyle y'=m\left(p+{\sqrt {p^{2}-1}}\right)^{m-1}\left(1+{\frac {p}{\sqrt {p^{2}-1}}}\right)=m{\frac {\left(p+{\sqrt {p^{2}-1}}\right)^{m}}{\sqrt {p^{2}-1}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/645ae2d07031ef3d21a3d3f80061d85e21d53401)
cette équation, divisée par l’équation primitive, donne
![{\displaystyle {\frac {y'}{y}}={\frac {m}{\sqrt {p^{2}-1}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/badb6a4c057adc52bc4ebde1dadd7e8332637b9f)
multipliant en croix et carrant, on aura
![{\displaystyle y'^{2}\left(p^{2}-1\right)=m^{2}y^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b82da925354d280b3f73e5dcb02271bebcb7c9d4)
Prenant de nouveau les fonctions dérivées par rapport à
on obtiendra
![{\displaystyle 2y'y''\left(p^{2}-1\right)+2y'^{2}p=2m^{2}yy',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9b30dc17125bada3f01d336aab99f31ccdb0e99)
d’où, en divisant par
résulte cette équation du second ordre en
et ![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle m^{2}y-py'-\left(p^{2}-1\right)y''=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a6a9f618e56ce4e6b6ace3ad96e775cbf5c9140)
laquelle étant, comme l’on voit, linéaire par rapport à
et dégagée de radicaux, est très propre au développement de
en série.
En effet, il n’y a qu’à substituer pour
la série
![{\displaystyle \mathrm {A} p^{m}+\mathrm {B} p^{m-1}+\mathrm {C} p^{m-2}+\mathrm {D} p^{m-3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38ab2cf88b7cac7a855840be9be9e2f2116c8876)
et par conséquent pour ![{\displaystyle y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a535de94a2183d7130731eab8a83531d7c35c6b)
![{\displaystyle m\mathrm {A} p^{m-1}+(m-1)\mathrm {B} p^{m-2}+(m-2)\mathrm {C} p^{m-3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dd8d7aaa0c70fcda0595af51971e9a5e782e86c)
et pour
![{\displaystyle m(m-1)\mathrm {A} p^{m-2}+(m-1)(m-2)\mathrm {B} p^{m-3}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4372a11a175f82fc33a73e74a04e79249581e519)
Ordonnant les termes suivant les puissances de
on aura
![{\displaystyle \left[m^{2}\mathrm {A} -m\mathrm {A} -m(m-1)\mathrm {A} \right]p^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81dca5aadda6f1993a08235696c7964a65579a7f)
![{\displaystyle {\begin{aligned}&+\left[m^{2}\mathrm {B} -(m-1)\mathrm {B} -(m-1)(m-2)\mathrm {B} \right]p^{m-1}\\&+\left[m^{2}\mathrm {C} -(m-2)\mathrm {C} -(m-2)(m-3)\mathrm {C} +m(m-1)\mathrm {A} \right]p^{m-2}\\&+\left[m^{2}\mathrm {D} -(m-3)\mathrm {D} -(m-3)(m-4)\mathrm {D} +(m-1)(m-2)\mathrm {B} \right]p^{m-3}\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots =0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef26ff541b7bdc16572a861c078a4c07227614f0)
Comme cette équation doit avoir lieu indépendamment de
il faudra égaler à zéro le coefficient de chaque terme.
Le coefficients de
disparaissant de lui-même, c’est une marque que le coefficient
demeure indéterminé.
Le coefficient de
se réduit à
qui ne peut devenir nul à moins de faire
Or,
étant nul, il est facile de voir que les coefficients de
ne pourront aussi devenir nuls qu’en faisant
Maintenant le coefficient de
se réduit à
![{\displaystyle m^{2}\mathrm {C} -(m-2)^{2}\mathrm {C} +m(m-1)\mathrm {A} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23e391712dfd2152b7731baa737f6aee875ee9a7)
celui de
se réduit de même à
![{\displaystyle m^{2}\mathrm {E} -(m-4)^{2}\mathrm {E} +(m-2)(m-3)\mathrm {C} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c2dc68cdc29b81b4becd071531568f767b0b5eb)
et ainsi des autres.
On aura donc, en réduisant, les équations
![{\displaystyle {\begin{aligned}4(m-1)\mathrm {C} +&m(m-1)\mathrm {A} =0,\\8(m-2)\mathrm {E} +&(m-2)(m-3)\mathrm {C} =0,\\12(m-3)\mathrm {G} +&(m-4)(m-5)\mathrm {E} =0,\\.\ldots \ldots \ldots \ldots &\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43210c303bef3ef621665e188d01e5fef21431ed)
lesquelles donnent la loi suivant laquelle les coefficients
dépendent les uns des autres.
On tire de ces équations
![{\displaystyle {\begin{aligned}&\mathrm {C} =-{\frac {m\mathrm {A} }{4}},\\&\mathrm {E} =-{\frac {(m-3)\mathrm {C} }{8}}={\frac {m(m-3)\mathrm {A} }{4.8}},\\&\mathrm {G} =-{\frac {(m-4)(m-5)\mathrm {E} }{12(m-3)}}=-{\frac {m(m-4)(m-5)\mathrm {A} }{4.8.122}},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a3f95cef077764f1b25f649a6d612f04401705a)
Or nous avons vu que le premier coefficient
est égal à
ainsi on aura ce développement
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d88c5617c44209e140e504db64a6366eedf10cec)
![{\displaystyle (2p)^{m}-m(2p)^{m-2}+{\frac {m(m-3)}{2}}(2p)^{m-4}-{\frac {m(m-4)(m-5)}{2.3}}(2p)^{m-6}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00fa3e753d81c1f795b3ff424fd88e3903b74164)
qui s’accorde avec la série trouvée ci-dessus.
Cherchons de même le développement de
Comme cette expression ne diffère de celle que nous venons de traiter que par le signe du radical, lequel ne se trouve plus dans l’équation dérivée en
dont nous avons fait usage, il s’ensuit que la même formule, que nous venons d’obtenir, pourra encore s’appliquer à ce développement. Il faut seulement remarquer que, comme les premiers termes du radical
sont
le premier terme du développement dont il s’agit sera
de sorte qu’ici il faudra prendre
négativement et, comme l’équation dérivée en
ne contient que
on aura nécessairement la même série en
changeant seulement
en
ce qui suit d’ailleurs aussi de ce que
![{\displaystyle \left(p-{\sqrt {p^{2}-1}}\right)^{m}=\left(p+{\sqrt {p^{2}-1}}\right)^{-m}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bdac8fba02036bacb40ae3ad7b7f401da98ee91)
on aura donc
![{\displaystyle \left(p-{\sqrt {p^{2}-1}}\right)^{m}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96cf56f23d609bb9b297a5646b54587eaddd8087)
![{\displaystyle (2p)^{-m}+m(2p)^{-m-2}+{\frac {m(m+3)}{2}}(2p)^{-m-4}+{\frac {m(m+4)(m+5)}{2.3}}(2p)^{-m-6}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a1bc58d946ab19cb8fb6829935caff4d199111)
Si maintenant on réunit ces deux séries, on aura la valeur de
donc
![{\displaystyle 2\cos mx=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d7b0820ba22f38a8042ac91df4c0767bf1574a7)
![{\displaystyle {\begin{aligned}&(2p)^{m}-m(2p)^{m-2}+{\frac {m(m-3)}{2}}(2p)^{m-4}-{\frac {m(m-4)(m-5)}{2.3}}(2p)^{m-6}+\ldots \\&+(2p)^{-m}+m(2p)^{-m-2}+{\frac {m(m+3)}{2}}(2p)^{-m-4}+{\frac {m(m+4)(m+5)}{2.3}}(2p)^{-m-6}+\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8991dd8af7e5cfe9763a3dd72ea9458501fdf8aa)
C’est le développementcomplet de
en puissances de
pour une valeur quelconque de
Si maintenant on fait ici
on a
![{\displaystyle \cos x=p-{\frac {1}{4p}}-{\frac {1}{16p^{3}}}-{\frac {2}{64p^{5}}}-\ldots +{\frac {1}{4p}}+{\frac {1}{16p^{3}}}+{\frac {2}{64p^{5}}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d73709e9e90775ce82d143103d840d756e558fa)
où l’on voit que les deux séries se réduisent au premier terme ![{\displaystyle p.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88532f4eab1d4cef71ef96c0f8c98cac36fd9257)
En donnant à
d’autres valeurs entières et positives quelconques, on trouvera toujours que la seconde série, qui contient les puissances négatives de
servira à détruire dans la première série tous les termes qui contiendront ces mêmes puissances ; c’est ce qu’on peut démontrer en général par la loi même des deux séries ; de sorte que le résultat se réduira aux seuls termes de la première qui contiennent des puissances positives de
ce qui revient à ne conserver dans cette série que les termes où
est élevée à une puissance positive, ou nulle, comme nous l’avons trouvé plus haut a priori.
Mais lorsqu’on donne à
une valeur fractionnaire quelconque, les deux séries ne se détruisent plus, et leur réunion est nécessaire pour avoir la valeur complète de
En prenant la différence des deux séries au lieu de leur somme, on aurait la valeur de
mais
serait exprimé de cette manière par des séries infinies et imaginaires. Pour avoir une expression réelle, il suffit de considérer que la fonction dérivée de
est
et que celle de
est
puisque
![{\displaystyle p=\cos x\quad {\text{et}}\quad q=\sin x\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c383786b76fdcd6f9f08a11c4949b4e236719d15)
de manière qu’en prenant les fonctions dérivées des séries trouvées
pour
![{\displaystyle \cos mx\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0d6ee499665397bb75a12e738729136b2bfaffc)
on aura sur-le-champ, en changeant les signes et divisant par
![{\displaystyle {\begin{aligned}\sin mx=&\left[(2p)^{m-1}-(m-2)(2p)^{m-3}+{\frac {(m-3)(m-4)}{2}}(2p)^{m-5}-\ldots \right]q\\&-\left[(2p)^{-m-1}+(m+2)(2p)^{-m-3}+{\frac {(m+3)(m+4)}{2}}(2p)^{-m-5}+\ldots \right]q.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17a620929472734bd9756a10c6a805287c6bd972)
Cette expression se réduit aussi à une forme finie, lorsque
est un nombre entier, par la destruction mutuelle des termes qui contiendraient des puissances négatives de
de sorte que,
étant un nombre positif entier, il suffira de prendre dans la première série les termes qui contiendront des puissances positives de
ce qui s’accorde avec la formule de la Table (B).
Lorsque
est un nombre fractionnaire, les deux séries vont à l’infini, et, jointes ensemble, elles donnent la vraie valeur de
développée suivant les puissances descendantes de
comme cela a lieu pour la valeur de
Euler a le premier reconnu cette espèce d’imperfection des formules connues des Tables (A) et (B) ; il a fait voir, par une analyse à peu près semblable à celle que nous venons de donner, que ces formules, pour être générales et applicables à des valeurs quelconques de
doivent être complétées par des valeurs semblables où l’exposant
est négatif.
J’ai cru devoir entrer dans ce détail pour l’instruction des jeunes analystes, et surtout pour montrer que, si l’Analyse paraît quelquefois en défaut, c’est toujours faute de l’envisager d’une manière assez étendue et de la traiter avec toute la généralité dont elle est susceptible. (Voyez le Tome IX des Nova Acta de l’Académie de Pétersbourg.)
Nous venons de développer les expressions
![{\displaystyle \left(p\pm {\sqrt {p^{2}-1}}\right)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82b63bce062e0d948ba3eee8de21ac10abf73ab4)
suivant les puissances descendantes de
on peut de même, et par le moyen de la même équation dérivée en
les développer suivant les puissances ascendantes de
ce qui nous donnera les formules des
Tables (C), (D), (E), (F), et pourra même servir à les compléter pour toutes les valeurs de
Supposons donc, en général,
![{\displaystyle y=\mathrm {A} +\mathrm {B} p+\mathrm {C} p^{2}+\mathrm {D} p^{3}+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/392642fecfc1ef2b72e98e7dabaa727daf43bff5)
Substituant dans la même équation, et ordonnant suivant les puissances de
on aura
![{\displaystyle {\begin{aligned}m^{2}&\mathrm {A+2C} ,\\&+\left(m^{2}\mathrm {B-1B+2.3D} \right)p\\&+\left(m^{2}\mathrm {C-2C+3.4E-2C} \right)p^{2}\\&+\left(m^{2}\mathrm {D-3D+4.5F-2.3D} \right)p^{3}\\&+\left(m^{2}\mathrm {E-4E+5.6G-3.4E} \right)p^{4}\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots =0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4440bea6fdeaba0db7aaf0070cbddadf048d6e04)
Égalant donc à zéro chacun des coefficients des puissances de
on aura, en réduisant,
![{\displaystyle {\begin{aligned}m^{2}\mathrm {A+2C} =0,&\\\left(m^{2}-\ \ 1\right)\mathrm {B+2.3D} =0,&\\\left(m^{2}-\ \ 4\right)\mathrm {C+3.4E} =0,&\\\left(m^{2}-\ \ 9\right)\mathrm {D+4.5F} =0,&\\\left(m^{2}-16\right)\mathrm {E+5.6G} =0,&\\..\ldots \ldots \ldots \ldots \ldots \ldots \ldots ,&\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07fcd20ce3fd6e44c18cc90293a75ecff0214ee0)
d’où l’on tire, en substituant successivement les valeurs précédentes,
![{\displaystyle {\begin{aligned}&\mathrm {C} =-{\frac {m^{2}\mathrm {A} }{2}},\\&\mathrm {D} =-{\frac {\left(m^{2}-1\right)\mathrm {B} }{2.3}},\\&\mathrm {E} ={\frac {m^{2}\left(m^{2}-4\right)\mathrm {A} }{2.3.4}},\\&\mathrm {F} ={\frac {\left(m^{2}-1\right)\left(m^{2}-9\right)\mathrm {B} }{2.3.4.5}},\\&\mathrm {G} =-{\frac {m^{2}\left(m^{2}-4\right)\left(m^{2}-16\right)\mathrm {A} }{2.3.4.5.6}},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e90cbae167653b0fa2d5d1ee7ce3417942ac728)
Les coefficients
et
étant restés indéterminés, il faudra les déterminer par la nature de la fonction
Or il est visible qu’on a
![{\displaystyle \mathrm {A} =y,\quad \mathrm {B} =y',}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e70ddce43d150595b9eb6ef3f3ea2040daf3fecf)
en faisant
Ainsi, puisque la fonction
est égale à
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2b848988b16e61cf47d15bc72d628a7d554f40c)
on aura d’abord, en faisant ![{\displaystyle p=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc58a9d7d5e8eefcb5ecec886c7e909ff85960c9)
![{\displaystyle \mathrm {A} =\left({\sqrt {-1}}\right)^{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31c87a4bf89ad1160956be6c806be8d8facee593)
Ensuite, en faisant
dans la fonction dérivée
trouvée ci-dessus, on aura
![{\displaystyle y'=m\left({\sqrt {-1}}\right)^{m-1}=\mathrm {B} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecf50d6c1ca6f32d0854e5ddd4dcfade72b9d868)
Substituant donc ces valeurs de
et
on aura le développement de l’expression
![{\displaystyle \left(p+{\sqrt {p^{2}-1}}\right)^{m}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de8d00483d1595f7ed9c9d2ca4fbdde7a6dc1260)
Pour avoir celui de l’expression
![{\displaystyle \left(p-{\sqrt {p^{2}-1}}\right)^{m},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efd690c11961e453fbd054dc2270e4da479c79fc)
il n’y aura qu’à prendre le radical
en moins ; mais, comme ce radical n’entre plus dans l’équation dérivée en
par laquelle nous avons déterminé les coefficients de la série, il s’ensuit qu’on aura la même série pour cette dernière expression que pour la première, aux coefficients
et
près, qui pourront être différents ; et on trouvera ici, par le même procédé,
![{\displaystyle \mathrm {A} =\left(-{\sqrt {-1}}\right)^{m},\quad \mathrm {B} =m\left(-{\sqrt {-1}}\right)^{m-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfd726bfe9eace79b8273f52ee91b84d9118aef7)
Donc, puisque la somme de ces deux expressions donne la valeur de
comme on l’a vu plus haut, on aura cette valeur en substituantdans la série
la place de
et
la somme des deux valeurs qu’on vient de trouver, c’est-à-dire en faisant
![{\displaystyle {\begin{aligned}\mathrm {A} =&\left({\sqrt {-1}}\right)^{m}+\left(-{\sqrt {-1}}\right)^{m},\\\mathrm {B} =&m\left({\sqrt {-1}}\right)^{m-1}+m\left(-{\sqrt {-1}}\right)^{m-1}\,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c3cd36eb2b597b977c3e14aa49002b55ef866c7)
d’où il est facile de voir que, lorsque
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
est un nombre entier impair, on aura
![{\displaystyle \mathrm {A} =0,\ \mathrm {B} =\pm 2m,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5333d6915e0d4b3586950a87fe4a5774ffbd8a38)
et, lorsque
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
sera pair, on aura
Mais, pour avoir les valeurs de
et
dégagées d’imaginaires pour toutes les valeurs de
il n’y a qu’à employer la formule générale
![{\displaystyle \left(\cos x+\sin x{\sqrt {-1}}\right)^{m}=\cos mx+\sin mx{\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b10ebb6b3fbb1b0c5f323383568f2ada8cd1fe3e)
et y supposer
égal à l’angle droit, car alors
et
ainsi, en adoptant l’angle droit pour l’unité des angles, et prenant le radical
en
et en
on aura
![{\displaystyle \left(\pm {\sqrt {-1}}\right)^{m}=\cos m\pm \sin m{\sqrt {-1}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9a9c607874187d166900d827c453c2c67185992)
et les valeurs de
et
deviendraient
![{\displaystyle \mathrm {A} =2\cos m,\quad \mathrm {B} =2m\cos(m-1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e544c7d4ff3ebdf8e9fec016793c25826db80e5)
On aura donc en général, pour un nombre quelconque
![{\displaystyle \cos mx=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7af9b1d2b86281748f587bc775392a592de46da8)
![{\displaystyle {\begin{aligned}&\left[1-{\frac {m^{2}}{2}}p^{2}+{\frac {m^{2}\left(m^{2}-4\right)}{2.3.4}}p^{4}-{\frac {m^{2}\left(m^{2}-4\right)\left(m^{2}-16\right)}{2.3.4.5.6}}p^{6}+\ldots \right]\cos m\\&+\left[mp-{\frac {m\left(m^{2}-1\right)}{2.3}}p^{3}+{\frac {m\left(m^{2}-1\right)\left(m^{2}-9\right)}{2.3.4.5}}p^{5}-\ldots \right]\cos(m-1).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f41988cc603edca50b3c9ff87bef95a97f4b210b)
Tel est le développement complet de
en série ascendante de
ou
On voit que, lorsque
est un nombre entier, il y a toujours une des deux séries partielles qui se termine, et que l’autre qui irait à l’infini disparaît parce qu’elle se trouve toute multipliée par un coefficient
ou
qui devient nul. On a alors l’unc ou l’autre des Tables (C) et (E). Mais, lorsque
est une fraction quelconque, les deux séries vont à l’infini, et leur réunion est nécessaire pour avoir la valeur complète de
ce que personne, ce me semble, n’avait encore observé.
En prenant les fonctions dérivées, comme on a fait plus haut, pour déduire la valeur de
de celle de
on aura aussi, à cause de
![{\displaystyle {\begin{aligned}\sin mx=&-\left[mp+{\frac {m\left(m^{2}-4\right)}{2.3}}p^{3}+{\frac {m\left(m^{2}-4\right)\left(m^{2}-16\right)}{2.3.4.5}}p^{5}-\ldots \right]q\cos m\\&+\left[1-{\frac {m^{2}-1}{2}}p^{2}+{\frac {\left(m^{2}-1\right)\left(m^{2}-9\right)}{2.3.4}}p^{4}-\ldots \right]q\cos(m-1)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cba88ffdb9b08111700be1bc861f9b6a227c762)
pour le développement complet de
quel que soit
ou l’on voit que, lorsque
est un nombre entier, on a les formules des Tables (D) et (F).
Il nous reste à considérer encore les développements de
et
suivant les puissances ascendantes de
conformément aux Tables (G), (H), (I), (K).
Pour cela nous remarquerons d’abord qu’en faisant
on a
et les expressions générales de
et
deviennent
![{\displaystyle {\begin{aligned}2\cos mx=&\left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m}+\left({\sqrt {1-q^{2}}}-q{\sqrt {-1}}\right)^{m},\\2\sin mx{\sqrt {-1}}=&\left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m}-\left({\sqrt {1-q^{2}}}-q{\sqrt {-1}}\right)^{m}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd65bda25982a20b11133cd6a82dc8dc4a7aaa3)
Il ne s’agit donc que de développer les formules
![{\displaystyle \left({\sqrt {1-q^{2}}}\pm q{\sqrt {-1}}\right)^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebc175699b3d98114c2e3aca0536ae4f2513e495)
en puissances ascendantes de ![{\displaystyle q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b77c4dfff8774d73f815f799aa68d83a96d7095)
Faisons
![{\displaystyle \left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m}=z\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a20672d92573fa9dac1c1092104279646c2f06b3)
on aura, en prenant les fonctions dérivées par rapport à ![{\displaystyle q,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aa74b799849683cad6a0b79ebd9bf58bdf9890a)
![{\displaystyle {\begin{aligned}z'&=m\left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m-1}\left(-{\frac {q}{\sqrt {1-q^{2}}}}+{\sqrt {-1}}\right)\\&={\frac {m\left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m-1}\left({\sqrt {1-q^{2}}}{\sqrt {-1}}-q\right)}{\sqrt {1-q^{2}}}}\\&={\frac {m{\sqrt {-1}}\left({\sqrt {1-q^{2}}}+q{\sqrt {-1}}\right)^{m}}{\sqrt {1-q^{2}}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3def2f379e6eb392980f1494d671ec0629f2345)
Divisant cette équation par l’équation primitive, on a
![{\displaystyle {\frac {z'}{z}}={\frac {m{\sqrt {-1}}}{\sqrt {1-q^{2}}}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc81a0b12e07961e52d248bc701cbd0978b86c3d)
multipliant en croix et carrant, on aura
![{\displaystyle z'^{2}\left(1-q^{2}\right)=-m^{2}z^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1656f02fce821570520da90cdb107569c5dad137)
Prenant de nouveau les fonctions dérivées et divisant par
on obtiendra cette équation du second ordre en
![{\displaystyle m^{2}z-qz'-\left(q^{2}-1\right)z''=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d60acd9d0f9fa007adc8e0e61fffc59b0714de0)
qui est, comme l’on voit, entièrement semblable à l’équation en
et
trouvée plus haut.
Ainsi, en supposant
![{\displaystyle z=\mathrm {A} +\mathrm {B} q+\mathrm {C} q^{2}+\mathrm {D} q^{3}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c0b3210c927bd7ab29134e5092ddda7529f71f3)
on trouvera les mêmes valeurs des coefficients ; mais, comme les deux premiers
et
demeurent indéterminés, ils pourront être différents, à raison de la diversité des fonctions
et
en
et en ![{\displaystyle q.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b77c4dfff8774d73f815f799aa68d83a96d7095)
Pour trouver ici ces deux coefficients, ce qu’il y a de plus simple, c’est de chercher par le développementactuel les deux premiers termes de la série. Or, puisque
donne
![{\displaystyle 1-{\frac {q^{2}}{2}}+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40bbd56303075380cdf70b6447d88064151bb296)
il est évident que les deux premiers termes de
![{\displaystyle \left(1+q{\sqrt {-1}}-{\frac {q^{2}}{2}}+\ldots \right)^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b6febcb6b908916d2f51c24bbf5e5b6f4abad75)
sont
ainsi l’on aura
![{\displaystyle \mathrm {A} =1,\quad \mathrm {B} =m{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c780191ec068eddc44b6ddfe2b74b3fdc4198c18)
Le développement de
![{\displaystyle \left({\sqrt {1-q^{2}}}-q{\sqrt {-1}}\right)^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e9b1a9db42ca8acbc0983f84c1960e7ffa64d77)
sera le même en changeant seulement
en
ainsi l’on aura, relativement à ce développement,
![{\displaystyle \mathrm {A} =1,\quad \mathrm {B} =-m{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f06f4e78880635de379d2017bff843bd8fd81479)
Donc, pour avoir la somme des deux développements, il n’y aura qu’à prendre pour
et
la somme des deux valeurs correspondantes, ce qui donne
![{\displaystyle \mathrm {A} =2,\quad \mathrm {B} =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4cdbe5815f54c8e96a362ccf083bab17bee7f35)
Et, pour avoir la différence des mêmes développements, on prendra la différence des valeurs correspondantes de
et
ce qui donnera
![{\displaystyle \mathrm {A} =0,\quad \mathrm {B} =2m{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b89be4763211d04f252997c71cb84ecfee8b040)
Faisant ces substitutions, on aura donc, en divisant par
et par
![{\displaystyle {\begin{aligned}\cos mx=&1-{\frac {m^{2}}{2}}q^{2}+{\frac {m^{2}\left(m^{2}-4\right)}{2.3.4}}q^{4}-{\frac {m^{2}\left(m^{2}-4\right)\left(m^{2}-16\right)}{2.3.4.5.6}}q^{6}+\ldots ,\\\sin mx=&mq-{\frac {m\left(m^{2}-1\right)}{2.3}}q^{3}+{\frac {m\left(m^{2}-1\right)\left(m^{2}-9\right)}{2.3.4.5}}q^{5}-\ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/146d463d685964fcf7d59ad3837f56120a0e3d4d)
Ces formules sont, comme l’on voit, les mêmes que celles des Tables (I) et (H) ; mais, par la manière dont nous venons de les trouver, on voit en même temps qu’elles sont générales pour des valeurs quelconques de
Cependant, comme la première ne se termine que lorsque
est un nombre entier pair, et que la seconde ne se termine que lorsque
est un nombre entier impair, elles ne peuvent servir pour la section des angles que dans ces cas ; mais on peut, en prenant les fonctions dérivées, comme nous l’avons fait ci-dessus, déduire de ces mêmes formules d’autres formules qui se termineront justement dans les cas où celles-ci vont à l’infini. Pour cela, on se rappellera que les fonctions dérivées de
et
sont
et
et que celles de
et
sont
et
de sorte que les deux équations fourniront, par la dérivation, ces deux-ci :
![{\displaystyle {\begin{aligned}\sin mx=&p\left[mq-{\frac {m\left(m^{2}-4\right)}{2.3}}q^{3}+{\frac {m\left(m^{2}-4\right)\left(m^{2}-16\right)}{2.3.4.5}}q^{5}-\ldots \right],\\\cos mx=&p\left[1-{\frac {m^{2}-1}{2}}q^{2}+{\frac {\left(m^{2}-1\right)\left(m^{2}-9\right)}{2.3.4}}q^{4}-\ldots \right],\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7623c7389054b76ccc347ca0d4679aed36a3e99)
qui répondent, comme l’on voit, aux formules des Tables (K) et (G), et qui sont par conséquent aussi générales pour des valeurs quelconques de
Ainsi toutes les formules de ces différentes Tables sont démontrées d’une manière générale.
Le théorème de Cotes est si intimement lié à la théorie des sections angulaires, que nous ne pouvons nous dispenser d’en dire un mot ici.
On ignore comment Cotes l’a trouvé, et on en a donné après sa mort différentes démonstrations plus ou moins simples, et même plus ou moins rigoureuses. Sans avoir recours aux expressions imaginaires comme on le fait communément, on peut le déduire directement des formules mêmes données par Viète, que nous avons rapportées dans la Table (A) ; et il est vraisemblableque c’est ainsi que Cotes y est parvenu.
En effet, si l’on multiplie ces formules par
et qu’on y suppose
elles se réduisent à cette forme simple
![{\displaystyle {\begin{aligned}&2\cos 1x=y\ +{\frac {1}{y}},\\&2\cos 2x=y^{2}+{\frac {1}{y^{2}}},\\&2\cos 3x=y^{3}+{\frac {1}{y^{3}}},\\&2\cos 4x=y^{4}+{\frac {1}{y^{4}}},\\&\ldots \ldots \ldots \ldots \ldots \ldots ,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8109dd0a9abd44493c46e70155359e46284b6ed)
d’où il est facile de conclure, en général,
![{\displaystyle 2\cos mx=y^{m}+{\frac {1}{y^{m}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfafafb8f948dfa908791783d68c2a4fa9e29cb6)
Pour se convaincre d’une manière plus directe de la généralité de cette formule, il suffit de considérer que si, dans l’équation
![{\displaystyle 2\cos x\cos mx=\cos(m-1)x+\cos(m+1)x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc70cba5dc830ad3ebf9074f931f492065e96e58)
on fait
![{\displaystyle 2\cos x=y+{\frac {1}{y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51235f3e9d4eb6cec76175a6710bbb158837624e)
et qu’on suppose que deux termes consécutifs
et
soient de la forme
![{\displaystyle y^{m-1}+{\frac {1}{y^{m-1}}}\quad {\text{et}}\quad y^{m}+{\frac {1}{y^{m}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17b8f205c5545a67941ae7e78163a49fdfd088cf)
elle donnera
![{\displaystyle 2\cos(m+1)x=\left(y+{\frac {1}{y}}\right)\left(y^{m}+{\frac {1}{y^{m}}}\right)-\left(y^{m-1}+{\frac {1}{y^{m-1}}}\right)=y^{m+1}+{\frac {1}{y^{m+1}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dedc66d21a5d6fde1e2139e1975bebd5e5023c1)
Ainsi, pourvu que les deux premiers termes
et
soient de la forme
en faisant
et
ce qui est en effet, tous les autres seront nécessairement de la même forme.
Maintenant les deux équations
![{\displaystyle 2\cos x=y+{\frac {1}{y}},\quad 2\cos mx=y^{m}+{\frac {1}{y^{m}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7801db23dd31d34474408f453727846f450cb49f)
donnent ces deux-ci
![{\displaystyle y^{2}-2y\cos x+1=0,\quad y^{2m}-2y^{m}\cos mx+1=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fbeb87963579bd441465c2334c0437235c108c0)
qui doivent donc avoir lieu en même temps ; par conséquent, il faut qu’elles aient une racine commune.
Ce dernier théorème a été donné par Moivre, sans démonstration, dans les Transactions philosophiques de 1722, année où a paru l’Harmonia mensurarum de Cotes, qui était mort six ans auparavant.
Soit maintenant
la racine commune à ces deux équations ; comme elles demeurent les mêmes en y changeant
en
il s’ensuit que
sera encore une racine commune aux mêmes équations ; mais l’équation
![{\displaystyle y^{2}-2y\cos x+1=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e0e75a0414c807792c26009982ba938bb8f0c6a)
n’étant que du second degré, ne peut avoir que les deux racines
![{\displaystyle a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
et
![{\displaystyle {\frac {1}{a}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a186ce362a7114b3c6fad7dfa2c56a20955d2d8c)
donc cette équation a toutes ses racines communes avec
![{\displaystyle y^{2m}-2y^{m}\cos mx+1=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fa6c86348aa2c3eae5d49f4f7a7991dcdb0d4f3)
par conséquent elle est nécessairement un diviseur de celle-ci.
Soit
![{\displaystyle mx=\varphi ,\quad {\text{donc}}\quad x={\frac {\varphi }{m}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be0e847eb75e810234a1071302dfa76731620fd4)
il suit de ce qu’on vient de démontrer que la formule
![{\displaystyle y^{2m}-2y^{m}\cos \varphi +1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc4bc749cc95d6a7d6680341fd6022afb8318755)
a pour diviseur celle-ci :
![{\displaystyle y^{2}-2y\cos {\frac {\varphi }{m}}+1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f67f4fd511eb1bbb50a3a2a855112dbe4b29915a)
étant un nombre quelconque entier.
Or, si
est la circonférence ou l’angle de quatre droites, on sait que
étant un nombre quelconque entier ; ainsi, en mettant
à la place de
et faisant successivement
on en conclura que la formule
![{\displaystyle y^{2m}-2y^{m}\cos \varphi +1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc4bc749cc95d6a7d6680341fd6022afb8318755)
a pour diviseurs les
formules suivantes :
![{\displaystyle {\begin{aligned}&y^{2}-2\cos {\frac {\varphi }{m}}.y+1,\\&y^{2}-2\cos \left({\frac {\varphi }{m}}+{\frac {\ \ c}{m}}\right).y+1,\\&y^{2}-2\cos \left({\frac {\varphi }{m}}+{\frac {2c}{m}}\right).y+1,\\&y^{2}-2\cos \left({\frac {\varphi }{m}}+{\frac {3c}{m}}\right).y+1,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots ,\\&y^{2}-2\cos \left({\frac {\varphi }{m}}+{\frac {m-1}{m}}c\right).y+1.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fffc747a218ba17d5c2388e5c00456c62b9613b1)
De sorte que, comme ces diviseurs sont tous différentes entre eux et qu’ils sont au nombre de
la formule en question du
ième degré ne peut être que le produit de ces
formules du second degré.
Le théorème de Cotes n’est, comme l’on sait, qu’un cas particulier de ce théorème général, lorsqu’on y fait
ou
ce qui donne
et réduit la formule générale à
![{\displaystyle \left(y^{m}\pm 1\right)^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3908365984d4b851f2d39ed3c76bde78956f8f50)
Le théorème général est dû à Moivre, comme on le voit par ses Miscellanea analytica.
Jusqu’ici nous-avons développé les cosinus et les sinus des angles multiples en puissances des cosinus ou des sinus de l’angle simple. On peut chercher réciproquement à développer les puissances des cosinus ou sinus de l’angle simple en cosinus ou sinus des angles multiples, et cette transformation, qui est toujours possible, est un des plus grands avantages de l’algorithme des sinus et cosinus, par la facilité qu’elle donne de passer des fonctions primitives aux fonctions dérivées, et de revenir de celles-ci aux primitives.
Nous pourrions la déduire des formules trouvées ci-dessus, mais nous aimons mieux la chercher directement par le moyen des fonctions dérivées, pour donner un nouvel exemple de leur usage dans la transformation des fonctions.
Considérons la puissance
et supposons cette fonction de
égale à
nous aurons ainsi
![{\displaystyle y=\cos ^{m}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44bd34eab0e6ee36b7a1d0de2d983f88af09c91d)
et, prenant les fonctions dérivées par rapport à
il viendra
![{\displaystyle y'=-m\cos ^{m-1}xsinx\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72bb92cf7d246452fb0de0befb55ef4399139f65)
cette équation, divisée par la précédente, donne
![{\displaystyle {\frac {y'}{y}}=-{\frac {m\sin x}{\cos x}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d95715ffb76fca5cbbfca5e037df1e646603a9ef)
d’où l’on tire, en réduisant,
![{\displaystyle my\sin x+y'\cos x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58b64dbdbf1d1b2ad26ebb938664b72296973c8d)
équation dérivée du premier ordre, qui a l’avantage de ne plus contenir la puissance indéterminée de ![{\displaystyle \cos x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d61f558e1318137e2dac63cc3d140dd258bdcaa)
Supposons maintenant, en général,
![{\displaystyle y=\mathrm {A} \cos nx+\mathrm {B} \cos(n-1)x+\mathrm {C} \cos(n-2)x+\mathrm {D} \cos(n-3)x+\ldots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b58bda7bf2b9cb255ce3282081b28433f2f81771)
les coefficients
étant indéterminés, ainsi que
L’équation précédente deviendra par cette substitution
![{\displaystyle m\left[\mathrm {A} \cos nx+\mathrm {B} \cos(n-1)x+\mathrm {C} \cos(n-2)x+\ldots \right]\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4fef005f6f4b61659d27d0a3745bdbfd83ec992)
![{\displaystyle -\left[n\mathrm {A} \sin nx+(n-1)\mathrm {B} \sin(n-1)x+(n-2)\mathrm {C} \sin(n-2)x+\ldots \right]\cos x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/607f7264cf2f309aafa497b45de61818f7777774)
savoir, en développant les produits des sinus et cosinus, et ordonnant les termes suivant les sinus multiples :
![{\displaystyle {\begin{aligned}&+\left[m\mathrm {A} -n\mathrm {A} \right]\sin(n+1)x\\&+\left[m\mathrm {B} -(n-1)\mathrm {B} \right]\sin nx\\&+\left[m\mathrm {C} -m\mathrm {A} -(n-2)\mathrm {C} -n\mathrm {A} \right]\sin(n-1)x\\&+\left[m\mathrm {D} -m\mathrm {B} -(n-3)\mathrm {D} -(n-1)\mathrm {B} \right]\sin(n-2)x\\&+\left[m\mathrm {E} \,-m\mathrm {C} -(n-4)\mathrm {E} -(n-2)\mathrm {C} \right]\sin(n-3)x\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots =0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b1bcbac38f4a3baa1db77ebc78cc75baab04bd1)
Égalant donc à zéro chacun des coefficients de ces différents termes, on aura
![{\displaystyle {\begin{aligned}(m-n)\mathrm {A} =0,&\\(m-n+1)\mathrm {B} =0,&\\(m-n+2)\mathrm {C} -(m+n)\mathrm {A} =0,&\\(m-n+3)\mathrm {D} -(m+n-1)\mathrm {B} =0,&\\(m-n+4)\mathrm {E} -(m+n-2)\mathrm {C} =0,&\\\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09fe20a85ef86be2924c44fca56638de5b091d26)
La première donne d’abord
et, substituant cette valeur, les autres deviennent
![{\displaystyle {\begin{aligned}\mathrm {B} =0,&\\2\mathrm {C} -2m\mathrm {A} =0,&\\3\mathrm {D} -(2m-1)\mathrm {B} =0,&\\4\mathrm {E} -(2m-2)\mathrm {C} =0,&\\\ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e99fcbab9fb7f106d6c5f57e7f215c898ab9cd0a)
Ainsi le premier coefficient
demeure indéterminé ; ensuite on a
![{\displaystyle {\begin{aligned}&\mathrm {B} =0,\\&\mathrm {C} ={\frac {2m}{2}}\mathrm {A} ,\\&\mathrm {D} ={\frac {2m-1}{3}}\mathrm {B} ,\\&\mathrm {E} ={\frac {2m-2}{4}}\mathrm {C} ,\\&\mathrm {F} ={\frac {2m-3}{5}}\mathrm {D} ,\\&\ldots \ldots \ldots \ldots \ldots \,;\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/575281de223f10a318e1d97f5132cd7a32e85144)
donc,
![{\displaystyle \mathrm {B} =0,\quad \mathrm {D} =0,\quad \mathrm {F} =0,\quad \ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc89b85e24793ea965120a123ab91333e54a2c03)
Ensuite,
![{\displaystyle {\begin{aligned}&\mathrm {C} =m\mathrm {A} ,\\&\mathrm {E} ={\frac {m(m-1)}{2}}\mathrm {A} ,\\&\mathrm {G} ={\frac {m(m-1)(m-2)}{2.3}}\mathrm {A} ,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/738321f0b933dce3ddba5aee4a3ff7b1e5853de4)
On a donc en général, quel que soit l’exposant
![{\displaystyle \cos ^{m}x=\mathrm {A} \left[\cos mx+m\cos(m-2)x+{\frac {m(m-1)}{2}}\cos(m-4)x+\ldots \right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b641847098556cf6bd38005d9ff4b5b22914b6cc)
Il reste à déterminer le coefficient
pour cela, supposant
on obtient
![{\displaystyle 1=\mathrm {A} \left[1+m+{\frac {m(m-1)}{2}}+{\frac {m(m-1)(m-2)}{2.3}}+\ldots \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36b79ace9271257f3f73f44fd80d57e80f79be4b)
![{\displaystyle =\mathrm {A} (1+1)^{m}=2^{m}\mathrm {A} \,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fae5389a134f3d533a956f11bb4eb8f6c1db56bd)
d’où l’on tire
![{\displaystyle \mathrm {A} ={\frac {1}{2^{m}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38b132fc84dd3a90d443b4478b58c9e0d42638e4)
Donc enfin, en multipliant toute l’équation par
on aura
![{\displaystyle (2\cos x)^{m}=\cos mx+m\cos(m-2)x+{\frac {m(m-1)}{2}}\cos(m-4)x+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/199cd0d8a84bb1d9af6ca1dc55d49567881eef9b)
série fort simple qui se termine toujours, comme celle du binôme, lorsque
est un nombre entier positif.
On peut déduire de cette formule un pareil développement pour
en changeant simplement
en
l’angle droit étant pris pour l’unité des angles.
Ainsi on aura de même
![{\displaystyle (2\sin x)^{m}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04a1ebc79bb2509ea2fd37e6f860ecc5a75703a5)
![{\displaystyle \cos m(1-x)+m\cos(m-2)(1-x)+{\frac {m(m-1)}{2}}\cos(m-4)(1-x)+\ldots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1456029e2fe2a0423c613a791229fa8a5bc2693b)
Nous venons de donner une théorie complète des sections angulaires, et nous avons en même temps montré, par différents exemples, combien l’algorithme des fonctions dérivées est utile pour la transformation des fonctions, en faisant disparaître des équations les puissances et les radicaux, qui rendent les développements difficiles et font perdre la loi et la dépendance mutuelle des termes.
On voit que tout se réduit à former d’abord des équations dérivées d’après l’équation ou les équations primitives données, et à déduire ensuite de ces équations dérivées d’autres équations primitives, qui seront les transformées des premières. Il est donc important de bien connaître la théorie de ces équations, et de se rendre familiers les différents artifices qui peuvent en faciliter le calcul.
Commençons par exposer les principes généraux de cette théorie.