A GEOMETRIA E O ENSINO DOS NMEROS COMPLEXOS Jos Paulo Carneiro - Universidade do Estado do Rio de Janeiro jpqc@uninet.com.

br Resumo O ensino usual dos nmeros complexos baseia-se em uma abordagem puramente algbrica, onde esto ausentes o significado e as aplicaes destes nmeros. Tal fato se explica pela histria da descoberta e do desenvolvimento da teoria dos nmeros complexos. No entanto, esta mesma histria indica que h uma outra abordagem possvel, a geomtrica, onde desde o primeiro momento os complexos apresentam-se como pontos ou vetores do plano, e as operaes entre eles aparecem como transformaes geomtricas capazes de sugestiva visualizao. Embora descoberta h mais de 200 anos, esta abordagem ainda no a mais usual no ensino. Recentemente, porm, ela ganhou um novo reforo com a chegada dos programas de computador, ditos de Geometria Dinmica, os quais permitem simular um nmero muito grande de situaes, auxiliam a experimentao e a concepo de conjecturas, e facilitam imensamente a visualizao da dinmica das transformaes.

Palavras-chave: Nmeros complexos, Geometria, Ensino, Geometria Dinmica

Introduo Os nmeros complexos ocupam uma posio muito singular no ensino de Matemtica. No merecem grande ateno nos cursos de Licenciatura e Bacharelado em Matemtica, por serem considerados como assunto elementar de nvel mdio. J no Ensino Mdio, so evitados, sendo taxados de estranhos, de compreenso difcil e, sobretudo, inteis. De fato, que utilidade poderiam ter objetos cuja existncia motivada, logo no primeiro contato, pela capacidade que possuem de fornecer uma soluo imaginria para uma

Anais do VIII ENEM - Palestra

equao que sabemos que no tem soluo, como nos foi antes demonstrado vrias vezes? Pois assim que quase sempre aprendemos e ensinamos os nmeros complexos. Quem consultar os livros do Ensino Mdio ou ouvir os testemunhos de professores e alunos, vai constatar que a maneira mais comum de introduzir os nmeros complexos por meio da seguinte definio: Um nmero complexo um objeto da forma a + bi , onde a e b so reais, i = 1 e permanecem vlidas as leis da lgebra (esta ltima parte significando que so vlidas as propriedades comutativa e associativa da adio e da multiplicao, etc., etc.). Logo em seguida, passamos a fazer lotes de exerccios do tipo: calcule (2 + i)(3 + 4i ) , calcule 2 + 3i , etc. E a maioria das questes de provas 1 i

sobre complexos - inclusive em concursos - no passam de variantes mais ou menos complicadas destes exerccios. Dois comentrios sobre a definio citada. Em primeiro lugar, depois que ns realmente entendermos o que um nmero complexo, sabemos que esta definio no contm nada de errado. Todavia, introduzir os complexos por esta definio anlogo a introduzir as fraes, para um estudante que conhea nmeros inteiros, do seguinte modo: uma frao um objeto da forma a , onde a e b so inteiros (sendo b 0 ), com b

a c a c ad + bc = ad = bc , e que seguem as seguintes leis da lgebra: + = e b d b d bd a c ac 2 5 = . Em seguida, passamos aos exerccios: calcule + , etc. Tambm no b d bd 3 9 haveria absolutamente nada de errado com esta definio e ela tambm permitiria resolver todas as contas usuais com fraes. Mas, pergunto: algum, em plena posse do seu bom sendo e com um mnimo de compaixo com seus alunos, faria esta barbaridade? Pois mais ou menos isto que fazemos com os nmeros complexos. O segundo comentrio a respeito do trecho da definio em que se decreta que i = 1 , s vezes acompanhado pela esclarecedora frase: onde i a unidade imaginria. Este um outro ponto desta definio que tende a desconcertar o iniciante. Durante anos, convencemos e fomos convencidos de que o quadrado de um nmero no

Anais do VIII ENEM - Palestra

