Ši lygtis yra Eulerio tapatybė, kartais vadinama Eulerio lygtimi:
e i π + 1 = 0 {\displaystyle e^{i\pi }+1+1=0}
- π {\displaystyle \pi }
, pi
π ≈ 3.14159 {\displaystyle \pi \aprox 3.14159}
- e {\displaystyle e}
, Eulerio skaičius
e ≈ 2,71828 {\displaystyle e\aprox 2,71828}
- i {\displaystyle i}
, įsivaizduojamasis vienetas
ı = √ - 1 {\displaystyle \imath =\surd {-1}}
Eulerio tapatybė pavadinta šveicarų matematiko Leonardo Eulerio vardu. Nėra aišku, ar jis pats ją sugalvojo.
"Physics World" apklausoje dalyvavę respondentai tapatybę pavadino "giliausiu kada nors parašytu matematiniu teiginiu", "nuostabia ir didinga", "kupina kosminio grožio" ir "pribloškiančia".
Apibrėžimas ir paprastas paaiškinimas
Eulerio tapatybė teigia, kad
e^{iπ} + 1 = 0
Tai reiškia, kad kompleksiškas eksponentas e pakeltas į iπ lygus −1, o pridedant 1 gaunama nulis. Ši trumpa lygtis sujungia kelis matematikos fundamentus: skaičius e, π, i, bei elementarius skaičius 0 ir 1.
Įrodymas (paprastas žingsnis po žingsnio)
Įrodymas remiasi Eulerio formule:
e^{ix} = cos x + i sin x
Jeigu vietoje x įrašome π, gauname
e^{iπ} = cos π + i sin π
Žinome, kad cos π = −1 ir sin π = 0, tad
e^{iπ} = −1
Iš čia seka Eulerio tapatybė:
e^{iπ} + 1 = 0
Alternatyvūs įrodymai (santrauka)
- Taylor'o eilutės: išplėtus e^{ix}, cos x ir sin x į galios eiles ir sudėjus atitinkamas narius gaunasi Eulerio formulė, o iš jos — tapatybė x = π atveju.
- Sprendžiant diferencialines lygtis: funkcija e^{ix} ir sin/cos gali būti apibrėžiamos kaip sprendiniai tam tikroms pradinėms sąlygoms tenkinančioms dif. lygčioms, iš čia taip pat gaunama ryšys.
- de Moivre'o formulė: (cos θ + i sin θ)^n = cos(nθ) + i sin(nθ) ir jo pratęsimai lemia Eulerio formulę.
Reikšmė ir grožis
Eulerio tapatybė dažnai vadinama gražiausia matematine lygtimi, nes viename trumpame sakinyje ji sujungia:
- du fundamentalius skaičius (e ir π),
- įsivaizduojamą vienetą i,
- bazinį aritmetinį elementą (1),
- ir neutrinį elementą nuliui (0).
Tai simbolizuoja gilų ryšį tarp analizės, trigonometrijos ir kompleksinės algebros.
Istorija
Leonardas Euleris (1707–1783) plačiai pritaikė ir išplėtojo idėjas, kurios leido užrašyti e^{ix} = cos x + i sin x. Tam tikrais elementais ši idėja turi ankstesnių šaknų (pvz., de Moivre'o formulėje), tačiau Euleris ją sistemingai įtvirtino matematinėje literatūroje ir panaudojo daugelyje savo darbų, ypač XVIII a. viduryje. Dėl to tapatybė dažnai priskiriama jam, nors atskiros sudedamosios dalys susiformavo anksčiau arba savaime aiškėja iš skirtingų teorinių požiūrių.
Panaudojimas
Eulerio formulė ir iš jos kylanti tapatybė yra kertiniai įrankiai daugelyje sričių:
- Kompleksinė analizė — naudojama funkcijų vaizdavimui poliarinėmis koordinates, integracijoms ir kt.
- Signalo apdorojimas ir Fourier analizė — sinusoidas užrašomas kaip kompleksinis eksponentas, tai palengvina transformacijas ir filtravimą.
- Elektrotechnika — fazorių (phasor) reiškiniai, grandinių analizė.
- Kvantinė mechanika — bangų funkcijų ir fazių sąvokos.
- Diferencialinių lygtčių sprendimas — kompleksiniai eksponentai dažnai yra sprendinių forma.
Platesnis kontekstas ir pastebėjimai
Eulerio tapatybė yra specialus Eulerio formulės atvejis (x = π). Plačiau, kompleksinis skaičius gali būti užrašytas poliarine forma:
re^{iθ} = r(cos θ + i sin θ)
Tai supaprastina daugybą veiksmų su kompleksiniais skaičiais, įskaitant daugybą, dalybą ir pakėlimą laipsniu.
Taip pat svarbu paminėti, kad logaritmai kompleksiniuose skaičiuose yra daugiareikšmiai: iš e^{iπ} = −1 galime rašyti ln(−1) = i(2k+1)π, kur k yra sveikasis skaičius — tai atspindi eksponentinės funkcijos periodiškumą kompleksiame lape.
Apibendrinimas
Eulerio tapatybė e^{iπ} + 1 = 0 yra trumpas, bet galingas matematinis teiginys, rodantis sąsają tarp fundamentalių skaičių ir funkcijų. Ji turi tiek teorinę vertę (graži ir vienijanti formulė), tiek praktinių pritaikymų įvairiose mokslo ir inžinerijos srityse.

