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 geldt dat:
Daarin is het grondtal van de natuurlijke logaritme, de imaginaire eenheid, en zijn en de goniometrische functies sinus en cosinus met het argument in radialen. De formule geldt ook voor complexe waarden van .
Identiteit van Euler
Voor ontstaat de zogenaamde identiteit van Euler:
Of in een andere vorm:
Sinus en cosinus
Omgekeerd kunnen de sinus en de cosinus met behulp van de formule van Euler worden afgeleid :
Bewijzen
Er zijn verschillende manieren om de formule van Euler te bewijzen.
Analytisch
Bepaal de afgeleide van de functie:
Met behulp van de productregel volgt:
De afgeleide is dus 0. Dit betekent dat de functie constant is:
Dus:
Omdat voor geldt, dat
volgt dat
en
.
Taylorreeks
De gelijkheid kan men ook bewijzen door aan te tonen dat de taylorreeksen van beide uitdrukkingen hetzelfde zijn.