pode ser negativo, e agora cai do cu um novo nmero cujo quadrado 1 . E se algum pensa que est delirando, ns professores garantimos que sim, pois este um nmero imaginrio! Como podemos querer, depois disto, que o principiante ache que os nmeros complexos so teis na Matemtica e na Fsica, ou pelo menos, ache que eles existem? Nada mais natural que o aluno pense que os complexos foram inventados apenas para resolver exerccios sobre nmeros complexos. A Histria Para tentar entender por que fazemos isto, vamos rever um pouco da histria. Alguns livros costumam motivar a introduo dos nmeros complexos, dizendo que eles nasceram para dar uma soluo para equaes do segundo grau (com coeficientes reais, claro) cujo discriminante negativo. O prprio i teria nascido para resolver a particular equao x 2 + 1 = 0 . Isto menos que uma meia verdade. Na vida real, no ocorreu a nenhum matemtico inventar um nmero com quadrado negativo, simplesmente para que certas equaes passassem a ter razes ou para completar algebricamente o corpo dos reais. Durante sculos, quando encontravam uma equao do segundo grau com discriminante negativo, simplesmente diziam: esta equao no tem soluo, e pronto. significativo - e diz muito sobre a evoluo dos conceitos matemticos - que esta necessidade s surgiu em meio resoluo de outro problema, a saber, a questo de encontrar uma frmula para a equao do terceiro grau. Contrariamente ao que muitas vezes acontece na histria da cincia, esta histria est muito bem documentada e aparece claramente no primeiro livro de lgebra importante impresso, a Ars Magna de Cardano (1545). As peripcias, recheadas de detalhes pitorescos, podem ser encontrados em livros de Histria da Matemtica, como Eves (1995), Boyer (1974) ou Bekken (1994), ou em livros de divulgao, como Garbi (1997), Lima (1991) ou Nahin (1998), ou ainda em artigos, como Milies (1994). O que nos importa aqui que, no incio do sec.XVI, um grupo de matemticos italianos procurava, para as equaes algbricas de 3 grau, uma frmula que desse as suas razes em funo dos coeficientes, de forma anloga j ento conhecida e clebre frmula da equao do 2 grau. Durante esta busca, para testar suas tentativas, eles formavam equaes que tinham razes conhecidas. Por exemplo: a equao x3 + 4 = 6 x tem raiz 2, como se pode verificar por substituio. Seguindo ento uma idia essencialmente de

Anais do VIII ENEM - Palestra Scipione dal Ferro, a substituio x =u+2 u

4 transforma esta equao em

u 6 + 4u 3 + 8 = 0 . Se encontrassem uma soluo u para esta biquadrada, o correspondente x seria soluo para a equao original. Porm, a soluo da biquadrada dependia da soluo da equao quadrtica v 2 + 4v + 8 = 0 (onde v = u 3 ), cujo discriminante negativo. A aplicao mecnica da frmula tradicional levaria a v = 2 2 1 . Um impasse. O pulo do gato consistiu em ir em frente assim mesmo, apesar de 1

no fazer sentido. E se supusssemos que esta coisa imaginria satisfizesse s leis usuais da lgebra? Constataramos ento que u = 1 + 1 seria uma soluo, pois as leis usuais da lgebra acarretam que u 3 = 1 + 1 = 2 + 2 1 . Por outro lado, estas mesmas leis garantem tambm que a substituio x = u + 2 = 2 reproduz a raiz que j se u

conhecia, provando que o esquema funcionava, embora ningum conseguisse explicar por que. Como dizia o prprio Cardano na Ars Magna: esquea a tortura mental que isto significa e v operando.... Este sucesso levantou a suspeita de que talvez estes monstros existissem mesmo. Que eram teis, j se comeava a perceber. Mas fariam sentido? Durante muito tempo, trabalhou-se com nmeros complexos, permanecendo sobre eles esta nuvem de obscuridade. Os complexos eram usados de forma envergonhada, e acompanhados de nomes ofensivos, que permaneceram at hoje na nossa nomenclatura --- como imaginrios --- mas ainda assim eram cada vez mais utilizados. Euler (1707-1783), esse grande operrio da Matemtica, desenvolveu enormemente a lgebra dos complexos, introduziu o smbolo i para 1 e a frmula eix = cos x + i sen x , mas no

