RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

Histria e Histrias...

A Emergncia dos Nmeros Complexos Csar Polcino Milies IME-USP, SP 1. Introduo Os nmeros complexos desempenham um papel sumamente importante nos mais diversos ramos da Matemtica e, atravs destes, em muitas das aplicaes a outras reas do conhecimento. Em geral, o estudante se depara com eles, pela primeira vez, ainda no curso secundrio e sua introduo justificada pela necessidade de resolver equaes de segundo grau com discriminante negativo. Isso cria uma falsa impresso, j que, historicamente, no foram as equaes de segundo grau que levaram introduo dos nmeros complexos. Nestas notas analisaremos essa questo e alguns outros aspectos ligados ao desenvolvimento do assunto. 0 fato de que um nmero negativo no tem raiz quadrada parece ter sido sempre claro para os matemticos que se depararam com a questo. As equaes de segundo grau apareceram na Matemtica j nas tabuletas de argila da Sumria, aproximadamente 1700 anos antes de Cristo e, ocasionalmente, levaram a radicais de nmeros negativos; porm, no foram elas, em momento algum, que sugeriram o uso de nmeros complexos. Em rigor, uma equao era vista como a formulao matemtica de um problema concreto; assim, se no processo de resoluo aparecia uma raiz quadrada de um nmero negativo, isso era interpretado apenas como uma indicao de que o problema originalmente proposto no tinha soluo. Como veremos adiante, foram s as equaes de terceiro grau que impuseram a necessidade de trabalhar com esses nmeros. Vejamos inicialmente alguns antecedentes. Um primeiro exemplo desta atitude aparece na Arithmetica, de Diophanto. Aproximadamente no ano de 275 d.C. ele considera o seguinte problema: Um tringulo retngulo tem rea igual a 7 e seu permetro de 12 unidades. Encontre o comprimento dos seus lados. Chamando de x e y o comprimento dos catetos desse tringulo, temos, na nossa notao atual:

Substituindo y em funo de x, obtemos a equao:

1 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

Na verdade, o primeiro registro de um radical de um nmero negativo um pouco anterior: ele aparece na Estereometria de Heron, matemtico grego do perodo Alexandrino, publicada aproximadamente em 75 d.C. Num clculo sobre o desenho de A questo parece no causar uma pirmide surge a necessidade de avaliar nenhum problema simplesmente porque logo em seguida os nmeros apresentam-se trocados: , resultando ,

Encontram-se novas referncias questo na Matemtica indiana. Aproximadamente no ano de 850 d.C, o matemtico indiano Mahavira afirma: . . . como na natureza das coisas um negativo no um quadrado, ele no tem, portanto, raiz quadrada. J no sculo XII o famoso matemtico Bhaskara (1114-1185 aprox.) escreve: O quadrado de um afirmativo afirmativo; e a raiz quadrada de um afirmativo dupla: positiva e negativa. No h raiz quadrada de um negativo; pois ele no um quadrado. Tambm na Matemtica europia aparecem observaes dessa natureza; Luca Paccioli, na sua Summa de arithmetica, geomtrica, proportioni et proportionalita, publicada em Nicolas Chuquet (1445-1500 aprox.) faz observaes semelhantes sobre "solues impossveis" num manuscrito, no publicado, de 1484. O prprio Cardano se deparou com esse tipo de questes e, embora mantivesse a atitude dos seus contemporneos, no sentido de entender que razes de nmeros negativos indicavam apenas a no-existncia de solues de um determinado problema, pelo menos em um caso ele deu um passo a mais. No Captulo 37 do Ars Magna, ele considera o problema de dividir um segmento de comprimento 10 em duas partes cujo produto seja 40.

Se chamamos de x o comprimento de uma das partes, a outra ter comprimento 10 x, e a condio do problema se traduz na equao: Isso leva equao x2 l0x + 40 = 0, cujas solues so Cardano reconhece que o problema dado no tem soluo mas, talvez a ttulo de curiosidade, observa que, trabalhando com essas expresses como se fossem nmeros, deixando de lado as torturas por , obtm-se 25 ( 15), que mentais envolvidas e multiplicando igual a 40. Em conseqncia, ele chama essas expresses de razes sofsticas da equao e diz, a respeito delas, que so to sutis quanto inteis.

