LUCIA HELENA DA SILVA VIEIRA

Epistemologia dos nmeros complexos

Monografia de concluso de Curso

Centro de Cincias Fsicas e Matemticas
Departamento de Matemtica
Universidade Federal de Santa Catarina
Orientador: Prof. Mricles Thadeu Moretti

FLORIANPOLIS

1999
Esta Monografia foi julgada adequada como TRABALHO DE CONCLUSO DE CURSO
no Curso de Matemtica - Habilitao Licenciatura e aprovada em sua forma final
pela Banca Examinadora designada pela Portaria n9 20/SCG/99.

Profg Carmem zane Comitre amenez

Professem responsvel pela disciplina

Banca Examinadora

Orientador Prof. Mericles Thadeu Moretti

Prof! Joana B. de Oliveira Quandt

 minha famlia, pelo incentivo,
apoio e confiana e por estarem
sempre presentes em minha vida.
 SUMA RIO

1. Introduo 05
2. Resoluo da equao quadrtica 06
3. Resoluo da equao cbica 09
3.1 0 mtodo que Tartaglia ensinou a Cardano 12
3.2 Justificative para a formula de Tartaglia 14
4. Raiz quadrada de nmeros negativos antes do surgimento
dos nmeros complexos 19
5. Surgimento dos nmeros complexos 22
6. Desenvolvimento dos nmeros complexos 26
7. Representao geomtrica 39
8. Concluso 47
9. Referencias bibliogrficas 48
"0 Espirito Divino expressou-se sublimemente
nesta maravilha da anlise, neste portento do
mundo das idias, este anfbio entre o ser e o
no ser, que chamamos de raiz imaginaria da
unidade negativa".
(Leibniz)
 5

1. Introduo

A Historia da Matemtica sempre me fascinou, principalmente pelo aspecto

humano que contm fracassos e xitos de muitas geraes.
Em geral a matemtica encarada coma uma criao divina, onde o
esforo e dedicao de inmeras pessoas so esquecidos. A histria dos
nmeros complexos mostra claramente a matemtica como uma cincia viva,
dinmica e sendo construda pelos homens ao longo do tempo.
Normalmente o estudante se depara com os nmeros complexos ainda no
ensino fundamental, quando ao resolver equaes polinomiais do segundo
grau surgem discriminantes negativos. Isso criou ao longo dos anos a falsa
impresso de que os nmeros complexos surgiram quando da resoluo de
uma equao polinomial do segundo grau.
Veremos adiante que s as equaes polinomiais de terceiro grau
impuseram a necessidade do surgimento dos nmeros complexos. Sendo
assim vamos fazer um histrico sobre a resoluo destas equaes.
Alm disso, mostraremos como inicialmente foram interpretados os
nmeros impossveis ou imaginrios, como tambm so conhecidos, e como
excelentes matemticos resistiram a admitir a existncia desses nmeros que
s foram verdadeiramente reconhecidos devido a credibilidade de Gauss e a
divulgao da interpretao geomtrica.
 6

2. Resoluo da equao quadrtica

As equaes quadrticas apareceram na matemtica aproximadamente

1700 anos antes de Cristo, nas tabuletas de argila da Sumria e, ocasional-
mente, levaram a radicais de nmeros negativos.
No entanto, a presena de situaes prticas que envolviam este tipo de
equao fez com que se desenvolvessem mtodos cada vez mais rpidos para
sua resoluo. Um importante passo neste sentido foi dado por Al-Khowarizmi,
grande matemtico rabe do sculo IX que, para tanto, utilizou um mtodo
geomtrico. Com base no mtodo de AI-Khowarizmi, o hindu Bhaskara
desenvolveu uma frmula que imortalizou seu nome.

Seja a equao polinomial do 2 grau

cm' + bx + c =

com a 0, b, c constantes reais.

Os passos a seguir mostram uma maneira de obter-se a frmula de

Bhaskara.

2
Para a ax +bx +c = o

2 b C
0:=> X - - O
a a

a a
 7

2 b b2 c b2
(=> x + x + =+
a 4a2 a 4a2

\2
c b2
<=> (X - = -
2a , a 4a 2

b )2 4ac
( =
2a 4a 2

b Vb 2 4ac ,
ou
2a 2a

x
b V b 2 4ac
2a 2a

b b 2 4ac
x
2a

E aqui esta a formula de Bhaskara, que no foi deduzida por ele mas que
imortalizou o seu nome.

Decorrem da Formula de Bhaskara duas constataes importantes:

a) as equaes polinomiais com grau maior do que 1 poderiam ter mais do que
uma soluo;
b) em alguns casos, a aplicao da formula conduzia a uma coisa misteriosa, a
raiz quadrada de um nmero negativo.
 S

Aos algebrista antigos, gregos, hindus e rabes, no havia passado

despercebido esse caso embaraoso. Mas, sempre que ele se dava, via-se que
o problema concreto que o havia dado origem no tinha soluo, e portanto
estava de acordo com a realidade: soluo "vazia" para um problema sem
soluo prtica

Seja, por exemplo, o problema de dividir um segmento de comprimento 10

em duas partes cujo produto seja 40, ou seja:

