Captulo 2 Funes complexas

2.1. Introduo
Neste captulo consideram-se vrios exemplos de funes complexas e ilustram-se formas de representao geomtrica destas funes que contribuem para a apreenso geomtrica dos seus efeitos e para a compreenso de como podem estender funes reais. O exemplo mais importante considerado nesta seco a exponencial complexa, em associao natural com funes logaritmo que so inversas da exponencial em conjuntos onde esta uma funo injectiva. Consideram-se tambm outras funes complexas definidas a partir da exponencial, como o caso de funes trigonomtricas, hiperblicas, potncias e exponenciais de base e expoente complexos. Para o leitor que lidou com estas funes exclusivamente no mbito dos nmeros reais pode parecer surpreendente que as funes trigonomtricas possam ser obtidas das funes exponenciais, dado o comportamento muito diferente destas funes no caso real e o facto de terem originado em contextos claramente distintos. L. Euler foi o primeiro a referir a relao entre funes trigonomtricas e a funo exponencial, numa carta a Johann Bernoulli 1 em 1740 em que escreveu a frmula 2 cos = e i + e i . Na verdade, a exponencial complexa, alm do caracter de crescimento geomtrico da exponencial real, contm o comportamento oscilatrio exibido pelas funes trigonomtricas reais seno e coseno. mais um exemplo do poder unificador e simplificador da anlise complexa que encontraremos em muitas outras situaes. O captulo termina com as noes de limite e continuidade de funes complexas.
1 Johann Bernoulli (1667-1748).

10

Funes complexas

2.2. Representao geomtrica de funes complexas

As funes complexas so funes com valores complexos e definidas num conjunto de nmeros complexos, f : S , com S . Para z = ( x + i y ) S , x, y , a funo pode-se escrever na forma f ( x + i y) = u( x, y) + i v( x, y) , com u( x, y), v( x, y) . Chama-se s funes u ,v , respectivamente, a parte real e a parte imaginria da funo f , e escreve-se f = (u , v) . De forma anloga ao que se convencionou para funes reais, quando a funo dada por uma expresso sem indicao do domnio, considera-se que o domnio o mximo subconjunto S para o qual a expresso d valores complexos. Para visualizar o efeito de funes complexas podem-se usar mtodos semelhantes aos adoptados para funes reais de variveis reais, nomeadamente: imagens de curvas no domnio, grficos (das partes reais e imaginrias, ou das funes mdulo e argumento), conjuntos de nvel (das partes reais e imaginrias). (2.1) Exemplo: A funo complexa f ( z ) = z 2 definida no semiplano superior complexo S = {( x, y ) : y > 0} . Um mtodo de visualizar geometricamente uma funo complexa baseado na representao das imagens de curvas que preenchem o plano complexo, de forma a obter uma ideia geomtrica de como a funo deforma regies do plano quando se passa do domnio para o contradomnio.

Figura 2.1: Transformao definida pela funo f ( z ) = z 2 Para a funo considerada neste exemplo prtico analisar o efeito da funo, w = f ( z ) , em termos de coordenadas polares, com z = r (cos , sin ) e w = (cos , sin ) . A relao entre w e z pode ser expressa pelas igualdades: = r 2 e = 2 . Cada semicircunferncia centrada na origem e de raio r0 no semiplano superior complexo transforma-se no subconjunto da circunferncia centrada na origem de raio = (r0 ) 2 obtido retirando-lhe apenas o ponto no semieixo real positivo (Figura 2.1).

2.2. Representao geomtrica de funes complexas

11

Cada semirecta do semiplano superior complexo com origem no ponto zero e consistindo nos pontos de argumento 0 transforma-se na semirecta com origem no ponto zero e com argumento = 2 0 (Figura 2.1). Assim, o semiplano superior complexo transforma-se no plano complexo menos o semieixo real positivo. A funo pode ser representada em coordenadas cartesianas, com z = ( x, y ) e w = f ( z ) = (u ( x, y ), v( x, y )) . Obtm-se u ( x, y ) + i v( x, y ) = ( x + i y ) 2 = ( x 2 y 2 ) + i 2 xy . Cada recta horizontal do semiplano superior complexo, y = y 0 , transformada na curva de equaes paramtricas u = x 2 ( y 0 ) 2 , v = 2 xy0 . Eliminando o parmetro x , obtm-se a equao da parbola u = v 2 /( 2 y 0 ) 2 ( y 0 ) 2 (Figura 2.2). Cada semirecta vertical do semiplano superior complexo com origem no eixo real , x = x0 , y > 0 , transformada no arco de parbola de equaes paramtricas u = ( x0 ) 2 y 2 , v = 2 x0 y , y > 0 . Eliminando o parmetro y , obtm-se a equao da parbola u = ( x0 ) 2 v 2 /( 2 x0 ) 2 , a qual simtrica da parbola anteriormente obtida com y 0 = x0 (Figura 2.2).

