Une page de Wikipédia, l'encyclopédie libre.
On pose :
![{\displaystyle f(x)=\sum _{n=0}^{\infty }t_{n}\left(x-x_{0}\right)^{n}=\sum _{n=0}^{\infty }{\frac {I_{1}\left(y_{0}\right)}{n!}}\left(x-x_{0}\right)^{n}\quad {\text{et}}\quad f(x_{0})=y_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ae15e8ee1e3a62781bf65bd12e0d74674e8214e)
![{\displaystyle {\begin{aligned}I_{n}&=f^{(n)}\circ f^{-1}(y)&=&\;\left(\partial _{x}^{n}f\right)\circ f^{-1}(y)\\J_{n}&=f^{-1(n)}(y)&=&\;\partial _{y}^{n}f^{-1}(y)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e87074be197d288f4ccc0028511102b41873cd15)
On a :
![{\displaystyle I_{n}'={\frac {I_{n+1}}{I_{n}}}=\partial _{y}I_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba42c8300a41f403bde6cb17399da14c245a1baa)
Donc :
![{\displaystyle {\begin{aligned}J_{1}&={\frac {1}{I_{1}}}\\J_{2}&={\frac {-I_{2}}{I_{1}^{3}}}\\J_{3}&={\frac {-I_{3}I_{1}+3\cdot I_{2}I_{2}}{I_{1}^{5}}}\\J_{4}&={\frac {-I_{4}I_{1}I_{1}-I_{3}I_{2}I_{1}+5\cdot I_{3}I_{1}I_{2}+3\cdot I_{3}I_{2}I_{1}+3\cdot I_{2}I_{3}I_{1}-5\cdot 3\cdot I_{2}I_{2}I_{2}}{I_{1}^{7}}}\\J_{5}&={\frac {\left[{\begin{aligned}-&I_{5}I_{1}I_{1}I_{1}&-&I_{4}I_{2}I_{1}I_{1}&-&I_{4}I_{1}I_{2}I_{1}&+7\cdot &I_{4}I_{1}I_{1}I_{2}&-&I_{4}I_{2}I_{1}I_{1}&-&I_{3}I_{3}I_{1}I_{1}&-&I_{3}I_{2}I_{2}I_{1}&+7\cdot &I_{3}I_{2}I_{1}I_{2}&\\+5\cdot &I_{4}I_{1}I_{2}I_{1}&+5\cdot &I_{3}I_{2}I_{2}I_{1}&+5\cdot &I_{3}I_{1}I_{3}I_{1}&-7\cdot 5\cdot &I_{3}I_{1}I_{2}I_{2}&+3\cdot &I_{4}I_{2}I_{1}I_{1}&+3\cdot &I_{3}I_{3}I_{1}I_{1}&+3\cdot &I_{3}I_{2}I_{2}I_{1}&-7\cdot 3\cdot &I_{3}I_{2}I_{1}I_{2}&\\+3\cdot &I_{3}I_{3}I_{1}I_{1}&+3\cdot &I_{2}I_{4}I_{1}I_{1}&+3\cdot &I_{2}I_{3}I_{2}I_{1}&-7\cdot 3\cdot &I_{2}I_{3}I_{1}I_{2}&-5\cdot 3\cdot &I_{3}I_{2}I_{2}I_{1}&-5\cdot 3\cdot &I_{2}I_{3}I_{2}I_{1}&-5\cdot 3\cdot &I_{2}I_{2}I_{3}I_{1}&+7\cdot 5\cdot 3\cdot &I_{2}I_{2}I_{2}I_{2}&\end{aligned}}\right]}{I_{1}^{9}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43b693530c6734a72baf99c9bde79dae6a60d81a)
Ainsi, sous réserve de convergence, on a :
![{\displaystyle f^{-1}(y)=\sum _{n=0}^{\infty }{\frac {J_{n}\left(y_{0}\right)}{n!}}\left(y-y_{0}\right)^{n}=\sum _{n=0}^{\infty }{\frac {{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}\left(1-2j\right)^{a_{j}=j}\;I_{1+\left(a_{j}=j\right)}\left(y_{0}\right)}{n!\;I_{1}\left(y_{0}\right)^{2n-1}}}\left(y-y_{0}\right)^{n}=\sum _{n=0}^{\infty }{\frac {{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}\left(1-2j\right)^{a_{j}=j}\;t_{1+\left(a_{j}=j\right)}\left[1+\left(a_{j}=j\right)\right]!}{n!\;t_{1}^{2n-1}}}\left(y-y_{0}\right)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b204146b74f3a49fd6015fcd5bb674bcb8dc46f2)
Puisqu'on a :
![{\displaystyle {\frac {1}{\sqrt {1-x}}}=\sum \limits _{n=0}^{\infty }{\frac {C_{2n}^{n}}{2^{2n}}}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4438826b6458b71ab3e7b9e97611ea8d6526d44c)
![{\displaystyle {\sqrt {1-x}}=\sum \limits _{n=0}^{\infty }{\frac {C_{2n}^{n}}{\left(1-2n\right)2^{2n}}}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50d133f8df9a95a126a388fc3187a960bc0d37dc)
![{\displaystyle \int _{\theta =0}^{\varphi }\sin ^{2n}\theta \,\mathrm {d} \theta =\sum \limits _{j=0}^{n-1}{\frac {\left(-1\right)^{n+j+1}C_{2n}^{j}\sin \left[\left(2n-2j\right)\varphi \right]}{2^{2n-1}\left(2n-2j\right)}}+{\frac {C_{2n}^{n}}{2^{2n}}}\varphi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/918a251b04187f67542ba0b087b61b1503545a3d)
on a :
![{\displaystyle {\begin{aligned}F(\varphi ,k)&=\int \limits _{\theta =0}^{\varphi }{\frac {1}{\sqrt {1-k^{2}\sin ^{2}\theta }}}\,\mathrm {d} \theta \quad \;=\sum \limits _{n=0}^{\infty }\left[\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}\sum \limits _{j=0}^{n-1}{\frac {\left(-1\right)^{n+j+1}n!^{2}\sin \left[\left(2n-2j\right)\varphi \right]}{\left(n-j\right)\left(2n-j\right)!j!}}+\varphi \right]k^{2n}\\E(\varphi ,k)&=\int \limits _{\theta =0}^{\varphi }{\sqrt {1-k^{2}\sin ^{2}\theta }}\,\mathrm {d} \theta \quad \;\;=\sum \limits _{n=0}^{\infty }\left[\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}{\frac {1}{1-2n}}\sum \limits _{j=0}^{n-1}{\frac {\left(-1\right)^{n+j+1}n!^{2}\sin \left[\left(2n-2j\right)\varphi \right]}{\left(n-j\right)\left(2n-j\right)!j!}}+\varphi \right]k^{2n}\\\quad K(k)&=\int _{\theta =0}^{\pi /2}{\frac {1}{\sqrt {1-k^{2}\sin ^{2}\theta }}}\,\mathrm {d} \theta ={\frac {\pi }{2}}\sum _{n=0}^{\infty }\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}k^{2n}\\\quad E(k)&=\int \limits _{\theta =0}^{\pi /2}{\sqrt {1-k^{2}\sin ^{2}\theta }}\,\mathrm {d} \theta \quad \;={\frac {\pi }{2}}\sum _{n=0}^{\infty }{\frac {1}{1-2n}}\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}k^{2n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f72877317a48631d4af81a34c1afb340d951bc75)
Si on veut avoir :
![{\displaystyle F(\varphi ,k)=K(k_{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4825d58bde70ec539d6f067890af36736e9f105b)
![{\displaystyle E(\varphi ,k)=E(k_{c})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fa4fac2ae7411a558caf9ceaa4820884396ffda)
au moyen de :
![{\displaystyle {\begin{aligned}k(K)&={\sqrt {\sum _{n=0}^{\infty }{\frac {2^{2n-2}}{n!\;\pi ^{n}}}{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}\left(1-2j\right)^{a_{j}=j}\left[{\frac {C_{2+2\left(a_{j}=j\right)}^{1+\left(a_{j}=j\right)}}{2^{2+2\left(a_{j}=j\right)}}}\right]^{2}\left[1+\left(a_{j}=j\right)\right]!\left(K-{\frac {\pi }{2}}\right)^{n}}}\\k(E)&={\sqrt {\sum _{n=0}^{\infty }{\frac {-2^{2n-2}}{n!\;\pi ^{n}}}{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}\left(1-2j\right)^{a_{j}=j}\;{\frac {1}{1-2n}}\left[{\frac {C_{2+2\left(a_{j}=j\right)}^{1+\left(a_{j}=j\right)}}{2^{2+2\left(a_{j}=j\right)}}}\right]^{2}\left[1+\left(a_{j}=j\right)\right]!\left(E-{\frac {\pi }{2}}\right)^{n}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ba8c9a21348c037c4eed78ad369bbcb027bfd55)
on aura :
![{\displaystyle {\begin{aligned}k_{c}(K)&={\sqrt {\sum _{n=0}^{\infty }{\frac {2^{2n-2}}{n!\;\pi ^{n}}}{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}\left(1-2j\right)^{a_{j}=j}\left[1+\left(a_{j}=j\right)\right]!\left[{\frac {C_{2+2\left(a_{j}=j\right)}^{1+\left(a_{j}=j\right)}}{2^{2+2\left(a_{j}=j\right)}}}\right]^{2}\left(\sum \limits _{n=0}^{\infty }\left[\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}\sum \limits _{j=0}^{n-1}{\frac {\left(-1\right)^{n+j+1}n!^{2}\sin \left[\left(2n-2j\right)\varphi \right]}{\left(n-j\right)\left(2n-j\right)!j!}}+\varphi \right]k^{2n}-{\frac {\pi }{2}}\right)^{n}}}\\k_{c}(E)&={\sqrt {\sum _{n=0}^{\infty }{\frac {-2^{2n-2}}{n!\;\pi ^{n}}}{\underset {i=1}{\overset {n-1}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n-1}{\frac {\left(1-2j\right)^{a_{j}=j}\;\left[1+\left(a_{j}=j\right)\right]!}{1-2n}}\left[{\frac {C_{2+2\left(a_{j}=j\right)}^{1+\left(a_{j}=j\right)}}{2^{2+2\left(a_{j}=j\right)}}}\right]^{2}\left(\sum \limits _{n=0}^{\infty }\left[\left[{\frac {C_{2n}^{n}}{2^{2n}}}\right]^{2}{\frac {1}{1-2n}}\sum \limits _{j=0}^{n-1}{\frac {\left(-1\right)^{n+j+1}n!^{2}\sin \left[\left(2n-2j\right)\varphi \right]}{\left(n-j\right)\left(2n-j\right)!j!}}+\varphi \right]k^{2n}-{\frac {\pi }{2}}\right)^{n}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac51286e1aa8c13a3abc9e0ae4698ebf605ffda)
Transformation d'une succession de sommes en produit de sommes[modifier | modifier le code]
![{\displaystyle {\underset {i=1}{\overset {n}{S}}}\sum \limits _{a_{i}=1}^{p}\prod \limits _{j=1}^{n}f\left(j,a_{j}\right)=\prod \limits _{j=1}^{n}\sum \limits _{k=1}^{p}f\left(j,k\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8572af8f28e3e4f59844f4d3154fe0512e055f57)
![{\displaystyle {\underset {i=1}{\overset {n}{S}}}\sum \limits _{a_{i}=1}^{i}\prod \limits _{j=1}^{n}f\left(j,a_{j}\right)=\prod \limits _{j=1}^{n}\sum \limits _{k=1}^{j}f\left(j,k\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81ecddf2b3aef1f80eaf3025bc8e9537167a579f)