Podstawa logarytmu naturalnego

Podstawa logarytmu naturalnego, liczba $\mathrm {e}$ , liczba Eulera, liczba Nepera – stała matematyczna wykorzystywana w wielu dziedzinach matematyki i fizyki. W przybliżeniu wynosi 2,718281828459^[1], oznacza się ją literą $\mathrm {e}$ ^[2].

Definicja

Liczba $\mathrm {e}$ może być zdefiniowana na kilka równoważnych sposobów.

Granica ciągu

Jako granica ciągu, $\mathrm {e}$ jest określana przez

\mathrm {e} =\lim _{n\to \infty }\left(1+{\tfrac {1}{n}}\right)^{n}.

Dowód zbieżności

Wykażemy, że ciąg $\{a_{n}\}_{n\in \mathbb {N} },$ gdzie $a_{n}=\left(1+{\tfrac {1}{n}}\right)^{n}$ jest niemalejący i ograniczony z góry, a zatem jest zbieżny.

Przypomnijmy, że dla dodatnich liczb $x_{1},\dots ,x_{n+1}$ zachodzi następująca nierówność Cauchy’ego między ich średnią arytmetyczną a geometryczną:

{\frac {x_{1}+\ldots +x_{n+1}}{n+1}}\geqslant (x_{1}\cdot \ldots \cdot x_{n+1})^{1/(n+1)}.

(1)

Rozważając $x_{1}=\ldots =x_{n}=1+{\tfrac {1}{n}}$ oraz $x_{n+1}=1,$ otrzymujemy

{\frac {1+{\tfrac {1}{n}}+\ldots +1+{\tfrac {1}{n}}+1}{n+1}}\geqslant \left((1+{\tfrac {1}{n}})\ldots (1+{\tfrac {1}{n}})\cdot 1\right)^{1/(n+1)},

a stąd

\left({\tfrac {n+2}{n+1}}\right)^{n+1}\geqslant \left(1+{\tfrac {1}{n}}\right)^{n}

więc również

\left(1+{\tfrac {1}{n+1}}\right)^{n+1}\geqslant \left(1+{\tfrac {1}{n}}\right)^{n}

i

a_{n+1}\geqslant a_{n}.

Czyli ciąg $(a_{n})_{n}$ jest niemalejący.

Podłóżmy $b_{n}=\left(1+{\tfrac {1}{n}}\right)^{n+1}$ i zauważmy, że $a_{n}\leqslant b_{n}={\frac {1}{\left({\tfrac {n}{n+1}}\right)^{n+1}}}={\frac {1}{\left(1-{\tfrac {1}{n+1}}\right)^{n+1}}}.$

Z nierówności (1) zastosowanej do $x_{1}=\ldots =x_{n+1}=1-{\tfrac {1}{n+1}}$ oraz $x_{n+2}=1$ otrzymujemy, że:

{\frac {1-{\frac {1}{n+1}}+\ldots +1-{\frac {1}{n+1}}+1}{n+2}}\geqslant \left(\left(1-{\tfrac {1}{n+1}}\right)\ldots \left(1-{\tfrac {1}{n+1}}\right)\cdot 1\right)^{1/(n+2)}.

Stąd $\left({\tfrac {n+1}{n+2}}\right)^{n+2}\geqslant \left(1-{\tfrac {1}{n+1}}\right)^{n+1},$ a więc też $\left(1-{\tfrac {1}{n+2}}\right)^{n+2}\geqslant \left(1-{\tfrac {1}{n+1}}\right)^{n+1}.$

Czyli ciąg ${\Big (}(1-{\tfrac {1}{n+1}})^{n+1}{\Big )}_{n\in \mathbb {N} }$ jest niemalejący. Ponieważ $b_{n}={\frac {1}{(1-{\frac {1}{n+1}})^{n+1}}},$ to możemy wywnioskować, że ciąg $(b_{n})$ jest nierosnący, a stąd

a_{1}\leqslant a_{2}\leqslant \ldots \leqslant a_{n}\leqslant b_{n}\leqslant \ldots \leqslant b_{2}\leqslant b_{1}.

Ciąg $(a_{n})$ jest więc niemalejący i ograniczony z góry (np. przez $b_{1}$ ), a więc jest zbieżny.

Suma szeregu

Jako suma szeregu, $\mathrm {e}$ jest określana przez

\mathrm {e} =\sum _{n=0}^{\infty }{\frac {1}{n!}}={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}+{\frac {1}{4!}}+\dots ,

gdzie $n!$ jest silnią liczby $n.$

