UNIVERSIDADE DE LISBOA

I
Faculdade de Cincias
DEPARTAMENTO DE MATEMTICA

Nmeros Complexos 12o Ano

Armando Machado

Texto
destinado aos professores

Verso de Jun/2003

REANIMAT

Projecto Gulbenkian de Reanimao Cientfica da Matemtica

no Ensino Secundrio
 1. Como apareceram os nmeros complexos.

Recordemos que uma equao de segundo grau na incgnita B uma

equao que se pode escrever na forma
+B# ,B - !,
com +, , e - nmeros reais e + !, e que as solues, quando existirem, de uma
tal equao so dadas pela frmula resolvente

, , # %+-
B .
#+
De facto, a frmula resolvente no s nos indica quais as solues, quando
elas existem, como nos permite reconhecer se essas solues existem ou no: Se
, # %+- !, no existem solues, uma vez que os nmeros negativos no tm
raz quadrada; se , # %+- !, a equao tem uma nica soluo; se
, # %+- !, a equao tem duas solues.
No sculo XVI a resoluo das equaes do segundo grau era j bem
conhecida e procurava-se uma frmula que permitisse resolver as equaes do
terceiro grau, isto , as equaes que se podem escrever na forma
+B$ ,B# -B . !,
com +, , , - e . nmeros reais e + !. O facto de se estar em presena de um
problema claramente mais complicado que o levantado pelas equaes do
segundo grau levou os matemticos dessa poca a procurar simplificar a equao
antes de a tentar resolver: Em primeiro lugar, dividindo ambos os membros da
equao pelo coeficiente + do termo com B$ , eram conduzidos a uma equao
equivalente com um tal coeficiente igual a ". Bastava-lhes assim procurar
resolver as equaes do tipo
B$ ,B# -B . !.
Em segundo lugar, tomando C B $, ou seja, fazendo uma substituio
B C $, , foram conduzidos equao na varivel C
, , ,
C $ ,C # -C . !
$ $ $
que, depois de desenvolvida e simplificada, se escrevia na forma equivalente
C $ :C ; !,
#
#,$
onde : ,$ - e ; #( ,-
$ . (o objectivo era precisamente anular o

1
coeficiente do termo com C# ). As solues da equao de partida podiam ento
ser obtidas subtraindo $, s solues da equao incompleta na varivel C .
Exerccio 1. Desenvolva e simplifique o primeiro membro da equao
, , ,
C $ ,C # -C . !
$ $ $
de modo a concluir que ela se pode escrever na forma C$ :C ; !, com : e
# $
; dados por : ,$ - e ; #, ,-
#( $ . .

No fim da primeira metade do sculo XVI foi finalmente descoberta, por

algebristas italianos das universidades de Bolonha e Milo, uma frmula que,
quando fizer sentido, fornece uma das solues da equao do terceiro grau
C $ :C ; !,
a saber

C .
$ ; ;# :$ $ ; ;# :$
# % #( # % #(

Esta frmula conhecida por frmula de Cardano1.

Exerccio 2. Notemos, para fixar ideias,

E , F
$ ; ;# :$ $ ; ;# :$
# % #( # % #(

supondo, claro, que as expresses nos segundos membros fazem sentido, isto
#
:$
que ;% #( ! .2
a) Mostre que E$ F $ ; .
b) Mostre que EF :$ .
c) Utilize as concluses de a) e b) e o desenvolvimento de E F$ (binmio de
Newton) para demonstrar a frmula de Cardano, isto , para concluir que
C E F efectivamente uma soluo da equao C $ :C ; !.
A frmula de Cardano, apesar do seu interesse terico, levanta algumas
questes:
A primeira tem a ver com o facto de que, como sabemos do estudo das
funes polinomiais de grau $, uma equao do terceiro grau pode ter ", # ou $
solues; no entanto, a frmula da Cardano s d uma dessas solues Porque
ser que essa soluo h-de ter mais direitos que as outras?
Examinemos um caso concreto:

1Associa-se habitualmente a descoberta desta frmula a Scipione del Ferro ou a Tartaglia,

mas ela foi divulgada por Cardano em 1545.
2Convm recordar que s os nmeros reais no negativos que tm raz quadrada mas
que, pelo contrrio, todos os nmeros reais tm raz cbica.

2
Exerccio 3. Considere a equao do terceiro grau B$ $B # !
a) Verifique que a frmula de Cardano conduz soluo # desta equao.
b) Utilize a raz # do polinmio B$ $B # para o decompor como produto de
dois polinmios de grau inferior e, a partir dessa decomposio, determine as
restantes solues da equao considerada.
c) Utilize a sua calculadora grfica para interpretar geometricamente as solues
obtidas (conferir com a figura 1 adiante).
Uma segunda caracterstica desagradvel da frmula de Cardano a sua
tendncia para mascarar solues simples. Pensemos, por exemplo, na equao
B$ #B % !.
Utilizando a calculadora grfica para tentar prever o que podero ser as solues
desta equao, obtemos um grfico como o da figura 2.

1
1

1
1

Figura 1 Figura 2
Do exame do grfico somos levados a concluir que a equao tem apenas
uma soluo, que parece ser #. Por substituio na equao, conclumos que
# efectivamente a soluo. claro que, no havendo neste caso outra
soluo, a frmula de Cardano deve conduzir soluo #. Ora, aplicando-a,
obtemos as seguintes expresses para a soluo:

3
 # % # %
$ ) $ )

#( #(

# #
$ "!! $ "!!

#( #(

"! "!
$
# $
#
$ $ $ $

"!$ "!$
# #
$ $
.
* *
Apesar de todas as tentativas de simplificao, no parece existir nenhum
processo simples directo de verificar que a expresso anterior igual a #. No
entanto, ela igual a #, visto que sabemos que a expresso fornece uma raz e
que # a nica raz!
Exerccio 4. a) Utilize a sua calculadora para determinar o valor aproximado da
expresso # "!* $ # "!* $ e repare que a resposta simplesmente
$ $