Figura 2.2: Transformao definida pela funo f ( z ) = z 2 Uma outra forma de representar geometricamente uma funo complexa f pelos grficos das partes real e imaginria da funo. No caso presente, estas so as funes reais u ( x, y ) = x 2 y 2 e v( x, y ) = 2 xy , com y > 0 (Figura 2.3).

Figura 2.3: Grficos das partes real e imaginria da funo definida no semiplano complexo superior por f ( z ) = z 2

12

Funes complexas

Tambm se pode representar geometricamente uma funo complexa f pelos conjuntos de nvel das partes real e imaginria de f . Isto corresponde a determinar os conjuntos de pontos do domnio que so transformados em rectas verticais u = u o e em rectas horizontais v = vo . No exemplo presente estes conjuntos so, respectivamente, o arco de hiprbole de equao cartesiana x 2 y 2 = u 0 , com y > 0 , e o arco de hiprbole xy = v0 / 2 , com y > 0 . Trata-se de hiprboles equilatras que tm por assmptotas, respectivamente, as bissectrizes dos quadrantes definidos pelos eixos dos xx e dos yy , e os prprios eixos dos xx e dos yy (Figura 2.4).

Figura 2.4: Curvas de nvel das partes real e imaginria da funo definida no semiplano complexo superior por f ( z ) = z 2 Um outra representao geomtrica til, a que se chama o relevo de f , o grfico da funo ( x, y ) | f ( x + i y ) | . Juntamente com grficos de um argumento de f , ( x, y ) arg f ( x + i y ) , obtm-se representaes geomtricas completas da funo f .(como o argumento de um nmero complexo determinado a menos de um mltiplo inteiro de 2 , para facilitar a visualizao pode ser til assegurar a continuidade do grfico nos pontos onde tal seja possvel pela utilizao de valores apropriados do argumento em regies diferentes do domnio, em vez de se optar por uma escolha predeterminada como, por exemplo, o argumento principal). No caso presente, | f (r e i ) | = r 2 e arg f (r e i ) = 2 (ver Figura 2.5).

|f|

arg f

Figura 2.5: Relevo e grfico de um argumento de f ( z ) = z 2 A funo considerada uma bijeco do semiplano superior complexo para o conjunto obtido retirando ao plano complexo o semieixo real positivo e a origem. Contudo, se a funo fosse tomada com domnio em todo o plano complexo, o contradomnio seria todo o plano complexo, mas cada ponto no nulo deste plano seria

2.2. Representao geomtrica de funes complexas

13

imagem de dois pontos distintos, um no semiplano superior complexo unido com o semieixo real positivo e outro igual ao simtrico desse ponto em relao origem e, portanto, na unio do semiplano inferior complexo com o semieixo real negativo. Ou seja, os valores da funo f : , com f ( z ) = z 2 recobrem o plano complexo (com excepo da origem) duas vezes. Neste caso, a funo no injectiva e diz-se que a relao inversa plurvoca e tem dois ramos contnuos mximos, um com contradomnio igual ao semiplano superior complexo unido com o semieixo real positivo e outro com contradomnio igual ao semiplano inferior complexo unido com o semieixo real negativo. Na verdade, a relao inversa deve, neste caso, dar as razes quadradas de cada nmero considerado no plano complexo. Sabemos que cada nmero tem duas razes quadradas complexas, as quais so simtricas em relao origem do plano complexo. (2.2) Exemplo: A funo complexa f ( z ) = 1 /( z 1) . O domnio desta funo (u ( x, y ), v( x, y )) , obtm-se
u ( x , y ) + i v ( x, y ) =
S = \ {1} . Com z = ( x, y )

w = f ( z) =

( x 1) i y 1 . = ( x 1) + i y ( x 1) 2 + y 2

