UNIVERSIDADE FEDERAL DO RECNCAVO BAHIA

CENTRO DE CINCIAS EXATAS E TECNOLGICAS

MESTRADO EM MATEMTICA

DESMISTIFICANDO A TRIGONOMETRIA:
EXISTNCIA DE VALORES DO SENO E
COSSENO MAIORES QUE 1

ROSEMAR DOS SANTOS ALMEIDA

CRUZ DAS ALMAS

2014
DESMISTIFICANDO A TRIGONOMETRIA:
EXISTNCIA DE VALORES DO SENO E
COSSENO MAIORES QUE 1

ROSEMAR DOS SANTOS ALMEIDA

Dissertao apresentada ao curso de Mestrado

Profissional em Matemtica do Centro de Cin-
cias Exatas e Tecnolgicas da Universidade Fe-
deral do Recncavo da Bahia e a Sociedade Bra-
sileira de Matemtica, como parte dos requisitos
para a obteno do ttulo de mestre.

Orientador: Profo Dr. Juarez dos Santos Azevedo

Co-orientador: Profo Msc. Alex Santana dos Santos

CRUZ DAS ALMAS

2014
 FICHA CATALOGRFICA

A447d Almeida, Rosemar dos Santos.

Desmistificando a trigonometria: existncia de valores
do seno e cosseno maiores que 1 / Rosemar dos Santos
Almeida._ Cruz das Almas, BA, 2014.
63f.; il.

Orientador: Juarez dos Santos Azevedo.

Coorientador: Alex Santana dos Santos.

Dissertao (Mestrado) Universidade Federal do

Recncavo da Bahia, Centro de Cincias Exatas e
Tecnolgicas.

1.Matemtica Estudo e ensino. 2.Matemtica

Trigonometria. I.Universidade Federal do Recncavo da
Bahia, Centro de Cincias Exatas e Tecnolgicas.
II.Ttulo.

CDD: 510.7

Ficha elaborada pela Biblioteca Universitria de Cruz das Almas - UFRB.

 DESMISTIFICANDO A TRIGONOMETRIA:
EXISTNCIA DE VALORES DO SENO E
COSSENO MAIORES QUE 1

ROSEMAR DOS SANTOS ALMEIDA

Dissertao apresentada ao curso de Mestrado Profissional em Matemtica do Centro de

Cincias Exatas e Tecnolgicas da Universidade Federal do Recncavo da Bahia e a Sociedade
Brasileira de Matemtica, como parte dos requisitos para a obteno do ttulo de mestre.

Banca Examinadora:

Cruz das Almas, 04 de junho de 2014.

Aos meus pais Maria Conceio e Osmar e demais familiares
e minha companheira Josene Oliveira,
com muito amor.
 "Erros so, no final das contas,
fundamentos da verdade.
Se um homem no sabe o que uma coisa ,
j um avano do conhecimento saber o que ela no ."
Carl Jung
 AGRADECIMENTOS

A Deus, em primeiro lugar, em especial minha Me e meu Pai, que sempre me incenti-
varam nos estudos, meus irmos, minha famlia, pela fora dada, minha companheira e
sua famlia, por estarmos quase sempre juntos nos momentos mais importantes e, aos meus
amigos, por poder contar sempre com todos.
A Instituio e a todos que a compem.
Aos professores Dr. Juarez dos Santos Azevedo (Orientador) e Msc. Alex Santana dos
Santos (Co-orientador), pelas contribuies, pelas orientaes, que me levaram a execuo e
concluso deste trabalho.
A todos os colegas do mestrado, que contriburam diretamente nesta etapa de novos conhe-
cimentos. Por terem sido companheiros em todos os momentos.
Agradeo aos meus colegas, particular e especialmente Josene Oliveira, Rosel Almeida,
Sstenes Souza, Ronaldo Almeida, Leniedson Guedes, Rosilene Almeida, Ruan Cruz, Raphael
Almeida, Danilo Otvio, Lucas Santos e demais colegas da repblica Zumbi dos Palmares que,
alm de companheiros de estrada, tornaram-se grandes amigos, pela ateno, companhia, con-
selhos, por todos os risos, por me suportarem nos momentos de intenso cansao e estresse (que
no foram poucos) e por me ajudarem a enxergar que essa fase apenas mais uma de outras
que viro.
Agradeo ao professor Dr. Eleazar Madriz e demais Professores do corpo docente do
PROFMAT-UFRB, pelas contribuies e ensinamentos ao logo do curso.
Emfim, a todos os que, de alguma maneira, contriburam para a concluso de mais esta fase
da minha vida, os meus sinceros agradecimentos.

Rosemar Almeida
 RESUMO

trabalho, estudaremos as funes seno e cosseno definidas no conjunto dos nmeros

N ESTE
complexos, com o objetivo de mostrar aos professores do ensino mdio a existncia de
valores de seno e cosseno maiores que 1 (um). Para isso, faremos estudos sobre trigonometria
e sobre os nmeros complexos. Para definirmos as funes trigonomtricas complexas, fare-
mos uso dos conhecimentos da srie de MacLaurin e da exponencial complexa. Alm disso,
mostraremos que as funes trigonomtricas complexas gozam das mesmas propriedades que
as funes trigonomtricas reais, e veremos que existem valores de seno e cosseno maiores que
1 (um), sendo que nenhum deles real.

Palavras-chave: Funo seno complexa, funo cosseno complexa, nmeros complexos, ex-
ponencial complexa.
 ABSTRACT

this work, we study the sine and cosine functions defined in the set of complex numbers,
I N
with the aim of showing high school teachers for values of sine and cosine greater than 1
(one). To do so, we studies on trigonometry and complex numbers. To define the complex
trigonometric functions, we use the knowledge of the MacLaurin series and complex exponen-
tial. Furthermore, we show that the complex trigonometric functions enjoy the same properties
as real trigonometric functions, and we will see that there are values of sine and cosine greater
than 1 (one), none of which is real.

Keywords: Complex sine function, complex cosine function, complex numbers and complex
exponential.
 SUMRIO

Introduo 12

1 Trigonometria 16
1.1 Teorema de Pitgoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2 Relaes Trigonomtricas de ngulos . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.1 Seno de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.2 Cosseno de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.3 Tangente de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3 Relao Fundamental da Trigonometria . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Seno, Cosseno e Tangente como Funes Reais de Varivel Real . . . . . . . . . . 20
1.5 Algumas Propriedades das Funes Trigonomtricas . . . . . . . . . . . . . . . . 23

2 Nmeros Complexos 29
2.1 Origem dos Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2.1 Definio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2.2 O Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.2.3 Mdulo e Complexo Conjugado . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2.4 Representao Polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.2.5 Frmulas do Produto e do Quociente . . . . . . . . . . . . . . . . . . . . . 38
2.3 A Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.1 Srie de Taylor e srie de MacLaurin . . . . . . . . . . . . . . . . . . . . . . 39
2.3.2 Propriedades da exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . 41

3 Funes Trigonomtricas Complexas 44

3.1 Funes de Varivel Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2 Funo Exponencial Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

9
 3.3 Funes Cosseno e Seno Complexas . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3.1 Visualizao grfica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

Concluso 58

Referncias Bibliogrficas 64
 LISTA DE FIGURAS

1.1 Um tringulo retngulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.2 Demonstrao do Teorema de Pitgoras. . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3 O crculo trigonomtrico e um ponto P sobre ele. . . . . . . . . . . . . . . . . . . . 20
1.4 O crculo trigonomtrico, um ponto P sobre ele e um ponto P. . . . . . . . . . . . 22
1.5 Acerca das propriedades das funes trigonomtricas. . . . . . . . . . . . . . . . . 24
1.6 Crculo trigonomtrico, de raio r = 1. . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7 Relaes trigonomtricas para dois ngulos suplementares, e . . . . . . . . . . 27

2.1 Representao de nmero complexo no plano. . . . . . . . . . . . . . . . . . . . . 33

2.2 Regra do paralelogramo: (a) soma e (b) subtrao. . . . . . . . . . . . . . . . . . . 34
2.3 Representao do mdulo de um nmero complexo. . . . . . . . . . . . . . . . . . 35
2.4 Exemplos de complexos conjugado. . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.5 Representao Polar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

3.1 (a) cos(ix ) e (b) cos(z). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

3.2 (a) sen(ix ) e (b) sen(z). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
 INTRODUO

UANDO analisamos o contedo de matemtica no ensino bsico, geralmente, constatamos

Q que duas caractersticas so bastante evidentes e contraditrias. A primeira caracterstica
a ser observada se refere a importncia do conhecimento da rea de matemtica, e a segunda
trata da insatisfao quanto aos resultados negativos em relao sua aprendizagem.
O que fundamenta a ideia de importncia da matemtica, diz respeito ao seu papel deci-
sivo, pois possibilita a resoluo de problemas da vida cotidiana, possui inmeras aplicaes
na esfera do trabalho e funciona como instrumento indispensvel para a construo de conhe-
cimentos em outras reas.
Em contra partida, a insatisfao traz tona alguns problemas que devem ser enfrentados,
entre eles se destacam: o ensino centrado em procedimentos mecnicos, que na maioria das ve-
zes, so desprovidos de significados para os alunos. H portanto, uma necessidade em carter
emergencial para reformular os objetivos, rever contedos e buscar metodologias compatveis
com a formao que a sociedade reclama.
Frente a essa realidade, o ensino das funes seno e cosseno surgem com inmeras possi-
bilidades de alcanar tais contradies, pois possuem um campo vasto de aplicaes. Porm,
quando essas funes so trabalhadas no ensino mdio, temos apenas o enfoque da sua de-
finio no conjunto dos nmeros reais, fazendo com o que os alunos pensem apenas nessa
realidade, ou seja, mostra-se que as funes seno e cosseno so limitadas em um intervalo de
nmeros reais fechado com extremos nos nmeros 1 (menos um) e +1 (mais um).
Alm disso, temos o auxlio da internet, que por sua vez, possibilita uma busca mais rpida
por aplicaes das funes seno e cosseno nas diversas reas do conhecimento. Entretanto,

12
nessas buscas podemos encontrar situaes em que valores de seno e cosseno so maiores
que 1. E essa informao pode ser surpreendente para muitos, pois se definirmos as funes
seno e cosseno no conjunto dos nmeros complexos, veremos que essas funes no so mais
limitadas.
Um dos primeiros a tratar as funes seno e cosseno no conjunto dos nmeros complexos,
foi Euler (ver, [12]). Ao considerar um crculo S1 como um subconjunto

S1 = {z C; | z |= 1}

do plano complexo, observou-se que a aplicao E : R S1 C toma a forma E( x ) =

cos( x ) + isen( x ), pois R2 visto como C. Utilizando as frmulas de arco soma do seno e do
cosseno de nmeros reais podemos notar que