#.
b) Ser que o valor obtido na calculadora pode ser considerado como uma prova
de que a expresso na alnea a) exactamente igual a #?
$
c) Calcule e simplifique o cubo das expresses " $$ e " $ e utilize os
resultados obtidos para simplificar a expresso na alnea a).3
Examinemos enfim uma ltima dificuldade levantada pela frmula de
Cardano e que acabou por revelar-se de grande utilidade por ter originado o
aparecimento de um novo instrumento matemtico de grande importncia, que
estudaremos em breve, a teoria dos nmeros complexos.
Pensemos na equao do terceiro grau
B$ (B ' !
e vejamos qual a soluo desta equao que proposta pela frmula de Cardano.
Obtemos ento para a soluo a expresso

$ * $ *
$ $%$ $ $%$

#( #(

$ $
$ "!! $ "!!
.
#( #(

Mas isto muito estranho! Os nmeros negativos no tm raz quadrada e

3Assim at parece fcil simplificar a expresso No entanto no havia razes para

advinhar quais os candidatos a raz cbica.

4
portanto a expresso anterior no tem significado. Ela no define assim nenhuma
soluo da equao! Podamos pensar que estvamos em presena de uma
situao anloga da equao do segundo grau, em que o aparecimento da raz
quadrada de um nmero negativo na frmula resolvente indicava a inexistncia
de soluo. Mas no, ns sabemos que, no caso das equaes do terceiro grau,
existe sempre soluo. Utilizando, como antes, a calculadora grfica para tentar
prever o que podero ser as solues desta equao, obtemos um grfico como o
da figura 3.

Figura 3
Do exame do grfico somos levados a conjecturar a existncia de trs solues,
aproximadamente $, " e #. Substituindo na equao conclumos que, efectiva-
mente $, " e # so as solues da equao. No entanto, neste caso, a frmula
de Cardano no fornece nenhuma das trs solues, uma vez que envolve a raz
quadrada de um nmero negativo.4
Os matemticos italianos do sculo XVI recusaram-se a aceitar que a frmula
de resoluo da equao do terceiro grau, obtida com tanta dificuldade, pudesse
falhar desta maneira. A forma que encontraram de tornear o problema foi a de
imaginar que, para alm dos nmeros reais que todos conhecemos, deviam
existir uma espcie de fantasmas que ningum via mas com os quais era
possvel trabalhar, usando, em particular, as mesmas operaes que se usavam
no quadro dos nmeros reais. Os nmeros reais negativos passariam a ter razes
quadradas, que seriam fantasmas e no nmeros reais, e a frmula de Cardano,
apesar de nos passos intermdios passar por alguns fantasmas, devia, depois
de todas as operaes feitas, conduzir a uma das solues.

4Ironicamente, pode verificar-se que exactamente no caso em que a equao tem mais
solues que a frmula de Cardano no fornece nenhuma delas.

5
 A aceitao dos novos nmeros, a que hoje se d o nome de nmeros
complexos, no foi pacfica na comunidade matemtica mas a riqueza das suas
aplicaes foi-os impondo pouco a pouco. S mais de dois sculos mais tarde,
no incio do sculo XIX, os novos nmeros passaram a ser aceites sem
restries, graas, em particular, sua interpretao geomtrica, como pontos ou
vectores dum plano, que teremos ocasio de examinar adiante.

2. Os nmeros complexos dum ponto de vista axiomtico.

Vamos estudar nesta seco os nmeros complexos de um ponto de vista

axiomtico. Quer isso dizer que no nos preocupamos em saber exactamente o
que so os nmeros complexos, vamos simplesmente supr que eles existem e
que no seu contexto esto definidas operaes, como a soma e a multiplicao,
anlogas s definidas no contexto do nmeros reais. Explicitamos ento algumas
propriedades que admitimos que essas operaes vo verificar (os axiomas). Em
seguida examinaremos algumas propriedades que podem ser deduzidas daquelas
que foram admitidas. De certo modo, colocamo-nos na posio dos matemticos
italianos que primeiro estudaram os nmeros complexos, no sculo XVI, apesar
de no nos preocuparmos em seguir exactamente os seus passos.5

Axioma 1. Vamos supor que os nmeros complexos constituem um

conjunto , que contm o conjunto dos nmeros reais, e que esto
definidas em duas operaes, adio e multiplicao, notadas
respectivamente e , que estendem as operaes correspondentes
nos nmeros reais.6

Repare-se que, quando dizemos que estas operaes estendem as correspon-

dentes operaes nos nmeros reais, estamos a significar que, dados dois
nmeros reais, a sua soma e o seu produto como nmeros complexos coincidem
com a sua soma e o seu produto como nmeros reais.

Axioma 2. Vamos supor que, tal como j acontecia no quadro dos

nmeros reais, a adio e a multiplicao verificam as propriedades
comutativa e associativa e que, alm disso, a multiplicao goza da
propriedade distributiva relativamente adio.

5O primeiro matemtico que estudou os nmeros complexos de forma sistemtica foi

Bombelli, da Universidade de Bolonha.
6Se quisssemos ser formalmente mais correctos, conviria separarmos os conceitos
primitivos, nmero complexo, , , do axioma propriamente dito que enuncia
propriedades desses conceitos. Pensamos, no entanto, que num texto introdutrio com a
natureza deste os valores da simplicidade justificam alguns compromissos ao nvel do
formalismo.

6
 Usando as letras D e A, eventualmente acompanhadas de plicas, como
variveis associadas a nmeros complexos, as propriedades comutativas
traduzem as identidades
D A A D , D A A D,
as propriedades associativas correspondem s identidades
D D w D ww D D w D ww , D D w D ww D D w D ww

e a propriedade distributiva expressa pelas identidades

D A Aw D A D Aw , D D w A D A D w A.

Tal como j acontecia no quadro dos nmeros reais, a propriedade associativa

permite utilizar sem ambiguidade as notaes D D w D ww e D D w D ww , assim
como as notaes anlogas com mais de trs parcelas ou factores. Tambm se
usam no quadro dos nmeros complexos as mesmas convenes de dispensa de
parnteses e de omisso do sinal que so habituais no contexto dos nmeros
reais. Por exemplo, D A Aw significa D A Aw , e no D A Aw , e
DA o mesmo que D A.

Axioma 3. O nmero real ! continua a ser um elemento neutro da

adio e um elemento absorvente da multiplicao em . O nmero real "
continua a ser um elemento neutro da multiplicao em .

O axioma precedente afirma que, para os nmeros complexos D , continuam a

ser vlidas as identidades
D ! D , ! D !, " D D .

As potncias de expoente natural de um nmero complexo D definem-se do

mesmo modo que no contexto dos nmeros reais: D " D , D # D D e, em
geral, D 8 designa o produto de 8 factores iguais a D .
Vamos agora verificar que, tal como o que acontece no quadro dos nmeros
reais, possvel definir o simtrico dum nmero complexo e a diferena de dois
nmeros complexos. Repare-se que, para isso, no necessitamos de nenhum
axioma novo. Comeamos com duas definies:

Se D , chamamos simtrico de D ao nmero complexo, que

notamos D , definido por
D " D.
Se D A , define-se a diferena A D pela frmula
A D A D.

claro que, quando os nmeros complexos em questo forem reais, o sim-

trico de D e a diferena A D definidos atrs coincidem com os correspondentes

7
conceitos j conhecidos nesse caso (as nossas definies estendem as j
conhecidas). Convir tambm verificar que as definies anteriores so
equivalentes s definies usuais de simtrico (como nico elemento que
somado com o dado d !) e de diferena A D (como nico elemento que
somado com D d A). Destaquemos esses resultados, que tero que ser provados:

Se D , o seu simtrico D o nico nmero complexo que somado

com D d !. Se D A , A D o nico nmero complexo que somado
com D d A.

Mostremos que A D o nico nmero complexo que somado com D d A.

Para isso, comeamos por mostrar que A D verifica essa condio: Ora,
podemos escrever
A D D A D D A " D " D
A " " D A ! D A ! A,

que exactamente o que pretendamos. Falta-nos ainda verificar que no h mais

nenhum nmero complexo, alm de A D , que verifica a propriedade referida.
Para isso, supomos que ? era um nmero complexo tal que ? D A e
tentamos provar que ? tem que ser igual a A D . Ora, partindo de ? D A,
podemos somar D a ambos os membros e obtemos sucessivamente
? D D A D,
? " D " D A D
? " " D A D
?!D AD
?!AD
? A D,
como queramos. Como caso particular do que acabamos de provar, obtemos a
caracterizao do simtrico: D ! D ! D o nico nmero
complexo que somado com D d !.
Exerccio 5. Examine com ateno as demonstraes anteriores, de modo a
descobrir quais os axiomas que foram sendo aplicados.

Exerccio 6. Demonstre a seguinte lei do corte para a adio de nmeros

complexos: Se A D Aw D , ento A Aw .

Exerccio 7. Demonstre a seguinte propriedade distributiva da multiplicao

relativamente subtraco:
D A Aw D A D Aw .

At agora os axiomas que apresentmos apenas afirmavam que os nmeros

complexos so semelhantes aos nmeros reais; em rigor at podia acontecer que

8
no existissem nmeros complexos para alm dos reais. O prximo axioma o
que vai garantir a existncia de nmeros complexos que no so reais, de facto
aqueles que estiveram na origem do aparecimento dos novos nmeros.

Axioma 4. Existe um nmero complexo, que notaremos 3, para o qual

se tem
3# 3 3 ".

Repare-se que o nmero complexo 3 no real, uma vez que ns sabemos

que no existe nenhum nmero real cujo quadrado seja negativo. Recordemos a
demonstrao de que no existe nenhum nmero real cujo quadrado seja menor
que !, para verificar por que razo essa demonstrao no se aplica no contexto
dos nmeros complexos (se se aplicasse, o axioma 4 seria contraditrio com os
anteriores).
Se B um nmero real arbitrrio, sabemos que, ou B ! ou B !. No
primeiro caso a propriedade que relaciona a multiplicao com a relao de
ordem implica que B# B B B ! !; no segundo caso essa mesma
propriedade implica que B# B B B ! !. Em qualquer dos casos
tem-se assim B# !, ou seja, B# nunca negativo.
A razo por que esta demonstrao no se aplica no quadro dos nmeros
complexos est em que, no contexto destes, no est definido o conceito de ser
maior que: No dizemos o que um nmero complexo ser maior que outro,
nem o que um nmero complexo ser maior que !, salvo quando os nmeros
complexos envolvidos forem nmeros reais. De facto, a demonstrao atrs
mostra que no possvel definir uma conceito de ser maior que no contexto
dos nmeros complexos, de modo que se continuem a verificar as propriedades
usuais de compatibilidade com a multiplicao.
Exerccio 8. a) Verifique que 3, tal como 3, uma raz quadrada de 1 (a
definio de raz quadrada anloga que conhece no contexto dos nmeros
reais)
b) Determine um nmero complexo que seja raz quadrada de *. Generali-
zando o que acaba de fazer, mostre que, no quadro dos nmeros complexos,
todos os nmeros reais tm raz quadrada7.
Vamos introduzir agora um ltimo axioma, que, intuitivamente, garante que
no h mais nmeros complexos do que os estritamente necessrios. Com
efeito, se + e , so nmeros reais, podemos considerar sucessivamente os
nmeros complexos ,3 , 3 e + ,3; o que o axioma afirma que qualquer
nmero complexo pode ser escrito nessa forma (costuma-se ento dizer que o
nmero complexo est escrito na forma algbrica).

7Verificaremos em breve que, mais geralmente, todos os nmeros complexos tm raz

quadrada.

9
 Axioma 5. Qualquer que seja D , existem nmeros reais + e , tais
que D + ,3.

O axioma anterior deixa um problema em aberto: Ser que um mesmo

nmero complexo se pode escrever de mais que um modo na forma + ,3? Por
exemplo, seria possvel que um certo nmero complexo se escrevesse
simultaneamente na forma # $3 e " &3? Se assim fosse, tinha-se portanto
# $3 " &3, de onde se deduzia, somando " $3 a ambos os membros,
que $ #3 e portanto tambm, multiplicando ambos os membros pelo real "# ,
que $# 3; mas isto absurdo, uma vez que j sabemos que 3 no um nmero
real, e portanto no pode ser igual a $# .
O raciocnio que acabamos de fazer, neste caso particular, pode ser feito
numa situao mais geral. Suponhamos que + , - . so nmeros reais e que se
tem + ,3 - .3. Somando a ambos os membros + .3, deduzimos a
igualdade ,3 .3 - +, ou seja , .3 - +. Se fosse , . !, a
igualdade anterior conduzia a um absurdo, visto que, multiplicando ambos os
" -+
membros pelo real ,. , obtnhamos 3 ,. , o que contrariava o facto de 3 no
ser real. Conclumos assim que tem que ser , . !, e portanto tambm
- + ! 3 !, ou seja, , . e + - . Acabmos portanto de provar o facto
importante seguinte:

Dados nmeros reais +, ,, - e . tais que + ,3 - .3, tem-se

necessariamente + - e , . .

Em geral, quando D + ,3, com + e , nmeros reais, dizemos que

+ a parte real de D e que , o coeficiente da parte imaginria de , , e
notamos
+ ReD, , ImD.
D-se o nome de imaginrios puros aos nmeros complexos cuja parte
real !, isto , queles que se podem escrever na forma ,3, com , .

Repare-se que o nmero ! simultaneamente real e imaginrio puro, uma

vez que tambm se pode escrever na forma ! ! 3.
Exerccio 9. Combinando o axioma 5 com o facto que acabamos de estabelecer,
vemos que qualquer nmero complexo pode ser escrito, de maneira nica, na
forma + ,3, com + e , nmeros reais. Para cada um dos nmeros complexos a
seguir indicados, indique quais os valores de + e , correspondentes:
a) 1; b) #3; c) " #3 # 3;
d) " #3 " $3; e) " 3 ; f) " $ 3$ .
#

