Formule de fraction continue d'Euler — Wikipédia

En théorie analytique des nombres, la formule de fraction continue d'Euler est une identité reliant les séries aux fractions continues généralisées, publiée par Leonhard Euler en 1748 et utile dans l'étude du problème de convergence général pour les fractions continues à coefficients complexes.

Cas fini[modifier | modifier le code]

Euler a établi une identité^[1] dont la transcription est, en notation de Pringsheim :

${\displaystyle {\frac {\alpha }{P}}-{\frac {\alpha \beta }{PQ}}+{\frac {\alpha \beta \gamma }{QR}}-{\frac {\alpha \beta \gamma \delta }{RS}}+\ldots ={\frac {\alpha \mid }{\mid P}}+{\frac {\beta \mid }{\mid (Q-\beta )/P}}+{\frac {\gamma \mid }{\mid (R-\gamma P)/Q}}+{\frac {\delta \mid }{\mid (S-\delta Q)/R}}+\cdots ,}$

cette égalité signifiant seulement que les sommes partielles de la série de gauche sont égales aux réduites de la fraction continue de droite, autrement dit :

${\displaystyle \forall n\in \mathbb {N} ^{*}\quad {\frac {a_{1}}{k_{1}}}-\sum _{i=2}^{n}{\frac {\prod _{j=1}^{i}(-a_{j})}{k_{i-1}k_{i}}}={\frac {a_{1}\mid }{\mid k_{1}}}+{\frac {a_{2}\mid }{\mid (k_{2}-a_{2})/k_{1}}}+{\frac {a_{3}\mid }{\mid (k_{3}-a_{3}k_{1})/k_{2}}}+\cdots +{\frac {a_{n}\mid }{\mid (k_{n}-a_{n}k_{n-2})/k_{n-1}}}.}$

Il trouve simplement cette formule par une analyse rétrograde des relations fondamentales sur les réduites.

Cas infini[modifier | modifier le code]

Par changement de notations et passage à la limite, on en déduit :

${\displaystyle {\frac {x_{0}}{y_{0}}}+\sum _{i=1}^{\infty }{\frac {\prod _{j=0}^{i}x_{j}}{y_{i-1}y_{i}}}={\frac {x_{0}\mid }{\mid y_{0}}}-{\frac {x_{1}\mid }{\mid (y_{1}+x_{1})/y_{0}}}-{\frac {x_{2}\mid }{\mid (y_{2}+x_{2}y_{0})/y_{1}}}-{\frac {x_{3}\mid }{\mid (y_{3}+x_{3}y_{1})/y_{2}}}-\cdots ,}$

pour toutes suites de nombres complexes y_j non nuls et x_j tels que la série de gauche converge. Ceci permet donc, après avoir mis une série convergente sous la forme adéquate, de la transformer en fraction continue. De plus, si les complexes x_j et y_j sont des fonctions d'une variable z et si la convergence de la série est uniforme par rapport à z, il en est naturellement de même pour la convergence de la fraction continue.

Cette formule a de nombreux corollaires, comme :

1. en prenant tous les y_j égaux à 1 :${\displaystyle \sum _{i=0}^{\infty }\prod _{j=0}^{i}x_{j}={\frac {x_{0}\mid }{\mid 1}}-{\frac {x_{1}\mid }{\mid 1+x_{1}}}-{\frac {x_{2}\mid }{\mid 1+x_{2}}}-{\frac {x_{3}\mid }{\mid 1+x_{3}}}-\cdots ~;}$
2. en posant x₀ = 1, y₀ = a₀ et pour j > 0, x_j = a_j–1z et y_j = a₀a₁…a_j :${\displaystyle \sum _{i=0}^{\infty }{\frac {z^{i}}{a_{0}a_{1}\ldots a_{i}}}={\frac {1\mid }{\mid a_{0}}}-{\frac {a_{0}z\mid }{\mid a_{1}+z}}-{\frac {a_{1}z\mid }{\mid a_{2}+z}}-{\frac {a_{2}z\mid }{\mid a_{3}+z}}-\cdots ~;}$
3. en posant x₀ = 1, y₀ = u₀ et pour j > 0, x_j = u_j–1²Z et y_j = u₀u₁…u_j :${\displaystyle \sum _{i=0}^{\infty }{\frac {Z^{i}}{u_{i}}}={\frac {1\mid }{\mid u_{0}}}-{\frac {u_{0}^{2}Z\mid }{\mid u_{1}+u_{0}Z}}-{\frac {u_{1}^{2}Z\mid }{\mid u_{2}+u_{1}Z}}-{\frac {u_{2}^{2}Z\mid }{\mid u_{3}+u_{2}Z}}-\cdots .}$

