Você está na página 1de 89

5

APRESENTAO
O tema Trigonometria e Nmeros Complexos vem completar o ciclo de brochuras
dedicadas ao ensino da geometria. Foi seguida a mesma metodologia de trabalho dos
textos anteriores, procurando articular sugestes de actividades fundamentadas do
ponto de vista didctico e alguns contributos cientficos sobre os conceitos mais
significativos.
Assim, esta brochura constituda pelas seguintes partes:
Actividades comentadas - Trigonometria
Actividades comentadas - Complexos
Cristina Loureiro e Rita Bastos
Alguns limites e derivadas de funes trigonomtricas
O teorema fundamental da lgebra
Augusto Franco de Oliveira
Nmeros complexos
Jorge Nuno Silva




6
NDICE
Actividades comentadas Trigonometria
9
Actividades comentadas Complexos
19
Nmeros complexos e sistemas de coordenadas
25
Clculo com nmeros complexos
32
Nmeros complexos e vectores
39
Nmeros complexos e transformaes geomtricas
45
Geometria e nmeros complexos
55
Bibliografia
70
Alguns limites e derivadas de funes trigonomtricas
71

O limite de
sen x
x
..
71
Derivadas das funes trigonomtricas
75
Bibliografia
78
O teorema fundamental da lgebra
79
Histria resumida do TFA ..
79
Uma demonstrao do TFA
84
Bibliografia
90
Nmeros complexos
91
Introduo ..
91
Os primrdios
91
Definio e propriedades elementares
96
Conjugao
99
7
Nmeros complexos e lugares geomtricos do plano
104
Forma polar dos nmeros complexos
108
Algumas aplicaes
113
Bibliografia
120















8
ACTIVIDADES COMENTADAS
TRIGONOMETRIA
O terceiro tema do programa do 12 ano completa o estudo da trigonometria, iniciado no
11, com o estudo intuitivo das funes trigonomtricas e o clculo das suas derivadas.
Na abordagem que fizemos na brochura do 11 ano (pg. 99 a 106), sugerimos vrias
actividades e problemas que so adequados realizao desse estudo intuitivo e
aplicao das derivadas. Tendo em conta o tempo proposto para este tema, 6 aulas, e a
possibilidade de os alunos utilizarem a calculadora grfica, parece-nos que a nfase
desta explorao deve ser na resoluo de problemas e na realizao de pequenos
projectos de modelao. Considerando que no tema geral do referido programa se prev
vrias abordagens do processo de modelao matemtica (p. 37), esta uma boa opor-
tunidade para propor actividades de modelao e reflectir com os alunos sobre os
processos utilizados e sobre a sua importncia no mundo actual. Vamos assim explorar
apenas uma actividade de modelao que envolve funes trigonomtricas, e sugerir
outras leituras com abordagens das funes trigonomtricas na modelao anlogas a
estas.
Para alm da calculadora grfica, h dois ambientes de computador propcios
explorao de actividades de modelao que so a folha de clculo e o programa
Modellus. Este ltimo um programa especialmente desenvolvido a pensar no ensino da
Matemtica e da Fsica, e que pode ser obtido atravs do endereo electrnico
http://www.sce.fct.unl.pt/modellus.
Uma actividade de modelao matemtica parte normalmente de dados reais e procura
representar de algum modo essa realidade atravs de modelos matemticos que, por
sua vez, permitem estudar e compreender melhor alguns aspectos desses fenmenos
reais. uma actividade desse tipo, mas simples, que propomos a seguir, utilizando
dados recolhidos de uma publicao conhecida.
9
Observa a tabela publicada no
almanaque Borda d gua de
1999, e depois constri um
modelo matemtico que tradu-
za, por exemplo, a variao do
comprimento do dia ao longo
do ano de 1999.
O comprimento do dia






















10
Claro que, numa actividade de modelao, o ideal ser que os prprios alunos recolham
os dados, directamente, ou atravs dos meios de informao, nomeadamente a Internet,
e que estes sejam o mais actuais possvel.
Nesta explorao optmos por usar a folha de clculo para introduzir os dados, e
comeamos por explorar apenas os dados relativos ao comprimento do dia em Lisboa.
COMPRIMENTO DO DIA - LISBOA - 1999
Dia Horas Minutos
Comprimento
(horas)
0 9 31 9,517
10 9 40 9,667
20 9 54 9,900
30 10 13 10,217
40 10 34 10,567
50 10 57 10,950
60 11 22 11,367
70 11 46 11,767
80 12 12 12,200

Logo nesta fase a folha de clculo til para se obter a coluna do comprimento em
horas. Os dados apresentados no almanaque referem-se a datas de dez em dez dias.
Optmos por designar por 0 o primeiro dia porque o facto de haver imagem para o zero
pode facilitar a determinao do modelo, mas essa uma escolha que podemos
reformular em qualquer altura, aproveitando as possibilidades da folha de clculo. Com
estes dados obtemos imediatamente um primeiro grfico.
8
9
10
11
12
13
14
15
16
0 6 12 18 24 30 36
Dia do ano
10
C
o
m
p
r
i
m
e
n
t
o

(
h
o
r
a
s
)
11
Esta curva parece uma sinusoidal, o que sugere um modelo que uma funo
trigonomtrica composta da funo seno com funes lineares. Para encontrar essa
funo deveremos ter em conta, entre outros aspectos, os pontos em que atinge o
mximo e o mnimo e tambm o seu perodo. Embora a calculadora grfica faa
regresso trigonomtrica, mais interessante e formativo construir o modelo recorrendo
s caractersticas e propriedades das funes trigonomtricas, nomeadamente as das
funes seno e coseno.
Considerando para varivel independente x o nmero
dia do ano
10
, podemos considerar
36 como uma aproximao razovel do perodo, j que equivale a tomar 360 como
nmero de dias do ano.
Utilizando estes valores, podemos partir do grfico da funo y = sen x, e transform-lo
sucessivamente at obtermos a melhor aproximao ao grfico dos dados reais.
A transformao da expresso para se obter perodo 36, corresponde a esticar o grfico
no sentido do eixo Ox
-1
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
0 6 12 18 24 30 36
Dia do ano
10
C
o
m
p
r
i
m
e
n
t
o

(
h
o
r
a
s
)
Comprimento
real
y = sen x
12
y = sen (
2t
36
x) = sen (
t
18
x)
Esta nova funo tem um mximo no ponto (9, 1). Como o maior dia do ano o dia 20
de Junho, em que x = 17, necessrio fazer uma translao do grfico segundo o vector
(8, 0). A expresso correspondente fica
y = sen (
t
18
(x 8))
A amplitude do contradomnio da ltima funo obtida 2. Para obter a amplitude da
funo pretendida, procuramos nos dados que temos o menor e o maior dias do ano:
o mnimo da funo, correspondente ao dia 17 de Dezembro
C(35) = 9,487
o mximo da funo, correspondente ao dia 20 de Junho
C (17) = 14,883
a amplitude do contradomnio, correspondente diferena entre o mximo e o
mnimo
14,883 9,487 ~ 5,4
-1
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
0 6 12 18 24 30 36
Dia do ano
10
C
o
m
p
r
i
m
e
n
t
o

(
h
o
r
a
s
)
y = sen (
t
18
(x 8))
y = sen
(
t
18
x)
Comprimento
real
13
A amplitude da funo que queremos modelar aproximadamente 5,4. Para fazer a
transformao pretendida multiplicamos a funo por
5,4
2
= 2,7
Como o mximo do comprimento do dia 14,833, fazemos uma translao do grfico no
sentido vertical de 14,883 2,7 ~ 12,2. Portanto a expresso da funo que procuramos
ser aproximadamente
y = 12,2 + 2,7 sen (
t
18
(x 8))
Podemos comparar agora a tabela e o grfico desta funo com os da funo obtida
com os dados reais. Se tivssemos tido acesso a dados com maior preciso e em maior
nmero teramos encontrado provavelmente um modelo melhor que este, mais
aproximado da realidade.
COMPRIMENTO DO DIA - LISBOA - 1999
Dia
Comprimento
(horas)
Modelo Diferena
0 9,517 9,541 -0,024
1 9,667 9,663 0,004
-3
-2
-1
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
1 7 13 19 25 31 37
Dia do ano
10
C
o
m
p
r
i
m
e
n
t
o

(
h
o
r
a
s
)
y = 12,2 + 2,7 sen (
t
18
(x 8))
(0; 12,2)
y = 2,7 sen (
t
18
(x 8))
14
2 9,900 9,862 0,038
3 10,217 10,132 0,085
4 10,567 10,464 0,102
5 10,950 10,850 0,100
6 11,367 11,277 0,090
7 11,767 11,731 0,036
8 12,200 12,200 0,000
9 12,633 12,669 -0,036
Por um processo anlogo obteramos um modelo para a variao do comprimento do dia
no Porto.
8
9
10
11
12
13
14
15
16
0 6 12 18 24 30 36
Dia do ano
10
C
o
m
p
r
i
m
e
n
t
o

d
o

d
i
aComp. real
Modelo
8
9
10
11
12
13
14
15
16
0 6 12 18 24 30 36
Dia
10
C
o
m
p
r
i
m
e
n
t
o

d
o

d
i
a
LISBOA
PORTO
C
o
m
p
r
i
m
e
n
t
o

d
o

d
i
a

15
A comparao dos dois grficos permite fazer algumas observaes, interpret-las e
avanar na compreenso da realidade. Por exemplo, porque razo
os valores do comprimento do dia se situam num intervalo menor em Lisboa do que
no Porto?
quando o dia maior que a noite, os dias so maiores no Porto do que em Lisboa?
quando o dia menor que a noite, os dias so menores no Porto do que em
Lisboa?
o dia igual noite apenas em dois dias do ano, que so os mesmos em Lisboa e
no Porto?
O que provoca estas diferenas entre o comprimento do dia em Lisboa e no Porto a
posio do eixo de rotao da Terra relativamente ao plano da sua rbita, juntamente
com o facto de estarem a paralelos diferentes.
Por exemplo, no solstcio de Inverno, a parte do paralelo do Porto que fica iluminada ,
proporcionalmente, menor que a parte iluminada do paralelo de Lisboa.
16
Para alm do aspecto muito caracterstico de modelao matemtica que esta actividade
ilustra, ela o exemplo de um pequeno projecto que os alunos podem desenvolver em
ligao com outras reas do conhecimento.
Propostas de outras situaes, que envolvem funes trigonomtricas e que podem
levar a exploraes anlogas podem ser obtidas em:
Antnio Bernardes (1992). Ao Sabor das Mars. Educao e Matemtica n 23.
Liliana Costa e Margarida Graa (1993). Uma caleira e uma nora. Aprender Matemtica
Pensar a Realidade. Lisboa: Texto Editora.
Susana Carreira (1993). A aprendizagem da trigonometria num contexto de aplicaes e
modelao com recurso folha de clculo. Lisboa: APM, coleco Teses.
J. F. Matos (1995). A Roda Gigante. Modelao Matemtica. Lisboa: Universidade
Aberta.
T
3
(1999). Modelao no ensino da matemtica. Lisboa: APM.
Grupo de Trabalho de Aplicaes e Modelao APM (1999). Relatrio final do projecto
Modelao e Aplicaes na Matemtica Escolar. No publicado.
H ainda outros tipos de abordagens que podem ser feitos sobre as funes
trigonomtricas, mas com caractersticas totalmente diferentes. A funo modelo dada
analiticamente, e sobre ela so colocadas algumas questes de interpretao do
modelo. Encontramos propostas destas, por exemplo, em
Lus Madureira (1993). O voo do gafanhoto e Tenso arterial. Aplicando a Matemtica.
Lisboa: V.R.A.L.
Para alm destas propostas de trabalho, sugerimos a procura de dados na Internet. Por
exemplo em:
http://www.hidrografico.pt
http://www.edinfor.pt/anc
http://www.aveiro.net/bodyboard/mares.htm

