Para que se nem os nmeros complexos?

Resumo, palavras-chave, concluses e bibliografia da monografia apresentada fProf Ezequias - 1998), ao Instituto de Matemtica, da Universidade Federal do Rio de
J aneiro (IM/UFRJ ), como trabalho de concluso do curso de Licenciatura em Matemtica. Orientao do professor Bernardo Felzenszwalb e colaborao da Professora
Vnia Maria Pereira dos Santos.
Resumo:
Os nmeros complexos apareceram no sculo XVI ao longo das descobertas de procedimentos gerais para resoluo de equaes algbricas de terceiro e quarto grau.
No sculo XVII os complexos so usados de maneira tmida para lcilitar os clculos. No sculo XVIII so mais usados na medida que se descobre que os complexos
permitem a conexo de vrios resultados dispersos da Matemtica no conjunto dos nmeros reais. No entanto, nada feito para esclarecer o significado desses novos
nmeros. No sculo XIX, aparece a representao geomtrica dos nmeros complexos, motivada pela necessidade em Geometria, Topografia e Fsica, de se trabalhar
com o conceito de vetor no plano. Os nmeros complexos passam a ser aplicados em vrias reas do conhecimento humano, dentro e fora da Matemtica.
Concluses e bibliografia:
As equaes de segundo grau com discriminante (delta) negativo no motivaram o aparecimemto dos nmeros complexos. Que significado teriam os nmeros negativos e
as razes quadradas destes? ( 1 1Bover: [421 The Times: [41 Kasner & Newman: [111 Smith: 121 Green : Estereometria de Heron (c. 75 d.C); A Arithmtica de
Diophanto (c. 275 d.C.); OBija-Ganita de Baskara (c. 1150) ).
Os nmeros complexos emergiram em pleno momento histrico chamado de Renascena (1400-1600), onde tivemos, estimulados pelo desenvolvimento comercial e pelo
crescimento das cidades europias, o desenvolvimento da Matemtica atravs dos trabalhos de Paccioli (1494), Tartaglia e Cardano (1545). Os complexos no foram
aceitos naturalmente como nmeros. No havia sentido (significado geomtrico) em uma raiz quadrada de um nmero negativo. ( t [171 Milhes: [321 Witmer: f 151
Ricieri: Triparty en la Science des nombres de Chuquet (1484); Summa Arithmtica dePaccioli (1494)).
As equaes cbicas estudadas por Cardano (1545) e Bombelli (1572) motivaram a utilizao dos nmeros complexos. Foi necessrio trabalhar com os nmeros
complexos, "como se fossem nmeros", para achar a soluo real (positiva) x =4 do problema: "Seja x3o volume de um cubo de aresta x e 15x o volume de um
paraleleppedo retngulo cuja rea da base 15 e cuja altura igual aresta do cubo. Determine x de modo que x3=15x +4 ". Foi encontrada uma dificuldade ao
aplicar o mtodo (frmula) de Cardano nesta equao de terceiro grau, pois apareceu na soluo uma raiz quadrada de nmero negativo:
x = (2 - V-121)1'3 - ( 2 - V - 121)1/3.
Como uma soluo com radicais de nmeros negativos poderia produzir uma soluo real positiva x =4 ?
A frmulade Cardano est errada?
O nmero x =(2 - \L 121)1/3- (2 - V-121)13= 4 ?
( [1] Bover: [17] Millies: [32] Witmer: [5] Caraa : [15] Ricieri: Ars Magna de Cardano (1545); LAlgebra de Bombelli (1572) ).
O smbolo para a raiz quadrada de -1,
v=r
introduzido por Girard (1629), passou a ser representado pela letra i a partir de Euler (1777). Foi Descartes (1637) quem introduziu os termos real e imaginrio. A
expresso nmeros complexos foi usada pela primeira vez por Gauss (1831). ( [11 Bover: [151 Ricieri: Invention novelle en LAlgebre de Girard (1629); La
Gomtrie de Descartes (163 7); Analysin infinitorum de Euler (1748) ).
Cardano (1545), Bombelli (1572) e Leibniz (1676) conjecturaram que a soma de dois complexos conjugados daria um nmeros real. Cauchy (1829), Hennite (1865),
entre outros, constataram estas propriedade. Girard (1629), Descartes (1673) e DAlembert (1746) conjecturaram o Teorema Fundamental da lgebra (TFA), que foi
provado por Gauss (1798). ( 111 Smith: [11 Bover: [151 Ricieri: [341 Mac Tutor: [351 Mathematics: [61 Eves: Analyseos Miraculum de Leibniz (1702);
Invention novelle en LAlgebre de Girard (1629); Reflexions sur la cause gnrale des vents de DAlembert (1746) ).
http://www. profezeq ui as.net/compl exo. html 1/4
29/3/2014 Para que servem os nmeros complexos? - Seja bem-vindo.
Girard (1628), Wallis (1685), Argand (1790) e Wessel (1797), independentemente motivados pela Geometria e pela Topografia, representaram geometricamente, de
maneira intuitiva e prtica, os complexos como pontos (vetores) num plano cartesiano. Gauss (1831) e Hamilton (1833) redescobriram a representao geomtrica e
definiram os complexos. Gauss os definiu como nmeros da forma a+bi, onde a e b so nmeros reais e i2 = -1. Hamilton os definiu como o conjunto dos pares
ordenados (vetores) (a,b), onde a e b so nmeros reais, identificando (0,1) com 0+i e (1,0) com 1+0i . Hamilton associou a multiplicao (a,b)x(x,y) =(ax-by , ay+bx)
a uma operao envolvendo a rotao de vetores em torno da origem. Multiplicar por i envolve uma rotao de 90 graus, multiplicar por i2=-1 envolve uma rotao de
180 graus, multiplicar por i3=-i envolve uma rotao de 270 graus e assim por diante.
Imaginrios -
b'
/ '
f . 1 ys
* i2=-1
\ c
\ Izie
2=a + bi /
! 5 a T ' 1 sen <|>
i ; - L
1$ \
a Reais 1
cos
i<t>'
z = a + bi = z| ( cos 4>+ i sen ) = z e
A representao geomtrica permitiu que os complexos fossem visualizados, por conseguinte, aceitos como nmeros. A possibilidade de extrair a raiz ensima de um
complexo dada por Cotes (1714), Moivre (1730), D'Alembert (1746), Euler (1748) e Picard (1871), sinalizando que o sistema dos nmeros complexos algebricamente
fechado, tambm contribuiu para isso. ( [11] Smith: [5] Caraca: [1] Bover: [2] Green: [3] Baumeart: [15] Ricieri: Invention novelle en LAlgebre de Girard
(1629); Treatise o f Algebra de Wallis (1673): Essai sur une manire de representer les quantits imaginaires dans le constructions geomtriques de Argand
(1790): On the analytical representation o f direction de Wessel (1797): Miscellanea Analytica de Seriebus et Quadraturis de Moivre (1730): Analysin
infinitorum de Euler (1748): Reflexions sur la cause gnrale des vents de DAlembert (1746) ).
Foi a necessidade, imposta pelo mtodo de Cardano, de se trabalhar com os nmeros complexos antes de compreend-los como nmeros, que determinou o uso das
razes de nmeros negativos antes dos negativos serem aceitos como nmeros. O significado geomtrico dos nmeros negativos surgiu com a representao geomtrica
dos complexos. Hankel (1867), trabalhando com a lgebra dos nmeros complexos e as leis fundamentais da aritmtica, estabeleceu a regra ("regra dos sinais") da
multiplicao (-1) x (-1) = 1(o produto de dois nmeros inteiros negativos sempre positivo) para a permanncia da propriedade distributiva a(b+c) =ab +ac. Por
exemplo:
Assim, terminava a polmica entre os que ainda no aceitavam e os que aceitavam os nmeros negativos como nmeros. ( [1 0]Medeiros & Medeiros : [30]
Fe.kenswa.lb : Theorie der Komplexen Zahlensysteme de Hankel (1867) ).
O conjunto dos nmeros complexos s serve para resolver equaes algbricas? A lgebra dos nmeros complexos permite representar e operar vetores no plano.
Possibilita que grandezas que variam senoidalmente (ou
cossenoidalmente) com amplitude A e desvio de fase <j),
em funo do tempo t, ou seja, do tipo A.sen(cot + <j)) ,
sejam representados por vetores bidimensionais
(fasores) A(cos <()+i. sen <j)) , que sofrem rotao em
sentido anti-horrio com velocidade angular co.
mais fcil operar (somar, multiplicar, etc.) com nmeros complexos de diferentes mdulos e argumentos do que operar com funes trigonomtricas (senos e cossenos)
de diferentes amplitudes e fases. ( [13] Tipler: [9] Barradas: [21] Barradas: [31] Bolton: [8] Cavalcante: [12] Cutler ).
O conjunto dos complexos uma extenso dos reais? Existe nos complexos um subconjunto (eixo x) que " uma cpia perfeita dos reais", isto , os reais e os
complexos da forma (a,0) so identificados por meio de uma funo injetora (injetiva) e sobrejetora (sobrejetiva), que preserva as operaes de adio e multiplicao de
complexos (isomorfismo). Ento, colocando "a cpia no lugar do original", podemos dizer, "por abuso de linguagem", que os complexos contm os reais. ( [24]
Neto: [40] Carneiro).
O plano complexo e o plano cartesiano da Geometria Analtica so iguais? Sob ponto de vista da lgebra existem algumas diferenas . Quando trabalhamos com a
Geometria Analtica fazemos uso da soma de vetores e da multiplicao destes por um nmero real. Quando trabalhamos com os complexos fazemos uso da (mesma)
soma de complexos (vetores) e da multiplicao de complexos (vetores), que essencialmente uma rotao seguida de homotetia, portanto, no o produto interno
(escalar) e muito menos o produto vetorial do Clculo Vetorial.( [13] Tipler: [24] Neto: [21] Barradas: [31] Bolton: [8] Cavalcante: [40] Carneiro).
Quantidade complexa (ou fasor) uma grandeza que pode ser representada e operada vetorialmente, pela lgebra dos nmeros complexos, no plano. Pode significar
uma variao de amplitude (mdulo) e ngulo de fase (argumento) num fenmeno peridico (como acontece nos circuitos eltricos de corrente alternada). Grandeza
vetorial (ou vetor) aquela que possui direo, sentido e mdulo (velocidade, deslocamento, etc). representada e operada vetorialmente no plano e no espao por uma
lgebra (clculo vetorial) diferente da lgebra dos complexos. ( [13] Tipler: [21] Barradas: [40] Carneiro: [24] Neto: [25] Medeiros: [8] Cavalcante: [14]
Valladares).
Foi atravs do uso e da compreenso dos nmeros complexos que, certos "defeitos" existentes no conjunto dos nmeros reais foram "consertados". Euler (1748) usou as
sries de Maclaurin (1742),
http://www. profezequi as. net/compl exo.html 2/4
29/3/2014 Para que servem os nmeros complexos? - Seja bem-vindo.
com x =ix, para chegar a relao eK =cos x +i sen x , onde i2= -1 , e =2,7182 ... , conhecida como identidade de Euler. Esta equao fez a to necessria conexo
entre logaritmos, funes trigonomtricas e fatoriais (os complexos conseguem ter forma exponencial, trigonomtrica ou polar). Alm dessas conquistas, a identidade de
Euler deu significado aos logaritmos de nmeros negativos.
Fazendo x = jt, Euler obteve e+ 1 = 0. onde o nmero irracional
7t = 3,14159..., implicando no logaritmo neperiano Ln(-l) = 7ii
ou seja, os logaritmos de nmeros negativos so nmeros imaginrios puros.
Hadamard (1883), em um estudo sobre distribuio de temperatura, resolveu equaes diferenciais (funes de Bessel) usando i2 = -1. Os nmeros complexos
conquistaram novos domnios para Matemtica. ( [151 Ricieri: [411 Medeiros: [261 Avila: Treatise o f Fluxions de Maclaurin ; Introductio in Analysin infinitorum
de Euler (1748)).
Os nmeros complexos abriram caminho para que os matemticos pudessem criar (experimentar) novas lgebras. Gauss (1801) estendeu os inteiros (nmeros da forma
a+bi em que a e b so inteiros e i2=-1) na sua lgebra das congruncias (aritmtica modular). Hamilton (1843) introduziu uma multiplicao de vetores no espao de
quatro dimenses, construindo a lgebra, no comutativa, dos Quatrnions (a,b,c,d) =a +bi +cj +dk onde a,b,c,d so nmeros reais e i2=j 2=k2=ijk =-1. O grupo
dos quatrnions foi importante no desenvolvimento da lgebra abstrata e na construo da Fsica moderna. ( [11 Bover: [31 Baumeart: [301 Felzenswalb ; Lectures
on Quaternions de Hamilton (1853) : Disquisitiones arithmeticae de Gauss (1801) ).
Os nmeros complexos so muito teis na Aerodinmica. J oukowski (1906), utilizando transformaes geomtricas, construiu uma
curva fechada no plano complexo que representa o perfil de uma asa de avio (aeroflio de J oukowski) e, usando o princpio de
Bernoulli (1738) e a teoria das funes complexas, deduziu a frmula
F = x + yi = -ie*a(VkLp)
que permite calcular a fora de levantamento responsvel pela sustentao do voo de um avio. Os nmeros complexos permitiram uma
explicao matemtica para o voo. Da em diante o progresso aeronutico foi rpido. ( 77 Chnrchil: [29] Green: 2f] Avila).
Na eletrnica e na eletricidade, a anlise de circuitos de corrente alternada feita com a ajuda de nmeros complexos. Grandezas como a impedncia (em ohms) e a
potncia aparente (em volt-ampre) so exemplos de quantidades complexas (fasores).
A impedncia (em ohms) o nmero complexo Z =R +jX, ou na forma polar,
Z = |Z|(cos<j) +jsen(j)), onde j2= -1, <j) o ngulo (argumento) de defasagem
entre a tenso aplicada e a corrente no circuito, |Z| o mdulo, R a
resistncia eltrica (em ohm) e X a resultante (em ohm) das reatncias
indutivas e capacitivas do circuito.
Na Fsica e na Engenharia usado, como nmero imaginrio, o j no lugar do i para evitar confuso com o i de corrente eltrica.
A potncia aparente (em volt-ampre) o nmero complexo P =Pr +jPx, ou na forma trigonomtrica,
P = |P|(cos<j> +jsen<()), ondej2= -1 , |P| o mdulo, <f> o ngulo
de defasagem entre a tenso e a corrente, Pr a potncia real
ou ativa (em watt), Px a potncia reativa (em volt-ampre
reativo). O valor do coscj) chamado de fator de potncia.
O valor do fator de potncia (cosseno FI) importante na determinao do aproveitamento da energia que est sendo gasta. ( [131 Tipler: [211 Barradas: [91
http://www.profezeq uias.net/complexo.html 3/4
29/3/2014 Para que servem os nmeros complexos? - Seja bem-vindo.
Barradas: [121 Cutler: [311 Bolton: [81 Cavalcante: [71 Churchil ).
Os procedimentos (algoritmos) recursivos (iterativos ou recorrentes) no plano complexo criaram na maioria das vezes figuras invariantes por escala denominadas fractais.
Estas formas geomtricas de dimenso fracionria servem como ferramenta para: descrever as formas irregulares da superfcie da terra; modelar fenmenos,
aparentemente imprevisveis ( teoria do caos ), de natureza meteorolgica, astronmica, econmica, biolgica, etc. Von Koch (1904) e J ulia (1910), foram os pioneiros
no nascimento dessa nova matemtica (ou ser nova arte?).
Henon (1974) estudou o sistema Xn +1 =1- Yn - a(Xn)2e Yn +1 =bXn. Foi observado que, dados a, b, Xo, Y o, variando n (n =0,1,2,3, ...) e representando o par (Xn ,
Yn) no plano complexo, independentemente dos valores iniciais Xo e Y o, os caminhos numricos descritos pelos pares ordenados (Xo , Y o), (X1 , Y 1) , (X2 , Y 2) , ... ,
(Xn , Yn) repetiam-se, formando hexgonos deformados. Ampliando seu conjunto de trajetrias (vrios X o e Y o) e representando-as juntas no plano complexo, Henon
produziu uma figura enigmtica que chamou de "Gingerbreadman".
Mandelbrot (1975) estudou a equao Xn +1 =(Xn)2+Z , onde Z =a +bi, i2=-1 e n =1, 2 , 3 , ... . Atravs de um programa recursivo de computador (um programa
em loop), variou Z e o computador imprimiu na tela os pontos Xn+1. Constatou que, para cada valor de Z uma figura era impressa na tela. Ampliando as figuras descobriu
que continham cpias aproximadas de si mesmas (auto-semelhana).
Hubbard (1979) resolveu a equao polinomial do quarto grau x4- 1 =0 no computador, usando o mtodo de Newton (1711) estendido para razes complexas. Ao
mapear a maneira pela qual o mtodo leva, de diferentes valores iniciais xq, a uma das quatro solues, produziu tambm geometria fractal. Os fractais permitem desenhar
(ou modelar) qualquer coisa (ou fenmeno) da natureza numa tela de computador (computao grfica), tudo isto graas ao corpo dos nmeros complexos.( [151
Ricieri: [391 Cleick: [431 Seiter: De analysi per aequationes numero terminorum infinitas de Newton (1711) : A two dimensional mapping with a strange
atractor de Henon (1976) : Les objects fractais: forme, hasard et dimension de Mandelbrot (1975)).
Problemas resolVdos Bibliografia Vdeos Poltica de Privacidade
http://www. profezequi as. net/compl exo.html 4/4