Za pomocą całki

Pole powierzchni pod hiperbolą jest równe 1

Liczbę $\mathrm {e}$ można także zdefiniować jako jedyną liczbę rzeczywistą taką że:

\int \limits _{1}^{\mathrm {e} }{\frac {1}{t}}\,\mathrm {d} t={1}

(to znaczy, że liczba $\mathrm {e}$ to taka, że pole powierzchni pod hiperbolą $f(t)=1/t$ od 1 do $\mathrm {e}$ jest równe 1).

Za pomocą funkcji

Wykres funkcji

f(x)=x^{1/x}

Liczbę $\mathrm {e}$ można również zdefiniować jako taki argument funkcji

f(x)=x^{1/x},\quad x>0

dla którego jej wartość jest największa.

Własności

$\mathrm {e}$ jest liczbą niewymierną (co udowodnił Leonhard Euler), a nawet przestępną (co udowodnił Charles Hermite w 1873 roku, w dziele „Sur la fonction expentielle”^[3] - prosty dowód opublikował Adolf Hurwitz w 1894^[4]).
$\mathrm {e}$ jest podstawą takiej funkcji wykładniczej, że styczna do jej wykresu w punkcie (0, 1) ma współczynnik kierunkowy równy 1
$\mathrm {e}$ jest podstawą takiego logarytmu, że styczna do wykresu funkcji logarytmicznej o tej podstawie w punkcie (1,0) ma współczynnik kierunkowy równy 1.
pochodna funkcji $(\mathrm {e} ^{x})'=\mathrm {e} ^{x}$
całka funkcji $\int \mathrm {e} ^{x}\,\mathrm {d} x=\mathrm {e} ^{x}+C,$ gdzie C jest dowolną stałą całkowania.
z definicji wprost wynika, że funkcja wykładnicza o podstawie $\mathrm {e}$ jest odwrotną do logarytmu naturalnego:
$\ln \mathrm {e} ^{x}=x$

$\mathrm {e} ^{\ln x}=x$
Jest jednym z elementów wzoru Eulera (zwanego też „najpiękniejszym wzorem matematyki”), wiążącej $\mathrm {e}$ z innymi słynnymi liczbami: jednostką urojoną $\mathrm {i}$ , $\mathrm {\pi }$ , jednością i zerem:
$\mathrm {e} ^{\mathrm {i\pi } }+1=0$

Wzory na obliczenie e

Granice ciągów

\mathrm {e} =\lim _{n\to \infty }{\frac {n}{\sqrt[{n}]{n!}}}

\mathrm {e} =\lim _{n\to \infty }n\cdot \left({\frac {\sqrt {2\pi n}}{n!}}\right)^{1/n}

(oba to tzw. wzory Stirlinga)

\mathrm {e} =\lim _{n\to \infty }{\frac {n!}{!n}},

gdzie $!n$ to podsilnia, definiowana kombinatorycznie jako liczba nieporządków zbioru $n$ –elementowego, algebraicznie zaś jako $!n=n!\left(1-{\frac {1}{1!}}+{\frac {1}{2!}}-{\frac {1}{3!}}+\ldots +(-1)^{n}{\frac {1}{n!}}\right)$

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

Szeregi nieskończone

\mathrm {e} =2+{\frac {1}{1+{\frac {1}{2+{\frac {2}{3+{\frac {3}{\ddots }}}}}}}}

\mathrm {e} =\left[\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{k!}}\right]^{-1}

\mathrm {e} =\left[\sum _{k=0}^{\infty }{\frac {1-2k}{(2k)!}}\right]^{-1}

\mathrm {e} ={\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {k+1}{k!}}

\mathrm {e} =2\sum _{k=0}^{\infty }{\frac {k+1}{(2k+1)!}}

\mathrm {e} =\sum _{k=0}^{\infty }{\frac {3-4k^{2}}{(2k+1)!}}

\mathrm {e} =\sum _{k=0}^{\infty }{\frac {(3k)^{2}+1}{(3k)!}}

\mathrm {e} =\left[\sum _{k=0}^{\infty }{\frac {4k+3}{2^{2k+1}\,(2k+1)!}}\right]^{2}

\mathrm {e} =\left[{\frac {-12}{\mathrm {\pi } ^{2}}}\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}\ \cos \left({\frac {9}{k\mathrm {\pi } +{\sqrt {k^{2}\mathrm {\pi } ^{2}-9}}}}\right)\right]^{-1/3}

\mathrm {e} =\sum _{k=1}^{\infty }{\frac {k^{2}}{2(k!)}}