17
ACTIVIDADES COMENTADAS
COMPLEXOS
Tradicionalmente, no ensino da matemtica em Portugal, os nmeros complexos eram
tratados com duas grandes nfases: o clculo e as estruturas. Infelizmente que assim
era, porque ficavam escondidas as grandes possibilidades de conexes destes nmeros.
Ao estud-los percebemos que a sua ligao geometria nos d uma perspectiva mais
rica dos mtodos geomtricos tpicos coordenadas, vectores e transformaes
geomtricas e uma nova compreenso da demonstrao, ligando caractersticas
numricas, algbricas e geomtricas. Simultaneamente, a formulao e a resoluo de
problemas ganham novas possibilidades na medida em que passamos a ter mais e
melhores ferramentas disponveis.
Conexes
Alguns matemticos consideram que os nmeros complexos so um dos temas de
unificao matemtica por excelncia.
medida que a investigao avana, tem-se tornado cada vez mais claro
que para compreender verdadeiramente a matemtica, mesmo que seja s
o clculo, o campo dos nmeros reais estranhamente estreito, e
imperativo que trabalhemos com os nmeros complexos para atingir a
uniformidade e a harmonia.
Liang-shin Hahn, 1994
Uma das ideias mais importantes, seno a mais importante, para trabalhar os nmeros
complexos deve-se quantidade de informao que estes nmeros sintetizam. O conhe-
cimento destas informaes e das relaes entre elas permitem-nos uma grande
facilidade de escolha de caminhos em diversos tipos de actividades matemticas.
Organizmos as actividades comentadas em torno de quatro conexes principais, que
do nome s vrias seces: nmeros complexos e sistemas de coordenadas, nmeros
18
complexos como vectores, nmeros complexos e transformaes geomtricas, geo-
metria e nmeros complexos. Esta ltima a conexo mais abrangente, uma vez que
engloba todas as outras.
Com os complexos no estamos presos a uma representao nica, podemos usar a
que nos der mais jeito. Por isso mesmo, uma das dificuldades com que nos debatemos
como jogar permanentemente com as diversas representaes, utilizando em cada
passo a mais til e mais frtil. uma perspectiva de trabalho matemtico muito rica.
Para realizar essas escolhas temos que dominar as relaes entre as vrias
representaes, para poder passar rapidamente de uma para outra, e perceber em cada
caso as vantagens de usar uma ou outra. A destreza nestas passagens fundamental.
Como veremos, ao longo do desenvolvimento das actividades comentadas, a deciso
sobre o tipo de representao que d mais jeito, ou que facilita os clculos, ou que d
um significado geomtrico mais rico ou mais interessante, muito importante.
Em nossa opinio as diversas conexes devem ir sendo trabalhadas a par e passo,
umas vezes de forma isolada, outras de forma articulada. O trabalho com os nmeros
complexos , por isso mesmo, um trabalho matemtico muito formativo pois d
significado capacidade de deciso. Decidir o tipo de coordenadas, escolher a unidade,
decidir a representao, S pode haver deciso quando se conhecem as vrias
alternativas, as suas possibilidades e se tem destreza e maleabilidade para passar de
umas para outras. Decidir no pode ser prejudicado pelo peso da realizao das tarefas
que lhe esto associadas.
Mas a capacidade de deciso matemtica no estranha ao recurso intuio. Muitas
vezes no somos capazes de apresentar uma razo lgica que nos leva a escolher um
caminho, mas sentimos que h razes que nos levam a decidir. No so razes
explicitveis mas sabemos que elas existem. Nestes casos dizemos que foi a intuio. E
a intuio matemtica tambm se vai aprendendo com a realizao de muito trabalho
matemtico.
importante notar que ao tomar a deciso de ir por um determinado caminho estamos a
fazer uma experincia, podemos ter a intuio de que ela nos vai levar a uma soluo,
mas at pode no levar. Ento h que avaliar o resultado e voltar atrs, se for caso
disso. Este o verdadeiro caminho das investigaes e da demonstrao.
19
Investigaes e demonstrao
O tema geral do programa aponta os mtodos de demonstrao e o conceito de teorema
como assuntos a que deve ser dada bastante importncia. Parece-nos que o tema dos
complexos um ptimo contexto para o aluno praticar demonstraes formais de
propriedades geomtricas sem, no entanto, ter que recorrer s axiomticas da
geometria, extremamente elaboradas. Tentamos exemplificar nesta brochura, no captulo
Geometria e nmeros complexos, como se pode desenvolver pequenas organizaes
locais da geometria, e recorrer linguagem dos complexos para formalizar as
demonstraes.
A formalizao tem o perigo de esvaziar de significado aquilo que se demonstra,
reduzindo as demonstraes a simples exerccios de lgica. Uma forma de contrariar
esta tendncia associar as demonstraes realizao de pequenas investigaes,
em que sero os alunos a formular as conjecturas a demonstrar. Por outro lado, a
formalizao das demonstraes permite explorar e discutir com os alunos algumas
questes de lgica, que tambm fazem parte do tema geral do programa.
Questes de linguagem de notao
Ao estudarmos este assunto, uma das questes que se nos colocou foi o da linguagem e
das notaes a utilizar j que, surpreendentemente, encontrmos uma grande diversi -
dade, mesmo entre autores portugueses. Essa diversidade contraria a ideia de que a
linguagem matemtica universal.
Os nomes so convenes que, no caso dos nmeros complexos, no so consensuais.
Por exemplo:
Plano de Argand no utilizado nos livros de Bento de Jesus Caraa nem de Sebastio
e Silva, nem nos livros anglfonos que consultmos. Por razes histricas at lhe
poderamos chamar plano de Wessel.
Afixo tem significados diferentes para Sebastio e Silva
tal ponto ser chamado a imagem geomtrica (ou o afixo) de a+bi.
(Compndio de Matemtica, 1 vol., 2 tomo, p. 152)
20
e para outros autores portugueses e franceses
z = x + iy (x et y rels) est represent para le point M (x, y).
On dit que M est limage de z, que z est laffixe du point M ou du vecteur
u (x,y).
(Artigues, C. 1992, p. 28)
Alguns autores portugueses, como Bento de Jesus Caraa, e os autores anglfonos que
consultmos, nunca utilizam o termo afixo, ou outro qualquer equivalente.
A linguagem serve para as pessoas pensarem e comunicarem de forma mais clara e
menos ambgua possvel. Quanto mais os nomes estiverem associados aos seus
significados, mais claros ficam o raciocnio e a comunicao. Por isso, propomos a
utilizao de termos que associam os nomes aos seus significados:
plano complexo a prpria designao associa duas estruturas importantes: o plano
geomtrico e o corpo complexo;
representao geomtrica o ponto que representa o nmero complexo;
representao vectorial o vector que representa o nmero complexo;
representao algbrica ou cartesiana a expresso algbrica que representa o
nmero complexo e que est associada s coordenadas cartesianas do ponto;
representao trigonomtrica ou polar a expresso trigonomtrica que representa o
nmero complexo e que est associada s coordenadas polares do ponto;
Seria possvel ter ido ainda mais longe, no falando em representaes e no
distinguindo nmero, ponto e vector, no que respeita a designaes. Liang-shin Hahn
considera que um nmero complexo pode ser indiferentemente considerado como o
nmero z, o ponto z ou o vector z.
No que respeita s notaes em geometria, optmos por seguir a perspectiva de
Eduardo Veloso (1997), simplificando-as ao mximo quando no haja lugar a
ambiguidades. Por exemplo: segmento de recta AB, tringulo ABC, quadriltero ABCD,
etc. Em alguns casos, representamos pela mesma letra o nmero complexo e o ponto
que o representa. Assim, escrevemos para M, ponto mdio do segmento AB, M =
21
A + B
2
. claro para todos que nesta expresso a adio entre nmeros complexos e
no entre pontos.
Como veremos ao longo do desenvolvimento das actividades, a simplificao nas
notaes apoia-se nos isomorfismos existentes entre as vrias estruturas algbricas em
causa, e torna toda a escrita matemtica algbrica mais simples, sem qualquer perda de
rigor. O formalismo da linguagem matemtica no existe para complicar, apenas para
tornar a comunicao e o pensamento mais rigorosos.
Parece-nos interessante referir que h quem considere a designao nmeros
imaginrios, tantas vezes atribuda aos nmeros complexos, como uma designao
infeliz. Como temos uma tendncia natural para ligar os nomes aos sentidos j
conhecidos das palavras, e aprendemos as palavras imaginrio e nmero em contextos
totalmente diferentes dos que so usados pelos matemticos, os alunos podem ser
levados a pensar que estes nmeros no existem. A existncia destes nmeros tem
exactamente a mesma natureza que a existncia dos nmeros reais: uma construo
matemtica.
Sobre a tecnologia
Com agrado temos vindo a descobrir que o papel da tecnologia na explorao deste
assunto ultrapassa muito a utilizao da calculadora. Os programas de geometria
dinmica oferecem possibilidades de trabalho muito interessantes, que realam ainda
mais a conexo entre o plano e o corpo complexo. Ao longo destas actividades
apresentamos algumas situaes que tm todas as vantagens em ser exploradas em
ambientes de geometria dinmica.
possvel ir muito mais longe no trabalho com complexos em programas de geometria
dinmica, construindo ferramentas (scripts ou macros) que traduzem geometricamente
as operaes entre complexos. Este trabalho tem vindo ser desenvolvido por Eduardo
Veloso, em alguns cursos de formao de professores que tem realizado.
Sobre a organizao das actividades comentadas
22
Foi com todo este tipo de preocupaes que organizamos este texto, procurando
construir propostas de trabalho para os alunos que valorizem os aspectos que referimos.
Para alm destas, importante lembrar que este tema tem aspectos histricos muito
relevantes que podem proporcionar interessantes actividades de pesquisa.
As actividades no foram organizadas pela ordem pela qual podero ser propostas aos
alunos, mas sim por conexes fundamentais permitindo-nos identificar e clarificar
relaes e reflectir sobre as possibilidades didcticas de cada conexo. Para os
professores parece-nos importante que tenham ideias claras e precisas do que est a
ser tratado, para assim estruturarem um caminho a percorrer com os alunos. Para estes,
as ligaes com os outros temas da matemtica vo aparecendo medida que se
avana nesse caminho pelos complexos, numa perspectiva de esclarecimento mtuo
entre os nmeros complexos e os outros temas matemticos que lhe esto ligados.
Talvez por isso as trinta e seis actividades propostas possam parecer excessivas para o
nmero de aulas previstas. A verdade que, em alguns casos, as possibilidades de
explorao nos foram entusiasmando. Como professores tambm gostamos de estudar
e partilhar com os outros um pouco mais de matemtica, mesmo que no a possamos
partilhar toda com os nossos alunos.
Para aqueles que ficaram entusiasmados e curiosos pelos nmeros complexos h vrias
publicaes acessveis em portugus que podem ser consultadas. Ao longo do texto
fomos dando entradas a essas obras cuja leitura recomendamos. Com certeza que h
outras, e no podemos esquecer que agora h tambm o recurso Internet.








23
Nmeros complexos e sistemas de coordenadas
A leitura do texto de Bento de Jesus Caraa, sobre a histria dos nmeros complexos
(Caraa, 1998, p. 151-159), parece-nos ser a melhor forma de enquadrar as principais
consideraes sobre os nmeros complexos e a utilizao de sistemas de coordenadas.
Segundo o autor, os complexos, inventados no sculo XVI por Bombelli, s adquiriram
dignidade numrica logo que se conseguiu uma realizao visual dos nmeros
complexos, no fim do sculo XVIII. De facto, foi Caspar Wessel, em 1797, que props
pela primeira vez a representao geomtrica dos nmeros complexos, tal como hoje a
consideramos. A sua grande inspirao foi ter tomado expressamente um eixo para
lugar de imaginrios todos os complexos da forma 0 + bi, isto , todos os imaginrios
puros tm representao sobre o eixo Oy e, por consequncia, este eixo aparece aqui
como lugar dos imaginrios puros. (Caraa, 1998, p. 157)
A esta particularidade histrica acresce o facto de que logo a seguir a Wessel, Argand
(1806) e Gauss (1811) terem apresentado a mesma ideia de representao geomtrica
dos nmeros complexos. Do ponto de vista histrico, parece-nos que interessante
conhecer estes factos e ter uma compreenso global dos problemas que rodearam a
criao e desenvolvimento desta construo matemtica, e no apenas os nomes que
ficaram ligados a ela. Aspecto este que j questionmos na introduo deste texto,
quando propusemos a designao de Plano complexo em vez do habitual (entre ns)
Plano de Argand.
A utilizao de coordenadas uma ideia fundamental em matemtica, e nesta fase os
alunos j dominam as coordenadas cartesianas. A representao trigonomtrica dos
nmeros complexos mais no do que um caso particular de utilizao das coorde-
nadas polares. Nesse sentido parece-nos importante, como o prprio programa refere,
no nos referirmos apenas representao trigonomtrica dos nmeros complexos, e
introduzir a linguagem mais geral das coordenadas polares.
Pelas riqueza de relaes que permitem estabelecer e por serem familiares aos alunos,
os tringulos, os quadrilteros e os polgonos regulares em geral so um manancial de
ideias para construir actividades sobre coordenadas e sobre as vrias representaes
dos nmeros complexos.
24
Quadrados no plano complexo
O nmero complexo z = 2 cis
t
5
representa o vrtice de um quadrado com centro na
origem do referencial, no plano complexo.
Indica os complexos que representam os outros trs vrtices do quadrado, na forma
trigonomtrica e na forma algbrica.
Determina a medida do lado e a medida da diagonal do quadrado.
Dado um nmero complexo z = r cis u, representa na forma trigonomtrica os outros
trs complexos que com ele representam os vrtices de um quadrado com centro na
origem do referencial. Determina a medida do lado e a medida da diagonal do
quadrado.
Esta actividade adaptvel a outros quadrilteros, como rectngulos e losangos.







Obtm as coordenadas cartesianas dos pontos A a H, escolhendo para o referencial
a unidade mais conveniente.
Obtm as coordenadas polares dos pontos A a H.
Identifica, na forma algbrica, os nmeros complexos representados pelos pontos A
a H, no plano complexo da figura.
Identifica, na forma trigonomtrica, os nmeros complexos representados pelos
pontos A a H, no plano complexo da figura.
Um aspecto interessante na resoluo desta actividade a escolha da unidade.
Enquanto para as coordenadas cartesianas h duas hipteses igualmente convenientes,
A
B
C
D
H G
F E
y
x
O
Mudana de
coordenadas
25
o raio da circunferncia ou metade do lado do quadrado, para as coordenadas polares
s a primeira interessa. Para podermos trabalhar as mudanas entre as vrias
representaes do mesmo nmero complexo, convm escolher sempre a mesma
unidade ao longo de toda a actividade.
A figura ao lado pode constituir uma extenso desta
actividade, mas que levar a uma situao de algum
modo contrria, no que diz respeito ao problema da
escolha da unidade: duas boas escolhas para as
coordenadas polares, metade da diagonal do quadrado
maior ou metade do seu lado, mas s esta ltima para
as coordenadas cartesianas.

Tringulos e complexos








Em todas as situaes, o centro do tringulo a origem do referencial.
Todos os tringulos podem ser obtidos do tringulo ABC por uma rotao.
Caracteriza cada rotao.
Indica, na forma trigonomtrica, os nmeros complexos correspondentes aos
vrtices de cada um dos tringulos equilteros da figura.
Embora parea que h alguma repetio nesta actividade, estes quatro tringulos abrem
A
B
C
D
H G
F E
y
x
O
J
L K
G
H I
B
C
A
D
E
F
26
perspectivas interessantes para aprofundar as relaes entre a potenciao e a radicia-
o com complexos e as suas representaes geomtricas, como veremos a seguir.
Tringulos e potncias 1
Calcula o cubo de cada um dos nmeros complexos que representam os vrtices
dos tringulos da actividade anterior. O que observas?
O que observaste na questo anterior, pode ser generalizado
para um tringulo equiltero centrado na origem, mas sem nenhum vrtice sobre
os eixos?
para um tringulo no equiltero?
para um tringulo equiltero no centrado na origem?
O que se pretende que se tire a concluso que so iguais os cubos de trs nmeros
complexos com o mesmo mdulo e em que a diferena entre os seus argumentos de
2t
3
, ou seja, que correspondem a trs vrtices de um tringulo equiltero cujo centro a
origem do referencial.
Daqui pode comear a surgir a ideia que um nmero complexo tem trs razes cbicas.
E a partir dos mesmos tringulos iniciais tambm podemos explorar outras potncias.

Tringulos e potncias 2







Interpreta algebricamente e geometricamente os resultados obtidos.
Sem fazer qualquer clculo, obtm as potncias de expoente 6 dos nmeros
complexos correspondentes aos vrtices dos tringulos GHI e JKL.
Sobrepondo os referenciais com os tringulos ABC e
DEF da actividade Tringulos e complexos, obtemos os
vrtices de um hexgono regular.
Calcula a potncia de expoente 6 de cada um dos
nmeros complexos de A a F. Repara que podes
partir dos cubos que j calculaste anteriormente.
B
C
A
D
E
F
27
Se sobrepuseres os referenciais com os quatro tringulos da actividade Tringulos e
complexos, obtns os vrtices de um polgono regular. Qual? Qual o menor
expoente que d origem a potncias iguais para todos complexos que esto
representados pelos vrtices de A a L?
Grande parte do trabalho iniciado com tringulos equilteros, pode ser continuado para
qualquer polgono regular.

Polgonos e coordenadas
Escolhe referenciais para representar poligonos regulares de 3, 4, 5, n lados e
determina:



As coordenadas polares dos vrtices de cada polgono.
As coordenadas cartesianas dos vrtices de cada polgono.
A representao algbrica desses vrtices no plano complexo.
A representao trigonomtrica desses vrtices no plano complexo.
A ordem das questes desta actividade determinante na medida em que, num polgono
regular com centro na origem do referencial, h uma relao muito simples entre as
coordenadas polares dos vrtices desse polgono. Comear por obter as coordenadas
cartesianas seria desinteressante e complicado.
Esta actividade permite discutir a vantagem de trabalhar com coordenadas polares,
mesmo quando o objectivo obter as coordenadas cartesianas.
Para um polgono de n lados e escolhendo um referencial com origem no centro da
circunferncia circunscrita e unidade igual ao raio, as
coordenadas polares dos vrtices so
y
x
O
1
i
2t
10

28
(1, 0) (1,
2t
n
) (1, 2
2t
n
) (1, (n1)
2t
n
)
Ou, numa expresso geral
(1, k
2t
n
) k = 0, 1, , n1
A partir destas muito mais simples determinar as coordenadas cartesianas
\
|
.
|
cos (k
2t
n
), sen (k
2t
n
) k =1, 2, , n1
Os nmeros complexos obtidos
z
k
= cis (k
2t
n
) k =1, 2, , n1
no so mais que as n razes de ndice n da unidade, como se ver na actividade
seguinte.
A formulao da actividade dava-nos liberdade total para a escolha da unidade.
Relacionar esta unidade com o lado do polgono uma actividade de trigonometria como
a que propusemos na Brochura do 11 ano, na pgina 84.
Partimos de um vrtice no eixo real, com argumento 0 portanto, porque facilita muito a
expresso geral e os clculos envolvidos. Se tivssemos partido de um outro ponto, de
argumento o, os outros pontos teriam argumentos o+k
2t
n
.









