dire évanouies d’elles-mêmes, ou plutôt ne se seraient point présentées, si l’on avait raisonné avec la rigueur convenable.
En effet, suivant le procédé indiqué par M. Lacroix (Trait. de cal. diff. et intég., tom. III, pag. 609), posons
![{\displaystyle \operatorname {Cos} .^{\frac {m}{n}}x=\left({\frac {e^{x{\sqrt {-1}}}+e^{-x{\sqrt {-1}}}}{2}}\right)^{\frac {m}{n}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac2731b5943c4166210fe7e859883cc63057f010)
mais ayons soin, en développant le second membre suivant la formule du binôme, d’employer l’expression complète, telle que nous l’avons trouvée §. I. Après être repassé des exponentielles aux fonctions circulaires, nous trouverons
![{\displaystyle 2^{\frac {m}{n}}\operatorname {Cos} .^{\frac {m}{n}}x=\left(\operatorname {Cos} .{\frac {2p\varpi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {2p\varpi }{n}}\right)\times }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdd2c7248eada599f5b368bb3e77cecaef1b0ad9)
![{\displaystyle \left\{{\begin{array}{c}\operatorname {Cos} .{\frac {m}{n}}x+{\frac {m}{n}}\operatorname {Cos} .\left({\frac {m}{n}}-2\right)x+{\frac {m}{n}}.{\frac {m-n}{2n}}\operatorname {Cos} .\left({\frac {m}{n}}-4\right)x+\ldots \\\\+{\sqrt {-1}}\left\{\operatorname {Sin} .{\frac {m}{n}}x+{\frac {m}{n}}\operatorname {Sin} .\left({\frac {m}{n}}-2\right)x+\ldots \right\}\end{array}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a6949d25f3e52c8b52417a40147802d8ed56cc3)
Cette expression est nécessairement complète ; c’est-à-dire qu’elle donne toutes les
valeurs différentes de la fonction
Il est très-facile de la vérifier pour des cas particuliers, ainsi que l’a fait M. Poisson pour la formule complète qu’il a donnée ; mais cela n’est point nécessaire, puisqu’il ne saurait y avoir de doute sur son exactitude.
2. Rien de plus facile maintenant que de trouver la valeur de
qu’il faudra prendre pour obtenir une racine déterminée de l’expression
En effet, posons, pour abréger,
![{\displaystyle {\begin{aligned}&P=\operatorname {Cos} .{\frac {m}{n}}x+{\frac {m}{n}}\operatorname {Cos} .\left({\frac {m}{n}}-2\right)x+{\frac {m}{n}}.{\frac {m-n}{2n}}\operatorname {Cos} .\left({\frac {m}{n}}-4\right)x+\ldots \\\\&Q=\operatorname {Sin} .{\frac {m}{n}}x+{\frac {m}{n}}\operatorname {Sin} .\left({\frac {m}{n}}-2\right)x+{\frac {m}{n}}.{\frac {m-n}{2n}}\operatorname {Sin} .\left({\frac {m}{n}}-4\right)x+\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90ddfa7728429b72a4f5f04c1bb16b7c54f82091)