Oilerio formule vadinama formulė e i ϕ = cos ( ϕ ) + i sin ( ϕ ) {\displaystyle {\mathsf {e}}^{i\phi }=\cos(\phi )+i\sin(\phi )} , čia i – menamasis vienetas , o ϕ {\displaystyle \phi } - kompleksinio skaičiaus argumentas.
Įdomu pastebėti, kad | e i ϕ | = cos 2 ( ϕ ) + sin 2 ( ϕ ) = 1 {\displaystyle |{\mathsf {e}}^{i\phi }|=\cos ^{2}(\phi )+\sin ^{2}(\phi )=1} .
Iš formulės išplaukia, kad e i ϕ = e i ( ϕ + 2 π ) = cos ( ϕ + 2 π ) + i sin ( ϕ + 2 π ) {\displaystyle {\mathsf {e}}^{i\phi }={\mathsf {e}}^{i(\phi +2\pi )}=\cos(\phi +2\pi )+i\sin(\phi +2\pi )} .
Pasiūlė Leonardas Oileris .
Įrodymas Pasižymime z = cos x + i sin x {\displaystyle z=\cos x+i\sin x} , randame šio dydžio diferencialą :
d z = ( − sin x + i cos x ) d x = ( i cos x + i 2 sin x ) d x = i z d x {\displaystyle {\mathsf {d}}z=(-\sin x+i\cos x){\mathsf {d}}x=(i\cos x+i^{2}\sin x){\mathsf {d}}x=iz{\mathsf {d}}x} Lygtį galime perrašyti taip:
d z z = i d x {\displaystyle {\frac {{\mathsf {d}}z}{z}}=i\;{\mathsf {d}}x} Abi puses suintegruojame :
∫ d z z = i ∫ d x {\displaystyle \int {\frac {{\mathsf {d}}z}{z}}=i\int {\mathsf {d}}x} ln z = i x + C {\displaystyle \ln z=ix+C\quad } Konstantos C {\displaystyle C} vertę gauname paėmę x = 0 {\displaystyle x=0} , tada z = 1 {\displaystyle z=1} , C = ln 1 = 0 {\displaystyle C=\ln 1=0} , taigi:
ln z = i x {\displaystyle \ln z=ix\quad } .Iš čia:
e i x = z {\displaystyle {\mathsf {e}}^{ix}=z} e i x = cos x + i sin x {\displaystyle {\mathsf {e}}^{ix}=\cos x+i\sin x} Formulę taip pat galima įrodyti išskleidus abi lygybės puses Teiloro eilutėmis .