29
Polgonos e potncias 1
Calcula as seguintes potncias dos complexos encontrados na actividade anterior:
O cubo de cada um dos complexos que representam os vrtices do tringulo.
A quarta potncia de cada um dos complexos que representam os vrtices do
quadrado.
A quinta potncia de cada um dos complexos que representam os vrtices do
pentgono.
A sexta potncia de cada um dos complexos que representam os vrtices do
hexgono.

Generaliza as concluses a que chegaste para um polgono regular de n lados, e
demonstra-as.
Esta explorao do significado geomtrico da potenciao conduz facilmente ideia de
que um nmero complexo tem n razes de ndice n, e tambm obteno das frmulas
de De Moivre. A actividade seguinte uma extenso desta e pode ser orientada para
essas concluses.

Polgonos e potncias 2
z
0
= r cis u representa um vrtice do polgono regular de n lados com centro na origem
do referencial.
Indica os nmeros complexos que representam os outros vrtices deste polgono.
Qual o menor expoente que d origem a potncias iguais para todos os complexos
que representam os vrtices?
Este conjunto de actividades foi pensado para trabalhar a conexo entre nmeros
complexos e pontos do plano. Esta a primeira de uma srie de conexes que
possvel estabelecer entre a geometria plana e os nmeros complexos. Infelizmente esta
ligao inicial no tem paralelo na geometria tridimensional. Segundo Gardner (pg. 262)
30
Depois da descoberta da interpretao geomtrica dos nmeros complexos,
os matemticos imediatamente questionaram se este conceito bsico podia
ser generalizado a trs dimenses, isto , a pontos no espao, ou,
formulado de outro modo, a ternos ordenados. A resposta no, sem uma
modificao radical das leis da aritmtica. Como Eric Temple Bell uma vez
afirmou: o campo complexo o fim do caminho. Foi o matemtico irlands
William Rowan Hamilton que fez a primeira incurso pelos nmeros
hipercomplexos quando inventou os quaternies: nmeros com quatro
componentes que combinam um real com trs imaginrios.
Para os interessados em saber alguma coisa sobre quaternies, sugerimos a leitura de
O Livro dos Nmeros, de J. H. Conway e R. K. Guy.















31
Clculo com nmeros complexos
semelhana do que se passa com o clculo com nmeros reais, a calculadora veio
trazer ao clculo com nmeros complexos uma srie de novas questes e novas
possibilidades. Hoje, as calculadoras grficas fazem todo o clculo com estes nmeros,
na forma algbrica ou na forma trigonomtrica. Na medida em que a utilizao destas
calculadoras assumida pelo programa, faz todo o sentido tirar o mximo partido destes
instrumentos.
Em nosso entender, e no que respeita ao clculo, podemos libertar-nos dos exerccios
de treino, rotineiros e repetitivos, para enfatizar outro tipo de aprendizagens. Pensamos
que o clculo deve ser trabalhado com o mximo de ligaes e tendo como objectivos:
a compreenso das operaes e das relaes entre elas;
a percepo progressiva da estrutura do corpo complexo e o conhecimento da sua evoluo
histrica;
o controlo crtico dos instrumentos tecnolgicos, que depende do desenvolvimento da
estimao utilizando as representaes geomtricas;
a investigao e a demonstrao;
as conexes com a geometria plana, o clculo vectorial, as transformaes geomtricas, etc.
As actividades que vamos apresentar foram construdas com base nestas preocupaes,
embora naturalmente valorizem mais uns aspectos do que outros.
Gostaramos ainda de chamar a ateno para o facto da compreenso das operaes
ter que se construir mais com base na coerncia interna, j que no h aplicaes
elementares exteriores matemtica que dem significados a estes nmeros e s
operaes entre eles. Essa coerncia interna uma das caractersticas de qualquer
teoria matemtica, e neste caso vai familiarizando os alunos com a estrutura do corpo
complexo.


32
Operaes com complexos
Considera z = 3 i e w = 2 cis
4t
5
.
Obtm dois nmeros complexos cuja soma seja z.
Obtm dois nmeros complexos cuja diferena seja z.
Obtm dois nmeros complexos cujo produto seja w.
Obtm dois nmeros complexos cujo quociente seja w.
Cada questo muito aberta pelo facto de ter uma infinidade de solues, mas permite a
autonomia dos alunos na validao dos resultados obtidos, que um hbito muito
importante a desenvolver, e de que muitas vezes nos esquecemos.
Um aspecto interessante desta actividade a possibilidade de vrias extenses,
introduzindo restries para os nmeros pedidos. Por exemplo, obter dois nmeros com
igual mdulo, dois nmeros em quadrantes diferentes, dois nmeros no mesmo
quadrante que o nmero dado, etc.

Aprender a trabalhar com a calculadora
As calculadoras grficas TI-83 permitem o clculo com nmeros complexos quando em
MODE optamos por a+bi (representao algbrica) ou por re^ui. Esta ltima
equivalente representao na forma trigonomtrica, j que se pode demonstrar que:
e
oi
= cos o + i sen o
Estas duas opes permitem-nos converter nmeros da forma algbrica na forma
trigonomtrica e vice-versa.
Utiliza a calculadora para converter na forma algbrica os seguintes complexos, e
confirma geometricamente os resultados obtidos:
z
1
= cis
t
2
z
2
=2 cis (
t
2
) z
3
=3 cis t z
4
=3 cis
2t
3

Utiliza a calculadora para converter na forma trigonomtrica os seguintes complexos,
e confirma geometricamente os resultados obtidos:
33
z
1
= 5i z
2
= 2 5 i z
3
= 3 + i
Resolve os dois exerccios anteriores, mas sem alterar o modo em que ests a
trabalhar. Usa a tecla MATH e em CPX escolhe 6:)Rect ou 7:)Polar, conforme as
situaes.
Para alm do aspecto tcnico, que tanto pode ser trabalhado com esta proposta como
com outra qualquer, esta actividade permite discutir com os alunos questes de notao.
um bom hbito percebermos que as notaes, embora necessrias no so nicas
nem definitivas, e tm sempre uma razo de ser.
Neste caso, a notao r.e
iu
da calculadora, est relacionada com o facto de ao produto
de nmeros complexos corresponder a soma dos seus argumentos, assim como ao
produto de potncias com a mesma base corresponde a soma de expoentes. Deste
modo, a multiplicao de complexos nesta forma
r.e
io
s.e
i|
= (rs) e
i(o+|)

coerente com as regras para a multiplicao de potncias com a mesma base.

Potncias de i
Calcula os nove primeiros termos da sucesso das potncias de expoente natural de i e
representa no plano complexo os nmeros que obtiveste.
Estabelece uma regra para obter o valor de qualquer potncia de i, e justifica-a com
base na interpretao geomtrica que fizeste.
Parte desta actividade quase tradicional, o que nos parece de salientar a conexo
com a geometria e as vantagens de interpretao que da podemos tirar.
y
x
O
i
4k
= 1 i
4k+2
= 1
i
4k+1
= i
i
4k+3
= i
34
Reais ou imaginrios?
Entre as afirmaes seguintes, h umas verdadeiras e outras falsas. Apresenta
argumentos que validem as que so verdadeiras e contra-exemplos para mostrar a
falsidade das outras.
A soma de dois nmeros complexos no reais pode ser um nmero real.
H nmeros complexos no imaginrios puros cuja soma um nmero imaginrio
puro.
O produto de dois nmeros complexos no reais pode ser um nmero real.
H nmeros complexos no imaginrios puros cujo produto um nmero imaginrio
puro.
Uma potncia de um nmero complexo que no real, sempre um nmero
complexo que no real.

Este tipo de proposta de trabalho, em que se pede aos alunos que comentem
afirmaes, permite muitas exploraes e tipos de justificao. Nestes casos h uma
grande valorizao do papel do contra-exemplo na refutao de uma conjectura. Esta
lista de afirmaes serve apenas de exemplo para muitas outras que se podem construir,
tanto pelo professor como pelos alunos, e podem ir sendo discutidas ao longo de todo o
trabalho com nmeros complexos, medida que vo sendo introduzidas e exploradas as
vrias operaes. No demais insistir na faceta experimental, com recurso
calculadora ou no, e na sua interpretao geomtrica.

Investigar com a calculadora
Podes utilizar a calculadora para fazeres experincias com nmeros complexos, que te
permitam induzir conjecturas. A interpretao geomtrica pode dar uma boa ajuda
compreenso das relaes envolvidas, mas a demonstrao essencial para termos a
certeza de uma propriedade. Faz experincias, interpreta geometricamente e, quando for
caso disso, formula conjecturas e demonstra-as, acerca de:
soma de nmeros complexos conjugados;
35
soma de nmeros complexos simtricos;
mdulo da soma de dois nmeros complexos;
argumento da soma de dois nmeros complexos;
diferena de nmeros complexos conjugados;
diferena de nmeros complexos simtricos;
mdulo do produto de dois nmeros complexos;
argumento do produto de dois nmeros complexos;
produto de nmeros complexos conjugados;
mdulo do quociente de dois nmeros complexos;
argumento do quociente de dois nmeros complexos;
quociente de nmeros complexos conjugados;

Queremos salientar a dimenso experimental desta actividade, explicitamente expressa
quando se diz faz experincias. Preferimos esta formulao tradicional em que
diramos logo Prova que a soma de dois nmeros complexos conjugados sempre um
nmero real, por exemplo.
H aqui tambm a inteno de dar a possibilidade de surgirem outras propriedades,
mesmo que menos poderosas, mas igualmente vlidas, e descobertas pelos alunos.
Embora se esteja j numa fase avanada da escolaridade, natural que as relaes
comecem a ser formuladas numa linguagem natural, e isso deve ser incentivado. Mas
esta uma boa oportunidade para se caminhar para a formalizao, para utilizao de
termos como teorema, hiptese, tese e demonstrao e para o recurso linguagem
simblica.
Esta actividade est construda volta dos nmeros conjugados e simtricos, mas
possvel encontrar outras caractersticas interessantes para explorao. Por exemplo, os
nmeros complexos com mdulo 1, ou as razes de determinado ndice de um mesmo
nmero, que constituem conjuntos fechados para a multiplicao; o conjunto de todos os
complexos com um mesmo argumento, que constitui um conjunto fechado para a adio.
Novamente, a interpretao geomtrica ser uma ferramenta fundamental para a
compreenso destas relaes.
36
A actividade que propomos em seguida para ser resolvida sem o recurso frmula de
De Moivre para o clculo das razes. A forma como est estruturada, apelando
observao das regularidades dos mdulos e dos argumentos das razes, vai permitir
explor-la antes do conhecimento da frmula de De Moivre, mas tendo j em vista o seu
estabelecimento.
Razes de 1
Recorda que 1 tem duas razes quadradas; 1 e 1. Obtm o mdulo e o argumento
de cada uma destas razes.
Verifica que os seguintes nmeros so razes cbicas de 1:
1
1 + i 3
2

1 i 3
2

Obtm o mdulo e o argumento de cada uma destas razes.
Verifica que os seguintes nmeros so razes quartas de 1
1 i 1 i
Obtm o mdulo e o argumento de cada uma destas razes.
Investiga se 1 tem cinco razes quintas (de ordem cinco).
Generaliza as concluses anteriores para as razes de ndice n de 1.
Esta observao sistemtica das diversas razes de um nmero tambm um caminho
para o reconhecimento, que a frmula de De Moivre vir formalizar, de que todo o
nmero complexo tem n razes de ndice n. Esta ideia considerada por Bento de Jesus
Caraa (pg. 158 e 159) como O ltimo reduto da impossibilidade. Na discusso das
razes de ndice n, ou de ordem n como outros autores sugerem, surgem os nmeros
ciclotmicos de De Moivre, como apresentado por Conway (pg. 243 e seguintes).




37
Outras razes
Com base nas concluses da investigao sobre razes de 1, faz uma investigao para:
as razes de 1;
as razes de outros nmeros reais;
38
Resolver equaes
Em C, a radiciao sempre possvel e por isso qualquer equao do 2 grau (de
coeficientes reais ou complexos) tem sempre duas solues complexas, que podem ser
obtidas atravs da frmula resolvente. Podes introduzir um programa na calculadora que
calcule as duas solues complexas de uma equao da forma
ax
2
+ bx + c = 0







Introduz o programa e depois testa-o resolvendo as equaes seguintes.
x
2
4x + 29 = 0
x
2
10x + 26 = 0
x
2
+ 2x + 3 = 0
x
2
= x1
2x
2
+ 5x + 4 = 0
Este programa foi construdo por Jos Paulo Viana para a calculadora grfica TI-83, mas
facilmente adaptvel a outra calculadora do mesmo tipo.



:Disp "AX+BX+C=0"
:Input "A=?",A
:Input "B=?",B
:Input "C=?",C
:a+bi
:B-4ACD
:Disp "DISCRIMINANTE=",D
:Fix 4
:Disp "X1=",(B+(D))/(2A)Frac
:Disp "X2=",(B-(D))/(2A)Frac
:Real
:Float
39
Os nmeros complexos como vectores
No trabalho com nmeros complexos, uma das ideias mais simples e com mais
potencialidades a da representao dos nmeros complexos por vectores. simples
porque a cada nmero complexo a +bi est associado o vector de coordenadas (a, b).
As potencialidades so vrias e em perspectivas diferentes. Por um lado, a
representao visual dos complexos, a sua comparao, a interpretao das operaes
com complexos em termos de transformaes geomtricas ou operaes com vectores.
Por outro lado, o poder do clculo algbrico com complexos para resolver problemas
geomtricos ou de natureza vectorial. Em nossa opinio, estas potencialidades so
exploradas atravs de um trabalho sistemtico de interpretao vectorial dos complexos,
das suas relaes, e das operaes que se realizam com eles.
As duas representaes numricas de um nmero complexo, algbrica e trigonomtrica,
tm leituras diferentes na interpretao vectorial. A forma algbrica corresponde
imediatamente s coordenadas do vector, a forma trigonomtrica d informao directa
da norma, da direco e do sentido do vector.











40
Mdulos, argumentos e vectores
Representa geometricamente os vectores associados aos seguintes nmeros
complexos:
z
1
= 5i z
2
= 4 + 3i z
3
= 3 4i z
4
= cis
t
6
z
5
= 5 cis
t
6
z
6
= 5 cis(
5t
6

)
Que relao existe entre o vector associado e o mdulo e o argumento de cada
nmero complexo?
Representa outros vectores com a norma igual do vector associado a z
1
, e indica
os nmeros correspondentes aos vectores que representaste. Escreve uma
expresso geral para todos os nmeros complexos associados a vectores com essa
norma.
Representa outros vectores com argumento igual ao do vector associado a z
4
, e
indica os nmeros correspondentes aos vectores que representaste. Escreve uma
expresso geral para todos os nmeros complexos associados a vectores com esse
argumento.
A ideia base desta actividade trabalhar as relaes entre os parmetros que aparecem
nos nmeros complexos mdulo e argumento e o seu significado na interpretao
vectorial. O facto de ser pedida uma expresso geral uma forma de iniciar logo a
abordagem de condies em C.
Os nmeros escolhidos para a actividade tm isso em conta, e fcil obter rapidamente
outros nmeros que verifiquem a mesma condio. Para z
1
, z
2
, z
3
, z
5
e z
6
temos |z| = 5;
para z
4
e z
5
temos arg(z) =
t
6
.
Conhecidas estas relaes, h todo um tipo de questes que interessa colocar,
relacionadas com transformaes geomtricas ver, por exemplo, a actividade
Simtricos e Conjugados, na pgina 47.