fez muito para esclarecer o significado desses nmeros aparentemente absurdos. Na virada do sculo XVIII para o sculo XIX, um agrimensor noruegus, Wessel (1798), e um obscuro matemtico suo, Argand (1806), foram, aparentemente, os primeiros a compreender que os complexos no tm nada de irreal. So apenas os pontos (ou vetores) do plano, que se somam atravs da composio de translaes, e que se multiplicam atravs da composio de rotaes e dilataes (na nomenclatura atual). Mas essas iniciativas no tiveram grande repercusso, enquanto no foram

Anais do VIII ENEM - Palestra

redescobertas, quase simultaneamente, por Gauss (1777-1855), e apadrinhadas pela grande autoridade daquele que, j em vida, era reconhecido como um dos maiores matemticos de todos os tempos. Foi Gauss que outorgou aos complexos o direito de cidadania, no s explorando a identificao do conjunto dos nmeros complexos com o plano, mas principalmente usando os complexos para obter diversos resultados sobre Geometria plana e sobre os nmeros reais, e at sobre os nmeros inteiros. Foi com a ajuda dos complexos que Gauss decidiu quais eram os polgonos regulares construtveis com rgua e compasso, ou que nmeros inteiros podiam ser escritos como soma de dois quadrados. Foi utilizando o plano complexo que Gauss deu sua demonstrao geomtrica de que todo polinmio de coeficientes reais pode ser decomposto em fatores de grau mximo dois, o que equivale ao Teorema Fundamental da lgebra. Hoje em dia, bastante claro, para todos os que trabalham com Matemtica, o papel central que exercem os nmeros complexos, e de suas inmeras utilidades. O segredo est na multiplicao dos complexos, que essencialmente uma composio de rotaes. por isto que os complexos aparecem inevitavelmente em muitos problemas que envolvem rotao, crculo, funes circulares (trigonomtricas), movimentos peridicos, etc. E por isto tambm que encontramos nmeros complexos no estudo de circuitos eltricos, corrente alternada, astronomia, motores e mecnica quntica. O significado geomtrico dos nmeros complexos O que foi que Wessel e Argand perceberam? Vamos resumi-lo, usando a linguagem e o simbolismo atuais (para os detalhes, ver Carneiro (1998)). Deixando de lado, por enquanto, a intrigante raiz quadrada de 1 , o nmero complexo z = a + bi fica perfeitamente determinado pelo par ordenado de nmeros reais (a; b) e este, por sua vez, pode ser visto como um ponto P no plano cartesiano (uma vez fixados os eixos), ou uuu r como o vetor determinado pela seta (ou segmento orientado) OP . Com esta uuu r identificao, o seu mdulo a distncia de P origem, ou o mdulo do vetor OP , enquanto o conjugado de z o simtrico de P em relao ao eixo das abcissas (Fugura 1).

Anais do VIII ENEM - Palestra

Figura 1 O produto de z pelo nmero real t, ou seja (ta; tb) , a imagem de P pela homotetia de centro na origem e razo t (Figura 2).

uuu r O unitrio z | z | do complexo no nulo z o vetor unitrio de OP , igual a (cos ;sen ) , onde o argumento de z (Figura 3).

Figura 2

Figura 3

Anais do VIII ENEM - Palestra A soma (a + bi ) + (c + di ) = (a + c) + (b + d )i traduz-se na soma

7 vetorial

(a; b) + (c; d ) = (a + c; b + d ) , e pode ser visualizada pelo clssico paralelogramo (Figura 4).

Figura 4 O produto, pelas leis usuais da lgebra, (a + bi )(c + di ) = (ac bd ) + (ad + bc)i , que essencialmente a frmula do cosseno e do seno da soma. Isto se traduz na multiplicao dos mdulos e na soma dos argumentos, ilustrada pela pouco explorada Figura 5, onde se v que zw faz para w o mesmo que z faz para 1, ou seja, multiplicar seu mdulo pelo de z (uma homotetia de razo | z | ) e somar o argumento de z a seu argumento (uma rotao de amplitude e sentido iguais ao argumento de z).

Figura 5 Nesta maneira de encarar, o antes problemtico i nada mais do que o ponto P = (1;0) , ou o vetor definido pela seta que vai da origem a este ponto, ou ainda, o unitrio que tem argumento 2 (ou 90). Mais importante: seu papel na multiplicao somar 90