10
Exerccio 10. Escreva na forma algbrica as seguintes potncias de 3:
a) 3$ ; b) 3% ; c) 3) ; d) 3#& ; e) 3"!# ; f) 3#!!$ .
Generalizando o mtodo que decerto seguiu, para calcular algumas das potncias
referidas, explicite uma regra prtica para calcular as potncias de expoente
natural de 3.

" $
Exerccio 11. Determine as razes quadradas do nmero complexo # 3, isto
$
#
"
, os nmeros complexos D B C3, com B C , tais que D #
# # 3.
No se assuste com o sistema de duas equaes do segundo grau nas incgnitas
B e C , que vai obter.
Vamos agora examinar, no contexto dos nmeros complexos, o problema da
diviso, como operao inversa da multiplicao. Tal como j acontecia no
contexto dos nmeros reais, a diviso s vai estar definida no caso em que o
divisor diferente de !.
Do mesmo modo que, para tratarmos do problema da subtrao, comemos
por definir o simtrico dum nmero complexo, vamos agora examinar o que vai
ser o inverso de um nmero complexo no nulo. Como passo auxiliar
comeamos por definir o conjugado de um nmero complexo.

Se D , definimos o seu conjugado D como sendo o nmero

complexo que tem a mesma parte real e coeficiente da parte imaginria
simtrico. Por outras palavras, se D + ,3, com + , , tem-se
D + ,3.

Repare-se que o nmero complexo D real se, e s se, D D .

Uma das razes da importncia do complexo conjugado est no facto de a
soma e o produto de um nmero complexo com o seu conjugado serem ambos
nmeros reais. Mais precisamente, sendo D + ,3, com + , , tem-se
D D + ,3 + ,3 #+,
D D + ,3 + ,3 + + ,3 ,3 + ,3
+# +,3 +,3 , # 3# +# , # .

A frmula para o produto especialmente importante, uma vez que ela nos
mostra que, no s conclumos que D D um nmero real, como podemos
afirmar que D D !, tendo-se mesmo D D ! no caso em que D ! (nesse
caso um dos nmeros reais + e , diferente de !, e portanto o seu quadrado
maior que !). Quando D um nmero complexo diferente de ! agora muito
fcil determinar um nmero complexo que multiplicado por D d ": Tem-se, com
efeito,
" "
D D # D D ".
+# , # + ,#

11
 Se D + ,3 um nmero complexo diferente de !, onde + , ,
define-se o seu inverso D " como sendo o nmero complexo
"
D " D,
+# ,#
tendo-se ento, como verificmos atrs, D D " ".

Podemos agora definir o quociente de um nmero complexo A por um

nmero complexo D ! e verificar que o quociente assim definido pode ser
caracterizado pela propriedade a que estamos habituados no contexto dos
nmeros reais.
A
Se A D , com D !, define-se o quociente D pela frmula
A
A D " .
D
Prova-se ento que AD o nico nmero complexo que multiplicado por D
d A. Em particular "D " D " D " o nico nmero complexo que
multiplicado por D d ".

Como fizmos no caso da subtraco, para provarmos a afirmao anterior,

temos que verificar duas coisas: Em primeiro lugar AD verifica a propriedade
referida, uma vez que
A
D A D " D A " A;
D
Em segundo lugar temos que provar que AD o nico nmero complexo que
verifica essa propriedade e, para isso, supomos que ? era um nmero complexo
que verifica a propriedade ? D A e deduzimos que tem que ser
A
? ? " ? D D " A D " .
D
Outra das consequncias importantes das propriedades precedentes o facto de,
no contexto dos nmeros complexos, continuarem a ser vlidas a lei do corte e a
propriedade do anulamento de um produto. Recordemos o enunciado destas
propriedades e justfiquemo-las.

Lei do corte: D A Aw , com D ! e D A D Aw , tem-se

A Aw .

Para justificarmos esta propriedade basta multiplicarmos ambos os membros

da igualdade D A D Aw por D " , obtendo-se D " D A D " D Aw
e portanto sucessivamente " A " Aw e A Aw .

12
 Lei do anulamento do produto: Dados D A , tem-se D A !
se, e s se, D ! ou A !.

J sabemos que, se D ! ou A !, ento D A ! (! um elemento

absorvente da multiplicao). O que falta ver que, se suposermos que
D A !, tem que ser D ! ou A !, ou seja, que, se D !, ento A !.
Ora, isso resulta, por exemplo, da lei do corte, uma vez que se tem
D A ! D !.

Exerccio 12. a) Mostre que, se D ! e A !, ento DA" D " A" .

b) Deduza daqui, pelo mtodo de induo, que, para cada nmero natural 8,
D 8 " D " 8
(o valor comum , por definio, e tal como nos nmeros reais, a potncia de
expoente negativo D 8 , continuando a definir-se D ! ").

Exerccio 13. Mostre que, no quadro dos nmeros complexos, continua a ser
vlida a seguinte propriedade das fraces: Se multiplicarmos ambos os
membros de uma fraco por um mesmo nmero complexo, diferente de !, no
alteramos o respectivo valor; por outras palavras, dados nmeros complexos
A D D w , com D ! e D w !, tem-se
A A Dw
.
D D Dw

A propriedade que acabamos de referir aplicada com frequncia em vrias

situaes. Uma delas no clculo prtico do quociente de dois nmeros
complexos AD sem precisarmos de saber de cor a frmula para D " utilizada na
respectiva definio. Expliquemos, com um exemplo, o mtodo que costume
seguir: Suponhamos que queremos calcular, na forma algbrica, o quociente "3
#3 .
O que fazemos multiplicar ambos os membros da fraco pelo conjugado do
denominador, de forma a ficarmos na situao mais simples em que o
denominador um nmero real:
"3 " 3# 3 # 3 #3 3# " $3 " $
3.
#3 # 3# 3 % #3 #3 3# & & &

Exerccio 14. Determine na forma algbrica o seguintes quocientes:

"$ " #3
a) , b) .
$ #3 3

Exerccio 15. Se D , chamam-se razes quadradas de D aos nmeros

complexos A tais que A# D .
a) Mostre que ! tem uma nica raz quadrada, a saber o prprio !.

13
b) Mostre que, se D ! e A uma raz quadrada de D , ento D tem precisamente
duas razes quadradas, a saber A e A. Sugesto: Repare que, para cada nmero
complexo ?, tem-se ?# D ? A? A.
c) Generalizando o que fez no exerccio 11, mostre que qualquer nmero
complexo D + ,3 (+ , ) tem uma raz quadrada.8
No exerccio anterior verificmos que todo o nmero complexo D ! tem

expresso D , com a excepo do caso em que D um nmero real maior ou

duas razes quadradas. Apesar disso, evita-se, sempre que possvel, escrever a

igual a !. Com efeito, constata-se que no existe nenhum processo razovel de

D (no caso em que D e D !, D continuar a designar a raz quadrada

escolher, para qualquer D , qual das duas razes quadradas deve ser designada por

utilizar o smbolo D , fora do quadro em que D um real maior ou igual a !,

que maior ou igual a !). Quando tivermos, mesmo assim, necessidade de

estar subentendido que ele designa uma das duas razes quadradas de D , que foi
escolhida mas no se est a explicar qual .

es, faamos a pergunta se a igualdade9 3 " verdadeira ou falsa. A

Como exemplo do tipo de problemas que levantado por estas indetermina-

mas 3 outra, pelo que to legtimo escrever 3 " como 3 " e

resposta : No sabemos. Com efeito, 3 uma das duas razes quadradas de ",

no queremos decerto deduzir daqui que 3 3 !

Exerccio 16. Dado um nmero complexo geral D , quais das seguintes
afirmaes podem ser garantidas como verdadeiras ou como falsas e quais tm

a) D# D ;
um valor de verdade que no se pode determinar?

b) D # D ;
c) 3 " 3 " .10
d) " 3 3.

3. Interpretao geomtrica dos nmeros complexos. A forma

trigonomtrica dos nmeros complexos.

Tendo em conta o que estudmos na seco precedente, podemos considerar

uma correspondncia biunvoca entre o conjunto dos nmeros complexos e o
conjunto # dos pares ordenados de nmeros reais, correspondncia que a cada
nmero complexo D associa o par ordenado B C tal que D B C3.

8Encontraremos na prxima seco um processo mais simples de verificar que qualquer

nmero complexo tem uma raz quadrada.
9Por alguns autores apresentada como definio de 3.
10quando a mesma raz quadrada aparece duas vezes numa certa expresso, fica
subentendido que ela se refere nas duas posies ao mesmo valor.

14
 A correspondncia biunvoca que acabamos de referir recorda-nos decerto
uma situao anloga, j estudada no dcimo ano:
Fixemos, com efeito, um referencial dum plano, determinado por uma origem
S e por dois vectores /B e
/C . Sabemos ento que o conjunto # dos pares de
nmeros reais est em correspondncia biunvoca tanto com o conjunto dos
vectores do plano como com o conjunto dos pontos do plano. Essas
correspondncias associam a cada par B C o vector e o ponto com aquelas
coordenadas.

ey

O ex
Figura 4
Combinando as duas situaes, constatamos que o conjunto dos nmeros
complexos, pode ser posto em correspondncia biunvoca tanto com o conjunto
dos vectores do plano como com o conjunto dos ponto do plano. Essas
correspondncias associam naturalmente a cada nmero complexo D B C3,
com B C , o vector ? e o ponto T cujas coordenadas so B C (tem-se

assim ? ST ).

No contexto precedente, dizemos que o ponto T B C o afixo do

nmero complexo D B 3C e que o vector ? B C o seu afixo
vectorial.

As correspondncias biunvocas, que acabamos de referir, pressupem a