E( x + y) = cos( x + y) + isen( x + y)
= (cosx + isenx )(cosy + iseny)
= E ( x ) E ( y ).

Portanto, Euler concluiu que E uma funo complexa comportando-se como uma expo-
nencial. Isto o levou a propor a seguinte equao:

eix = cos( x ) + isen( x ).

Esta equao fez com que vrias controvrsias aparecessem, principalmente por levar a
concluses inesperadas como ei = 1. Alm disso, podemos reescrever essa concluso da
seguinte forma: ei + 1 = 0. Esta igualdade uma das mais expressiva na matemtica, pois
relaciona os principais smbolos matemticos em uma nica igualdade.
Com o avano dos conhecimentos das funes complexas, verificou-se que a equao de
Euler a nica possvel se quisermos manter para os complexos as propriedades vlidas nos
reais.
Sendo assim, as funes seno e cosseno poderam ser estendidas ao conjunto dos nmeros
complexos de modo que:
eix eix
sen( x ) =
2i
e
eix + eix
cos( x ) = .
2

13
 importante ressaltar que estas relaes so frutos da srie de Maclaurin, que um caso espe-
cial da srie de Taylor e atravs delas conseguimos mostrar a existncia de valores de seno e de
cosseno maiores que 1 (um) (ver, [37]).
Sendo assim, este trabalho tem como objetivo principal mostrar aos professores do ensino
mdio, que existe a possiblidade das funes seno e cosseno terem valores maiores que 1. Com
isso, mudarmos a forma de apresentar a definio das funes seno e cosseno, ou seja, deixar
claro ao aluno que, se estendermos a definio das funes seno e cosseno ao conjunto dos
nmeros complexos, teremos valores de seno e cosseno maiores que 1.
Preocupados com esta temtica, podemos notar que alguns livros didticos do ensino m-
dio [4, 3, 16, 19, 22], tratam as funes trigonomtricas apenas no conjunto dos nmeros reais,
e nenhum deles aborda, nem a nvel de informao, a possibilidade da existncia de valores
para o seno e para o cosseno no conjunto dos complexos.
Um outro fator importante, a necessidade dos professores estarem buscando se aprimo-
rar, a fim de que os alunos tenham condies de compreender as funes trigonomticas em
um sentido mais amplo para que possam progredir em seus estudos posteriores. Em se tra-
tando de quais so os conhecimentos de matemtica necessrios para ensinar Shulman [31, 32]
define categorias do conhecimento bsico, incluindo conhecimento do contedo, considerado
fundamental para a atividade docente.
Alm disso, diversas publicaes (Cury [13]; Lellis [20]; Moreira e Soares [24]; DAmbrosio
[14]) nos mostram que o conhecimento dos contedos um dos pilares da autonomia e da
autoconfiana do docente, tanto na reconstruo do currculo quanto para organizar as prticas
didticas interativas. Segundo Fiorentini et. al. [34] e Fiorentini [17] um dos principais desafios
enfrentados pelos professores, se refere a possuirem uma atitude investigadora e crtica em
relao prtica pedaggica e aos saberes e, tambm, a participao na produo de saberes e
no desenvolvimento curricular da escola.
Sendo assim, de suma importncia que os professores do ensino mdio possuam condi-
es necessrias para desenvolverem os seus trabalhos em sala de aula, visto que o domnio
do que ensina fundamental ao desenvolvimento dos trabalhos. Por isso, quando tratarmos
de funes trigonomtricas devemos estar atentos a todas as possibilidades de abordagem,
inclusive considerando um domnio de nmeros complexos.
O presente trabalho estruturado em trs captulos como segue:
No captulo 1, ser apresentada a trigonometria no tringulo retngulo, onde ser abor-
dado o teorema de Pitgoras, as razes de seno, cosseno e tangente, alm disso, a extenso

14
dessas funes ao conjunto dos nmeros reais. Sero ainda demonstradas algumas de algu-
mas propriedades referentes as funes seno e cosseno, e tambm a relao fundamental da
trigonometria.
No captulo 2, seguindo o mesmo raciocnio da primeira seo, sero abordados os concei-
tos bsicos de nmeros complexos, um pouco do contexto histrico e demonstraes de algu-
mas propriedades consideradas importantes para o desenvolvimento do tema. Ainda nesta
abordagem, ser apresentada a funo exponencial, que servir de pr-requisito para alcanar
o objetivo deste trabalho.
No captulo 3, trabalharemos as funes seno e cosseno definidas no conjunto dos nmeros
complexos, mostrando a existncia do seno e cosseno maiores que 1 e as demonstraes de pro-
priedades referentes as essas funes. Alm disso, sero comparadas as funes seno e cosseno
definidas no conjunto dos nmeros reais e as definidas no conjunto dos nmeros complexos.
Dessa forma, iremos alcanar o objetivo principal do trabalho.
Nas consideraes finais, apresentaremos nossas concluses a respeito da existncia de va-
lores de seno e cosseno maiores que 1.

15
CAPTULO 1

TRIGONOMETRIA

E studo da trigonometria se deu pela necessidade de resolver problemas das civilizaes

O antigas, motivando o desenvolvimento de cincias como Agrimensura, Navegao e As-
tronomia, pois as dimenses do universo sempre fascinaram os cientistas, e com isso, o estudo
da trigonometria avanou para acompanhar as necessidades de tais cincias. O astrnomo
grego Aristarco de Samos (310 a.C. - 230 a.C.) foi um dos primeiros a calcular as distncias que
separam a Terra, a Lua e o Sol. Para tal feito, ele fez uso de relaes entre as medidas dos lados
dos tringulos retngulos com seus ngulos internos [12].
Em se tratando de trigonometria como cincia, alguns relatos mostram que a trigonometria
nasceu com o astrnomo grego Hiparco de Nicia (190 a.C. - 125 a.C.), que tambm conhecido
como o Pai da Trigonometria por ter estudado e sistematizado algumas relaes entre elementos
de um tringulo [12].
As relaes entre as medidas dos lados de um tringulo com as medidas de seus ngu-
los de grande utilidade na medio de distncias inacessveis ao homem, como a altura de
montanhas, torres e rvores, ou largura de rios e lagos. Alm dessas aplicaes, a trigonome-
tria tambm possui aplicaes na Engenharia, na Mecnica, na Eletricidade, na Acstica, na
Medicina e at na Msica [21, 27, 29].

16
1.1 Teorema de Pitgoras
Antes de falarmos do teorema de Pitgoras, iremos definir alguns elementos importantes
do tringulo retngulo. Em trigonometria, os lados dos tringulos retngulos assumem nomes
particulares, apresentados na Figura 1.1. O lado de maior comprimento, oposto ao ngulo reto
, chama-se hipotenusa; os lados restantes, ligados ao ngulo reto, chamam-se catetos.

Figura 1.1: Um tringulo retngulo.

O gemetra grego Pitgoras (570-501 a.C.) formulou o seguinte teorema, que tem hoje o seu
nome, e que relaciona a medida dos diferentes lados do tringulo retngulo: a soma do quadrado
dos catetos igual ao quadrado da hipotenusa. Ou seja, se x e y forem o comprimento dos dois
catetos e h o comprimento da hipotenusa, teremos:

x 2 + y2 = h2 .

Demonstrao.
Observando a Figura 1.2, temos que o tringulo retngulo tem seus catetos de comprimento
x e y. Como a rea de um tringulo dada pela metade do produto do comprimento da base
xy
pelo comprimento da altura, temos que a rea deste tringulo 2 . Observando a Figura 1.2,
temos que o quadrado de lado h foi construdo de forma que, pudssemos ter "copiado"e "co-
lado"o tringulo de tal maneira que a hipotenusa do tringulo fosse o lado do quadrado. Sendo
assim, a rea do quadrado , naturalmente, h2 . Com essa construo, temos uma nova figura,
um quadrado, no qual se inscrevem o quadrado e os tringulos - o "original"e as "cpias". Este
novo quadrado tem lado de comprimento x + y como mostra a Figura 1.2.

17
 Figura 1.2: Demonstrao do Teorema de Pitgoras.

Neste caso, a rea do novo quadrado ( x + y)2 , ou seja, x2 + 2xy + y2 . Por outro lado, a
rea deste novo quadrado igual ao espao ocupado pelas figuras anteriores (o quadrado e os
xy
quatro tringulos). Estas cinco figuras tm reas dadas por h2 e 2 . Como temos quatro trin-
4xy
gulos, a rea que todos eles ocupam 2 = 2xy. Ento, as cinco figuras dentro do quadrado
maior ocupam uma rea que totaliza h2 + 2xy. Mas esta rea igual do quadrado maior,
como se v na Figura 1.2. Portanto, temos

x2 + 2xy + y2 = h2 + 2xy

x 2 + y2 = h2 ,
que justamente a frmula para o teorema de Pitgoras.

1.2 Relaes Trigonomtricas de ngulos

Na maioria das aplicaes trigonomtricas, relacionam-se os comprimentos dos lados de
um tringulo recorrendo a determinadas relaes dependentes de ngulos internos. Neste
sentido sero apresentadas algumas relaes trigonomtricas, para isso, considere a Figura 1.1.

1.2.1 Seno de
o quociente do comprimento do cateto oposto ao ngulo pelo comprimento da hipote-
nusa do tringulo (ver Figura 1.1):
y
sen() = .
h

18
1.2.2 Cosseno de
o quociente do comprimento do cateto adjacente ao ngulo pelo comprimento da hipo-
tenusa do triangulo (ver Figura 1.1):
x
cos() = .
h

1.2.3 Tangente de
o quociente dos comprimentos do cateto oposto pelo cateto adjacente (ver Figura 1.1):
y
tg() = .
x
Pode ser definida tambm como sendo o quociente do seno pelo cosseno, ou seja,
y
sen() h y h y
tg() = = x = = .
cos() h h x x

1.3 Relao Fundamental da Trigonometria

A frmula fundamental da trigonometria surge como um caso particular do teorema de
Pitgoras,
x 2 + y2 = h2 .

Como a hipotenusa diferente de zero, podemos dividir ambos os membros desta igualdade
por h2 , ou seja,
x 2 y2
+ =1
h2 h2
 x 2  y 2
+ = 1,
h h
usando as definies de seno e cosseno, acima definidas, temos,

(sen())2 + (cos())2 = 1,

isto ,
sen2 () + cos2 () = 1.

Portanto, sen2 () + cos2 () = 1 a frmula fundamental da trigonometria.

19
1.4 Seno, Cosseno e Tangente como Funes Reais de Varivel
Real
Inicialmente definimos as funes seno, cosseno e tangente de forma a atender as condi-
es implicitas no tringulo retngulo, ou seja, atendendo a que seus argumentos, o ngulo ,
estivesse entre 0 e 90 , pois caso contrrio no teriamos um tringulo retngulo.
Faamos algumas anlises:
(1) se o ngulo for igual a zero grau, teramos um segmento de reta;