41
Adio de nmeros complexos
Interpreta vectorialmente, isto , traduz em termos de operaes com vectores:
a adio de dois nmeros complexos quaisquer, dados na forma algbrica;
a subtraco de dois nmeros complexos quaisquer, dados na forma algbrica.
Consideramos como familiares aos alunos, porque foram tratadas em anos anteriores,
as operaes elementares com vectores, nomeadamente a adio e a subtraco de
vectores.

y
x
O
1
i
z
1

z
2

a
b
c
d
z
1
+ z
2

a+c
b+d
42
A adio de nmeros complexos corresponde, muito convenientemente, adio de
vectores, e a subtraco de nmeros complexos adio de um vector com o seu
simtrico.









Multiplicao de nmeros complexos
Considera um nmero complexo z qualquer.
Representa esse nmero no plano complexo e representa tambm o seu produto por
2 1,5 1 3
1
2

Interpreta vectorialmente o produto de um nmero complexo por um nmero real.
Representa agora produto de z por
i 2i 3i i 3i
i
2

Interpreta vectorialmente o produto de um nmero complexo por um imaginrio puro.
Representa tambm o produto de z por
2 + i 2 + 2i 1+ i 1 3i
Interpreta vectorialmente o produto de um nmero complexo z = a + bi por um
nmero complexo c + di.
y
x
O
1
i
z
1

z
2

a
b
c
d
z
2

z
1
z
2

-c
bd
ac
-d
43
Esta actividade pretende fazer a interpretao vectorial do produto de um nmero
complexo z = a + bi por um nmero complexo c + di, sabendo que esta operao no
corresponde a nenhuma operao conhecida entre vectores. A prpria formulao da
actividade est feita de modo a que se considere a representao vectorial do primeiro
complexo a + bi e que se encare o segundo nmero complexo c + di como um operador,
sem lhe fazer corresponder nenhum vector. Tambm tivemos o cuidado de formular a
actividade de modo que o aluno tanto possa optar por comear com um caso particular e
acabe por generalizar as interpretaes que fizer, como possa comear logo a pensar
sobre um caso geral.
O produto de um complexo a + bi por um nmero real qualquer k corresponde ao
produto do vector (a, b) por esse nmero real k.
O produto de um complexo a +bi por i corresponde rotao de 90
o
do vector (a, b),
obtendo-se o vector (b, a).
1

O produto de um complexo a + bi por um imaginrio puro ki combina as duas
operaes anteriores: o produto do vector (a, b) por k, seguida duma rotao de 90
o
do
vector obtido.






O produto de um complexo a +bi pelo complexo c +di equivalente a
c (a +bi) +di (a +bi)

1 Achamos pertinente chamar a ateno para o facto desta interpretao supor um trabalho paralelo sobre as
transformaes geomtricas correspondentes. Ver seco sobre Nmeros complexos e transformaes
geomtricas.

y
x O 1
i
z
ki z
kz
44
por isso, vectorialmente corresponde a:








1. determinar o produto do vector
(a, b) pelo nmero real c;
2. determinar o produto do vector
(a, b) pelo nmero real d e
fazer uma rotao de 90
o
ao
vector obtido;








3. adicionar os vectores obtidos em 1. e 2.

A multiplicao de complexos na forma algbrica tem, assim, uma interpretao vectorial
que complicada, e nem por isso de grande utilidade. Veremos adiante que a multipli -
y
x
O 1
i
a+bi
c(a+bi)
di(a+bi)
(a+bi).(c+di)
y
x
O 1
i
a+bi
c(a+bi)
y
x
O 1
i
a+bi
d(a+bi)
di(a+bi)
45
cao na forma trigonomtrica, e a sua interpretao em termos de transformaes
geomtricas, uma das operaes que d aos complexos um carcter nico de
ferramenta poderosa para a resoluo de problemas de geometria plana.

Quocientes e vectores
O quociente entre dois nmeros complexos um nmero real.
Que relao existe entre os vectores que lhes correspondem?
O quociente entre dois nmeros complexos um nmero imaginrio puro.
Que relao existe entre os vectores que lhes correspondem?
Se olharmos para a diviso de complexos como a operao inversa da multiplicao, a
resposta a estas questes praticamente imediata e consequncia das concluses da
actividade anterior.
z
w
= k, com keR
equivalente a
z = k w, com keR
o que significa que os vectores correspondentes a z e a w tm a mesma direco, o
mesmo sentido quando k > 0, e a norma de z igual |k| vezes a norma de w. O facto de
o quociente ser real garante-nos o paralelismo (ou colinearidade) dos dois vectores, e
isso que interessa realar.
Do mesmo modo
z
w
= ki, com keR
equivalente a
z = ki w, com keR
o que significa que os vectores correspondentes a z e a w tm direces
perpendiculares.
Nesta discusso permanente a articulao entre dois tipos de questes: qual a
relao entre dois vectores? Qual a transformao geomtrica que transforma um no
outro?
46

Nmeros complexos e transformaes geomtricas
A noo de transformao, que acrescenta uma perspectiva funcional
geometria, passou a constituir um meio poderoso de estudo, de organizao
dos conceitos geomtricos e mesmo de definio de geometria. A
capacidade de interpretao e resoluo de problemas em geometria
aumentou consideravelmente quando passmos a dispor do mtodo das
transformaes geomtricas.
Eduardo Veloso, Geometria Temas Actuais, p.60
Por estas razes apontadas por Eduardo Veloso, as transformaes geomtricas
mereceriam, a nosso ver, um tratamento mais profundo e mais significativo nos
programas de Matemtica dos vrios ciclos. No aqui o lugar para discutir esta
questo, mas pertinente levant-la para promover alguma reflexo no sentido de
termos uma perspectiva crtica do currculo de Matemtica na sua globalidade, e de
orientarmos decises sobre as nossas prticas de acordo com essa perspectiva. Por
exemplo, no desenvolvimento do tema Nmeros Complexos, est nas mos do professor
optar por dar mais peso prtica do clculo ou, pelo contrrio, valorizar as conexes
com a geometria e o trabalho com as transformaes geomtricas. Subjacentes a estas
duas opes h valorizaes diferentes dos pr-requisitos que os alunos devem ter. Em
nosso entender, as duas opes referidas correspondem a posies bastante diferentes
sobre a natureza da matemtica e sobre o papel da matemtica na formao dos alunos.
Embora as transformaes geomtricas sejam um assunto que foi tratado s no 3 ciclo
e, aparentemente esquecido quando os alunos chegam ao 12 ano, muitos aspectos da
sua linguagem tm sido trabalhados nas funes, quando se investiga a influncia de
alguns parmetros nos grficos. Os nmeros complexos proporcionam mais uma
oportunidade para trabalhar as transformaes geomtricas e a ideia de simetria, to
centrais em matemtica, e at para esclarecer algumas coisas relacionadas com elas.
47
Simultaneamente, as transformaes geomtricas so indispensveis para uma boa
compreenso destes nmeros e das suas utilizaes dentro da matemtica.
Por todas estas razes, e no que respeita s transformaes geomtricas, parece-nos
oportuno comear por sistematizar algumas ideias fundamentais, esclarecer aspectos de
linguagem e estabelecer as conexes teis, sem deixar de apelar consulta de
bibliografia adequada.
Sobre as transformaes geomtricas
As transformaes geomtricas que vo ter interesse no tratamento dos complexos so
as isometrias mais comuns translao, rotao e reflexo e as homotetias. Todas
elas so bijeces do plano sobre si mesmo, sendo que as isometrias preservam as
distncias enquanto as homotetias apenas preservam as razes entre as distncias.
Apresentamos as definies de algumas transformaes, quase sempre segundo
Eduardo Veloso (Veloso, 1998, pg.72 e seguintes):
Translao dado um vector v

, chama-se translao definida pelo vector v

a
transformao T, de R
2
sobre si mesmo, tal que, qualquer que seja o ponto A de R
2
se
tem T(A) = A + v

.
A translao inversa de T a translao definida pelo vector v

.
Rotao dado um ponto O e um ngulo o, chama-se rotao de centro O e amplitude
o a transformao T, de R
2
sobre si mesmo, tal que, se A for um ponto qualquer de R
2
e
que A = T(A), O ' A AO = e a amplitude do Z AOA igual a o.
A transformao inversa da rotao T (de centro O e amplitude o) a rotao de centro
O e amplitude -o.
Reflexo ou simetria axial dada uma recta e, chama-se reflexo de eixo e a
transformao T, de R
2
sobre si mesmo, tal que, qualquer que seja o ponto A de R
2
, a
mediatriz do segmento AA, com A = T(A), a recta e.
A inversa de uma reflexo ela prpria.
48
Meia-volta (simetria central) dado um ponto O de R
2
, chama-se meia-volta de centro O
a rotao de 180
o
em torno de O.
A inversa de uma meia-volta ela prpria.
Homotetia dado um nmero real r e um ponto O de R
2
, chama-se homotetia de razo r
e centro O a transformao T, de R
2
sobre si mesmo, tal que, se A for um ponto qualquer
de R
2
, OA r ' OA = , com A = T(A).
A transformao inversa da homotetia de centro O e razo r a homotetia com o mesmo
centro O e razo
1
r
.
Uma homotetia de razo positiva tambm se chama dilao.
importante notar algumas diferenas na linguagem, relativamente que herdmos da
Matemtica Moderna. As transformaes que antes se designavam por simetrias,
chamam-se agora reflexo (simetria axial) e meia-volta (simetria central); a mudana tem
a ver com o facto de simetria ser hoje um conceito muito mais lato que importa no
confundir com aquelas transformaes geomtricas em particular. Alm disso,
aproximamo-nos assim muito mais dos termos utilizados em ingls e em francs. O
interesse do termo dilao tem a ver com os programas de geometria dinmica, que
utilizam esta transformao geomtrica e no a homotetia.
Operaes com complexos e transformaes geomtricas
Em muitas situaes, as transformaes geomtricas aparecem como um instrumento
til interpretao de relaes entre nmeros complexos, mesmo que no seja explcita
a necessidade de os representar geometricamente.
Simtricos e conjugados
Que relao existe entre os mdulos e entre os argumentos de dois nmeros
complexos conjugados a +bi e a bi?
Que relao existe entre os mdulos e entre os argumentos de dois nmeros
complexos simtricos a +bi e a bi?
49
Que relao existe entre os mdulos e entre os argumentos de um nmero
complexo e do simtrico do seu conjugado?
Qualquer a figura cujos vrtices so as representaes geomtricas dos nmeros
a +bi, a bi, a +bi e a bi?
Estas questes devem ser colocadas primeiro para alguns casos particulares e deixar
que sejam os alunos a generalizar as concluses. Uma abordagem puramente algbrica
das trs primeiras questes reduz-se a uma manipulao simblica, sem qualquer
significado. Abord-las atravs de uma interpretao geomtrica proporciona-nos
imagens significativas que nos ajudam a compreender as relaes envolvidas. No caso
da primeira questo, mudar o sinal da parte imaginria traduz-se na reflexo
relativamente ao eixo real, e mostra-nos imediatamente que os argumentos so tambm
simtricos, que os mdulos so iguais e que estas relaes so vlidas para qualquer
complexo.
Depois de ver, no verdadeiro sentido desta palavra, estas relaes, a abordagem
algbrica pode ser trabalhada para ampliar a compreenso. E isto porque tambm
consideramos que a abordagem algbrica necessria e permite ir muito mais longe, se
tiver sido construda numa base de significados diversos.


Rectngulos especiais
Sendo z = a +bi, investiga a relao que deve existir entre a e b para que a figura cujos
vrtices so as representaes geomtricas dos nmeros z, z , z e z seja:
um quadrado
x
O
1
i
y
z
z
z
z
50
um rectngulo em que uma das dimenses o dobro da outra
um rectngulo de ouro
um rectngulo de rea k
um rectngulo de permetro p
Esta actividade uma extenso da anterior, que refora a ligao entre simetrias nos
nmeros complexos e simetrias nas figuras.

Reflexes e meias-voltas
Representa no plano complexo o nmero z = 3 + 4i, e os pontos simtricos deste
relativamente a cada um dos eixos e origem do referencial. Escreve na forma
algbrica e na forma trigonomtrica os nmeros complexos correspondentes a todos
os pontos representados.
As transformaes geomtricas operadas reflexo segundo Ox, reflexo segundo
Oy, e meia-volta com centro na origem correspondem a relaes entre nmeros
complexos. Identifica essas relaes, identificando tambm as relaes respectivas
entre as partes reais, as partes imaginrias, os mdulos e os argumentos.
Generaliza as concluses da questo anterior a qualquer complexo da forma
z = a + bi = r (cos u + i sen u)..
Uma forma sinttica e til de organizar as concluses desta actividade :
Reflexo segundo Ox conjugado
Re z = Re z
Im z = Im z
|z | = |z|
arg z = arg z

Reflexo segundo Oy simtrico do conjugado
P' (a, -b)
y
x
O

i
P (a, b)
r
r
u
-u
y
P' (-a, b)
x
O

P (a, b)
r
r
u
t-u
51
Re (-z ) = Re z
Im (-z ) = Im z
|-z | = |z|
arg (-z ) = t arg z

Meia-volta com centro em O simtrico
Re (-z) = Re z
Im (-z) = Im z
|-z| = |z|
arg (-z) = arg z t



Transformaes com i
Representa no plano complexo o tringulo ABC cujos vrtices correspondem aos
nmeros complexos
z
A
= 3 + 4i z
B
= 1 + 2i z
C
= 5 + i
Representa, no mesmo referencial, o tringulo ABC, cujos vrtices correspondem
aos seus produtos por i:
i z
A
i z
B
i z
C

Existe alguma isometria entre o tringulo ABC e o tringulo ABC?
Escreve na forma algbrica e na forma trigonomtrica os nmeros complexos
correspondentes aos pontos representados e compara a de cada nmero com a do
seu produto por i.
Generaliza as concluses da questo anterior ao produto por i de qualquer complexo
da forma z = a + bi = r (cos u + i sen u).
Faz um estudo anlogo ao anterior para o quociente por i de qualquer complexo da
forma z = a + bi = r (cos u + i sen u).
y
P' (-a, -b)
x
O

P (a, b)
r
r
u
u-t
52
Apesar de reconhecermos que abreviar (cos u + i sen u) utilizando cis u pode ser til na medida em
que poupa tempo e escrita, chamamos a ateno para o facto de a abreviatura fazer perder o
significado da expresso, to importante quando se pe o foco na interpretao geomtrica. No se
deve adoptar a expresso cis u e nunca
mais retomar a que lhe deu origem e
que significativa.


z
A
= i z
A
= 4 + 3 i
z
B
= i z
B
= 2 + i
z
C
= i z
A
= 1 + 5 i