fixao do referencial do plano e, para assegurar a validade de algumas conclu-
ses que obteremos adiante, suporemos sempre que os vectores /B e
/C so
ortogonais e de norma igual a ". tambm costume, embora no seja
indispensvel, escolher o referencial de forma que, para rodarmos /B para
/C
pelo caminho mais curto, nos desloquemos para a esquerda.11 Em qualquer
caso, neste contexto, consideramos sempre que o sentido directo o
correspondente rotao mais curta de /B para
/C .

11Por outras palavras, temos um referencial ortonormado directo. Como j tivmos

ocasio de referir em anos anteriores, a afirmao sobre os comprimentos pressupe a
fixao de uma unidade de comprimento e a noo de esquerdo e direito tem um
significado relativo, que varia com a posio do observador.

15
Exerccio 17. Determine, no contexto da figura 4, o afixo e o afixo vectorial de
cada um dos seguintes nmeros complexos:
a) " #3; b) # 3; c) "; d) 3.

Exerccio 18. Determine os nmeros complexos cujos afixos vectoriais so

vectores
? ,
@ e A , assinalados na figura 5. Quais os pontos do plano que so
afixos desses nmeros complexos?

ey u
v
O ex
w
Figura 5
A representao geomtrica dos nmeros complexos por pontos do plano,
descoberta no incio do sculo XIX, teve grande importncia histrica, em parti-
cular por ajudar muitos matemticos renitentes a aceitar os nmeros complexos
como algo que existia verdadeiramente. Um dos matemticos associados a essa
descoberta o suo Argand e ainda hoje se costuma chamar plano de Argand
(ou, simplesmente, plano complexo) a um plano em que se fixou um referencial
ortonormado, com o objectivo de representar os nmeros complexos.
Para alm da importncia histrica que referimos, a representao geomtrica
revelou-se de grande utilidade pelo modo como ela traduz as diferentes noes
envolvendo nmeros complexos, em particular as operaes que os envolvem.
Como primeiro exemplo de traduo desse tipo, temos a interpretao
geomtrica da soma de nmeros complexos: Se D B C3 e A + ,3, ento
D A B + C ,3, por outras palavras, a parte real da soma de dois
nmeros complexos a soma das suas partes reais e o coeficiente da parte
imaginria da soma de dois nmeros complexos a soma dos coeficientes das
suas partes imaginrias. Por outro lado, tambm sabemos que a abcissa e a
ordenada da soma de dois vectores so respectivamente a soma das abcissas e a
soma das ordenadas desses vectores. Juntando estes dois factos chegamos
seguinte concluso:

O afixo vectorial da soma de dois nmeros complexos igual soma

dos afixos vectoriais desses nmeros complexos.

As duas propriedades que enunciamos em seguida tm uma justificao

inteiramente anloga:

O afixo vectorial da diferena de dois nmeros complexos igual

diferena dos afixos vectoriais desses nmeros complexos.

16
 O afixo vectorial do produto de um nmero real + por um nmero
complexo igual ao produto de + pelo afixo vectorial desse nmero
complexo.

Repare-se que no dizemos nada, de momento, sobre o afixo vectorial do

produto de nmeros complexos; isso ser feito mais tarde, quando tivermos
estudado a forma trigonomtrica dos nmeros complexos.
Exerccio 19. Na figura 6 o vector D o afixo vectorial de um certo nmero
complexo D . Determine os afixos vectoriais dos nmeros complexos:
a) D #; b) D 3; c) $# D .

ey
z
O ex
Figura 6

Exerccio 20. Na figura 7 os pontos T e U so os afixos de dois nmeros

complexos D e A, respectivamente.
a) Determine o afixo vectorial do nmero complexo D A, representando-o
como uma seta com origem no afixo U de A.
b) Determine o afixo de D A.

ey Q

O ex
Figura 7

Com frequncia, para tornar mais intutiva a representao, assinala-se o afixo

e o afixo vectorial de um nmero complexo com o mesmo smbolo que denota
esse nmero complexo. tambm frequente no desenhar explicitamente os
vectores /B e
/C , representando apenas os eixos acompanhados de alguma
informao que torne claros a unidade de comprimento e os sentidos positivos.

17
As figuras 8 e 9 exemplificam essas convenes.

-1/2+i
i
1+i/2 1+i

i
1 1

-1-i 1-i

Figura 8 Figura 9
Definimos na seco precedente o conjugado de um nmero complexo
D B C3 (B C , como sendo o nmero complexo D B C3, que tem a
mesma parte real e coeficiente da parte imaginria simtrico. A interpretao
geomtrica do conjugado simples: O afixo e o afixo vectorial do conjugado do
nmero complexo D tm a mesma abcissa que os de D e ordenadas simtricas. A
conjugao dos nmeros complexos corresponde assim geometricamente
simetria relativamente ao eixo das abcissas:

O afixo e o afixo vectorial do conjugado D de um nmero complexo D

so simtricos, relativamente ao eixo das abcissas do afixo e do afixo
vectorial de D .

z
w
1

w z

Figura 10

Exerccio 21. a) Quais sero os nmeros complexos cujos afixos esto no eixo
das abcissas?
b) Interprete a concluso de a), tendo em conta que os nmeros reais so

18
exactamente os nmeros complexos que coincidem com os respectivos
conjugados.
c) Quais sero os nmeros complexos cujos afixos esto no eixo das ordenadas?
Examinamos em seguida duas propriedades importantes dos conjugados dos
nmeros complexos. Consideremos ento dois complexos D B C3 e
A + ,3.
Se somarmos primeiro os nmeros complexos e considerarmos depois o
conjugado do resultado, obtemos sucessivamente
D A B + C ,3
D A B + C ,3.
Por outro lado, se comearmos por considerar os conjugados D B C3 e
A + ,3 dos nmeros complexos e somarmos estes conjugados, obtemos o
mesmo resultado:
D A B + C ,3.
Com a multiplicao, acontece um fenmeno anlogo: Tem-se
D A B C3+ ,3 B+ B,3 C+3 C,3#
B+ C, B, C+3

donde
D A B+ C, B, C+3,
e, por outro lado, multiplicando os conjugados, obtemos o mesmo resultado:
D A B C3+ ,3 B+ B,3 C+3 C,3#
B+ C, B, C+3.
Podemos assim destacar as seguintes concluses:

O conjugado da soma de dois nmeros complexos igual soma dos

respectivos conjugados e o conjugado do produto de dois nmeros
complexos igual ao produto dos respectivos conjugados. Tem-se assim:
D A D A, D A D A .

A noo de complexo conjugado vai ajudar-nos a estender ao contexto dos

nmeros complexos uma noo bem conhecida no quadro dos nmeros reais, a
de mdulo ou valor absoluto. Recordemos que, se B um nmero real, o seu
mdulo lBl o nmero real maior ou igual a ! definido por

lBl
B, se B !
B, se B !

(lembrar que a definio no levanta problema uma vez que, se B !, ambas as

19
expresses B e B do o mesmo valor !). Esta maneira de definir o mdulo no
se pode aplicar aos nmeros complexos gerais, uma vez que, como j referimos,
para estes no definimos o que ser ! ou !. Podemos tentar tirar partido

frmula que bem conhecemos lBl B# . Tambm aqui havia um problema em

de outra caracterizao equivalente do mdulo dum nmero real, a saber da

tentar generaliz-la directamente para definir o mdulo dum nmero complexo,

sabemos quais das duas razes devemos considerar na expresso D # e, alm

uma vez que, em geral, se D , D # um nmero complexo, pelo que no

disso, nenhuma dessas razes , em geral, um nmero real maior ou igual a !.

H, no entanto, uma pequena adaptao que permite que a nossa ideia funcione,
que a de considerar o produto D D , no lugar de D # . Essa modificao no
altera nada no caso em que D real, visto que ento D D . A razo porque esta
adaptao resolve o nosso problema est em que, como j observmos, quando
construmos o inverso dum nmero complexo, D D sempre um nmero real
maior ou igual a !, s sendo igual a ! quando D !. Com efeito, como j
tnhamos observado, se D B C3, com B C ,
D D B C3B C3 B# BC3 BC3 C # 3# B# C # .
Podemos finalmente apresentar a definio de mdulo de um nmero
complexo, generalizando a de mdulo de um nmero real.

Chama-se mdulo do nmero complexo D ao nmero real maior ou

igual a !

lDl D D .
Sendo D B C3, com B C , tem-se assim
lDl B# C # .

Recordando a frmula que nos d o comprimento de um vector, a partir das

suas coordenadas num referencial ortonormado, a segunda caracterizao do
mdulo, que acabamos de apresentar, conduz-nos seguinte interpretao
geomtrica:

O mdulo dum nmero complexo D igual norma do seu afixo

vectorial, e portanto tambm distncia origem do seu afixo.

Exerccio 22. Determine os mdulos dos seguintes nmeros complexos:

a) " 3; b) $ %3; c) 3; d) #.
Da caracterizao lDl D D do mdulo dum nmero complexo podemos
deduzir que, no contexto destes nmeros continua a ser vlida uma propriedade
bem conhecida no caso dos nmeros reais. Calculemos, com efeito, o mdulo do

20
produto de dois nmeros complexos:

lD Al D A D A D D A A
D D A A lDl lAl.

Quaisquer que sejam os nmeros complexos D A, tem-se

lD Al lDl lAl.

Exerccio 23. a) Mostre que, se D , ento o conjugado D , do nmero

complexo D , igual a D : D D .
b) Mostre que se tem lDl lDl.
c) Mostre que, se D !, ento o conjugado de "D D" .
d) Mostre que, se D !, ento l "D l lDl
"
.

Exerccio 24. Mostre que, quaisquer que sejam D A , tem-se

lD Al lDl lAl.

Sugesto: Reduza esta desigualdade desigualdade anloga que envolve dois

vectores B e
A do plano ou do espao: mD m mAm
Am mD . Justifique esta
ltima com a ajuda da desigualdade bem conhecida entre os comprimentos dos
trs lados de um tringulo

Exerccio 25. Determine no plano de Argand o conjunto dos afixos dos nmeros
complexos de mdulo #.