Anais do VIII ENEM - Palestra

ao argumento do outro fator, ou seja, girar este fator de um ngulo reto positivo, como se v tambm pela lgebra: iz = (b; a) = b + ai (Figura 6a).

Figura 6a

Figura 6b

Por este motivo, multiplicar um complexo z = (a; b) = a + bi por i 2 = i i gir-lo duas vezes de um ngulo reto positivo, o que equivale a gir-lo de meia volta, obtendo i 2 z = ( a; b) = z = (1) z , ou seja, o simtrico de z em relao origem, o mesmo que seria obtido se multiplicssemos z por 1 (Figura 6b). Agora, fica claro que i 2 = 1 , longe de ser uma monstruosidade incompreensvel, traduz apenas um fato geomtrico bastante simples: aplicar duas vezes uma rotao de 90 em torno da origem o mesmo que efetuar uma simetria de centro na origem (ou uma reflexo em torno da origem). Ensino Poderia ser dito que toda esta abordagem geomtrica j est incorporada ao ensino tradicional, pois nada mais do que a forma trigonomtrica ou polar dos complexos. Mas no o que se v por a. A verdade que o ensino dos nmeros complexos permanece ainda excessivamente preso sua origem histrica e at hoje ainda no se beneficiou como poderia e deveria da revoluo iniciada h 200 anos por Wessel, Argand e Gauss. O enfoque algbrico permite comear logo a operar com complexos sem dificuldade, mas a experincia tem mostrado que quando se perde a chance de

Anais do VIII ENEM - Palestra apresentar os complexos imediatamente como

9 entes geomtricos, em geral esta