A figura sugere logo uma rotao de centro em O e amplitude 90
o
, mas preciso provar
que essa a isometria que transforma o tringulo ABC no ABC. De facto, o produto por
i faz trocar a parte real com a parte imaginria, trocando o sinal de uma delas, o que em
termos de coordenadas de vectores, significa que OA e ' OA so perpendiculares e
tm a mesma norma, e o mesmo se pode afirmar para os outros pares de vectores.
Trabalhmos na forma algbrica e na representao vectorial correspondente. Mas se
trabalharmos com os nmeros na forma trigonomtrica, mesmo com valores
aproximados dos argumentos, chegamos exactamente mesma concluso:
z
A
= 5 cis 0,927 z
A
= 5 cis 2,498 2,498 0,927 = 1,571
z
B
= 5 cis 1,107 z
B
= 5 cis 2,678
2,678 1,107 = 1,571
z
C
= 26 cis 0,197 z
C
= 26 cis 1,768
1,768 0,197 = 1,571
Podemos observar que os mdulos se mantm e os argumentos aumentam sempre cerca de 1,571
radianos, ou seja
t
2
.
Duma maneira geral, se z
P
= a + b i ento i z
P
= b + a i
y
x
O
1
i
A
B
C
B'
A'
C'
53
o que significa que os vectores OP (a, b) e ' OP (b, a), so perpendiculares e com a mesma
norma.
Se z
P
= r cis u ento i z
P
= (cis
t
2
) (r cis u) = r cis (u +
t
2
).
Donde se conclui que operao produto por i corresponde a transformao geomtrica rotao
de centro na origem e amplitude
t
2
.
Se tivermos em ateno que a diviso a operao inversa da multiplicao, e que a
transformao inversa da rotao de centro O e amplitude o a rotao de centro O e
amplitude -o, conclumos imediatamente que operao diviso por i corresponde a
transformao geomtrica rotao de centro na origem e amplitude
t
2
.

Interpretaes geomtricas
Num mesmo referencial representa z, z , z, z , iz,
z
i
, iz ,
z
i
.
A partir da figura obtida pode concluir-se que iz e
z
i
so nmeros simtricos. Com
base nas transformaes geomtricas, interpreta e valida esta observao.
A partir da figura estabelece outras relaes deste tipo e valida-as interpretando-as
com base nas transformaes geomtricas.
Estas situaes ganham bastante com a
interpretao geomtrica, mas tambm
podem ser demonstradas
algebricamente de modo muito
acessvel. Consideramos que devem ser
exploradas em vrias perspectivas,
porque a interpretao geomtrica
mais rica em significados e a
demonstrao algbrica mais rigorosa
e formal.
y
x O
1
i
z
z -z
-z
iz iz
z
i

z
i

54
Lugar geomtrico
Quais so conjuntos de pontos do plano complexo que verificam as condies:
i z = z
z
i
= z
Para que o ponto que se obtm por rotao de 90
o
seja o simtrico relativo ao eixo real, preciso
que o ponto original esteja numa recta que faz 45
o
com o eixo real. Por isso o conjunto de pontos
que verificam a primeira equao a bissectriz dos quadrantes mpares.
Analogamente se chegaria concluso que os pontos da bissectriz dos quadrantes mpares so os
que verificam a segunda condio.
Seria interessante desenvolver bastante mais as conexes entre operaes em C e
transformaes geomtricas, porm o programa no aponta para isso. Para o seu
aprofundamento sugerimos a leitura das pginas 323 a 326 do livro Geometria Temas
Actuais (Veloso, 1998). De qualquer forma, consideramos pertinente fazer um
quadro-resumo das operaes com complexos e das correspondentes transformaes
geomtricas, at porque a compreenso destas relaes pode vir a mostrar-se muito til
na interpretao das condies em C.
Convm notar previamente que as operaes com complexos tm naturezas diferentes
umas so operaes binrias e outras operaes unrias. Para as traduzir como
transformaes geomtricas, elas tm que ser todas interpretadas como operaes
unrias ou operadores.
Por exemplo, na adio de dois complexos z e w, um deles ser interpretado como o
ponto que se vai transformar e o outro como o vector que define a translao.
A adio como operao binria uma funo que a cada par de C
2
faz corresponder
um elemento de C:
(z, w) z+w
Mas as transformaes geomtricas so aplicaes do plano complexo no plano
complexo, por isso interpretamos a adio com w como uma operao unria
z z+w
em que w define a operao. Traduzindo para a linguagem das transformaes, w o
vector que define a translao, aplicada num ponto z do plano complexo.
55
Operaes em C
Transformaes
geomtricas
Conjugado de um nmero complexo
z z
Reflexo segundo o eixo real
Simtrico de um nmero complexo
z z
Meia- volta de centro O
Adio de um nmero complexo com w e C
z z + w
Translao segundo w


Multiplicao de um nmero complexo por k e R
z k z
Homotetia de centro O e razo k
Multiplicao de um nmero complexo por cis u e C
z z cis u
Rotao de centro O e amplitude u
Estas cinco operaes bsicas so suficientes para interpretar geometricamente todas
as operaes com complexos com que precisamos de trabalhar. Basta interpretar
algumas operaes como inversas de alguma destas, e recorrer transformao
geomtrica inversa, e outras como compostas de vrias operaes e recorrer
composta das transformaes geomtricas correspondentes.
Por exemplo, a diviso de um nmero complexo por cis u corresponde rotao de
centro O e amplitude -u. A multiplicao de um nmero complexo por w = r cis u, que a
composta de multiplicao de um nmero complexo por r e multiplicao de um nmero
complexo por cis u, corresponde homotetia de centro O e razo r seguida de rotao
de centro O e amplitude u. A estas transformaes, compostas de dilao com rotao,
chama Conway um twirl (em portugus, toro) (Conway, p.231).




56
Geometria e nmeros complexos
Os nmeros complexos, e as operaes entre eles, traduzem pontos, vectores e
transformaes geomtricas. So por isso um elemento unificador das linguagens e dos
processos geomtricos, e ao mesmo tempo facilitador, na medida em que o clculo
algbrico muito simples e poderoso.
Um nmero complexo pode ser um nmero, um ponto ou um vector; operar com
nmeros complexos to fcil como operar com outros nmeros quaisquer e pode
traduzir operaes com vectores ou transformaes geomtricas de pontos. Por outro
lado, um ponto do plano pode sempre ser representado por um nmero complexo, e
conjuntos de pontos podem ser representados por condies em C; tambm, como
vimos, uma transformao geomtrica do plano pode ser traduzida em termos de
operaes com complexos.
Esta unificao e a facilidade que ela representa pode ser ilustrada em muitas situaes
e permite construir actividades interessantes.
Quando trabalhmos com pontos e vectores, conclumos que o ponto mdio M de um
segmento de recta AB dado por
M = A +
1
2
(B A)
Esta expresso s era simplificvel e manipulvel algebricamente aps a substituio
dos pontos pelas suas coordenadas, j que, por exemplo,
1
2
B no tem significado. Ao
podermos considerar que A e B representam tambm nmeros complexos, podemos
utilizar livremente as propriedades das operaes para simplificar aquela expresso
z
M
= z
A
+
1
2
(z
B
z
A
)
z
M
= z
A
+
1
2
z
B

1
2
z
A

z
M
=
1
2
(z
A
+ z
B
)
57
Na expresso que simplificmos fizemos uma substituio de variveis para chamar a
ateno de que passmos a trabalhar com nmeros complexos e no com pontos, mas
ela no necessria desde que seja bem claro com que objectos estamos a trabalhar.

Sobre as diagonais de um paralelogramo
Mostra que se as diagonais de um quadriltero se bissectam, ele um paralelogramo.
Esta propriedade a recproca de uma bastante familiar aos alunos. Optmos por propor
a sua resoluo porque nos parece que os complexos facilitam a demonstrao e porque
sempre mais interessante demonstrar uma propriedade nova. A distino entre um
teorema e o seu recproco pode ser uma boa oportunidade para esclarecer questes de
lgica: o facto de sabermos que em qualquer paralelogramo as diagonais se bissectam
no suficiente para concluir que se as diagonais de um quadriltero se bissectam
ento ele um paralelogramo. Ao demonstrarmos os dois teoremas recprocos, fica
estabelecida a equivalncia entre ser paralelogramo e ser um quadriltero cujas
diagonais se bissectam, o que significa que esta segunda propriedade pode ser utilizada
como definio de paralelogramo.
A construo, num programa de geometria dinmica, do quadriltero a partir das
diagonais que tm um ponto mdio em comum uma boa forma de interpretar este
teorema e de o distinguir do seu recproco.
Hiptese: M o ponto mdio do segmento AC e M
o ponto mdio do segmento DB
Tese: O quadriltero ABCD um paralelogramo
Demonstrao:
Considerando um referencial do plano e os
nmeros complexos z
A
, z
B
, z
C
, z
D
e associados aos
pontos, tem-se
z
M
=
z
A
+ z
C
2
e z
M
=
z
B
+ z
D
2

A
C
M
D
B
58
z
A
+ z
C
2
=
z
B
+ z
D
2

z
A
+ z
C
= z
B
+ z
D
(1)
Desta igualdade obtemos
z
A
z
B
= z
D
z
C

que significa que os vectores BA e CD so iguais, e portanto que os segmentos AB e
CD so paralelos.
Da igualdade (1) tira-se tambm que
z
C
z
B
= z
D
z
A

que significa que os vectores BC e AD so iguais, e portanto que os segmentos BC e
AD so paralelos.
Podemos concluir que o quadriltero ABCD tem os lados paralelos dois a dois e por isso
um paralelogramo.
pertinente notar que a igualdade dos vectores BA e CD j nos garantia que o
quadriltero era um paralelogramo se aceitssemos como definio, ou como teorema j
demonstrado, que um paralelogramo um quadriltero com dois lados paralelos e
congruentes. Estamos aqui a abordar levemente a problemtica da demonstrao em
organizaes locais da geometria, que est bastante mais desenvolvida na publicao
Geometria a partir de Mltiplas Perspectivas, da coleco Adendas do N.C.T.M., nas
pginas 70 e seguintes.

O velho problema dos pontos mdios dos lados de um quadriltero
Mostra que num quadriltero qualquer os pontos mdios dos lados so vrtices de um
paralelogramo.
Embora este problema tenha sido j abordado a propsito de outros temas (Brochura de
Geometria do 10 ano, pginas 116-117), no quisemos perder a oportunidade de
59
A
B
C
D
P
N
M
Q
revisit-lo, enriquecendo-o com uma outra possibilidade de explorao, a perspectiva
unificadora dos complexos.
Para simplificar, vamos trabalhar com a mesma designao para cada ponto e para o
nmero complexo que ele representa num referencial fixado. Neste caso, os nmeros
complexos A, B, C, D, M, N, P e Q. Tambm para simplificar, vamos j traduzir a
hiptese e a tese em linguagem de nmeros complexos e da maneira mais econmica
possvel.
Hiptese: M =
A + B
2
; N =
B + C
2
; P =
C + D
2
e Q =
D + A
2

Tese: N M = P Q
Demonstrao:
N M =
B + C
2

A + B
2
P Q =
C + D
2

D + A
2

=
B + C A B
2
=
C + D D A
2

=
C A
2
=
C A
2

logo
N M = P Q

Chamamos a ateno para o facto de termos transformado toda a demonstrao, incluin-
do a hiptese e a tese, num encadeado de clculos algbricos. um exemplo de como a
lgebra pode ser til e simples. No entanto importante compreendermos tambm que
este tipo de demonstraes formais, que se reduzem a manipulaes simblicas, no
60
explicam as relaes envolvidas no teorema, apenas servem para o validar, sem
acrescentar nada compreenso dos objectos e ideias matemticos envolvidos.
Baricentro de um tringulo
O baricentro, ou centro de gravidade, de um tringulo o ponto de apoio em que se
consegue equilibrar o tringulo, se considerarmos que a sua massa est distribuda de
forma homognea. Matematicamente, a definio que melhor traduz esta ideia :
O baricentro de um tringulo ABC o ponto G tal que 0 GC GB GA

= + + .
Obtm uma expresso para calcular o baricentro, a partir dos vrtices do tringulo,
quando se trabalha com nmeros complexos.
Mostra que o baricentro um ponto da mediana ou seja, que colinear com cada
vrtice e o ponto mdio do lado oposto e que a divide em dois segmentos que
esto entre si na razo 2:1.
Optmos por esta definio de baricentro por ela
permitir uma traduo mais imediata para a
linguagem dos nmeros complexos e por ser
facilmente generalizvel a qualquer polgono.
Alm disso a definio mais prxima da
utilizada na Fsica, s que em Geometria temos a
liberdade de considerar todas as massas
unitrias, o que o mesmo que dizer que nos abstramos da massa.
Partindo da igualdade que adoptmos para definio
0 GC GB GA

= + +
e sendo A, B, C e G os complexos que correspondem aos pontos com o mesmo nome,
temos
A G + B G + C G = 0
A + B + C = 3G
G =
1
3
(A + B + C)
A
B
C
G
61
Conclumos assim que o complexo que representa o baricentro a mdia aritmtica
simples dos complexos que representam os vrtices do tringulo. Na Fsica, o baricentro
de um sistema de 3 pontos a mdia aritmtica ponderada de acordo com as massas
dos pontos.
Passando segunda parte da questo:
Se M for o ponto mdio do lado AB, oposto ao
vrtice C
M =
1
2
(A + B)
G M =
1
3
(A + B + C)
1
2
(A + B)
C G = C
1
3
(A + B + C)
=
2C A B
6
=
2C A B
3

Donde se conclui imediatamente que
C G
G M
= 2, o que significa que os vectores GC e
MG so paralelos e os seus comprimentos esto na razo 2:1. Ento o ponto G
colinear com os pontos M e C e divide o segmento MC, uma mediana do tringulo, em
dois segmentos GC e MC em que o primeiro tem o dobro do comprimento do segundo.
A demonstrao de que o ponto G pertence tambm s outras medianas e as divide em
segmentos na mesma razo, anloga a esta e imediata, porque basta rodar as letras
entre si. Podemos assim concluir que o baricentro, como o definimos, o ponto de
encontro das trs medianas do tringulo, e a sua distncia a cada vrtice igual a
2
3

do comprimento da mediana respectiva.
Notamos assim que partimos duma definio menos usual de baricentro de um tringulo
e demonstrmos como teorema a propriedade que frequentemente utilizada para a sua
definio. A definio vectorial de baricentro de um tringulo generalizvel a qualquer
polgono, e um bom ponto de partida para actividades de investigao sobre as
relaes geomtricas do baricentro com outros elementos dos polgonos, utilizando a
A
B
C
G
M
62
ferramenta dos complexos. A definio geral ser o baricentro como mdia aritmtica
dos nmeros complexos que representam os vrtices do polgono, isto , para um
polgono com n lados e vrtices A
i
, i = 1, , n, ser

=
=
n
1 i
i
A
n
1
G
As demonstraes que temos vindo a fazer parecem levar-nos a rotinas de clculo sem
grande interesse para os alunos. Uma forma de no cair nessa tentao, propor
pequenas investigaes a realizar, de preferncia, em ambientes de geometria dinmica.
Assim, sero os alunos a descobrir relaes geomtricas, formulando conjecturas que
podero demonstrar traduzindo para a linguagem dos complexos. A demonstrao
passa a ser s uma parte do processo e ganha significado no contexto que se est a
investigar. A actividade seguinte ilustra estas preocupaes.

