∀x∈R için ex=∑∞n=0xnn! ve
sinx=∑∞n=0(−1)nx2n+1(2n+1)!,cosx=∑∞n=0(−1)nx2n(2n)!
olduğu Kolayca(!) ispatlanıyor.
x∈R olmak üzere ix için de birinci özdeşliğin sağlandığını kabul edelim
(aksi halde ez nin bir tanımı gerekecek ve o tanımdan, büyük bir olasılıkla, bu eşitlik hemen elde edilecektir)
Her n≥0 için i2n=(−1)n ve i2n+1=(−1)ni olduğunu kullanarak:
(İlk çözümde aşağıdaki serilerin sırası ters idi düzelttim)
eiπ=∞∑n=0(iπ)nn!=∞∑n=0(−1)nπ2n(2n)!+i∞∑n=0(−1)nπ2n+1(2n+1)!=cosπ+isinπ=−1
elde edilir.
(Aynı şekilde, her x∈R için eix=cosx+isinx elde edilir.)
4. satıra ek:
(veya eix in tanımı olarak alalım. Aynı seri, karmaşık sayılarda da mutlak yakınsaktır)