O conjunto de pontos que so transformados numa circunferncia de centro na origem e raio r0 > 0 , cuja equao u 2 + v 2 = (r0 ) 2 , a curva de equao cartesiana ( x 1) 2 + y 2 = (1 / r0 ) 2 , a qual a circunferncia de centro em (1,0) e raio 1 / r0 . O conjunto de pontos que so transformados na unio das semirectas de declive m com extremidade na origem das coordenadas, cuja equao cartesiana v = mu , com (u , v) (0,0) , a curva de equao cartesiana y = m( x 1) , com ( x, y ) (1,0) , a qual a unio das semirectas de declive m com origem no ponto (1,0) (Figura 2.6). O conjunto de pontos do domnio que so transformados no eixo imaginrio, u = 0 , a recta vertical de equao x = 1 (Figura 2.4). O contradomnio de f \ {0} .

Figura 2.6: Transformao definida pela funo f ( z ) = 1 /( z 1) O relevo de f , neste caso, o grfico da funo ( x, y ) | f ( x + i y ) | = 1 / ( x 1) 2 + y 2 , indicado na Figura 2.7. O grfico do argumento principal de f

14

Funes complexas

pode ser obtido notando que Arg f ( x + i y ) = Arg 1 /(( x 1) + iy ) = Arg ( x 1, y ) , (ver Figura 2.7).

Arg f |f|

Figura 2.7: Relevo e argumento principal da funo f ( z ) = 1 /( z 1)

2.3. Funes polinomiais e funes racionais complexas

Chama-se funo polinomial complexa a uma funo da forma
P ( z ) = a k z k = a 0 + a1 z + + a n z n ,
k =0 n

com a n 0 , onde os coeficientes ak so nmeros complexos. Diz-se que n o grau da funo polinomial. Podem tambm ser consideradas funes polinomiais complexas com coeficientes reais. Chama-se funo racional complexa a uma funo que pode ser expressa como quociente de duas funes polinomiais complexas.

2.4. Exponencial complexa

Define-se a funo exponencial complexa por (Figuras 2.8 e 2.9)

e z = e x +i y = e x (cos y + i sin y ) , para z = ( x, y ) .

Note-se que a expresso no lado direito s envolve funes reais de varivel real que podem ser definidas pelas sries reais de potncias

ex =
n =0

xn n!

cos x =

(1) n x 2 n (2n)! n =0

sin x =

(1) n x 2 n +1 . n = 0 ( 2 n + 1)!

fcil verificar que a exponencial complexa assim definida uma extenso da exponencial real, visto que e x +i 0 = e x (cos 0 + i sin 0) = e x , e satisfaz as propriedades usuais das exponenciais, nomeadamente, e 0 = 1 , e z + w = e z e w , e z = 1 / e z . Alm disso, e z 0 , | e z |= eRe z , para todo z , | e iy | = 1 , para todo y , e Im z um argumento de e z . Tambm fcil ver que a funo y e i y transforma a recta real sobre a circunferncia do plano complexo de centro na origem e raio 1, e que o contradomnio da exponencial complexa \ {0} . ainda til observar que e z = e w se e s se z w = i 2k , com k , e que e z = e z .

2.5. Funes trigonomtricas e funes hiperblicas complexas

15

Analogamente a funes reais, diz-se que uma funo complexa f peridica de perodo w \{0}, ou que w \{0} um perodo de f , se f ( z ) = f ( z + w) para todos os pontos z do domnio f . Neste caso, todos os mltiplos inteiros positivos de w , kw com k , tambm so perodos de f . Diz-se que w um perodo mnimo de f se um perodo de f e no existe um seu submltiplo inteiro que seja um perodo de f . Ao contrrio do que acontece para funes reais, uma funo complexa pode ter mais de um perodo mnimo. As observaes anteriores sobre a funo exponencial complexa mostram que peridica de perodo i 2 e que este o seu nico perodo mnimo.

u(z)

v(z)

Figura 2.8: Grficos das partes real e imaginria da exponencial complexa

|ez |

Arg(e z)

Figura 2.9: Relevo e argumento da exponencial complexa

2.5. Funes trigonomtricas e funes hiperblicas complexas

