Tożsamość Eulera, czasami nazywana równaniem Eulera, jest tym równaniem:

e i π + 1 = 0 {\i0} {\i1}Style e^{i\pi }+1=0} {\displaystyle e^{i\pi }+1=0}

  • π {\i1}Styl stylistyczny.{\i0} {\displaystyle \pi }pi

π ≈ 3.14159 {\i1} {\i1}Styl stylistyczny {\i1}pi {\i1} ok. 3.14159} {\displaystyle \pi \approx 3.14159}

e ≈ 2.71828 {\i1} {\i1}Displaystyle e\i1} ok. 2.71828} {\displaystyle e\approx 2.71828}

ı = √ - 1 {\i1}Displaystyle \i0}imath =\i0}surd {\i1} {\displaystyle \imath =\surd {-1}}

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.