Iloczyny nieskończone

\mathrm {e} =2\cdot {\sqrt {\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}}}\ldots =2\cdot \prod _{n=1}^{\infty }{\sqrt[{2^{n}}]{\frac {\prod _{i=1}^{2^{n-1}}(2^{n}+2i)}{\prod _{i=1}^{2^{n-1}}(2^{n}+2i-1)}}}

{\frac {2\cdot 2^{(\ln(2)-1)^{2}}\ldots }{2^{\ln(2)-1}\cdot 2^{(\ln(2)-1)^{3}}\ldots }}=\prod _{n=0}^{\infty }2^{(\ln(2)-1)^{2n}-(\ln(2)-1)^{2n+1}}

W 1980 roku, Nick Pippenger udowodnił wzór^[5]^[6]

\mathrm {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}\ldots =2\prod _{n=1}^{\infty }{\sqrt[{2^{n}}]{\frac {[(2^{n-1}-1)!!]^{2}[(2^{n})!!]^{2}}{[(2^{n-1})!!]^{2}[(2^{n}-1)!!]^{2}}}},

gdzie n!!, to silnia podwójna.

Kultura e

W celu zapamiętania kolejnych cyfr dziesiętnych liczby $\mathrm {e}$ tworzone są wierszyki, a nawet opowiadania (podobnie jak o liczbie π), w których długość każdego kolejnego słowa równa się kolejnej cyfrze w rozwinięciu dziesiętnym e:

„We present a mnemonic to memorize a constant so exciting that Euler exclaimed: '!' when first it was found, yes, loudly '!'. My students perhaps will compute e, use power or Taylor series, an easy summation formula, obvious, clear, elegant!”

Gdzie znak „!” oznacza cyfrę 0.

Inne interpretacje liczby e

Wkładamy do pewnego banku jedną złotówkę. Załóżmy, że oprocentowanie wkładu (stopa procentowa) w skali rocznej wynosi 100%. Ale odsetki mogą być doliczane do kwoty podstawowej w różnorodny sposób. Jeśli będą obliczane po upływie roku, to na koniec roku będziemy mieli 2 złote. Jeśli będą dwa okresy kapitalizacji (czyli odsetki obliczane dwa razy w roku), to na koniec roku będziemy mieć $\left(1+{\frac {1}{2}}\right)^{2},$ czyli 2,25 złotego. W przypadku kapitalizacji co kwartał otrzymamy $\left(1+{\frac {1}{4}}\right)^{4},$ co w przybliżeniu wynosi 2,44 zł. Jeśli kapitalizacja odbywała się w sposób ciągły (czyli liczba okresów dąży do nieskończoności) to na koniec roku otrzymamy $\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n},$ czyli $\mathrm {e}$ złotych.

Dowód niewymierności e

Używamy $n$ -tego przybliżenia $\mathrm {e} ,$ które zapisujemy $e_{n}{:}$

e_{n}=\sum _{k=0}^{n}{\frac {1}{k!}}

Szacujemy błąd

{\begin{aligned}\mathrm {e} -e_{n}&=\sum _{k=n+1}^{\infty }{\frac {1}{k!}}\\&={\frac {1}{(n+1)!}}\cdot \left(1+{\frac {1}{n+2}}+{\frac {1}{(n+2)(n+3)}}+\ldots \right)\\&<{\frac {1}{(n+1)!}}\cdot \left(1+{\frac {1}{n+1}}+{\frac {1}{(n+1)^{2}}}+\ldots \right)\\&={\frac {1}{(n+1)!}}\cdot {\frac {1}{1-{\frac {1}{n+1}}}}={\frac {1}{n!\cdot n}}\end{aligned}}

Z tego wynika, że $\mathrm {e} =e_{n}+{\frac {\theta }{n!\cdot n}}=\sum _{k=0}^{n}{\frac {1}{k!}}+{\frac {\theta }{n!\cdot n}},$ gdzie $0<\theta <1.$

Dowód przez sprowadzenie do sprzeczności:

Załóżmy, że $\mathrm {e}$ jest liczbą wymierną. Czyli da się ją przedstawić w postaci ${\frac {p}{q}}$ gdzie $p,q\in \mathbb {Z} ,q\neq 0.$

W tym wzorze bierzemy tak duże $n,$ żeby było większe od $q.$

Wówczas:

{\frac {p}{q}}=\sum _{k=0}^{n}{\frac {1}{k!}}+{\frac {\theta }{n!\cdot n}}.