claro da definio de exponencial complexa que, para y , se verifica cos y = (e i y + e i y ) / 2 e sin y = (e i y e i y ) /( 2i ) . As funes complexas coseno e seno definem-se estendendo as correspondentes funes reais por expresses anlogas, e a funo complexa tangente define-se por tan z = (sin z ) /(cos z ) (Figuras 2.10 a 2.12): cos z = e i z + e i z , 2
sin z = e i z e i z , 2i tan z = i e i z e i z . e i z + e i z

16

Funes complexas

Como a exponencial uma funo peridica de perodo i 2 , as funes coseno e seno so peridicas de perodo 2 . Na verdade, este o nico perodo mnimo destas funes. A tangente complexa peridica de perodo e este o seu nico perodo mnimo.

|cos z|

Arg(cos z)

Figura 2.10: Relevo e argumento do coseno complexo

u(z)

v(z)

Figura 2.11: Grficos das partes real e imaginria do seno complexo

/ /

/ |tan z|

/ Arg(tan z)

Figura 2.12: Relevo e argumento da tangente complexa Analogamente, definem-se as funes complexas seno hiperblico, coseno hiperblico e tangente hiperblica como extenses das correspondentes funes reais (Figuras 2.13 a 2.15): cosh z = e z + ez , 2 sinh z = e z ez , 2 tanh z = e z ez e z + ez .

2.6. Logaritmos complexos

17

claro que cosh z = cos iz , sinh z = i sin iz e tanh z = i tan iz . Portanto, as funes complexas coseno hiperblico e seno hiperblico so peridicas de perodo i 2 , a tangente hiperblica peridica de perodo i e estes so os seus nicos perodos mnimos. Alm disso, o coseno hiperblico pode ser obtido por uma rotao de / 2 em torno da origem seguida da aplicao do coseno trigonomtrico; o seno e a tangente hiperblicos podem ser obtidos por uma rotao de / 2 em torno da origem seguida da aplicao da correspondente funo trigonomtrica e, depois, uma rotao de / 2 em torno da origem, sendo esta ltima equivalente a trocar a parte real com a imaginria e, no final, mudar o sinal da parte imaginria. Estas observaes so facilmente identificadas nos grficos dados nas figuras para as funes envolvidas.
/ / / /

|cosh z|

Arg(cosh z)

Figura 2.13: Relevo e argumento do coseno hiperblico complexo

u(z)

v(z)

Figura 2.14: Grficos das partes real e imaginria do seno hiperblico complexo

|tanh z|

Arg(tanh z)

/ /

/ /

Figura 2.15: Relevo e argumento da tangente hiperblica complexa

18

Funes complexas

2.6. Logaritmos complexos

Dado um nmero complexo em representao polar z = r e i 0 , uma vez que z = e ln r e i = e ln r +i , define-se o seu logaritmo por
ln z = ln r + i ,

onde ln r designa o logaritmo real de r > 0 (Figuras 2.16 e 2.17). Em particular, os nmeros reais negativos tm logaritmos complexos, apesar de no terem logaritmos reais. Como o argumento de cada z 0 pode ser escolhido num conjunto infinito de valores que diferem de mltiplos inteiros de 2 , conclui-se que o logaritmo complexo pode ser escolhido entre infinitos valores que diferem de mltiplos inteiros de i 2 . Para assegurar a unicidade de valor e a continuidade de ln z , pode-se restringir a um intervalo semiaberto I de largura 2 (corresponde a separar diferentes ramos do logaritmo com cortes ao longo de uma semirecta com origem no ponto zero). Cada uma destas escolhas conduz a um ramo contnuo do logaritmo2, ln z = ln r + i , com I . Chama-se valor principal do logaritmo de z a ln z = ln r + i 0 , onde 0 ] , ] designa o argumento principal de z . Os logaritmos complexos assim definidos so extenses do logaritmo real e tm propriedades bsicas semelhantes, como ln( zw) = ln z + ln w , ln( z / w) = ln z ln w , ln z n = n ln z (a menos de i 2k , com k )3. Por conveno, o logaritmo de um nmero real positivo sempre considerado como o seu logaritmo real e, portanto, definido univocamente, a menos que se diga o contrrio.

|ln z|

Arg(ln z)

Figura 2.16: Grficos das partes real e imaginria do logaritmo complexo