Baricentros num hexgono
Dado um hexgono qualquer, unindo os pontos mdios de lados alternados obtemos
dois tringulos. Descobre possveis relaes entre os baricentros destes dois tringulos
e o baricentro do hexgono, e demonstra todas as relaes que estabeleceres.
A construo dos baricentros dos dois tringulos num programa de geometria dinmica,
mostra-nos imediatamente que os baricentros dos dois tringulos coincidem.
Hiptese: M, N, P, Q, R e S so os pontos mdios dos lados do hexgono ABCDEF; X
o baricentro do tringulo MPR e Y o baricentro do tringulo NQS.
D
F
A
B
C
P
S
Q
M
N
R
E
XY?
63
Tese: X Y
Demonstrao:
Considerando estes pontos no plano complexo e traduzindo para o clculo com
complexos, teremos:
M =
1
2
(A + B) P =
1
2
(C + D) R =
1
2
(E + F)
o baricentro do tringulo MPR corresponde ao complexo
X =
1
3
(M + P + R)
=
1
3
[
1
2
(A + B)+
1
2
(C + D) +
1
2
(E + F)]
X =
1
6
(A + B + C + D + E + F)
Analogamente se demonstra que
Y =
1
6
(A + B + C + D + E + F)
e pode concluir-se que X Y, como queramos demonstrar. Mais ainda, a expresso que
obtivemos mostra-nos que os baricentros dos dois tringulos coincidem com o baricentro
do hexgono.
As relaes que explormos so vlidas, com as devidas adaptaes, para dois
quadrilteros construdos a partir dos pontos mdios de um octgono. interessante
investigar para que outros polgonos se podem estabelecer relaes do mesmo tipo.
Estas actividades ilustram bem como a lgebra dos complexos pode ser utilizada, para
demonstrar propriedades geomtricas conhecidas e para descobrir relaes novas,
como foi o caso do baricentro do hexgono, que ainda no tnhamos investigado, mas
Propriedades
geomtricas
Relaes entre
complexos
traduo
Clculo em C
Novas relaes
entre complexos
traduo
Novas propriedades
geomtricas
64
apareceu como expresso para os baricentros dos tringulos. O quadro que
apresentamos, adaptado de Artigues (p. 91), ilustra os processos que esto em jogo
quando utilizamos os complexos como ferramenta para trabalhar a geometria.
As actividades que propomos a seguir podem proporcionar aos alunos boas investiga-
es em geometria.

O baricentro de um polgono qualquer
Se ABCD for um polgono de n lados, define-se baricentro do polgono o ponto G tal
que
0 ... GD GC GB GA = + + + +
Encontra uma expresso para calcular o baricentro a partir dos vrtices do polgono,
quando trabalhamos no plano complexo.
Sabemos que num tringulo o baricentro o ponto de encontro das medianas. Num
quadriltero tambm possvel definir mediana. Encontra uma definio coerente
para mediana de um quadriltero e estuda relaes geomtricas entre as medianas
e o baricentro nos vrios tipos de quadrilteros que conheces.
A definio usual de mediana de um quadriltero o segmento de recta que une os
pontos mdios de dois lados opostos. Em qualquer quadriltero, o baricentro o ponto
de encontro das medianas e divide-as ao meio.
Uma breve incurso por um programa de geometria dinmica ajuda a ver como
possveis generalizaes das definies de mediana, para polgonos com mais de quatro
lados, deixam de ter alguma relao com o baricentro.







65
Os pontos mdios dos lados de um pentgono
So dados 5 pontos P, Q, R, S e T, que so os pontos mdios dos lados de um
pentgono. Determina os vrtices do pentgono.
O problema tem sempre soluo? A soluo nica?
Estuda um problema anlogo para um polgono qualquer.
Adaptado de Complex Numbers & Geometry, de Liang-shin Hahn
Num pentgono qualquer, ABCDE, no plano complexo, os pontos mdios ficam definidos
pelas expresses que relacionam os nmeros que os representam
P =
1
2
(A + B)
Q =
1
2
(B + C)
R =
1
2
(C + D)
S =
1
2
(D + E)
T =
1
2
(E + A)
Donde,
P Q + R S + T =
1
2
[(A + B) (B + C) + (C + D) (D + E) + (E + A)]
P Q + R S + T =
1
2
(A + A) = A
o que nos d o ponto A em funo dos pontos mdios. Obtido o ponto A, os outros
obtm-se facilmente por somas de pontos e vectores, como por exemplo
B = P (A P)
Para alm das vantagens que j mencionmos atrs, o trabalho com complexos tem
potencialidades que no existem no espao vectorial R
2
. Recordamos que, para alm de
A
B
C
D
E
S
R
Q
P
T
66
espao vectorial sobre R, (C, +, ) um corpo e, por isso mesmo, muito mais rico em
termos de operaes. Uma operao que no existe no conjunto dos vectores do plano
a multiplicao, mas ela est definida no conjunto C e traduz transformaes
geomtricas nas quais se incluem as rotaes. Particularmente, a multiplicao por i
para determinar vectores perpendiculares, pode facilitar muito como veremos na
actividade seguinte. Pensamos que j um problema clssico, visto que proposto em
quase todos os livros sobre nmeros complexos, embora com formulaes diversas.

O tesouro enterrado
Um velho pergaminho, que descrevia o local onde piratas enterraram um tesouro numa
ilha deserta, dava as seguintes instrues:
Na ilha s h duas rvores, A e B, e os restos de uma forca.
Comece na forca e conte os passos necessrios para ir, em linha recta, at rvore
A. Quando chegar rvore, rode 90
o
para a esquerda e avance o mesmo nmero de
passos. No ponto em que parou, coloque um marco no cho.
Volte para a forca e v em linha recta, contando os seus passos, at rvore B.
Quando chegar rvore, rode 90
o
para a direita e avance o mesmo nmero de
passos, colocando outro marco no cho, no ponto em que acabar.
Cave no ponto que fica a meio caminho entre os dois marcos e encontrar o tesouro.
Um jovem aventureiro que encontrou o pergaminho com estas instrues, fretou um
navio e viajou para a ilha. No teve dificuldade em encontrar as duas rvores mas, para
seu grande desgosto, a forca tinha desaparecido e o tempo tinha apagado todos os
vestgios que pudessem indicar o lugar onde ficava.
Em Fractal music, hipercards and more, de Martin Gardner
Se fizermos a construo geomtrica descrita no pergaminho, num programa de
geometria dinmica, verificamos, talvez com surpresa, que ao arrastar o ponto Forca, os
Marcos mudam de posio mas o Tesouro no. Isto significa que a posio onde est o
tesouro no depende da posio da forca, apenas das posies das duas rvores.
67
A demonstrao geomtrica deste facto no nos parece muito simples, mas se
trabalharmos com coordenadas de pontos e vectores e com as operaes conhecidas,
torna-se fcil demonstrar a invarincia do ponto Tesouro quando fazemos variar o ponto
Forca. Mas trabalhar com pontos e vectores, sobretudo quando h transformaes de
rotao, torna-se ainda mais simples se traduzirmos tudo em termos de nmeros
complexos.
Se designarmos por A, B, F, M
A
, M
B
e T os nmeros complexos correspondentes aos
pontos que representam respectivamente as rvores A e B, a forca, os marcos A e B e o
tesouro, a construo geomtrica traduz-se, em termos de operaes com nmeros
complexos, da seguinte maneira:
M
A
= A + i (F A) chega-se ao marco M
A
partindo do ponto A e descrevendo
o vector que se obtm rodando de 90
o
o vector AF
M
B
= B i (F B) chega-se ao marco M
B
partindo do ponto B e descrevendo
o vector que se obtm rodando de 90
o
o vector BF
T =
M
A
+ M
B
2

o tesouro o ponto mdio do segmento definido pelos dois
marcos.
T =
A + i (F A) + B i (F B)
2

T =
A + i F iA + B iF + iB
2

T =
A + B
2
+ i
B A
2

Ficou demonstrado que o complexo T no depende do complexo F, e por isso o ponto
onde est enterrado o tesouro no depende da posio da forca. Alm disso a
expresso encontrada permite-nos saber exactamente a posio do tesouro: um
Forca
rvore B
rvore A
Marco B
Marco A
Tesouro
A + B
2

i
B A
2


68
vrtice de um tringulo rectngulo issceles que tem como hipotenusa o segmento
definido pelas duas rvores A e B.
Este problema foi apresentado, com outra formulao, na seco O problema deste
nmero da revista Educao e Matemtica n. 52, e a sua resoluo na revista n. 54.
Na resoluo proposta trabalhou-se com pontos e vectores, e no h qualquer referncia
a nmeros complexos. No deixa de ser interessante comparar as duas resolues e
verificar como os complexos tornam mais simples a linguagem e o clculo.

Trs quadrados 1




Em Math Algbre et Gomtrie, de C. Artigues
A explorao desta actividade, e das seguintes, num programa de geometria dinmica,
convence-nos imediatamente da validade deste teorema, apesar de no ser muito
evidente que os segmentos MJ e KA tenham que ser iguais e perpendiculares.
Sejam a e b as medidas dos lados dos quadrados de centros J e K, respectivamente. Se
escolhermos como origem do referencial do plano complexo o vrtice que um ponto
comum aos trs quadrados, obtemos a seguinte traduo para nmeros complexos, j
que os centros dos quadrados so pontos mdios das suas diagonais.
Pontos N
os
complexos
A a

J
1
2
(a + ai)

K
1
2
(-b + bi)

K, J e M so os centros de trs quadrados dispostos como na
figura.
Mostra que os segmentos KA e JM so congruentes e
perpendiculares.
J K
M
A
A
-b
a (a+b)i
O
ai
J
K
M
bi
69
M
1
2
(a (a + b)i b) =
=
1
2
(a b)
1
2
(a + b)i

Assim, os vectores AK e JM iro corresponder aos complexos
AK = K A
AK
z =
1
2
(-b + bi) a
=
2a + b
2
+
b
2
i
JM = M J
JM
z =
1
2
(a b)
1
2
(a + b)i
1
2
(a + ai)
=
b
2

2a + b
2
i
Daqui se conclui imediatamente que
AK
z i =
JM
z , o que, em termos de vectores,
significa que so perpendiculares e com a mesma norma, e portanto os segmentos que
os representam tambm so perpendiculares e de comprimentos iguais, como quera-
mos demonstrar. Esta actividade pode ser estendida a uma mais geral que propomos de
seguida.

Trs quadrados 2






K, J e M so os centros dos quadrados construdos
sobre os lados do tringulo ABC.
Mostra que os segmentos KA e JM so congruentes
e perpendiculares.

Em Math Algbre et Gomtrie, de C. Artigues
C
A


B



M
K
J
70
Esta demonstrao bastante menos acessvel que a anterior porque no to fcil
escolher um bom referencial. Alis, a escolha do referencial aqui no vai facilitar nada,
por isso nem iremos referir-nos a nenhum em particular.
Se atendermos a que os vectores MA e MB so perpendiculares, podemos escrever
as relaes entre complexos que correspondem aos
pontos com o mesmo nome.
(B M) = i (A M)
donde
M =
B i A
1 i

e, multiplicando ambos os termos da fraco por (1 + i)
M =
(A + B) i (A B)
2

Da mesma maneira se pode concluir que
K =
(B + C) i (B C)
2
e J =
(C + A) i (C A)
2

donde K A =
(B + C) i (B C)
2
A
=
( 2A + B + C) i (B C)
2

e J M =
(C + A) i (C A)
2

(A + B) i (A B)
2

=
(C B) + i (2A B C)
2

O que nos permite concluir imediatamente que
(K A) = i (J M)
C
A


B



M
K
J
71
Esta igualdade traduz, em termos de vectores, que AK e MJso perpendiculares e
tm a mesma norma, pelo que os segmentos AK e MJ so congruentes e
perpendiculares.
Uma extenso desta actividade, que deixamos como
desafio aos professores, a demonstrao de que os
segmentos PR e QS, da figura ao lado, so congruen-
tes e perpendiculares.
Com esta actividade apercebemo-nos da existncia de
quadrilteros cujas diagonais so perpendiculares e
que no so quadrados, losangos nem kites.















A
B
D
C
Q
P
S
R
72
ALGUNS LIMITES E DERIVADAS
DE FUNES TRIGONOMTRICAS
O limite de
sen x
x

Se x denota a medida de um ngulo em radianos, a funo real de varivel real
f x
x
x
( ) =
sen
est definida para todo o x = 0 , e torna-se no smbolo de
indeterminao
0
0
para x = 0 , mas esta indeterminao pode ser levantada. Uma
tabela de funes trigonomtricas, ou uma calculadora de bolso, permite obter alguns
valores de f x ( ) para x pequeno (no nulo). Tais tabelas tm entradas normalmente
expressas em graus mas, como se sabe, a medida x em graus est relacionada com a
medida y em radianos pela frmula
x y y = ~
t
180
0 01745 , ,
onde o valor direita correcto at 5 casa decimal. A consulta a uma tal tabela
fornece os seguintes valores aproximados nas 3 e 4 colunas, correctos at 4 casa
decimal, inclusive:

10

x = 01745 ,

sen x = 01736 ,
sen x
x
= 0 9948 ,
5 0,0873 0,0872 0,9988
2 0,0349 0,0349 1,0000
1 0,0175 0,0175 1,0000

73
Parece, assim, que
sen x
x
se aproxima de 1 quando x se aproxima de 0. Mostramos
que, de facto,
(1.1) lim
x
x
x

=
0
1
sen

Recorremos ao crculo trigonomtrico (figura 1).
O
B
A
C

Figura 1. O crculo trigonomtrico
Se x a medida em radianos do ZBOC tem-se, para 0
2
< < x
t
,
rea do AOBC x =
1
2
1 sen ,
rea do sector circular OBC x =
1
2
,
2

rea do AOBA x =
1
2
1 tg ,

2 A medida x em radianos do ngulo BOC Z igual ao dobro da rea A do sector circular
BOC , pois esta rea est para a rea do crculo unitrio (raio = 1) como o comprimento do
arco BC (digamos, no sentido anti-horrio) est para o permetro da circunferncia:
t
=
t 2
x A
, donde A x 2 = .
74
mas estas trs reas esto por ordem crescente, donde sen tg x x x < < e, dividindo
por sen x , obtemos
1
1
< <
x
x x sen cos
,
ou seja
(1.2) cosx
x
x
< <
sen
1.
Ora
1 1
1
1
1
1 1
2 2
2
=
+
+
=

+
=
+
< cos ( cos )
cos
cos
cos
cos cos
x x
x
x
x
x
x
x
x
sen
sen .
Como 0 < < senx x , isto mostra que
(1.3) 1
2
< cosx x ,
ou seja que
(1.4) 1
2
< x x cos
Tomando (1.2) em considerao, obtemos finalmente
(1.5) 1 1
2
< < x
x
x
sen
.
Temos feito os clculos na suposio de que 0
2
< < x
t
, mas as desigualdades (1.5)
tambm so vlidas esquerda de 0, isto , para < <
t
2
0 x , pois
sen sen sen ( )

=
x
x
x
x
x
x
e ( ) = x x
2 2
.
De (1.5) resulta imediatamente que
senx
x
1 quando x 0 . De facto, de (1.5)
conclui-se que a diferena entre
sen x
x
e 1 menor do que x
2
, que por sua vez
menor do qualquer nmero real positivo o dado, desde que x < = c o .
75
Observe-se que, de (1.3), tambm se pode concluir que
(1.6) lim
cos
x
x
x

=
0
1
0 ,
pois cos cos( ) x x = .
Muitos outros limites envolvendo senos e cosenos podem ser calculados utilizando os
resultados anteriores e as regras dos limites. Mencionamos apenas alguns (sempre com
x 0), a ttulo de exerccios.
Exerccios
Calcule os limites
(a) lim
x
x
x
0
2
sen
(b) lim
( )
x
x
x x


0
1
sen
(c) lim
x
x
x
0
tg
;
(d) lim
x
ax
bx
0
sen
sen
(e) lim
cos
x
x x
x


0
1
sen
(f) lim
x
x x


|
\

|
.
|
0
1 1
tg
;
(g) lim
x
x
x
0
sen
com x expresso em graus (h) lim ( / )
x
x x

sen 1 .
3