Mnożąc stronami przez $n!$ dostajemy: $p\cdot {\frac {n!}{q}}=\sum _{k=0}^{n}{\frac {n!}{k!}}+{\frac {\theta }{n}}$

${\frac {n!}{q}}\in \mathbb {Z} ,$ więc $p\cdot {\frac {n!}{q}}\in \mathbb {Z}$

${\frac {n!}{k!}}\in \mathbb {Z} ,$ więc $\sum _{k=0}^{n}{\frac {n!}{k!}}\in \mathbb {Z}$

Zostały same liczby całkowite poza ${\frac {\theta }{n}},$ która całkowita nie jest.

To dowodzi sprzeczności, a więc i nieprawdziwości twierdzenia, że „ $\mathrm {e}$ jest wymierne”.

Zobacz też

Przypisy

↑ Ciąg A001113 w On-Line Encyclopedia of Integer Sequences.
↑ e, [w:] Encyklopedia PWN [dostęp 2021-07-29] .
↑ Charles Hermite: Sur la fonction exponentielle. C. R. Acad. Sci. Paris 77, 1873, s. 18–24, 74–79, 226–233.
↑ A. Hurwitz, 1894, Dowód przestępności liczby e., Prace Matematyczno-Fizyczne, 5(1), 6–8., pdf
↑ Eric W.E.W. Weisstein Eric W.E.W., Pippenger Product, [w:] MathWorld, Wolfram Research [dostęp 2013-02-27] (ang.).
↑ Nick Pippinger. An Infinite Product for e. „Amer. Math. Monthly”. 87 (V), s. 391, maj 1980. (ang.).

Bibliografia

Bogdan Miś: Tajemnicza liczba e i inne sekrety matematyki. Warszawa: Wydawnictwa Naukowo-Techniczne, 1989. ISBN 978-83-204-3364-7.

Linki zewnętrzne

KarolK. Gryszka KarolK., Stała Eulera w trójkącie Pascala, [w:] pismo „Delta”, deltami.edu.pl, marzec 2022, ISSN 0137-3005 [dostęp 2022-03-15] (pol.).
Eric W.E.W. Weisstein Eric W.E.W., e, [w:] MathWorld, Wolfram Research [dostęp 2020-12-12] (ang.).
e w rozwinięciu (ang.)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Ciąg A001113 w On-Line Encyclopedia of Integer Sequences.

[2] , [w:] Encyklopedia PWN [dostęp 2021-07-29] .

[3] Charles Hermite: Sur la fonction exponentielle. C. R. Acad. Sci. Paris 77, 1873, s. 18–24, 74–79, 226–233.

[4] A. Hurwitz, 1894, Dowód przestępności liczby e., Prace Matematyczno-Fizyczne, 5(1), 6–8., pdf

[wolfram-5] Eric W.E.W. Weisstein Eric W.E.W., Pippenger Product, [w:] MathWorld, Wolfram Research [dostęp 2013-02-27] (ang.).

[Pippinger-6] Nick Pippinger. An Infinite Product for e. „Amer. Math. Monthly”. 87 (V), s. 391, maj 1980. (ang.).

[1]

[2]

[3]

[4]

[5]

[6]

Najważniejsze stałe	π – stosunek obwodu do średnicy koła e – podstawa logarytmu naturalnego, liczba Eulera φ – złoty podział odcinka γ – stała Eulera-Mascheroniego κ – stała Chinczyna A – stała Apéry’ego δ – pierwsza stała Feigenbauma α – druga stała Feigenbauma K – stała Catalana
Inne stałe	Λ – stała de Bruijna-Newmana E_B – stała Erdősa-Borweina M – stała Meissela-Mertensa B₂, B₄ – stałe Bruna B´_L – stała Legendre’a K – stała Sierpińskiego C₂ – stała liczb pierwszych bliźniaczych
Tematy powiązane	„Najpiękniejszy wzór matematyki” Dzień Liczby π Liczby Fibonacciego $\delta _{S}$ – srebrny podział odcinka P – liczba plastikowa

pojęcia definiujące	potęgowanie funkcja wykładnicza (antylogarytm) funkcja odwrotna
funkcje logarytmiczne	logarytm binarny logarytm dziesiętny logarytm naturalny
powiązane funkcje	funkcja logitowa logarytm całkowy logarytm dyskretny logarytm iterowany logarytm macierzy pochodna logarytmiczna
inne pojęcia	neper podstawa logarytmu naturalnego (e) skala logarytmiczna spirala logarytmiczna suwak logarytmiczny
uczeni	Henry Briggs John Napier William Oughtred