2 ainda possvel obter outros ramos, por exemplo considerando cortes ao longo de linhas curvas ilimitadas com origem no ponto zero e sem auto-interseces. 3 Pode haver situaes em que haja nmeros da forma ln z + ln w que no sejam da forma ln( zw) , embora deles difiram de um mltiplo inteiro de i 2 . Porm, o contrrio no pode acontecer. Aplicam-se observaes anlogas s outras frmulas dadas.

2.6. Logaritmos complexos

19

|ln z|

Arg(ln z)

Figura 2.17: Relevo e valor principal do argumento do logaritmo complexo

2.7. Potncias e exponenciais complexas de base complexa

Dados z \ {0} , w \ , define-se a potncia complexa de base complexa e expoente complexo w por (Figura 2.18) z z w = e w ln z . Se z um nmero real positivo, ento ln z real e z w tem um nico valor. Caso contrrio ln z um logaritmo complexo e, portanto, z w pode ser definido atravs de uma i2k w escolha em valores que diferem de factores de e , com k . Chama-se valor w principal da potncia complexa z z funo que se obtm pela expresso acima tomando ln z igual ao valor principal do logaritmo de z . Quando z no um nmero real positivo z w tem um nico valor possvel se e s se w um nmero inteiro. Neste caso, z w pode ser interpretado como uma potncia inteira de z e coincide com o correspondente valor da potncia inteira como definida no captulo 1. Se w um nmero racional que pode ser reduzido forma p / q , com p e q sem factores primos comuns, ento z w pode ser definido atravs de uma escolha entre q valores que q coincidem com as q razes de ordem q de z p e, portanto, z w = z p / q = z p , que tambm est definida para z = 0 quando w = p / q > 0 . As potncias complexas satisfazem as propriedades z w = 1 / z w , z w1 z w2 = z w1 + w2 , mas ( z w1 ) w2 = z w1w2 e i 2 kw2 e ln z w = w ln z + i 2k , com k .

|f|

Arg(f)

Figura 2.18: Relevo e argumento do valor principal da potncia complexa4 z z i

4 z i = e i ln z = e i (ln |z|+ i Arg z ) = e Arg z e i ln |z| , pelo que | z i |= e Arg z e Arg z i = ln | z | .

20

Funes complexas

Dados z , w , com z 0 , define-se exponencial complexa de base z por (Figuras 2.19) w z w = e w ln z . Aplicam-se observaes semelhantes s feitas para a potncia complexa de base complexa e, analogamente, chama-se valor principal da exponencial complexa de base z funo que se obtm pela expresso acima com ln z igual ao valor principal do logaritmo de z .

|f|

Arg(f)

Figura 2.19: Relevo e argumento do valor principal da exponencial complexa5 w i w

2.8. Funes trigonomtricas inversas

Para definir inversas da funo complexa coseno, por w = arccos z , com z = cos w = (eiw + eiw ) / 2 , nota-se que esta relao se pode escrever (e iw ) 2 2 z (e iw ) + 1 = 0 , pelo que eiw = z z 2 1 e arccos z = w = i ln( z z 2 1) , ou, atendendo a que z z2 1 so nmeros recprocos (Figura 2.20),
arccos z = i ln z + z 2 1 . Dado que o logaritmo de um nmero complexo diferente de zero pode ser definido atravs de uma escolha num nmero infinito de valores que diferem de mltiplos inteiros de i 2 , tambm arccos z pode ser definido atravs de uma escolha em infinitos valores que diferem de mltiplos inteiros de 2 . Os valores possveis de arccos z tambm incluem os simtricos dos valores do logaritmo considerado (devido ao coseno ser uma funo par, isto , cos( z ) = cos( z ) ) que, em geral, formam um conjunto diferente de pontos que diferem entre si de mltiplos inteiros de i 2 (os dois conjuntos coincidem se e s se z + z 2 1 um nmero real positivo).

5 iw = ew lni = ewi /2 , pelo que | i w|2 = ew i / 2ew i / 2 = ei (ww)/ 2 , | i w|= ei ( / 2)Im w e Arg iw = Arg(iw/ | iw|) = Arg ei( / 2)(w(ww)/ 2)
= Arg e
i ( / 2 ) ( w ( w w ) / 2 )

= Arg e

i ( / 2 ) ( w + w ) / 2

= ( / 2)Re w .

2.8. Funes trigonomtricas inversas

21

|arccos z|

Arg(arccos z)

