UNIVERSIDADE DE LISBOA 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

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.

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:

# %
$

) ) $ # % #( #(

#
$ $ #

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

"! "! $ # $ $ $ $

#
$

$ "!$ "!$ # . * *

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!
$ $ 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 #?

Exerccio 4. a) Utilize a sua calculadora para determinar o valor aproximado da

c) Calcule e simplifique o cubo das expresses " $$ e " resultados obtidos para simplificar a expresso na alnea a).3

$ $

e utilize os

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.

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.

1 1

Figura 3 Do exame do grfico somos levados a conjecturar a existncia de trs solues, aproximadamente $, " e #. Substituindo na equao conclumos que, efectivamente $, " 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.

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 correspondentes 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.

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 simtrico 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 *. Generalizando 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.

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
" # #

, os nmeros complexos D B C3, com B C , tais que D No se assuste com o sistema de duas equaes do segundo grau nas incgnitas B e C , que vai obter.

$ # 3, isto $ " # # 3.

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. Se A D , com D !, define-se o quociente A A D " . D Prova-se ento que A o nico nmero complexo que multiplicado por D D d A. Em particular " " D " D " o nico nmero complexo que D multiplicado por D d ". Como fizmos no caso da subtraco, para provarmos a afirmao anterior, temos que verificar duas coisas: Em primeiro lugar A verifica a propriedade D referida, uma vez que A D A D " D A " A; D Em segundo lugar temos que provar que A o nico nmero complexo que D 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 .
A D

pela frmula

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 A sem precisarmos de saber de cor a frmula para D " utilizada na D 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 duas razes quadradas. Apesar disso, evita-se, sempre que possvel, escrever a expresso D , com a excepo do caso em que D um nmero real maior ou igual a !. Com efeito, constata-se que no existe nenhum processo razovel de escolher, para qualquer D , qual das duas razes quadradas deve ser designada por D (no caso em que D e D !, D continuar a designar a raz quadrada que maior ou igual a !). Quando tivermos, mesmo assim, necessidade de utilizar o smbolo D , fora do quadro em que D um real maior ou igual a !, estar subentendido que ele designa uma das duas razes quadradas de D , que foi escolhida mas no se est a explicar qual . Como exemplo do tipo de problemas que levantado por estas indeterminaes, faamos a pergunta se a igualdade9 3 " verdadeira ou falsa. A resposta : No sabemos. Com efeito, 3 uma das duas razes quadradas de ", mas 3 outra, pelo que to legtimo escrever 3 " como 3 " e 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 um valor de verdade que no se pode determinar? a) D# D ; 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 e . Sabemos ento que o conjunto # dos pares de /B / C 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 ? ST ). assim ? 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 concluses que obteremos adiante, suporemos sempre que os vectores e so /B /C ortogonais e de norma igual a ". tambm costume, embora no seja indispensvel, escolher o referencial de forma que, para rodarmos para /B /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 para . /B /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 , assinalados na figura 5. Quais os pontos do plano que so ? @ A afixos desses nmeros complexos?

ey
v O w

ex

Figura 5 A representao geomtrica dos nmeros complexos por pontos do plano, descoberta no incio do sculo XIX, teve grande importncia histrica, em particular 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 o afixo vectorial de um certo nmero D complexo D . Determine os afixos vectoriais dos nmeros complexos: a) D #; b) D 3; c) $ D . #

ey z O
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.
P

ex

ey 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 e , representando apenas os eixos acompanhados de alguma /B /C 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 i 1 1 1-i 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 .

w 1 w

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, B, se 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 de outra caracterizao equivalente do mdulo dum nmero real, a saber da frmula que bem conhecemos lBl B# . Tambm aqui havia um problema em tentar generaliz-la directamente para definir o mdulo dum nmero complexo, uma vez que, em geral, se D , D # um nmero complexo, pelo que no sabemos quais das duas razes devemos considerar na expresso D # e, alm 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 " l lDl . D Exerccio 24. Mostre que, quaisquer que sejam D A , tem-se lD Al lDl lAl. Sugesto: Reduza esta desigualdade desigualdade anloga que envolve dois Am vectores e do plano ou do espao: mD mD m mAm. Justifique esta B A 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 subconjuntos 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.

Figura 11

Figura 12

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 1 D " 3, a saber, usando o radiano como unidade de medida, 1 , *% 1 #1 e % % (1 1 % % #1.

22

1+i

1+i

1+i

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 nmero 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 complexo.

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 # 1 que admite #$ como um dos argumentos. b) Determine na forma algbrica, com aproximao s milsimas da parte real e do coeficiente da parte imaginria, o nmero complexo de mdulo # que 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 porventura mais directo de determinar um argumento ! de D , que consiste em lembrar C C que B o declive da recta que contm o afixo de D , e portanto que tg! B , 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 nmeros complexos seguintes: a) " $3; b) "+3; 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 A . D Sugesto: Lembre que A o nmero complexo que multiplicado por D d A. D 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.
D A explicao simples: Uma vez que A 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) " ; b) D # ; c) D $ ; 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 milsimas 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 exactamente 8 razes de ndice 8, cujos afixos se dispem sobre uma 8 circunferncia de raio 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 < cos ! 5 #1 3 sen ! 5 #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 z4

z2 z1 1

z5 z6

z7

Figura 19
nica raz de ndice 8, a saber o prprio !. 5 que no esto entre ! e 8 " tambm conduzem a razes de ndice 8 mas que, como se verifica facilmente, repetem outras j obtidas.
15 claro que ! tem uma 16Os valores inteiros de

29

A explicao da afirmao anterior, que possivelmente j descobriu, resume-se a trs factos simples: 1) Qualquer nmeros complexo da forma
8 < cos ! 5 #1 3 sen ! 5 #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 < cos ! 5 #1 3 sen ! 5 #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 o que implica que =8 <, ou seja, = <, e 8" ! 5 #1, para algum 5 5 . Esta ltima igualdade mostra que " ! 8 #1, e portanto que A 8 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 ").

=8 cos8" 3 sen8" A8 D <cos! 3 sen!,

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. J encontrmos um problema do mesmo tipo quando referimos, na pgina 14, a dificuldade em atribuir um significado expresso D , quando D um nmero complexo geral, dificuldade que alis anloga que aparece, mais geralmente 8 com expresses do tipo D (sabemos o que uma raz de ndice 8 dum nmero 8 complexo, mas no sabemos qual delas merece o nome de 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 unanimidade 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 escolhessem 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 incorrectas20. Conselho de amigo: Na ausncia de explicitao sobre a conveno utilizada para dar significado expresso argD, com D !, aconselhamos 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 programa 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, admitindo 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 argumento 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

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.
22Repare

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# D" A$ D# A" D# A# D# A$ D$ A" D$ A# D$ A$ # !& !)''" 3 "& #&*) 3 !& !)''" 3 $ " "($"* 3 "& #&*) 3 " "($"* 3 ".

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 ; ;% #

# $

: 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

:$ #(

e F uma das razes

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
$

; ; # #

%:$ #(

; ; # #

%:$ #(

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 dificuldades 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 29Mais uma vez,

o contexto o dos nmeros complexos, as solues existem sempre. 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