A função exponencial natural ez pode ser definida como o limite de (1 + z N )N , quando N tende ao infinito, e assim e i π é o limite de (1 + i πN )N . Nesta animação N assume vários valores crescentes de 1 a 100. O cálculo de (1 + i πN )N é mostrado como efeito combinado de N multiplicações repetidas no plano complexo , com o ponto final sendo o valor de (1 + i πN )N . Pode ser visto que quando N cresce (1 + i πN )N aproxima o limite −1.
Em matemática , a identidade de Euler é representada pela equação
e
i
π
+
1
=
0
{\displaystyle e^{i\pi }+1=0}
.
Segundo Richard Feynman seria a identidade mais bela de toda a matemática. A equação aparece na obra de Leonhard Euler Introdução , publicada em Lausanne em 1748. Nesta equação,
e é a base do logaritmo natural ,
i
{\displaystyle i}
é a unidade imaginária (número imaginário com a propriedade i ² = -1 ), e
π
{\displaystyle \pi }
é a constante de Arquimedes pi (π, a razão entre o perímetro e o diâmetro de qualquer circunferência).
A beleza da equação é que ela relaciona cinco números fundamentais da matemática: e , pi , i , 0 e 1 ; e as operações base da matemática: adição , multiplicação e exponenciação .
Demonstração da Identidade de Euler
A série de Taylor, de forma geral, é enunciada como,
f
(
x
)
=
∑
n
=
0
∞
f
(
n
)
(
a
)
(
x
−
a
)
n
n
!
{\displaystyle f(x)=\sum _{n=0}^{\infty }{f^{(n)}(a)(x-a)^{n} \over n!}}
.
Quando aplicamos a série para a função exponencial, nós encontramos que,
e
x
=
e
a
(
x
−
a
)
0
+
e
a
(
x
−
a
)
1
1
!
+
e
a
(
x
−
a
)
2
2
!
+
.
.
.
{\displaystyle e^{x}=e^{a}(x-a)^{0}+e^{a}{(x-a)^{1} \over 1!}+e^{a}{(x-a)^{2} \over 2!}+...}
para a série centrada no ponto
a
=
0
{\displaystyle a=0}
,
e
x
=
∑
n
=
0
∞
x
n
n
!
{\displaystyle e^{x}=\sum _{n=0}^{\infty }{x^{n} \over n!}}
.
Esta função exponencial complexa tem as mesmas propriedades que a função exponencial real. Disso concluímos que
e
z
1
+
z
2
=
e
z
1
.
e
z
2
{\displaystyle e^{z_{1}+z_{2}}=e^{z_{1}}.e^{z_{2}}}
e se fizermos
z
=
i
y
{\displaystyle z=iy}
onde
y
{\displaystyle y}
é um número real, obteremos:
e
i
y
=
1
+
i
y
+
(
(
i
y
)
2
2
!
)
+
(
(
i
y
)
3
3
!
)
+
(
(
i
y
)
4
4
!
)
+
(
(
i
y
)
5
5
!
)
⋯
=
1
+
i
y
−
(
y
2
2
!
)
−
i
(
y
3
3
!
)
+
(
y
4
4
!
)
+
i
(
y
5
5
!
)
⋯
{\displaystyle e^{iy}=1+iy+\left({\frac {(iy)^{2}}{2!}}\right)+\left({\frac {(iy)^{3}}{3!}}\right)+\left({\frac {(iy)^{4}}{4!}}\right)+\left({\frac {(iy)^{5}}{5!}}\right)\cdots =1+iy-\left({\frac {y^{2}}{2!}}\right)-i\left({\frac {y^{3}}{3!}}\right)+\left({\frac {y^{4}}{4!}}\right)+i\left({\frac {y^{5}}{5!}}\right)\cdots }
=
1
−
(
y
2
2
!
)
+
(
y
4
4
!
)
−
(
y
6
6
!
)
⋯
+
i
[
y
−
(
y
3
3
!
)
+
(
y
5
5
!
)
⋯
]
{\displaystyle =1-\left({\frac {y^{2}}{2!}}\right)+\left({\frac {y^{4}}{4!}}\right)-\left({\frac {y^{6}}{6!}}\right)\cdots +i[y-\left({\frac {y^{3}}{3!}}\right)+\left({\frac {y^{5}}{5!}}\right)\cdots ]}
=
∑
n
=
0
∞
(
−
1
)
n
y
2
n
(
2
n
)
!
+
i
∑
n
=
0
∞
(
−
1
)
n
y
2
n
+
1
(
2
n
+
1
)
!
{\displaystyle =\sum _{n=0}^{\infty }{(-1)^{n}y^{2n} \over (2n)!}+i\sum _{n=0}^{\infty }{(-1)^{n}y^{2n+1} \over (2n+1)!}}
,
as duas séries são as famosas séries das funções
c
o
s
(
y
)
{\displaystyle cos(y)}
e
s
e
n
(
y
)
{\displaystyle sen(y)}
, respectivamente. Portanto, vemos que a função exponencial com argumento complexo será
e
i
y
=
c
o
s
(
y
)
+
i
s
e
n
(
y
)
{\displaystyle e^{iy}=cos(y)+i\,sen(y)}
.
aplicando para
y
=
π
{\displaystyle y=\pi }
e
i
π
=
−
1
→
e
i
π
+
1
=
0
{\displaystyle e^{i\pi }=-1\,\,\,\rightarrow \,\,\,e^{i\pi }+1=0}
Bibliografa
Conway, John H. ; Guy, Richard K. (1996), The Book of Numbers , Springer ISBN 978-0-387-97993-9
Crease, Robert P. (10 May 2004), "The greatest equations ever ", Physics World
Dunham, William (1999), Euler: The Master of Us All , Mathematical Association of America ISBN 978-0-88385-328-3
Euler, Leonhard (1922), Leonhardi Euleri opera omnia. 1, Opera mathematica. Volumen VIII, Leonhardi Euleri introductio in analysin infinitorum. Tomus primus , Leipzig: B. G. Teubneri
Kasner, E. ; Newman, J. (1940), Mathematics and the Imagination , Simon & Schuster
Maor, Eli (1998), e : The Story of a number , Princeton University Press ISBN 0-691-05854-7
Nahin, Paul J. (2006), Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills , Princeton University Press ISBN 978-0-691-11822-2
Paulos, John Allen (1992), Beyond Numeracy: An Uncommon Dictionary of Mathematics , Penguin Books ISBN 0-14-014574-5
Reid, Constance (várias edições), From Zero to Infinity , Mathematical Association of America
Sandifer, C. Edward (2007), Euler's Greatest Hits , Mathematical Association of America ISBN 978-0-88385-563-8
Stipp, David (2017), A Most Elegant Equation: Euler's formula and the beauty of mathematics , Basic Books
Wells, David (1990). «Are these the most beautiful?». The Mathematical Intelligencer . 12 (3): 37–41. doi :10.1007/BF03024015
Wilson, Robin (2018), Euler's Pioneering Equation: The most beautiful theorem in mathematics , Oxford University Press
Zeki, S.; Romaya, J. P.; Benincasa, D. M. T.; Atiyah, M. F. (2014), «The experience of mathematical beauty and its neural correlates», Frontiers in Human Neuroscience , 8 , PMC 3923150 , PMID 24592230 , doi :10.3389/fnhum.2014.00068