(2) se o ngulo for igual a noventa graus, teramos duas semi-retas com os pontos de ori-
gem ligados por um segmento de reta, com o qual so perpendiculares.
Temos, pois, que as funes trigonomtricas, tal como anteriormente definidas para o tringulo
retngulo, tm o domnio restringido a 0 < < 90 , ou se usarmos radianos, 0 < < 2 .
Para que possamos ter as funes trigonomtricas definidas em toda reta real, devemos re-
correr ao crculo trigonomtrico. Ele definido por uma circunferncia de raio unitrio centrada
na origem dos eixos coordenados.

Figura 1.3: O crculo trigonomtrico e um ponto P sobre ele.

Observando a Figura 1.3, notamos o tringulo retngulo OPx. Como o raio (r) da circunfe-
rncia igual a 1 (um), todos os pontos da circunferncia distam da origem da mesma distncia,

20
r = 1. Sendo assim, o segmeto de reta com extremidades nos pontos O e P tem comprimento
igual a 1 (um), ou seja, OP = 1.
Usando o tringulo OPx, temos que:
y
sen() =
r
e
x
cos() =
,
r
sendo que r a hipotenusa. Dessa forma, podemos definir o seno e o cosseno do ngulo , para
todos os valores de , e no somente para aqueles entre 0 (ou 0 radiano) e 90 (ou
2 radianos),
definidos anteriormente. Como no crculo trigonomtrico o raio r = 1, temos ento que as
coordenadas do ponto P podem ser escritas como

y = sen()

e
x = cos(),

ou seja,
P( x, y) = P(cos(), sen()).

Analisando algumas situaes na Figura 1.3, temos:

(1) sen( 2 ) = 1 e cos( 2 ) = 0

(2) se o ngulo for igual a radianos (meia-volta no cculo trigonomtrico), temos

sen( ) = 0

e
cos( ) = 1,

obtemos o ponto P( x, y) = (0, 1).

(3) quando temos = 2 radianos (uma volta completa no crculo, comeando em = 0),
voltamos a ter o ponto (0, 1). Portanto, sen(2 ) = 0 e cos(2 ) = 1.

21
 Continuando com este raciocnio e caminhando com o ponto P sobre o crculo trigonom-
trico, verificamos que as funes se repetem cada vez que adicionamos 2 radianos ao ar-
gumento (ngulo), isto , so peridicas. Definimos assim, as funes seno e cosseno para
os ngulos positivos, sendo que os ngulos positivos so construdos no sentido anti-horrio.
Para completar o domnio na reta real, basta raciocinar de forma anloga ao caso dos ngulos
positivos considerando a construo dos ngulos no sentido horrio. As duas funes ficam
ento definidas para todos os valores da reta real.
Para definirmos a funo tangente em toda a reta real, vamos considerar a Figura 1.4. Re-
cordemos que a definio de tangente :
y
tg() = .
x
Fazendo anlise dos tringulos OPx e OP0 x 0 , temos que estes so semelhantes pois o n-
gulo comum a ambos os tringulos; como os lados Px e P0 x 0 so paralelos, os ngu-
los formados com o eixo dos x so iguais; e consequentimente os ngulos dos vrtices P e
P0 so iguais. Dessa forma, os tringulos so semelhantes pelo caso AAA. Portanto, pode-
mos definir a tangente do angulo da forma anterior, sendo x e y as coordenadas do ponto
P( x, y) = ( x, y) = (cos(), sen()). Recordamos que estamos trabalhando com uma circufe-
rncia de raio r = 1.

Figura 1.4: O crculo trigonomtrico, um ponto P sobre ele e um ponto P.

22
 A tangente do ngulo assinalada pela "altitude"do ponto P0 , ou seja, a sua ordenada.
Ora, o ponto P0 tem coordenadas P0 = (1, tg()). Usando o fato de que os tringulos so
semelhantes e, alm disso, possuem os lados proporcionais. Portanto, temos que igual o
quociente de comprimentos dos lados para os dois tringulos. Observando o tringulo contido
y
na circunferncia, temos que tg() = x , e dentro da circunferncia temos 1 x 1. Ora, o
ponto P0 no segundo tringulo tem abscissa x = 1, pois situa-se sobre a reta vertical que passa
por x = 1 no eixo X. Sendo x = 1, temos ento y = x tg(). Para ngulos tais que y > x,
temos que tg() > 1. Como x = 1 em P0 , segue:

tg() > 1 x tg() > 1 y = x tg() > 1.

Nesse caso, a "altura"do ponto P0 nos d uma medida de tg(). O mesmo raciocnio utilizado
para definirmos os valores negativos.
importante observar que esta funo no pode ser definida para todos os valores da reta
real. De fato, quando =
2 , a "altura"de P0 infinita (ou seja, tg() = ), e nesse caso a funo
no fica bem definida nesse ponto. O mesmo se passa para 3 5
2 , 2 e assim por diante, ou seja,
para qualquer ngulo da forma = 2 + k, sendo k um nmero inteiro. Portanto, o domnio
desta funo deve necessariamente excluir todos estes pontos em que a funo no fica bem
definida; os restantes dos pontos so permitidos.

1.5 Algumas Propriedades das Funes Trigonomtricas

Usando as definies dadas acima, podemos deduzir a maioria das frmulas que usual-
mente aparecem na trigonometria e algumas das propriedades das funes trigonomtricas
so enunciadas na proposio a seguir. Para a demonstrao desta proposio, utilizaremos o
fato das funes seno, cosseno e tangente serem peridicas nas quais seno e cosseno possuem
perodo 2 e a tangente tem o perodo dado por .

Proposio 1.1. Para quaisquer , R, temos:

(1) sen() = sen().

(2) cos() = cos().

(3) cos( + ) = cos()cos( ) sen()sen( ).

23
(4) sen( + ) = sen()cos( ) + sen( )cos().

(5) cos(2) = cos2 () sen2 ().

(6) sen(2) = 2sen()cos().

Demonstrao:

Figura 1.5: Acerca das propriedades das funes trigonomtricas.

y
(1) Seja = , isto , =| |, e = | |= . Ora, sen() = r . Projetando o ngulo
y0
sobre o eixo dos Y, ento vem que sen( ) = r < 0, pois y0 < 0 (Figura 1.5). Observemos
y0
que, sen( ) = r e por conseguinte

y y0
sen() = = = sen( ) = sen()
r r
sen() = sen()

sen() = sen()

Portanto, sen() = sen().

24
 x x0
(2) Seja = . Ora, cos() = r e cos( ) = r. Na projeo feita na Figura 1.5, observamos
que x = x0 . Sendo assim,

x x0
cos() = = = cos( ) = cos()
r r
cos() = cos().

Portanto, temos que a funo cosseno satisfaz esta propriedade.

Figura 1.6: Crculo trigonomtrico, de raio r = 1.

(3) Para demonstrar este item, usaremos o conhecimento de produto interno que pode ser

encontrado em [36]. Sejam OA e OB dois vetores com origem no ponto O e extremi-
dade no ponto A e B e que fazem ngulo e com o eixo dos X, respectivamente. Pela
definio de produto interno de dois vetores, temos que

OA OB =k OA k . k OB k .cos( ),

e um ngulo que OB faz com OA. O ponto A, pela Figura 1.6, tem coordena-
das (cos(), sen()), e o ponto B tem coordenada (cos( ), sen( )). Visto que os vetores
possuem origem no ponto O = (0, 0), as coordenadas dos vetores coincidiro com as

25
 coordenadas dos pontos A e B. Com isto em mente, o produto interno dos dois vetores
pode ainda ser escrito como:

(cos(), sen()) (cos( ), sen( )) = cos() sen( ) + sen() cos( )

Fazendo equivaler as duas expresses para o produto interno dos dois vetores, e notando

que k OA k=k OB k= 1 (visto que o crculo trigonomtrico tem raio r = 1), temos
finalmente:
cos( ) = cos()sen( ) + sen()cos( ).

Fazendo agora,

cos( + ) = cos( ()) = cos()sen( ) + sen()cos( ).

Usando o fato de que sen() = sen() e cos() = cos(), demonstrado anterior-

mente, temos:
cos( + ) = cos()sen( ) + (sen())cos( )

cos( + ) = cos()sen( ) sen()cos( ).

Portanto, mostramos que cos( + ) = cos()sen( ) sen()cos( ) vlida.

(4) Para demonstrar esta relao, partiremos da ideia de sen( ). Para isso, iremos fa-

zer uso da definio de dois ngulos complementares (isto , cuja soma 2 radianos).
Observando a Figura 1.7, temos que o seno de um ngulo igual ao cosseno do ou-
tro ngulo. Supondo h = 1, o comprimento do cateto adjacente a cos(). O ca-
teto adjacente ao ngulo simultaneamente o cateto oposto ao ngulo . Portanto,
cos() = sen( ). Igualmente, sen() = cos( ), como se v na Figura 1.7. Fazendo uso da
relao sen( ) = cos( 2 ), temos que:

sen( ) = cos( ( ))
2
= cos( ( ))
2

= cos() cos( ) + sen() sen( )
2 2

= cos() [cos( ) cos( ) + sen( )sen( )] + sen() sen( ).
2 2 2

26
 Figura 1.7: Relaes trigonomtricas para dois ngulos suplementares, e .

Ora, cos( 2 ) = 0 e sen( 2 ) = 1. O seno tem perodo 2 (isto , sen( ) = sen( + 2 )),
e por conseguinte sen( 2 ) = sen( + 32 ). Usando o recurso de reduo ao primeiro
3
quadrante, temos: sen( 2 ) = sen( + 2 ) = cos( ).
Assim,
sen( ) = cos() [cos( ) 0 + sen( ) 1] + sen()(cos( ))

sen( ) = cos()sen( ) sen()cos( )

Para concluir a demonstrao, basta fazer:

sen( + ) = sen( ())

sen( + ) = cos()sen( ) sen()cos( )

sen( + ) = cos()sen( ) + sen()cos( )

Portanto, sen( + ) = sen()cos( ) + sen( )cos().

(5) Neste caso, basta fazer = e utilizar a igualdade provada no item (3). Para o arco
+ = 2, temos:
cos(2) = cos()cos() sen()sen()

cos(2) = cos2 () sen2 ().

27
 (6) Usando o mesmo raciocnio do item anterior e usando a igualdade do item (4), temos:

sen(2) = sen()cos() + sen()cos()

sen(2) = 2sen()cos().

No prximo captulo, iremos realizar um estudo a respeito de alguns conceitos bsicos de