Exerccio 26. Determine no plano de Argand os conjuntos dos afixos dos

nmeros complexos D que verificam cada uma das seguintes condies:
a) lD 3l ". Sugesto: Repare que o afixo vectorial de D 3 o vector com
origem em 3 e extremidade D e interprete, por esse facto, o significado
geomtrico de lD 3l.
b) lD 3l ". Sugesto: Repare que D 3 D 3.
c) lD "# l lD 3l.
d) lD "l " lDl lD " 3l.
e) lDl " lD 3l ".
f) lD 3l lD "l lD 3l.
No contexto do exerccio precedente, podemos considerar que os subcon-
juntos do plano de Argand so determinados pelas condies envolvendo o
nmero complexo D . No exerccio seguinte propomos o problema recproco: So
dados certos subconjuntos do plano de Argand e procuramos determinar
condies, envolvendo a varivel complexa D , que definam esses subconjuntos.

21
Exerccio 27. Procure, para cada um dos subconjuntos do plano de Argand
sugeridos nas figuras 11 a 14, uma condio envolvendo a varivel complexa D ,
que determine esse conjunto.

1 1

Figura 11 Figura 12

1 1

Figura 13 Figura 14
Vamos agora estudar a noo de argumento de um nmero complexo
diferente de !, que comeamos por definir a partir da representao geomtrica
do nmero complexo no plano de Argand.

Dado um nmero complexo D !, consideremos no plano de Argand

a semirecta de origem S que contm o afixo de D . Chamamos argumento
de D a qualquer dos ngulos de movimento que conduz do semi-eixo
positivo das abcissas semi-recta referida.

Nas figuras 15 a 17 esto sugeridos trs argumentos para o nmero complexo

D " 3, a saber, usando o radiano como unidade de medida, 1% , *%1 1% #1 e
(%1 1% #1.

22
 1+i 1+i 1+i

O 1 O 1 O 1

Figura 15 Figura 16 Figura 17

O argumento de um nmero complexo no nulo tem assim o mesmo tipo de
indeterminao que j apareceu no estudo do dcimo primeiro ano quando se
referiram os ngulos de movimento que podem levar de uma posio de uma
semirecta para outra, com a mesma origem:

Se ! um argumento do nmero complexo no nulo D , ento os

diferentes argumentos de D so precisamente os nmeros da forma
! 5 #1, com 5 . 12

Repare-se que, uma vez que um dado nmero complexo admite vrios
argumentos, no faz sentido usarmos uma expresso do tipo o argumento de D
devendo preferir-se uma do tipo um argumento de D .
Pelo contrrio, uma vez que, dado < !, em cada semi-recta de origem S
existe um nico ponto da semi-recta distncia < de S, podemos dizer que o
mdulo e um dos argumentos determinam completamente um nmero complexo.
Mais precisamente:

Dados < ! e ! , existe um nico complexo de mdulo < que

admite ! como um dos seus argumentos.

Exerccio 28. a) Por que razo s se definiu a noo de argumento para os

nmeros complexos diferentes de !?
b) Determine um nmero complexo A com os mesmos argumentos que
D # $3 mas diferente de D .
c) Quais os argumentos dos nmeros reais positivos?
d) Se ! um dos argumentos de um nmero complexo D , determine dois
argumentos diferentes do nmero complexo $D .
e) Se ! um dos argumentos de um nmero complexo D , determine um
argumento do nmero complexo conjugado D .
Vamos agora estudar o modo de determinar um argumento particular de um
nmero complexo dado na forma algbrica D B C3 e, reciprocamente, o de

12Lembrar que o argumento um ngulo e que, portanto, quando nenhuma outra unidade
for indicada, est subentendido que a unidade considerada o radiano ($'! #1).

23
determinar, na forma algbrica, um nmero complexo do qual se conhece o seu
mdulo e um dos seus argumentos.
Consideremos primeiro um nmero complexo D B C3 de mdulo ",
portanto com B# C # ". O afixo de D est portanto na circunferncia de centro
S e raio ", ou seja, no crculo trigonomtrico. O que estudmos no dcimo
primeiro ano diz-nos ento que, sendo ! um dos argumentos de D , isto , um dos
ngulos de movimento que conduz semi-recta definida pelo afixo, tem-se, por
definio, cos! B e sen! C . Em resumo, podemos dizer que:

O nmero complexo D de mdulo " que admite ! como um dos seus

argumentos
D cos! sen! 3.

agora muito fcil estender o enunciado precedente de forma a considerar

nmeros complexos com mdulo < ! arbitrrio. Basta, com efeito, reparar
que, multiplicando por < um nmero complexo de mdulo ", obtemos um nme-
ro complexo de mdulo < que admite os mesmos argumentos que o primeiro (o
seu afixo est na mesma semi-recta com origem S). Conclumos assim que:

Se < ! e ! , o nmero complexo de mdulo < que admite !

como um dos seus argumentos
D < cos! sen! 3.
Costuma dizer-se que esta a forma trigonomtrica do nmero com-
plexo.

Por razes puramente estticas, a forma trigonomtrica do nmero

complexo D com mdulo < e com ! como um dos argumentos costuma
ser escrita
D < cos! 3 sen!.
Com frequncia, principalmente no contexto do Ensino Secundrio,
utiliza-se tambm a seguinte forma abreviada
D < cis!
ou ainda, omitindo parnteses,
D < cis !. 13

13As letras cis tentam lembrar, respectivamente co-seno, 3 e seno. No contexto da

Matemtica mais avanada, em que se define a exponencial de base / e expoente
complexo, em vez de cis! utilia-se a expresso, com o mesmo significado, /3! .

24
Exerccio 29. a) Determine na forma algbrica o nmero complexo de mdulo #
que admite #$1 como um dos argumentos.

do coeficiente da parte imaginria, o nmero complexo de mdulo # que

b) Determine na forma algbrica, com aproximao s milsimas da parte real e

admite 1* como argumento.

Ao resolver o exerccio precedente, decerto constatou como simples passar
da forma trigonomtrica de um nmero complexo para a sua forma algbrica. O
caminho inverso, apesar de no ser to directo, tambm no difcil de
percorrer.
Um dos modos de passar da forma algbrica para a forma trigonomtrica
consiste em comear por determinar o mdulo e, em seguida, dividir o nmero
complexo pelo seu mdulo. Obtm-se assim um nmero complexo de mdulo "
com os mesmo argumentos que o primeiro (o afixo est na mesma semi-recta
com origem em S). Uma vez que a parte real e o coeficiente da parte imaginria
deste nmero complexo de mdulo " so respectivamente o co-seno e o seno de
qualquer dos seus argumentos, muito fcil de determinar estes (ou, pelo menos,
valores aproximados com o auxlio da calculadora).
Quando apenas pretendemos determinar o argumento de um nmero
complexo D B 3C , cuja parte real B no nula, existe um caminho porven-
tura mais directo de determinar um argumento ! de D , que consiste em lembrar
que BC o declive da recta que contm o afixo de D , e portanto que tg! BC , o
que nos permite deduzir um valor do argumento, eventualmente com o auxlio da
calculadora, tendo em conta o facto de o quadrante do afixo de D ser conhecido a
partir dos sinais de B e C.
Exerccio 30. Determine o mdulo e um argumento particular para cada um dos

a) " $3; b) "+3;

nmeros complexos seguintes:
c) 3; d) #.

Exerccio 31. Determine o mdulo e um valor aproximado s milsimas de um

argumento do nmero complexo $ %3.
A importncia principal da representao trigonomtrica dos nmeros
complexos est na interpretao geomtrica da multiplicao destes que vamos
encontrar em seguida.

Consideremos ento dois nmeros complexos no nulos D e A, o primeiro com

mdulo < e admitindo ! como um dos seus argumentos e o segundo com mdulo
= e admitindo " como um dos seus argumentos. Tem-se assim
D <cos! 3 sen!
A =cos" 3 sen" .
Efectuando a multiplicao, obtemos o resultado seguinte:

25
D A <=cos!cos" cos!sen" 3 sen!cos" 3 sen!sen"3#
<=cos!cos" sen!sen" 3 sen!cos" cos!sen".

Este resultado pode parecer pouco interessante se no o relacionarmos com duas

frmulas que encontrmos no estudo do dcimo primeiro ano, envolvendo o
co-seno e o seno da soma de dois ngulos:
cos! " cos!cos" sen!sen"
sen! " sen!cos" cos!sen" .
Tendo presente estas frmulas, podemos ento escrever
D A <=cos! " 3 sen! " .
Podemos ento destacar a seguinte propriedade:

Sendo
D <cos! 3 sen!
A =cos" 3 sen" ,
dois nmeros complexos no nulos, tem-se
D A <=cos! " 3 sen! " .
Por outras palavras, o produto de dois nmeros complexos no nulos tem
mdulo igual ao produto dos mdulos dos dois complexos14 e admite
como argumento a soma de dois argumentos arbitrrios destes.

Exerccio 32. Considere os nmeros complexos

1 1
D cos 3 sen ,
' '
1 1
A cos 3 sen .
$ $
a) Determine, primeiro na forma trigonomtrica e seguidamente na forma
algbrica, o nmero complexo D A.
b) Determine, na forma trigonomtrica, o nmero complexo AD .
Sugesto: Lembre que AD o nmero complexo que multiplicado por D d A.
c) Determine na forma trigonomtrica os nmeros complexos 3D e D .
Sugesto: Repare na forma trigonomtrica dos nmeros 3 e ".
Uma interpretao interessante da forma trigonomtrica do produto de dois
nmeros complexos corresponde a pensar na interpretao geomtrica da
multiplicao de um nmero complexo A pelo nmero complexo de mdulo "
cos! 3 sen!: Uma vez que obtemos um nmero complexo com o mesmo

14Esta parte da concluso j era nossa conhecida.