oportunidade no se recupera, mesmo quando, mais tarde, aparece (quando aparece) a forma trigonomtrica. Duas conseqncias nocivas advm da: 1) O iniciante permanece com uma viso demasiado formal e algebrizante, no se beneficiando da riqueza da visualizao e no emprestando um significado aos nmeros complexos. Sobre a importncia da visualizao em Matemtica, ver Guzmn (1996) e, especificamente sobre nmeros complexos, Needham (2001). 2) Dificilmente ocorrer ao estudante aplicar nmeros complexos a problemas de Geometria (ver Motta (1999)). Sobre este ponto, a experincia didtica tem sido muito ilustrativa. Um exemplo tpico o clebre problema da ilha do tesouro (ver Carneiro (1999) e Carneiro et al. (2001), vrias vezes apresentado para alunos de licenciatura ou em cursos de formao continuada para professores. No somente no ocorre aos cursistas usar complexos para resolver este problema, como os mesmos ficam extremamente surpreendidos em saber que nmeros complexos tenham alguma aplicao a um problema real. Os nmeros complexos, a lgebra e a Geometria Dinmica A adoo de uma abordagem geomtrica dos nmeros complexos no exclui, claro, o uso algbrico dos complexos, que continuam sendo importantes por motivos algbricos. primeira vista, pode parecer que se os complexos forem apresentados como pares ordenados de reais, como se faz na abordagem geomtrica, ento no se v como o corpo dos complexos estende o dos reais. Na realidade, o corpo dos complexos contm uma cpia perfeita dos reais, que o eixo das abcissas do plano cartesiano, ou seja, o conjunto dos complexos da forma (a;0) , que so identificados com o respectivo real a. E esta identificao que permite compreender, do ponto de vista da abordagem geomtrica, por que todo complexo pode ser escrito na forma a + bi . De fato: (a; b) = a (1;0) + b(0;1) = a + bi , j que (1; 0) se identifica com 1, e (0;1) = i

Aqui reencontramos o caminho da Histria, pois os nmeros complexos, inicialmente procurados para resolver equaes, de fato estendem os reais de uma maneira algebricamente perfeita, no sentido de que toda equao algbrica (mesmo que s tenha coeficientes reais) passa a ter soluo, sendo este o contedo do famoso Teorema Fundamental da lgebra. Esta propriedade conserta uma srie de imperfeies do

Anais do VIII ENEM - Palestra

10

sistema dos nmeros reais, permitindo explicar muitas coisas aparentemente estranhas que ocorrem nos reais. Como dizia Hadamard (1865-1963): O caminho mais curto entre duas verdades no campo real [muitas vezes] passa pelo campo complexo. Por exemplo, mais fcil perceber atravs dos complexos porque um polinmio de grau mpar, com coeficientes reais, tem sempre uma raiz real. Ultimamente, os programas de Geometria Dinmica abriram novos caminhos para o ensino da Geometria e, portanto, dos nmeros complexos. Um exemplo significativo destas novas possibilidades dado pelo Teorema Fundamental da lgebra, que sempre foi considerado um tema que s podia ser abordado em cursos universitrios, j que sua demonstrao exige conhecimentos e tcnicas no triviais de anlise real e complexa. No entanto, a Geometria Dinmica permite ilustrar, por meio da visualizao, alguns dos argumentos usados pelo prprio Gauss na demonstrao deste belo e importante teorema (Wanderley et al. (2002a) e Wanderley et al. (2002b)). Concluso A humanidade levou milhes de anos para descobrir os nmeros complexos, mas somente 300 anos aps comeou a perceber o verdadeiro significado e as potencialidades de aplicao desta descoberta. Passados mais 200 anos, o ensino dos nmeros complexos necessita beber mais nesta fonte que a abordagem geomtrica dos nmeros complexos, ainda mais agora que possumos o recurso dos programas de computador para a Geometria.

Referncias Bibliogrficas Bekken (1994), BEKKEN, O., Equaes de Ahmes at Abel, trad. Jos Paulo Carneiro, Rio de Janeiro, Ed. Universidade Santa rsula, 1994 Boyer (1974), BOYER, C.B., Histria da matemtica, trad. Elza Gomide, So Paulo, Edgar Blcher, 1974 Carneiro (1998), CARNEIRO, J.P., Resoluo de Equaes Algbricas, Rio de Janeiro, Ed. Universidade Santa rsula, 1998

Anais do VIII ENEM - Palestra

11

Carneiro (1999), CARNEIRO, J.P., Los Nmeros Complejos en la Isla del Tesoro, en Memorias del III Congreso Iberoamericano de Eduacacin Matemtica, Caracas, Universidad Central de Venezuela, 1999 Carneiro et al. (2001), CARNEIRO, J.P., A ilha do tesouro: dois problemas e duas solues, Revista do Professor de Matemtica, n 47, pp. 1-4, 2001 Eves (1995), EVES, H., Introduo histria da matemtica, trad. Hygino Domingues, Campinas, Editora da UNICAMP, 1995 Garbi (1997), GARBI, G.G., O romance das equaes algbricas, So Paulo, Makron Books, 1997 Guzmn (1996), GUZMN, M., El Rincn de la Pizarra - Ensayos de Visualizacin en Anlisis Matemtico, Madrid, Ed. Pirmide, 1996 Lima (1991), LIMA, E.L., A equao do terceiro grau, em Meu Professor de Matemtica e outras histrias, Rio de Janeiro, IMPA-VITAE, 1991 Milies (1994), MILIES, C.P. A soluo de Tartaglia para a equao do terceiro grau, Princeton, Revista do Pofessor de Matemtica, n 25, p.15-22, 1994 Motta (1999), MOTTA, E., Aplicaes dos Nmeros Complexos Geometria, em Eureka!, n 6; pp. 30-38, 1999. 1 , Princeton, New

Nahin (1998), NAHIN, P.J., An imaginary tale, the story of Jersey, Princeton University Press, 1998

Needham (2001), NEEDHAM, T., Visual Complex Analysis, Oxford, Clarendom Press, 2001

Anais do VIII ENEM - Palestra

12

Wanderley et al. (2002a), WANDERLEY, A. & CARNEIRO, J.P., Aplicaciones geomtricas de los Nmeros Complejos con Cabri, Minicurso ministrado no IberoCabri2002, Santiago, Chile, 2002 Wanderley et al. (2002b), WANDERLEY, A. & CARNEIRO, J.P., O Teorema Fundamental da lgebra e a Geometria Dinmica - 1 Simpsio Sul-Brasileiro de Matemtica e Informtica, Centro Universitrio Campos de Andrade, Curitiba, 2002