Formule van Euler

Dit artikel gaat over de formule van Euler in de complexe functietheorie. Zie de Formule van Euler voor veelvlakken voor de relatie tussen hoekpunten, ribben en zijvlakken van regelmatige veelvlakken.

e^iφ

De formule van Euler, genoemd naar haar ontdekker, de Zwitserse wiskundige Leonhard Euler, is een vergelijking uit de complexe functietheorie, die een verband legt tussen de goniometrische functies en de exponentiële functie. De formule zegt dat voor ieder reële getal $x$ geldt dat:

e^{ix}=\cos(x)+i\cdot \sin(x)

Daarin is $e$ het grondtal van de natuurlijke logaritme, $i$ de imaginaire eenheid, en zijn $\sin$ en $\cos$ de goniometrische functies sinus en cosinus met het argument in radialen. De formule geldt ook voor complexe waarden van $x$ .

Identiteit van Euler

Voor $x=\pi$ ontstaat de zogenaamde identiteit van Euler:

e^{i\pi }+1=0

Of in een andere vorm:

e^{i\pi }=-1

Sinus en cosinus

Omgekeerd kunnen de sinus en de cosinus met behulp van de formule van Euler worden afgeleid :

\sin(x)={\frac {e^{ix}-e^{-ix}}{2i}}

\cos(x)={\frac {e^{ix}+e^{-ix}}{2}}

Bewijzen

Er zijn verschillende manieren om de formule van Euler te bewijzen.

Analytisch

Bepaal de afgeleide van de functie:

f(x)=e^{-ix}(\cos(x)+i\cdot \sin(x))

Met behulp van de productregel volgt:

{\frac {\mathrm {d} f}{\mathrm {d} x}}=-i\cdot e^{-ix}\cdot (\cos(x)+i\cdot \sin(x))+e^{-ix}\cdot (-\sin(x)+i\cdot \cos(x))=

=e^{-ix}(\sin(x)-i\cdot \cos(x))+e^{-ix}(-\sin(x)+i\cdot \cos(x))=

=e^{-ix}\cdot 0=0

De afgeleide is dus 0. Dit betekent dat de functie $f$ constant is:

f(x)=e^{-ix}\cdot (\cos(x)+i\cdot \sin(x))=C

Dus:

\cos(x)+i\cdot \sin(x)=C\cdot e^{ix}

Omdat voor $x=0$ geldt, dat

\cos(0)+i\cdot \sin(0)=C\,e^{0}=C

volgt dat

C=1

en

e^{ix}=\cos(x)+i\cdot \sin(x)

.

Taylorreeks

De gelijkheid kan men ook bewijzen door aan te tonen dat de taylorreeksen van beide uitdrukkingen hetzelfde zijn.

e^{ix}=\sum _{k=0}^{\infty }{\frac {(ix)^{k}}{k!}}=\sum _{k=0}^{\infty }{(-1)^{k}{\frac {x^{2k}}{(2k)!}}}+i\cdot \sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{(2k+1)!}}

\cos(x)+i\cdot \sin(x)=\sum _{k=0}^{\infty }{(-1)^{k}{\frac {x^{2k}}{(2k)!}}}+i\cdot \sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{(2k+1)!}}