Représentations de e

Cet article porte sur les représentations du nombre e, importante constante mathématique.

Elle peut être obtenue de différentes manières en tant que nombre réel. Puisque e est un nombre irrationnel, il ne peut être représenté par une fraction ordinaire, mais peut l'être par une fraction continue. En s'appuyant sur les résultats du calcul infinitésimal, e peut aussi être obtenu comme sommes de séries, comme produits infinis et comme limites de suites.

Comme fractions continues

Contrairement au nombre π {\displaystyle \pi } , le développement du nombre e en fraction continue simple possède une certaine régularité :

e = [ 2 ; 1 , 2 , 1 , 1 , 4 , 1 , 1 , 6 , 1 , 1 , 8 , 1 , , 1 , 2n , 1 , ] {\displaystyle {\rm {e}}=[2;1,{\textbf {2}},1,1,{\textbf {4}},1,1,{\textbf {6}},1,1,{\textbf {8}},1,\ldots ,1,{\textbf {2n}},1,\ldots ]\,} .

La suite des coefficients est donnée par la suite A003417 de l'OEIS ; une démonstration est proposée dans l'article « Fraction continue et approximation diophantienne ».

Voici quelques développements en fraction continue généralisée (en notation de Pringsheim). Le deuxième est déduit du premier par conversion. Le troisième, qui converge très rapidement, est un cas particulier du quatrième.

e = 2 + 1 1 + 1 2 + 2 3 + 3 4 + 4 {\displaystyle {\rm {e}}=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 \cdots }}}
e = 2 + 2 2 + 3 3 + 4 4 + 5 5 + 6 {\displaystyle {\rm {e}}=2+{\frac {2\mid }{\mid 2}}+{\frac {3\mid }{\mid 3}}+{\frac {4\mid }{\mid 4}}+{\frac {5\mid }{\mid 5}}+{\frac {6\mid }{\mid \cdots }}}
e = 1 + 2 1 + 1 6 + 1 10 + 1 14 + 1 {\displaystyle {\rm {e}}=1+{\frac {2\mid }{\mid 1}}+{\frac {1\mid }{\mid 6}}+{\frac {1\mid }{\mid 10}}+{\frac {1\mid }{\mid 14}}+{\frac {1\mid }{\mid \cdots }}}
e x / y = 1 + 2 x 2 y x + x 2 6 y + x 2 10 y + x 2 14 y + x 2 {\displaystyle {\rm {e}}^{x/y}=1+{\frac {2x\mid }{\mid 2y-x}}+{\frac {x^{2}\mid }{\mid 6y}}+{\frac {x^{2}\mid }{\mid 10y}}+{\frac {x^{2}\mid }{\mid 14y}}+{\frac {x^{2}\mid }{\mid \cdots }}}

Comme sommes de séries

La constante e est aussi égale à la somme de ces séries[1] :