Exemples[modifier | modifier le code]

Fonction exponentielle[modifier | modifier le code]

L'exponentielle complexe est une fonction entière donc son développement en série entière converge uniformément sur toute partie bornée du plan complexe : ${\displaystyle {\rm {e}}^{z}=\sum _{i=0}^{\infty }{\frac {z^{i}}{i!}}.}$ Il en est donc de même pour la fraction continue (obtenue par le deuxième corollaire ci-dessus) :

${\displaystyle {\rm {e}}^{z}={\frac {1\mid }{\mid 1}}-{\frac {z\mid }{\mid 1+z}}-{\frac {z\mid }{\mid 2+z}}-{\frac {2z\mid }{\mid 3+z}}-{\frac {3z\mid }{\mid 4+z}}-{\frac {4z\mid }{\mid 5+z}}-\cdots .}$

On en déduit par exemple :

${\displaystyle {\frac {1}{\rm {e}}}={\rm {e}}^{-1}={\frac {1\mid }{\mid 1}}+{\frac {1\mid }{\mid 0}}+{\frac {1\mid }{\mid 1}}+{\frac {2\mid }{\mid 2}}+{\frac {3\mid }{\mid 3}}+{\frac {4\mid }{\mid 4}}+\cdots ={\frac {1\mid }{\mid 2}}+{\frac {2\mid }{\mid 2}}+{\frac {3\mid }{\mid 3}}+{\frac {4\mid }{\mid 4}}+\cdots }$

donc

${\displaystyle {\rm {e}}=2+{\frac {2\mid }{\mid 2}}+{\frac {3\mid }{\mid 3}}+{\frac {4\mid }{\mid 4}}+\cdots =2+{\frac {1\mid }{\mid 1}}+{\frac {1\mid }{\mid 2}}+{\frac {2\mid }{\mid 3}}+{\frac {3\mid }{\mid 4}}+{\frac {4\mid }{\mid 5}}+\cdots ,}$

la dernière égalité résultant d'une transformation usuelle.

Fonction logarithme[modifier | modifier le code]

Le développement en série entière de la détermination principale du logarithme complexe appliqué à 1 + z est ${\displaystyle {\rm {Log}}(1+z)=z\sum _{i=0}^{\infty }{\frac {(-z)^{i}}{i+1}}.}$ Il converge uniformément quand z parcourt le disque unité fermé privé d'un voisinage arbitrairement petit de −1. Il en est donc de même pour la fraction continue (obtenue par le troisième corollaire ci-dessus) :

${\displaystyle {\rm {Log}}(1+z)={\frac {z\mid }{\mid 1}}+{\frac {1^{2}z\mid }{\mid 2-z}}+{\frac {2^{2}z\mid }{\mid 3-2z}}+{\frac {3^{2}z\mid }{\mid 4-3z}}+\cdots .}$

On en déduit par exemple :

${\displaystyle {\rm {Log}}(2)={\frac {1\mid }{\mid 1}}+{\frac {1^{2}\mid }{\mid 1}}+{\frac {2^{2}\mid }{\mid 1}}+{\frac {3^{2}\mid }{\mid 1}}+\cdots .}$

Arc tangente hyperbolique[modifier | modifier le code]

