Démonstration
Soit α∈R. On pose z=[1,α]=cosα+isinα, un nombre complexe de module 1 et d'argument α.
Donc z=cosα+isinα=eiα, d'où :
zzˉ=cosα+isinα=eiα=cosα−isinα=e−iα}⟺{z+zˉ=2cosα=eiα+e−iαz−zˉ=2isinα=eiα−e−iα
⟺⎩⎨⎧cosα=2z+zˉ=2eiα+e−iαsinα=2iz−zˉ=2ieiα−e−iα
Théorème — formules d'Euler
cosα=2eiα+e−iαsinα=2ieiα−e−iα