e = k = 0 1 k ! {\displaystyle {\rm {e}}=\sum _{k=0}^{\infty }{\frac {1}{k!}}}
e = ( k = 0 ( 1 ) k k ! ) 1 {\displaystyle {\rm {e}}=\left(\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}\right)^{-1}}
e = ( k = 0 1 2 k ( 2 k ) ! ) 1 {\displaystyle {\rm {e}}=\left(\sum _{k=0}^{\infty }{\frac {1-2k}{(2k)!}}\right)^{-1}}
e = 1 2 k = 0 k + 1 k ! {\displaystyle {\rm {e}}={\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {k+1}{k!}}}
e = 2 k = 0 k + 1 ( 2 k + 1 ) ! {\displaystyle {\rm {e}}=2\sum _{k=0}^{\infty }{\frac {k+1}{(2k+1)!}}}
e = k = 0 3 4 k 2 ( 2 k + 1 ) ! {\displaystyle {\rm {e}}=\sum _{k=0}^{\infty }{\frac {3-4k^{2}}{(2k+1)!}}}
e = k = 0 ( 3 k ) 2 + 1 ( 3 k ) ! {\displaystyle {\rm {e}}=\sum _{k=0}^{\infty }{\frac {(3k)^{2}+1}{(3k)!}}}
e = [ k = 0 4 k + 3 2 2 k + 1 ( 2 k + 1 ) ! ] 2 {\displaystyle {\rm {e}}=\left[\sum _{k=0}^{\infty }{\frac {4k+3}{2^{2k+1}\,(2k+1)!}}\right]^{2}}
e = 12 π 2 [ k = 1 1 k 2   cos ( 9 k π + k 2 π 2 9 ) ] 1 / 3 {\displaystyle {\rm {e}}=-{\frac {12}{\pi ^{2}}}\left[\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}\ \cos \left({\frac {9}{k\pi +{\sqrt {k^{2}\pi ^{2}-9}}}}\right)\right]^{-1/3}}
e = k = 1 k 2 2 ( k ! ) {\displaystyle {\rm {e}}=\sum _{k=1}^{\infty }{\frac {k^{2}}{2(k!)}}}
e = k = 1 k 3 5 ( k ! ) {\displaystyle {\rm {e}}=\sum _{k=1}^{\infty }{\frac {k^{3}}{5(k!)}}}
e = k = 1 k 4 15 ( k ! ) {\displaystyle {\rm {e}}=\sum _{k=1}^{\infty }{\frac {k^{4}}{15(k!)}}}
e = k = 1 k n B n ( k ! ) {\displaystyle {\rm {e}}=\sum _{k=1}^{\infty }{\frac {k^{n}}{B_{n}(k!)}}} Bn est le n-ième nombre de Bell.

Comme produits infinis

La constante e est aussi donnée par plusieurs produits infinis, dont le produit de Catalan (1875)[2] :

e = 2 1 1 4 3 2 6 8 5 7 4 10 12 14 16 9 11 13 15 8 , {\displaystyle {\rm {e}}={\sqrt[{1}]{\frac {2}{1}}}\cdot {\sqrt[{2}]{\frac {4}{3}}}\cdot {\sqrt[{4}]{\frac {6\cdot 8}{5\cdot 7}}}\cdot {\sqrt[{8}]{\frac {10\cdot 12\cdot 14\cdot 16}{9\cdot 11\cdot 13\cdot 15}}}\cdots ,} le produit de Pippenger (voir la suite A084148 de l'OEIS et la suite A084149 de l'OEIS)
e = 2 ( 2 1 ) 1 / 2 ( 2 3 4 3 ) 1 / 4 ( 4 5 6 5 6 7 8 7 ) 1 / 8 {\displaystyle {\rm {e}}=2\left({\frac {2}{1}}\right)^{1/2}\left({\frac {2}{3}}\;{\frac {4}{3}}\right)^{1/4}\left({\frac {4}{5}}\;{\frac {6}{5}}\;{\frac {6}{7}}\;{\frac {8}{7}}\right)^{1/8}\cdots }

et le produit de Guillera[3] :

e = ( 2 1 ) 1 / 1 ( 2 2 1 3 ) 1 / 2 ( 2 3 4 1 3 3 ) 1 / 3 ( 2 4 4 4 1 3 6 5 ) 1 / 4 , {\displaystyle {\rm {e}}=\left({\frac {2}{1}}\right)^{1/1}\left({\frac {2^{2}}{1\cdot 3}}\right)^{1/2}\left({\frac {2^{3}\cdot 4}{1\cdot 3^{3}}}\right)^{1/3}\left({\frac {2^{4}\cdot 4^{4}}{1\cdot 3^{6}\cdot 5}}\right)^{1/4}\cdots ,}

où le n-ième facteur est la racine n-ième du produit

k = 0 n ( k + 1 ) ( 1 ) k + 1 ( n k ) . {\displaystyle \prod _{k=0}^{n}(k+1)^{(-1)^{k+1}{n \choose k}}.}