nmeros complexos, que ser de suma importncia ao desenvolvimento das funes trigono-
mtricas de varivel complexa, as quais mostraremos a existncia de valores de seno e cosseno
maiores que 1.

28
CAPTULO 2

NMEROS COMPLEXOS

2.1 Origem dos Nmeros Complexos

D esenvolvimento dos nmeros se deu ao longo da histria de forma gradativa, de ma-
O neira a atender as necessidades da poca. O que no diferente para os nmeros com-
plexos. Em algumas situaes em que envolviam equaes do 2o grau, como x2 + 1 = 0, os
matemticos diziam que tais equaes no possuiam soluo, pois at ento no se admitia
raiz quadrada de nmeros negativos. Essas concluses ocorreram at o sculo XVI.
Entretanto, a principal motivao dos nmeros complexos foi a equao do 3o grau, pois ao
trabalhar com essas equaes, alguns matemticos observaram que os nmeros reais no eram
suficientes para resolve-las, da a necessidade de novos nmeros. Para solucionar tais necessi-
dades, alguns matemticos europeus, principalmente os italianos, desenvolveram pesquisas, e
at realizaram disputas.
Antes das disputas realizadas entres os matemticos, alguns pesquisadores j realizavam
estudos a cerca das resolues de problemas envolvendo equaes do 3o grau, porm, muitos
no publicavam seus trabalhos. Esse tipo de comportamento pode ser observado de duas ma-
neiras: alguns matemticos no publicavam seus estudos para desafiar os outros matemticos,
para se mostrar algumas vezes mais inteligentes; ou no publicavam seus estudos devido ao
medo, pois se outro matemtico encontrasse algum erro em sua teoria, colacaria em risco a
notoriedade da teoria.
Dessa forma, alguns estudos avanaram no intuito de resolver a problemtica das equaes

29
do 3o grau, e nesse contexto, o jovem Niccol Fontana, conhecido como Tartaglia, foi desafi-
dado a resolver vrias equaes do 3o grau. Para surpresa, Tartaglia conseguiu resolver todos
os problemas, com muita dedicao e esforo, e, alm disso, criou um mtodo para a resoluo
de equaes desse tipo. Tartaglia venceu todas as disputas propostas a ele.
Um fato interessante dentro da histria dos nmeros complexos, deve-se a esta descoberta
de Tartaglia. A famosa "Frmula de Cardano", fruto dos trabalhos de Tartaglia, pois ao saber
que Tartaglia tinha conseguido resolver as equaes de 3o grau, Girolamo Cardano insistiu
para que Tartaglia lhe desse a frmula de resoluo. Depois de muita insistncia, Tartaglia
resolveu revelar a soluo para Cardano, sendo que Cardano jurava que no iria divulgar o
resultado. Porm, Cardano no cumpriu o acordo, e publicou a resoluo de uma equao do
2o grau usando de maneira similar a resoluo de Tartaglia, e apenas mencionou, de maneira
bem simples, o nome de Tartaglia em sua publicao. E assim, tal mtodo de resoluo ficou
conhecido como "Frmula de Cardano".
Aps esse grande embate, tem-se um novo problema inquietante trazido por Cardano, que
na poca, era conhecido como nmeros "sofisticados", ou seja, as razes quadradas de nmeros
negativos. Cardano chegou a concluir que tais nmeros seriam um nmero "to sutil quanto
intil". Com o desenvolvimento de estudos posteriores, conseguiu-se provar que estes nme-
ros no eram to inteis como Cardano achava (ver,[5]).
Com a utilizao dos nmeros complexos, fez-se necessrio a simplificao da sua escrita.
Esta simplificao deve-se as contribuies de Leonhard Euler, que criou o smbolo i para re-
presentar a raiz quadrada de 1. Uma outra contribuio dada por Euler, que os nmeros
complexos tambm possuiam uma parte real, ou seja, um nmero complexo seria do tipo:
z = a + ib, onde a e b so nmeros reais e i2 = 1. Porm, esta contribuio s foi aceita depois
que Gauss a apresentou. Alm disso, Euler mostrou que os nmeros complexos so um corpo
fechado, pois, como veremos a seguir, as operaes de soma e multiplicao realizadas com os
elementos deste conjunto, resultam em elementos do prprio conjunto (ver, [5, 18]).
Alm dos estudos a cerca das manipulaes algbricas, tambm foram desenvolvidos tra-
balhos buscando representar os nmeros complexos de forma geomtrica. Os trabalhos publi-
cados por Jean Argand j faziam uma correspondncia objetiva entre os nmeros compelxos
e os pontos do plano. Mas s depois das contribuies de Gauss que foi aceita a represen-

tao geomtrica, pois Gauss pensou nos nmeros a + b 1 como coordenadas de um ponto

do plano cartesiano, tendo assim a representao do nmero complexo a + b 1 = ( a, b).
Alm disso, deu uma intrepetao geomtrica para a adio e multiplicao dos smbolos.

30
importante lembrarmos que, a expresso nmeros complexos foi utilizada a partir de Gauss
em 1832.

2.2 Nmeros Complexos

A definio dos nmeros complexos adotada aqui ser a do matemtico irlands William R.
Hamilton de 1837, embora muito anteriormente vrios matemticos j houvessem trabalhado
com os nmeros complexos como pontos no plano (ver, [35]).

2.2.1 Definio
Um nmero complexo z um par ordenado de nmeros reais z = ( x, y) satisfazendo as seguintes
regras de manipulao para a soma e o produto:

(1) z1 + z2 = ( x1 , y1 ) + ( x2 , y2 ) = ( x1 + x2 , y1 + y2 ).

(2) z1 z2 = ( x1 , y1 )( x2 , y2 ) = ( x1 x2 y1 y2 , x1 y2 + y1 x2 ).
Estas duas operaes, a da soma e a do produto, gozam das seguintes propriedades:

(3) comutatividade: z1 + z2 = z2 + z1 e z1 z2 = z2 z1 .

(4) associatividade: (z1 + z2 ) + z3 = z1 + (z2 + z3 ) e (z1 z2 )z3 = z1 (z2 z3 ).

(5) (0, 0) o elemento neutro aditivo: z + (0, 0) = z para todo z complexo.

(6) (1, 0) a identidade multiplicativa: z(1, 0) = z para todo z complexo.

(7) todo z = ( x, y) tem um simtrico aditivo, z = ( x, y), ou seja, ( x, y) + ( x, y) =

(0, 0).
 
x y
(8) todo z = ( x, y) 6= (0, 0) tem um inverso multiplicativo, o nmero ,
x 2 + y2 x 2 + y2
, ou seja,
 
x y
( x, y) x2 +y2 , x2 +y2 = (1, 0).

(9) distributividade do produto em relao soma: z1 (z2 + z3 ) = z1 z2 + z1 z3 .

Todas essas propriedades decorrem de (1), (2) e do fato de que elas so vlidas para a
soma e o produto de nmeros reais. Um conjunto munido de uma soma e de um produto para

31
os quais valem (3) a (9) chamado de corpo. Conclumos assim, que os nmeros complexos
formam um corpo, que representado pelo smbolo C.
Ao observarmos os nmeros complexos da forma a + i0, percebemos que eles se compor-
tam, com relao adio e multiplicao, do mesmo modo que os nmeros reais a; em outras
palavas, fazendo corresponder o nmero complexo a + i0 ao nmero real a, ento a soma a + b
corresponder ( a + b) + i0, que o mesmo que ( a + i0) + (b + i0); e ao produto ab corres-
ponder ab + i0, que o mesmo que ( a + i0)(b + i0). Isso quer dizer que somar e multiplicar
nmeros reais equivale, pela correspondncia a 7 a + i0, a somar e multiplicar, respectiva-
mente, os nmeros complexos correspondentes, o que nos permite identificar o nmero real
a com o nmero complexo a + i0, j que, do ponto de vista da adio e da multiplicao, seu
comportamento o mesmo. Deste modo, os nmeros complexos se apresentam como uma
extenso natural dos nmeros reais. Portanto, o corpo R dos nmeros reais visto como um
subcorpo de C.
O nmero complexo (0, 1) chamado de unidade imaginria e representado pelo smbolo i.
A propriedade notvel que o nmero i satisfaz a seguinte:

i2 = ii = (0, 1)(0, 1) = (0 0 1 1, 0 1 + 1 0) = (1, 0)

e nesse sentido podemos escrever i = 1. Agora, (y, 0)(0, 1) = (0, y) e da,

z = ( x, y) = ( x, 0) + (0, y) = ( x, 0) + (y, 0)(0, 1),

isto , podemos representar z = x + yi. Assim todo nmero complexo z = ( x, y) tambm pode
ser escrito como z = x + iy. Ambas as notaes sero adotadas de agora em diante.

2.2.2 O Plano Complexo

Dado um nmero complexo z = x + iy, sua parte real x denotada por Re(z), e sua parte ima-
ginria y, por Im(z). O plano complexo o conjunto das representaes de todos os nmeros
complexos z = x + iy pelos pontos P = ( x, y) do plano. Alm disso, o eixo das abscissas passa
a ser tratado como eixo real e o eixo das ordenadas como sendo eixo imaginrio.
A representao dos nmeros complexos por pontos do plano muito til e de uso fre-
quente. Por meio dela, o nmero complexo z = x + iy identificado com o ponto ( x, y), ou
com o vetor Oz de componentes x e y (Figura 2.1). As conhecidas regras do paralelogramo
para a soma e subtrao de vetores se aplicam, ento, no caso de soma e subtrao de nmeros
complexos ( vide Figura 2.2(a) e 2.2(b)).

32
 Figura 2.1: Representao de nmero complexo no plano.

2.2.3 Mdulo e Complexo Conjugado

Definimos o mdulo, valor absoluto ou norma de um nmero complexo z = x + iy como sendo
p
o nmero no-negativo | z |= x2 + y2 . Como se v, ele a distncia do ponto z origem,
como observamos na Figura 2.3.
O complexo conjugado de z = x + iy definido como sendo z = x iy. A Figura 2.4 ilustra
exemplos de complexos conjugados.
Em termos do mdulo e do conjugado, temos as seguintes propriedades:

zz = ( x + iy)( x iy) = ( x2 + y2 ) + i ( xy + yx ) = x2 + y2 ,

isto , zz =| z |2 . Esta propriedade permite calcular o quociente z = z1 /z2 de dois nmeros

complexos z1 e z2 , z2 6= 0, que definido pela condio zz2 = z1 . Para isso, basta multiplicar
o numerador e o denominador pelo complexo conjugado do denominador. Em geral, com
z1 = x1 + iy1 e z2 = x2 + iy2 , temos:

z1 z z x x + y1 y2 + i ( y1 x2 x1 y2 )
= 1 2 = 1 2 .
z2 z2 z2 x22 + y22

Alm disso, temos:

(1) | z |=| z |

33
 (a) (b)

Figura 2.2: Regra do paralelogramo: (a) soma e (b) subtrao.

z+z
(2) Re(z) = 2

zz
(3) Im(z) = 2i

(4) z1 + z2 = z1 + z2

(5) z1 z2 = z1 z2
Usando a ltima dessas igualdades obtemos

| z1 z2 |2 = z1 z2 z1 z2 = z1 z2 z1 z2 = z1 z1 z2 z2 =| z1 |2 | z2 |2

ou seja,
| z1 z2 |=| z1 || z2 | .

Demonstrao.

(1) De fato, considerando z = x + iy e z = x iy, temos que por definio

q
| z |= x2 + y2

e q q
| z |= x2 + (y)2 = x 2 + y2 .

Portanto, | z |=| z | .

34
 Figura 2.3: Representao do mdulo de um nmero complexo.

(2) Observando um nmero complexo z = x + iy qualquer, temos que sua parte real dada
por x. Sendo assim, faamos:

z+z x + iy + ( x iy) x + iy + x iy 2x
= = = = x = Re(z).
2 2 2 2
z+z
Portanto, temos que a parte real de um nmero complexo z pode ser escrita por 2 .

(3) Observando um nmero complexo z = x + iy qualquer, temos que sua parte imaginria
dada por y. Sendo assim, faamos:

zz x + iy ( x iy) x + iy x + iy 2iy
= = = = y = Im(z).
2i 2i 2i 2i
Portanto, temos que a parte imaginria de um nmero complexo z pode ser escrita por
zz
2i .

(4) Considerando agora z1 = x1 + iy1 , z2 = x2 + iy2 , z1 = x iy e z2 = x2 iy2 , temos que

z1 + z2 = x1 + iy1 + ( x2 + iy) = ( x1 + x2 ) + i (y1 + y2 ) =

= ( x1 + x2 ) i (y1 + y2 ) = x1 iy1 + x2 iy1 = z1 + z2 .

Portanto, z1 + z2 = z1 + z2 .

35
 Figura 2.4: Exemplos de complexos conjugado.

(5) z1 z2 = ( x1 + iy1 )( x2 + iy2 ) = ( x1 x2 y1 y2 ) + i ( x1 y2 + y1 x2 ) = x1 x2 y1 y2 i ( x1 y2 +

y1 x2 ) = x1 x2 + y1 y2 i2 ix1 y2 iy1 x2 = ( x1 iy1 )( x2 iy2 ) = z1 z2 .
Portanto, z1 z2 = z1 z2 .

2.2.4 Representao Polar

Como um nmero complexo definido por um par ordenado de nmeros reais, temos
imediatamente que um tal nmero est identificado com um ponto do plano cartesiano.
Uma outra identificao, muito til, obtida atravs das coordenadas polares (r, ). Consi-
derando um ponto ( x, y) 6= (0, 0) do plano, ento a coordenada r desse ponto sua distncia
origem e a coordenada o ngulo determinado pelo segmento de reta que une o ponto
origem e o semi-eixo positivo dos x, medido no sentido anti-horrio (medida do ngulo em
radianos).
Pelas relaes trigonomtricas do tringulo retngulo, as coordenadas cartesianas e polares

36
esto relacionadas por (veja a Figura 2.5):
y
sen( ) =
r
e
x
cos( ) = ,
r
ou seja,
y = rsen( )
x = rcos( )
Logo, um nmero complexo no nulo z = x + yi = ( x, y) se escreve

Figura 2.5: Representao Polar.

z = rcos( ) + irsen( ) = r (cos + isen ),

p
sendo que r = x2 + y2 =| z |. Esta a chamada representao polar ou forma polar ou forma
trigonomtrica de um nmero complexo.
Qualquer valor de para o qual a igualdade acima se verifica chamado um argumento de
z e usaremos a notao = arg(z). Observemos que no nico j que, se a igualdade
verdadeira para um valor de , tambm o para + 2k, k um nmero inteiro arbitrrio, pois
as funes seno e cosseno so peridicas de mesmo perodo, e a soma de funes peridicas de
mesmo perodo tambm peridica. Mas podemos determinar de maneira nica exigindo,
por exemplo, que 0 < 2 ou que < .

37
2.2.5 Frmulas do Produto e do Quociente
De posse da representao polar, vamos deduzir uma regra muito conveniente para a mul-
tiplicao. Sejam
z1 = r1 (cos(1 ) + isen(1 ))
e
z2 = r2 (cos(2 ) + isen(2 ))
dois nmeros complexos quaisquer. Ento,

z1 z2 = r1 r2 (cos(1 ) + isen1 )(cos(2 ) + isen(2 ))

= r1 r2 [(cos(1 )cos(2 ) sen(1 )sen(2 )) + i (sen(1 )cos(2 ) + cos(1 )sen(2 ))],

isto ,
z1 z2 = r1 r2 [cos(1 + 2 ) + i (sen(1 + 2 ))].
(usando as frmulas de adio para seno e o cosseno).
Vemos assim que o produto de dois nmeros complexos o nmero cujo mdulo o produto dos
mdulos dos fatores e cujo argumento a soma dos argumentos dos fatores.
Vamos deduzir agora, um resultado anlogo para a diviso. Como

1 cos( ) isen( )
=
cos( ) + isen( ) (cos( ) + isen( ))(cos( ) isen( ))
cos( ) isen( )
=
cos2 ( ) + sen2 ( )
= cos( ) isen( ),

temos:
z1 r cos(1 ) + isen(1 )
= 1
z2 r2 cos(2 ) + isen(2 )
r
= 1 (cos(1 ) + isen(1 ))(cos(2 ) isen(2 ))
r2
r1
= [(cos(1 )cos(2 ) + sen(1 )sen(2 )) + i (sen(1 )cos(2 ) cos(1 )sen(2 ))]
r2

Portanto, usando as frmulas de subtrao de seno e cosseno, temos:

z1 r
= 1 [cos(1 2 ) + i (sen(1 2 ))],
z2 r2
isto , para dividir nmeros complexos basta fazer o quociente dos mdulos e a diferena dos argumentos.

38
2.3 A Exponencial
Nesta seo iremos obter a exponencial ez de um nmero complexo z e apresentaremos
algumas de suas propriedades.
Para definirmos a exponencial complexa iremos, inicialmente, definir a srie de Taylor e a
srie de MacLaurin. Essas definies sero feitas de modo que possamos estabelecer as relaes
que nos possibilite desenvolver a exponencial no caso complexo, portanto, no iremos tratar
das condies inerentes ao clculo de sries. Para um estudo mais aprofundado das sries ver
[37].

2.3.1 Srie de Taylor e srie de MacLaurin

Definio 2.1. Sejam I um intervalo real e f : I R R uma funo de classe C n em I, isto ,
uma funo que possui como sua ensima derivada em I, uma funo contnua, e n N. Seja x0 I.
Sabemos que

( x x0 )2 ( x x 0 ) ( n 1)
f ( x ) = f ( x0 ) + f 0 ( x0 )( x x0 ) + f 00 ( x0 ) + + f ( n 1) ( x 0 ) + R n ( x ),
2! ( n 1) !
( x x0 ) n
onde Rn ( x ) = f (n) ( x0 + ( x x0 )) n! , sendo 0 < < 1. a frmula de Taylor de f , de ordem n,
com resto de Lagrange, em torno do ponto x0 .
Suponhamos que f C ( I ). Chama-se srie de Taylor de f em x0 srie de potncias

f ( n ) ( x0 )
n!
( x x0 ) n .
n =0

Se x0 = 0 I, a srie de Taylor designa-se por srie de MacLaurin e escreve-se

f ( n ) (0) n
n!
x .
n =0

De posse do conhecimento das funes trigonomtricas, da funo exponencial e x e, alm

disso, dos conhecimentos dos fundamentos do clculo diferencial e integral e em especial das
sries de MacLaurin, podemos estabelecer a definio da exponencial complexa.
Temos que a expanso dessas funes em srie de MacLaurin, vlidos para todos os valores
reais da varivel x :

xn x2 x3
ex = = 1+x+ + +...;
n=0 n! 2! 3!

39

(1)n x2n x2 x4 x6
cos( x ) = (2n)! = 1
2!
+
4!

6!
+...;
n =0

(1)n x2n+1 x3 x5 x7
sen( x ) = (2n + 1)! = x
3!
+
5!

7!
+....
n =0
A constante de Euler e, que um nmero irracional compreendido entre 2 e 3 (e 2, 71828 . . .),
dada pela srie

1 1 1
e= = 1+1+ + +...,
n=0 n! 2! 3!
que se obtm da primeira igualdade acima, fazendo x = 1.
Para calcularmos a exponencial complexa, tomaremos como base a funo e x . Para isso,
iremos substituir x por iy (y R) e realizando as operaes necessrias (sem nos preocuparmos
com qualquer significado preciso de convergncia), obtemos:

y2 y3 y4
eiy = 1 + iy i + +...
2! 3! 4!
Reagrupando os termos desta srie, de tal forma que os termos reais fiquem agrupados em um
parntese e os imginarios em outro, obtemos:

y2 y4 y6 y3 y5 y7
   
iy
e = 1 + +... +i y + +... .
2! 4! 6! 3! 5! 7!

Em vista das igualdades do seno e cosseno definidas acima, temos:

eiy = cosy + iseny.

Este resultado da exponencial apenas para o caso particular, o caso de expoente pura-
mente imaginrio iy. Por outro lado, o clculo da exponencial no caso de um expoente qual-
quer z = x + iy, dada de maneira a manter a propriedade aditiva da exponencial real:

e x1 + x2 = e x1 e x2 .

Assim a exponencial ez , para um nmero complexo qualquer z = x + iy, mediante dada

por
ez = e x+iy = e x eiy = e x (cosy + iseny).

40
2.3.2 Propriedades da exponencial
De acordo com a definio que acabamos de construir da exponencial, e das propriedades
das funes reais senx, cosx e e x , decorrem as seguintes propriedades da exponencial complexa:

(1) ez1 ez2 = ez1 +z2 ;

(2) ez = 1
ez ;

(3) (ez )n = enz , n inteiro;

(4) | ez |= e Re(z) ;

(5) ez 6= 0 para todo z;

(6) ez uma funo peridica de perodo 2ki, k Z, isto , ez+2ki = ez , para todo k Z;

(7) ez = 1 z = 2ki, k inteiro.

Demonstrao:

(1) Com a notao usual,

z1 = x1 + iy1

e
z2 = x2 + iy2 ,

obtemos, em vista da definio da exponencial, ez = e x (cosy + iseny),

ez1 ez2 = e x1 (cosy1 + iseny1 ) e x2 (cosy2 + iseny2 )