26
mdulo que A e com um argumento igual ao de A somado com !, podemos
dizer que a multiplicao corresponde a rodar o afixo de A do ngulo ! em torno
da origem.
Um caso particular importante da observao anterior o correspondente
multiplicao por 3: Uma vez que 3 cos 1# 3 sen 1# , podemos dizer que,
quando multiplicamos um nmero complexo por 3, rodamos o respectivo afixo
em torno da origem de um ngulo recto, no sentido directo.
Exerccio 33. Na figura 18 est representado o conjunto dos afixos de um certo
conjunto T de nmeros complexos.
a) Represente na figura o conjunto dos afixos dos nmeros complexos 3D , com
D T.
b) Represente na figura o conjunto dos afixos dos nmeros complexos D tais que
3D T.

Figura 18

Ao resolver a alnea b) do exerccio 32 decerto descobriu como deduzir uma

frmula para o quociente de dois nmeros complexos na forma trigonomtrica:

Sendo
D <cos! 3 sen!,
A =cos" 3 sen" ,
dois nmeros complexos no nulos, tem-se
D <
cos! " 3 sen! " .
A =
Por outras palavras, o quociente de dois nmeros complexos no nulos
tem mdulo igual ao quociente dos mdulos dos dois complexos e admite
como argumento a diferena de dois argumentos arbitrrios destes.

A explicao simples: Uma vez que AD o nico nmero complexo que

multiplicado por A d D , s temos que reparar que o produto dos nmeros
complexos

27
 <
cos! " 3 sen! "
=
=cos" 3 sen"
efectivamente D <cos! 3 sen!, e isso uma consequncia da frmula
para o produto de nmeros complexos dados na forma trigonomtrica.
Exerccio 34. Sendo
D <cos! 3 sen!,
um nmerto complexo no nulo, determine, na forma trigonomtrica, os
seguintes nmeros complexos:
a) "D ; b) D # ; c) D $ ; d) D % .

Exerccio 35. Generalizando o que fez nas alneas b), c) e d) do exerccio

precedente, prove, por induo, a frmula que destacamos em seguida, para a
potncia de um nmero complexo dado na forma trigonomtrica.

Frmula de Moivre: Sendo

D <cos! 3 sen!
um nmero complexo no nulo e 8 " um inteiro, tem-se
D 8 <8 cos8! 3 sen8!.

Exerccio 36. a) Escreva na forma trigonomtrica cada um dos seguintes

nmeros complexos e represente os respectivos afixos no plano de Argand:

D" $ 3, D# $ 3, D$ #3.

b) Determine, primeiro na forma trigonomtrica e depois na forma algbrica, os

nmeros complexos D"$ , D#$ e D$$ .
c) Acabou de concluir que D" , D# e D$ so trs razes cbicas distintas de )3.
Utilize a forma de Moivre para mostrar que no existe mais nenhuma raz cbica
de )3.

Exerccio 37. a) Utilize a frmula de Moivre para determinar, primeiro na forma

trigonomtrica e depois na forma algbrica, as razes quadradas do nmero

complexo "# #$ 3. Compare o resultado com os valores obtidos no exerccio
11.
b) Determine na forma algbrica as razes quartas de %.
c) Com o auxlio da sua calculadora, determine valores aproximados s mil-
simas para a parte real e para o coeficiente da parte imaginria de cada uma das

28
razes stimas de 3. Represente aproximadamente os afixos dessas razes stimas
no plano de Argand.
Ao resolver os exerccios precedentes, decerto descobriu uma propriedade
geral das razes de ndice 8 de um nmero complexo no nulo que mostra que,
nesse aspecto, os nmeros complexos se comportam de uma maneira mais
regular que os nmeros reais. Recordemos que, no contexto dos nmeros reais,
quando 8 mpar, qualquer nmero tem uma nica raz de ndice 8 e, quando 8
par, os nmeros maiores que ! tm duas razes de ndice 8 (simtricas uma da
outra) e os nmeros menores que ! no tm nenhuma. No caso dos nmeros
complexos a situao mais simples:

Se 8 " um inteiro, qualquer nmero complexo no nulo D tem

circunferncia de raio
exactamente 8 razes de ndice 8, cujos afixos se dispem sobre uma
8
lDl com argumentos sucessivamente espaados
#1 15
de 8 .

Mais precisamente, se escrevermos D na forma trigonomtrica,

D <cos! 3 sen!,
as razes de ndice 8 de D so exactamente os nmeros complexos que se podem
escrever na forma

8
! 5 ! 5
< cos #1 3 sen #1,
8 8 8 8
com 5 nmero inteiro entre ! e 8 ".16 Na figura 19 esto representados os
afixos das sete razes de ndice ( de 3 (compare com o que fez na alnea c) do
exerccio 37).

z3 z2

z4 z1
1

z5 z7

z6

Figura 19

15 claro que ! tem uma nica raz de ndice 8, a saber o prprio !.

16Os valores inteiros de5 que no esto entre ! e 8 " tambm conduzem a razes de
ndice 8 mas que, como se verifica facilmente, repetem outras j obtidas.

29
 A explicao da afirmao anterior, que possivelmente j descobriu,
resume-se a trs factos simples:
1) Qualquer nmeros complexo da forma

8
! 5 ! 5
< cos #1 3 sen #1,
8 8 8 8
com 5 nmero inteiro, uma raz de ndice 8 de D , uma vez que, pela frmula de
Moivre, a sua potncia de expoente 8 igual a
<cos! 5 #1 3 sen! 5 #1
<cos! 3 sen! D .
2) Os nmeros complexos da forma

8
! 5 ! 5
< cos #1 3 sen #1,
8 8 8 8
com 5 nmero inteiro entre ! e 8 ", so todos distintos, uma vez que admitem
argumentos que diferem de uma quantidade estritamente entre ! e #1 e que no
pode assim ser mltipla inteira de #1.
3) Se A uma raz de ndice 8 arbitrria de D , A pode ser escrito na forma
trigonomtrica
A =cos" 3 sen" ,
tendo-se ento, pela frmula de Moivre,
=8 cos8" 3 sen8" A8 D <cos! 3 sen!,

o que implica que =8 <, ou seja, = 8

<, e 8" ! 5 #1, para algum
5 . Esta ltima igualdade mostra que " !8 85 #1, e portanto que A
uma das 8 razes de ndice 8 referidas (apesar de 5 no ter que estar entre ! e
8 ", j observmos na nota de p de pgina 16 que o nmero complexo
correspondente a um tal 5 coincide com o definido por um outro 5 entre ! e
8 ").

O 1

Figura 20

30
Exerccio 38. Na figura 20 est representado o afixo de uma das razes sextas de
um certo nmero complexo D . Determine, com a ajuda dum compasso:
a) os afixos das restantes razes sextas de D .
b) A semi-recta de origem em S onde se situa o afixo de D .

4. Problemas na definio da funo argumento.

Vimos na seco precedente que cada nmero complexo no nulo admite

vrios argumentos, os quais diferem entre si por um mltiplo inteiro de #1, isto
, por um nmero da forma 5 #1, com 5 . Esse facto levou a que tenhamos
evitado expresses do tipo o argumento de D , usando, em vez delas as
correspondentes expresses com o artigo indefinido um. Pela mesma razo
no nada claro que significado poder ter uma funo argumento,
argD,
definida no conjunto dos nmeros complexos no nulos. Uma funo que pode
tomar vrios valores, para um dado valor D da varivel independente, ou uma
funo com valor indefinido algo que ultrapassa o nosso conceito de funo e
que no possvel tratar, ao nvel a que nos colocamos, sem mergulharmos em
problemas de difcil soluo.

a dificuldade em atribuir um significado expresso D , quando D um nmero

J encontrmos um problema do mesmo tipo quando referimos, na pgina 14,

com expresses do tipo

complexo geral, dificuldade que alis anloga que aparece, mais geralmente

complexo, mas no sabemos qual delas merece o nome de

8
D (sabemos o que uma raz de ndice 8 dum nmero
8
D ). Referimos ento
que, quando se tornasse necessrio escrever uma tal expresso, devamos
considerar que ela designava uma das razes, sem que pudssemos precisar qual.
Uma atitude do mesmo tipo com a expresso argD parece, no entanto, levantar
mais problemas do que aqueles que resolve.
A via que seguida com mais frequncia para dar um significado expresso
argD anloga que se encontra, por exemplo, nas calculadoras para trabalhar
com a inverso das funes trigonomtricas:
a) Apesar de, para cada B " ", existirem vrios ngulos cujo seno B,
existe um nico ngulo nessas condies pertencente ao intervalo 1# 1# e
precisamente esse aquele que designado por sen" B, ou arcsenB, ou
asenB. 17
b) Apesar de, para cada B " ", existirem vrios ngulos cujo co-seno B,
existe um nico ngulo nessas condies pertencente ao intervalo ! 1 e esse
que recebe qualquer das designaes cos" B, arccosB ou acosB.
c) Apesar de, para cada B , existirem vrios ngulos cuja tangente B, existe
17De facto, o que a aparece nas calculadoras, tendo em conta as notaes na lngua
inglesa, respectivamente sin" B, arcsinB ou asinB.

31
um nico ngulo nessas condies pertencente ao intervalo 1# 1# e esse que
se designa por tan" B, arctanB ou atanB. 18
Para dar significado a argD, tudo o que temos que fazer procurar um
intervalo que tenha a propriedade de qualquer nmero complexo no nulo ter um
nico argumento nesse intervalo; ser ento esse nico argumento que se
designa por argD. fcil constatar que qualquer intervalo de amplitude #1, que
seja fechado numa das extremidades e aberto na outra, serve para o efeito
pretendido. o que acontece, por exemplo, com os intervalos ! #1, 1 1 ou
]1,1], para citar apenas alguns que so utilizados com mais frequncia.
No caso das funes trigonomtricas inversas, h uma razovel unani-
midade na comunidade matemtica no que respeita escolha dos intervalos onde
se convenciona que elas tomam valor, apesar de haver escolhas alternativas
formalmente vlidas. No caso da funo argumento no existe, infelizmente,
uma tal unanimidade, havendo assim diferentes convenes, cada uma com
vantagens e inconvenientes relativamente s outras. Esta uma matria onde,
para evitar confuses, teria sido importante que os programas oficiais esco-
lhessem uma das convenes, a ser utilizada por todos os estudantes, em
particular aclarando o significado da expresso argD quando esta aparea
eventualmente numa prova de exame nacional19. Uma vez que os programas
oficiais no o fazem, ficamos limitados a dar um conselho de amigo, que
estamos convencidos que, quando seguido, no conduzir a respostas incor-
rectas20.