La fonction artanh est définie sur ℂ\(]–∞, –1]∪[1, +∞[) par ${\displaystyle {\rm {artanh}}(z)={\frac {1}{2}}~{\rm {Log}}\left({\frac {1+z}{1-z}}\right)={\frac {1}{2}}({\rm {Log}}(1+z)-{\rm {Log}}(1-z)).}$ Par conséquent, uniformément sur le disque unité fermé privé d'un voisinage de ±1, ${\displaystyle {\rm {artanh}}(z)=z\sum _{i=0}^{\infty }{\frac {(z^{2})^{i}}{2i+1}}}$ donc aussi (par le troisième corollaire ci-dessus)

${\displaystyle {\rm {artanh}}(z)={\frac {z\mid }{\mid 1}}-{\frac {z^{2}\mid }{\mid 3+z^{2}}}-{\frac {(3z)^{2}\mid }{\mid 5+3z^{2}}}-{\frac {(5z)^{2}\mid }{\mid 7+5z^{2}}}-{\frac {(7z)^{2}\mid }{\mid 9+7z^{2}}}-\cdots .}$

Arc tangente[modifier | modifier le code]

La fonction arctan (circulaire) est reliée à la fonction artanh (hyperbolique) par ${\displaystyle \arctan(z)={\frac {1}{\rm {i}}}\operatorname {artanh} ({\rm {i}}z).}$ Elle a donc, uniformément sur le disque unité fermé privé d'un voisinage arbitraire de ±i, un développement analogue en série entière (trouvé par Madhava puis par Gregory et Leibniz) : ${\displaystyle \arctan(z)=z\sum _{i=0}^{\infty }{\frac {(-z^{2})^{i}}{2i+1}}}$ et en fraction continue :

${\displaystyle \arctan(z)={\frac {z\mid }{\mid 1}}+{\frac {z^{2}\mid }{\mid 3-z^{2}}}+{\frac {(3z)^{2}\mid }{\mid 5-3z^{2}}}+{\frac {(5z)^{2}\mid }{\mid 7-5z^{2}}}+{\frac {(7z)^{2}\mid }{\mid 9-7z^{2}}}+\cdots .}$

Cotangente et tangente[modifier | modifier le code]

Le développement de cot ${\displaystyle \pi \cot(\pi z)={\frac {1}{z}}-{\frac {1}{1-z}}+{\frac {1}{1+z}}-{\frac {1}{2-z}}+{\frac {1}{2+z}}-{\frac {1}{3-z}}+{\frac {1}{3+z}}+\ldots ,}$ uniformément convergent hors d'un voisinage uniforme de ℤ, se transforme de même en

${\displaystyle \pi \cot(\pi z)={\frac {1\mid }{\mid z}}+{\frac {z^{2}\mid }{\mid 1-2z}}+{\frac {(1-z)^{2}\mid }{\mid 2z}}+{\frac {(1+z)^{2}\mid }{\mid 1-2z}}+{\frac {(2-z)^{2}\mid }{\mid 2z}}+{\frac {(2+z)^{2}\mid }{\mid 1-2z}}+\cdots ,}$

d'où

${\displaystyle {\frac {\tan(\pi z)}{\pi z}}=1+{\frac {z\mid }{\mid 1-2z}}+{\frac {(1-z)^{2}\mid }{\mid 2z}}+{\frac {(1+z)^{2}\mid }{\mid 1-2z}}+{\frac {(2-z)^{2}\mid }{\mid 2z}}+{\frac {(2+z)^{2}\mid }{\mid 1-2z}}+\cdots .}$

Des séries analogues pour π²/sin²(πz), πtan(πz/2), π/sin(πz) et π/cos(πz) se transforment de même en fractions continues.

Nombre π[modifier | modifier le code]

Les développements ci-dessus de arctan, artanh, cot ou tan — ces deux derniers nécessitant une normalisation pour retrouver des coefficients entiers — joints au fait que ^π⁄₄ = artan(1) = (1/i)artanh(i) ou cot(π/4) = tan(π/4) = 1, donnent la fraction continue généralisée trouvée par William Brouncker en 1655 :

${\displaystyle \pi ={\frac {4\mid }{\mid 1}}+{\frac {1^{2}\mid }{\mid 2}}+{\frac {3^{2}\mid }{\mid 2}}+{\frac {5^{2}\mid }{\mid 2}}+{\frac {7^{2}\mid }{\mid 2}}+\cdots .}$

Voir aussi[modifier | modifier le code]

Liste de sujets portant le nom de Leonhard Euler

Notes et références[modifier | modifier le code]

(de) Oskar Perron, Die Lehre von den Kettenbrüchen, Teubner, 1913 (lire en ligne), « § 45 : Äquivalenz von Kettenbrüchen und Reihen », p. 205-211

• Portail de l'analyse
• Arithmétique et théorie des nombres