Czym jest liczba e? Stała Eulera, która wymyka się klasycznej algebrze

Liczba Eulera, oznaczana jako $e$, to jedna z absolutnie najważniejszych stałych w całej matematyce, stojąca w jednym rzędzie z takimi fundamentami jak zero, jedynka czy słynna liczba $\pi$. Jej przybliżona wartość wynosi:

$$e \approx 2,718281828459045235360287471352662497757247$$

Na poziomie podstawowym definiujemy ją jako liczbę niewymierną. Oznacza to, że jej rozwinięcie dziesiętne jest nieskończone i nieokresowe. Za tym prostym stwierdzeniem kryje się jednak głęboka logika oraz fascynująca historia wielopokoleniowych poszukiwań naukowych.

Niewymierność, a rozwinięcie dziesiętne – czy zachodzi tu ścisła implikacja?

Studiując własności liczb, warto zadać sobie fundamentalne pytanie o relację logiczną: Czy jeśli rozwinięcie dziesiętne danej liczby jest nieskończone i nieokresowe, to czy na pewno jest ona niewymierna?

Tak, ta implikacja jest bezwarunkowo prawdziwa. Co więcej, zachodzi tutaj pełna równoważność matematyczna. Wynika to bezpośrednio ze struktury zbioru liczb rzeczywistych i sposobu, w jaki kategoryzujemy ich zapis cyfrowy:

• Liczby wymierne to takie, które da się przedstawić w postaci ułamka zwykłego $\frac{p}{q}$ (gdzie $p$ i $q$ są liczbami całkowitymi, a $q \neq 0$). Podczas wykonywania algorytmu dzielenia pisemnego, liczba możliwych reszt z dzielenia przez $q$ jest skończona. Z tego powodu ciąg cyfr po przecinku musi w pewnym momencie albo się zakończyć (np. $\frac{1}{4} = 0,25$), albo zacząć cyklicznie powtarzać (np. $\frac{1}{3} = 0,333...$ lub $\frac{1}{7} = 0,142857142857...$).
• Liczby niewymierne to te, których w postaci takiego ułamka zapisać się nie da. Konsekwencją tego faktu jest ich zapis dziesiętny – nie istnieje taki moment, w którym cyfry zaczęłyby układać się w powtarzalne, przewidywalne bloki (okresy).

Zatem każda liczba o nieskończonym i nieokresowym rozwinięciu dziesiętnym – w tym liczba $e$ – z definicji logicznej musi być liczbą niewymierną.

Dwa światy niewymierności: Liczby algebraiczne vs. przestępne

Niewymierność niewymierności jednak nierówna. Choć liczba $e$ oraz dobrze znany pierwiastek z dwóch ($\sqrt{2}$) należą do tego samego zbioru liczb niewymiernych, to reprezentują zupełnie inny rodzaj natury matematycznej. Różnica tkwi w ich relacji z wielomianami.

1. Liczba $\sqrt{2}$ (Liczba algebraiczna)

Liczba $\sqrt{2}$ jest liczbą algebraiczną. Oznacza to, że potrafimy wskazać niezerowy wielomian o współczynnikach całkowitych (lub wymiernych), którego pierwiastkiem (rozwiązaniem) jest właśnie ta liczba. Dla $\sqrt{2}$ takim równaniem jest klasyczne:

$$x^2 - 2 = 0$$

Mimo że $\sqrt{2}$ ma nieskończone rozwinięcie dziesiętne, jej „pochodzenie” jest mocno osadzone w tradycyjnej algebrze i geometrii.

2. Liczba $e$ (Liczba przestępna)

Liczba $e$ reprezentuje znacznie bardziej subtelną i nieuchwytną kategorię – jest liczbą przestępną. Oznacza to, że nie istnieje absolutnie żaden niezerowy wielomian o współczynnikach całkowitych czy wymiernych, którego pierwiastkiem mogłaby być liczba $e$. Liczba ta całkowicie wymyka się klasycznym operacjom algebraicznym. Nie da się jej „zamknąć” w żadnym skończonym równaniu wielomianowym.

Kto udowodnił tajemnicę liczby e? Historia wielkiego przełomu

Wykazanie, że dana liczba jest przestępna, to jedno z najtrudniejszych zadań w analizie matematycznej. Dokonał tego jako pierwszy w historii francuski matematyk Charles Hermite w 1873 roku.

Droga do tego sukcesu była długa i wymagała pracy wielu pokoleń genialnych umysłów, tworząc taką oś czasu:

• 1737 r. – Leonhard Euler dowodzi niewymierności: Słynny szwajcarski matematyk jako pierwszy udowodnił, że $e$ jest liczbą niewymierną. Zrobił to, badając jej unikalne rozwinięcie w ułamek łańcuchowy. Niewymierność była jednak własnością zbyt słabą, by odpowiedzieć na pytanie o naturę algebraiczną stałej. Choć stała nosi imię Eulera, to pierwszym matematykiem, który zetknął się z nią w praktyce, był John Napier (twórca logarytmów) na początku XVII wieku. Napier budując tablice logarytmiczne, operował pośrednio na podstawie logarytmu naturalnego, choć nie znał jej dokładnej wartości.
• 1844 r. – Joseph Liouville potwierdza istnienie nowego świata: Francuski matematyk Joseph Liouville jako pierwszy udowodnił, że liczby przestępne w ogóle istnieją. Skonstruował w tym celu sztuczne, niezwykle szybko zbieżne szeregi (tzw. liczby Liouville'a). Wciąż jednak nie wiedziano, czy jakakolwiek naturalnie występująca w przyrodzie i analizie stała posiada tę niezwykłą cechę.
• 1873 r. – Triumf Charlesa Hermite'a: Hermite opracował genialny, niezwykle skomplikowany dowód analityczny oparty na specjalnych konstrukcjach całkowych i aproksymacjach. Wykluczył on raz na zawsze możliwość, by $e$ spełniało jakiekolwiek równanie wielomianowe o współczynnikach wymiernych. Był to pierwszy w historii dowód przestępności dla liczby „naturalnej”, a nie stworzonej sztucznie pod tezę.
• 1882 r. – Efekt domina i rozwiązanie starożytnej zagadki: Metoda Hermite'a okazała się tak potężna, że niespełna dekadę później niemiecki matematyk Ferdinand von Lindemann, bazując bezpośrednio na pracy Francuza, udowodnił przestępność liczby $\pi$. To odkrycie miało kolosalne znaczenie historyczne – ostatecznie dowiodło, że starożytny problem kwadratury koła (skonstruowanie kwadratu o polu równym polu danego koła przy użyciu tylko cyrkla i linijki) jest konstrukcyjnie niewykonalny (problem znany w starożytnej Grecji po ponad 2000 lat zostaje rozwiązany).

Trzy filary matematycznej definicji liczby e

Współczesna analiza matematyczna definiuje liczbę $e$ na kilka równoważnych sposobów, z których każdy ukazuje jej unikalne piękno i wszechstronność:

Filar I: Granica ciągu (kontekst finansowy i wzrostu)

Jedną z najpopularniejszych definicji, wywodzącą się pierwotnie z analizy procentu składanego przez Jakuba Bernoullego, jest granica ciągu:

$$e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n$$

Definicja ta pokazuje, jak zachowuje się kapitał przy ciągłym, nieustannym wzroście.

Filar II: Suma nieskończonego szeregu (niezwykle szybka zbieżność)

Liczbę $e$ możemy również przedstawić jako sumę odwrotności silni kolejnych liczb naturalnych. Ten zapis pozwala na błyskawiczne obliczanie wartości stałej z ogromną dokładnością:

$$e = \sum_{n=0}^{\infty} \frac{1}{n!} = 1 + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \dots$$

Filar III: Fundament rachunku różniczkowego

W świecie operacji różniczkowych liczba $e$ jest absolutnym ewenementem. Funkcja wykładnicza oparta na tej stałej ($f(x) = e^x$) jako jedyna funkcja niezerowa jest swoją własną pochodną:

$$\frac{d}{dx} e^x = e^x$$

Wykres tej funkcji w każdym punkcie ma nachylenie (styczną) dokładnie równe wartości funkcji w tym punkcie, co czyni ją najważniejszym narzędziem do modelowania procesów fizycznych, biologicznych i ekonomicznych, takich jak rozpad promieniotwórczy czy wzrost populacji.

Podsumowanie

Matematyka to nie zbiór oderwanych od siebie, suchych wzorów, ale żywy, międzypokoleniowy proces badawczy. Przykład liczby $e$ doskonale pokazuje, jak genialna intuicja Eulera, połączona z analitycznym rygorem Hermite'a, doprowadziła ludzkość do zrozumienia fundamentalnych praw rządzących strukturą liczb rzeczywistych.

Ładowanie silnika obliczeniowego Python...