Conselho de amigo: Na ausncia de explicitao sobre a conven-

o utilizada para dar significado expresso argD, com D !, acon-
selhamos a que se considere que ela significa o nico argumento do
nmero complexo D pertencente ao intervalo ! #1.
Para fixar ideias esta a conveno que utilizaremos, salvo aviso em
contrrio, no exerccios seguintes.

Exerccio 39. Ao resolver a alnea e) do exerccio 28, chegou, sem dvida,

concluso que, se ! um argumento dum nmero complexo D !, ento !
um argumento do complexo conjugado D .
a) Ser que podemos garantir a validade da igualdade argD argD, para
qualquer nmero complexo no nulo D ?
b) Ser que a resposta seria diferente, se tivssemos utilizado outro intervalo que
no o ! #1 para dar significado funo argumento?

18Na lngua portuguesa comum escrever-se arctgB.

19Como alis j tem acontecido.
20Mais precisamente, estamos convencidos que, tendo em conta a indefinio do progra-
ma oficial, os autores dos exames tero o cuidado de fazer apenas perguntas, envolvendo
a expresso argD, que conduzam mesma resposta com qualquer das convenes mais
habituais.

32
Exerccio 40. Sabemos que, dados nmeros complexos no nulos D e A, admi-
tindo argumentos ! e " , respectivamente, um dos argumentos de D A ! " .
Ser que podemos garantir a validade da igualdade
argD A argD argA,
quaisquer que sejam os nmeros complexos no nulos D e A? Justifique a
resposta.

Exerccio 41. J estudou anteriormente a noo de limite de uma sucesso no

contexto dos nmeros reais. Esta noo pode ser estendida facilmente s
sucesses de nmeros complexos dizendo que uma sucesso de nmeros
complexos D8 B8 C8 3 (onde B8 C8 ) tem limite D B C3 (B C )
se, e s se, B8 B e C8 C .
a) Sendo D8 " 8" 3, verifique que D8 " e que argD8 #1 arg".
Podemos assim dizer que a funo argD no contnua em todos os pontos do
seu domnio.
b) Ser que, com uma escolha diferente da do intervalo ! #1 na definio da
funo argD se conseguiria que esta ficasse contnua em todos os pontos do seu
domnio?

Exerccio 42. a) Represente no plano de Argand o conjunto dos nmeros

complexos D tais que "# lDl " argD 1% .
b) Resolva de novo a alnea precedente, mas supondo agora que a funo argu-
mento tinha sido definida com o intervalo 1 1 no lugar do intervalo
! #1.21

5. A equao do terceiro grau revisitada.

Apesar de o nosso objectivo no ser especialmente o estudo das equaes do

terceiro grau, pode ser instrutivo reexaminar o que dissmos na seco de
introduo aos nmeros complexos sobre a resoluo daquelas equaes, luz
do que entretanto fomos aprendendo.
Uma primeira observao que fazemos a de que muito do que foi estudado
sobre a diviso de polinmios e as razes dos polinmios, no contexto dos
nmeros reais, pode ser estendido sem nenhuma modificao ao contexto dos
nmeros complexos, como o estudante verificar facilmente. Em particular, dado
um polinmio de grau 8,
T D +! D 8 +" D 8" +8" D +8 ,

21De acordo com o que dissmos anteriormente, no acreditamos que a pergunta anterior
seja feita num exame nacional, a menos que seja explicitado qual a conveno utilizada
para definir argD.

33
em que os coeficientes +! +8 so nmeros complexos (em particular podem
ser reais) e +! !, uma raz um nmero complexo A tal que T A ! e
continua a ser verdade que A uma raz se, e s se, o polinmio T D divisvel
pelo polinmio D A. Tal como no contexto dos nmeros reais, deduz-se daqui
que um polinmio de grau 8 tem, no mximo, 8 razes e que, no caso em que
admite as 8 razes D" D# D8 , ele pode ser escrito na forma
T D +! D D" D D# D D8 .

Exerccio 43. De que modo a observao precedente nos podia ter levado a
prever que 8 era o nmero mximo de razes de ndice 8 que um nmero
complexo A podia ter?

Exerccio 44. Verifique que a frmula resolvente das equaes do segundo grau
continua a ser vlida no contexto dos nmeros complexos, isto , que, dados
nmeros complexos + , - , com + !, as solues da equao
+B# ,B - !
so as dadas pela frmula habitual

, , # %+-
B
#+
(em particular existe sempre pelo menos uma soluo: Existe uma nica soluo,
, 22
#+ , no caso em que , %+- !, e existem duas solues, no caso contrrio ).
#
,
Sugesto: Fazer a mudana de variveis B C #+ para transformar a equao
noutra mais simples, sem parcela do primeiro grau.
Retomemos agora o exame que fizmos na seco 1 da frmula de Cardano
para a soluo de uma equao do terceiro grau na forma reduzida
C$ :C ; !,
onde : e ; podem ser nmeros reais ou, mais geralmente, nmeros complexos.
Mostrmos ento que a frmula de Cardano, quando fizesse sentido, dava
sempre uma das solues, ficando algo inexplicada a razo por que as outras
solues, que eventualmente existissem, no eram apanhadas. Recordemos que a
soluo correspondente frmula de Cardano era

22Repare que, embora, no contexto dos nmeros complexos, a expresso ,# %+-

levante problemas de indeterminao, por poder designar dois nmeros complexos,
simtricos um do outro, este problema no se pe neste caso, uma vez que ela est
antecedida do sinal , que indica que consideramos os dois valores para obter as duas
solues.

34
 C
$ ; ;# :$ $ ; ;# :$
# % #( # % #(
# $
e que a questo de ela fazer ou no sentido se prendia com o sinal de ;% #(
:
,
uma vez que, no contexto dos nmeros reais, s os nmeros maiores ou iguais a
! tm razes quadradas.
Quando examinamos a frmula da Cardano no contexto dos nmeros
complexos, passamos do oito para o oitenta. Com efeito, em vez de ela nos dar
solues a menos, passa a dar-nos solues a mais
A razo por que temos agora solues a mais tem a ver com a indeterminao
das razes cbicas no quadro dos nmeros complexos. As razes quadradas no
levantam problema, uma vez que, tal como no caso da equao do segundo grau,
a frmula de Cardano uma soma de duas expresses cuja nica diferena que
numa consideramos uma das razes quadradas e na outra consideramos a outra
raz quadrada. Mas, em geral, cada uma das duas razes cbicas pode tomar trs
valores e, combinando-os de todas as maneiras possveis, podemos obter nove
nmeros complexos, dos quais um mximo de trs podem ser solues.
Examinemos um caso concreto, que j encontrmos na seco 1, para
percebermos melhor o que se est a passar. Consideremos ento a equao do
terceiro grau, na forma reduzida,
B$ (B ' !.
A frmula de Cardano prope-nos os candidatos a soluo

$ * $ *
$ $%$ $ $%$

#( #(

$ $
$ "!! $ "!!

#( #(

$ 3 $ 3
$ "!! $ "!!
.
#( #(

Calculemos valores aproximados para cada uma destas razes, passando pela
forma trigonomtrica e utilizando a calculadora. Comecemos pela primeira raz
cbica e coloquemos o radicando na forma <cos! 3 sen!. Tem-se assim

< *
"!!
$&'%#
#(
"!!
#(
tg! !'%"&
$
! #&("#
e, a partir daqui, calculamos

35
 $
< "&#(&
!
"" !)&("
$
! #1
"# #*&"&
$ $
! %1
"$ &!%&*,
$ $
o que nos d os seguintes valores aproximados para as trs razes cbicas de
$ 3 "!!
#( , D4

$
< cos"4 3 sen"4 , 4 " # $,

D" " ""&%( 3

D# "& !#))' 3
D$ !& "%%$$ 3.
Analogamente23, obtemos os seguintes valores aproximados para as trs razes
cbicas de $ 3 "!!
#( ,

A" " ""&%( 3

A# "& !#))' 3
A$ !& "%%$$ 3.
Os valores aproximados dados pela frmula de Cardano so assim
D" A" #
D" A# !& !)''" 3
D" A$ "& #&*) 3
D# A" !& !)''" 3
D# A# $
D# A$ " "($"* 3
D$ A" "& #&*) 3
D$ A# " "($"* 3
D$ A$ ".
Se substituirmos estes valores na equao B$ (B ' !, conclumos que #,
$ e " (valores exactos!) so solues da equao e portanto os outros seis
valores, apesar de provenientes da frmula de Cardano, no o podem ser.
A constatao que acabamos de fazer de que a frmula de Cardano fornece
em geral valores que no so soluo da equao de partida parece entrar em
contradio com a concluso, a que chegramos na seco 1, de que, quando ela
fizesse sentido, a frmula de Cardano produzia efectivamente uma soluo

23ou reparando que as razes de ndice 8 do conjugado dum nmero complexo so os

conjugados das razes de ndice 8 desse nmero complexo, como se deduz facilmente do
facto de o conjugado dum produto ser o produto dos conjugados.

36
(lembrar o exerccio 2). No exerccio seguinte propomos que o leitor descubra o
que que funcionava na seco 1 e no funciona agora.
Exerccio 45. Enunciamos em seguida a adaptao natural do exerccio 2 para o
contexto dos nmeros complexos, considerando partida uma equao reduzida
do terceiro grau C$ :C ; !, em que os coeficientes : e ; podem ser
nmeros reais ou complexos.
Notemos E uma das razes cbicas de ;# ;%
# :$
e F uma das razes
cbicas de ;# ;% #(
#(
# $
: 24
.
a) Mostre que E F ; .
$ $

b) Mostre que EF :$ .
c) Utilize as concluses de a) e b) e o desenvolvimento de E F$ (binmio de
Newton) para demonstrar a frmula de Cardano, isto , para concluir que
C E F efectivamente uma soluo da equao C $ :C ; !.
1) Uma das alneas anteriores no pode ser resolvida. Descubra qual e indique
a razo por que no contexto dos nmeros reais no existia problema.
2) Adapte a frmula de Cardano de forma a obter outra frmula que possamos
garantir que fornece efectivamente uma soluo da equao, quando fizer
sentido.25
Acabamos de descobrir que, ao passar do contexto dos nmeros reais para o
dos nmeros complexos, a frmula de Cardano perdeu uma das suas qualidades,
a saber a garantia que um valor calculado com a ajuda dela de certeza uma
soluo. Para terminar esta seco, vamos agora verificar que, em compensao,
frmula de Cardano ganhou uma qualidade que no tinha antes, a de podermos
garantir que todas as solues da equao esto entre os valores que podem ser
calculados atravs dela.26 Antes de prosseguir propomos o seguinte exerccio,
cuja soluo era j bem conhecida quando a frmula de Cardano foi descoberta.
Exerccio 46. O objectivo deste exerccio resolver o seguinte problema:
Determinar um par de nmeros E F cuja soma seja um valor , dado e o produto
seja outro valor - , tambm dado.
a) Suponha que E F um par de nmeros cuja soma , e cujo produto - .
Mostre que E uma das solues da equao do segundo grau B# ,B - !
e que F a outra.27
b) Reciprocamente, suponha que E e F so as duas solues da equao de