Il y a aussi le produit infini :

e = 2 2 ( ln ( 2 ) 1 ) 2 2 ln ( 2 ) 1 2 ( ln ( 2 ) 1 ) 3 {\displaystyle {\rm {e}}={\frac {2\cdot 2^{(\ln(2)-1)^{2}}\cdots }{2^{\ln(2)-1}\cdot 2^{(\ln(2)-1)^{3}}\cdots }}}

ainsi que :

e = n = 1 a n + 1 a n = 2 1 5 4 16 15 65 64 {\displaystyle \mathrm {e} =\prod _{n=1}^{\infty }{\frac {a_{n}+1}{a_{n}}}={\frac {2}{1}}\cdot {\frac {5}{4}}\cdot {\frac {16}{15}}\cdot {\frac {65}{64}}\cdots } ( a n ) {\displaystyle (a_{n})} est définie par a 0 = 0 , a n = n ( a n 1 + 1 ) {\displaystyle a_{0}=0,a_{n}=n(a_{n-1}+1)} , suite OEIS A007526 ; la formule vient du fait que n = 1 N a n + 1 a n = n = 0 N 1 n ! {\displaystyle \prod _{n=1}^{N}{\frac {a_{n}+1}{a_{n}}}=\sum _{n=0}^{N}{\frac {1}{n!}}} .

Comme limites de suites

La constante e est égale à plusieurs limites de suites dont la plus connue est :

e = lim n ( 1 + 1 n ) n {\displaystyle {\rm {e}}=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}} .

La formule de Stirling permet d'obtenir :

e = lim n n n ! n {\displaystyle {\rm {e}}=\lim _{n\to \infty }{\frac {n}{\sqrt[{n}]{n!}}}} .

La limite symétrique[4] :

e = lim n [ ( n + 1 ) n + 1 n n n n ( n 1 ) n 1 ] {\displaystyle {\rm {e}}=\lim _{n\to \infty }\left[{\frac {(n+1)^{n+1}}{n^{n}}}-{\frac {n^{n}}{(n-1)^{n-1}}}\right]}

peut être obtenue en manipulant la première limite ci-dessus.

Une autre limite est[5] :

e = lim n ( p n # ) 1 / p n {\displaystyle {\rm {e}}=\lim _{n\to \infty }(p_{n}\#)^{1/p_{n}}}

p n {\displaystyle p_{n}} est le n-ième nombre premier et p n # {\displaystyle p_{n}\#} est sa primorielle.

L'élégante expression :

e = lim n n ! ! n {\displaystyle {\rm {e}}=\lim _{n\to \infty }{\frac {n!}{!n}}}

! n {\displaystyle !n} est la sous-factorielle de n, est en fait une autre écriture de l'égalité e = ( k = 0 ( 1 ) k k ! ) 1 {\displaystyle {\rm {e}}=\left(\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}\right)^{-1}} .

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « List of representations of e » (voir la liste des auteurs).
  1. Pour les séries 2 à 7, voir (en) Harlan J. Brothers (en), « Improving the convergence of Newton's series approximation for e », College Mathematics Journal (en), vol. 35, no 1,‎ , p. 34-39 (lire en ligne).
  2. Catalan 1875, p. 231.
  3. (en) Jonathan Sondow, « A Faster Product for π and a New Integral for ln π/2 », Amer. Math. Monthly, vol. 112,‎ , p. 729-734 (lire en ligne).
  4. (en) Harlan J. Brothers et John A. Knox (en), « New Closed-Form Approximations to the Logarithmic Constant e », The Mathematical Intelligencer, vol. 20, no 4,‎ , p. 25-29 (lire en ligne).
  5. (en) Sebastián Martín Ruiz, « A Result on Prime Numbers », Math. Gaz., vol. 81,‎ , p. 269-270.
  • icône décorative Portail des mathématiques
  • icône décorative Portail de l’algèbre