et
étant des constantes arbitraires et finies ; on aura
![{\displaystyle y_{x}=\varphi _{1}\varphi _{2}\ldots \varphi _{x}\left\{p^{x}\left[^{1}\!\mathrm {B} +^{1}\!\mathrm {D} x+^{1}\!\mathrm {E} {\frac {x(x-1)}{1.2}}\right]+^{3}\!\mathrm {A} \,^{3}\!p^{x}+\ldots \right\}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/227e2a11e97d983ec3f4398a8b5aed2599c52d8e)
si de plus on avait
on aurait
![{\displaystyle y_{x}=\varphi _{1}\varphi _{2}\ldots \varphi _{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71fdf7c9676b062ce1fe86afedbbf04e4081037a)
![{\displaystyle \times \left\{p^{x}\left[^{2}\!\mathrm {B} +^{2}\!\mathrm {D} x+^{2}\!\mathrm {E} {\frac {x(x-1)}{1.2}}+^{2}\!\mathrm {F} {\frac {x(x-1)(x-2)}{1.2.3}}\right]+^{4}\!\mathrm {A} \,^{4}\!p^{x}+\ldots \right\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a331480c234f2b35aaf705238ccc57d2f317ddbf)
et ainsi de suite ; on déterminerait les constantes arbitraires, au moyen de
valeurs particulières de ![{\displaystyle y_{x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a3e3efe6b8f54a512e66d9effecdd8f4b567b12)
Si l’équation
a deux racines imaginaires
et
on fera
![{\displaystyle p=a+b{\sqrt {-1}}\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea84aee76c28f1fde79eae9f1ef766a2757ab05f)
et
![{\displaystyle \quad ^{1}\!p=a-b{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3444a991a34f34a3e0b13d3050ff8cbeff65cdd)
Soient
![{\displaystyle {\frac {a}{\sqrt {aa+bb}}}=\cos q\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/37d2b7ecd8b1ccd434ba1f4b71b3d1c6a61db3b0)
et
![{\displaystyle \quad {\frac {b}{\sqrt {aa+ab}}}=\sin q\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b53e7f6e0f2c0436ab62fa288e6a6797b79042c9)
on aura
![{\displaystyle {\begin{aligned}&\mathrm {A} p^{x}+\mathrm {A} p^{x}\\&=(aa+bb)^{\frac {x}{2}}\left[\mathrm {A} \left(\cos q+{\sqrt {-1}}\sin q\right)^{x}+^{1}\!\mathrm {A} \left(\cos q-{\sqrt {-1}}\sin q\right)^{x}\right]\\&=(aa+bb)^{\frac {x}{2}}\left[\left(\mathrm {A+^{1}\!A} \right)\cos qx+\left(\mathrm {A-^{1}\!A} \right){\sqrt {-1}}\sin qx\right],\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39075f4e48e3889fad95c295f01587f07035d097)
parce que
![{\displaystyle \left(\cos q\pm {\sqrt {-1}}\sin q\right)^{x}=\cos qx\pm {\sqrt {-1}}\sin qx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31e45d44dfc36a955f9a908d9243ed3cd1fd9eda)
Soient
![{\displaystyle \mathrm {A+^{1}\!A=B} \quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7a986e1b24ecc5abb94e3b04011e25d9f0ba687)
et
![{\displaystyle \quad \mathrm {(A-^{1}\!A){\sqrt {-1}}=^{1}\!B} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd54a597a505c606d55a05031cd5eed610cb3e2e)
et
étant réels ; on aura
![{\displaystyle \mathrm {A} p^{x}+^{1}\!\mathrm {A} \,^{1}\!p^{x}=(aa+bb)^{\frac {x}{2}}\left(\mathrm {B} \cos qx+^{1}\!\mathrm {B} \sin qx\right)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b37e8f8d1c7ea63fd65b0b62f5c9412c9d96226)
on aura donc alors
![{\displaystyle y_{x}=\varphi _{1}\varphi _{2}\ldots \varphi _{x}\left[(aa+bb)^{\frac {x}{2}}\left(\mathrm {B} \cos qx+^{1}\!\mathrm {B} \sin qx\right)+^{2}\!\mathrm {A} \,^{2}\!p^{x}+\ldots \right]\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddf2bac1e9ecc755e6950e0311dee8512bcc9846)
ce serait le même procédé s’il y avait un plus grand nombre d’imaginaires.
Si l’on suppose, dans les calculs précédents,
on aura le cas des suites récurrentes. De là résulte ce théorème :