{x + Y =1.0
x.y = 40

Onde x e y so os nmeros procurados.

Este sistema equivale a equao x 2 /Ox + 40 = 0, cujas solues so:

x -= 5

Como o problema que deu origem a esta equao no tem soluo, o

discriminante negativo era interpretado como um indicativo de que o problema
no tinha soluo. O embarao logo era desfeito uma vez que a soluo
encontrada correspondia 5 realidade.
 9

3. Resoluo da equao cbica

O primeiro registro do interesse do ser humano por equaes cbicas data

da antiga civilizao babifnica, por volta de 1800-1600 a.C.. No entanto,
passaram-se muitos sculos depois da resoluo da equao de 20 grau sem
que se soubesse como resolver as de 3 0 grau.
Essa descoberta, ern pleno renascimento italiano, esta cercada de mistrio.
0 mtodo de resoluo de urna equao cbica apareceu publicado em
1545, no Ars Magna de Girolamo Cardano de Milo, e ficou conhecida por
"Formula de Cardano".

Cardano

Segundo o prprio Cardano o mrito da formula deve-se a Scipione del

Ferro, um professor de matemtica da Universidade de Bolonha, que em 1515
descobriu como resolver cbicas do tipo x3 +ax = b mas morreu sem publicar
 10

sua descoberta. Quando ele morreu em 1526, as nicas pessoas que

conheciam seu trabalho eram seu genro e um aluno seu, Antonio Maria Fior de
Veneza.
Em 1535 Fior desafiou Tartaglia, um italiano de grande talento matemtico,
para um debate (prtica comum entre os sbios da poca), que aceitou
prontamente, at porque no levava Fior em grande considerao. Mais tarde,
sabendo que seu oponente estava bem preparado, Tartaglia mobilizou todos os
seus esforos no sentido de superar seu adversrio, o que conseguiu a 10 de
fevereiro de 1535, quando alm de resolver as equaes do tipo x 3+ ax = b,
tambm achou a frmula geral para as do tipo x 3 + bx2 = c, que Fior no
conhecia. Como era de se esperar, Tartaglia saiu vitorioso do debate e Fior
totalmente humilhado.

Tartaglia
 11

Cardano, sabendo que Tartaglia achara a soluo ficou ansioso para

aprender seu mtodo. Depois de quatro anos de tentativas frustradas e muitas
promessas onde Tartaglia recusava-se a expor o seu mtodo, Cardano
conseguiu a revelao das cobiadas frmulas. Tartaglia mandou o segredo
em um poema, de forma cifrada e misteriosa.
Cardano publicou sua verso do mtodo no Ars Magna em 1545, e apesar
de vrios protestos, Tartaglia teve que se conformar que a frmula que ele
deduzira e que ensinara ao desleal inimigo, ao invs de receber seu nome seja
at hoje conhecida como Frmula de Cardano.
 12

3.1 0 mtodo que Tartaglia ensinou a Cardano

A matemtica da poca de Cardano e Tartaglia no dispunha de uma boa

notao, o que dificultava o tratamento das equaes. Dessa forma, no
podiam expressar seus mtodos resumidamente atravs de frmulas como
feito atualmente. Portanto no de se estranhar que Tartaglia tenha
comunicado sua descoberta na forma dos seguintes versos:

1. Quando o cubo com a coisa em apreo

Se igualam a qualquer nmero discreto
Acha dois outros diferentes nisso

2. Depois ters isto por consenso

Que seu produto seja sempre igual
Ao cubo do largo da coisa certa

3. Depois, o resduo geral

Das raizes cbicas subtraidas
Ser tua coisa principal

4. Na segunda destas operaes

Quando o cubo ativer sozinho
Observars estas outras redues

5. Do nmero fars dois, de tal forma

Que um e outro produzam exatamente
0 cubo da tera parte da coisa

6. Depois, por um preceito comum

Toma o lado dos cubos juntos
E tal soma sera teu conceito

7. Depois, a terceira destas nossas contas

Se resolve como a segunda, se observas bem
Que suas naturezas so quase idnticas

8 Isto eu achei, e no com passo tardo

No mil quinhentos e trinta e quatro
Com fundamentos bem firmes e rigorosos
Na cidade cingida pelo mar.

Tartaglia e Cardano no usavam coeficientes negativos em suas

equaes, por isso eles analisavam trs casos possveis. Chamavam cada
um desses casos de operaes.
 13

Analisando os versos numa linguagem atual encontram-se os trs casos

nos seguintes trechos:

3
X + ax = b citado no primeiro verso "cubo e coisa igual a nmero"

x3 = ax + b citado no quarto verso "quando o cubo estiver sozinho"

+ b = ax citado no stimo verso

Vamos analisar o primeiro dos casos:

O nmero a que se refere o primeiro verso o termo independente que

ns estamos chamando de b. Quando Tartaglia diz "acha dois outros
diferentes nisso", est sugerindo que se tome duas novas variveis cuja
diferena seja b. Assim chamando de U e V essas novas variveis teremos:

U V = b

Depois a frase "que seu produto seja sempre igual ao cubo da tera
parte da coisa certa" quer dizer que

3
a
(-
3)

E na frase "o resduo geral das raizes cbicas subtradas ser tua coisa
principal" quer dizer que a soluo ser do tipo

I = VU - VIZ
 14

3.2 Justificativa para a frmula de Tartaglia

Seja a equao de terceiro grau x3 +ax = b, e vamos lembrar a frmula do

cubo de um binmio:

( u 4 3 = U3 - 3U2V + 3uv2 v3

Pondo em evidncia o produto uv teremos:

(u v) 3 = -3uv ( u v) + u 3 v3

ou seja,

(u 03 + 3uv (u v) = u 3- V3

Se obtivermos u e v tais que

uva/3 e

a expresso acima ficar:

(U- 03 +a (u - v) = b

Comparando-se com a expresso anterior x3 -ax = b podemos concluir

que x = ti - v ser uma soluo desta equao. Portanto para resolvermos a
equao proposta devemos resolver o sistema:

{ziv -= -
a
3
u 3 -v3 = b

Pois, achando u e v, teremos x, uma vez que x = 11 - V.

 15

Para resolver o sistema, elevamos na primeira equao os dois termos ao

cubo e teremos:

3
7,1 3 V _( a)
3

Fazendo u3 =Uev3 = V teremos:

{UV = [E
- V = b

Dessa forma U e V so as raizes da equao

X2 bX +(-a/3) 3

que saw

b 11b 2 a
3 = b 11( b)2 (a) 3
X
2 2 L2) 0)

Uma dessas raizes 1./ e a outra V e como

= VEI, v= kW-
X = -V

teremos a soluo enunciada por Tartaglia:

x .310W
 16

Finalmente, substituindo U e V pelos seus respectivos valores chegaremos

frmula de Cardano ou de Tartaglia

(3
x =3 + (b y _E rc t 3 3 b2 il(b
II
2) 2
2 2)

Esta frmula resolve as equaes do terceiro grau do tipo x3 +ax =b . Para

resolver equaes gerais do terceiro grau x3 + a1x2 +a2x +a3 = 0 devemos
transforme-la fazendo a seguinte substituio:

a,
x= y--
3

Vem:
3 2
a11
V)1 +4y-a
l ) + a2 (y--i
a j+a = 0
3 3 3 3

2 3 2 3
a, + 33( a l) _( a i)
y 3 3y 2 _ a
a1y 2 _ 2y ! + a2y - a a + a3 =0
3 3 3

2 3
a a lily a
y 3 +i
(

- 2 l +a2 y= 32
'
3 33

E esta equao o mesmo que:

y 3 +ay= b
 17

Portanto, quando encontrou a soluo das equaes do tipo x3 + ax = b,

Tartaglia deu uma resposta geral e no apenas particular ao problema, o que
aumenta seu mrito.

Assim como as equaes de segundo grau, parecia que as equaes de

terceiro grau estavam vencidas. Mas a iluso durou pouco. Aos poucos foram
surgindo dvidas e problemas na aplicao da frmula. A mais elementar
dvida que surge que se a frmula de Bhaskara exibe as duas raizes das
equaes do segundo grau, por que a de Cardano s apresenta uma? muito
facil achar exemplos de equaes do terceiro grau com 3 solues, mas como
fica isto quando a frmula s nos fornece uma soluo? Onde estariam as
outras duas? 0 que fazer com as raizes negativas?

Vejamos como funciona o mtodo para urn problema concreto.

Seja v o volume de um cubo de aresta x, e V o volume de um

paraleleppedo retngulo cuja rea da base 3 e cuja altura igual aresta do
cubo; determinar x de modo que v = v'+ 1.
Como v = x3 e v'= 3x, o problema leva a seguinte equao:
x3 := 3x + 1
ou seja

Nesse caso a = -3 e b = 1
Usando a frmula de Cardano ou Tartaglia, obtemos:

3 \11 10) 2 ( - 3)3 II I

= \( 1 +.1
12 .4)-3
2 \ 2) \, 3 2 Ari ) r3
- 2 j- 1
4 q 2 -1 34

Como esta raiz no existe, poderamos apenas dizer que o problema

impossvel, no entanto este problema tem soluo, vejamos:
 18

Quando a aresta x do cubo muito pequena, o volume v = x3 tambm

pequeno e menor que a soma 3x +1, mas, a medida que x aumenta, v vai se
aproximando de v'+ 1 = 3x + 1, e chega mesmo a ultrapass-lo. Por exempla,
para x = /, tem-se:
v= /
v' + 1 = 4
Mas para x = 2
v=
v'+ 1 = 3.2 +1 = 7

Portanto, pode-se concluir que em alguma altura os dois volumes se

igualam.
Logo a equao x3 3x = 1 deve ter uma raiz que corresponde a soluo
do problema.

Ao contrrio do que aconteceu no exemplo da equao quadrtica (Ver pg.

8), em que a raiz negativa era encarada como a inexistncia da soluo
prtica, na equao cbica os algebristas se do conta de que o instrumento
de clculo, ou seja, os nmeros reais, no permitem que as solues sejam
encontradas. Essa necessidade imposta pelas equaes cbicas, como no
exemplo do volume do cubo e do paraleleppedo, mostra bem que presses
exteriores obrigaram os matemticos a procurar novos caminhos e levaria 200
anos para que tudo fosse definitivamente esclarecido.
 19

4. Raiz quadrada de nmeros negativos antes do surgimento dos

nmeros complexos

A raiz quadrada de nmeros negativos desafiou os matemticos por muitos

anos. Apesar de s encararem de frente o problema epos as necessidades
impostas pelas equaes de terceiro grau, antes disso muitos matemticos se
defrontaram com essa situao.

Encontramos o primeiro exemplo de raiz quadrada de um nmero negativo

na Estereometria de Heron, matemtico grego do perodo Alexandrino,
publicada aproximadamente em 75 d.C. . Num clculo sobre o desenho de uma
pirmide, surge a necessidade de avaliar

V81-144

Mais a frente o mesmo calculo aparece invertido e assim calculado

Vi44 -81

Aproximadamente 275 d.C., surge na Arithmatica de Diophanto o primeiro

exemplo de uma atitude frente a esse tipo de raiz, ele considera o seguinte
problema:

Um tringulo retngulo tem Area igual a 7 e seu perimetro de 12 unidades.

Encontre o comprimento dos lados.

Chamando de xeyo comprimento dos catetos desse tringulo, temos, na

nossa notao atual:

(1/2) x.y =7 ;x2 + y2 = (12- x- y) 2

Isolando y na la equao e substituindo esse valor na 2 2, teremos:

 20

24x2 172x + 336 = 0,

cujas raizes so:

I-
43 V- 167
12

Nesse ponto, Diophanto observa que a equao s teria soluo se

(172/2)2 24. 336 (A 0)

Como isso no acontece, no h necessidade de se dar sentido para a

expresso 11:17

Aproximadamente em 850 d.C., o matemtico indiano Mahavira faz novas

referncias a raiz quadrada de um nmero negativo quando afirma:

...como na natureza das coisas um negativo no um quadrado, ele no

tem, portanto, raiz quadrada.

J no sculo XII Bhaskara, escreve:

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

Mais a frente, Cardano em seu livro Ars Magna resolve o problema de

dividir 10 em duas partes cujo produto 40 da seguinte forma:

{x +y .=10
xy = 40
 21

Portanto:

5 x 2 + 2xy + y 2 =100
Llxy -= 160

Subtraindo uma da outra

x 2 - 2ay +y 2 =-60

(x- y)2 = -60 x-y= f&i= 211.: 17

=10
x-y
=. 2x= 102-5

Consequentemente

x=5

Operando como se os nmeros que aparecem fossem nmeros reais

constatamos que a soma 10 e multiplicando, temos:

(5 + VITA - = 25 - ( 15) = 40
-

Embora Cardano chame essas expresses de raizes sofisticas da

equao e acredite que so to sutis quanto inteis, deve-se a ele o fato de ter
sido o primeiro matemtico a fazer algumas operaes com nmeros
complexos.
 22

5. Surgimento dos nmeros complexos

J na segunda metade do sculo XVI os nmeros complexos comeam a

surgir com Raphael BombeIli (1526-1573), discpulo de Cardano, que apesar
de admirador do Ais Magna achava que seu estilo de exposio no era
claro. Publicou ento l'Algebra em 1572, em Veneza No capitulo II dessa sua
obra Raphael BombeIli aplica a formula de Cardano equao

x3-15x-4=0

e encontra a raiz:

x =;j2+ - ffi +V2

Assim como Cardano, ele chama essa soluo de sofistica, mas percebe
por simples verificao que x = 4 uma soluo da equao proposta.

0 que acontece ento que apesar das raizes quadradas de nmeros

negativos, existe verdadeiramente uma soluo para o problema e, portanto, a
situao j no to cmoda como nas equaes de segundo grau. Esse fato
faz com que Bombelli comece a tentar compreender o que est acontecendo.

Ele admite a possibilidade de que exista uma expresso da forma

(ci vy
Para calcular essa raiz ,ele supe que

= a+

k/2 121 =
 23

Como 4 raiz da equao, necessariamente

a+1.11b+a llb=4a=2
- I

Voltando a equao inicial temos:

(2+ 11
- 71 =2+V - 121

BombeIli aplica ento a frmula do binmio

+b)3 = +3a2 b +3ab2

e assim

S+12-, -6b -b 2

8+12-X17 -6b-bINV-7 =2 1iJ111

- 6b = 2
12J -b11-) =11

E daf, b=1

obtendo ento:

312+ -121 2 +-1-1

E analogamente

2 -.17.
 24

E portanto

x=2+ +2 =4

que o resultado que se esperava obter.

Aps essa descoberta Bombelli diz:

Eu achei uma espcie de raiz cbica muito diferente das outras, que aparece
no capitulo sobre o cubo igual a uma quantidade e um nmero.
...A principio, 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 1'
assim, tratarei da multiplicao dando as regras para mais e menos.

Ao realizar seus clculos, Bombelli criou a expresso di meno para se

referir ao que nos denotariamos como + i e meno di meno para i. Ele ento
cria a regra do produto, enunciada abaixo seguida de sua traduo com a
simbologia atual.

Pi via pH, di meno fa pi di meno +(-1-i)=+i

Meno via pi di meno fa meno di meno -(+ i )= -

Plil via meno di meno fa meno di meno -i -

Meno via meno de meno fa pi di meno

Pi di meno via pi di meno fa meno (+i)-( 1- 0= -

Meno di meno via pi di meno fa pi (- i)-(+0=+

Meno di meno via meno di meno fa meno

 25

Criou tambm a regra para a soma de dois nmeros do tipo m +n-% :

(ct + Wilke + d = + + c1)111

Portanto, no havia mais como negar que se estava diante de um novo tipo
de nmero, diferente de tudo que se conhecia.
Os matemticos constataram que os nmeros com que vinham
trabalhando ha sculos no eram mais suficientes para o estudo da Algebra,
pois quando a equao de terceiro grau possui trs raizes reais, o chamado
"caso irredutvel", o emprego do mtodo de Cardano acarreta obrigatoriamente
o manejo de nmeros complexos. Sendo assim, estava lanada a semente
para a criao de um novo ramo da matemtica: A Teoria dos nmeros
Complexos.
 26

6. Desenvolvimento dos nmeros complexos

Os matemticos do sculo XVI, a partir do trabalho de BombeIli,

comearam a utilizar os nmeros complexos devido a sua bvia utilidade para
resolver equaes de terceiro grau mas, ao mesmo tempo davam declaraes
veementes que eles" no existiam" e eram "inteis".
A seguir descreveremos as contribuies de vrios matemticos, com
destaque para Euler.

Albert Girard (1590-1633) enfocou os nmeros imaginrios com grande

ousadia. Em seu livro L' Invention Nouvelle en Algebre, de 1629, usa nmeros
negativos para resolver problemas geomtricos e sugere que, aceitando-se
tambm nmeros imaginrios como raizes, seria possvel afirmar que uma
equao admite tantas raizes quanto seu grau.
Girard escreveu as raizes quadradas de nmeros negativos na forma

Enunciou tambm as relaes entre coeficientes de uma equao

polinomial e sugeriu que as raizes imaginrias so teis por tomar essas
relaes gerais.
Pode-se perceber uma mudana de atitude dos matemticos em relao
aos nmeros complexos pelas palavras de Girard

Pode-se perguntar: para que servem estas solues impossveis. Eu respondo:

para trs coisas- para a validez das regras gerais, devido sua utilidade e por
no haver outras solues.

Rend Descartes (1596-1650) nascido em La Haye, homem de excepcional

cultura e inteligncia, prestou grande contribuio para que as raizes negativas
fossem aceitas como solues de equaes algbricas, o que, poca, ainda
encontrava resistncias. Descartes tambm descobriu um critrio para se
conhecer o nmero de raizes positivas e negativas de uma equao algbrica,
 27

mesmo sem saber seus valores, atravs da anlise das variaes dos sinais de
seus coeficientes.

Descartes

Foi Descartes que batizou -sri de nmero imaginrio, o que

lamentavelmente foi inadequado e nada matemtico, afinal no h nada de

"imaginrio" na VII e nem so "complexos" os nmeros que a contm .

A primeira tentativa de legitimao, via uma interpretao geomtrica,

devida a John Wallis (1616-1703) professor da Universidade de Oxford e
contemporneo de Newton.
Em 1673, publicou um tratado intitulado Algebra, em cujo capitulo LXVI
discute a impossibilidade da existncia de quantidade imaginrias e compara a
existncia de quantidades negativas:
 28

Estas quantidades imaginrias ( como so freqentemente chamadas )

surgem das supostas raizes de um quadrado negativo (quando aparecem )
e se considera que implicam que o caso proposto impossvel.

E assim 6, 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 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 interpreta no sentido contrrio.

Depois de interpretar nmeros negativos como segmentos sobre uma reta

orientada, Wallis tenta uma interpretao para as quantidades imaginarias:

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 perdermos mais 20 acres, a resposta deve
ser 10 ( pois 30- 20 20= -10 ) ....Mas agora , supondo que esta
plancie de 1600 squares perches [ 20 acres correspondem a 1600
squares perches, uma outra medida inglesa da poca I 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 -1-1600 (a

suposta raiz de um quadrado negativo ) ou 10-T-- ou 20-/n1 ou

40-1:1.

Essa interpretao no teve uma grande acolhida entre seus

contemporneos e nenhuma repercusso posterior
 29

Jean Le Rond D 'Alembert (1717-1783) foi criado por pais adotivos aps
ser encontrado abandonado na porta da igreja de St. Jean Le Rond. Seu pai, o
General Destouches, lhe deixou aps sua morte uma quantia suficiente para
cuidar de sua educao. Em 1749, aps estudar Direito e Medicina, decidiu
dedicar sua vida matemtica.
D 'Alembert gastou muito tempo tentando provar o teorema conjeturado
por Girard e conhecido hoje como teorema fundamental da lgebra No
entanto o que conseguiu foi mostrar a forma das raizes, se elas existirem.
Uma contribuio importante de D 'Alennbert, foi esclarecer que tipos de
nmeros complexos podem ser obtidos ao se resolver equaes algbricas.
Em 1747, publicou Ret7exions sur la cause gnrale des vents em que

a fi rmou que qualquer expresso algbrica de um nmero complexo a+101,

tambm um nmero da forma a +11,1--- 1. Divulgou amplamente os nmeros

complexo&

Roger Cotes (1682-1716) foi um jovem professor no Trinity College, em

Cambridge. Em 1714 obteve um importante resultado, relacionado com a
obteno de raizes n-simas da unidade que poderamos explicitar como:

loge (cos 0+ sen 0) =10

Isso poderia ter levado famosa "relao de Euler":

cos 0+ i sen 0=

que implica a "formula de Moivre":

(cos 0 + i sen = cos(n + sen(n0)

Porm, Cotes morreu prematuramente deixando uma obra significativa mas

incompleta, o caminho ento foi outro.
 30

Abraham De Moivre (1667-1754) nasceu na Franca mas logo aps a

revogao do Edito de Nantes foi para a Inglaterra. Estudou matemtica
sozinho, aps ler os Principia de Newton. Por no ser ingls de nascimento
nunca conseguiu obter o posto de professor de matemtica em uma
universidade. Para se sustentar, dava ento longas horas de aulas particulares,
o que no o impediu de produzir uma quantidade de pesquisa considervel. Em
1722, obteve um resultado que implicou na frmula que leva seu nome; essa
frmula limita-se a casos particulares e Moivre nunca chegou a enunciar ou
demonstrar a frmula no caso geral.

Leonhard Euler (1707-1783) nasceu em Basilia, Sua. Dotado de uma

memria prodigiosa, falava diversas lnguas, sabia de cor tbuas logartmicas
e trigonomtricas e realizou trabalhos notveis em todos os ramos da
matemtica conhecidos 5 poca. Apesar dos srios problemas de viso desde
a juventude, indiscutivelmente o matemtico que mais produziu e publicou
em todos os tempos.

Euler
 31

Euler foi consolidador da simbologia moderna inventando muito do que

hoje se utiliza, e considerado o matemtico que dominou os nmeros
complexos.

Para Euler nmero complexo aquele que pode ser escrito na forma

Z = a + bi , sendo a e b reais e i =

Portanto, se b = o fcil ver que os nmeros reais so um caso particular

dos complexos.

Logo se percebeu que Z poderia tambm ser escrito de outra maneira:

a
Z = Ja + +i
c a2 b 2 +

Como

a
e ,

1.1a 2 b 2 a 2 +b 2

so nmeros situados entre 1 e +1 e a soma de seus quadrados sempre 1,

eles podem ser considerados o cosseno e o seno de um ngulo 0, batizado de
argumenta

Fazendo:

4 a2 b2 = p
Sendo p batizado de mdulo, o nmero Z pode ser expresso pela frmula

Z = p (cos 19 sen 0)
 32

Imagine-se dois nmeros complexos Z e Z 2

Z = pi (cos 01+ i sen

Z 2 = p2 (cos 02 + i sen 02)

Multiplicando-os, obtm-se

Z i .Z 2= pi p2 ([cos Oi cos 612 + 0)2 sen O sen 6123+ilSen eh cos 02+sen 612 cos Oil)

e como i2 = -1

Z i. Z2 = p2acost91 cos02 - senai sen021 + ifsenOi cos02 + sen6 12 cased)

Ora, lembrando que

cos 01 cos 612 - sen 9, sen 02 =COS (91 + 02)

e

sea 611 cos 82 + sen 02 cos 01 = sen (01 +612)

tem-se:

Z . Z 2= pi p2 (cos 1.01 + 1921+ isen f9i+ 92 1)

Este um resultado muito importante: quando se multiplicam dois nmeros

complexos, multiplicam-se os mdulos e somam-se os argumentos (ngulos).
Por induo, podemos chegar a:

Z ' [p (cos 9 + i sen 6)f = el. cos (ne) + i sen ( n6)1 ,

que conhecida como frmula de Moivre.

 33

At aqui estava resolvido o problema de elevar um nmero complexo

potncia ri.
Restava agora definir como seria a extrao da raiz ensima de um
nmero complexo, ou seja, a operao inversa.
Euler na tentativa de descobrir a soluo para esse problema se deparou
com algo fantstico: qualquer nmero complexo no nulo (os reais inclusive)
tem exatamente n raizes ensimas (n inteiro), ou seja, qualquer nmero tem
trs raizes cbicas, quatro raizes quartas, etc. At aqui os matemticos
acreditavam somente que todo nmero positivo tem duas raizes quadradas
diferentes.

Tomando alguns cuidados a prova bastante simples.

Seja o nmero:

Z = p(cos + sen 9)

Sua(s) raiz(es) ensima(s) ser(o) nmero(s) que, elevado(s) ensima

potncia, for(em) igual(is) a Z .

Chamemos, genericamente, este(s) nmero(s) de

;/-2- = p '(cos# + isen 0)

Elevando potncia n tem-se

(InT = p' n (cos n0 + sen n0)

Se
p n =p

cos nO= cos O

sen nO= sen
 34

Teremos

'=s1T
0

n0=0 +2krc

Pois no significa que os ngulos so iguais, eles podem diferir entre si por
um nmero inteiro de 2m radianos. Ou ainda

8 kH
0' 2r
n n

Como se v, fazendo variar k (inteiro) obteremos diferentes valores de 4),

ou seja, diferentes raizes ensimas do nmero Z
Mas, se k qualquer inteiro, haver ento infinitas raizes?
No, e facilmente podemos compreender fazendo k tomar sucessivamente os
valores 0,1,2,3,...,n-1,n,n+1,n+2, etc.

Para k =

Para k = 1

+[2.7r )

02
11 ti

Para k = 2
 35

Para k = 3

9/4
O
n
3 i
n

Para k = n-1

=
O
n
+02- 1
k 2R-)
77

Para k = n

qi n+1 = ne n 2: = 9-
1) 27r

Para k = n+1

O _L 1/41 2.7r = + 2ff + 27r

0)3+2 = - (n+1 n n
ti

A partir de k = n os ngulos comeam a diferir entre si por mltiplos inteiros

de 27s, ou seja, as raizes ensimas p' (cos + i sen 0) passam a se repetir, de
modo que somente n delas so distintas.

Na prtica, as extraes das raizes cbicas seriam da seguinte maneira:

Consideremos por exemplo os nmeros 8 e -8

8= a + bi = 8+ Oi

a=8

b=0
 36

o
sen 0 =0
48 2 +13 2

co s O , =1
4 8 2 +0 2

=0

p = 482 +02 = 8 p 2

Portanto, as 3 raizes cbicas de 8 so:

2[cos--
o + sen
(:)) = 2
3 3
0 2g _2 1+
2[cos[ +1
3 3
+/ sen + 1+
3 3 2 2
t() + 2 2a- 2 [._ 1 +
(

2 cos + 2(27r )1 wil (

3 3 3 3 )j) 2 2

Fazendo o mesmo para o nmero 8 temos:

-8=a + bi = -8 +0i

a = -8

b 0
 37

o
sett = , 0
V82 +02

co s e = 8 1
Vs 2 +02

.-. 0 -= 7r

p = 482 + 0 2 = 8 :. p =2

E as raizes cbicas de 8 so:

cosf- + sen 1") = 2(1 Ai)=+1)

2( 3 3 2 2
(
2rc ir 221-
2 cos ir+ = 2E1+ Oi = 2
3 3 3 3

71+isen[L
r +2(-2.-
2(cos[i 1 Ail
27r 1= 2T-
r + 2,[--
3 3 3 3 2 2

0 mistrio que havia intrigado Bombelli e tantos outros que haviam tentado
aplicar a frmula de Cardano nos casos em que A< 0 estava finalmente
desvendado. Depois de quase 200 anos conseguiram extrair raizes de
nmeros complexos.
Obviamente, Euler compreendia e utilizava muito bem os nmeros
complexos. No entanto a ambivalncia dos matemticos do sculo XVIII em
relao a esses nmeros fica evidente quando em sua obra Vollstandige
Anleitung zur Algebra, publicada em 1770, Euler afirma:
Uma vez que todos os nmeros concebveis so maiores do que 0, ou
Menores do que Dou iguais a 0, claro que a raiz quadrada de um
Nmero negativo no pode ser includa entre os nmeros possveis.
Consequentemente, devemos dizer que estes so nmeros impossveis.
E esta circunstancla nos conduz a tais nmeros, que por sua natureza
So impossveis, e que so chamados costumeiramente de imaginrios
Pois eles s6 existem na imaginago.
 38

No final do seculo XVIII, os matemticos j se aventuravam a efetuar

operaes bem ousadas corn os nmeros complexos. 0 que motivou Euler a
produzir aquela que considerada a mais bela equao de toda matemtica.

A frmula de Moivre diz que

(cos O + isen = cos (no) + i sen (no)

Chamando cos O + isen Ode f(9), podemos escrever a frmula da seguinte

maneira:

[f(0)f = f(nO)

Que uma propriedade das funes exponenciais

(a b )n = a nti

Euler ento demonstrou que

cos + isen 0= e ie

Fazendo 9= 7r, obtm-se

cos g+isen 7r = e

-1 + Q = e

OU

e 'ff+ 1 =

Esta equao une em uma s frmula os 5 mais famosos nmeros de toda

matemtica: zero, 1,e, 7c,e

 39

7. Representao geomtrica

0 desenvolvimento do conceito de nmero no deu-se na ordem que nos

parece natural, e que exposta nos textos: nmeros naturais, inteiros,
racionais, reais e por fi m complexos. Antes mesmo dos nmeros negativos
serem considerados como verdadeiros nmeros, j eram conhecidas e
praticadas quase todas as regras operatrias sobre nmeros complexos.
Sendo assim, fica mais fcil entender o motivo que levava os matemticos, no
fim do sculo XVIII, a encararem os nmeros imaginrios ainda com certo
desconforto.
Todavia, os nmeros complexos obtiveram aceitao mais ampla aps se
chegar a sua representao geomtrica.

J. Wallis (1616-1703), prope uma construo geomtrica das raizes

imaginrias de uma equao do segundo grau.
0 problema consiste em determinar a base AB de um tringulo APB,
conhecendo-se os comprimentos de AP e PB, e a altura PC.
Se por exemplo tem-se PA = 20, PB= 15 e PC=12, o tamanho AB obtido
como soluo de uma equao do segundo grau.
Como existem duas solues que correspondem s duas raizes reais, B
ter duas posies, B1 e B2.

= pB2 pc2

BC2 = 225 - 144= 81 , logo BC = 9

 40

Invertendo-se os valores de PB e PC, a equao no ter mais solues

reais, logo o ponto B no pode mais pertencer reta AC.

Pode-se encontrar duas posies para B se considerarmos o Angulo reto

neste ponto, conforme desenho abaixo.

A C

Generalizando. Seja a equao x2 + bx +c2 = 0 com b> 0 e c > 0,

cujas raizes so

x.-bVb 2 -e 2

que so reais quando b2 c2 .

Nesse caso as raizes podem ser representadas por pontos P1 e P2 na reta

dos nmeros reais, e so determinadas pela construo geomtrica:
 41

Quando b< c, os pontos P1 e P2 no esto na reta e Wallis representou-os

da seguinte forma:

P2

P1=b+i-jc 2 b 2
P2 = b i,lc 2 b 2

A representao atual do problema a seguinte:

 42

Em 1797, Caspar Wessel (1745 1818), um agrimensor noruegus,

-

entregou a Academia Dinamarquesa de Cincias e Letras uma memria,

publicada em 1799, sobre a representao analtica da direo onde, foi
apresentada uma representao geomtrica dos nmeros complexos. Ali,
escreveu:
Vamos designar por +1 a unidade retilinea positiva, por +6 outra
perpendicular a primeira, coma mesma origem; ento o angulo de
direo de +1 sera 0, o de 1 sera 180, o de 6 sera 90 e o de
-6 sera -90 ou 270 .

Pela regra de que o ngulo de direo do produto igual a soma dos

ngulos dos fatores, temos:

(+1).(+1)=(+1)

(-1).(-1)=(+1)

(+ 1 )-(+6 )= (+6)
(+ 1 ). (-B)=(-s)

(-1 ). (-6)=(+e)

A partir disso v-se que c =

A representao de Wessel consiste em tomar OXY, um sistema de eixos,
orientado como o sistema cartesiano de referncia; a+bi um complexo
qualquer, e M o ponto do plano de coordenadas (a,b). Seja o complexo a+bi
correspondente ao ponto M.
Seja agora, reciprocamente, M' um ponto qualquer do plano de
coordenadas (a', b'), M' correspondente ao complexo a'+b'i. Estabelecendo
assim uma correspondncia biunivoca entre nmero complexo e ponto do
plano.
Na representao de Wessel h qualquer coisa de novo e arrojado, pois 6
tomado expressamente um eixo para lugar de imaginrios, isto 6, todos os
imaginrios puros tem representao sobre o eixo OY. Apesar de todo
esforos, seus trabalhos ficaram desconhecidos at 1897.
 43

Uma representao semelhante foi dada por Jean-Robert Argand (1768-

1822), um bibliotecrio suo que em 1806 publicou um pequeno livro intitulado
Ensaio sobre a maneira de representar as quantidades imaginrias nas
construes geomtricas.
Ele observa que estabelecendo:
(+1).i = i
( i ).( i )= - 1
i representa geometricamente uma rotao de 90 no sentido anti-horrio.
Como Argand no era um matemtico de grande reputao, seus trabalhos
acabaram por no obter reconhecimento, e pouco efeito tiveram sobre os
matemticos da poca.

Um dos maiores matemticos de todos os tempos, seno o maior, foi Carl

Friedrich Gauss (1777-1855). Nasceu em Brunswick, na Alemanha, e alm
de seus excepcionais dons matemticos era um prodgio linguistico dominando
vrios idiomas.

Gauss
 44

Ao longo de sua vida Gauss publicou inmeros trabalhos sempre se

preocupando com a preciso e o rigor. Em 1799, aos 21 anos, apresentou o
que considerado o mais importante dos alicerces da teoria das equaes
algbricas: 0 Teorema Fundamental de Algebra
Este teorema a fi rma que toda equao polinomial de coeficientes reais
ou complexos tem, no campo complexo, pelo menos uma raiz.

Seja o polinmio:

P(x) = aox" + a 1 t t + arfri x + an

Pelo teorema anterior existe pelo menos um nmero complexo 1(1 para o
qual P(x) = O.
Da lgebra elementar sabe-se que o resto da diviso de qualquer polinmio
por x - a exatamente P(a).
Portanto, se P(ki) = 0, P(x) divisvel por x - k e o polinmio pode ser
reescrito como o produto de x - k1 por um polinmio de grau n - 1.
Por sua vez, a este polinmio de grau n - 1 aplica-se tambm o teorema
Fundamental da Algebra e ele divisive l por pelo menos um fator x - k2.
Continuando o raciocnio conclui-se que P(x) pode ser desdobrado no
produto de n binmios do tipo ( x - k ) j = 1,2,...n.

Como existem n valores de x que anulam um a um os n binmios, o

polinmio P(x) de grau n tem exatamente n raizes, eventualmente repetidas
pois nada obriga que os ri k, sejam todos diferentes entre si.

Portanto, ao demonstrar que as equaes polinomiais tm pelo menos uma

raiz no campo complexo . Gauss demonstrou que elas tm exatamente n
raizes, sendo n o grau do respectivo polinmio.
 45

Desde os tempos de Cardano suspeitava-se que, por exemplo, as

equaes de terceiro grau tinham trs raizes, as de quarto grau tinham quatro
raizes e assim por diante.

Quando Euler demonstrou que qualquer nmero tem n raizes ensimas (n

natural), sentiu-se que uma descoberta sobre o nmero de raizes das
equaes polinomiais de grau n estava prxima. No entanto, apesar de vrios
matemticos chegarem a enunciar este resultado, ainda no haviam
conseguido demonstr-lo.

At o final da vida, Gauss deu a este teorema trs outras demonstraes

por caminhos distintos.

Tendo em vista o Teorema Fundamental da lgebra provvel que a idia

de representar geometricamente tenha ocorrido quando da sua demonstrao,
apesar de Gauss no a ter utilizado.

Em 1831, Gauss escreveu um artigo muito explicito sobre esta questo:

0 autor tern considerado ha vrios anos esta parte importante da

matemtica sob um ponto de vista diferente, que permite conferir As
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.

Outra observao feita por Gauss que se as unidades 1, -1, no

fossem chamadas de positiva, negativa e imaginria, mas de direta, inversa e
lateral, as pessoas no teriam a impresso de que havia algo de misterioso
nesses nmeros. Quando Gauss faz essa observao fica claro a viso da
matemtica na poca, ou seja, o fato dos nmeros complexos poderem ser
representados geometricamente fez com que adquirissem a realidade que a
aritmtica no havia conseguido lhes dar.
 46

Para Gauss, a denominao de "nmeros complexos" significava algo

formado por partes e no algo complicado, como hoje muitas vezes assim
interpretado.

Finalmente, a formalizao completa dos nmeros complexos foi dada por

William Rowan Hamilton em 1837, e ainda Augustin Cauchy em 1847.

Atualmente, os nmeros complexos se fazem presentes em praticamente

todos os grandes ramos da matemtica como Algebra, Teoria dos Nmeros,
Topologia, Geometria (Analtica, Diferencial ou Algbrica), Analise, Equaes
Diferenciais e em aplicaes como Fsica Matemtica, Dinmica dos Fluidos,
Eletromagnetismo, etc.
A Teoria das Funes de Varivel Complexa uma area nobre com
notvel vitalidade, refletida na intensa atividade de pesquisa que se desenvolve
nos dias atuais.
 47

8. Concluso

Neste trabalho, procurou-se enfocar os dois sculos de muita pesquisa e

estudo de vrios matemticos para o desenvolvimento dos nmeros

complexos, e a fundamental importncia que os nmeros imaginrios

adquiriram com o passar do tempo, o que permitiu a evoluo de diversos
ramos da matemtica.
importante ressaltar que os aspectos histricos da matemtica deveriam
ser melhor explorados didaticamente, no negligenciando a parte mais
substancial ligada ao surgimento e desenvolvimento das idias, de forma que
os alunos enxergassem um outro lado desta cincia, isto 6, a matemtica como
uma cincia viva em construo.
Finalmente, devemos enfatizar que o progresso da matemtica nem
sempre obedeceu um plano lgico de desenvolvimento interno, mas muitas
vezes, por presses exteriores, foi obrigada a procurar novos caminhos e ir
mais alm. Dessa forma desenvolveu-se inmeras teorias como a noo de
nmero complexo que, aliada a noo de infinito, so dois dos principais
instrumentos da matemtica moderna
9. Referncias Bibliogr fi cas

BAUMGART, John K. Algebra. Trad. Hygino H. Domingues. Sao Paulo: Atual,

1992_
BOYER, Carl Benjamin. Histria da Matemtica. sat Paulo: Edgar Blcher
Ltda, 1974.
CARAA, Bento de Jesus. Conceitos fundamentais da matemtica. Lisboa:
Tipografia Matemtica, 1951.
CARMO, Manfredo Perdigo de; MORGADO, Augusto Cesar; WAGNER,
Eduardo. Trigonometria / Nmeros Complexos. Sociedade Brasileira de
Matemtica, Rio de Janeiro, 1992.
DIEUDONN, Jean Alexandre. A formao da matemtica contempornea.
Lisboa, 1990.
EVES, Howard. Introduo histria da matemtica. Trad. Hygino H.
Domingues. So Paulo: Editora Unicamp, 1995.
GARB!, Gilberto Geraldo. 0 Romance das equaes algbricas- A Histria da
Algebra So Paulo: Makron Books, 1997.
LIMA, Elon Lages. Sobre a evoluo de algumas idias matemticas. Revista
do Professor de Matemtica, So Paulo, n6, p. 1-8, 1985.
MILIES, Csar Polcino. A emergncia dos nmeros complexos. Revista do
Professor de Matemtica, So Paulo, n24, p. 5-15, 1993.
ROSA, Mario ServeIli. Nmeros Complexos: uma abordagem histrica para
aquisio do conceito. Tese de de mestrado, PUC-SP, 1998.