Tożsamość Eulera, czasami nazywana równaniem Eulera, jest tym równaniem:
e i π + 1 = 0 {\i0} {\i1}Style e^{i\pi }+1=0}
- π {\i1}Styl stylistyczny.{\i0}
pi
π ≈ 3.14159 {\i1} {\i1}Styl stylistyczny {\i1}pi {\i1} ok. 3.14159}
- e {\i1}Style e{\i0}
Numer Eulera
e ≈ 2.71828 {\i1} {\i1}Displaystyle e\i1} ok. 2.71828}
- i {\i1}
, wyimaginowana jednostka.{\i0}
ı = √ - 1 {\i1}Displaystyle \i0}imath =\i0}surd {\i1}
Tożsamość Eulera została nazwana na cześć szwajcarskiego matematyka Leonarda Eulera. Nie jest jasne, czy sam ją wymyślił.
Respondenci ankiety przeprowadzonej w świecie fizyki nazwali tożsamość "najgłębszą matematyczną wypowiedzią, jaką kiedykolwiek napisano", "niesamowitą i wysublimowaną", "wypełnioną kosmicznym pięknem" i "rozsadzającą umysł".
Co przedstawia ta tożsamość i dlaczego jest wyjątkowa?
Tożsamość łączy w jednym krótkim równaniu pięć fundamentalnych stałych matematycznych:
- π — stosunek obwodu koła do jego średnicy (ok. 3,14159),
- e — podstawa logarytmu naturalnego, znana też jako liczba Eulera (ok. 2,71828),
- i — jednostka urojenia, pierwiastek z −1,
- 1 — element neutralny mnożenia (jedynka),
- 0 — element neutralny dodawania (zero).
Fascynacja tą tożsamością wynika z połączenia prostoty formy i głębokiego znaczenia: w jednym równaniu pojawiają się konstanta geometryczna (π), stała analizy (e), element algebraiczny (i) oraz podstawowe jednostki arytmetyki (0 i 1).
Dowód (intuicyjny)
Najprostszy i najbardziej znany sposób wyprowadzenia tej tożsamości opiera się na tzw. wzorze Eulera:
e^{ix} = cos x + i sin x.
Podstawiając x = π otrzymujemy:
e^{iπ} = cos π + i sin π = −1 + i·0 = −1.
Stąd e^{iπ} + 1 = 0, co jest właśnie tożsamością Eulera.
Dowód przez szeregi potęgowe (skrót)
Można też porównać szereg potęgowy rozwinięcia funkcji wykładniczej i funkcji trygonometrycznych:
e^{ix} = Σ (ix)^n / n! (n=0 do ∞). Jeśli rozdzielimy sumę na wyrazy parzyste i nieparzyste, otrzymamy dokładnie rozwinięcia cos x i i sin x. Dla x = π daje to tę samą równość e^{iπ} = −1.
Interpretacja geometryczna
Wykładnik zespolony e^{iθ} można interpretować jako punkt na jednostkowym okręgu w płaszczyźnie zespolonej o kącie θ mierzonym od osi rzeczywistej. Dla θ = π punkt ten leży po przeciwnej stronie osi rzeczywistej i odpowiada liczbie −1. W ten sposób tożsamość pokazuje związek między obrotem o kąt π a operacją mnożenia przez e^{iπ}.
Historia i kontekst
Wzór e^{ix} = cos x + i sin x jest przypisywany Leonardowi Eulerowi i został opublikowany w jego dziele Introductio in analysin infinitorum (1748). Pomysły prowadzące do tego zapisu miały wcześniejszych prekursorów — np. prace De Moivre'a i innych — niemniej to Euler ujął je w tej eleganckiej i użytecznej postaci. Dlatego równanie nosi jego imię, chociaż niektóre elementy teorii funkcji zespolonych rozwijali też inni badacze.
Zastosowania
- Analiza zespolona i teoria funkcji analitycznych — tożsamość jest podstawą pracy z wykładnikami zespolonymi, transformacjami i rozwojami w szereg.
- Analiza Fouriera i przetwarzanie sygnałów — użycie e^{iωt} do reprezentowania fal i sygnałów sinusoidalnych ułatwia obliczenia i transformacje.
- Fizyka falowa i mechanika kwantowa — funkcje falowe i amplitudy są często opisywane przez zespolone wykładniki.
- Inżynieria elektryczna — analiza obwodów prądu zmiennego za pomocą fazorów wykorzystuje reprezentację zespoloną sinusoidek.
- Geometria i przekształcenia — mnożenie przez e^{iθ} odpowiada obrotowi w płaszczyźnie.
Znaczenie estetyczne
Poza zastosowaniami praktycznymi, tożsamość Eulera uchodzi za przykład matematycznego piękna: krótka forma, zwięzłe połączenie podstawowych idei i wielka elegancja dowodu. Dlatego cytowane w artykule opinie fizyków i matematyków dotyczące jej „głębi” i „piękna” pojawiają się często w literaturze popularyzującej matematykę.
Uwagi końcowe
Tożsamość Eulera jest często punktem wyjścia przy nauce analizy zespolonej i przybliżeniach funkcji trygonometrycznych przez wykładnicze. Choć jej dowody i konsekwencje wymagają pewnej dojrzałości matematycznej (pojęcia szeregów, granic, funkcji zespolonych), sama postać równania jest przystępna i inspirująca już na wczesnym etapie edukacji matematycznej.