= e x1 +x2 [(cosy1 cosy2 seny1 seny2 ) + i (seny1 cosy2 + cosy1 seny2 )]
= e x1 +x2 [cos(y1 + y2 ) + isen(y1 + y2 )].

Observando esta igualdade e a definio ez = e x+iy = e x (cosy + iseny) com x = 0 (pois, a

expresso entre cochetes acima o caso particular da exponencial complexa), conclumos
que
e z1 e z2 = e x1 + x2 e i ( y1 + y2 ) = e x1 + x2 + i ( y1 + y2 ) = e z1 + z2 ,

o que completa a demonstrao.

41
(2) Temos, com z = x + iy,
1
ez = e x eiy = x [cos(y) + isen(y)]
e
1 1
= x (cosy iseny) = x
e e (cosy + iseny)
1 1
= ex+iy = ez .

(3) A frmula (ez )n = enz , n inteiro, imediata nos casos n = 0 e n = 1. Para n = 2, segue
facilmente de ez1 ez2 = ez1 +z2 ; e em geral, para n > 0, estabelecida por induo. Para
isso, a equao vlida para n = 0, basta mostrar que o fato de ser vlida para n = k
segue-se que vlida tambm para n = k + 1, k 0. Supomos, ento, que

(ez )k = ekz .

Em consequncia,

(ez )k+1 = (ez )k (ez ) = ekz ez = ekz+z = e(k+1)z .

O caso n < 0 reduz-se facilmente ao caso n > 0. De fato, supondo n < 0, temos
1
(ez )n = ;
(ez )n
mas n > 0, logo (ez )n = enz , portanto,
1
(ez )n = = enz .
enz
Isto completa a demonstrao.

(4) Seja z = x + iy um nmero complexo qualquer, temos que:

ez = e x+iy
= e x (cosy + iseny)

| ez | = | e x (cosy + iseny) |
= | e x || cosy + iseny |
q
x
= e cos2 x + sen2 y

= ex 1
= ex .

Portanto, | ez |= e Re(z) .

42
 (5) Da propriedade (4), temos que qualquer que seja o nmero complexo z = x + iy, temos
que ez 6= 0, pois e Re(z) > 0.

(6) Suponhamos que ez+w = ez , para todo z C, isto , ew = 1, sendo w = s + it, s, t R,

temos por definio que:

ew = es cost + ies sent = 1

es cost = 1

es sent = 0
es = 1


sent = 0

s=0

t = 2k, k Z.

Assim w = 2ki, k Z, ou seja, o perodo de ez 2ki, k Z.

(7) () Se z = 2ki, ento ez = e0 (cos2k + isen2k ) = 1. Pois, os arcos so mltiplos

de 2, e da, temos que o cosseno ser sempre igual a 1 (um), e o seno igual a 0 (zero).
Portanto, ez = 1.
0 0
() Se ez = 1 ez+z = ez , z0 C z = 2ki, por 6, k Z.

Com esse estudo prvio, temos condies suficientes para generalizar o conceito da funes
seno e cosseno no conjunto dos nmeros complexos.

43
CAPTULO 3

FUNES TRIGONOMTRICAS COMPLEXAS

acordo com o estudo feito nos Captulos 1 e 2, iremos iniciar agora o estudo das funes
D
E
trigonomticas complexas de uma varivel complexa, isto , das funes f : D C cujo
domnio D est contido em C. Essas funes trigonomtricas fazem parte do objeto principal
da Anlise Complexa em uma varivel.
Inicialmente iremos apresentar o conceito de funes de varivel complexa, assim como
algumas noes bsicas associadas as essas funes. Em seguida, trataremos de forma espe-
cial as funes trigonomticas complexas, com o objetivo de mostrar as existncia de seno e
cosseno maiores que 1. Alm disso, sero trabalhadas as propriedades referentes as funes
trigonomtricas.

3.1 Funes de Varivel Complexa

Para definirmos funes de uma varivel complexa, consideremos uma funo do tipo f :
D C cujo domnio D um subconjunto de C. Estas funes so chamadas de funes
complexas de varivel complexa. De agora por diante, sempre que considerarmos funes
f : D C assumiremos implicitamente que D C, a menos que se diga explicitamente o
contrrio.
Sendo assim, seja D um conjunto de nmeros complexos e seja f uma lei que faz corres-
ponder, a cada elemento z do conjunto D, um nico nmero complexo, que denotamos por
f (z). Nestas condies, diz-se que f uma funo com domnio D. O conjunto I dos valores

44
w = f (z), correspondentes a todos os valores de z em D, chamado a imagem de D pela funo
f ; z chamada varivel independente, e w, a varivel dependente.
Um fato importante que uma funo de varivel complexa z pode assumir valores pura-
mente reais. Por exemplo,
q
f ( x ) =| z |= x2 + y2 , z = x + iy,

uma funo real da varivel complexa z.

Muitas vezes conveniente expressarmos uma funo f : D C em termos de sua parte
real e de sua parte imaginria, isto , representarmos f na forma

f = u + iv,

onde
u(z) = Re[ f (z)]

e
v(z) = Im[ f (z)](z D ).

importante observar que as funes u e v so funes reais em D. Se escrevermos z = ( x, y)

com x, y R, podemos considerar u e v como funes reais de duas variveis reais:

u(z) = u( x, y)

e
v(z) = v( x, y).

Por exemplo, se f : C C dada por f (z) = z + 1, ento as partes real e imaginria de f so

u(z) = u( x, y) = x + 1 e v(z) = v( x, y) = y.
Para que uma funo complexa f : D C seja limitada em um conjunto S de D, deve
existir uma constante M > 0 tal que
| f (z) | M
para todo z S. Por exemplo, a funo f : C C dada pela expresso f (z) = z2 limitada
em {z C; | z | 1}, mas no limitada em C.

45
3.2 Funo Exponencial Complexa
Nesta seo iremos abordar sobre algumas caractersticas entre a funo exponencial com-
plexa e a funo exponencial real.
Relembremos do Captulo anterior que a definio da funo exponencial complexa : e :
C C dada por:
ez = e x+iy = e x (cosy + iseny).

Observemos que no caso particular de z ser um nmero real (y = 0), segue que

ez = e x+0i = e x (cos0 + isen0) = e x (1 + 0) = e x

o que mostra que, quando o expoente real, a exponencial complexa coincide com a exponen-
cial real. Por outro lado, q
| z |= e x (cosy)2 + (seny)2 = e x
para todo z C. Como e x > 0 obtemos ez 6= 0.
Agora, recordando a representao polar

e z1 e z2 = e x1 (cosy1 + iseny1 )e x2 (cosy2 + iseny2 )

= e x1 e x2 (cos(y1 + y2 ) + isen(y1 + y2 ))
= e x1 + x2 (cos(y1 + y2 ) + isen(y1 + y2 ))
= e z1 + z2

e
1 1
z
= x
e e (cosy + iseny)
1
= x (cosy iseny)
e
= ex (cos(y) + isen(y))
= ez .

Por essas duas ltimas propriedades, temos:

e z1
z
= e z1 e z2 = e z1 z2
e 2

Invocando as duas primeiras propriedades e usando induo

(ez )n = enz

46
qualquer que seja n Z.
At agora, as propriedades da exponencial complexa coincidiram com as da exponencial
real. Dentre as diferenas entre a exponencial real e exponencial complexa, uma supreendente
que a exponencial complexa peridica, de perodo imaginrio 2i, pois