3 Utiliza-se o facto de que, se x , ento 0 1 = x / y , e de que a ) x ( f quando
x se e s se a ) x ( f quando 0 1 x / se e s se a ) x / ( f 1 quando 0 x .
76
Derivadas das funes trigonomtricas
Nesta seco as medidas de ngulos so sempre expressas em radianos, como , alis,
mais conveniente em Anlise.
Para derivar as funes trigonomtricas seno, coseno e tangente aplicamos a definio
de derivada de f x ( ) num ponto ao arbtrio x como limite da razo incremental
f x h f x
h
( ) ( ) +
quando h 0 (por valores diferentes de 0).
Comeamos pela funo seno. Pela frmula do seno da soma
(2.1) sen( sen sen x h x h x h = ) cos cos ,
donde
(2.2)
sen sen sen
sen
( )
cos
cos x h x
h
x
h
h
x
h
h
+
=
|
\

|
.
| +

|
\

|
.
|
1
.
Ora, fazendo h 0 tem-se, pelos resultados (1.1) e (1.6) da seco anterior, que
sen h
h
1 e
cosh
h

1
0 quando h 0 , respectivamente, donde resulta que
sen sen ( ) x h x
h
+
tende para cosx quando h 0. Em concluso,
(2.3) D x
d x
dx
x x sen
sen
sen = = ' =
( )
( ) cos
Procedimento anlogo, mas utilizando a frmula do coseno de uma soma
(2.4) cos( ) cos cos x h x h x h = sen sen ,
permite concluir que
cos( ) cos
cos
cos
,
x h x
h
x
h
h
x
h
h
+
=

|
\

|
.
|
|
\

|
.
|
1
sen
sen

77
que tende para sen x quando h 0 (por valores diferentes de 0), logo

(2.4) D x
d x
dx
x x cos
(cos )
(cos ) = = ' = sen
Outra maneira mais simples de obter este resultado utiliza, todavia, a regra de derivao
das funes compostas, ou regra de derivao em cadeia, e a observao de que
cos x x = +
|
\

|
.
| sen
t
2

Pondo u x = +
t
2
tem-se, pela referida regra,
d x
dx
d u
du
du
dx
u x x
(cos ) ( )
(cos ) cos = = = +
|
\

|
.
| =
sen
sen 1
2
t

Para derivar a funo tangente, observamos que tg
sen
x
x
x
=
cos
(para
x k k = +
t
t
2
, inteiro) e utilizamos a regra de derivao de um quociente:
d
dx
x
x
x x x x
x
x x
x x
sen sen sen sen
cos
cos cos ( )( )
cos
cos
cos cos
|
\

|
.
| =

=
+
=
2
2 2
2 2
1

4

Observemos tambm que, por outro lado,
cos
cos cos
2 2
2
2
2
2
1 1
x x
x
x
x
x
+
= + = +
sen sen
tg ,
de modo que, em concluso,
(2.5) D x
d x
dx
x
x
x ( )
( )
( )
cos
tg
tg
tg tg = = ' = = +
1
1
2
2


4 Actualmente, no fazem parte do programa as funes trigonomtricas recprocas secante,
cosecante e cotangente, definidas por x cos / x sec 1 = , x sen / x ec cos 1 = e x tg / x g cot 1 = ,
respectivamente, de modo que x sec ) x tg (
2
= ' .
78
Este resultado tambm pode ser obtido directamente, aplicando a definio de derivada
(limite da razo incremental), o que deixamos como exerccio.
Exemplo de aplicao
Um balo ( B) sobe no ar, a partir de um ponto P (v. figura 2). Um observador ( O) a
80m de distncia v o balo a subir, fazendo um ngulo u que aumenta taxa de
1
8
rad segundo / . Determinar a taxa de variao da altura do balo quando (a)
u t = / 4; (b) senu =
1
5
.
O P
B
y
80
q

Figura 2. O balo sobe, sobe...
Na figura, y a distncia do balo ao solo e, de acordo com os dados do problema,
d
dt
dy
dx
u
t
u t =
= =
/
( / )
4
4
1
8
. Como tgu = y / 80, vem y = 80tgu .
Queremos encontrar a taxa de crescimento de y , isto ,
dy
dt
(onde t o tempo) para
dois valores particulares de u . Tem-se
dy
dt
d
dt
d
dt
= = + 80 80 1
2
( )
( )
tg
tg
u
u
u
,
que, para u
t
=
4
, toma o valor
79
dy
dt
dy
dx
u t
t
t
=
= = + = + =
/
( / ) ( ) ( )
4
2
4 80 1
1
8
10 1 1 20 tg
4

A resposta da alnea (a) 20 m/s.
Para (b), tem-se sen
2
1
25
u = , donde cos
2 2
1
24
25
u u = = sen e
tg
sen
2
2
2
1 25
24 25
1
24
u
u
u
= = =
cos
/
/
, logo
dy
dt
senu =
= + =

=
1 20
80 1
1
24
1
20
4 25
24
100
24
/
( )
A resposta alnea (b)
100
24
m/s.
Bibliografia
R. COURANT & H. ROBBINS What is Mathematics? An Elementary Approach to
Ideas and Methods, Oxford University Press, 4
th
edition, 1978.
S. LANG A First Course in Calculus, 5
th
edition, Springer-Verlag, 1993.







80
O TEOREMA FUNDAMENTAL DA LGEBRA
Histria resumida do TFA
Chamamos polinmio complexo numa indeterminada x a uma expresso da forma
(1.1) P x a x a x a x a
n
n
n
n
( ) = + + + +


1
1
1 0
,
onde os coeficientes a
i
( 0 s s i n ) so nmeros complexos.
5
Se os coeficientes forem
nmeros reais, dizemos que se trata de um polinmio real. Se todos os coeficiente forem
nulos, o polinmio chama-se o polinmio zero, que no possui grau; se a
n
= 0 , o
polinmio diz-se de grau n e a
n
o coeficiente director; se n = 0 o polinmio diz-se
constante e nos casos n > 0 diz-se no constante. Se o coeficiente director for a
n
= 1
o polinmio diz-se mnico. Um polinmio de grau 1 diz-se linear ou binomial, e um
polinmio de grau 2 diz-se quadrtico. Os polinmios P x ( ) e Q x ( ) dizem-se iguais
ou idnticos sse tiverem o mesmo grau e os mesmos coeficientes. Finalmente, um
nmero complexo c uma raz (ou zero) do polinmio (1.1) sse P c ( ) = 0 , isto ,
a c a c a c a
n
n
n
n
+ + + + =


1
1
1 0
0 . Tambm dizemos, neste caso, que c uma soluo
da equao polinomial P x ( ) = 0.
O Teorema Fundamental da lgebra (abreviadamente, TFA
6
) actualmente conhecido
como a proposio de que todo o polinmio complexo no constante, numa
indeterminada x , possui, pelo menos, uma raz complexa. Foi demonstrado (embora
ainda com algumas falhas, pelos modernos padres de rigor, somente colmatadas na

5 Quando dizemos que C yi x z e + = um nmero complexo, no estamos a excluir a
possibilidade de a parte imaginria y ) z ( = ser nula e z se reduzir sua parte real, isto ,
x ) z ( z = 9 = ser um nmero real.
81
totalidade por A. Ostrowski em 1920) por Carl Gauss em 1799 num trabalho que constitui
a sua tese de doutoramento, com o ttulo bem descritivo (traduo livre) Nova
demonstrao do teorema de que toda a funo racional inteira de uma varivel pode ser
decomposta em factores reais do primeiro ou segundo graus. Gauss voltou
posteriormente a fazer mais trs demonstraes deste teorema, a ltima das quais em
1849. O ttulo do trabalho sugere, por um lado, que existiriam tentativas de
demonstrao anteriores e, por outro, que a questo essencial era a da decomposio
em factores reais (isto , com coeficientes reais) lineares ou quadrticos (quer dizer, de
uma das formas ax b + ou ax bx c
2
+ + ), questo que , alis, equivalente da
existncia de razes em C . Naquela poca, a lgebra ainda era entendida como
essencialmente a teoria dos polinmios com coeficientes reais ou complexos ou, se
quisermos, como a teoria das equaes algbricas, sendo o TFA considerado como o
teorema fundamental desta teoria. Mas, ao contrrio da nfase que tinha sido posta no
passado, no era tanto a obteno de solues de equaes da forma P x ( ) = 0 como
a questo da existncia de solues (em C) que ocupava o centro do interesse de
Gauss pois, mesmo para binmios da fora x a
n
, com n > 5, a existncia de razes
era considerada uma questo longe de trivial.
A importncia maior do TFA para a histria dos nmeros complexos (tanto como para a
das equaes algbricas) simplesmente o facto de ter sido possvel demonstr-lo, o
que abriu o caminho para o reconhecimento e desenvolvimento dos nmeros complexos
e da Anlise Complexa em toda a sua plenitude.
Mencionemos alguns antecedentes histricos do TFA, comeando pelos xitos dos
algebristas italianos seiscentistas na resoluo das equaes quadrticas, cbicas e
qurticas gerais, conseguindo exprimir sempre as respectivas razes por meio de
radicais, em funo dos coeficientes. Em algumas dessas resolues (por exemplo, no
caso da cbica, como se explica noutro local nesta brochura), os nmeros imaginrios

6 Infelizmente, esta sigla tambm designa o Teorema Fundamental da Aritmtica (existncia e
unicidade da decomposio em factores primos) mas, nesta seco, refere-se exclusivamente
ao teorema enunciado para os polinmios, com o qual possui, alis, alguma afinidade.
82
fizeram uma fugaz e incontornvel apario,
7
como que a anunciar para a posteridade
que no podiam deixar de ser considerados em certas situaes.
A quntica geral resistiu a todas as tentativas de resoluo por meio de radicais, mas
por boa razo, pois tais expresses para as razes so, em geral, impossveis de obter,
como veio a demonstrar N. Abel em 1826 (elaborando sobre os extensos trabalhos de
Lagrange). Todavia, at altura em que Gauss se debruou sobre o assunto, quase
todos os matemticos acreditavam na existncia de razes em alguma terra de
ningum (alguma extenso do corpo C dos nmeros complexos, como diramos hoje), e
desenvolviam mtodos imaginativos para mostrar que tais solues eram, na realidade,
nmeros complexos, mas no existia uma prova geral de que fosse sempre assim.
Peter Roth j afirmara, em 1608, que as equaes de grau n tm, quando muito, n
razes. Albert Girard, na sua Linvention en algbre, em 1629, foi o primeiro a afirmar que
h sempre n solues (possivelmente repetidas), mas no o demonstrou. Descartes,
na 3 parte de La Gomtrie, em 1637, descreve tudo o que se conhecia na poca sobre
equaes, observa que um polinmio P x ( ) que se anula em c divisvel por x c ,
8

e descreve a famosa regra dos sinais para calcular o nmero mximo de razes reais
positivas e negativas. Leibniz, na Acta Eruditorum, de 1702, considera a questo de
saber se sempre possvel factorizar um polinmio em factores reais lineares ou
quadrticos, mas cede pela negativa, face ao contra-exemplo
x a x a i x a i x a i x a i x a i x a i
4 4 2 2 2 2
+ = + = + + ( )( ) ( )( )( )( )

7 claro que a equao quadrtica 0
2
= + + c bx ax tambm tem solues complexas (quando
o descriminante negativo), mas os matemticos podiam dizer (e diziam!) que nesse caso no
havia solues. At poca de Descartes, pelo menos, tambm diziam que as solues
negativas no eram solues reais!
8 A prova simples, pela teoria da divisibilidade dos polinmios. Se ) x ( P se anula em c , isto
, 0 = ) c ( P , ento, dividindo ) x ( P por c x obtemos = ) x ( P r ) x ( Q ) c x ( + , onde
) x ( Q o polinmio quociente e r o resto, que tem de ser uma constante pois tem de ter
grau inferior ao do divisor c x . Substituindo x por c vem r + = 0 0 , logo 0 = r e,
portanto, ) x ( P divisvel por c x . Reciprocamente, se ) x ( Q ) c x ( ) x ( P = para algum
) x ( Q , imediato concluir que 0 = ) c ( P .

83
O produto de quaisquer dois factores lineares no membro direita nunca um polinmio
quadrtico real, mas no ocorreu a Leibniz que i e i pudessem ser da forma
a bi + ; de facto, i i = +
2
2
1 ( ) e = i i
2
2
1 ( ) , donde resulta que o produto do 1
e 3 factores, bem como o produto do 2 e do 4, so quadrticos reais, obtendo-se a
factorizao
x a x a x a x a x a
4 4 2 2 2 2
2 2 + = + + + ( )( )
Tambm lhe escapou que isto resultaria muito facilmente da identidade
x a x a a x
4 4 2 2 2 2 2
2 + = + ( ) .
Este exemplo serve para ilustrar um ponto histrico importante. De facto, as hesitaes
de Leibniz no so de espantar, pois somente no sculo XVIII, antes de Gauss se
debruar sobre o assunto, a questo que ocupava os algebristas no era tanto a de
saber se as equaes algbricas possuiam sempre soluo, mas sim a de saber que
forma elas tinham, e no era de todo claro que pudessem ser sempre expressas na
forma a b + 1 com a b , reais (a notao i = 1 foi introduzida por Euler em
1777). Pelo contrrio, acreditava-se que pudesse haver uma hierarquia de quantidades
imaginrias, de que as da forma a b + 1 seriam as mais simples.
Euler, em carta a N. Bernoulli de 1742 enuncia o teorema de factorizao na forma que
Leibniz formulara hipoteticamente. Na resposta, Bernoulli aponta um presumvel
contra-exemplo, o do polinmio x x x x
4 3 2
4 2 4 4 + + + , cujas razes so
x i x i
1 2 3 4
1 2 3 1 2 3
, ,
, = + = ,
mas Euler desfaz a dvida mostrando que os produtos ( )( ) x x x x
1 3
,
( )( ) x x x x
2 4
so quadrticos reais, iguais a x a x a
2
2 1 7 + + + + ( ) e
x a x a
2
2 1 7 + + ( ) , respectivamente, onde a = + 4 2 7 , e quatro anos
mais tarde tenta uma demonstrao rigorosa para os polinmios reais (coeficientes
reais) de grau menor ou igual a 6, todavia com algumas falhas e passos omissos.
84
Entretanto, j tinha descoberto e anunciado ao seu amigo Goldbach
9
o facto conhecido
de que as razes complexas so sempre aos pares (complexos conjugados a bi ) e
que tais pares do sempre factores quadrticos reais, como fcil de verificar. Golbach
responde cepticamente, mencionado um presumvel contra-exemplo, o do polinmio
x x
4 2
72 20 + , mas Euler lesto a factoriz-lo (as razes so 36 2 329 ,
procure o leitor a factorizao).
Atribui-se a DAlembert a primeira tentativa sria, em 1746, de demonstrao do teorema
de factorizao na forma geral (razo pela qual o TFA tambm conhecido por Teorema
de Gauss-DAlembert) por um processo de minimizao de P x ( ) , que consiste em
escolher convenientemente um x x =
1
, depois um x x =
2
tal que P x P x ( ) ( )
2 1
< ,
depois um x x =
3
tal que P x P x ( ) ( )
3 2
< e assim sucessivamente at que, no limite,
se obtm um x tal que P x ( ) = 0.
Na primeira parte da sua tese de 1779, Gauss critica e aponta as deficincias das
demonstraes propostas por Euler e por DAlembert (bem como as de outros
matemticos), mas reconhece o valor da ideia principal da argumentao de DAlembert
e exprime a sua convico de que ela pode ser elaborada de modo a produzir uma
demonstrao rigorosa. exactamente isso que Argand consegue fazer em 1814.
Tambm Lagrange em 1772 e Laplace em 1795 tentam demonstrar o teorema, o
primeiro atravs de uma melhoria das ideias de Euler (mas apelando a razes fictcias)
e o segundo por um processo inteiramente novo, de natureza mais algbrica.
Como se v pelo que precede, no foram poucas as tentativas de demonstrao do TFA,
por mtodos bastante diversos, umas mal, outras (mais modernas) bem sucedidas,
umas topolgicas, outras algbricas, e algumas mais recentes utilizando a Anlise
Complexa (funes holomorfas) e outras ideias ainda. A mais simples de todas talvez
seja a de Argand em 1814, utilizando todavia o facto verdadeiro mas ainda no
justificado, naquela poca, de que uma funo real definida e contnua num conjunto D

9 Cristian Golbach (1690-1764) mais conhecido como autor de uma famosa conjectura com o
seu nome, a de que todo o nmero natural par 4 > n igual a uma soma q p n + = com p
e q primos (possivelmente iguais). Teremos de esperar pelo prximo milnio, pelo menos, por
uma demonstrao ou refutao...
85
limitado e fechado do plano tem um valor mximo e um valor mnimo (conhecido
posteriormente por Teorema de Weierstrass no plano, real ou complexo). Daremos
adiante uma verso desta demonstrao. Em todas as demonstraes conhecidas at
ao presente (e so cerca de uma vintena) h, todavia, um elemento comum, que o
facto de todas elas utilizarem algum mtodo ou conceito essencialmente analtico, no
sentido de no algbrico, embora o enunciado do TFA (sob qualquer das formas
possveis existncia de raz complexa, ou decomposio em factores reais lineares ou
quadrticos) parea ser de natureza inteiramente algbrica.
Foi Gauss, como j se disse, o principal responsvel pela mudana de atitude dos
matemticos face aos nmeros complexos, removendo a aurula de mistrio e
misticismo de que estavam revestidos at ento, de que ainda permanecem alguns
vestgios na terminologia utilizada. S com Gauss que fica inteiramente claro que os
mtodos algebrico-analticos de resoluo das equaes polinomiais P x ( ) = 0 nunca
nos levam para fora do corpo dos nmeros complexos (que so, todos, da forma a bi +
com a b , reais). Alm disso, tambm com Gauss que a mera questo do clculo das
razes
10
d lugar questo da prova de existncia de razes como questo preliminar e
fundamental para qualquer busca subsequente.
Uma demonstrao do TFA
Na demonstrao que vamos fazer apenas utilizamos a continuidade das funes
polinomiais,
11
o teorema de Weierstrass no plano, acima mencionado, e o princpio de
nfimo, que diz que todo o conjunto no vazio e minorado de nmeros reais tem nfimo (o
maior dos minorantes). Estes resultados so conhecidos das cadeiras de clculo

10 Questo bem diversa, j referida anteriormente, a de exprimir as razes por meio de radicais.
11 Definimos polinmio numa indeterminada x , = ) x ( P
0 1
1
1
a x a x a x a
n
n
n
n
+ + + +

como
uma expresso de tipo especial. Outra coisa a funo polinomial complexa de varivel
complexa C C : P por ele definida, tal que para todo C z e ,
0
a z a ) z ( P
n
n
+ + = .(Ser
uma funo real de varivel real, se o polinmio for real). Por abuso, identificvel pelo contexto,
86
infinitesimal do 1 e 2 ano de qualquer licenciatura cientfica. A demonstrao
apresentada relativamente simples e informal, apenas para benefcio daqueles leitores
que conhecem bem o TFA de tanto ouvirem falar dele, sem nunca terem tido a
oportunidade de conhecer uma sua demonstrao. Necessitamos de estabelecer dois
resultados preliminares, dos quais o teorema simples consequncia.
Lema 1
Se P x ( ) um polinmio complexo, ento a funo real de varivel real
x P x ( ) tem um mnimo em algum ponto x
0
eC.
Demonstrao. Supondo P x a x a x a x a
n
n
n
n
( ) = + + + +


1
1
1 0
de grau
n >1
12
, bvio que
+ + + + + =

n n
n
n
n
z
a
z
a
z
a
a z z P
0
1
1 1
... ) ( quando z +.
Deste modo, o conjunto de nmeros reais { ( ) : } P z z eC limitado
inferiormente e no vazio, logo tem nfimo, digamos m. Mas, como P z ( )
grande para z grande, m tambm o nfimo dos valores de P z ( ) para z
num disco ou crculo de raio r D z z r , { : } = e s C com r suficientemente
grande. Como a funo polinomial P x ( ) contnua em todo o plano e, em
particular, no disco D, que um conjunto limitado e fechado, ento ela tem
mnimo em algum ponto de D.
Lema 2

tambm utilizamos, por vezes, a mesma designao ) x ( P para o polinmio e para a funo
polinomial associada.
12 A questo trivial para 0 = n (polinmio constante).
87
Seja P x ( ) um polinmio complexo no constante. Se P z ( )
0
0 = , ento
P z ( )
0
no o valor mnimo absoluto de P x ( ) .
Demonstrao. Seja P x ( ) um polinmio complexo no constante, z
0
eC tal
que P z ( )
0
0 = . Sem perda de generalidade, podemos supor P( ) 0 1 = .
13

Temos de mostrar que 1 no o valor mnimo de P x ( ) .
Seja k o expoente mais pequeno, no nulo, das potncias de x que ocorrem
em P x ( ) . Ento P x ( ) da forma
P x ax k
k
( ) ( ) = + + > 1 termos de grau .
Seja ainda o uma raz ndice k de

a
1
, isto , o
k
a = 1/ . Faamos uma
mudana de varivel x x o (homotetia), de modo que podemos supor P x ( )
da forma
P x x x Q x
k k
( ) ( ) = +
+
1
1
para algum Q x ( ) .
Para x > 0 real suficientemente pequeno tem-se x
k
< 1, isto , 1 0 > x
k
,
donde
P x x x Q x x x Q x x x Q x
k k k k k
( ) ( ) ( ) ( ( ) ) s + = + =
+ +
1 1 1 1
1 1
.
Ora, x Q x ( ) tambm se torna to pequeno quanto se queira, de modo que
existe x
0
positivo tal que x Q x
0
0
1 ( ) < , donde
x x Q x
k
0 0 0
1 0 ( ( ) ) >
e, portanto,

13 Fazendo a mudana de varivel
0
z z u z + = (translao) obtemos um polinmio ) u ( Q
tal que 0 0 = ) ( Q , e dividindo por ) ( Q 0 , se necessrio, obtemos um polinmio que toma o
valor 1 na origem. Por exemplo, se 1
2
= x ) x ( P , 3 2 = ) ( P , 2 + = z u ,
3 4 1 2 2
2 2
+ = = = u u ) u ( ) u ( P ) u ( Q , 3 0 = ) ( Q , 3 / ) u ( Q ) u ( H = , 1 0 = ) ( H .
88
P x P ( ) ( )
0
1 0 < = ,
o que mostra que P( ) 0 no o valor mnimo de P x ( ) e prova o lema.
Estamos em condies de demonstrar o teorema fundamental.
Teorema Fundamental da lgebra
Se P x ( ) um polinmio complexo no constante, ento P x ( ) tem, pelo
menos, uma raz em C.

Demonstrao. Pelo lema 1, P x ( ) tem mnimo em algum ponto z
0
eC, mas,
pelo lema 2, vem P z ( )
0
0 = , donde P z ( )
0
0 = .
Corolrio 1
Um polinmio complexo no constante factoriza-se completamente em factores
lineares (reais ou complexos).
Demonstrao. Basta considerar polinmios mnicos pois, se a
n
= 0 , as
equaes a x a
n
n
+ + =
0
0 e x
a
a
n
n
+ + =
0
0 tm exactamente as mesmas
razes. A demonstrao por induo completa no grau n do polinmio. Se
n = 1, o polinmio linear e nada mais h a fazer. Suponhamos (hiptese de
induo) que o resultado verdadeiro para todos os polinmios mnicos no
constantes de grau menor do que n , e que P x ( ) um polinmio mnico no
constante de grau n > 1. Pelo TFA, P x ( ) tem, pelo menos, uma raz, digamos
z
1
, logo x z
1
divide P x ( ) e P x x z Q x ( ) ( ) ( ) =
1
para algum polinmio
quociente (mnico) Q x ( ) de grau n n < 1 . Pela hiptese de induo, Q x ( )
factoriza-se completamente em factores lineares (reais ou complexos), e claro
89
que tambm assim para P x ( ) , cujos factores so x z
1
e os factores de
Q x ( ) .
A demonstrao anterior contm tambm a informao suficiente para se poder extrair a
concluso adicional seguinte, uma vez que, de cada vez que se divide um polinmio de
certo grau por um binmio (mnico), o grau do polinmio quociente baixa uma unidade,
mas s possvel fazer isto n vezes, se n o grau do polinmio inicial.
Corolrio 2
Se P x ( ) um polinmio complexo de grau n >1 e as suas razes
(possivelmente com repeties) so z z z
n 1 2
, , , , ento
P x a x z x z x z
n
( ) ( )( ) ( ) =
1 2
, com a eC.
Observe-se tambm que mais de n razes distintas no poder haver, pois se c uma
raz qualquer e P x a x z x z x z
n
( ) ( )( ) ( ) =
1 2
, ento
P c a c z c z c z
n
( ) ( )( ) ( ) = =
1 2
0 ,
mas um produto de nmeros complexos (ou reais) s se anula quando um factor, pelo
menos, for nulo, de modo que ter de ser c z
i
= para algum i.
A terminar, mostramos que o TFA, na forma enunciada, no deixa de ser vlido se
apenas for demonstrado que todo o polinmio real no constante possui uma raz
complexa. Para polinmios reais de grau mpar, a existncia de razes reais at sai do
conhecido teorema dos valores intermdios de Bolzano, pois toda a funo polinomial
real contnua e, se o polinmio de grau mpar, assume valores positivos e negativos,
como fcil de verificar. Mas para polinmios reais de grau par a questo no to
simples. Precisamos de algumas noes e resultados preliminares.
O conjugado de um polinmio complexo P x a x a x a x a
n
n
n
n
( ) = + + + +


1
1
1 0
o
polinmio complexo cujos coeficientes so os conjugados dos coeficientes de P x ( ) ,
P x a x a x a x a
n
n
n
n
( ) = + + + +


1
1
1 0
. Algumas propriedades simples:
90
Lema 3
Para qualquer polinmio complexo P x ( ) ,
(i) P z P z ( ) ( ) = , para todo z eC;
(ii) P x ( ) um polinmio real sse P x P x ( ) ( ) = ;
(iii) se H x P x Q x ( ) ( ) ( ) = , ento H x P x Q x ( ) ( ) ( ) = ;
(iv) se G x ( ) um polinmio complexo, ento H x G x G x ( ) ( ) ( ) = um
polinmio real.

Demonstrao. (i) Com z eC, P x a z a z a z a
n
n
n
n
( ) = + + + +


1
1
1 0
, tem-se
P z a z a a z a a z a P z
n
n
n
n
n
n
( ) ( ) = + + = + + = + + =
0 0 0

pois, como sabido, o conjugado da soma e o conjugado do produto de dois
nmeros complexos so a soma e o produto dos conjugados, respectivamente.
14

(ii) Se P x ( ) real, ento a a
i i
= para i n = 0, , , logo P x P x ( ) ( ) = .
Reciprocamente, se P x P x ( ) ( ) = , ento a a
i i
= para todo o coeficiente a
i
,
logo a
i
eR e P x ( ) real.
(iii) Exerccio de contas.
(iv) Pois H x G x G x G x G x G x G x H x ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) = = = = , logo
H x ( ) real pela parte (ii).