2. A necessidade dos nmeros complexos Raphael Bombelli (1526-1573) era um admirador da Ars Magna de Cardano, mas achava que seu estilo de exposio no era claro (ou, em suas prprias palavras, ma, nel dire fu

2 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

oscuro). Decidiu, ento, escrever um livro expondo os mesmos assuntos, mas de forma tal que um principiante pudesse estud-los sem necessidade de nenhuma outra referncia. Publicou l'lgebra, em trs volumes, em 1572, em Veneza, obra que viria a se tornar muito influente. No captulo II dessa obra, ele estuda a resoluo de equaes de grau no superior a quatro. Em particular na pgina 294 e nas seguintes, ele considera a equao x3 = 15x+ 4. Ao aplicar a frmula de Cardano para o clculo de uma raiz, ele obtm:

Seguindo Cardano, ele tambm chama essa expresso de sofstica, mas, por outro lado, ele percebe que x = 4 , de fato, uma raiz da equao proposta. Assim, pela primeira vez, nos deparamos com uma situao em que, apesar de termos radicais de nmeros negativos, existe verdadeiramente uma soluo da equao proposta. necessrio, ento, compreender o que est acontecendo. Bombelli concebe ento a possibilidade de que exista uma expresso da forma que possa ser considerada como raiz cbica de i.e., que verifique . A forma em que ele calcula essa raiz um tanto peculiar; ele seja da forma . Como ele sabe que 4 deve assume que a raiz cbica de . Neste ponto, felizmente, as ser raiz da equao, necessariamente quantidades no existentes se cancelam e obtemos a = 2 . Com esse resultado, muito fcil voltar equao e deduzir que 6 = 1. Assim, ele e que: obtm que

uma soluo da equao dada. Bombelli percebeu claramente a importncia desse achado. Ele diz: Eu achei uma espcie de raiz cbica muito diferente das outras, que aparece no captulo sobre o cubo igual a uma quantidade e um nmero. ... A princpio, a coisa toda me pareceu mais baseada em sofismas que na verdade, mas eu procurei at que achei uma prova... . Isto pode parecer muito sofisticado mas, na realidade, eu tinha essa opinio, e no pude achar a demonstrao por meio de linhas [i.e. geometricamente], assim, tratarei da multiplicao dando as regras para mais e menos.

Ele utiliza a expresso pi di meno para se referir ao que ns denotaramos como + i e meno di meno para i. Ele enuncia ento o que chama de regras do produto, que citamos abaixo junto com sua traduo na nossa simbologia: Pi via pi di meno fa pi di meno, Meno via pi di meno fa meno di meno, Pi via meno di meno fa meno di meno, Meno via meno di meno fa pi di meno, Pi di meno via pi di meno fa meno, Meno di meno via pi di meno fa pi, + . (+ i) = + i
.

(+ i) = i
.

+ . ( i) = i ( i) = + i (+ i) . (+ i) = ( i) . (+ i) = +

3 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

Meno di meno via meno di meno fa meno.

( i ) . ( i) =

E interessante notar que Bombelli se deparava com a dificuldade adicional de no dispor de uma boa notao. Ele utilizava p (plus) para indicar a soma; m (minus) para a subtrao; R (radix) para raiz quadrada e R3 para a raiz cbica. Tambm no dispunha de parnteses; nos seus manuscritos sublinhava expresses para indicar quais os termos era escrita na afetados por um radical. Assim, por exemplo, a expresso forma

Note que, como no escrevia diretamente nmeros negativos, ele escreveu como 0 121. Dessa forma, a soluo da equao discutida acima aparecia como:

121

3. Progressos ulteriores Faremos aqui um pequeno resumo da evoluo dos nmeros complexos, para que o leitor tenha uma viso global da histria do assunto. Comearemos listando alguns progressos na notao para depois nos ocuparmos da evoluo dos conhecimentos. O smbolo foi introduzido em 1629 por Albert Girard.