24 Repare que no h agora lugar exigncia de que a frmula de Cardano faa sentido,
uma vez que todos os nmeros complexos tm raz quadrada.
25Poder chamar-lhe frmula de Cardano- xxxxxxx , onde o rectngulo em branco dever

ser preenchido com o seu nome

26De entre os nove valores que ela fornece, s temos que desprezar aqueles que no
servirem.
27No caso em que E F consideramos que a nossa afirmao significa que a essa
equao tem E como nica soluo.

37
segundo grau B# ,B - , no caso em que elas existem.28 Mostre que
E F , e EF - .29
O prximo exerccio pretende conduzir o leitor prova de que qualquer
soluo da equao C$ :C ; ! pode ser obtida a partir da frmula de
Cardano, seguindo o caminho que levou ao estabelecimento daquela frmula.
Exerccio 47. Suponha que C uma soluo da equao C $ :C ; !, no
contexto dos nmeros complexos. Considere um par de nmeros complexos
E F tais que E F C e EF :$ . 30
a) Substituindo C por E F na equao deduza que se tem E$ F $ ; !.
:$
b) Reparando que E$ F $ #( , conclua que E$ e F $ so as duas solues de
uma certa equao do segundo grau, e portanto que

; ; # %:$
#( ; ; # %:$
#(
$ $
E , F ,
# #
para uma escolha conveniente da raz quadrada.
c) Deduza do anterior que C um dos valores resultantes de aplicar a frmula de
Cardano.

6. Afinal os nmeros complexos existem ou no?

Quando, no incio da seco 2, estudmos os nmeros complexos de forma

axiomtica, seguimos um caminho semelhante ao que foi utilizado quando estes
foram introduzidos nos sculo XVI: Admitimos que existiam uns seres algo
enigmticos que tinham certas propriedades e utilizmos esses seres nas
aplicaes a problemas da vida real. No pode deixar de se nos levantar o
mesmo tipo de interrogaes que levou a que, durante muito tempo, geraes de
matemticos se recusassem a aceitar trabalhar com esses seres, que s existiam
porque ns tnhamos decidido a sua existncia! Quem nos garante que eles
existem? E se no existirem, qual a validade das aplicaes em que eles foram
utilizados?
Vamos nesta seco abordar um dos modos actuais de ultrapassar as dificul-
dades levantadas pela questo da existncia ou no dos nmeros complexos.
Vamos construir explicitamente uns objectos matemticos que vo verificar as
propriedades que desejvamos que os nmeros complexos tivessem (os axiomas
enunciados na seco 2). A partir dessa altura, podemos considerar que os

28No caso em que o contexto o dos nmeros complexos, as solues existem sempre.
29Mais uma vez, consideramos que, no caso em que a equao tem soluo nica,
tomamos E F , igual a essa soluo.
30A existncia desses nmeros est assegurada pela concluso do exerccio precedente.

38
nmeros complexos so esses objectos que construmos, e portanto que tudo o
que fizmos com o auxlio deles no corre o risco de ser vazio de sentido.
Antes de comearmos a descrever a construo dos nmeros complexos,
esclareamos desde j dois pontos. Em primeiro lugar a construo no vai
ensinar nada sobre os nmeros complexos que no saibamos j (para alm de
ficarmos com a certeza de que faz sentido dizer que eles existem). Em segundo
lugar, tudo o que vamos dizer para esquecer, no sentido que, de futuro,
quando trabalharmos com um nmero complexo, no precisamos de nos
recordar da construo explcita que vamos fazer e que, nalguns pontos, como na
definio da multiplicao, poder parecer algo artificial.
primeira pergunta, O que so os nmeros complexos?, vamos dar como
resposta: Chamamos nmero complexo a um par ordenado B C de nmeros
reais.
claro que a pista que nos levou a esta definio foi o conhecimento de que
os nmeros complexos, a existirem, esto em correspondncia biunvoca com
estes pares ordenados.
Vamos agora definir a soma e o produto de nmeros complexos, ou seja, de
pares ordenados de nmeros reais. A definio de soma vai parecer natural e a
de produto um pouco estranha. A justificao intuitiva desta ltima est nas
frmulas que j encontrmos para a parte real e o coeficiente da parte imaginria
do produto de nmeros complexos. Apresentamos ento as definies de soma e
produto de pares

B C Bw C w B Bw C C w ,
B C Bw C w BBw CC w BC w CBw .

Comecemos por verificar as propriedades expressas no axioma 1, na pgina

6, para o que temos que resolver uma pequena dificuldade: Esse axioma afirma
que o conjunto dos nmeros complexos deve conter o dos nmeros reais e no
isso que est a acontecer. Para resolver esse dificuldade vamos identificar cada
nmero real B com o par B !, isto , vamos considerar que o par B !
significa o mesmo que B.31 As verificaes que temos que fazer para garantir a
validade do axioma 1, isto , que as operaes definidas em estendem as
definidas em , resumem-se a reparar que
B ! Bw ! B Bw ! ! B Bw !,
B ! Bw ! B Bw ! ! B ! ! Bw B Bw !.
O axioma 2 afirma que, no contexto dos nmeros complexos, continuam a
ser vlidas as propriedades comutativa e associativa, tanto para a adio como

31Quem, de certo modo com alguma razo, sentir dificuldade em perceber o que quer
dizer a identificao que acabamos de referir, pode adaptar o que temos vindo a dizer e
considerar que os nmeros complexos so os nmeros reais e os pares ordenados B C de
nmeros reais com C ! e que, no contexto dos nmeros complexos a notao B !
significa simplesmente B.

39
para a multiplicao, e que a multiplicao continua a gozar da propriedade
distributiva relativamente adio. Verifiquemos, por exemplo, a propriedade
associativa da multiplicao, deixando as outras propriedades como exerccios
simples32 para o estudante. Tem-se
B C Bw C w Bww C ww BBw CC w BC w CBw Bww C ww
BBw CC w Bww BC w CBw C ww BBw CC w C ww BC w CBw Bww
BBw Bww CC w Bww BC w Cww CBw C ww BBw C ww CC w C ww BC w Bww CBw Bww
e, por outro lado,
B C Bw C w Bww C ww B C Bw Bww C w C ww Bw C ww C w Bww
BBw Bww C w C ww CBw C ww C w Bww BBw C ww C w Bww CBw Bww C w C ww
BBw Bww BCw Cww CBw Cww CC w Bww BBw C ww BC w Bww CBw Bww CC w C ww ,
pelo que, comparando os dois resultados, conclumos que, efectivamente,
B C Bw C w Bww C ww B C Bw C w Bww C ww .

Exerccio 48. Verifique, no contexto dos nmeros complexos como pares

ordenados de nmeros reais, cada uma das seguintes propriedades da adio e da
multiplicao acima definidas:
a) Propriedade comutativa da adio;
b) Propriedade associativa da adio;
c) Propriedade comutativa da multiplicao;
d) Propriedade distributiva da multiplicao relativamente adio.
As propriedades enunciadas no axioma 3 so de verificao muito simples:
! B C ! ! B C ! B ! C B C,
! B C ! ! B C !B !C !C !B ! ! !,
" B C " ! B C "B !C "C !B B C.

Para verificarmos o axioma 4 temos que encontrar um nmero complexo que

merea o nome de 3. Com a intuio dirigida, mais uma vez, pela identificao
dos nmeros complexos estudados axiomaticamente com os pares de nmeros
reais, experimentamos definir

3 ! ".

Rapidamente verificamos que a experincia foi bem sucedida, uma vez que
3# ! " ! " ! ! " " ! " " ! " ! ".
Resta-nos examinar o axioma 5. Para isso, comeamos por reparar que, para
cada nmero real C , tem-se

32embora exigindo alguma pacincia.

40
 C 3 C ! ! " C ! ! " C " ! ! ! C
e daqui conclumos que qualquer nmero complexo B C pode ser escrito na
forma
B C B ! ! C B C 3,
que precisamente o que afirma o axioma 5. Verificmos, ao mesmo tempo, que
a parte real e o coeficiente da parte imaginria do nmero complexo B C so
respectivamente B e C , o que est de acordo com a intuio que nos guiou neste
processo construtivo.

41