14 Para quaisquer complexos z e w , w z w z + = + , w z w z = e, para qualquer inteiro
positivo n ,
n
n
z z = .
91
Destas propriedades resulta imediatamente o facto j mencionado de que as razes
complexas de um polinmio real vm sempre aos pares. Pois se P x ( ) real e
P z ( )
0
0 = , ento P z P z P z ( ) ( ) ( )
0 0 0
0 = = = .
Podemos concluir da seguinte maneira que se o TFA vlido para os polinmios reais,
ento vlido para os polinmios complexos. Pois seja P x ( ) um polinmio complexo
no constante, e seja Q x P x P x ( ) ( ) ( ) = , que real, pela parte (iv) do lema 3. Por
hiptese, existe z
0
eC tal que Q z P z P z ( ) ( ) ( )
0 0 0
0 = = , logo P z ( )
0
0 = ou
P z ( )
0
0 = . No primeiro caso, z
0
uma raz de P x ( ) , e no segundo caso, tem-se
P z P z P z P z ( ) ( ) ( ) ( )
0 0 0 0
0 = = = = pela parte (i) do lema 3, o que mostra que z
0

raz de P x ( ) .
Exerccios
1) Determine o polinmio real P x ( ) de grau s 2 tal que
P P P ( ) , ( ) , ( ) 0 1 1 2 2 2 = = = .
2) Determine o quociente e o resto da diviso de A x x x x ( ) = + + +
3 2
5 6 1 por
B x x ( ) = 1 (Regra de Ruffini).
3) Mostre que P x x x ( ) = + +
2
4 no se factoriza em factores lineares reais, mas
factoriza-se em factores lineares complexos, e d uma factorizao.
4) Mostre que para todo o nmero complexo z , ( )( ) x z x z um polinmio
quadrtico real.

Bibliografia
92
D. M. BURTON The History of Mathematics, Na Introduction, Third edition,
McGraw-Hill, 1997.
B. FINE, G. ROSENBERGER The Fundamental Theorem of Algebra, Springer-Verlag,
1997.


















93
Bibliografia
Artigues, C. et al (1992). Math Algbre et Geomtrie Term C et E. Paris: Hachette.
Caraa, Bento de Jesus (1998). Conceitos Fundamentais da Matemtica. Lisboa:
Gradiva.
Conway, John H. & Guy, Richard K. (1999). O livro dos nmeros. Lisboa: Gradiva.
Coxford, Arthur F. (1993). Geometria a partir de Mltiplas Perspectivas. Coleco de
Adendas s Normas para o Currculo e a Avaliao em Matemtica Escolar, do
N.C.T.M.. Lisboa: A.P.M..
Gardner, Martin (1992). Fractal Music, Hypercards and More. New York: W. H.
Freeman and Company.
Hahen, Liang-shin (1994). Complex Numbers & Geometry. USA: The Mathematical
Association of America.
Loureiro, C. et al (1998). Geometria, 11 ano de escolaridade. Lisboa: Ministrio da
Educao Departamento do Ensino Secundrio.
Maor, Eli (1998). Trigonometric Delights. New Jersey: Princeton University Press.
Rittaud, B.; Deledicq, A. & Cohen, G. (1999). La gomtrie des imaginaires. Tangente,
hors srie n 8, Gomtrie au Bac.
Silva, Sebastio (1975). Compndio de Matemtica 1 volume, 2 tomo. Lisboa: GEP.
Silva, Sebastio (1975). Compndio de Matemtica 3 volume. Lisboa: GEP.
Veloso, Eduardo (1997). As notaes em Geometria. Educao & Matemtica n 42,
p.35-36.
Veloso, Eduardo (1998). Geometria Temas actuais. Lisboa: IIE.
Nahin, Paul J. (1998). An imaginary tale The story of 1 . New Jersey: Princeton
University Press.