O smbolo i foi usado pela primeira vez para representar por Leonhard Euler em 1777, apareceu impresso pela primeira vez em 1794 e se tornou amplamente aceito aps seu uso por Gauss em 1801. Os termos real e imaginrio foram empregados pela primeira vez por Ren Descartes em 1637. O expresso nmero complexo foi introduzida por Cari Friederich Gauss em 1832. Como observamos na seo anterior, a partir do trabalho de Bombelli, os nmeros complexos comearam a ser utilizados devido a sua bvia utilidade para resolver equaes de terceiro grau mas, ao mesmo tempo, era claro que tais nmeros no poderiam existir. A primeira tentativa de legitimao, via uma "interpretao geomtrica", devida a John Wallis (1616-1703), contemporneo de Newton e professor na Universidade de Oxford. Em 1673 ele publicou um tratado intitulado lgebra, em cujo captulo LXVI discute a impossibilidade da existncia de quantidades imaginrias e compara essa questo com a da existncia de quantidades negativas *. Estas quantidades imaginrias (como so freqentemente chamadas) surgem das supostas razes de um quadrado negativo (quando aparecem) e se considera que implicam que o caso proposto impossvel. E assim , de fato, no sentido estrito do que foi proposto. Pois no possvel que qualquer nmero (negativo ou afirmativo), multiplicado por si mesmo, possa produzir (por exemplo) 4. Pois sinais iguais (tanto + quanto ) produziro + ; e portanto no 4. Mas tambm impossvel que qualquer quantidade (embora no um suposto quadrado) possa ser negativa. Pois no possvel que qualquer magnitude possa ser

4 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

menos que nada, ou qualquer nmero menor que nada. Porm, no esta suposio (das quantidades negativas) nem intil nem absurda, quando corretamente compreendida. E, embora para a simples notao algbrica representa uma quantidade menor do que nada, quando se trata de uma aplicao fsica, denota uma quantidade to real como se o sinal fosse + ; mas interpretada no sentido contrrio. Depois de considerar diversos exemplos de nmeros negativos interpretados em termos de segmentos sobre uma reta orientada, ele tenta uma interpretao para as quantidades imaginrias: ____________
* Ns citamos da transcrio de D. E. Smith [4].