ez+2i = e x (cos(y + 2 ) + isen(y + 2 )

= e x (cosy + iseny)
= ez .

Ainda destacamos a propriedade da conjugao. Sendo assim, temos:

ez = e x (cosy + iseny)
= e x (cosy iseny)
= e x (cos(y) + isen(y))
= ez

e portanto
| e z |2 = e z e z = e z e z .

3.3 Funes Cosseno e Seno Complexas

Como vimos a funo exponencial dada por

ez = e x (cosy + iseny), z = x + iy.

Agora se z = iy, temos que

eiy = e0 (cosy + iseny) = cosy + iseny

e se z = iy, ficamos com

eiy = e0 (cos(y) + isen(y)) = cosy iseny.

Segue que
eiy eiy
seny =
2i
e
eiy + eiy
cosy = .
2

47
 A extenso das funes trigonomtricas reais ao plano complexo feita de forma natural
usando as relaes acima. Assim definimos

eiz eiz
sen(z) =
2i
e
eiz + eiz
cos(z) = .
2
importante observar que as outras funes trigonomtricas, so definidas em termos das
funes seno e cosseno pelas relaes usuais.
Observemos tambm que, se z for um nmero real, as funes seno e cosseno complexas
transformam-se nas funes seno e cosseno reais, visto que, se z = x, com x real, segue que

eiz eiz eix eix

senz = = = senx
2i 2i
e
eiz + eiz eix + eix
cosz = = = cosx
2 2
o que mostra que, quando z for real, as funes seno e cosseno complexa coincidem com as
funes seno e cosseno reais, mostrando assim, que as funes esto bem definidas.
Em relao as identidades trigonomtricas, a maioria das propriedades vlidas para as fun-
es trigonomtricas reais permanecem vlidas no caso complexo. Por exemplo, temos a se-
guinte

Proposio 3.1. Para quaisquer z, w C, temos:

(1) sen2 z + cos2 z = 1.

(2) sen(z) = sen(z).

(3) cos(z) = cos(z).

(4) sen(z + w) = sen(z)cos(w) + sen(w)cos(z).

(5) cos(z + w) = cos(z)cos(w) sen(z)sen(w).

(6) sen(2z) = 2sen(z)cos(z).

(7) cos(2z) = cos2 (z) sen2 (z).

48
 Demonstrao:

(1) De fato,
2  iz 2
eiz + eiz e eiz

2 2
cos z + sen z = +
2 2i
e2iz + 2eiz eiz + e2iz e2iz 2eiz eiz + e2iz
=
4 4
= 1.

Portanto, sen2 z + cos2 z = 1.

(2) De acordo com a definio da funo seno complexa, temos:

eiz eiz eiz eiz

sen(z) = = (1) = sen(z).
2i 2i
Sendo assim, sen(z) = sen(z).

(3) Utilizando a definio da funo cosseno complexa, temos:

eiz + eiz eiz + eiz

cos(z) = = = cos(z)
2 2
Conclumos assim, que cos(z) = cos(z).

(4) Para demonstrar esta igualdade, usaremos sen(z)cos(w) + sen(w)cos(z) para obter sen(z +
w). Sendo assim, temos:

1 iz
sen(z)cos(w) + sen(w)cos(z) = [(e eiz )(eiw + eiw ) + (eiw eiw )(eiz + eiz )]
4i
1 i (z+w)
= [e e i ( z w ) + ei ( z w ) e i ( z + w ) +
4i
+ ei ( z + w ) ei ( z w ) + e i ( z w ) e i ( z + w ) ]
1 i (z+w)
= [e e i ( z + w ) ]
2i
= sen(z + w)

Portanto, sen(z + w) = sen(z)cos(w) + sen(w)cos(z).

49
 (5) Seguindo o mesmo racocinio da demonstrao anterior, temos:
1 iz
cos(z)cos(w) sen(z)sen(w) = [(e + eiz )(eiw + eiw ) + (eiz eiz )(eiw eiw )]
4
1 i (z+w)
= [e + e i ( z w ) + ei ( z w ) + e i ( z + w ) +
4
+ ei ( z + w ) e i ( z w ) ei ( z w ) + e i ( z + w ) ]
1 i (z+w)
= [e + e i ( z + w )
2
= cos(z + w).

O que mostra que cos(z + w) = cos(z)cos(w) sen(z)sen(w).

(6) Para demonstrar esta igualdade, basta substituir w por z em (4). Sendo assim, temos:

sen(z + z) = sen(2z) = sen(z)cos(z) + sen(z)cos(z) = 2sen(z)cos(z).

O que mostra a igualdade (pois o item (4) j foi demonstrado).

(7) Semelhante a demonstrao anterior, substituindo w por z em (5), temos:

cos(z + z) = cos(2z) = cos(z)cos(z) sen(z)sen(z) = cos2 z sen2 z.

Mostrando que a igualdade vlida (pois o item (5) j foi demonstrado).

Uma outra forte analogia entre as funes seno e cosseno complexas e as funes seno
e cosseno reais que ambas so peridicas de perodo 2, o que pode ser justificado pelas
igualdades:

ei(z+2 ) ei(z+2 )
sen(z + 2 ) =
2i
eiz+2i eiz2i
=
2i

usando o fato de que a funo exponencial peridica de perodo 2i, ou seja, ez+2i = ez ,
como visto na seo anterior. Com isso, temos:

eiz+2i eiz2i
sen(z + 2 ) =
2i
eiz eiz
=
2i
= sen(z).

50
e
ei(z+2 ) + ei(z+2 )
cos(z + 2 ) =
2
eiz+2i + eiz2i
=
2
novamente usando o fato de que a funo exponencial peridica de perodo 2i, temos:

eiz+2i + eiz2i
cos(z + 2 ) =
2
eiz + eiz
=
2
= cosz.

Apesar dessas analogias, as funes seno e cosseno complexas tambm possuem grandes
diferenas em relao s funes seno e cosseno reais. Uma das mais marcantes que as fun-
es seno e cosseno complexas so ilimitadas, ao contrrio das funes seno e cosseno reais
que cumprem as condies:
1 sen( x ) 1
e
1 cos( x ) 1
para todo x real. Para demonstrarmos esta diferena, inicialmente verificaremos as seguintes
igualdades:
Considerando um nmero complexo z = x + iy, e que senh e cosh significam, respectiva-
mente, seno hiperblico e cosseno hiperblico, temos:

(1) cos(z) = cos( x )cosh(y) isen( x )senh(y);

(2) sen(z) = sen( x )cosh(y) + icos( x )senh(y);

(3) | cos(z) |2 = cos2 ( x ) + senh2 (y);

(4) | sen(z) |2 = sen2 ( x ) + senh2 (y).

Demonstrao:
Para essas demonstraes usaremos as seguntes definies:

ey + ey
cosh(y) =
2

51
e
ey ey
senh(y) = .
2
(1) Como x a parte real e y a parte imaginria, temos:

eiz + eiz
cos(z) =
2
ey+ix + eyix
=
2
ey (cosx + isenx ) + ey (cosx isenx )
=
2
ey cosx + ey cosx + iey senx iey senx
=
2
ey + ey ey ey
= cosx i senx
2 2
= cosh(y)cos( x ) isenh(y)sen( x ).

(2) Como x a parte real e y a parte imaginria, temos:

eiz eiz
sen(z) =
2i
ey+ix eyix
=
2i
ey (cosx + isenx ) ey (cosx isenx )
=
2i
e cosx e cosx + iey senx + iey senx
y y
=
2i
ey ey ey + ey
= cosx + i senx
2i 2i
ey + ey ey ey
= senx + i cosx
2 2
= cosh(y)sen( x ) + isenh(y)cos( x ).

(3) Do item (1) obtemos:

| cos(z) |2 = cosh2 (y)cos2 ( x ) + senh2 (y)sen2 ( x )

= cosh2 (y)cos2 ( x ) + senh2 (y)(1 cos2 ( x ))
= cosh2 (y)cos2 ( x ) + senh2 (y) senh2 (y)cos2 ( x )
= (cosh2 (y) senh2 (y))cos2 ( x ) + senh2 (y)
= cos2 ( x ) + senh2 (y).

52
 (4) Do item (2) segue:

| sen(z) |2 = cosh2 (y)sen2 ( x ) + senh2 (y)cos2 ( x )

= cosh2 (y)sen2 ( x ) + senh2 (y)(1 sen2 ( x ))
= cosh2 (y)sen2 ( x ) + senh2 (y) senh2 (y)sen2 ( x )
= (cosh2 (y) senh2 (y))sen2 ( x ) + senh2 (y)
= sen2 ( x ) + senh2 (y).

Sendo assim, podemos demonstrar que as funes seno e cosseno no so limitadas em C.

De fato, dizemos que uma funo f definida num subconjunto D de C limitada se exitir
K > 0 tal que | f (z) | K para todo z D. Usando as igualdades (3) e (4) acima, com
z = ni, n = 1, 2, 3, . . ., vemos que

| cos(z) |2 = cos2 ( x ) + senh2 (y)

= cos2 (0) + senh2 (y)
= 1 + senh2 (y)
= cosh2 (y) senh2 (y) + senh2 (y)
= cosh2 (y)

Portanto, podemos escrever que

| cos(z) |=| cosh(y) | .

Sendo assim, temos que

| cos(z) | = | cosh(y) |
ey + ey
= | |
2
ey + ey
= +
2

quando y +.
Em relao a funo seno, temos:

| sen(z) |2 = sen2 ( x ) + senh2 (y)

= sen2 (0) + senh2 (y)
= 0 + senh2 (y)
= senh2 (y)

53
Portanto, podemos escrever que

| sen(z) |=| senh(y) | .

Sendo assim, temos que

| sen(z) | = | senh(y) |
ey ey
= | |
2
ey ey
+
2
quando y +.
Dessa forma, mostramos que as funes seno e cosseno no so limitadas no conjunto dos
nmeros complexos.
Como exemplo de que o cosseno pode ser maior que 1, observemos:
eii + eii
cos(i ) =
2
2 2
ei + e i
=
2
e 1 + e
=
2
0, 3678794409628968 + 2, 71828183
=
2
3, 0861612709628968
=
2

= 1, 5430806354814484.

Portanto, cos(i )
= 1, 5431.
Dessa forma, temos um exemplo de cosseno maior que 1!
Vamos agora, verificar uma situao para o seno. Sempre que nos deparamos com uma
equao do tipo sen(z) = 4, afirmamos que tal equao no possui soluo real. No entanto,
no campo dos complexos:
eiz eiz
sen(z) = 4 =4
2i
eiz eiz = 8i
1
eiz eiz
8i = 0
1 8ieiz = 0
e2iz
(eiz )2 8ieiz 1 = 0

54
que uma equao quadrtica em eiz . Para resolver esta equao, usaremos a frmula conhe-
cida como frmula de Bhaskara. Dessa forma, temos:

= (8i )2 4(1)(1) = 64i2 + 4 = 60

iz 8i 60
e =
2(1)
8i 60i2
=
2
8i 22 15i2
=
2

8i 2i 15
=
2
= 4i i 15

= (4 15)i.

Assim, escrevendo z = x + iy, sendo x e y reais, temos:

eiz = ei( x+iy)

= ey+ix
= ey (cosx + isenx )


y (4 + 15)i
e (cosx + isenx ) =
(4 15)i

Na equao,

ey (cosx + isenx ) = (4 + 15)i,

como (4 + 15)i um nmero imaginrio puro e 4 + 15 > 0, segue que

ey = 4 + 15

e

x= + 2k, k Z.
2
Portanto,

y = ln(4 + 15)

55
e

x= + 2k, k Z.
2
Concluso:  
z= + 2k i [ln(4 + 15)], k Z.
2
Procedendo de modo anlogo para a equao

ey (cosx + isenx ) = (4 15)i,

segue que as outras solues so:

 
z= + 2k i [ln(4 15)], k Z.
2
Isso mostra que, no campo dos nmeros complexos, a equao sen(z) = 4 possui infinitas
solues. Na prxima seo, iremos esboar alguns grficos relacionados as funes seno e
cosseno complexas.

3.3.1 Visualizao grfica

Os grficos apresentados nesta seo foram plotados utilizando o software Matlab
c
2011
atravs do comando cplxmap.
A Figura 3.1(a) descreve um caso particular da funo cosseno complexa onde so apresen-
tados valores de cossenos de nmeros complexos imaginrios puros no intervalo [1, 1]. Neste
grfico podemos observar que, a funo possui um eixo de simetria em x = 0, pois cos(z) =
cos(z), e possui ponto mnimo em x = 0 o qual representa o valor y = cos(i0) = cos(0) = 1.
A Figura 3.1(b) descreve comportamento da funo cosseno complexa no par ordenado ( x, y)
plotado no intervalo [1, 1] [1, 1].
Ainda podemos analisar que, vrios nmeros complexos, dentro do domnio definido an-
teriormente, possuem valores de cosseno maiores que 1, no apenas nmeros puramente ima-
ginrios.
De forma similar s anlises anteriores, iremos plotar o grfico da funo seno complexa.
A Figura 3.2(a), descreve somente a parte imaginria da funo sen(z), cujo domnio o in-
tervalo [1, 1]. Podemos notar que no intervalo [1, 1] a imagem do seno transcede o valor 1.
J na Figura 3.2(b) plotamos o grfico da funo sen(z) novamente considerando o intervalo
[1, 1] [1, 1].

56
(a) (b)

Figura 3.1: (a) cos(ix ) e (b) cos(z).

(a) (b)

Figura 3.2: (a) sen(ix ) e (b) sen(z).

57
 CONCLUSO

trabalho apresentamos uma introduo a respeito das funes seno e cosseno pos-
N
ESTE
surem valores maiores que 1 (um) e abordamos a inexistncia dessas informaes em
alguns livros didticos e a importncia que os professores do ensino mdio precisam dar so-
bre esta temtica, a fim de que os discentes possam ter um aprendizado mais amplo. Em
seguida, fizemos um estudo acerca das funes trigonomtricas reais e dos nmeros comple-
xos, para que finalizssemos com a apresentao das funes trigonomtricas complexas, onde
mostramos a existncia dos valores de seno e cosseno maiores que 1 apresentando exemplos e
experimentos numricos.
De acordo com o estudo feito, acreditamos que seja possvel, com algumas ponderaes
a respeito dos contedos do clculo diferencial, que os professores do ensino mdio, possam
abordar os conceitos de trigonometria no conjunto dos nmeros complexos. Neste sentido os
alunos podero perceber a possibilidade de valores de seno e cosseno maiores que 1. Atravs
deste estudo, percebemos tambm que tanto as funes seno e cosseno reais quanto as funes
seno e cosseno complexas possuem vrias propriedades em comum e poucas diferenas. Alm
disso, resolvemos alguns exemplos e plotamos grficos dos senos e cossenos no conjunto dos
nmeros complexos. As aplicaes demonstraram que as funes seno e cosseno so ilimitadas
neste conjunto.
Sabendo da possibilidade de progresso dos alunos em seus estudos, principalmente na
graduao, importante que seja abordado essa temtica de forma que os alunos possam de-
senvolver seus conhecimentos e possam desenvolver o seu potencial crtico e investigativo
dentro da matemtica. Neste sentido, futuros trabalhos podero ser elaborados no intuito de

58
mostrar que quando trabalhamos com funes definidas no conjunto dos nmeros complexos,
algumas caractersticas no so mais vlidas, como exemplo de logaritmo de nmero negativo.
Em virtude do que foi abordado neste trabalho, o estudo acerca das funes seno e cosseno
complexas pode ser realizado no ensino mdio, pois so assuntos acessveis neste nvel de
ensino, levando em considerao os assuntos do clculo diferencial, claro. Alm do mais,
de suma importncia para que os alunos desmistifiquem que o seno e cosseno s possuem
valores entre 1 (menos um) e +1 (mais um).

59
 REFERNCIAS BIBLIOGRFICAS

[1] ARDENGHI, M. J. Ensino e aprendizagem do conceito de funo: pesquisas reali-

zadas no perodo de 1970 a 2005 no Brasil. 2008. Dissertao (Mestrado em Educao
Matemtica) - Pontifcia Universidade Catlica de So Paulo, So Paulo, 2008.
Disponvel em:
<http://www.pucsp.br/pos/edmat/ma/ARDENGHI marcos jose.html> Acesso
em: 25 jan. 2014.

[2] VILA, G. Variveis Complexas e Aplicaes. 3 ed. Rio de Janeiro: LTC, 2011.

[3] AYRES Jr., F. Trigonometria. Coleo Schaum. Ed, MN Graw-hill do Brasil, Ltda.

[4] BONJORNO, J. R.; GIOVANNI, J. R. Matemtica - uma nova abordagem - Vol. 1 -

Trigonometria, Ed. FTD, So Paulo, 2011.

[5] BOYER, C. B. Histria da Matemtica. Trad. Elza F. Gomide. So Paulo: Editora

Edgard Blucher Ltda, 1996.

[6] BRASIL. Ministrio da Educao e Cultura. CAPES. Banco de Teses.

Disponvel em: <http://www.capes.gov.br/servicos/banco-de-teses> Acesso em:
16 nov. 2013.

[7] . Guia de livros didticos: PNLD 2012: Matemtica/Braslia, 2011.

[8] . Lei no 9394, de 20 de dezembro de 1996, estabelece as diretrizes e bases da edu-

cao nacional.

60
 Disponvel em: <http://www.jusbrasil.com.br/legislacao/109224/lei de-diretrizes-
ebases-lei-9394-96> Acesso em: 05 nov. 2013.
[9] . Parmetros Curriculares Nacionais.
Disponvel em: <http://portal.mec.gov.br/seb/arquivos/pdf/livro01.pdf> Acesso
em: 05 nov. 2013.
[10] . Parecer CEB no 15/98, de 01 de junho de 1988 sobre as Diretrizes Curriculares
Nacionais para o Ensino Mdio.
Disponvel em: <http://portal.mec.gov.br/cne/arquivos/pdf/PCB15 1998.pdf>
Acesso em: 16 nov. 2013.
[11] . Resoluo CNE/CEB no 3, de 26 de junho de 1998. Institui as Diretrizes Curri-
culares Nacionais para o Ensino Mdio.
Disponvel em: <http://portal.mec.gov.br/cne/arquivos/pdf/PCB15 1998.pdf>
Acesso em: 20 nov. 2013.
[12] CARMO, M. P.; MORGADO, A. C.; WAGNER, E. Trigonomtria Nmeros Comple-
xos. Coleo professor de matemtica. 3 ed. Rio de Janeiro: SBM, 2005.
[13] CURY, H. A. (Org.). Formao de professores de Matemtica: uma viso multiface-
tada. Porto Alegre: EDIPUCRS, 2001.
[14] DAMBROSIO, B.; DAMBROSIO, U. Formao de professores de Matemtica: pro-
fessor pesquisador. Atos de Pesquisa em Educao, Blumenau, v. 1, n. 1, p. 75-85,
2006.
Disponvel em:
<http://proxy.furb.br/ojs/index.php/atosdepesquisa/article/view/65> Acesso
em: 22 jan. 2014.
[15] EVES, H. Introduo Histria da Matemtica. Campinas: Ed. UNICAMP, 1995.
[16] FILHO, B. B.; SILVA, C. X. Matemtica 2a : aula por aula, PNLEM, aprovado pelo
MEC. So Paulo: FTD, 1a edio, 2003.
[17] FIORENTINI, D. Formao Matemtica e didticopedaggica nas disciplinas da li-
cenciatura em Matemtica. In: VII Encontro Paulista de Educao Matemtica, 2004,
So Paulo. Anais..., 2004.

61
 Disponvel em:
<www.sbempaulista.org.br/epem/anais/mesas.../mr11-Dario.doc> Acesso em: 22
jan. 2014.

[18] GARBI, G. G. O Romance das Equaes Algbricas. So Paulo: Makron Books, 1997.

[19] IEZZI, G. Fundamentos da Matemtica Elementar - Trigonometria. Vol. 3. So

Paulo: Atual, 1998.

[20] LELLIS, M. Sobre o conhecimento do professor de Matemtica. 2002. Disserta-

o (Mestrado em Educao Matemtica) - Pontifcia Universidade Catlica de So
Paulo, 2002.
Disponvel em:
<http://www.pucsp.br/pos/edmat/ma/dissertacao/marcelo lellis.pdf> Acesso
em: 25 jan. 2014.

[21] LINDEGGER, L. R. M. Construindo Conceitos Bsicos da Trigonometria no Trin-

gulo Retngulo: Uma proposta a partir da manipulao de modelos. So Paulo,
2000. 204f. Dissertao (Mestrado em Educao Matemtica) - Pontifcia Universi-
dade Catlica de So Paulo.

[22] MACHADO, N. J. Matemtica por assuntos, trigonometria. So Paulo:Scipione.

[23] MAROIS, P.; TALL, D. Facets and Layers of the Function Concept. In: Proceedings
of PME 20, Valencia, 2, 1996, p. 297-304.
Disponvel em: <www.warwick.ac.uk/staf f/David.Tall/pdfs/dot1996f-demarois-
pme.pdf> Acesso em: 10 jan. 2014.

[24] MOREIRA, P.; SOARES, M. O conhecimento matemtico do professor: formao e

prtica docente na escola bsica. Revista Brasileira de Educao, Rio de Janeiro, n.
28, p. 50-61, janeiro-abril 2005.
Disponvel em: <http://www.scielo.br/pdf/rbedu/n28/a05n28.pdf> Acesso em:
25 jan. 2014.

[25] ORIENTAES curriculares para o ensino mdio (OCEM): cincias da natureza, ma-
temtica e suas tecnologias. Braslia: MEC/DPEM, 2006.

62
[26] . Orientao Curriculares para o Ensino Mdio.
Disponvel em:
<http://portal.mec.gov.br/seb/arquivos/pdf/book volume 02 internet.pdf>
Acesso em: 02 nov. 2013.

[27] PAIVA, M. Matemtica: volume nico. 2. ed. Sao Paulo: Moderna, 2003.

[28] PARAMETROS curriculares nacionais (PCNEM): cincias da natureza, matemtica e

suas tecnologias: Secretaria de Educao Media. Braslia: MEC/SEF, 1998.

[29] PRADO, F. B. Ensino de Grficos de Funes Trigonomtricas e Uma Aplicao

em Msica. 2013. Dissertao (Mestrado Profissional em Matemtica - PROFMAT) -
Instituto de Matemtica Pura e Aplicada - IMPA, Rio de Janeiro. 2013.
Disponvel em: <http://bit.profmat-sbm.org.br/xmlui/handle/123456789/278>
Acesso em: 15 fev. 2014.

[30] SFARD, A. On the dual nature of mathematical conceptions: reflections on processes

and objects as dif ferent sides of the same coin. Educational Studies in Mathematics,
Dordrecht, The Netherlands, n. 22, p. 1-36, 1991.
Disponvel em: <www.msu.edu/ sfard/> Acesso em: 10 jan. 2014.

[31] SHULMAN, L. S. Those who understand: Knowledge Growth in teaching. Educati-

onal Researcher, Washington D. C., v. 15, n. 2, p. 4-14, 1986.

[32] . Conocimiento y ensenza: fundamentos de la nueva reforma. Profesorado. Re-

vista de currculum y formacin del profesorado, Granada Espanha, v. 9, n. 2, 2005.
Disponvel em: <ht tp://www.ugr.es/ recfpro/rev92ART1.pdf> Acesso em: 10 jan.
2014.

[33] SILVA, U. Anlise da abordagem de funo adotada em livros didticos de Mate-

mtica da Educao Bsica. 2007. Dissertao (Mestrado em Educao Matemtica)
- Pontifcia Universidade Catlica de So Paulo, 2007.
Disponvel em:
<http://www.sapientia.pucsp.br//tde busca/arquivo.php?codArquivo=5679>
Acesso em: 25 jan. 2014.

63
[34] ; SOUZA JUNIOR, A.; MELO, G. Saberes docentes: um desafio para acadmicos
e prticos. In: GERALDI, C.; FIORENTINI, D.; PEREIRA, E. (Orgs.) Cartografias
do trabalho docente: professor(a) - pesquisador(a). Campinas: Mercado das Letras,
1998. p. 307-335.

[35] SOARES, M. G. Clculo em uma varivel complexa. 5 ed. Rio de Janeiro: IMPA,
2012.

[36] STEINBRUCH, A.; WINTERLE, P. Geometria analtica. 2. ed. So Paulo: MAKRON

Books, 1987.

[37] STEWART, J. Clculo: Volume 2. 5 ed. Sao Paulo: Pioneira Thomson Learning, 2006.

64