/ /

/ /

Figura 2.20: Relevo e argumento de um ramo do arccos z complexo A inverso da funo complexa seno pode-se obter facilmente observando que sin w = cos( / 2 w) , pelo que arcsin z = w = / 2 arccos z e
2 que tambm pode ser definido atravs de uma escolha em infinitos valores que diferem de mltiplos inteiros de 2 . arcsin z =

i ln z + z 2 1 ,

2.9. Limites e continuidade de funes complexas

Observou-se no captulo anterior que as estruturas topolgicas de e 2 coincidem. Assim, dada uma funo f : S , com S , e um ponto z 0 = ( x0 , y 0 ) , diz-se que o limite de f = (u , v) em z 0 existe e Z = ( X , Y ) , lim (u, v)( x, y ) = ( X , Y ) no sentido dos limites de escrevendo-se lim f ( z ) = Z , se z z0 ( x , y ) ( x0 , y 0 ) 2 funes em . Tambm se consideram limites infinitos e no infinito: lim f ( z ) = se z z0 lim || (u, v)( x, y ) ||= , lim f ( z ) = Z se lim (u, v)( x, y ) = ( X , Y ) , lim f ( z ) = ( x , y ) ( x0 , y 0 ) | z| ||( x , y )|| | z| se lim || (u, v)( x, y ) ||= .
Diz-se que f contnua num ponto z 0 S se lim f ( z ) = f ( z 0 ) . Diz-se que f z z0 contnua num conjunto C S se contnua em cada ponto de C , e diz-se que f contnua se contnua em todo o domnio S . claro que, f = (u , v) contnua em z 0 = ( x0 , y 0 ) se e s se (u , v) contnua em ( x0 , y 0 ) , como funo em 2 . Resulta imediatamente que o limite da soma, produto e quociente de funes complexas num ponto , respectivamente, igual soma, produto e quociente dos correspondentes limites das parcelas (no caso do quociente, desde que o limite do denominador seja diferente de zero). Analogamente, as somas, produtos, quocientes, composies de funes contnuas so funes contnuas (no caso do quociente, nos pontos onde o valor do denominador diferente de zero). Em particular, as funes polinomiais complexas so contnuas em . As funes racionais so contnuas em todos os pontos do seu domnio, isto , em todos os pontos onde o denominador no se anula.
||( x , y )||

22

Funes complexas

A funo que a cada complexo faz corresponder o seu conjugado, z z obviamente contnua em , assim como as funes Re z , Im z , | z | . A funo Arg z contnua em \ {( x,0) : x 0} . As funes complexas exponencial, coseno, seno, coseno hiperblico e seno hiperblico so contnuas em . A tangente complexa contnua no seu domnio, isto , no conjunto de pontos onde o denominador na expresso que a define no se anula, ou seja, em \ {z : z = / 2 + k , k }. O mesmo acontece com a tangente hiperblica, agora com domnio \ {z : z = i / 2 + i k , k }.
Exerccios
2.1. 2.2. 2.3. 2.4. 2.5. 2.6. 2.7.

Determine os valores de 2 i i i , (1) 2 i na forma a + i b , com a, b . Determine os valores de sin i, cos i, tan(1 + i ) . Determine todos os valores de z para os quais e z igual a 2, 1, i, i / 2, 1 i, 1 + 2 i . Obtenha expresses para arctan w em termos de logaritmos. Prove que | z i |< e , para todo z \{0} . Prove que | cos z | ilimitada. Prove que para a e < se verifica (cos + i sin ) a = cos a + i sin a e mostre que a restrio aos valores de necessria. Mostre que se a a frmula verifica-se para todo . Neste caso conhecida por frmula de De Moivre6. 2.8. Determine equaes cartesianas para os conjuntos do plano complexo que so transformados em rectas paralelas aos eixos coordenados pela funo complexa definida por z + e z e represente-os graficamente. 2.9. Mostre que lim n (1 + z / n) n existe para todo z e igual a e z . 2.10. Determine o contradomnio da restrio de tan z faixa vertical do plano complexo | Re z | / 4 e indique as imagens das rectas verticais e dos segmentos de rectas horizontais desta faixa.

6 Abraham De Moivre (1667-1754). A frmula de De Moivre apareceu publicada pela primeira vez em 1748 no livro de L. Euler Introductio.