Suponhamos que num local ganhamos do mar 30 acres, mas perdemos em outro local 20 acres: se agora formos perguntados quantos acres ganhamos ao todo a resposta 10 acres, ou +10 (pois 30 20 = 10). ... Mas se num terceiro local perdemos mais 20 acres, a resposta deve ser 10 (pois 30 20 20 = 10) ... . Mas agora, supondo que esta plancie negativa de 1600 square perches [20 acres correspondem a 1600 square perches, uma outra medida inglesa da poca] tem a forma de um quadrado, no devemos supor que este quadrado tem um lado? E, assim, qual ser esse lado? No podemos dizer que 40, nem 40 ... Mas sim que ou ou . um quadrado negativo) ou (a suposta raiz de

Como era de se esperar, essa interpretao no teve uma grande acolhida entre seus contemporneos e nenhuma repercusso posterior. Notemos que, at aqui, nada garante que razes cbicas - ou, em geral, razes n-simas de complexos - sejam, de fato, complexos. Tal como assinala M. Kline [5, p. 595], no comeo do sculo XVIII, a maioria dos matemticos ainda acreditava que razes de diferente ordem de nmeros complexos levariam introduo de diferentes tipos de complexos. Jean Le Rond d'Alembert (1717-1783) foi encontrado abandonado na porta da igreja de St. Jean Le Rond, na noite de 16 de novembro de 1717, com cujo nome foi batizado e foi criado por pais adotivos. Sua me, Madame de Tencin, era irm de um cardeal e acompanhou sua vida a distncia, sem nunca reconhec-lo oficialmente, e seu pai, o General Destouches, lhe deixou uma quantia suficiente para cuidar da sua educao aps sua morte em 1726. Aps estudar Direito e Medicina, decidiu dedicar sua vida Matemtica. Trabalhou em lgebra, clculo e suas aplicaes, equaes diferenciais ordinrias e parciais, funes de varivel complexa, mecnica e dinmica. Em 1747 publicou Reflxions sur Ia cause gnrale des vents, em que afirmou que toda expresso construda algbricamente a partir de um nmero complexo (onde inclua tambm a . No formulou uma prova satisfatria no caso de extrao de razes) da forma expresses da forma (a + bi)c+di, tarefa que seria completada por Euler. D'Alembert foi amigo de Voltaire e colaborou com diversos artigos para a Enciclopdie, mas manteve nesta um discreto silncio sobre os nmeros complexos. Roger Cotes (1682-1716) foi um jovem professor no famoso Trinity College de Cambridge e, aps sua prematura morte, dele disse Newton: Se Cotes tivesse vivido, teramos aprendido alguma coisa. Em 1714 ele obteve um importante resultado, relacionado com a obteno de razes n-simas da unidade que, na notao moderna, poderamos explicitar como:

Isso poderia ter levado famosa "relao de Euler":

5 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

que, por sua vez, implica a "frmula de De Moivre": o que resolveria o problema de achar razes. Porm, o caminho foi outro. Abraham De Moivre (1667-1754) nasceu na Frana, mas viveu na Inglaterra a partir dos dezoito anos, quando o Edito de Nantes, que protegia os huguenotes, foi revogado. Estudou Matemtica sozinho, aps ler os Principia de Newton, chegando a se tornar membro da Royal Society e das academias de Paris e Berlim. Seu trabalho versou fundamentalmente sobre trigonometria, probabilidade e clculo de anuidades. Em 1722, utilizando fatos que j havia publicado em 1707, ele obteve um resultado que implicou a frmula que leva seu nome, embora tenha se limitado a casos particulares e nunca tenha chegado a enunciar ou demonstrar a frmula no caso geral. Essa tarefa coube a Leonhard Euler (1707-1754), considerado o mais prolfico matemtico de todos os tempos. Numa carta endereada a Jean Bernoulli, datada de 18 de outubro de 1740, (o que reconheceu atravs do desenvolvimento em srie das solues) e que, portanto, deviam ser iguais. Publicou esse resultado em 1743; explicitamente:

Em 1748 ele redescobriu o resultado de Cotes, demonstrou a frmula de De Moivre e estendeu sua validade para todo exponente n real. Com isso, a existncia de razes no campo complexo ficou definitivamente estabelecida. Obviamente, Euler compreendia e utilizava muito bem os nmeros complexos. O fato de ele prprio ter grandes dvidas quanto a sua legitimidade ilustra claramente o status desse corpo numrico na poca. Em Vollstndige Anleitung zur lgebra, publicada primeiro em russo, em 1768-69, e depois em alemo, em 1770, que se tornou uma referncia clssica nessa rea nos dois sculos seguintes, Euler escreve: Uma vez que todos os nmeros concebveis so maiores do que 0, ou menores do que 0 ou iguais a 0, claro que a raiz quadrada de um nmero negativo no pode ser includa entre os nmeros possveis. Conseqentemente, devemos dizer que estes so nmeros impossveis. E esta circunstncia nos conduz a tais nmeros, que por sua natureza so impossveis, e que so chamados costumeiramente de imaginrios, pois eles s existem na imaginao.

4. A representao grfica A representao geomtrica dos nmeros complexos mediante pontos do plano foi decisiva para sua aceitao. A possibilidade dessa representao era clara para vrios autores, como Cotes, De Moivre, Euler e Vandermonde; todos eles tentaram resolver a equao xn 1 = 0 pensando em suas solues como vrtices de um polgono regular de n lados. Essa ida era ainda incompleta, pois nenhum desses autores achou tambm uma interpretao geomtrica para as operaes com complexos. O primeiro a formular uma tal interpretao foi um agrimensor noruegus chamado Caspar Wessel (1745-1818), um autodidata. Ele autor de um artigo intitulado Sobre a representao analtica da direo: uma tentativa, que foi publicado em 1799 nas

6 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

memrias da Real Academia da Dinamarca. Ali, escreveu: outra Vamos designar por +1 a unidade retilnea positiva, por + perpendicular primeira, com a mesma origem; ento o ngulo de direo de ser 90 ou 270. +1 ser 0o, o de 1 ser 180, o de ser 90 e o de Tal como fazemos hoje em dia, ele representa o complexo a + bi pelo vetor do plano com origem O - a origem do sistema de eixos coordenados - e com extremo no ponto P de coordenadas (a, b). Depois d uma representao geomtrica da soma de dois complexos a + bi e c + di, representando-os pelos vetores OP e OQ, respectivamente, e observando que a soma estar respresentada pela diagonal do paralelogramo construdo sobre OP e OQ. De forma anloga, o produto desses complexos estar representado por um vetor OR tal que o comprimento de OR o produto dos comprimentos de OP e OQ, e o ngulo que OR forma com o eixo Ox igual soma dos ngulos formados por OP e OQ com esse eixo. Uma representao semelhante foi dada por Jean-Robert Ar-gand (1768-1822), um bibliotecrio suo, tambm autodidata, que em 1806 publicou um pequeno livro intitulado Essai sur ia manire de reprsener les quantits imaginaires dans les constructions gomtriques. Ele observa que se multiplicamos +1 por i obtemos i e se multiplicamos esse resultado novamente por i obtemos 1. Ele pensa, ento, em representar i por uma operao que aja de modo anlogo. Assim, podemos representar i por uma rotao de 90 em sentido anti-horrio. A partir daqui, tal como Wessel, ele d interpretaes para nmeros da forma a + bi e para as operaes com complexos, aplicando seus resultados demonstrao de teoremas de lgebra, geometria e trigonometria. Esses trabalhos tiveram pouco ou nenhum efeito sobre os matemticos da poca; a memria de Wessel s foi notada quando publicada em traduo francesa em 1897, e o livro de Argand, embora causasse uma certa controvrsia, teve pouco impacto, talvez por ser a nica contribuio de seu autor Matemtica. Quem verdadeiramente tornou a interpretao geomtrica amplamente aceita foi Carl Friederich Gauss (1777-1855). A julgar pelas suas demonstraes do teorema fundamental da lgebra, ele j conhecia a interpretao grfica dos complexos em torno de 1815, embora escrevesse, numa carta de 1825, que a verdadeira metafsica de elusiva. Finalmente, em 1831, ele escreveu um artigo muito explcito sobre a questo. Diz na introduo: O autor tem considerado h vrios anos esta parte importante da Matemtica sob um ponto de vista diferente, que permite conferir s quantidades imaginrias, como as negativas, uma existncia objetiva. O significado intuitivo dos nmeros complexos fica completamente estabelecido e no se precisa mais para admitir estas quantidades no domnio da aritmtica.

Ele observa tambm que se as unidades 1, 1, no fossem chamadas de positiva, negativa e imaginria, mas direta, inversa e lateral, as pessoas no teriam tido a impresso de que h algo de misterioso nesses nmeros. A observao de Gauss a respeito da existncia, objetiva dos nmeros complexos ilustra a viso da Matemtica na poca. Parece que o fato de esses nmeros poderem ser representados geometricamente lhes d essa existncia. Em outras palavras, parece que, para os matemticos daquele perodo, os entes geomtricos tinham um tipo de realidade que faltava aos objetos da aritmtica.

7 de 8

6/1/2009 13:54

RPM 24 - A emergncia dos nmeros complexos

file:///K:/24/2.htm

Finalmente, a formalizao completa dos nmeros complexos como pares ordenados de nmeros reais ser desenvolvida por William Rowan Hamilton (1805-1865) em 1833, e ainda Agustin Cauchy (1789-1857) daria outro tipo de formalizao em 1847.

Referncias Bibliogrficas
[1] CAJORI, F. A History of Mathematical Notations. Chicago, Open Court, 1928-1929. [2] GREEN, D. R. The Historical Development of Complex Numbers. The Mathematics Gazette, 60, 412 (1976), 99-107. [3] SMITH, D. E. History of Mathematics, v. II. Boston, Ginn and Company, 1925. [4] SMITH, D. E. A Source Book in Mathematics. New York, McGraw-Hill, 1929. [5] KLINE, M. Mathematical Thought ftom Ancient to Modern Times. New York, Oxford Univ. Press, 1972.

Csar Polcino Milies professor titular do IME-USP. Interessa-se por Algebra - sua rea de pesquisa - e Histria, da. Matemtica. Tem diversos outros interesses: pratica judo, estuda cabala e tambm psiclogo, formado na USP.

1. 300 minutos;

Resposta dos probleminhas 2. acaba sempre em 6174;

3. 4 filhos e 3 filhas.

8 de 8

6/1/2009 13:54