Universidade Federal do Rio de Janeiro

A HISTRIA DOS NMEROS COMPLEXOS:

das quantidades sofisticadas de Cardano
s linhas orientadas de Argand


Ulcio Pinto Jnior





2009


A HISTRIA DOS NMEROS COMPLEXOS:
das quantidades sofisticadas de Cardano
s linhas orientadas de Argand
Ulcio Pinto Jnior

Dissertao de Mestrado apresentada ao Programa
de Ps-Graduao em Ensino de Matemtica da
Universidade Federal do Rio de Janeiro, como parte
dos requisitos necessrios obteno do ttulo de
Mestre em Ensino de Matemtica.

Orientadora: Tatiana Roque
Aprovada por:
_____________________________________
Tatiana Roque, IM-UFRJ
_____________________________________
Grard Emile Grimberg, IM-UFRJ
_____________________________________
Joo Bosco Pitombeira Fernandes de Carvalho, PUC-RJ
_____________________________________
Carlos Eduardo Mathias Motta, UFRRJ
Rio de Janeiro
Maro de 2009
























PINTO JUNIOR, Ulcio
A Histria dos nmeros complexos: das quantidades sofisticadas de Cardano s linhas
orientadas de Argand / Ulcio Pinto Jnior. -- Rio de Janeiro: UFRJ / Programa de Ps-
Graduao em Ensino de Matemtica, 2009.
94 f. : il. ; 31 cm.
Orientadora: Tatiana Roque
Dissertao (mestrado) - Universidade Federal do Rio de Janeiro, Instituto de
Matemtica, Programa de Ps-Graduao em Ensino de Matemtica, 2009.
1. Matemtica. 2. Nmeros Complexos. I. Roque, Tatiana. II. Universidade Federal do
Rio de Janeiro, Instituto de Matemtica, Programa de Ps-Graduao em Ensino de
Matemtica. III.Ttulo.


Agradecimentos
minha orientadora Tatiana Roque que, com devida maestria, me resgatou e guiou em
momentos importantes de minha dissertao.
Aos professores e funcionrios do Programa de Ps-Graduao em Ensino de Matemtica que
idealizaram e viabilizaram um programa de mestrado que atendesse s nossas expectativas.
Ao professor e grande amigo Victor Giraldo que, alm de um grande educador, despertou em
mim o desejo de ampliar minha formao acadmica.
CAPES que me proporcionou condies de realizar este trabalho, concedendo-me bolsa de
estudos.
s equipes do Colgio So Vicente de Paulo e Escola SESC de Ensino Mdio que me
incentivaram durante todo o processo de pesquisa.
Aos grandes amigos da primeira e inesquecvel turma de mestrado deste Programa,
particularmente a Malu, Bruna e Rosa que desde os estudos em grupo s grandes histrias
vivenciadas, conquistaram um lugar em meu corao.
Ao meu eterno chefe Artur Motta e aos amigos Marco, Nara, Nanda, Bete, Clarissa, Polly,
Inah e Natacha que demonstraram que vizinhana, mesmo que momentnea, pode ser
sinnimo de uma grande famlia.
Aos meus pais, Ulcio e Jaynete, que com todo amor e carinho sempre acreditaram que a
educao o maior investimento que o homem pode possuir.
Aos meus familiares pelo apoio e amor dedicados durante a pesquisa e pela compreenso de
minha ausncia fsica em diversos momentos.
A Deus, por ter me proporcionado sade para realizar mais um de meus sonhos.




Resumo da Dissertao de Mestrado entregue ao Instituto de Matemtica da Universidade
Federal do Rio de Janeiro como parte dos requisitos necessrios para a obteno do grau de
Mestre em Ensino de Matemtica (M.Sc.).


A HISTRIA DOS NMEROS COMPLEXOS:
das quantidades sofisticadas de Cardano s linhas orientadas de Argand


Ulcio Pinto Jnior


Maro de 2009


Orientador: Tatiana Roque
Programa: Ps-Graduao em Ensino de Matemtica


O objetivo deste trabalho apresentar o desenvolvimento histrico dos nmeros
complexos desde o surgimento das quantidades sofisticadas, nas obras de Cardano e
Bombelli, no contexto dos problemas de resoluo das equaes cbicas atravs de radicais,
at as tentativas de representao geomtrica destas quantidades, nos trabalhos de
matemticos como Wallis, Bue, Wessel e principalmente Argand. Observaremos como
importantes resultados no desenvolvimento da matemtica durante os trs sculos que nossa
anlise percorre forneceram maneiras originais de se conceber esses nmeros antes que
ganhassem a estrutura que conhecemos hoje.


Abstract of Dissertation presented to Institute of Mathematics of the Federal University of
Rio de Janeiro (IM-UFRJ) as part of the necessary requirements for getting the Masters
Degree in the Teaching of Mathematics (M.Sc.)


THE HISTORY OF COMPLEX NUMBERS:
from Cardans sophisticated quantities to Argands oriented lines



Ulcio Pinto Jnior


Maro de 2009


Advisor: Tatiana Roque
Department: Ps-Graduao em Ensino de Matemtica


The aim of this dissertation is to present the historical development of the complex
numbers since the appearance of the sophisticated quantities, in the works of Cardano and
Bombelli, in the context of solving problems of cubic equations through radicals, until
attempts at representing these equations geometrically, in the works of least known
mathematicians such as Wallis, Buee, Wessel and mainly Argand. In this research, we will
observe how important results in the development of mathematics during these three centuries
of analysis have provided original means to conceive these numbers before earning the
structure known today.



Sumrio

Agradecimentos ........................................................................................................................4
1 Introduo ............................................................................................................................. 8
2 Captulo I: As equaes cbicas e as quantidades sofisticadas .................................. 11
3 Captulo II: Os nmeros imaginrios na matemtica dos sculos XVII e XVIII ..... 29
4 Captulo III: A representao geomtrica dos nmeros imaginrios ........................... 60
5 Consideraes finais ........................................................................................................... 81
6 Referncias bibliogrficas ................................................................................................. 83
7 Anexo ................................................................................................................................... 85










8

Introduo


Nmeros complexos um assunto abordado, freqentemente, no final do Ensino
Mdio, objeto de muitas indagaes a respeito da melhor maneira de apresent-los em sala de
aula, bem como de suas aplicaes e conexes com outros tpicos da matemtica. notrio,
tanto nos livros didticos, como na prtica em sala de aula, que este contedo usualmente
exposto em uma ordem que no corresponde histria do desenvolvimento deste conceito,
pois os nmeros complexos so introduzidos aps os nmeros naturais, inteiros, racionais e
reais. Isto d a impresso de que a histria dos conjuntos numricos linear e de que a
ampliao destes conjuntos foi motivada somente pela necessidade de se resolver um nmero
cada vez maior de equaes. Isto no corresponde ordem histrica, muito mais intrincada e
complexa.
freqente percebermos, entre os professores de matemtica, uma resistncia em
abordar este tema. Embora conheam a teoria, que envolve definies, operaes e as
diferentes formas de representar estes nmeros, eles parecem tmidos quanto legitimidade de
se ensinar este tpico, o que vm provocando a sua eliminao prtica de muitos currculos
escolares. Muitos justificam este movimento por uma falta de aplicao concreta dos nmeros
complexos e pouco de discute sobre a importncia destes entes matemticos no
desenvolvimento da prpria cincia.
No nos deteremos sobre o questionamento da permanncia deste contedo no
currculo do Ensino Mdio, embora acreditemos que a sua compreenso fundamental para o
entendimento do que a matemtica atual e de como ela foi estruturada ao decorrer do tempo.
Acreditamos que um dos grandes fatores que contribuem para que a matemtica no
tenha uma concretude vem da forma como aprendemos e ensinamos a matemtica. Por esta
razo, diante de um objeto matemtico, muito importante conhecermos os problemas que
envolveram o seu surgimento e o seu desenvolvimento.
Os termos utilizados para designar estas quantidades, atualmente imaginrias e
complexas, fazem pensar freqentemente que estes objetos foram criados de maneira
aleatria, apenas com a finalidade de proporcionar solues irreais para equaes
quadrticas que no possuam soluo durante quase todo o perodo de escolaridade do aluno.
Ns mesmos, professores, no sabemos como estes nmeros surgiram, nem qual foi o seu
papel no desenvolvimento da matemtica. Estas so algumas das questes que alimentaram

9
nosso interesse para o desenvolvimento desta pesquisa. Responder a estas questes significa
muito mais do que deixar de perceber a matemtica como uma cincia pronta ou acabada,
implica refletir sobre nosso papel como educadores, proporcionando uma viso crtica de
nossas prticas pedaggicas.
Como trabalhamos sobre objetos abstratos por excelncia, procuramos na histria da
matemtica as respostas a estas e outras questes envolvendo conceitos e objetos
matemticos. Estudar histria da matemtica no apenas buscar as origens dos
conhecimentos matemticos que temos atualmente. Devemos ver a matemtica de uma outra
poca a partir do ponto de vista do que ela representava para os matemticos da poca em
questo e, para isso, temos que perceber os problemas que caracterizavam o modo de
pensamento em um contexto cultural, social e filosfico,
A histria da matemtica tem adquirido, nos ltimos anos, um status de forte aliada do
ensino, fundando novas prticas e metodologias. fato que ela se faz presente atualmente em
cursos de graduao, de ps-graduao e na formao continuada de professores, porm
comum verificar que muitos professores de matemtica, no exerccio de sua profisso, no
tiveram contato com essa disciplina em sua graduao. Alm disso, vrios livros didticos,
utilizados por eles, ainda buscam encontrar a melhor maneira de oferecer uma opo para o
trabalho com conceitos matemticos luz do processo histrico no qual esto inseridos.
Buscaremos contribuir para estes esforos apresentando, neste trabalho, o
desenvolvimento dos nmeros complexos em determinado perodo da histria, que vai desde
o Renascimento, at o incio do sculo XIX, antes que fosse estabelecida uma formalizao
rigorosa para estes nmeros com conceitos matemticos. Esta dissertao dividida em trs
captulos:

I) A resoluo das equaes cbicas por meio de radicais na Europa
renascentista, em particular nos trabalhos de Tartaglia (1500-1557), Cardano
(1501-1576) e Bombelli (1526-1572). Procuramos mostrar aqui como a busca
de uma soluo para esta questo abre espao para o surgimento de novos
nmeros que ainda no eram considerados legtimos.

II) O desenvolvimento da matemtica durante os sculos XVII e XVIII, quando
estes nmeros foram designados como imaginrios e os matemticos
passaram a operar com eles sem se preocupar com o seu estatuto prprio.

10
Independente de alguns equvocos, o uso destas novas quantidades foi
fundamental para o surgimento de novos e importantes resultados.

III) Os trabalhos de matemticos como Wallis, Wessel, Bue e Argand que, na
busca de uma representao geomtrica das quantidades imaginrias, lanaram
as bases para que pudesse ser fundado um novo clculo sobre estes objetos.

Apresentaremos, em anexo, a traduo de algumas pginas de Essai sur une manire
de reprsenter les quantits imaginaires dans les constructions gomtriques (1806), de Jean
Robert Argand.
Sabemos que a axiomatizao necessria para obtermos o que atualmente conhecemos
como conjunto dos nmeros complexos s ser fornecida alguns anos mais tarde, a partir
dos trabalhos de Gauss, Cauchy e Hamilton. No entanto, nosso objetivo foi trabalhar
justamente sobre o perodo que antecede este movimento de formalizao, para
compreendermos porque ele foi necessrio e como se esboavam alguns de seus elementos.
Acreditamos que, para isto, este recorte histrico, de aproximadamente trs sculos, atende
aos nossos objetivos iniciais.
Sempre que necessrio, tentamos traduzir o pensamento dos matemticos antigos de
que tratamos aqui em linguagem simblica atual, correspondente quela citada na poca em
questo, para facilitar o entendimento. Os diversos termos utilizados em vrias pocas para
designar os nmeros complexos no reais foram mantidos, logo perceberemos a presena das
designaes de sofisticados, impossveis, inexplicveis e imaginrios e sua variao
de acordo com o contexto histrico no qual estavam inseridos. justamente esta mudana de
nomenclatura que estrutura a diviso em captulos, uma vez que, de nosso ponto de vista, ela
traduz tambm a transformao da concepo epistemolgica sobre estes nmeros em cada
poca.





11


Captulo I As equaes cbicas e as
quantidades sofisticadas
1


Os nmeros complexos so freqentemente associados resoluo de equaes
quadrticas cujas solues so expressas por razes quadradas de nmeros negativos. Evoca-
se um contexto histrico para justificar a necessidade de se introduzir estes nmeros na
matemtica, ainda que a sua histria no seja detalhada.
Estudaremos, aqui, a histria dos mtodos de resoluo das equaes cbicas, com
nfase nos trabalhos desenvolvidos por Cardano e Bombelli em meados do sculo XVI.
Nosso objetivo neste captulo investigar que matemticos trabalharam com razes quadradas
de nmeros negativos, analisando os problemas que motivaram a utilizao destes nmeros e
de que maneira os matemticos lidaram com estes objetos, quando eles ainda no eram
reconhecidos como nmeros no sentido prprio.
As equaes quadrticas que apareciam na matemtica grega surgiam de investigaes
geomtricas que utilizavam figuras como crculos e parbolas. No entanto, algumas solues
no podiam ser obtidas atravs destas construes, o que caracterizava a inexistncia de
soluo das equaes quadrticas correspondentes. Se investigarmos, por exemplo, o
problema da existncia de interseo entre uma reta e um crculo, a soluo um nmero que
deve estar associado a uma representao geomtrica, ou ento no possvel encontrar tal
soluo.
Com o desenvolvimento das equaes quadrticas entre os matemticos rabes, as
solues no reais continuaram no sendo amplamente admitidas, uma vez que estes
matemticos herdaram dos gregos a necessidade de justificar geometricamente a legitimidade
de seus mtodos algbricos.
Mesmo quando as equaes quadrticas j eram resolvidas por mtodos de soluo por
radicais, sempre que a frmula levava a resultados associados a nmeros negativos ou a razes

1
Em nosso trabalho, optamos pelo emprego do termo sofisticado, em decorrncia das tradues realizadas, embora nos
parea que o vocbulo sofstico fosse o mais apropriado. Neste momento, consideramos interessante aclarar que a traduo
preserva em si a noo de algo que foi afetado por uma elaborao, passagem capaz de agregar, a essa noo primria,
imagens que remetem a falsificado, adulterado e, curiosamente, requintado. A existncia destas quantidades e a capacidade
de operar com elas ainda esto associadas a um estado de delrio do pensamento matemtico.

12
quadradas de nmeros negativos, indicava-se a inexistncia de solues. Veremos adiante que
foi o problema de resolver equaes cbicas que tornou incontornvel admitir os nmeros
negativos e suas razes como nmeros legtimos na matemtica. Isto ocorreu no
Renascimento, sobretudo nas obras de que trataremos neste captulo.
Na matemtica grega j h registro de situaes que envolvem solues de equaes
cbicas. Um exemplo disso um problema clssico da antiguidade, o problema da duplicao
do cubo, que consistia em encontrar duas mdias proporcionais entre o comprimento da aresta
de um cubo dado e o dobro da medida dessa aresta. Esta situao pode ser traduzida por:

a
y
y
x
x
a
2
= =


Outro trabalho com cbicas pode ser encontrado em um problema da Aritmtica de
Diofanto que nos leva a uma formulao que, em linguagem atual, seria equivalente
equao 4 4
2 3
+ = + x x x . Sabemos que a soluo 4 foi apresentada e facilmente verificada,
porm no temos informao a respeito de como esta soluo foi encontrada.
Escritores rabes tambm contriburam na soluo de equaes cbicas especiais. No
sculo XI, em seu famoso livro chamado Demonstraes de problemas de al-jabr de al-
muqabala, o matemtico rabe Omar Khayan, utilizando as cnicas de Apolnio, encontra
solues de diversos tipos de equaes cbicas, equivalentes em notao atual a equaes do
tipo
2 3 2 3
cx a x b x = + + .
Mas a resoluo das cbicas utilizadas nos exemplos anteriores consistia em um
problema geomtrico. Mesmo na lgebra rabe, a independncia dos mtodos algbricos para
resoluo de equaes se verificava mais freqentemente nas equaes quadrticas. Os
problemas cbicos de Omar Khayan eram plenamente geomtricos e envolviam a interseo
de cnicas. Apenas no Renascimento os problemas cbicos ganharam uma conotao mais
geral e tornou-se importante responder pergunta: Como encontrar um mtodo geral para
resolver equaes do 3.grau?
Por centenas de anos, matemticos procuravam por uma frmula de resoluo de cbicas
atravs de radicais, anloga que se usava para a soluo das equaes quadrticas. Os
crditos pela descoberta desta frmula devem ser atribudos matemtica italiana do sculo
XVI.
Um dos mais completos e detalhados estudos matemticos do sculo XV foi o
Summa de arithmetica, Geometria, Proportioni et Proportionalita (1494) de Luca Pacioli.
Pacioli terminou sua Summa assegurando que a soluo de uma equao cbica era to

13
impossvel quanto a quadratura do crculo. Este fato distanciou alguns matemticos do foco
desse trabalho, ao mesmo tempo que incentivou outros matemticos na busca da soluo.
Scipione Del Ferro (1465-1526), contrariamente s previses de Pacioli, resolveu o
caso especial da cbica
q px x = +
3
, com p e q positivos. Sem publicar seus resultados,
divulgou-os a um pequeno grupo de amigos no qual estava includo seu pupilo Antnio Maria
Fior.
Neste momento da histria, Fior desafia publicamente Tartaglia, propondo a resoluo
de algumas equaes cbicas. Temos a o relato de uma das mais famosas disputas
matemticas envolvendo a resoluo de equaes do terceiro grau. A participao de
Tartaglia
2
na histria da resoluo das cbicas tem seu primeiro passo em 1530, quando um
amigo o enviou dois problemas:

1. Achar um nmero cujo cubo somado com o triplo de seu quadrado resulta em cinco.
Em linguagem atual isto quer dizer: achar o valor de x que satisfaz equao 5 3
2 3
= + x x .

2. Encontrar trs nmeros, o segundo excedendo o primeiro em 2, e o terceiro excedendo
o segundo tambm em 2, cujo produto 1000. Ou seja, em linguagem atual, resolver a
equao x(x+2)(x+4) = 1000, ou analogamente, 1000 8 6
2 3
= + + x x x .

Em 1535, Tartaglia finalmente conseguiu encontrar a soluo de qualquer equao do
tipo q px x = +
2 3
. Na disputa entre Fior e Tartaglia, o objetivo era a soluo de vrios
problemas que um deveria propor ao outro. Fior apresentou a Tartaglia, 30 problemas que
eram solucionados pelo caso particular da cbica, cujo mtodo de soluo j era conhecido
por ele.
Tartaglia declarado o vencedor, j que, alm de resolver todos os problemas
propostos por Fior, no teve seus problemas propostos resolvidos pelo oponente, uma vez que
estes implicavam na resoluo de equaes do tipo q px x = +
2 3
.
Enquanto isso, Girolamo Cardano (1501-1576), um tpico homem renascentista,
obtinha reconhecimento em suas contribuies na Astrologia, Medicina, Filosofia e na

2
Nicolo Tartaglia nasceu em Brescia no norte da Itlia. Quando a Frana invadiu Brescia em 1512, muitos de seus habitantes
se refugiaram na catedral local. Os soldados, entretanto, violaram o santurio e massacraram os habitantes locais. Nesta
tragdia, o menino Nicolo foi deixado morte depois de um severo golpe de espada que cortou sua mandbula. Embora sua
me tenha achado o rapaz e o tratado da melhor maneira possvel, ele ficou com um impedimento na fala que fez com que ele
ganhasse o cruel apelido de Tartaglia, o gago. Depois, ele passou a utilizar formalmente este apelido em seus trabalhos
publicados. Embora os anos iniciais tenham sido de extrema misria, Tartaglia adquiriu proficincia em matemtica,
lecionando posteriormente em Verona e Veneza.

14
Matemtica. Durante anos, lecionou em vrias universidades e teve seu nome associado a uma
vida desregrada e marcada por episdios trgicos.
Reza a lenda que a notcia do duelo travado entre Fior e Tartaglia chega ao
conhecimento de Cardano que implora a Tartaglia a to desejada soluo das cbicas,
prometendo public-la com a devida autoria em sua obra Pratica Arithmeticae (1539), obra
que j continha racionalizao de denominadores envolvendo razes cbicas.
Tartaglia recusou o convite, j que possua inteno de publicar uma obra de sua
autoria contendo seus estudos em lgebra. Mas Cardano obtm de Tartaglia a famosa frmula
e a publica em sua Ars Magna (1545), importante obra que atualmente poderia ser classificada
como um texto seminal sobre equaes algbricas. O Ars Magna teve influncia das obras
algbricas de alguns antecessores, como o Lber Abaci (1202) de Leonardo de Pisa e do
Summa (1494) de Frei Luca Pacioli.
O trabalho de Cardano, em sua forma original, possui uma linguagem matemtica
especfica do perodo em questo. Para os contemporneos de Cardano, o Ars Magna
simbolizou uma nova etapa no campo da matemtica, exibindo publicamente pela primeira
vez os princpios de resoluo de equaes cbicas e biquadradas, fornecendo as regras da
resoluo por radicais de uma maneira similar que era conhecida para as equaes
quadrticas.
Cardano estuda o que ele considerava serem propriedades de equaes gerais, por
exemplo: relaes entre razes e coeficientes, regras de localizao de razes e chega a abordar
timidamente o assunto do nmero de solues de uma equao. Mas um dos aspectos mais
notveis da obra de Cardano foi trazer tona a questo da existncia de quantidades
sofisticadas, como eram chamadas as razes de nmeros negativos, denominao
provavelmente herdada de Bombelli, como discutiremos adiante.
Essas quantidades sofisticadas aparecem nas frmulas e ele no as coloca de lado,
nem as considera de pouca importncia como se fazia antes dele. Ao contrrio, Cardano
construiu exemplos que expressam o propsito de lidar com estas quantidades.
Ao lidar com solues de equaes de grau maior que dois, fica evidente que Cardano
no possua uma sistematizao algbrica que permitisse uma generalizao dos mtodos
utilizados. Pouco tempo depois, alguns de seus sucessores criaram uma linguagem algbrica
mais geral e eficiente, como o caso de Vite (1591), que criou uma terminologia
matemtica quase to geral quanto que usamos hoje.
Cardano analisa casos particulares para a resoluo de equaes, cujas demonstraes
so retricas e baseadas em argumentos geomtricos. Neste momento histrico, havia ainda

15
uma grande influncia dos mtodos gregos, principalmente os encontrados nos Elementos de
Euclides.
As solues geomtricas de Euclides para as equaes quadrticas consistiam na
construo de quadrados, logo seria bem apropriado pensar na soluo das equaes cbicas
atravs da construo de cubos. Cardano pareceu perceber uma conexo entre o fato do
espao que ele conhecia ser tri-dimensional e as dificuldades em resolver equaes de grau 3.
O trabalho com resoluo das equaes cbicas no fcil, por isso, em muitos casos,
Cardano utilizou exemplos numricos, oriundos da aritmtica mercantilista italiana,
envolvendo distribuio de dinheiro entre soldados, viagens de negcios e parcerias.
Os poucos problemas mais abstratos que aparecem em sua obra so uma extenso do
problema da duplicao do cubo (cap. XVII), problemas envolvendo tringulos (cap. XXXII)
e um captulo em que Cardano trata livremente com os nmeros negativos (cap. XXXVII).
Cardano demonstrou que a frmula que recebeu de Del Ferro e Tartaglia estava correta
e encontrou um mtodo para reduzir as formas mais complexas das cbicas (aquelas que
incluam todos os quatro possveis termos e as que possuam trs termos envolvendo o termo
quadrtico) a uma forma mais simples, de modo que a resoluo de Del Ferro e Tartaglia
pudesse atender a todos os casos de equaes cbicas.
Cardano tambm encontrou e demonstrou a existncia de mltiplas razes para vrios
tipos de cbicas e biquadradas. Explorou e explicitou relaes entre as razes de um tipo de
cbica e outras de outro tipo diretamente relacionadas a ela. Estabeleceu uma relao entre as
razes da equao e os termos numricos nela envolvidos. Atribumos a ele tambm o fato de
ter mostrado, em certos casos, que uma equao deveria ter duas razes idnticas. O mais
importante para ns que o trabalho de Cardano desenvolveu a conscincia da importncia e
da inevitabilidade de solues negativas e complexas, tendo encontrado solues envolvendo
razes quadradas de quantidades negativas.
Dentre as inovaes que Cardano introduziu na Ars Magna estava um mtodo para
transformar uma equao cbica em outra sem o termo de segundo grau. Utilizando uma
linguagem atual, trata-se de reescrever a equao 0
2 3
= + + + c bx ax x em uma nova
varivel. Basta fazer a substituio
3
a
y x = para obter uma equao com coeficientes
arbitrrios onde o termo em
2
y fica ausente. Com esta nova varivel, a equao adquire a
forma q py y = +
3
, que tambm conhecida como uma forma reduzida da equao cbica.

16
Cardano prope o seguinte mtodo para efetuar essa reduo, que interpretamos em nossa
linguagem:
. 0 e 0 com
: teremos
3 27
2
e
3
se assim, Sendo
0
3 27
2
3
0
3 9 27 3
2
3
0
3 3 3
obtemos
3
fazendo , 0 Seja
3
3 2
3 2
3
3 3 2 2
3
2 3
2 3
> > = +
|
|

\
|
+ = =
=
|
|

\
|
+ +
|
|

\
|
+
=
|
|

\
|
+ + +
|
|

\
|
+ +
= +
|

\
|
+
|

\
|
+
|

\
|

= = + + +
q p q py y
c
ab a
q
a
b p
c
ab a
y
a
b y
c
ab a a
y b
a a
y
c
a
y b
a
y a
a
y
a
y x c bx ax x

Vale ressaltar que, hoje, pensamos em equaes cbicas como sendo essencialmente
todas de um mesmo tipo e podendo ser resolvidas por um mesmo mtodo, mas naquela poca,
quando os coeficientes negativos ainda no eram utilizados, existiam 13 diferentes tipos de
equaes cbicas, que dependiam da posio do termo quadrtico, do linear e do termo
numrico.
Cardano trata a soluo de cada um dos treze tipos de equao cbica em captulos
separados. O captulo XI, por exemplo, destinado resoluo da cbica do tipo cubo e
coisas igual a nmero. A demonstrao feita tendo como base um exemplo particular de
uma cbica e, posteriormente, estabelece-se uma regra de resoluo dessas equaes cbicas
particulares.
Exibiremos o mtodo de resoluo fornecido por Cardano, mtodo este que no
utilizava a linguagem algbrica atualmente utilizada e que possua uma fundamentao
geomtrica. Isto faz com que a demonstrao feita por Cardano no seja de fcil
entendimento. Por este motivo, acrescentaremos ao final de algumas etapas da demonstrao
uma traduo para a linguagem simblica que usamos hoje, a fim de proporcionar uma
melhor compreenso do raciocnio de Cardano.
No captulo XI da Ars Magna Cardano estuda a resoluo de um caso especfico de
equao cbica representada por cub p; 6 reb qlis 20, atualmente expressa por . 20 6
3
= + x x
Consideremos que o cubo de GH e seis vezes o lado GH seja igual a 20. Sejam dois cubos AE
e CL cuja diferena deve ser 20.


17

F E

A B C K


Logo, o produto do lado AC pelo lado CK deve ser 2, ou seja, a tera parte do nmero
de coisas. Fazendo BC igual a CK, teremos que AB igual a GH, ou seja, o valor da
coisa.
Neste momento, podemos associar s grandezas AC e CK as variveis u e v , tais que
AC = u e CK = v , de modo que v u. = 2 o que equivale a
3
1
do coeficiente de x na equao,
sendo a soluo desejada AB = GH = v u .
De um resultado apresentado no captulo anterior, entendemos DC como o cubo de
BC, DF como o cubo de AB, DA como trs vezes CB vezes o quadrado de AB e DE como
trs vezes AB vezes o quadrado de BC.
Nesta etapa, Cardano utiliza uma notao prpria para alguns slidos cujos volumes
sero utilizados durante a demonstrao. Em linguagem atual, temos que:
DC =
3
v , DF =
( )
3
v u
=
3
x , DA = ( ) v v u
2
3 e DE =
( )
2
3 v v u
e podemos observar a
igualdade geomtrica atravs da representao abaixo:


D
L
G H

18


J que o produto de AC por CK resulta em 2, o triplo de AC vezes CK resulta em 6
que o nmero de coisas. Como AB igual a GH (coisa), temos que AB vezes o triplo de
AC vezes CK resulta em 6 coisas. Sendo CK igual a BC, temos que trs vezes o produto de
AB, BC e AC 6 vezes AB. Pela hiptese, temos que a diferena entre o cubo de AC e o
cubo de CK 20, que a diferena entre o cubo de AC e o cubo de BC.
Em outros termos, j que v u. = 2, temos que 3. v u. = 6, que o coeficiente de x na
equao dada. E o produto de AB por 3. v u. = 6x. De hiptese temos que
20
3 3
= v u

De resultado anterior, temos ento que a soma dos slidos DA, DE e DF 20, o que
nos remete equao
( ) ( ) ( ) 20 . 3 . 3
2
2 3
= + + v v u v v u v u
.
Assumindo BC como negativo, teremos ento que o cubo de AB igual ao cubo de
AC mais trs vezes o produto de AC pelo quadrado de BC menos o cubo de BC menos trs
vezes o produto de BC pelo quadrado de AC.
Neste momento, notamos que o fato de Cardano assumir BC negativo est relacionado
idia de retirada de volume, podendo ser expressa atravs da equao algbrica
( )
2 3 2 3
3
3 3 vu v uv u v u + =
.
Por sua vez, a diferena entre o triplo do produto de BC pelo quadrado de AC e o
triplo do produto de AC pelo quadrado de BC o triplo do produto de AB, BC e AC, o que
vale seis vezes AB, como foi mostrado.
Esta relao, em termos algbricos, pode ser reescrita da forma:
( )uv v u uv vu = 3 3 3
2 2
, resultando em 6. ( ) v u .
Adicionando 6 vezes AB ao resultado do produto do triplo de AC pelo quadrado de
BC teremos o produto do triplo de BC pelo quadrado de AC, ou seja,
( ) v u uv v u
2 2
3 3 6 = +
.
Tendo assumido BC como negativo, fica claro que o triplo do produto de BC pelo
quadrado de AC (
2
3vu ) tambm negativo. Logo, o triplo do produto de CB pelo quadrado
de AC mais o triplo do produto de AC pelo quadrado de CB mais 6 vezes AB resulta em
nada, o que pode ser compreendido pela equao
( ) 0 6 3 3
2 2
= + + v u uv vu
.
A diferena entre os cubos AC e BC o total do cubo de AC, e o triplo do produto de
AC pelo quadrado de CB, e o triplo do produto de CB pelo quadrado de AC (negativo), e o
cubo de BC (negativo), e 6 vezes AB, o que por sua vez igual a 20.

19
Cardano props, portanto, acrescentar, ao volume resultante da diferena dos cubos
AC e BC, uma outra operao envolvendo volumes que resultam em nada, o que no altera o
valor dessa diferena, que era de 20. Essa operao pode ser observada na equao:

( ) 20 6 3 3
3 2 2 3 3 3
= + + = v u v vu uv u v u

Sendo assim, utilizando um resultado anterior, do sexto captulo, considerando BC
negativo, o cubo de AB ser igual ao cubo de AC mais o triplo do produto de AC pelo
quadrado de BC menos o cubo de BC e menos o triplo do produto de BC pelo quadrado de
AC, representado por
( )
2 3 2 3
3
3 3 vu v uv u v u + =
.
Podemos agora concluir que o cubo de AB mais 6 vezes AB ser igual a 20 e o cubo
de GH mais 6 vezes GH tambm ser igual a 20, j que

( ) ( ) ( ) 20 6 3 3 6
2 3 2 3
3
= + + = + v u vu v uv u v u v u

ou
20 6
3
= + AB AB , ou 20 6
3
= + GH GH
e, pelo que foi dito no volume 11 dos Elementos de Euclides, GH ser igual a AB, portanto
GH a diferena entre AC e CB.
As grandezas AC e CB, ou AC e CK, so nmeros ou linhas contendo uma rea igual
tera parte do nmero de coisas cujos cubos tm como diferena o termo numrico da
equao. Logo, teremos a seguinte regra:
Eleve ao cubo a tera parte do nmero de coisas ao qual ser somado o quadrado da
metade do termo numrico da equao e extraia a raiz quadrada deste total que ser usado, em
dois momentos. Em um deles, adicione a metade do termo numrico da equao e no outro
subtraia o mesmo nmero. Teremos ento, um binomium e o seu apotome respectivamente.
Subtraia a raiz cbica do apotome da raiz cbica do binomium e o resultado final o valor da
coisa.
No caso particular da equao cubo e seis coisas igual a 20, teremos: eleve 2 ao
cubo, que a tera parte de 6, o que resulta em 8; Multiplique 10, metade do termo numrico,
por ele mesmo resultando 100; some 100 e 8, fazendo 108. Extraia a raiz quadrada, que
108
, e a utilize em um primeiro momento somando 10, e em um segundo momento
subtraindo a mesma quantidade, e teremos o binomium
10 108 +
e o apotome
10 108
.
Extraia a raiz cbica desses valores e subtraia o valor do apotome do valor do binomium, e
teremos o valor da coisa:
3 3
10 108 10 108 +
.

20
Utilizando termos algbricos atuais, poderamos reescrever como segue o
desenvolvimento e a regra de Cardano para a resoluo de uma equao cbica reduzida do
tipo q px x = +
3
com p > 0 e q > 0 :

( ) ( )
( ) ( ) . seja ou temos
II) e 3 I) Se
3
: os Considerem
3
3 3
3 3 3
b a x q b a p b a
b a q ab p
b a b a ab b a
= = +
= =
= +

De I e II obtemos que:
III)
3
p
ab = e IV) q b a =
3 3
.
Elevando ao cubo os dois membros da equao III e posteriormente multiplicando por
4 e, elevando ao quadrado os dois membros da equao IV, obtemos:
2 6 3 3 6
3
3 3
2 e
27
4
4 q b b a a
p
b a = + =
Adicionando as equaes acima teremos:
( )
27
4
27
4
27
4
2
3
2 3 3
3
2
2
3 3
3
2 6 3 3 6
p
q b a
p
q b a
p
q b b a a
+ = +
+ = +
+ = + +

Logo:
3
3 2
3
3 2
3 2
3
3
2 3
3
2 3
3
2 3 3 3 3
27 4 2
e
27 4 2
27 4 2
27
4
2
1
2
27
4
2
27
4
p q q
b
p q q
a
p q q
a
p
q
q
a
p
q q a
p
q b a e q b a
+ + = + + =
+ + =
+ + =
+ + =
+ = + =


Como a soluo desejada x = a b, obtemos temos que

21
3
3 2
3
3 2
27 4 2 27 4 2
p q q p q q
x + + + + = a soluo da equao cbica.

Nesta demonstrao, Cardano utilizou resultados j demonstrados em captulos
anteriores de seu livro, atualmente conhecidos como o cubo da soma e o cubo da diferena. A
frmula que atualmente chamamos de cubo da soma de dois termos foi enunciada por
Cardano da seguinte maneira: Se uma quantidade divida em duas partes, o cubo do inteiro
igual ao cubo das duas partes mais o triplo do produto de cada uma pelo quadrado da
outra.(Ars Magna, cap. VI, p.52)
A demonstrao deste resultado realizada atravs de uma extenso da proposio II.4
de Euclides que tratava geometricamente do quadrado da soma de dois termos. No mesmo
captulo, ele demonstra alguns corolrios que sero de extrema importncia para o mtodo
apresentado por Cardano para a resoluo das equaes cbicas.
importante notar que, nas demonstraes apresentadas por Cardano para cada caso
particular das cbicas, h uma preocupao em proporcionar uma fundamentao geomtrica,
embora ele j usasse ferramentas algbricas importantes.
Observamos na demonstrao do mtodo de soluo da cbica cub p; 6 reb qlis 20,
atualmente expressa por 20 6
3
= + x x , que Cardano considera, no incio da demonstrao,
dois cubos cuja diferena vale 20 e cujo produto de suas arestas vale 2. Isto indica que ele
tinha cincia de que estas consideraes seriam fundamentais para a obteno do resultado
final.
Nos treze captulos que Cardano dedica soluo das cbicas particulares, a
demonstrao sempre seguida de uma regra prtica de resoluo. Em sua obra, no fica
evidente como estas regras so estabelecidas a partir da demonstrao realizada, mas devemos
ressaltar que dadas as consideraes iniciais de sua demonstrao, a cbica apresentada no
captulo pode ser resolvida, a menos de uma mudana de variveis, pelos mtodos de
resoluo por radicais de equaes quadrticas, bastante conhecidos na poca.
Com esse trabalho, Cardano reconhece que uma equao cbica deveria possuir trs
razes, embora no exibisse por qual mtodo estas razes eram determinadas. No primeiro
captulo do Ars Magna, ele estabelece relaes entre tipos de equaes cbicas e suas razes.
Ele afirma, por exemplo, que as razes verdadeiras da equao cubo mais coisa mais nmero
igual a quadrado so as fictcias da equao cubo mais quadrado mais coisa igual a
nmero, sendo mantidos os mesmos coeficientes.

22
No caso da cbica
2 3
6 18 3 x x x = + + , temos que 3 uma raiz verdadeira, logo -3 ser
uma raiz fictcia da equao 18 3 6
2 3
= + + x x x .
Cardano explora diversas relaes envolvendo razes fictcias e razes verdadeiras das
equaes cbicas, embora desvinculadas de um contexto geomtrico. Logo o que hoje
entendemos como razes negativas de uma equao cbica eram descritas como razes
fictcias, porm ainda no eram aceitas como solues legtimas. Um problema envolvendo
quantidades negativas como soluo aparece no captulo XXXVII: O dote da esposa de
Francis 100 aurei
3
maior do que o valor que possui e o quadrado do dote 400 a mais do
que o quadrado do valor possudo. Encontre os valores do dote e de seus bens prprios.
Adotando uma linguagem simblica atual, a soluo apresentada assume que se
Francis possui x , logo o dote de sua esposa x 100 . Elevando ao quadrado ambas as
partes, teremos
2
x e x x 200 10000
2
+ . A diferena entre elas 400,
ento:
2 2
10000 200 400 x x x + = + + . Subtraindo termos comuns teremos que 9600
valem x 200 , concluindo que 48 = x e que Francis est com este dbito pessoal. O valor do
dote ser o que resta de 100, o que vale 52. Ento Francis tem -48 aurei e o dote de sua esposa
52 aurei.
Trabalhando desta forma, Cardano afirma que pode resolver os mais difceis e
emaranhados problemas.
Outro aspecto notvel na discusso de Cardano encontra-se neste mesmo captulo: a
considerao do que atualmente chamamos de nmeros complexos ou nmeros
imaginrios. Cardano manteve esses nmeros fora do Ars Magna, com exceo de um caso,
quando ele considerava o problema de dividir 10 em duas partes cujo produto fosse igual a 40.
Ou seja, dividimos 10 em duas partes iguais obtendo 5, que multiplicado por si mesmo resulta
em 25. Deste resultado devemos subtrair 40, que o valor do produto desejado, restando m15.
A soluo deveria ser justificada geometricamente e Cardano apresenta uma tentativa
geomtrica baseada nas proposies de Euclides. Esta justificativa deveria apresentar a
soluo atravs da construo de um quadrado de rea m15.
O segmento AB (figura 1) de comprimento 10 dividido em partes iguais, tendo que
AC = CB = 5, logo pela proposio II.5 de Euclides, teramos que a medida de CD a raiz da
diferena entre o quadrado construdo sobre CB e o produto de AD por DB, indicado por
Rm15 (
15
). A soluo desejada AC + CD e AC CD que eram registradas como 5 p R
m15 e 5 m R m15.

3
Uma moeda de ouro da Roma antiga

23
Fazendo o produto desses resultados, obtemos 25m m 15 quad est 40. Logo,
Cardano afirma que podemos realizar com essas quantidades sofisticadas operaes do tipo
( )( ) ( ) 40 15 25 15 5 15 5 = = +
.


(figura 1)

Cardano se referia s razes quadradas de nmeros negativos como sofisticadas
4
e
chegou a avaliar que esses resultados eram to sutis quanto inteis.
Podemos observar que, independente das operaes funcionarem perfeitamente com
estas quantidades sofisticadas, era necessrio, mas confuso, associar um sentido geomtrico
a elas, permanecendo em aberto uma justificativa para o clculo de razes de nmeros
negativos.
A ateno dada por Cardano a essas quantidades, aliada ao mtodo de soluo de
equaes cbicas atravs de radicais, d origem a um processo longo e de extrema
importncia na histria da matemtica. A partir deste momento, uma nova questo vai
alimentar o pensamento matemtico: como justificar a possibilidade de efetuarmos clculos e
admitirmos solues envolvendo razes quadradas de nmeros negativos?
Um matemtico que muito contribuiu para o estudo dos nmeros imaginrios foi o
italiano Rafael Bombelli, nascido provavelmente em 1526 na cidade de Bologna, embora no
se encontrem informaes precisas a este respeito. A grande contribuio de Bombelli para a
Matemtica conhecida atravs da publicao de sua obra LAlgebra (1572), escrita por volta
do ano de 1560.
Diferentemente de muitos contemporneos seus, Bombelli parece ter tido a inteno
de elevar a matemtica a um nvel superior, no necessariamente ligada a problemas prticos.

4
O termo sofisticado associado s quantidades atualmente conhecidas como imaginrias, j constava em manuscritos
datados de 1543 de Rafael Bombelli, localizados atualmente na biblioteca do Vaticano. Presume-se que Cardano, j ciente do
contedo desses manuscritos, tenha ento adotado a mesma terminologia. (Flament.D, mini curso sobre a histria dos
nmeros complexos, UFF 2008)

24
Os problemas apresentados na obra de Bombelli so, em sua grande maioria, influenciados
por Diofanto, mas tratados de modo mais abstrato, com ntido interesse em generalizar vrios
dos casos com que lidava.
A obra de Bombelli divide-se em 5 partes, que so considerados 5 livros, dos quais os
dois ltimos no foram apresentados tais como Bombelli havia pensado. Aps a sua morte,
aos 46 anos, os dois ltimos livros ainda incompletos foram dados como perdidos,
descobertos por E. Bortolotti e publicados em 1929.A primeira edio integral de LAlgebra
foi publicada em 1966 e deixa clara a distino dos trs primeiros livros, relacionados
lgebra, dos demais, essencialmente dedicados geometria.
Segundo Bortolotti, no prefcio edio da lgebra de 1966,

(...) Nela se apresenta pela primeira vez uma completa
sistematizao lgica da teoria das equaes dos primeiros quatro
graus; mas o conceito de informao de toda a obra, a disposio e
ordenao da matria, o procedimento construtivo e demonstrativo
essencialmente analtico nela seguido, representa um passo notvel
na aritmetizao da Matemtica. (Bombelli, 1966)

A contribuio de Bombelli foi notvel no que diz respeito linguagem simblica
utilizada, semelhante linguagem j utilizada por Nicolas Chuqet em sua obra Triparty en la
science des nombres (1484).
A notao algbrica de Bombelli foi ocupando o espao das abordagens retricas
utilizadas anteriormente. Ele utilizou R.q. para denotar raiz quadrada, R.c. para razes cbicas
e expresses similares para razes de ndices maiores. Os smbolos

so utilizados para
incluir longas expresses, como por exemplo: R.c.

21 . . 2 q R p , que atualmente representado
por
3
21 2 + ; e a utilizao de um semicrculo em torno de um nmero n, indicando a n-
sima potncia do termo desconhecido. Logo, x x x 5 6
2 3
+ seria escrito como
1 2 3
5 6 1

m p .
Esta forma de ligar os elementos de um mesmo radicando foi um grande avano na
representao simblica de expresses envolvendo radicais, que muito se assemelha com o
objetivo do emprego do smbolo de raiz utilizado atualmente.
O quadro abaixo
5
relaciona a linguagem simblica utilizada por Bombelli com a
linguagem atual:


5
Imagem disponvel em http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Bombelli.html

25


Os nmeros imaginrios so abordados em seu primeiro livro, juntamente com
definies de conceitos elementares, como potncias, razes, binmios e as operaes que os
envolvem. Ele reconhece a existncia das razes negativas e segue adiante afirmando que
estas expresses so mais sofisticadas que reais, como podemos perceber no trecho citado
abaixo, encontrado na pgina 133 de LAlgebra:


Encontrei um outro tipo de raiz cbica composta muito diferente
das outras, que nasce no captulo do cubo igual a tanto e
nmero, quando o cubo da tera parte do tanto maior que o
quadrado da metade do nmero, como nesse captulo se
demonstrar, () porque quando o cubo do tero do tanto maior
que o quadrado da metade do nmero, o excesso no se pode
chamar nem mais nem menos, pelo que lhe chamarei de pu di
meno, quando se adicionar e meno di meno quando se subtrair.
() E esta operao necessria () pois so muitos os casos de
adicionar onde surge esta raiz, () que poder parecer a muitos
mais sofisticada que real, tendo eu tambm essa opinio, at ter
encontrado a sua demonstrao em linha () mas primeiro
tratarei de os multiplicar, escrevendo a regra de mais e de menos.

Bombelli, ento enuncia as regras de multiplicao citadas abaixo:
Pi via pi di meno, f pi di meno

Meno via pi di meno, f meno di meno

Pi via meno di meno, f meno di meno

Meno via meno di meno, f pi di meno

Pi di meno via pi di meno, f meno

Pi di meno via meno di meno, f pi

Meno di meno via pi di meno, f pi

Meno di meno via meno di meno, f meno

26

Alguns historiadores da matemtica, como Bourbaki em seus lements (p.97), chegam
a afirmar que pi, meno, meno di meno e pi di meno so respectivamente 1, -1, -i e i.
Sobretudo por que Bombelli, no captulo Summare di p.di m. et m.di m., apresenta um
importante axioma que revela que no se pode somar pi com pi.di.meno. Esta idia vista
como uma primeira noo de independncia linear entre os valores real e imaginrio.
Poderamos efetivamente estabelecer uma comparao entre as regras de Bombelli e
aquelas que utilizamos atualmente, porm dizer que pi, meno, meno di meno e pi di meno
so respectivamente 1, -1, -i e i nos parece perigoso. A razo mais forte para nos precavermos
desta associao apressada que ns utilizaremos mais tarde o smbolo i como sendo uma
unidade imaginria, ao passo que pi di meno e meno di meno contm em suas expresses as
idias de adio e de subtrao, ou seja, relacionam-se a operaes. Ou seja, nos parece
valioso insistir, do ponto de vista da histria da matemtica, que pi di meno e meno di meno,
mesmo tendo respectivamente o significado de 1 + e 1 , no significam o nosso i e
i. Os sinais que precedem as razes do nmero -1 indicam que estas quantidades no so
independentes, mas so sempre somadas a ou subtradas de um nmero real.
Bombelli mostrou que estava frente de seus antecessores quando apresentou regras
operatrias com razes de nmeros negativos que ainda no tinham a sua legitimidade
assegurada, demonstrando uma capacidade de abstrao algbrica surpreendente para sua
poca.
Vejamos agora o que acontece se aplicarmos o mtodo de resoluo apresentado por
Cardano equao 4 15
3
+ = x x , considerada por Bombelli em sua lgebra:

3 3
3
3
3
3
3
121 2 121 2
27
15
4
16
2
4
27
15
4
16
2
4
logo , 4 e 15 que temos 4 15 Se
+ + =
+ + =
= = + =
x
x
q p x x

Como acontece neste exemplo, quando o discriminante menor que zero, ou seja,
3 2
3 2
|

\
|
<
|

\
| p q
, a frmula de Cardano nos leva inevitavelmente a razes quadradas de nmeros
negativos, logo
27 4
3 2
p q
seria o que chamamos hoje de nmero imaginrio. Mas no
exemplo acima, sabemos que a equao possui trs razes reais: 4, 3 2 + e 3 2 .

27
Equaes deste tipo so ditas irredutveis, ou seja, equaes cbicas que admitem 3
razes reais e distintas que, quando resolvidas pela frmula de resoluo das cbicas por meio
de radicais, levam a nmeros desconhecidos. Nesse caso particular, qualquer manipulao
algbrica que tivesse como objetivo descobrir as razes da cbica atravs da frmula de
resoluo de 3 grau, no obteria sucesso, o que caracterizaria a irredutibilidade desta
equao.
Este caso apresenta um problema fundamental na histria dos nmeros complexos:
como possvel obter as trs razes reais, logo plenamente legtimas, atravs de um mtodo
que faz aparecer nmeros ilegtimos, como o caso das razes de nmeros negativos?
Bombelli sabia que a equao do exemplo possua trs solues reais e reparou que, de
maneira paradoxal, tnhamos, de um lado, uma situao em que a frmula produzia um
nmero no reconhecido como tal e, de outro, trs boas solues que podiam ser descobertas
por esta frmula. Bombelli foi o primeiro matemtico com coragem suficiente para aceitar a
existncia dos nmeros imaginrios, dando uma nova luz ao quebra-cabea das equaes
cbicas. Sua habilidade em operar com nmeros imaginrios o capacitou a demonstrar a
aplicabilidade da frmula de Cardano at nos casos irredutveis de uma equao cbica.
Bombelli conseguiu enxergar que os valores complexos dos radicais
3
121 2 + e
3
121 2 deveriam ser relacionados com os prprios radicais, ou seja, eles deveriam
diferir apenas no sinal. Bombelli sabia que 4 era uma soluo da cbica mencionada acima
6
,
exibindo o fato extraordinrio de que nmeros reais poderiam ser obtidos atravs de
operaes com expresses contendo nmeros imaginrios.
importante ressaltar que Bombelli acrescenta que adverte-se que este tipo de raiz
cbica surge sempre acompanhada do binmio com o seu resduo. Podemos afirmar que

6
Um mtodo amplamente divulgado para a obteno da soluo 4 para a cbica dada a seguinte: Consideremos
3
121 2 + = 1 +b a e
3
121 2 = 1 b a , com a > 0 e b > 0 a serem determinados. Sendo assim, a relao
3
121 2 + = 1 + b a implica que:
( ) = + = +
3
1 121 2 b a ( ) ( ) = + + +
3
3
2
2 2 3
1 1 3 1 3 b ab b a a ( ) ( ) 1 3 3
2 2 2 2
+ b a b b a a .
Dessa igualdade, segue que
( ) 2 3
2 2
= b a a
e ( ) 11 3
2 2
= b a b . Se as solues forem inteiras, a primeira dessas
condies nos diz que a deve ser igual a 1 ou 2, e a segunda condio assegura que b tem valor 1 ou 11. Como apenas as
opes a = 2 e b = 1 satisfazem a ambas simultaneamente, obtemos as igualdades: ( )
3
1 2 121 2 + = + e
( )
3
1 2 121 2 =
.
Podemos concluir ento que uma das solues para a equao cbica 4 15
3
+ = x x dada por:
= + + =
3 3
121 2 121 2 x ( ) ( )
3
3
3
3
1 2 1 2 + +
=
( ) ( ) 4 1 2 1 2 = + +
.

28
Bombelli j apontava aqui para o importante papel que os nmeros imaginrios conjugados
iriam assumir futuramente.
Sabemos que as regras apresentadas por Bombelli , que tambm so vlidas para os
nmeros reais, abririam caminho para que no futuro, alguns matemticos viessem conceber
esses elementos munidos de operaes e propriedades especficas como uma valiosa estrutura
algbrica.
Assim, s vsperas do sculo XVI, as quantidades imaginrias eram empregadas em
clculos, possuindo nome e algoritmos definidos, mas seu emprego ainda causava incmodo.
Estas quantidades eram toleradas quando partiam do real para se chegar ao real e pelo fato de
que a teoria sobre as equaes ainda no estava perfeitamente definida. Aos numerosos e
longos clculos utilizados na resoluo das cbicas ir se substituir uma escrita formal que as
reduzir e far os matemticos descobrirem a generalidade que lhes faltava. Todas essas
pesquisas sero feitas no fim do sculo XVI e prosseguiro pelo sculo seguinte, ficando
aparentemente ocultos os resultados que Bombelli tinha obtido. Mas foi a partir dos trabalhos
destes matemticos italianos que os nmeros sofisticados comearam a perder parte de sua
caracterstica mstica, ainda que sua plena aceitao no universo dos nmeros comece a ser
obtida apenas no sculo XIX com os trabalhos de Wallis,Wessel, Bue e Argand.
Mostraremos no captulo seguinte como o desenvolvimento da matemtica nos sculos
seguintes contribuir de maneira significativa para que estes importantes resultados saiam do
estado de um eclipse aparente (FLAMENT, 2003, p.28) e, junto com os demais, iniciem um
processo de edificao do pensamento matemtico, no qual as quantidades sofisticadas
desempenharo um papel fundamental.










29
Captulo II Os nmeros imaginrios na
matemtica dos sculos XVII e XVIII

Durante o sculo XVII, os trabalhos de Harriot, Girard e Descartes, muito
contriburam para a histria dos nmeros conhecidos, at este momento, como sofisticados.
Thomas Harriot, professor de Oxford, com sua obra Artis analyticae praxix (1631),
pode ser considerado, com Vite, um dos pais da Anlise Matemtica. Ele responsvel por
evidenciar a importncia da natureza e da formao das equaes, transformando o modo
tradicional de lidar com as equaes e apresentando um processo que conduz a uma forma
cannica.
Em uma primeira fase, Harriot transporta todos os termos do segundo membro de uma
equao, atribuindo sinais e iguala a zero. Esta uma prtica facilmente reconhecida
atualmente, considerar uma equao na forma geral, porm, na poca, este procedimento
implicava em ultrapassar algumas barreiras, pois igualar um objeto a zero era igualar a
nada.
Na obra de Harriot, considerada por Cajori como menos retrica e mais simblica do
que talvez qualquer outra lgebra que j tenha sido escrita
7
, afirma-se que adicionar
d
b a

+

representa a soma . d b a +
A linguagem simblica utilizada j representava uma inovao, pois usava letras
minsculas para representar as quantidades que aparecem nas equaes, dando o mesmo
significado que Vite atribua as suas letras maisculas. Expressava por uma consoante as
quantidades positivas conhecidas e os nmeros negativos eram precedidos por um sinal. A
novidade a no consistia em escrever - d e sim no fato de que no era apresentada uma
expresso precedente que indicasse diretamente uma subtrao. Ele no explica a
ambigidade gerada pelo sinal que, em um dado exemplo, poderia significar uma
subtrao, assim como uma adio de um nmero negativo.
interessante observar que Harriot no utilizava palavras especiais para designar os
nmeros sofisticados, embora quando deparado com a equao " " dddddd ccc eee + =
considere um caso de reduo impossvel e declare que dddddd inexplicvel.

7
Cajori, Revaluation of Harriots Artis Analyticae Praxix, (1920), p.37.


30
Independente da simbologia utilizada, ele ainda no valida as razes negativas de uma
equao. Sendo assim, ainda no podemos dizer que Harriot tenha sido o primeiro a
reconhecer e utilizar as razes negativas de uma equao de maneira similar s razes
positivas. Este equvoco, encontrado algumas vezes na histria da matemtica, deve-se ao fato
dele ter proposto uma formalizao inovadora na construo de equaes cannicas a partir de
produtos de fatores binomiais, como podemos ver a seguir:

1)
c a
b a

bc ca ba aa + =


2)
c a
b a
+
+
bc ca ba aa + + + =


3)
c a
b a
+

bc ca ba aa + =
8


A partir da, somos tentados a acreditar que Harriot interpretava a equao
0 ) ( = bc a c b aa como sendo equivalente 0 = + bc ca ba aa , cujas razes seriam b e
c. Mas esta concluso falsa, j que Harriot desprezava c como raiz da equao.
Considerando a equao b a = e conseqentemente 0 = b a , poderamos multiplicar
os dois membros dessa equao por c a + , obtendo ento a equao 0 = + bc ca ba aa ,
que poderia ser escrita da forma bc ca ba aa = + . Cajori conclui que portanto a equao
cannica proposta obtida atravs de uma prvia multiplicao aqui deduzida
considerando-se a = b.
9

Como Harriot no reconhecia c como uma raiz da equao, no poderia fazer o
mesmo clculo partindo de c a = , o que seria pertinente para uma equao moderna. Em seu
livro, diante a uma equao do terceiro grau da forma 0 ) )( )( ( = d a c a b a , reconheceu
suas trs razes b, c e d, mas para o caso da equao 0 ) )( )( ( = + d a c a b a , admitiu c e d
como razes, ficando provado que no existiriam outras.

8
Em notao atual teramos
( )( ) bc cx bx x c x b x + = +
2
.
.
9
Cajori, Revaluation of Harriots Artis Analyticae Praxix, (1920), p.37.

31
Embora no tenha admitido razes negativas como solues das equaes, o mesmo
valendo para os nmeros sofisticados, suas equaes cannicas serviram como modelos
para determinar o nmero de razes de equaes de terceiro e quarto graus (nos casos
particulares em que todas so estritamente positivas). Este fato j seria suficiente para
ressaltar a importncia da contribuio de Harriot para a matemtica.
Outras de suas contribuies so a inveno dos smbolos > e <, que significam
respectivamente superior a e inferior a, um melhor desenvolvimento no processo de Vite
para a aproximao das razes de uma equao numrica e a utilizao simblica para
representar a multiplicao como ,... . . . , . . , . a a a a a a a a a
Nota-se a importncia do termo inexplicvel, utilizado em expresses que aparecem
nos trabalhos de Harriot, como por exemplo, dddddd , pois os nmeros ditos anteriormente
impossveis recebem entre os anos de 1620 e 1630 uma outra denominao em razo do
alargamento provocado pelas resoluo das cbicas. As dificuldades da frmula de Cardano
para a resoluo das equaes cbicas ainda so mantidas nesta poca, sendo o termo
inexplicvel, caracterstico das conseqncias da evoluo matemtica durante o sculo
XVII.
Albert Girard nasceu em 1595 em St Michel (Frana) e morreu no dia 8 de dezembro
de 1632 em Leiden (Holanda). Era francs, mas emigrou como refugiado religioso para a
Holanda. Apaixonado por msica, freqentou pela primeira vez a Universidade de Leiden, aos
22 anos, aonde estudou Matemtica. No que tange histria da legitimao dos nmeros
impossveis, podemos considerar que Girard foi mais adiante que Harriot, pois em seu livro
Invention nouvelle em lalgbre, publicado em 1629, aparecem diversos resultados que
admitem razes negativas para equaes.
Na primeira parte de seu livro, Girard incorpora resultados de alguns contemporneos.
Ele introduz dois novos sinais que seriam importantes em seus trabalhos:
ff - mais que
- menos que

Estes smbolos utilizados por Girard no so to simples quanto aqueles j utilizados
por Harriot e que se tornaro os nossos sinais < e >. Em relao notao algbrica,
Girard utiliza, assim como Vite, letras maisculas para representar grandezas,
desconsiderando a notao utilizada por Harriot.

32
Para representar operaes entre grandezas, ele j utilizava B A+ para a soma, AB
para o produto,
B
A
para a diviso de A por B e o sinal de = representava a diferena entre
grandezas. Logo, para o caso geral da diferena entre as grandezas A e B, era utilizada a
notao B A = , mas, caso A fosse maior que B, a representao seria feita por B A . Esta
dupla notao para uma mesma operao, nos revela uma resistncia em trabalhar com
quantidades negativas.
Naquela poca, a soma de todos os conhecimentos disponveis no era
necessariamente utilizada pelos matemticos atuantes, uma vez que no existia um padro de
notao matemtica como hoje em dia. A linguagem utilizada dependia da preferncia de
cada um. Girard, por exemplo, com a sua notao, ao resolver a equao quadrtica (2) igual
a 6(1) 25
10
, afirma que o valor de 1(1), ou seja, a raiz da equao, assume valor 16 3 +
ou 16 3 , o que seria inexplicvel. Afirma tambm que algumas equaes do tipo (2)
igual a (1) (0), ou em linguagem atual, b ax x =
2
, so impossveis de serem resolvidas.
Na pgina 53 de Invention nouvelle em lalgbre, Girard enuncia o famoso teorema
que relaciona o nmero de razes de uma equao ao seu grau. Ele afirma que todas as
equaes algbricas tm como nmero de solues o mesmo nmero de seu maior grau e
estabelece relaes entre os coeficientes dos outros termos da equao com as razes, estando
os termos, em ordem alternada de grau.
Ele explica este teorema atravs de um exemplo. Se a equao 1(4) igual a 4(3) +
7(2) -34(1) - 24
11
, 4 o maior grau, o que significa que esta equao possui quatro solues.
Reescrevendo-a alternando seus graus, temos que 1(4) 7(2) 24(0) igual a 4(3) -34(1).
Desta equao, com exceo do termo de maior grau, os demais coeficientes com seus
respectivos sinais, em ordem decrescente em relao aos graus de seus termos, ou seja: 4, -7,
-34 e -24 so as quatro faces das quatro solues da equao. Estas faces mencionadas
por Girard so resultados envolvendo a soma e o produto das razes da equao, que recebem
atualmente o nome desse matemtico.
Para o caso das equaes incompletas, Girard fornece o exemplo da equao 1(3) igual
a 7(1) 6 que admite trs solues. So elas 1, 2 e -3 e ele reescreve a equao da forma
completa 1(3) igual a 0(2) + 7(1) 6 para encontrar todas as solues.

10
Em notao atual, equivale equao 25 6
2
= x x .
11
Em notao atual, equivale equao 24 34 7 4
2 3 4
+ = x x x x .

33
Na citao a seguir, Girard nos mostra um exemplo de equao que evidencia o fato
dele j admitir as quantidades sofisticadas de Bombelli: Se 1(4) igual a 4(1) 3, ento as
quatro faces sero 0, 0, 4 e 3, logo as quatro solues sero 1, 1, 2 1 + e 2 1 .
(Note que o produto das duas ltimas 3)
12
.
Girard afirma que pode dar trs nomes s solues encontradas: aquelas que so mais
que nada, outras que so menos que nada e as outras que possuem , como 3 e
outras similares. Provavelmente ele foi o primeiro a fornecer uma idia precisa sobre a
representao dos nmeros negativos, quando diz: a soluo por menos se explica em
geometria por retrocesso: o menos recua exatamente onde o mais avana.
Girard parece ter tido forte influncia de diversos outros autores. Parte de sua notao
tem inspirao em Chuquet, Stifel e Bombelli. Sua representao para expressar uma raiz
permanece at os dias de hoje. Em relao s quantidades negativas e inexplicveis, sabia
aceit-las e super-las em seus clculos.
Sem muita preciso, ao enunciar o teorema fundamental da lgebra, ele forneceu um
sentido mais amplo para os nmeros inexplicveis. Este importante teorema, que podemos
considerar como uma breve declarao, j que no possua uma demonstrao formal, ser
abordado por diversos matemticos como Descartes, Newton, Euler, DAlembert e Gauss, que
fornecer uma prova rigorosa.
Passaremos agora ao trabalho de Ren Descartes (1596-1650), filsofo, matemtico e
fsico e, em particular, ao seu famoso livro Geometria, que foi concebido como o primeiro
apndice de sua grande obra filosfica Discurso do Mtodo, publicada em 1637.
Procuraremos evidenciar, nesta obra, as passagens e as situaes em que os nmeros
inexplicveis se tornam presentes, de forma a compreender quais as contribuies desse
grande matemtico na histria desses nmeros.
Podemos dizer que vrias de suas idias j tinham sido expostas por Harriot e Girard,
embora seja incontestvel que a clareza e a riqueza de suas exposies demonstrem a
independncia de Descartes em relao a quaisquer influncias externas. Descartes foi o
primeiro a qualificar os nmeros expressos por razes de nmeros negativos como
imaginrios, no com o sentido de que eles no seriam reais, mas como nmeros que
podem ser imaginados.
Citaremos aqui, as primeiras pginas de sua Geometria que explicam sua concepo:


12
Itard, J., op.cit., p.14

34
Todo problema em geometria pode facilmente ser reduzido a alguns termos,
que o conhecimento de certas medidas de linhas retas seja suficiente para a
sua construo.
Assim como a aritmtica consiste de somente quatro ou cinco operaes,
denominadas adio, subtrao, multiplicao, diviso e a extrao de razes,
que deve ser considerada, como um tipo de diviso. Logo na geometria, para
determinar linhas desejadas, meramente necessrio adicionar ou subtrair
outras linhas, ou seja, tomando uma linha, que eu chamarei de unidade, a fim
de relacion-la o mais possvel a nmeros, e que pode ser escolhida
geralmente de maneira arbitrria e sendo dadas duas outras linhas, encontrar
a quarta linha que deve estar para uma das linhas dadas, assim como a outra
est para a unidade (que o mesmo que a multiplicao). Ou novamente,
encontrar a quarta linha que est para uma das linhas dadas, assim como a
unidade est para a outra (o que equivalente diviso). Ou finalmente,
encontrar uma, duas, ou vrias mdias proporcionais entre a unidade e uma
outra linha (o que o mesmo que extrair a raiz quadrada, raiz cbica, etc. da
linha dada). E eu no devo hesitar em introduzir estes termos aritmticos na
geometria, por razes de maior clareza.
13



Uma conseqncia do procedimento citado acima, que o produto de dois segmentos
pode ser visto como um segmento, o que no poderia ocorrer na geometria euclideana, em que
o produto de dois segmentos deveria ser visto, necessariamente, como a superfcie de um
retngulo, ou seja, como uma figura de natureza distinta de um segmento de reta.
Procedimentos deste tipo, exemplificado pela figura baixo, permitiro vencer a
questo da homogeneidade das grandezas que estava presente na geometria euclideana.
Suponhamos, na figura, que AB seja a unidade. Utilizando construes geomtricas simples,
com rgua e compasso, teremos que BE o produto dos segmentos BD e BC obtidos ligando-
se os pontos A e C e construindo DE paralela a AC.


Baseando-se no texto de Descartes, e feitas as devidas construes geomtricas,
teremos que:
BA
BD
BC
BE
= e, como BA unidade, segue que BD BC BE . = .
Aps esta explicao, Descartes prope a aplicao da multiplicao e da extrao de
raiz quadrada atravs de figuras geomtricas, mas antes especifica:


13
Descartes,R. The Geometry of Ren Descartes, New York: Dover Publications, 1954. p 5.

35
...Portanto, geralmente no necessrio traar linhas no papel, mas
suficiente designar uma letra a cada uma delas, deste modo, para somar as
linhas BD e GH, eu chamo uma de a e a outra de b e escrevo b a + . Ento
b a ir indicar que b subtrado de a ; ab que a multiplicado por b ;
b
a
que a dividido por b ; aa ou
2
a que representa a multiplicado por ele
mesmo;
3
a que este resultado multiplicado por a, e assim por diante,
indefinidamente. Novamente, se eu desejo extrair a raiz quadrada de
2 2
b a + ,
eu escrevo
2 2
b a + ; se eu desejo extrair a raiz cbica de
2 3 3
ab b a + , eu
escrevo
3 2 3 3
ab b a +
14
e igualmente para outras razes
15
.

At este momento,
2
a era comumente associado superfcie de um quadrado cujo
lado a e
3
b significava o volume de um cubo cuja aresta b , enquanto
4
b ,
5
b , etc. no
eram associados a formas geomtricas. Descartes diz que
2
a no possui esse significado, mas
representa uma linha construda como a terceira proporcional entre 1 e a .
Assim como Harriot, Descartes utiliza letras minsculas, alm de expressar o radical
como Girard, porm a raiz cbica era expressa de uma forma mais complexa, o que poderia
acarretar alguns erros em clculos. O risco era mnimo quando se tratavam de grandezas
homogneas, mas o mesmo no acontecia com as demais. Porm, Descartes contorna esta
situao afirmando:

Se queremos resolver qualquer problema, primeiramente supomos que a
soluo j est efetuada, e damos nomes a todas as linhas que parecem
necessrias para constru-la. Tanto para as que so desconhecidas como para
as que so conhecidas. Em seguida, sem fazer distino entre linhas
conhecidas e desconhecidas, devemos percorrer a dificuldade da maneira
mais natural possvel, mostrando as relaes entre estas linhas, at que seja
possvel expressar uma nica quantidade de dois modos. A isto chamamos
uma Equao, uma vez que os termos de uma destas duas expresses so
iguais aos termos da outra
16
.


Alm disso, Descartes introduz uma escrita simblica para representar equaes de
uma maneira muito similar utilizada atualmente, apenas com uma diferena para o sinal de
igualdade, que ele representava utilizando o smbolo . Abaixo seguem alguns exemplos
de equaes descritas por Descartes:


14
Descartes escreve abb b a C +
3 3
. .
15
Descartes,R. The Geometry of Rene Descartes, New York: Dover Publications, 1954.

16
. Descartes,R. The Geometry of Rene Descartes, New York: Dover Publications, 1954, p 8-9.



36

z b
2
z bb az +
3
z
3 2
c bbz az + +
4
z
4 3 3
d z c az +


Em seguida, Descartes analisa alguns casos de equaes quadrticas, mostrando como
podemos interpretar a incgnita como uma reta que pode ser construda. Por exemplo, para a
equao z
2
az + b
2
, esta reta incgnita seria construda como na figura abaixo:



Queremos comparar os tringulos LMP e LOM. Os ngulos LOM e MLP so iguais e,
como o ngulo LMP comum a ambos, conclumos que os tringulos LMP e LOM so
semelhantes. Logo, . .
2
LM PM OM
LM
PM
OM
LM
= = O segmento LM tem comprimento b e
desenhamos o segmento NL, com tamanho
2
a
, perpendicular a LM. Construmos ento um
crculo com raio
2
a
e desenhamos a reta por M e N que intercepta o crculo em O e P. Temos
ento que
4
2
2 2
a
b MN + = e o segmento OM =
2
a
+ MN o z que procuramos, pois sabemos
da geometria que
2
. LM PM OM = , logo se OM = z , PM = a z e z
2
= az + b
2
, uma vez que
LM = b . Sendo assim, temos que OM, a raiz da equao, dada por z bb aa a + +
4
1
2
1
.
Observamos que a segunda raiz da equao, que negativa, ignorada por Descartes.
Em seguida, ele mostra como podemos construir as razes da equao z
2
bb az
(equivalente equao x(b x) = c
2
cuja soluo apresentada na proposio II.5 dos

37
Elementos de Euclides). Para resolver esta ltima equao, traamos, como no exemplo
anterior, um segmento NL de tamanho
2
a
e um segmento LM de tamanho b .







2
a


b


No entanto, ao invs de ligar M a N, traamos MQR paralela a LN e, tomando N como
centro, traamos uma circunferncia por L cortando MQR nos pontos Q e R. A linha z
procurada MQ ou MR , expressas respectivamente por:

z bb aa a +
4
1
2
1
e z bb aa a
4
1
2
1


Isto porque M R L M L Q

= , uma vez que so ambos ngulos inscritos que determinam
o mesmo arco. M

um ngulo comum a ambos, logo os tringulos LRM e QLM so

semelhantes, logo MQ MR LM
LM
QM
MR
LM
.
2
= = . Se )
2
1
.( 2 a MR RQ = , b LM = e
z MR = , temos de MQ MR LM .
2
= que MQ z b .
2
= e RQ z MQ = . Sendo assim,
)
2
1
.( 2 a z z MQ = , z a MQ = . Como MQ z b .
2
= , ) .(
2
z a z b = . Logo MR z = .
Para deduzir a frmula algbrica a partir da construo geomtrica acima, basta
observar na figura que NR NQ a LN = = =
2
1
. Se marcarmos um ponto O sobre MR ,

38
obteremos tambm que a MO
2
1
= e b NO = . Como OR MO z MR + = = , chamando OR de
x , temos que
2 2
2
4
b x
a
+ = , logo
2
2
4
b
a
x = .
Ao final desse resultado, Descartes afirma que: Se o crculo descrito por N passando
por L no corta e nem toca a linha MQR, a equao no tem nenhuma raiz, de forma que
podemos dizer que a construo do problema impossvel.
17

Podemos observar que, pelo fato de Descartes utilizar figuras euclideanas para
solucionar algumas equaes, determinando o lugar geomtrico que representa os valores das
razes, ele no garante a existncia das razes imaginrias. Quando o crculo no corta e
nem toca a linha MQR, o problema algbrico traduzido por uma impossibilidade
geomtrica.
A necessidade da construo geomtrica das solues das equaes, fez com que
Descartes ainda considerasse separadamente as solues de equaes do tipo
2
z bb az + ,
2
z bb az e
2
z bb az + , no apresentando uma generalizao para uma equao do
tipo
2 2
b az z + + 0.
Em seu primeiro livro, Descartes tambm aplica o seu mtodo na resoluo do famoso
problema de Pappus. Em seu segundo livro, trata da natureza das linhas curvas, utilizando a
Geometria para a resoluo de problemas em Diptrica. No terceiro livro, que investiga a
natureza das equaes, Descartes levanta a questo da existncia e do nmero de razes de
uma equao qualquer, fornecendo a seguinte resposta:

Qualquer equao pode ter
18
tantas razes distintas (valores das quantidades
desconhecidas) quanto o nmero de dimenses da quantidade desconhecida
na equao
19
. Suponhamos, por exemplo, 2 = x ou 0 2 = x , e novamente,
3 = x ou 0 3 = x . Multiplicando as equaes 0 2 = x e 0 3 = x , temos
0 6 5
2
= + x x ou 6 5
2
= x x . Esta uma equao em que x tem valor 2 e
ao mesmo tempo tem valor 3. Se ns aps, fizermos 0 4 = x e
multiplicarmos por 0 6 5
2
= + x x , teremos 0 24 26 9
2 3
= + x x x , uma
outra equao, em que x , tendo trs dimenses, ter tambm trs valores
que so 2, 3 e 4.


17
Descartes,R. The Geometry of Rene Descartes, New York: Dover Publications, 1954, p 15.

18
importante notar que Descartes escreve pode ter e no deve ter, j que considera apenas razes reais positivas.

19
Que o nmero que denota o grau da equao.

39
O fato do nmero de razes de uma equao estar associado dimenso do termo
desconhecido desta equao uma antecipao do resultado que conhecemos hoje como
Teorema Fundamental da lgebra, embora no designado desta forma em sua obra.
Descartes afirma que, muitas vezes, algumas razes so falsas ou menos que nada
20
.
Deste modo, quando considera que x representa a quantidade 5 subtrada de nada (o que
atualmente representado por -5), conclui que 0 5 = + x , resultado que, multiplicado por
0 24 26 9
2 3
= + x x x , resulta em 0 120 106 19 4
2 3 4
= + x x x x . Ele conclui ento que esta
equao possui quatro razes, das quais 2, 3 e 4 so as verdadeiras e 5 a falsa.
21

Descartes afirma ainda que possvel diminuir o nmero de dimenses de uma
equao se conhecemos uma de suas razes, bastando dividi-la pelo binmio a x , em que x
representa a quantidade desconhecida e a , a raiz conhecida. Trata-se de uma generalizao de
um fato j conhecido no Renascimento e freqentemente aplicado resoluo da cbica, com
o objetivo de reduzi-la a uma equao quadrtica.
Outro fato importante, ressaltado por Descartes, que podemos determinar o nmero
de razes verdadeiras e falsas de qualquer equao, basta proceder da seguinte maneira: uma
equao tem tantas razes verdadeiras quanto for o nmero de vezes em que h a troca de
sinais de + para ou de para +; e tantas falsas quanto for o nmero de vezes que dois sinais
de + ou dois sinais de forem encontrados seguidamente. No caso da equao
0 120 106 19 4
2 3 4
= + x x x x , citada anteriormente, temos que
4
x + seguido de
3
4x ,
sendo a primeira mudana de sinal. Depois temos
2
19x seguido de x 106 + e finalmente
x 106 + seguido de 120 , perfazendo um total de trs mudanas de sinais como especificado,
logo sabemos que existem trs razes verdadeiras nesta equao. Temos tambm que
3
4x
seguido de
2
19x , existindo, ento, uma raiz falsa.
Esta regra conhecida como a Regra de sinais de Descartes. Entretanto, j havia
sido citada anteriormente por Harriot em sua obra Artis analyticae praxis (1631). Em (Cantor,
Vol II, p.496, p.725) encontramos que Descartes poderia ter tido acesso a tal regra nos
manuscritos de Cardano, porm o francs foi o primeiro a apresent-la como uma regra geral.
Descartes tambm apresenta uma tcnica para gerar uma nova equao em que as
razes verdadeiras da antiga sejam as falsas da nova e vice-versa, utilizando-se apenas de
algumas trocas de sinais de alguns coeficientes da equao. Isto feito trocando os sinais do
segundo termo, quarto termo, sexto termo, ou seja, agindo desta maneira com os termos de

20
Razes falsas era um termo formalmente utilizado para o que conhecemos hoje de razes negativas.
21
Que so trs razes positivas, 2, 3 e 4, e uma raiz negativa -5.

40
ordem par e conservando os sinais dos termos de ordem mpar. Logo, a equao
0 120 106 19 4
2 3 4
= + x x x x , quando reescrita como 0 120 106 19 4
2 3 4
= + x x x x , ter 5
como a raiz verdadeira e trs falsas razes, que sero 2, 3 e 4.
Caso fosse desejado aumentar uma quantidade dada ou diminuir de uma quantidade
dada os valores das razes de uma equao, deveramos substituir o termo desconhecido da
equao por outro, acrescentando ou diminuindo a quantidade dada. Desta forma, se for
desejado aumentar 3 unidades do valor de cada raiz da equao
0 120 106 19 4
2 3 4
= + x x x x , trocamos o termo desconhecido x por um outro y que exceda
x em 3 unidades, ou seja x y = 3 . Desta maneira, teramos que, no lugar de
2
x , colocar o
quadrado de 3 y ; para
3
x , colocar o cubo de 3 y e assim por diante. Fazendo as devidas
substituies na equao acima e efetuando as combinaes possveis, obtemos a equao
0 8 8
2 3 4
= + y y y y
22
.
Aumentando-se as razes verdadeiras de uma equao, as falsas diminuem da mesma
quantidade e tambm vlido o contrrio, ou seja, diminuindo as razes verdadeiras,
aumentamos as falsas. Quando diminumos tanto uma verdadeira, quanto uma falsa raiz, uma
quantidade igual a ela prpria, temos a raiz zero. Quando diminumos do valor da raiz uma
quantidade maior do que ela, fazemos com que uma raiz verdadeira se torne falsa e uma falsa
se torne verdadeira. No caso da equao 0 120 106 19 4
2 3 4
= + x x x x , em que tnhamos a
raiz verdadeira 5 e as falsas 2, 3 e 4, aps o acrscimo de 3 unidades, faremos as seguintes
alteraes para descobrirmos as razes da equao 0 8 8
2 3 4
= + y y y y :
A raiz verdadeira 5 ser acrescida de 3 unidades, obtendo a raiz verdadeira 8.
Da raiz falsa 4, diminuiremos 3 unidades, obtendo a raiz falsa 1.
Da raiz falsa 3, diminuiremos 3 unidades, obtendo a raiz zero.
Da raiz falsa 2, diminuiremos 3 unidades, obtendo a raiz verdadeira 1.

Outro resultado extremamente importante, que tem como objetivo fazer desaparecer o
segundo termo de uma equao dada, apresentado por Descartes em seu terceiro livro:

...Ns podemos sempre remover o segundo termo de uma equao,
subtraindo de suas verdadeiras razes a quantidade relativa ao segundo termo
dividida pelo nmero de dimenses do primeiro termo, no caso dos dois
termos terem sinais opostos; ou, se eles possurem sinais iguais, adicionando

22
Em sua obra, Descartes registrou * 8 8
2 3 4
y y y y + 0 , indicando por um asterisco, a ausncia de um termo do
polinmio completo.

41
s razes a mesma quantidade. Logo, para remover o segundo termo da
equao , 0 420 4 71 16
2 3 4
= + + y y y y divido 16 por 4 (expoente de y em
4
y ), sendo o quociente igual a 4. Ento eu fao y z = 4 e escrevo:

256 256 96 16
2 3 4
+ + z z z z
1024 768 192 16
2 3
+ + z z z
1136 568 71
2
+ + z z
16 4 + z
420

0 36 60 25
2 4
= z z z

A raiz verdadeira dessa equao que era 2 agora 6, j que houve um
acrscimo de 4 unidades, e as razes falsas, 5, 6 e 7, so justamente 1, 2 e 3,
j que houve uma diminuio de 4 unidades.
23



Destacamos, no contexto desta discusso, o que podemos considerar como a primeira
referncia feita por Descartes s quantidades consideradas por ele como imaginrias:

Nem todas as razes verdadeiras e nem as falsas so sempre reais; s vezes
elas so imaginrias; ou seja, enquanto ns podemos sempre conceber a
quantidade de razes de uma equao como eu tinha atribudo, ainda assim
nem sempre existe uma quantidade definida que corresponda a cada raiz
obtida. Logo, mesmo concebendo que a equao 0 10 13 6
2 3
= + x x x
tenha trs razes, ainda que s exista uma raiz real, 2, as outras duas, embora
ns possamos som-las, diminu-las ou multiplic-las de acordo com as
regras estabelecidas, permanecero sempre imaginrias.
24



O termo imaginrios foi utilizado por Descartes em outras situaes para traduzir a
impossibilidade de uma representao geomtrica para as equaes. Em seu livro, ele tambm
faz referncias s equaes cbicas e ao mtodo de resoluo de Cardano:

Alm disso, deveria ser comentado que este mtodo de expressar as razes
atravs de relaes com os lados de certos cubos cujos contedos sejam
conhecidos no mais claro ou mais simples que o mtodo de express-las
por meio de relaes envolvendo arcos ou pores de crculo, quando seu
triplo conhecido. E as razes das equaes cbicas que no podem ser
resolvidas pelo mtodo de Cardano podem ser expressas to claramente
quanto qualquer outra, ou mais claramente do que outras pelo mtodo dado
aqui. Por exemplo, considerando dada a raiz da equao p qz z + =
3
,
sabemos que ela a soma de duas linhas em que cada uma o lado de um
cubo cujo volume
q
2
1
somado ao lado de um quadrado cuja rea

23
Descartes,R. The Geometry of Rene Descartes, New York: Dover Publications, 1954. p 167.
24
Descartes,R. The Geometry of Rene Descartes, New York: Dover Publications, 1954. p 175.

42
3 2
27
1
4
1
p q
, e a outra o lado de um outro cubo cujo volume a diferena
entre
q
2
1
e o lado de um quadrado cuja rea
3 2
27
1
4
1
p q
, o que representa a
determinao das razes como no mtodo de Cardano. No h dvida que o
valor da raiz da equao p qz z + =
3
tambm conhecido e claramente
concebido quando considerado como o comprimento de uma corda inscrita
em um crculo de raio
P
3
1
e subentendendo um arco que um tero do
arco subentendido pela corda de comprimento
p
q 3
. Esses termos so menos
complicados do que os outros e eles poderiam ser muito mais concisos
utilizando smbolos particulares que os expressassem, como o smbolo
3

usado para representar o lado de um cubo (...) porque, pela sua natureza,
essas razes no podem ser expressas em termos simples e nem podem ser
determinadas por nenhuma construo que seja ao mesmo tempo mais fcil e
mais geral.
25



Descartes j havia mostrado, atravs da trisseco de um ngulo e de meias proporcionais,
como obter geometricamente a soluo da equao q z z + = 3
3
, em que so utilizados um crculo da
raio unitrio e uma corda de medida q . Tambm tinha enunciado algumas conjecturas que relacionam
o discriminante da frmula apresentada por Cardano e a possibilidade desta construo.
A influncia de Descartes sobre seus contemporneos foi bastante significativa na
Frana e os nmeros batizados por ele de imaginrios ficaram conhecidos deste modo
durante o desenvolvimento dos estudos de lgebra e anlise realizado pelos sucessores de
Descartes. Na poca de que tratamos aqui j estava bastante claro que estes nmeros no
podem ser descartados, ainda que no se tenha definio precisa ou uma representao deles
como entes matemticos plenamente legtimos.
O sculo XVII o palco de uma verdadeira exploso na matemtica: o estudo da
geometria pura cede espao para o estudo de outras geometrias; a aritmtica se enriquece com
numerosos resultados e a sua transio para a lgebra facilitada pelo estudo de frmulas
vlidas para nmeros arbitrrios e pela pesquisa de solues gerais, trazendo como resultado a
valorizao da linguagem simblica. A forma como as equaes so tratadas, fazendo variar
os termos desconhecidos ou os outros termos da equao, e a maneira de represent-las
atravs de figuras colocam em evidncia uma correspondncia entre objetos algbricos e
geomtricos que ir culminar com a noo de funo e os estudos relacionados s sries e ao
clculo diferencial e integral. No entanto, muitas destas inovaes no eram apoiadas em
demonstraes consideradas rigorosas pelos matemticos do sculo seguinte, que tentaram

25
Descartes,R. The Geometry of Ren Descartes, New York: Dover Publications, 1954, p 215-216.

43
ento fundar estas teorias sobre novas bases, o que abriu caminho tambm para uma novo
tratamento dos nmeros imaginrios.
Segundo D. Flament
26
, trs campos de pesquisa parecem importantes para se obter
uma imagem precisa sobre a insero dos nmeros imaginrios nos clculos matemticos e
sobre o progresso que a sua utilizao permitiu realizar. Cada um dos trs campos,
apresentados a seguir, possui suas dificuldades particulares:

1- Tentativas para banir os imaginrios dos resultados
Expresses do tipo
n n
b a b a + + no so novas neste momento, pois os
italianos do sculo XVI j procuravam calcular expresses deste tipo para o caso de 3 = n .
Foi de fato atravs da resoluo de uma equao de terceiro grau, que resultava no caso
irredutvel de Cardano, que Bombelli chegou expresso 4 121 2 121 2
3 3
= + + .
difcil de acreditar, levando em considerao o mtodo de resoluo desta equao utilizado
na poca, que ele tenha chegado a essa expresso sem ter a prvia certeza de que 4 uma raiz
da equao.
Um estudo mais sistemtico destas frmulas foi promovido por Leibniz que, em 1675,
em uma carta endereada Huygens, comunica suas pesquisas e a curiosa relao:
6 3 1 3 1 = + + . Huygens, em sua resposta, demonstra uma familiaridade j
avanada em relao a esses problemas, ao mesmo tempo em que demonstra certa averso aos
nmeros imaginrios, comentando que existia algo escondido dentro desta expresso que
continuava incompreensvel. Leibniz qualifica os nmeros imaginrios como um recurso
elegante e maravilhoso para a inteligncia humana, um nascimento contra-natura no campo
do pensamento, quase um anfbio entre o ser e o no ser. (Collete, 1979, p.131). Vemos
assim, que Leibniz no rejeita os nmeros imaginrios contidos nas expresses que utiliza,
mas isto no impede que ele ache que seria mais cmodo retirar desses nmeros no
interpretveis o direito de figurar em uma lgebra rigorosa e de compreenso universal. Ele
afirma ter conseguido livrar essas expresses reais de seu carter de irrealidade, empregando
um mtodo sobre o desenvolvimento de sries. No nos estenderemos sobre este mtodo, pois
fugiramos do escopo deste trabalho.
O nome de Abraham de Moivre certamente um dos mais importantes no estudo das
expresses citadas acima. Moivre nasceu na Frana no ano de 1667, mas aps a revogao do
dito de Nantes buscou refgio em Londres. Devemos a ele a frmula que leva seu nome e

26
Histoire des nombres complexes, Entre algbre et gomtrie, CNRS ditions, Paris 2003.

44
que permite resolver com uma plena generalidade e uma perfeita elegncia
27
, uma questo
fundamental da teoria das funes trigonomtricas, a saber, o problema da multiplicao dos
arcos circulares.
Foi a partir de 1706 que de Moivre conseguiu estabelecer uma ligao entre as
expresses gerais, que faziam parte de sua proposta, e a diviso de um arco de crculo. Ele
demonstra que estas expresses esto relacionadas diviso de um arco de crculo em n
partes iguais. Podemos encontrar estes clculos nas Transactions philosophiques da Royal
Academy de Londres, em que Moivre determina a soluo de uma equao de grau mpar:
Para n mpar, a equao a ny
nn nn
ny
nn
ny = +

+

+ ...
5 . 4
9
.
3 . 2
1
3 . 2
1
5 3
admite como
soluo
n
n
a aa
a aa y
+ +
+ + =
1
2
1
1
2
1
. Como exemplo, ele utilizou a equao do
quinto grau 4 16 20 5
5 3
= + + y y y . Neste caso, temos que 5 = n e 4 = a , logo a raiz da
equao seria apresentada pela frmula:
5
5
4 17
2
1
4 17
2
1
+
+ = y .
Moivre utiliza uma tbua de logaritmos e efetua algumas operaes para estimar um
valor para a raiz quinta em questo e conclui que 4313 , 0 = y uma soluo aproximada para
a equao dada. No caso em que os termos da equao so alternadamente positivos e
negativos, a soluo dada por:
n
n
aa a
a aa y
1
2
1
1
2
1
+
+ + = .
Em um outro exemplo, Moivre resolveu a equao
64
61
16 20 5
5 3
= + y y y , em que
5 = n . Pela soluo sugerida teramos
5 5
4096
375
64
61
2
1
4096
375
64
61
2
1
+

+ = y , que fariam
aparecer quantidades imaginrias. Neste momento, ele afirma que, se os clculos forem
difceis com a tabela de logaritmos, podemos utilizar a tabela de senos da seguinte maneira:

27
Flament, D. Histoire des nombres complexes, Entre algbre et gomtrie, CNRS ditions, Paris 2003, p.48.

45
953125 , 0
64
61
= = a , que equivale ao seno de 72 23, logo a sua quinta parte vale
aproximadamente 14 28, cujo seno 0,24982 que aproximadamente
4
1
, soluo exata da
equao.
Neste procedimento, ele no justifica explicitamente a validade da troca da tabela de
logaritmos pela tabela de senos, bem como no justifica o clculo da quinta parte da medida
do ngulo.
A partir dos exemplos citados, podemos perceber, nesta poca, como as tentativas de
burlar os clculos com as quantidades imaginrias foram de extrema importncia para que
outros resultados matemticos fossem encontrados. Atualmente, no encontramos
dificuldades em relacionar as quantidades imaginrias com relaes trigonomtricas, j que a
representao geomtrica destas quantidades j nos familiar. Entretanto, historicamente, a
relao das quantidades imaginrias com as relaes trigonomtricas no passou pela
representao geomtrica dos nmeros imaginrios, que s foi desenvolvida no sculo XIX,
como veremos no captulo 3.
justo esclarecer que a idia desta relao no uma criao devida somente
Moivre. Vite, em seu Supplementum geometricae, publicado em 1590, j havia notado que o
caso irredutvel das equaes de terceiro grau estava relacionado trisseco do arco e que
todas as solues de uma dada equao cbica j haviam sido apresentadas por Girard. Vite
tambm j havia obtido uma frmula de multiplicao por n atravs de regras
trigonomtricas. Veremos que Moivre segue exatamente o processo inverso.
As pesquisas de Moivre, por volta de 1730, permitiram concluir um importante
resultado que o faria sair definitivamente do anonimato:
. . sin 1 . cos
2
1
. sin 1 . cos
2
1
cos
n n
nB nB nB nB B + + =
Outra realizao de suas pesquisas foi o estudo mais aprofundado das expresses
n
b a + , que o permitiu enunciar um resultado ainda mais importante. Em 1738, em uma
carta endereada a W. Jones, ele declara que estas expresses admitem n valores, todos da
forma 1 + q p , em que p e q so nmeros reais. Este resultado se baseia na demonstrao
da expresso particular
n
a a . sin 1 . cos + , em que os n valores so obtidos atravs da
diviso do arco a e dos arcos kC a + (arcos que se diferenciam por um mltiplo da
circunferncia C).

46
Trabalhando sobre os casos irredutveis das equaes de terceiro grau, utilizando o
mtodo inventado por Leibniz para fazer desaparecer os nmeros imaginrios das expresses
n n
b a b a + + , F. Nicole, em seu artigo Sur le cas irrductible du troisime degr
28
, registra que surpreendente que uma grandeza real seja expressa por uma composio de
quantidades reais e imaginrias. Nicole verificou que era necessrio que essas quantidades
imaginrias fossem destrudas mutuamente durante os clculos. Em seu trabalho, os termos
falsas e verdadeiras, utilizados para qualificar as razes, j cediam lugar para os termos
negativas e positivas.
Nicole apresenta um mtodo com uma seqncia de resultados e corolrios que esto
diretamente relacionadas s solues de uma equao cbica do tipo 0
3
= + q px x ,
resolvida pelo mtodo de Cardano, visto no primeiro captulo.
Em seu corolrio I, mostra que, no caso de
2 3
4
1
27
1
q p = , a equao possuir razes
reais, das quais duas delas so iguais.
Em seu corolrio II, mostra que, no caso de
3
27
1
p ser menor que
2
4
1
q , a equao
possuir duas razes imaginrias.
E finalmente, em seu corolrio III, mostra que, no caso de
3
27
1
p ser maior que
2
4
1
q , a
equao possuir trs razes reais e todas diferentes entre si, embora elas apaream atravs de
uma forma imaginria, j que
3 2
27
1
4
1
p q uma quantidade imaginria.
Um importante resultado de seu trabalho foi mostrar que a quantidade
n n
b
a
b
a
|

\
|
+
|

\
|
+ 1 1 que envolve quantidades imaginrias, sendo n um nmero inteiro
ou fracionrio, positivo ou negativo, sempre resultar em uma quantidade real. Essa
explicao feita atravs do desenvolvimento de cada uma das parcelas da expresso acima,
em que:
( ) ( ) . 1 1 . .
3 . 2 . 1
) 2 ).( 1 .(
1 . .
2 . 1
) 1 .(
1 . .
1
1
3 2 1
etc
b
a n n n
b
a n n
b
a n
b
a
b
a
n n n n n
+ |

\
|
+ |

\
|
+ |

\
|
+ |

\
|
= |

\
|
+


e

28
Nicole,F., Mmoire de lHistorie de lAcadmie des Sciences de Paris, 1738, p.97.

47
( ) ( ) . 1 1 . .
3 . 2 . 1
) 2 ).( 1 .(
1 . .
2 . 1
) 1 .(
1 . .
1
1
3 2 1
etc
b
a n n n
b
a n n
b
a n
b
a
b
a
n n n n n
+ |

\
|
|

\
|
+ |

\
|
|

\
|
= |

\
|


29

A soma dessas duas expresses acima ser dada por:
. .
6 . 5 . 4 . 3 . 2 . 1
) 5 ).( 4 ).( 3 ).( 2 ).( 1 .(
.
4 . 3 . 2 . 1
) 3 ).( 2 ).( 1 .(
.
2 . 1
) 1 .(
. 2
6 4 2
|
|

\
|
+ |

\
|
|

\
|
+ |

\
|
|

\
|

etc
b
a n n n n n n
b
a n n n n
b
a n n
b
a
n n n n

Logo, a soma dessas expresses no ser afetada pelas quantidades imaginrias,
resultando em uma quantidade real. Ele segue dando exemplos de desenvolvimento quando n
inteiro positivo, negativo e fracionrio.
Este um bom exemplo para que possamos observar o tratamento dado aos
imaginrios pelos matemticos do sculo XVIII. A necessidade de demonstrao , na
verdade, uma necessidade de explicao, envolvendo a escrita simblica.
A escrita simblica, neste momento, difere pouco da utilizada por Descartes, porm
apresenta certas particularidades. O smbolo que representava igualdade ou d lugar
ao smbolo =. O smbolo que traduz a extrao de uma raiz ainda no est unificado,
podemos encontrar diversas maneiras de represent-lo. Descartes utiliza para a extrao de
raiz quadrada o mesmo smbolo utilizado atualmente, mas Nicole utiliza para a extrao da
raiz cbica o smbolo
3
a , que menos ambguo do que o a C. adotado por Descartes.
A expresso escrita em linguagem moderna como:
2
3
3 2
3
3 2
27
1
4
1
2
1
27
1
4
1
2
1
|
|

\
|
+ + p q q p q q
, era registrada da seguinte maneira:
2
3
3
3
3
27
1
4
1
2
1
27
1
4
1
2
1
(

\
|
+
(

\
|
+ p qq q p qq q .
A linha horizontal acima do nmero 2 significava que toda a expresso abaixo deveria
ser elevada ao quadrado. A utilizao de qq no lugar de
2
q deve-se escrita de Descartes e
Euler. O termo
3 . 2 . 1
) 2 ).( 1 .( n n n
, por exemplo, era expresso por
3 . 2 . 1
2 1 n n n
, cujo
numerador representa o produto dos trs nmeros consecutivos n , 1 n e 2 n . A ausncia
de parntesis poderia gerar outra interpretao, j que poderamos calcular 1 n n como
n n
2
ou como sendo . 1
2
n
Atualmente, no consideraramos as explicaes de F. Nicole como demonstraes
universais. A afirmao de que a quantidade
n n
b
a
b
a
|

\
|
+
|

\
|
+ 1 1 real apresentada

29
As expresses citadas esto em linguagem atual. Exibiremos em breve a simbologia utilizada nesta poca.

48
como uma generalizao da ausncia de quantidades imaginrias nos primeiros termos da
seqncia obtida aps a soma das duas expresses. Alguns anos mais tarde, Nicole, em um
trabalho apresentado Academia de Paris, demonstra a frmula
3 3 3
4 1 1 1 1 = + + .
Prosseguindo nosso objetivo de entender o tratamento dado aos imaginrios pelos
matemticos do sculo XVIII, passamos a analisar agora alguns resultados de Euler que esto
diretamente relacionados com o problema das solues gerais da soma de dois radicais
particulares. Em algumas notas de sua Introduo anlise infinitesimal, Euler apresenta
resultados que, embora estejam diretamente ligados frmula de Moivre, esclarece como
devem ser utilizadas as quantidades imaginrias. Um exemplo pode ser visto na nota 132
desta mesma obra:

De ( ) ( ) 1 . cos . sin
2 2
= + z z , decompondo em fatores temos
( )( ) 1 . sin 1 . cos . sin 1 . cos = + z z z z .

Esses fatores, apesar de imaginrios, so de grande utilidade na combinao
e na multiplicao de arcos. De fato, fazendo o produto dos fatores

( )( ) y y z z . sin 1 . cos . sin 1 . cos + + , encontraremos:

( ) 1 . cos . . sin . sin . . cos . sin . . sin . cos . . cos + + z y z y z y z y , mas como

( ) z y z y z y + = . cos . sin . . sin . cos . . cos e
( ) z y z y z y + = + . sin . cos . . sin . sin . . cos

obteremos este produto:

( )( ) ( ) ( ) z y z y z z y y + + + = + . sin 1 . cos . sin 1 . cos . sin 1 . cos .

Analogamente:

( )( ) ( ) ( ) z y z y z z y y + + = . sin 1 . cos . sin 1 . cos . sin 1 . cos .

Da mesma forma que:

( )( )( ) z z y y x x . sin 1 . cos . sin 1 . cos . sin 1 . cos
( ) ( ) z y x z y x + + + + = . sin 1 . cos .

Euler fornece, assim, um enunciado da frmula, mas h em sua exposio uma clareza
superior explicao de F. Nicole. Podemos constatar com nitidez, no desenvolvimento de
Euler, a forte ligao entre as extraes de razes de quantidades imaginrias e arcos de
crculos. Novos resultados aparecero e acrescentaro aos estudos j realizados, mas no
modificaro estes resultados.

49

2- Tentativas para decompor toda frao em elementos simples

Os matemticos rabes e Hindus, ao buscarem relaes entre o grau de uma equao e
o nmero de suas razes, j tratavam dos problemas de decomposio de uma equao em
fatores simples. Na Itlia do sculo XVI, encontramos estudos que apresentam um interesse
por assunto, pois para Cardano as equaes cbicas poderiam possuir trs razes, assim como
para Ferrari. Bombelli, com suas razes sofisticadas, fornece uma base mais slida para as
constataes de seus contemporneos. Vite apresentou a construo de uma equao do
quinto grau a partir de suas cinco razes.
Com o conhecimento das equaes cannicas de Harriot, que so obtidas a partir de
produtos de fatores de primeiro grau da forma b a , j se apresentava um mtodo em que se
podia reconhecer que uma equao de terceiro ou de quarto grau admitiria trs ou quatro
razes, embora seja importante relembrar que Harriot recusava as razes negativas. Girard foi
mais audacioso quando apresentou os nmeros inexplicveis, ao enunciar que uma equao
de grau n possui necessariamente n razes. Quando ele encontrava um nmero de razes
menor que o grau da equao, ou ele repetia razes j encontradas (apresentando o que
atualmente definimos como multiplicidade de uma raiz) ou ele acrescentava tantas razes
impossveis quantas fossem necessrias, de modo que seu enunciado no perdesse o carter
de generalidade. Descartes no acrescentou muito em afirmar que uma equao de grau n
poderia admitir no mximo n razes, entretanto sua contribuio foi notria quando
relacionava o nmero de razes de uma equao aos sinais dos seus termos.
As pesquisas tentaram demonstrar justamente que toda equao algbrica poderia ser
resolvida atravs de mtodos de radicais. O matemtico Noruegus Niels Henrik Abel (1802-
1829) mostrou que este tipo de resoluo geral no poderia exceder s equaes de quarto
grau.
As contribuies de Leibniz e Jean Bernoullli para a integrao de funes racionais,
decompondo-as em elementos simples, foi o primeiro passo para o estudo de novos
problemas. Eles ampliaram para as quantidades imaginrias as regras demonstradas, no
clculo integral, para os nmeros reais. Assim, estes estudos deveriam conduzir naturalmente
decomposio de uma funo racional inteira de varivel x em um produto de fatores de
primeiro grau da forma a x ou 1 b a x e os problemas de integrao colocariam o
problema dos logaritmos dos nmeros imaginrios.

50
Tomamos como exemplo a expresso
1
1
2
+ x
. Em uma primeira etapa chegamos
decomposio
|

\
|
+
+
i x i x i
1 1
log
2
1
, cuja primitiva ser x arctg. ou em um clculo formal
c
i x
i x
i
+
|

\
|
+

log
2
1
.
Nicolas Bernoulli recusou-se a admitir que uma funo racional inteira, com
coeficientes reais, pudesse ser representada por um produto de fatores de primeiro e de
segundo graus com coeficientes reais. Ele apresentou esta idia em carta a Euler que ficou
motivado a estudar o tema, admitindo que o teorema seria demonstrvel.
Uma primeira demonstrao completa deveu-se a Jean Le Rond dAlembert. Ela
pareceu to rigorosa na poca que o Teorema Fundamental da lgebra chegou a ser
conhecido como o Teorema de dAlembert. No entanto, Gauss apresentaria em seus
trabalhos em 1799, algumas objees ao trabalho de dAlembert. Do ponto de vista
aritmtico, esta demonstrao deveria ser justificada de uma maneira mais rigorosa, pois
dAlembert admitia, como trivial, o fato de que uma funo contnua, definida em um
intervalo fechado e limitado possua um valor mnimo em um de seus pontos.
Euler forneceu uma explicao um pouco diferente da fornecida por dAlembert. Em
sua obra Introduo anlise infinitesimal, que pode ser considerada como um estudo da
lgebra preliminar ao clculo diferencial e integral, encontramos algumas notas em que
podemos observar resultados e expresses importantes para a histria dos nmeros
imaginrios:
144. H comumente uma dificuldade de encontrar desta maneira os fatores
imaginrios; por esta razo apresento neste captulo, um mtodo particular,
atravs do qual poderemos encontrar, em muitos casos, os fatores simples
imaginrios. Sendo a natureza dos fatores simples imaginrios tal que o
produto entre dois deles seja real, ns os encontraremos todos, procurando os
fatores duplos, ou da forma rzz qz p + , que so reais, mas cujos fatores
simples sejam imaginrios; pois evidente que, conhecendo uma vez todos
os fatores duplos trinmios da forma rzz qz p + , que contm a funo
c z z z z &
4 3 2
+ + + + + , ns teremos ao mesmo tempo todos os fatores
imaginrios.

145. Logo o trinmio rzz qz p + ter fatores simples imaginrios se
qq pr > 4 , ou
1
2
<
pr
q
, mas como o seno e o cosseno dos ngulos so
menores que a unidade, a frmula rzz qz p + ter fatores simples
imaginrios se
pr
q
2
for igual ao seno ou ao cosseno de um ngulo

51
qualquer. Seja ento
cos
2
=
pr
q
, ou cos . 2 pr q = e o trinmio
rzz qz p + conter os fatores simples imaginrios, mas para no ser
atrapalhado por nenhum sinal de radical, escolhi a forma
qqzz pqz pp + cos . 2 , cujos fatores imaginrios sempre sero:
( ) sin 1 cos + p qz e ( ) sin 1 cos p qz . Vemos desta forma que
se 1 cos = , os dois fatores, pelo fato de 0 sin = , tornam-se iguais e
reais.

146. Considerando a funo inteira c z z z z &
4 3 2
+ + + + + , ns
conhecemos seus fatores simples imaginrios se determinarmos as letras p e
q com o ngulo , de forma que o trinmio qqzz pqz pp + cos . 2 seja o
fator da funo. Logo, teremos como fatores simples imaginrios
( ) sin 1 cos + p qz e ( ) sin 1 cos p qz . Conseqentemente a
funo proposta se reduzir a zero fazendo-se:
( ) sin 1 cos + =
q
p
z
e
( ) sin 1 cos =
q
p
z
. Esta dupla substituio vai gerar ento, duas
equaes atravs das quais poderemos determinar a frao
q
p
e o arco .

147. Mesmo que estas substituies que faremos para z paream difceis em
um primeiro momento... podemos resolv-la de forma eficaz, pois tendo
mostrado que ( ) n n
n
. sin 1 . cos sin 1 cos = , no precisaremos
mais escrever as frmulas seguintes para as diferentes potncias de z:

Para o primeiro fator Para o segundo fator

( ) sin 1 cos + =
q
p
z

( ) sin 1 cos =
q
p
z


( ) 2 . sin 1 2 . cos
2
2
2
+ =
q
p
z

( ) 2 . sin 1 2 . cos
2
2
2
=
q
p
z


( ) 3 . sin 1 3 . cos
3
3
3
+ =
q
p
z

( ) 3 . sin 1 3 . cos
3
3
3
=
q
p
z

&c &c

Faamos para abreviar,
r
q
p
=
. Ns teremos aps as devidas
substituies, as duas equaes seguintes:

+ + + +
+ + + +
=
. 3 sin 2 sin 1 sin 1
3 cos . 2 cos . cos .
0
3 2
3 2
etc r r r
etc r r r


e

+
+ + + +
=
. 3 sin 2 sin 1 sin 1
3 cos . 2 cos . cos .
0
3 2
3 2
etc r r r
etc r r r


.


52

148- Se somarmos estas duas equaes, ou se subtrairmos uma da outra e
dividirmos este resultado por 1 2 , obteremos estas duas equaes reais:
. 3 cos . 2 cos . cos . 0
3 2
etc r r r + + + + =
e
etc r r r + + + = 3 sin . 2 sin . sin . 0
3 2
que podemos deduzir imediatamente
da funo proposta c z z z z &
4 3 2
+ + + + + , fazendo inicialmente para
cada potncia de z, n r z
n n
. cos = , e em seguida n r z
n n
. sin = .


O sculo XVIII apresentou uma intensa atividade em torno da forma do imaginrio.
Uma primeira apresentao deste resultado pode ser encontrada em 1747, na obra de
dAlembert em sua dissertao sobre os ventos
30
. No artigo 79, ele afirma que uma
quantidade qualquer composta de tantos imaginrios quanto desejarmos pode ser reduzida
forma 1 + B A com A e B quantidades reais; de tal maneira que se a quantidade proposta
for real, isto significa que . 0 = B
Em seguida so apresentados os resultados:
1.
; 1
1
1
+ =
+
+
B A
h g
b a

2. ; 1 ] 1 [
1
+ = +
+
B A b a
h g

3. 1 ) 1 ( 1 + = + + B A g b a e que 1 ) 1 ( 1 + = + + B A g b a ;

Euler aborda esta temtica em sua obra Recherces sur les racines imaginaires des
quations (1749) apresentando diversos teoremas e corolrios, dos quais ressaltamos o
teorema XII que afirma que toda frao formada por adio, subtrao, multiplicao ou por
diviso, envolvendo quantidades imaginrias quaisquer da forma 1 + N M , ter a mesma
forma 1 + N M , em que as letras M e N representam quantidades reais.
Deste teorema decorre o corolrio III, que diz que a forma geral 1 + N M
compreende todas as quantidades reais quando considerado . 0 = N Deste modo, as quatro
operaes mencionadas anteriormente atendem no somente aos imaginrios da forma
1 + N M , mas tambm aos nmeros reais.
DAlembert registra em 1784 na Encyclopdie Mthodique, a importncia de seu
prprio trabalho, nos artigos denominados quation e Imaginaire. No primeiro, ele
afirmou ter sido o primeiro a demonstrar que haveria de fato sempre uma quantidade, sendo
ela real ou igual a 1 + n m com m e n sendo reais, e m podendo ser igual a zero. No

30
DALEMBERT, Jean Le Rond. Rflexions sur la cause gnrale des vents. Paris, 1747.

53
segundo artigo, ele ressaltou a importncia de ter sido o pioneiro em demonstrar que qualquer
quantidade imaginria, tomada vontade, poderia sempre ser reduzida forma 1 + f e ,
com e e f sendo quantidades reais. Afirmou tambm que Euler, alguns anos aps,
demonstrou esta mesma proposio, sem que existisse diferena significativa da sua e indica
as pginas das obras em que as duas demonstraes se encontram, no caso de alguma dvida.
No caso do resultado que afirma que toda raiz imaginria de uma equao qualquer pode ser
reduzida forma 1 + f e , com e e f sendo quantidades reais, dAlembert chamou
ateno para o fato de que a demonstrao apresentada por Euler, diferiria totalmente da
apresentada por ele mesmo.
Embora as realizaes de dAlembert e de Euler tenham sido de extrema relevncia,
nem todos os problemas sobre a forma dos imaginrios estavam resolvidos. Citamos como
exemplo o artigo Sobre a forma das razes imaginrias das equaes (1772), em que Joseph-
Louis de Lagrange retorna ao estudo deste tema, classificando as demonstraes de
dAlembert como engenhosas, embora necessitassem de um carter mais rigoroso e de maior
generalidade.
Os trabalhos de Gauss viriam fornecer maiores esclarecimentos acerca deste tema,
mas dificuldades de outra natureza ainda existiam. Outras reflexes sobre a forma 1 + N M
seriam exploradas por Jean-Robert Argand que conserva a forma
1
1 1

+ + c b a para
designar uma reta orientada em um espao de trs dimenses, enquanto esta forma seria
redutvel forma genrica 1 + N M , como veremos adiante, associada ento, a um
segmento orientado no plano.
Temos ento que, todos os estudos que relacionavam o grau de uma equao
polinomial e suas razes esbarravam necessariamente no fato de escrev-la atravs de fatores
simples. Para isso, foram indispensveis conjecturas a respeito dos nmeros imaginrios e de
sua forma genrica. Notrio foi o avano nesta direo, embora as tentativas de utilizar, para
estas quantidades, regras j conhecidas para os reais, culminaram algumas falhas que
demonstraram que o percurso legitimidade ainda deveria ser trilhado.
O estudo da decomposio de uma frao em elementos simples vai ao encontro do
desenvolvimento da teoria dos logaritmos, que provocar o interesse em estender a concepo
dos logaritmos para os nmeros negativos e imaginrios, como veremos a seguir.




54

3- Tentativas de generalizao dos logaritmos

John Napier (1550-1617), um lorde escocs admirador da matemtica, j havia
demonstrado, em fragmentos de uma obra publicada aps a sua morte, interesse pelos
nmeros imaginrios. Muitos ressentem que Napier tenha interrompido seus trabalhos, j
que provavelmente se questionaria sobre os logaritmos de nmeros negativos, embora no
fossem encontrados em seus trabalhos indcios de que seu pensamento seria conduzido para
uma correta interpretao dos nmeros imaginrios.
O primeiro registro de aluso direta aos logaritmos de um nmero imaginrio foi uma
carta escrita por Leibniz, endereada a Jean Bernoulli, em 1702. Leibniz j tinha indicado
anteriormente que os nmeros imaginrios introduziriam uma relao entre a quadratura do
crculo, da hiprbole e de suas respectivas partes.
Atribumos a Jean Bernoulli resultados importantes como a relao entre arcos de
crculos e logaritmos de nmeros imaginrios e a determinao de uma expresso para a
tangente de um mltiplo de arco a partir da tangente do prprio arco.
Houve diversas descobertas consecutivas neste perodo, que deram a impresso
equivocada de que a teoria dos logaritmos dos nmeros complexos estava consolidada.
Ainda seriam necessrias algumas dcadas para que esta teoria formasse bases slidas,
fornecidas atravs dos trabalhos de Euler.
Alguns resultados devem ser destacados, pois geraram controvrsias e dificuldades a
respeito deste tema. Obviamente estes resultados, independentes de estarem corretos ou no,
impulsionaram o desenvolvimento do pensamento dos matemticos da poca, culminando
em uma teoria bem fundamentada que nos acompanha at os dias de hoje.
O problema de clculo j apresentado no item 2 anterior nos leva primitiva da frao
1
1
2
+ x
, apresentada no clculo formal por
c
i x
i x
i
+
|

\
|
+

log
2
1
ou x arctg. . Efetuando as duas
mudanas de variveis citadas abaixo:
2
.
y
x arctg = e t
y
tg =
2

obteremos
i t
i t
i
y
+

= log
2
1
2
ou
i t
i t
yi
+

= log
ou ainda
1
1 2
log
2
2
+

=
t
it t
yi

55
o que nos d finalmente: ( ) [ ] x i x xi . sin . cos log + = .
O sinal da quantidade do logaritmo que est entre colchetes foi a primeira
dificuldade que originou a divergncia entre Leibniz e Bernoulli. Partindo do fato que
( ) 0 1 log = + , Bernoulli conclui:
( ) ( ) ( ) 0 1 log 2 1 log 1 log
2
= = = , ou seja, ( ) 0 1 log = .
( ) ( ) ( ) 0 1 log
2
1
1 log 1 log 2
1
= = = , ou seja, ( ) 0 1 log = .
Desta forma, ele enuncia que todo nmero negativo possui um logaritmo real, sendo
ele o mesmo de seu valor absoluto. Esta falsa concluso pode ser expressa em linguagem
matemtica por:
( ) ( ) ( ) ( ) ( ) ( ) ( ). log log log . 2 log . 2 log log
2 2 2 2
a a a a a a a a = = = =
O que sustentava a idia de que um nmero e seu oposto possuem o mesmo logaritmo.
Este enunciado no poderia ser considerado como um absurdo ou como um erro cuja origem
pudesse ser facilmente observada, sobretudo que ele conservaria a caracterstica unvoca do
logaritmo.
Euler, atravs de uma carta enviada a Bernoulli em 1728, evidencia a contradio e
sugere que ele desconsidere a caracterstica unvoca do logaritmo. Euler apontava para o fato
de que todos os nmeros deveriam admitir uma infinidade de logaritmos. Para que fique
notria a diferena dos autores citados em relao aos seus resultados sobre os logaritmos,
destacamos que Bernoulli em outra carta enviada anteriormente a Euler, ao se questionar
sobre o valor da frmula ( )
x
y 1 = , apresenta o seguinte desenvolvimento:
I- ( )
x
n y =
II- ( ) n x y = . log . log e derivando:
III- ( ) n dx
y
dy
= . log .
IV- Para ( ) ( ) [ ] n n + = . log . log , ele se apoiou no fato seguinte:
( ) ( ), log log z d
z
dz
z
dz
z d =
+
=

= ento ( ) ( ). log log z z =

Tendo esse resultado em mos e feita a substituio ( ) n . log por ( ) n . log na relao
III e, posteriormente, fazendo a integrao, ele obteve a igualdade ( ) n x y . log . log = . Da
obteve
x
n y = que no caso em que 1 = n resulta em 1 1 =
x
, que o permitiu concluir que . 1 = y

56
O desenvolvimento do estudo dos nmeros imaginrios muito se deveu s
controvrsias entre Leibniz e Bernoulli, depois entre Bernoulli e Euler, e posteriormente entre
Euler e dAlembert. Elas chamaram ateno tambm para o estudo de outras funes.
Aps mtodos antigos que utilizavam comparaes de progresses aritmticas e
geomtricas, o estudo da funo exponencial realizado principalmente por Wallis, Newton e J.
Bernoulli revelou que a funo logartmica seria a inversa desta nova funo, cujas
propriedades eram mais simples.
A aplicao das exponenciais sobre os nmeros imaginrios, j poderia ser observada
em 1740 em algumas notas do trabalho de Euler. Na nota 133 de sua obra Introduo
anlise infinitesimal (1748), ele parte do resultado ( ) nz nz z z
n
. sin 1 . cos sin 1 cos = e
obtm as seguintes igualdades que podem ser verificadas sem maiores problemas:

( ) ( )
2
sin 1 cos sin 1 cos
. cos
n n
z z z z
nz
+ +
=

( ) ( )
1 2
sin 1 cos sin 1 cos
. sin

+
=
n n
z z z z
nz
A partir deste resultado, em sua nota 138, considerando o arco z infinitamente
pequeno, e n um nmero infinitamente grande i , de modo a obter para iz um valor finito ,
teremos ento = iz e
i
z

= e, conseqentemente, substituindo
i
z

= sin e 1 . cos = z nas
igualdades citadas acima, teremos:

2
1
1
1
1
cos
i i
i i
|
|

\
|

+
|
|

\
|

+
=

e
1 2
1
1
1
1
sin

|
|

\
|


|
|

\
|

+
=
i i
i i

.
Vejamos como Euler apresentou um importante resultado relacionando as quantidades
exponenciais imaginrias ao seno e ao cosseno de arcos reais. De resultado anterior, temos
que
z
i
e
i
z
=
|

\
|
+ 1 . Considerando 1 = z e 1 = z , obtemos
1
1
1

=
|
|

\
|

+

e
i
i
e
1
1
1

=
|
|

\
|

e
i
i
respectivamente. Com as devidas substituies, chegamos s
igualdades:

57

2
cos
1 1
+
=

e e
e
1 2
sin
1 1

e e
e, por conseguinte:

sin 1 cos
1
+ =

e e

sin 1 cos
1
=

e .

Com esses resultados, podemos retornar controvrsia gerada em relao aos
logaritmos de nmeros negativos. Durante os anos de 1747 e 1748, Euler remeteu a
dAlembert diversas cartas que sustentavam que os nmeros negativos no possuam
logaritmos reais, como pensavam dAlembert e Bernoulli. Sua objeo em relao teoria de
dAlembert se baseava no fato de que e na equao
x
e y = poderia assumir um valor positivo
e negativo. Euler afirma que, se e assumisse o valor da expresso .
3 . 2 . 1
1
2 . 1
1
2
1
1 etc + + + + , x
seria o logaritmo hiperblico do nmero y e seria impossvel encontrar um valor para x tal
que
x
e fosse negativo. Isto faz com que ele considere que os logaritmos de nmeros negativos
devem ser impossveis.
Esta denominao impossvel, dada por Euler aos logaritmos dos nmeros
negativos, remete denominao dos nmeros imaginrios. Esta observao pode ser notada
em sua obra Vollstndige Anleitung zur lgebra (1769) onde encontramos as seguintes
citaes:

Uma vez que todos os nmeros que so possveis de imaginar so, ou
maiores ou menores que 0, ou so o prprio 0, claro que no podemos
incluir a raiz quadrada de um nmero negativo entre os nmeros possveis,
ento necessrio dizer que uma quantidade impossvel. desta forma que
ns somos conduzidos idia de nmeros que pela sua prpria natureza so
impossveis. Ns nominamos ordinariamente estes nmeros de quantidades
imaginrias porque eles existem puramente na imaginao.

...Os nmeros 1, 2, 3, 4, 5, 6, etc., ou seja, todos os nmeros positivos, so
logaritmos da raiz a (inteira natural 1) e de suas potncias, e por
conseguinte, logaritmos de nmeros maiores que a unidade. Contrariamente,
os nmeros negativos como -1, -2, etc., so os logaritmos das fraes
a
1
,
a a.
1
, etc. que so menores que a unidade, entretanto so ainda maiores que
nada. Segue ento que, se o logaritmo positivo, o nmero sempre maior
que a unidade, mas se o logaritmo negativo, o nmero sempre menor que
1, e portanto maior que zero. Por conseguinte, no saberamos indicar os
logaritmos de nmeros negativos, e necessrio concluir que os logaritmos
de nmeros negativos so impossveis, e que eles pertencem classe das
quantidades imaginrias.


58

Utilizando os resultados de Euler e a linguagem conhecida atualmente, teramos que

sen i e
i
. cos + = , ou seja, 1 =
i
e o que significaria escrever que ( ) i . 1 ln = , logo os
logaritmos de nmeros negativos no seriam reais, como havia suposto dAlembert e
Bernoulli, e sim quantidades imaginrias. Devido aos seus estudos, Euler tambm ressalta que
os nmeros positivos e negativos possuem uma infinidade de logaritmos e, no caso dos
positivos, apenas um real. Devemos a Euler uma srie de resultados na forma 1 + q p ,
envolvendo expresses como ( ) 1 . sin + b a , ( ) 1 . cos + b a e ( ) 1 . + b a tg , alm de uma
teoria dos logaritmos muito prxima da que conhecemos atualmente.
***

Os trs campos de estudo que citamos, nos ajudam a perceber como os nmeros
imaginrios, embora no tenham sido o objeto principal de estudo neste perodo,
participaram do desenvolvimento de novas teorias matemticas que pretendiam fundar esta
cincia sobre bases mais slidas.
Durante este captulo, destacamos as caractersticas principais do que se conhecia
sobre os nmeros imaginrios. As dificuldades encontradas pelos matemticos nesta poca,
inclusive alguns equvocos, demonstram que a inexatido ou a incompletude de muitos
resultados podem representar um aspecto positivo que implica em reflexes necessrias para o
desenvolvimento de uma nova teoria.
A presena destas quantidades anteriormente ditas sofisticadas na decomposio de
funes racionais em elementos simples favoreceu o estudo de relaes entre equaes
polinomiais e suas razes, o clculo de primitivas e o desenvolvimento da teoria dos
logaritmos. Temos a um bom exemplo de que estas quantidades j possuam um espao no
desenvolvimento da matemtica.
Todavia, faltavam ainda a estes nmeros regras prprias e o carter de entes
matemticos sobre os quais novos clculos pudessem ser realizados. O nome de
imaginrios, atribudo a estes nmeros, caracteriza bem o contexto matemtico no qual
esto inseridos at este momento.
Veremos no captulo seguinte como a busca de uma representao geomtrica
constituiu um momento decisivo para a histria destas quantidades ditas imaginrias, antes
que elas fossem concebidas como nmeros complexos. Este estudo, no final do sculo
XVIII e no incio do sculo XIX, mostrar que a investigao do estatuto destes nmeros foi

59
um problema para os matemticos durante dois sculos, antes da criao da anlise vetorial e,
conseqentemente, da elaborao de novas regras que fornecero a estas quantidades o
estatuto de nmeros.




















60
Captulo III A representao geomtrica
dos nmeros imaginrios

Desde os gregos, o critrio de existncia para as entidades algbricas era dado a partir
de sua representao geomtrica. As solues para problemas que atualmente seriam obtidas
pela resoluo de equaes correspondiam a segmentos de reta obtidos por construes
geomtricas.
Durante o desenvolvimento da lgebra, desde a cultura rabe at a europia na Idade
Mdia, nmeros como os irracionais, mesmo associados relao entre grandezas, apareciam
na resoluo de equaes, mas ainda no possuam sentido geomtrico. Como vimos, os
nmeros negativos e suas razes quadradas, ainda que presentes na resoluo de equaes, no
eram admitidos como soluo, uma vez que ainda no possuam um estatuto definido. A
legitimao destes nmeros como entidades matemticas aceitveis passa necessariamente
pela compreenso de sua natureza, relacionada representao geomtrica. Neste captulo,
citaremos alguns matemticos e suas contribuies para a busca de uma representao
geomtrica para os nmeros imaginrios.
Uma anlise histrica deste assunto nos remete s diversas tentativas de representao
e suas dificuldades particulares.
Durante o sculo XVIII buscava-se uma forma lcita para representar da mesma
maneira grandezas geomtricas e aritmticas, tidas como objetos distintos. Um exemplo disto
o fato de que sinais distintos ( = e : :) eram utilizados para representar a igualdade entre
quantidades aritmticas e a igualdade entre razes geomtricas.
Descartes foi quem deu o primeiro passo para solucionar esta questo, introduzindo
uma nova maneira de utilizar a lgebra na demonstrao de problemas geomtricos. A obra de
Descartes proporcionou uma concepo analtica da geometria euclideana, fornecendo
recursos tanto para a demonstrao de antigos resultados, quanto para a descoberta de novos.
A utilizao de curvas especficas para a resoluo de novos problemas cede espao para a
utilizao de uma classe mais geral de curvas, as curvas algbricas. Esta generalizao se
traduziria no desejo de que toda construo geomtrica pudesse ser traduzida por frmulas.
Com esta nova sistematizao, a distncia entre a geometria e a lgebra comeou a diminuir.
Relembramos que certas solues de equaes algbricas denominadas falsas,
impossveis ou irredutveis no eram representadas por um desenho. Nestas condies,

61
surgem os questionamentos sobre as bases das construes matemticas e as primeiras
tentativas de representao dos nmeros imaginrios. A descoberta de uma representao
geomtrica para os nmeros imaginrios forneceria um carter homogneo lgebra.
John Wallis (1616-1703), professor de Geometria de Oxford foi o primeiro a admitir
uma construo geomtrica para razes imaginrias. Esta nova perspectiva constava em sua
obra Tratado de lgebra (1685), cap. LXVI (Vol. II, p.286) da verso em Latim e j havia
sido relatada em uma carta endereada a John Collins, datada em 6 de maio de 1673, na qual
sugere uma construo um pouco diferente das demais encontradas em seu livro.
Nesta carta, Wallis apresentou uma explicao de sua interpretao das razes
imaginrias como mdias proporcionais, inseridas no contexto da discusso de Cardano na
resoluo de equaes polinomiais. Inicialmente, ele fornece uma representao do fato de
que uma magnitude pode ser menos que nada. Considerando uma situao aplicada ao
movimento, supe que, se um homem avana de A para B, em linha reta, 5 jardas e ento
retorna de B para C 2 jardas, pergunta-se: quantas jardas ele avanou a partir de A at C?
Teremos ento (+ 5 2 = + 3), ou seja, ele teria avanado de A para C 3 jardas. No caso de
ele ter avanado 5 jardas de A para B e, ento, retornado 8 jardas em direo a D, temos que
(+ 5 8 = - 3), ou seja, ele avanou 3 jardas menos que nada. Com este exemplo, Wallis
afirma que 3 designaria o ponto D, assim como + 3 o ponto C, ambos sobre a mesma reta.
Estes argumentos, baseados em deslocamentos de avano e de recuo sobre uma reta,
so pouco inovadores, mas o ponto que o destaca de seus antecessores o fato de que ele
relata: agora, o que era admitido para retas, tambm deveria ser, pela mesma razo,
permitido para planos.
31

Os captulos LXVI de seu Tratado de lgebra possui diversos exemplos acerca deste
tema, dois quais destacamos os seguintes:

Por exemplo, supondo que em um lugar ganhemos sobre o mar 30 acres,
porm percamos em outro lugar 20 acres: se perguntarmos quantos acres
ganhamos ao todo a resposta ser 10 acres ou +10 (pois 30 20 =10).
32


Se, em seguida, perdermos ainda 20 acres, poderemos conceber a idia de um plano
negativo.

Mas agora (supondo certa superfcie negativa de -1600 perches
33
em forma
de quadrado) no verdade que este suposto quadrado tenha que ter um

31
Wallis, J. A Treatise of Algebra, London (1685), p.265
32
10 Acres equivalem a 1600 perches quadrados.
33
Unidade de medida de superfcie originada na Roma antiga.

62
lado? E mesmo assim, qual ser este lado? No podemos dizer que 40 nem
-40 (pois qualquer um deles multiplicado por ele mesmo resulta +1600 e no
-1600), podemos dizer ento que 1600 (a suposta raiz de um quadrado
negativo) ou (ainda equivalentemente) 16 10 , ou 4 20 , ou 1 40 . Em
que indica uma mdia proporcional entre uma quantidade positiva e uma
quantidade negativa. Assim como bc indica uma mdia proporcional entre
+b e +c; ou entre b e c; Logo bc representa uma mdia proporcional
entre +b e c, ou entre b e +c; que multiplicados resultam bc. O que para
uma considerao algbrica, a verdadeira noo de uma raiz imaginria,
bc .


Wallis exemplificou sua argumentao algbrica atravs de diversas construes
geomtricas, mostrando como algumas quantidades imaginrias poderiam ser representadas
como segmentos trigonomtricos. No captulo LXVII de sua obra, podemos observar como
ele representou geometricamente, atravs de exemplos, o valor algbrico bc .
Ele construiu um crculo cujo dimetro AC e tomou o ponto B seguido de A de
modo que AB = +b e considerou BC = +c, logo ele afirma que o dimetro AC = +AB + BC =
+ b + c e que a mdia proporcional, ou o seno do arco AP, BP = bc . Mas quando toma B
anterior a A, de modo que AB = - b, e a partir deste novo ponto B, temos BC = +c. Ele afirma
ento que o dimetro AC = - AB + BC = - b + c e que a mdia proporcional BP = bc agora
a tangente do mesmo arco AP do crculo dado (figura abaixo).

Aps este exemplo, Wallis segue com mais dois exemplos de construo geomtrica,
cujas solues seriam obtidas atravs da resoluo de equaes quadrticas. No primeiro
exemplo, as razes obtidas so reais e no segundo, imaginrias.

63
Mostramos, utilizando uma representao atual, como seriam interpretadas
geometricamente, as razes da equao quadrtica
. 0 , , 0 2
2 2
= + + c b c bx x
34
As
razes dessa equao so:
2 2
c b b x = , logo reais quando . c b Neste caso, as razes
poderiam ser interpretadas por pontos P
1
e P
2
sobre a reta real, determinados pela construo
representada abaixo.





Quando b < c, segmentos de comprimento b construdos a partir do ponto Q seriam
pequenos para alcanar a reta numrica, logo os pontos P
1
e P
2
no estariam sobre esta reta,
porm no mesmo plano. Esta situao seria representada da maneira abaixo:





34
No texto original as construes so feitas a partir da equao quadrtica 0 2
2
= + AE SA A , de forma que A e E so
linhas que representam as razes da equao, sendo
2
E A
S
+
=
. Neste caso, como S e AE so sempre positivos, no
podemos consider-las como uma construo geral das razes de uma equao quadrtica.

64
Em linguagem atual, P
1
e P
2
estariam associados s razes
2 2
b c i b
.
Aparentemente em sua proposta, Wallis continuava correspondendo os sinais + e aos
sentidos direita e esquerda.
Podemos notar que a representao acima, baseada nas idias de Wallis, no
corresponde s representaes atualmente utilizadas, j que no caso de b assumir valor 0,
teramos P
1
=P
2
, o que consequentemente nos levaria ao fato de que i i = .
Embora no tivesse resolvido o problema da representao geomtrica dos nmeros
imaginrios, as tentativas de Wallis despertaram o interesse nos matemticos em desvendar o
mistrio que envolvia esta questo.
O Noruegus Caspar Wessel (1745-1818) reconhecido como o primeiro a ter
apresentado a atual representao geomtrica para os nmeros complexos e suas regras de
composio. Seu trabalho, em dinamarqus, sobre este assunto foi apresentado ao Royal
Danish Academy of Sciences and Letters em 1797 e publicado apenas dois anos aps no jornal
da academia.
Muitos historiadores consideram Wessel como um gnio ignorado em sua poca. Com
formao modesta e distante da intensa atividade cientfica e das teorias matemticas
desenvolvidas no momento, apresentou, aos 52 anos, o trabalho que o faz ser lembrado at os
dias de hoje. Mas este trabalho foi esquecido durante um sculo e retornou ao conhecimento
dos matemticos graas tese de S.A.Christensen em 1895. Sua obra de extrema
importncia para a histria dos nmeros imaginrios, embora no tenha sido claramente
estudada.
A proposta de Wessel claramente exposta desde o incio, quando ele afirma que,
sabendo como a direo deve ser representada analiticamente e como so expressos os
segmentos de reta, atravs de uma relao entre um segmento desconhecido e outros
conhecidos, ele poderia encontrar uma expresso que representasse de uma s vez, o
comprimento e a direo do segmento desconhecido.
Sua proposta se baseia em uma considerao evidente de que a variao de direo
produzida por operaes algbricas tambm deveria ser representada por smbolos. Podemos
constatar que Wessel no pretendia isolar a lgebra da geometria. Sua atitude era mais
moderna, embora ela continuasse a ser, em grande parte, fiel ao esprito cartesiano. Para ele, a
geometria analtica era a aplicao da lgebra geometria.

65
A terminologia segmento utilizada por Wessel era usada para uma linha cuja direo
e grandeza eram conhecidas. Ele apresentou uma definio para a soma de dois segmentos,
como podemos visualizar na figura abaixo:

Podemos observar que, na soma de dois segmentos apresentada por Wessel,
encontramos as noes atuais de invarincia por translao e de segmentos eqipolentes,
embora a passagem de uma figura para a outra no tenha sido matematicamente definida.
Em relao soma de dois segmentos ele faz a seguinte citao:

Da mesma forma, quando um dos lados de um tringulo segue de a
para b e o segundo de b para c, dizemos que o terceiro, que segue de a para c
a soma destes dois outros, e designado por ab + bc, de forma que ac e ab
+ bc possuem o mesmo significado, ou que ac = ab + bc = - ba + bc, se ba
significa o segmento oposto a ab.
35



Ele apresenta, para a soma de dois segmentos, diversas propriedades que atualmente
estariam associadas associatividade, comutatividade, existncia do elemento simtrico e a
existncia do elemento neutro, dando soma uma estrutura de grupo. importante observar,
atravs deste exemplo, que ele mostra de maneira simples que as quantidades utilizadas
verificavam as mesmas relaes aplicadas adio de nmeros ordinrios.
Em seguida, ele apresenta a operao de multiplicao de segmentos. De incio, no h
muita diferena em relao ao trabalho j realizado por Descartes, mas restava ainda a dvida
de como seria apresentado, por exemplo, o produto (-1).(-1) = 1.
A multiplicao de dois segmentos era perfeitamente definida a partir da escolha de
uma unidade absoluta, o que seria representado por um segmento absoluto igual a 1. A
operao de multiplicao totalmente fundamentada nas noes geomtricas de semelhana,
como poderemos observar abaixo:

35
Wessel, C. Essai sur la reprsentation analytique de la direction, Paris, 1897. p.8

66


O produto dos segmentos OA e OB feito atravs da construo, a partir de OB, de
um tringulo OBC semelhante ao tringulo OUA, o que seria o mesmo que construir a partir
de OA um tringulo OAC semelhante ao tringulo OUB. Ambas as possibilidades nos
remetem ao fato que OC = OA.OB = OB.OA, o que mostra que independente dos segmentos
escolhidos, como diz Wessel, a multiplicao destes segmentos no depende da ordem em que
os tomamos, caracterizando o que atualmente conhecemos como comutatividade.
A partir desta construo, Wessel constata que o segmento OC pode ser determinado
da seguinte maneira:
1) A medida de seu comprimento o produto das medidas correspondentes aos
comprimentos dos segmentos OA e OB;
2) A direo pode ser obtida, em termos trigonomtricos, a partir da semi-reta Ou de
um ngulo igual soma dos ngulos que a mesma semi-reta determina com os segmentos OA
e OB.
Esta construo pode ser considerada mais simples do que a apresentada
anteriormente, porm no seria possvel obt-la independentemente da primeira e sem que
fossem feitas numerosas observaes.
O trabalho de Descartes, que mostra que o produto de um segmento por outro poderia
ser representado por um segmento e no necessariamente como a superfcie de um retngulo,
abre caminhos para se questionar, por exemplo, a representao geomtrica de a = -1, j que
seria inadmissvel pensarmos em superfcie negativa ou no lado de um quadrado com medida
igual a 1 .

67
O trecho descrito abaixo, traduzido de sua obra Essai sur la reprsentation
analytique de la direction (1897- p.9) nos ajudar a perceber como comprimento e direo
esto relacionados atravs de operaes algbricas devidamente indicadas por seus sinais.

Seja +1 a designao da unidade positiva retilnea e + uma outra
unidade perpendicular unidade positiva que possui a mesma origem; Ento
o ngulo da direo de +1 ser igual a 0, o de -1 a 180, o de + a 90 e o
de a -90 ou 270. Pela regra que o produto dos ngulos das direes deve
ser igual soma dos ngulos dos fatores, temos: (+1)(+1) = +1; (+1)(- 1) =
- 1; (- 1)(- 1) = +1; (+1)(+) = +; (+1)(- ) = - ; (- 1)(+) = - ; (- 1)(- )
= +; (+)(+) = - 1; (+)(- )= +1; (- )(- ) = - 1.
De onde temos que =
1
; e a divergncia do produto
determinada de tal maneira que nenhuma das regras comuns de operao
seja violada.

Podemos compreender a citao de Wessel atravs de uma figura, j bem prxima da
representao que possumos atualmente:


+


-



Atravs deste encaminhamento, uma conseqncia simples e importante pode ser
observada: ( ) ( ) 1 1
2
2
= = .
Ainda nesta obra, encontramos diversas contribuies como:
1) A representao do seno e do cosseno de arcos de crculo (lembrando que
nesta poca ainda no se fazia distino entre arco de crculo e ngulo)
e as relaes entre eles e as representaes das quantidades imaginrias;

2) O produto de dois segmentos indiretos unitrios que formam ngulos u e v
com a unidade absoluta pode ser escrito da forma cos(u + v) + .sin(u + v);

3) O estudo sobre a diviso e a extrao de razes de segmentos;

68

4) Uma representao da direo de um raio em uma esfera.

No de se estranhar que muitos tenham se surpreendido com o mtodo apresentado
por Wessel, pois ele atinge plenamente seus objetivos atravs de um mtodo que possibilitaria
realizar operaes consideradas impossveis, fornecendo uma liberdade nova s quantidades
imaginrias.
Adrien-Quentin Bue, um exilado padre catlico, no era considerado como um
matemtico profissional e, alm de suas publicaes relacionadas a tratados poltico-
religiosos, teve seu artigo Mmoire sur les quantits imaginaires, lido em 1805 e publicado
em 1806 pela Royal Society of London. Ele estabeleceu uma conexo entre dois conceitos
bsicos: o de comprimento e o de direo de um segmento, que eram sistematicamente
separados na Frana durante o sculo XVIII.
A importncia de seu trabalho est relacionada ao desenvolvimento do conceito de
nmeros negativos e representao grfica dos nmeros imaginrios. Nas primeiras pginas
de sua obra, Bue tenta estabelecer uma fronteira entre a aritmtica e a geometria.
Comentando sobre os sinais + e , ele registra algumas regras especficas. Como sinais
de operaes aritmticas, o primeiro indicaria adio e o segundo subtrao e, no aspecto
geomtrico, eles denotariam simplesmente orientaes opostas. Um exemplo que nos permite
visualizar como ele aplicava estas operaes aos objetos citado abaixo:

(...) ao descrever uma reta com um comprimento determinado, podemos
fazer duas coisas: 1) damos a esta linha comprimento; 2) damos a esta
linha uma orientao. A primeira destas operaes puramente aritmtica.
A segunda puramente geomtrica (...). Logo quando reunimos estas duas
operaes, fazemos realmente uma operao aritmtico-geomtrica.
36



Nesta citao fica evidente, assim como nos resultados de Wessel, que a representao
geomtrica das quantidades imaginrias no poderia pertencer exclusivamente geometria e
que seria necessrio trabalhar sobre seu aspecto aritmtico.
Os sinais de + e no estavam destinados unicamente a atender s regras. A
linguagem aritmtica que Bue procura introduzir possui um objetivo maior e, para atingir
este objetivo, ele alia a noo de quantidade qualidade.
Bue admitia que uma letra a precedida do sinal no poderia existir
isoladamente, ao passo que a precedida pelo sinal + era perfeitamente aceitvel. Ele

36
Bue, A. Mmoire sur les quantits imaginaires, Royal Society of London. 1805. p.24

69
afirmava que a primeira situao poderia ser prevista caso a segunda fosse previamente
definida. Um exemplo exposto pelo prprio autor revela que se + t indicasse um tempo
passado logo - t indicaria um tempo futuro, ou se + p representasse uma aquisio
ento - p representaria uma dvida.
Em uma lgebra simples, esta prtica relacionava a expresso simblica + a com
uma simplificao da soma 0 + a, porm a expresso - a correspondia a uma forma
reduzida da diferena nada trivial 0 - a. Bue compreende que uma certa noo de
qualidade diferencia os nmeros negativos dos positivos e que o desconhecimento desta
qualidade afastava os nmeros negativos do lugar que deveriam ocupar na matemtica.
Tudo comeava a ficar mais evidente. O emprego de - a no chocaria mais o esprito
se fosse levada em conta a sua qualidade. No seria mais necessria a utilizao da
expresso seja a quantidade menos que nada, pois a mesma j poderia ser traduzida pela
qualidade do sinal .
Alm de introduzir esta rica noo de qualidade em uma cincia que lidava com a
questo da quantidade, Bue recorre gramtica para expressar a sua idia de linguagem
matemtica:

Considerando o segundo significado dado aos sinais + e - , eles designam
duas qualidades opostas tendo como sujeito as unidades que compe uma
quantidade. Como uma qualidade no pode ser separada de seu sujeito, os
sinais + e no podem ser separados de suas unidades. Em uma linguagem
algbrica, estas unidades so os substantivos, e os sinais, os adjetivos
37
.


Neste momento podemos relacionar as expresses +q e -q no necessariamente
como as expresses condensadas de 0 + q e 0 q, e sim s expresses +1.q e -1.q
respectivamente, nas quais a letra q significa o nmero de vezes que tomamos a unidade +1,
ou 1, o que caracterizaria um nmero abstrato.
Atravs de sua linguagem matemtica, Bue apresenta o que entenderia por
quantidades imaginrias:

Do sinal 1 .
Eu considero o ttulo Do sinal 1 e no Da quantidade ou Da unidade
imaginria 1 ,porque 1 um sinal particular adicionado unidade
real 1, e no uma quantidade particular. um novo adjetivo junto ao
substantivo comum 1, e no um novo substantivo.
38


37
Bue, A. Mmoire sur les quantits imaginaires, Royal Society of London. 1805. p.25
38
Bue, A. Mmoire sur les quantits imaginaires, Royal Society of London. 1805. p.27

70
Para Bue, o smbolo 1 tomado isoladamente nada significava e nenhuma
caracterstica operacional poderia ser atribuda a ele. Contudo, ele forneceria uma qualidade
unidade quando percebido como 1 .1. Ele afirma que uma quantidade acompanhada do
smbolo 1 no era o oposto quela indicada por + nem indicada por .
Com a finalidade de explicar este novo smbolo, o autor recorre geometria. Os
nmeros reais obtiveram, com o passar dos tempos, uma posio natural sobre a reta. A
caracterstica do nmero estava relacionada com a questo da linearidade e esta imagem se
tornou um grande obstculo quando se tratavam de quantidades imaginrias. A concepo que
se tinha era que esta reta no poderia receber novos nmeros.
Qualquer especulao em relao a este assunto quebraria um dogma, ao se atribuir
uma espessura a um ponto ou a uma reta. O ponto correspondente ao nmero 0 sobre uma reta
orientada faria com que os nmeros positivos de localizassem de um lado e os negativos do
lado oposto, o que geraria uma impossibilidade de localizar as quantidades imaginrias.
Para resolver o mistrio que envolvia o sinal 1 , ele supe trs linhas iguais AB,
AC e AD partindo todas do ponto A. Notemos que Bue neste momento considera como
linhas iguais as que possuam mesmo comprimento, abstraindo a questo de suas orientaes,
entretanto ele continua afirmando: Se designarmos a linha AB por +1, a linha AC ser -1, e a
linha AD, que a media proporcional entre AB e AC ser necessariamente
2
1 ou mais
simplesmente 1 .
Bue considera 1 como um sinal de perpendicularidade no momento que conclui
que:

1 um sinal de perpendicularidade, cuja propriedade
caracterstica que todos os pontos da perpendicular esto igualmente
afastados de pontos igualmente distantes de um lado e do outro de seu p. O
sinal 1 expressa toda esta e a nica que a expressa. Este sinal colocado
antes de a (a significando uma linha ou uma superfcie) nos diz ento que ele
deve dar a uma situao perpendicular quela que daria, se tivssemos
simplesmente +a ou a.
39


Bue apresenta outra explicao geomtrica baseada em um quadrado ABCD, cujos
lados AB e AD representam, por exemplo, +1. Fazendo um quarto de rotao, considerando
A como o centro de rotao, ele obtm as diferentes posies e as novas representaes do
lado e da superfcie deste quadrado como exemplifica a figura:

39
Bue, A. Mmoire sur les quantits imaginaires, Royal Society of London. 1805. p.28

71



A definio que Bue fornece ao sinal 1 no pode ser plenamente introduzida
sem uma idia de movimento. Ele considera o quadrado ABCD e os lados AB e AD
representando uma grandeza a e em nenhum momento ele supe que eles pudessem
representar respectivamente a e a 1 . A ao do sinal 1 sobre a grandeza a, que a
conduz a uma posio perpendicular que ocupava anteriormente refora a idia de que a
expresso 1 provm dos adjetivos +, - e 1 associados ao substantivo 1.
Embora tenha estado muito prximo de obter uma representao geomtrica, Bue no
atinge o seu objetivo. Este exemplo mostra uma realidade mais geral desta poca, que diz
respeito ao fato de que a linguagem algbrica utilizada contribuiu para ocultar vrias
dificuldades relacionadas s operaes com nmeros imaginrios. A necessidade de legitimar
as operaes algbricas sobre as quantidades imaginrias e a falta de preciso destas
operaes impedem os matemticos de conceber um novo objeto para o qual as regras de

72
clculo deveriam ser aplicadas, como os segmentos orientados de Wessel ou as linhas
orientadas de Argand.
O suo Jean-Robert Argand (1768-1822) em sua pesquisa de uma realizao
geomtrica para os objetos contestados tem uma intuio muito similar de Wessel. O
trabalho de Argand pode ser considerado como o mais esclarecedor sobre a representao das
quantidades imaginrias. Este modesto pesquisador contribuiu com uma obra que pode ser
considerada uma das grandes descobertas do sculo XIX e no sem motivos que at os dias
de hoje lemos e ouvimos expresses como representao de Argand, plano de Argand
que nos remetem grande importncia de seu trabalho.
Matemticos de diversas nacionalidades e de grande renome no pouparam palavras
ao descrever Argand como o verdadeiro arquiteto desta rica e importante descoberta. Este
reconhecimento no foi imediato e muitos destes matemticos puderam presenciar diversas
transformaes que conduziram lgebra das estruturas e s geometrias com esta realizao
geomtrica.
O suo, autor de Ensaio sobre uma maneira de representar as quantidades
imaginrias nas construes geomtricas (Essai sur une manire de reprsenter les quantits
imaginaires dans les constructions gomtriques. Paris, Blanchard, 1971), teve seu trabalho
publicado em 1813 nos Annales de Mathmatiques purs et appliques, o primeiro jornal
especializado em Matemtica.
Como Wessel, Argand inicia seu trabalho tratando das quantidades negativas e
direes opostas. Em seu ensaio, encontramos uma retomada de idias de seus
contemporneos a respeito das quantidades negativas. Atravs de diversos exemplos, Argand
mostra que estas quantidades poderiam ser de fato reais.
O ponto de partida no trabalho de Argand se baseou em diversas situaes que
implicam na aceitao das quantidades negativas. A reflexo inicial feita tendo como base
grandezas representadas por a, 2a, 3a, etc. e a idia de que podemos sempre acrescentar a
grandeza a s grandezas anteriores. Mas o que faramos em relao operao inversa?
Poderamos subtrair a grandeza a de cada um dos termos anteriores? Que representao teria
0 a ?
Ao colocar estas questes, Argand expe claramente os motivos que impulsionaram
muitos matemticos rejeio destas quantidades. Contrariamente Bue, ele muito mais
convincente. Os exemplos apresentados revelam a sua proposta de forma clara e simples.
Argand prope uma construo capaz de dar realidade aos nmeros ditos imaginrios.

73
As quantidades relativas so apresentadas atravs da concepo de uma balana que
possui os pratos A e B, sendo que no prato A colocada a grandeza a, 2a, 3a e assim
sucessivamente, fazendo com que a balana incline em direo ao prato A. O equilbrio da
balana pode ser obtido, retirando-se do prato A, a grandeza a de modo a obtermos o 0. Caso
desejssemos continuar retirando esta grandeza do prato A, teramos uma situao que
poderia ser traduzida pela expresso 0 a, cuja existncia ainda repousaria no campo da
imaginao.
Esta situao representada considerando a grandeza a como um peso em gramas cuja
seqncia ..., 4a, 3a, 2a, a e 0 no poderia seguir alm de 0. Os termos posteriores a 0 tm
existncia apenas no campo da imaginao e, por este motivo, poderiam ser chamados de
imaginrios.
Utilizando o mesmo exemplo da balana, Argand considera os dois pratos contendo
pesos, tais que os movimentos dos braos sejam proporcionais aos pesos adicionados ou
retirados. Por exemplo, a ao de adicionar ao prato A o peso n, corresponde a uma variao
n na extremidade deste brao e, adicionando sucessivamente ao prato A pesos n, obteremos
uma seqncia de variaes 2n, 3n, 4n, etc. Mas no caso de retirarmos pesos n de uma
quantidade estipulada como, por exemplo, 3n, obteremos a seqncia 2n, ne 0. Porm estas
variaes podem ser obtidas tambm de outra maneira, se ao invs de retirarmos pesos n do
prato A, acrescentarmos ao prato B estes mesmos pesos. A grande diferena entre estas duas
aes que a primeira finita e a segunda infinita gera variaes que Argand registra da
seguinte maneira:

Ora, a adio de peso ao prato B pode ser repetido indefinidamente;
assim, prosseguindo, formar-se-o novos graus de peso expressos por
- n, - 2 n, - 3 n, ..., e estes termos, chamados negativos, exprimiro
quantidades to reais quanto os termos positivos. Portanto,
observamos que, se dois termos, de sinais diferentes, tm o mesmo
nmero como coeficiente, como 3 n, - 3 n, eles exprimiro dois
estados da alavanca tais que a extremidade que marca os graus de peso
ser, em ambos os casos, igualmente afastada do ponto 0. Pode-se
considerar esse afastamento fazendo abstrao do sentido no qual ele
teve lugar, e lhe dar ento o ttulo de absoluto.
40


Neste momento, Argand introduz a noo relativa de que retirarmos do prato A
equivalente a acrescentarmos ao prato B. Deste modo, aos valores absolutos de grandezas

40
Argand, J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques. Paris,
Blanchard, 1971.

74
associaremos a idia de direo. A partir deste momento, as quantidades negativas perdiam
seu carter imaginrio, associando-se a elas a unio dos conceitos de quantidade e de
direo.
Nesta perspectiva, o zero poderia ser visto como um referencial e a operao com
nmeros negativos, como por exemplo, a multiplicao por 1 poderia ser compreendida
geometricamente, como uma reflexo em relao origem:


interessante a simplicidade dos exemplos fornecidos por Argand. Entretanto, a
sensao de facilidade e tranqilidade que nos transmitida por suas idias proveniente
de uma grande familiaridade com as situaes por ele apresentadas como peso, capital,
temperatura, etc. Chega a ser difcil compreender os motivos que tornaram os nmeros
negativos inaceitveis durante sculos. Para ns, leitores de nossa poca, parece mais que
suficiente que a legitimidade dessas quantidades negativas seja garantida observando o
nmero negativo como uma simples oposio ao nmero positivo. Era tambm necessrio que
o contexto histrico em que tais situaes apareceram fosse favorvel, como o esprito de
realismo e de abstrao encontrado no incio do sculo XIX, que fundaram novas
estruturas matemticas. Os nmeros imaginrios trilhavam seu caminho rumo legitimidade
com as idias de grandeza absoluta e direo associadas s quantidades negativas:

De resto, no se prope de modo algum dar aqui princpios mais rigorosos
ou mais evidentes do que aqueles que encontramos nas obras que tratam do
assunto; teve-se simplesmente por objetivo fazer duas observaes sobre as
quantidades negativas. A primeira que, segundo a espcie de grandeza a
qual se aplica a numerao, a quantidade negativa real ou imaginria; a
segunda que, duas quantidades de uma espcie suscetvel de fornecer
valores negativos estando comparadas entre si, a idia de sua ligao
complexa. Ela compreende: 1) A idia da relao numrica dependendo de
suas grandezas respectivas consideradas absolutamente; 2) A idia da
relao das direes ou sentidos aos quais elas pertencem, relao que sua
identidade ou oposio.
41



41
Argand, J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques. Paris,
Blanchard, 1971. p.4


75
Identificadas as noes de valor absoluto e de direo como elementos fundamentais
de sua representao geomtrica, Argand investiga a possibilidade de combinar estas noes
de modo a encontrar uma representao tambm para as quantidades imaginrias. As
quantidades imaginrias no podem estar sobre a reta aonde se encontram as quantidades
positivas e negativas, colocadas em direes opostas, mas devem estar sobre o mesmo plano.
Tendo associado grandezas relativas com grandezas direcionadas, ele sugere ento que
seja interpretada no plano a proporo 1 : - 1 = - 1 : 1. Sabendo que a mdia proporcional
entre grandezas de valor absoluto 1 e com mesmo sinal deve ser + 1 ou 1, como determinar
a mdia proporcional caso essas grandezas tivessem sinais opostos? Ou seja, que valores de x
satisfariam s propores 1 : x = x : + 1 e + 1 : x = x : - 1 ?
Pensando em dias atuais, os valores de x procurados nas propores acima seriam
aqueles que solucionam a equao 1
2
= x . Argand encontra, com o auxlio de um
diagrama, a soluo desta questo.




As grandezas unitrias positiva e negativa so respectivamente compreendidas como
os segmentos direcionados KA e KI. Encontrar a mdia proporcional entre as grandezas + 1 e
1 seria ento, combinando as idias de grandeza absoluta e direo, encontrar a direo da
grandeza unitria x, de modo que a direo da grandeza representada por KA esteja para a
direo da grandeza x , assim como a direo da grandeza x esteja para a direo representada
por KI.
Podemos observar que tanto KE como KN so segmentos direcionados e KE pode ser
obtido atravs de uma rotao de 90 a partir de KA, assim como KI pode ser obtido atravs
de uma rotao de 90 a partir de KE. O mesmo acontece para o segmento KN, portanto KE e

76
KN so as grandezas geomtricas procuradas que representam geometricamente
1 1 + e
.
Expandindo sua perspectiva, Argand no restringiu as quantidades imaginrias s
linhas perpendiculares. Ele construiu geometricamente todas as direes e, deste modo,
construiu outras mdias proporcionais associadas a outras quantidades imaginrias, o que nos
fornece uma generalizao:

, . , , , , , so mdias entre e , e ,
..., e assim por diante.
42



figura
43



Esta relao entre a representao geomtrica dos nmeros imaginrios e as mdias
proporcionais pode ser utilizada nos dias de hoje, como uma importante ferramenta no
processo de representao geomtrica das solues imaginrias de equaes quadrticas.
Tendo como referencial as idias citadas por Argand, poderamos atualmente
determinar as solues i 4 da equao quadrtica 16
2
= x da seguinte maneira:


42
Argand, J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques. Paris,
Blanchard, 1971. p.9
43
Argand, J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques. Paris,
Blanchard, 1971. p.9


77
1. Representar geometricamente a grandeza x, tal que: + 2 : x = x : - 8
2. Representamos geometricamente as grandezas + 2 e 8 respectivamente pelos
segmentos direcionados OA e OC.
3. A direo da grandeza procurada deve ser a mesma da bissetriz de AB.
4. O valor absoluto da grandeza procurada 4, pois 2:4 = 4:8.
5. Considerando juntamente o valor absoluto e a direo da grandeza procurada, temos
que x representado pelos segmentos direcionados OB ou OD.

Um aspecto importante introduzido por Argand foi o fato de que as linhas orientadas,
que representavam a soluo das relaes de proporo, no deveriam ser fixadas a um nico
ponto K. Se KA=KA; KA=KA, etc. e tendo estas linhas a mesma direo, Argand
fornecia a uma linha orientada uma infinidade de outras que representariam o mesmo objeto.
Esta noo de eqipolncia forneceria condies de que um determinado objeto
considerado pudesse ter uma infinidade de representantes legtimos. Baseando-se na figura
44

abaixo poderemos fazer algumas observaes:



44
Flament, D. Histoire des nombres complexes, Entre algbre et gomtrie, CNRS ditions, Paris 2003. p.175

78
Na viso de Descartes, os objetos (a) e (b) so distintos, pois ocupam lugares
geomtricos distintos, enquanto para Argand, estes dois objetos so iguais, j que so
representantes de uma mesma classe, caracterizando uma matemtica das formas.
Dada uma unidade primitiva , todas as linhas direcionadas paralelas a esta unidade
representam um nmero real. As perpendiculares expressam os nmeros imaginrios da forma
1 a e todas as outras linhas direcionadas representam os nmeros da forma 1 b a ,
compostos de uma parte real e de uma parte imaginria.
Ao fundar esta nova teoria, Argand sugere tambm a utilizao de um novo
simbolismo que tornaria mais simples a notao que designava as quantidades imaginrias.
Ao passo que Bue escrevia +1.a e -1.a no lugar de +a e -a, com a finalidade de
diferenciar a aritmtica universal da sua linguagem algbrica, Argand caminha no sentido
contrrio, no fazendo esta dissociao. Ele chega a afirmar que 1 + a apresenta um
fator 1 que multiplica a e, assim como o fator 1 multiplicado por a em +1.a pode ser
representado por apenas +a, possvel agir de modo semelhante para as quantidades
imaginrias. Ele utiliza os smbolos e no lugar de + 1 e - 1
respectivamente e apresenta de maneira simples a sua tabela de multiplicao:



. = -
. = -
. = +
. = +

Atravs deste simbolismo, Argand faz uma associao curiosa para reconhecer a
periodicidade das potncias da unidade imaginria. Inicialmente, ele atribui valores aos seus
smbolos da seguinte maneira: atribumos ao smbolo representado por uma linha curva ( ) o
valor numrico 1 e, para cada linha vertical ou horizontal, o valor numrico 2. Desta forma,
teremos que cada smbolo ser constitudo da soma dos valores das linhas que possui,
constituindo a seguinte associao:



79
= 1;
- = 2;
= 2 + 1 = 3;
+ = 2 + 2 = 4.

Assim, atravs de regras expressas por Argand, o que atualmente relacionamos ao
clculo mdulo 4, a tabela de multiplicao dos smbolos pode ser estabelecida e a
periodicidade das potncias facilmente verificada.
A utilizao de sua linguagem simblica para a representao da expresso
1 + b a resulta em um novo objeto a b. Tal representao se aproxima muito do par
ordenado (a,b) de Hamilton, que daria a 1 + b a um novo estatuto matemtico.
Aps definir a multiplicao de linhas direcionadas e obter o que chamamos hoje de
frmula de De Moivre, Argand julgou desnecessrio o detalhamento da diviso e encerra a
parte terica de seu ensaio com a seguinte afirmativa: Com estas regras, operaremos uma
construo qualquer com linhas direcionadas como as que praticamos com as linhas
absolutas.
45

Os resultados de Argand no despertaram muito interesse na comunidade matemtica
at suas idias serem publicadas em 1813, tidas como de um autor desconhecido. Esse fato o
levou a participar de vrios debates pblicos, o que garantiu a conquista da autoria de to
importante trabalho.
O que ele prope possui uma grande riqueza conceitual e simplifica a resoluo de
diversos problemas, mas este critrio no era suficiente para garantir a adeso da comunidade
matemtica da poca. O trabalho de Argand se destaca na realizao geomtrica das
quantidades imaginrias, mas no chega a definir que operaes podem ser aplicadas s suas
linhas orientadas, logo no fornece a necessria justificativa de um clculo algbrico com
os smbolos imaginrios. O carter convencional das regras de clculo deixado de lado para
privilegiar aplicaes imediatas.
Desta forma, apesar da grande importncia do trabalho de Argand, as quantidades
imaginrias ainda no podiam ser consideradas como nmeros, dignos de figurar em uma
cincia rigorosa. So apenas expresses simblicas teis para facilitar o clculo, mas indignas
para aparecer nos resultados. A representao geomtrica das quantidades imaginrias

45
Argand, J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques. Paris,
Blanchard, 1971. p.25.


80
funcionava como um instrumento que forneceria um carter de realidade a estas
quantidades, mas para parte da comunidade matemtica da poca esta representao ainda no
trazia o critrio de rigor para que estas quantidades fossem aceitas. No entanto, os esforos
realizados para buscar uma representao geomtrica para as quantidades imaginrias
contriburam para aprofundar as exigncias do pensamento matemtico da poca.
Podemos considerar que a obra de Argand constituiu um importante marco na histria
dos nmeros complexos uma vez que, na representao geomtrica das quantidades
imaginrias, estas quantidades j comeam a ser concebidas como um ente matemtico
distinto dos reais, que possuem um carter composto, que levar Gauss a designar estas
quantidades como complexas.
A histria das quantidades sofisticadas, da matemtica italiana renascentista, at a
representao geomtrica das quantidades imaginrias, com as linhas orientadas de Argand,
congrega os elementos principais que motivaro Gauss, Cauchy e Hamilton a desenvolver, no
perodo subseqente, uma teoria propriamente dita, que fornea o estatuto aritmtico que
garante a existncia matemtica dos nmeros complexos.












81
Consideraes finais

Quando propusemos um trabalho sobre a histria dos nmeros complexos, visamos
resgatar o ambiente que proporcionou seu surgimento, observando a linguagem utilizada na
poca e os problemas que contriburam com o desenvolvimento da matemtica e
conseqentemente destas quantidades ditas sofisticadas, impossveis, inexplicveis ou
imaginrias.
Pesquisar os nmeros complexos luz da histria da matemtica faz com que
compreendamos que um dos grandes problemas no ensino o fato de que a ordem de
exposio no condiz com a ordem da inveno, logo seria pertinente que ns recrissemos o
modo de ensinar a fim de proporcionar aos alunos a experincia de conviver e de
compreender como a matemtica estudada nos dias de hoje foi produzida por descobertas ao
longo de sculos.
O acesso histria dos nmeros complexos nos remete inevitavelmente a uma
reflexo sobre a metodologia utilizada em sala de aula. Seria impossvel apresentar a
matemtica na ordem histrica em que ela foi desenvolvida. Mas com a histria temos
condies de oferecer respostas s muitas questes que surgem durante o processo de
aprendizagem.
No desenvolvimento deste trabalho, percebemos o surgimento dos nmeros complexos
como fruto de um problema que significava determinar as solues de equaes cbicas por
meio de radicais. Em relao a este aspecto, muito pode ser desenvolvido em sala de aula. A
forma com que geralmente trabalhamos e expomos as frmulas de resoluo de equaes
quadrticas e cbicas pode gerar uma falsa compreenso de que estes importantes resultados
foram frutos de trabalhos isolados de matemticos como Bhaskara e Cardano. A fora destes
resultados algbricos faz com que seja criado um distanciamento cada vez maior da
geometria, o que no condiz com seu desenvolvimento histrico.
Ter acesso histria destes nmeros proporciona um ambiente favorvel para diversas
discusses em torno de resultados envolvendo equaes polinomiais e suas razes, o
desenvolvimento da teoria dos logaritmos e o advento do clculo infinitesimal.
As tentativas de representao geomtrica para os nmeros complexos, com as
dificuldades experimentadas, contribuem para a desconstruo de uma concepo, por parte
de muitos alunos, de uma matemtica pronta e em algumas situaes at arbitrria, em que
so apresentadas definies seguidas de teoremas e demonstraes.

82
Um trabalho diferenciado, ao lecionar nmeros complexos, abre espao para
questionamentos e reflexes por parte dos alunos acerca de muitos conceitos explorados
durante mais de uma dcada at a concluso de seu ensino mdio como, por exemplo:
O papel da geometria no ensino de matemtica;
A explorao do conceito de nmero;
O desenvolvimento da lgebra e a contextualizao de muitos de seus
resultados;
A relao entre os nmeros complexos e a geometria;
O conceito de nmero negativo;
A conexo entre a representao geomtrica dos complexos e a anlise
vetorial;

Uma reestruturao na abordagem metodolgica no ensino dos complexos representa
mais do que fornecer uma concretude para estes novos entes matemticos. Trata-se de abrir
oportunidades para investigaes que despertem o interesse pelo desenvolvimento da
matemtica.
No seria utopia nossa acreditar que a histria dos nmeros complexos e, de forma
mais ampla, a histria da matemtica, possam despertar nos professores uma prtica docente
menos centrada em uma matemtica de resultados e sim em uma matemtica de descobertas e
conexes.
A partir de uma fundamentao histrica sobre os nmeros complexos possvel
vislumbrar o desenvolvimento de pesquisas voltadas para a elaborao de materiais
pedaggicos para os alunos e para a formao continuada de professores que valorizem mais
os aspectos geomtricos, as investigaes e, conseqentemente, a compreenso deste novo
conceito, para alm das manipulaes algbricas e algortmicas. Pretendemos explorar estes
caminhos em um trabalho futuro.







83
Referncias bibliogrficas


ARGAND J. R. Essai sur une manire de reprsenter les quantits imaginaires dans les
constructions gomtriques (1806). Reimp. Blanchard: Paris, 1971. Disponvel em
< http://www.gallica.bnf.fr >.

BALL, W. W. Rouse (Walter William Rouse) (1865-1925) A short account of the history of
mathematics. Macmillan, London, 1888. Reimp: Dover: Nova Iorque, 1960.

BOYER, Carl B. (Carl Benjamin) (b. 1906) A history of mathematics. Wiley, 1968. Reimp:
Princeton University Press: Princeton, New Jersey, 1985.

BUE, A. Q. Mmoire sur les quantits imaginaires. Royal Society of London, 1806.
Disponvel em < http://www.gallica.bnf.fr >.

BOMBELLI, R. LAlgebra. (1972). G. Rossi. Bolonha, 1579.

BURTON, David M. The history of mathematics: an introduction. Allyn & Bacon: Boston,
1985.

CAJORI F., Historical note on the graphic representation of imaginaries before the time of
Wessel. Amer. Math. Mon., 19 (1912) 167-171.

CARDANO, G. Ars Magna. Massachusetts Institute of Technology, 1968.

DESCARTES, R. The Geometry of Ren Descartes. Dover: Nova Iorque, 1925.

EVES, Howard Whitley (b. 1911) An introduction to the history of mathematics. Sanders :
Philadelphia, 1983.

FLAMENT, D., Histoire des nombres complexes: entre algbre et gomtrie. CNRS
ditions: Paris, 2003.

KATZ, Victor J. A history of mathematics, an introduction. Harper Collins College
Publishers: Nova Iorque, 1993.

ROQUE, T. A Matemtica atravs da histria. Notas de aula do curso de Histria da
Matemtica. UFRJ, 2006.
SCHUBRING, G. - Argand and the early work on graphical representation: New
sources and interpretations In Around Caspar Wessel and the Geometric
Representation of Complex Numbers. Proceedings of the Wessel Symposium at
The Royal Danish Academy of Sciences and Letters, Jesper Lutzen, Copenhagen,
(2001), 125-146.

84

SMITH, David E. A Source Book in Mathematics .McGraw Hill Company: Nova
Iorque e Londres, 1929.
STILLWELL, John. Mathematics and its history. Springer-Verlag: Nova Iorque-Berlin, 1989.
Rev: Math. Rev. 91b:01001

WESSEL, C. Essair sur la reprsentation analytique de la direction. Copenhague e Paris,
1897. Disponvel em < http://www.gallica.bnf.fr >.


















85
Anexo

ENSAIO SOBRE UMA MANEIRA DE REPRESENTAR AS QUANTIDADES IMAGINRIAS
NAS CONSTRUES GEOMTRICAS
(JEAN ROBERT ARGAND)

1. Seja a uma grandeza tomada vontade. Se a esta grandeza acrescentarmos uma
segunda que lhe seja igual, para formar um nico todo, teremos uma nova grandeza, que ser
expressa por 2 a. Fazendo a partir desta ltima grandeza uma nova semelhante operao, o
resultado ser expresso por 3 a, e assim por diante. Obter-se- assim uma continuao de
grandezas
a, 2 a, 3 a, 4 a, ...,
da qual cada termo nasce do precedente, por uma operao que a mesma para todos os
termos, e que pode ser repetida indefinidamente.
Consideremos esta mesma srie ao contrrio, a saber:
..., 4 a, 3 a, 2 a, a.
Podemos ainda conceber, nessa nova srie, cada termo como subtrado do precedente,
por uma operao inversa quela que serve formao da primeira srie; mas existe uma
diferena notvel entre as duas: a primeira pode ser levada to longe quanto se queira; no se
passa o mesmo com a segunda. Aps o termo a, encontraremos o termo 0; mas, para ir mais
alm, preciso que a natureza do valor a seja tal que se possa operar com respeito a 0 como
fazemos com relao aos termos ..., 4 a, 3 a, 2 a, a. Ora, isto no todavia possvel.
Se a, por exemplo, designa um peso material, como o grama, a srie das quantidades
..., 4 a, 3 a, 2 a, a, 0 no pode ser continuada para alm de 0; porque pode-se tirar 1 grama de
3, de 2 ou de 1, mas no se poder tir-lo de 0. Assim os termos que deveriam seguir-se ao 0
s podem ter existncia na imaginao; podem, justamente por isso, ser chamados
imaginrios.
Mas, no lugar de uma srie de pesos materiais, consideremos os diversos graus de peso
que agem sobre o prato A de uma balana que contm pesos em seus dois pratos, e vamos
supor, para dar mais apoio s nossas idias, que os movimentos dos braos dessa balana
sejam proporcionais aos pesos acrescentados ou suprimidos, efeito que ocorrer, por exemplo,
por meio de uma mola adaptada ao eixo. Se a adio do peso n no prato A faz variar com a

86
quantidade n a extremidade do brao A, a adio dos pesos 2 n, 3 n, 4 n, ... ocasionar, nessa
mesma extremidade, variaes 2 n, 3 n, 4 n, ..., e essas variaes podero ser tomadas como
medida do peso agindo sobre o prato A: esse peso 0 para o caso da igualdade entre os dois
pratos. Poder-se-, acrescentando no prato A pesos n, 2 n, 3 n, ..., obter os pesos n, 2 n, 3 n,
..., ou, falando do peso 3 n, obter, suprimindo pesos, os valores 2 n, n, 0. Mas esses
diversos graus podem ser produzidos no somente tirando pesos do prato A como tambm
acrescentando-os ao prato B. Ora, a adio de peso ao prato B pode ser repetido
indefinidamente; assim, prosseguindo, formar-se-o novos graus de peso expressos por - n, -
2 n, - 3 n, ..., e estes termos, chamados negativos, exprimiro quantidades to reais quanto
os termos positivos. Portanto, observamos que, se dois termos, de sinais diferentes, tm o
mesmo nmero como coeficiente, como 3 n, - 3 n, eles exprimiro dois estados da alavanca
tais que a extremidade que marca os graus de peso ser, em ambos os casos, igualmente
afastada do ponto 0. Pode-se considerar esse afastamento fazendo abstrao do sentido no
qual ele teve lugar, e lhe dar ento o ttulo de absoluto.
Consideremos ainda, em outra espcie de grandeza, a gerao de quantidades
negativas. Se, para conter uma soma de dinheiro, adotamos o franco
46
material, poder-se-
operar diminuies sucessivas nessa soma, e reduzi-la a zero pela subtrao de um certo
nmero de francos. Chegados a esse termo, vemos que a subtrao cessa de ser praticvel, e
que, por conseqncia, - 1 franco, - 2 francos, ... so quantidades imaginrias.
Tomemos agora o franco financeiro como unidade, com a inteno de avaliar a fortuna
de um indivduo, que se compe de valores ativos e de valores passivos. O que chamamos
diminuio nessa fortuna poder ocorrer seja pela subtrao de um determinado nmero de
francos ao ativo, seja pela adio de um determinado nmero de francos ao passivo, e,
levando a certo termo essa diminuio por um desses dois meios, chegaremos a uma fortuna
negativa, tal qual - 100 francos, - 200 francos, ... Essas expresses significaro que o nmero
de francos de valor passivo, considerado abstratamente, maior de 100, de 200, ... que aquele
dos valores ativos. Assim, - 100 francos, - 200 francos, ..., que s exprimiam no primeiro caso
quantidades imaginrias, representam aqui quantidades to reais quanto aquelas que designam
as expresses positivas.

2. Essas noes so muito elementares; todavia no to fcil como poderia parecer a
princpio estabelec-las de uma maneira bem clara, e emprestar-lhes aquela generalidade que

46
Antiga moeda francesa, substituda atualmente pelo Euro com a criao da Unio Europia. (Nota do Tradutor).

87
sua aplicao aos clculos exige. No se pode duvidar da dificuldade do assunto, se
refletirmos que as cincias exatas foram cultivadas durante um grande nmero de sculos, e
que elas fizeram imensos progressos antes de se ter adquirido as verdadeiras noes de
quantidades negativas e de se ter concebido a maneira geral de empreg-las.
De resto, no se prope de modo algum dar aqui princpios mais rigorosos ou mais
evidentes do que aqueles que encontramos nas Obras que tratam do assunto; teve-se
simplesmente por objetivo fazer duas observaes sobre as quantidades negativas. A primeira
que, segundo a espcie de grandeza a qual se aplica a numerao, a quantidade negativa
real ou imaginria
47
; a segunda que, duas quantidades de uma espcie suscetvel de fornecer
valores negativos estando comparadas entre si, a idia de sua ligao complexa. Ela
compreende: 1) A idia da relao numrica dependendo de suas grandezas respectivas
consideradas absolutamente; 2) A idia da relao das direes ou sentidos aos quais elas
pertencem, relao que sua identidade ou oposio.

3. Agora, se, fazendo abstrao da relao das grandezas absolutas, considerarmos os
diferentes casos que pode apresentar a relao das direes, perceberemos que elas se
reduziam ao que oferece as duas propores seguintes:

+1 : +1 :: -1 : -1,
+1 : -1 :: -1 : +1.

A inspeo dessas propores e daquelas que formaramos pela inverso dos termos
mostra que os termos mdios so sinais semelhantes ou diferentes, conforme os extremos
sejam eles mesmos sinais semelhantes ou diferentes.
Que nos proponhamos agora a determinar a mdia proporcional geomtrica entre duas
quantidades de sinais diferentes, ou seja, a quantidade x que satisfaz a proporo

+1 : +x :: +x : -1

Somos impedidos de continuar aqui como o fomos querendo continuar para alm de 0
a progresso aritmtica decrescente, porque no se pode igualar x a nenhum nmero positivo

47
O sentido com o qual se toma essas palavras suficientemente determinado por aquilo que antecede: a extenso que se d
aqui sua significao ordinria parece permitida, e, alis, no absolutamente nova. O que se chama, em tica, centro
imaginrio, por oposio ao centro real, o ponto de reunio dos raios que no tm uma existncia fsica e que podem, de
certa maneira, ser considerados como raios negativos.

88
ou negativo; mas, j que encontramos mais que a quantidade negativa, imaginria quando a
numerao era aplicada a certas espcies de grandezas, tornada real quando a combinamos de
uma certa maneira a idia de grandeza absoluta com a idia de direo , no seria possvel
obter o mesmo sucesso relativamente quantidade da qual se trata, quantidade considerada
imaginria pela impossibilidade em que estamos de lhe encontrar um lugar na escala das
grandezas positivas e negativas?
Refletindo sobre esta questo, pareceu que conseguiramos atingir esse objetivo se
pudssemos encontrar um gnero de grandezas ao qual pudesse se aliar a idia de direo, de
maneira que, adotadas duas direes opostas, uma para os valores positivos, outra para os
valores negativos, existiria uma terceira, tal como a direo positiva foi para aquela da qual
tratamos e como esta direo negativa.

4. Ora, se tomarmos um ponto fixo K (fig. 1) e adotarmos por unidade positiva a linha
KA considerada como tendo sua direo de K em A, o que poderamos designar por , para
distinguir esta quantidade da linha KA na qual s consideramos aqui sua grandeza absoluta, a
unidade negativa ser , o trao superior tendo a mesma destinao que aquele colocado
sobre , e a condio qual se trata de satisfazer ser preenchida pela linha KE,
perpendicular s precedentes e considerada como tendo sua direo de K em E, e que
exprimiremos igualmente por .

Com efeito, a direo de , com respeito direo de , o que esta ltima com respeito
direo de . Alm do mais, vemos que essa mesma condio tanto preenchida por

89
quanto por , estas duas ltimas quantidades estando entre elas como +1 e -1, assim como
deve ser. Elas so, portanto, o que expressamos comumente por , -
Por um movimento anlogo, poder-se- inserir novas mdias proporcionais entre as
quantidades que acabamos de ver. Com efeito, para construir a mdia proporcional entre e
, ser preciso traar a linha CKL que divide o ngulo AKE em duas partes iguais, e a mdia
buscada ser ou . A linha GKP dar igualmente as mdias e ou entre e .
Obter-se- igualmente as quantidades , . , , , , , para as mdias entre
e , e , ..., e assim por diante. Poder-se- da mesma forma inserir um maior nmero de
mdias proporcionais entre duas dadas quantidades, e o nmero de construes que podero
resolver a questo ser igual ao nmero de ligaes que apresenta a progresso buscada. No
caso de se tratar, por exemplo, de construir duas mdias , , entre e , o que deve
originar as trs relaes
: :: : :: :

preciso haver
ngulo = ngulo = ngulo ,


o trao superior indicando que esses ngulos esto em posio homloga sobre as bases AK,
PK, QK. Ora, podemos atingir esse objetivo de trs maneiras, a saber, dividindo em trs
partes iguais: 1) o ngulo AKB; 2) o ngulo AKB mais uma circunferncia; 3) o ngulo

90
AKB, mais duas circunferncias, o que resultar nas trs construes representadas pelas fig.
2, 2 bis, 2 ter
48
.


5. Observemos agora que, para a existncia das relaes que acabamos de estabelecer
entre as quantidades , , , ..., no necessrio que o ponto de partida da direo, que
constitui uma parte da essncia dessas quantidades, seja fixada em um ponto nico K; mas
que essas relaes igualmente ocorram, se supusermos que cada expresso, como , designa
geralmente uma grandeza igual a KA, e tomada na mesma direo, como , , ,
, ... (fig. 3).



48
O princpio sobre o qual se fundam essas construes, enunciado de uma maneira geral, consiste em que a relao de dois
raios , , fazendo entre eles um ngulo QKP, depende deste ngulo, quando consideramos esses raios como traados
em certa direo, e que esta relao a mesma que aquela dos outros dois raios , , formando entre eles o mesmo
ngulo; mas, embora esse princpio seja, em certo sentido, uma extenso daquele sobre o qual se estabelece a relao
geomtrica entre uma linha positiva e uma linha negativa, s o apresentamos aqui como uma hiptese, cuja legitimidade
ficar por ser estabelecida, e cujas conseqncias, a partir da, devero ser confirmadas por outra via.




91
Com efeito, seguindo, em relao a essa nova espcie de grandezas, os raciocnios que
foram feitos acima, veremos que, se , , , ..., so unidades positivas, , , ,
..., sero unidades negativas; que a mdia proporcional entre + 1 e 1 poder ser expressa por
uma linha qualquer, igual s precedentes, perpendicular sua direo, e que poder-se- tomar
vontade em um de seus dois sentidos, e assim por diante. Podemos, para ajudar as idias a se
fixar, considerar um caso particular, como, por exemplo, se designarmos por , uma
determinada fora tomada como unidade, e cuja ao se exerce sobre todos os pontos
possveis, paralelamente a KA e no sentido de K para A, essa unidade poder ser expressa por
uma linha paralela a KA, tomada a partir de um ponto qualquer. A unidade negativa ser uma
fora igual em ao, e cujo efeito acontece paralelamente mesma linha, mas no sentido de A
para K, e poder igualmente ser expressa por uma linha partindo de um ponto qualquer, a qual
ser tomada em sentido contrrio ao da precedente. Ora, basta que as qualidades positivas e
negativas, que ns atribumos s grandezas de uma certa espcie, depende de direes opostas
entre as quais existe uma mdia, para que possamos equilibrar as idias desenvolvidas h
pouco com relao aos raios partindo de um centro nico, e conceber, entre todas as linhas
que representaro uma tal espcie de grandeza, as mesmas relaes que ofereceram esses
raios.

6. Em conseqncia dessas reflexes, poder-se- generalizar o sentido das expresses
da forma , , , ..., e toda expresso semelhante designar, como conseqncia, uma
linha de um certo comprimento, paralela a uma certa direo, tomada em um sentido
determinado entre os dois sentidos opostos que essa direo apresenta, e cuja origem um
ponto qualquer, essas linhas podendo elas mesmas ser a expresso de grandezas de um outro
tipo.
Como eles devem ser o assunto de pesquisas que vo se seguir, a ocasio de lhes
aplicar uma denominao particular. Ns as chamaremos linhas em direo ou, mais
simplesmente, linhas dirigidas. Elas sero assim distinguidas de linhas absolutas, nas quais s
consideramos o comprimento, sem nenhuma relao com a direo
49
.
7. Reportando s diversas denominaes de uso as diversas espcies de linhas em
direo que se engendram a partir de uma unidade primitiva , observa-se que toda linha
paralela direo primitiva expressa por um nmero real, que aquelas que lhe so

49
A expresso de linhas em direo somente a abreviao desta frase: linhas consideradas como pertencendo a certa
direo. Essa observao indica que no se pretende fundar novas denominaes, mas que se emprega essa maneira de se
exprimir seja para evitar confuso, seja para abreviar o discurso.

92
perpendiculares so expressas por nmeros imaginrios ou pela frmula , e, enfim,
que aquelas que so traadas em uma outra direo que as duas precedentes pertencem
forma , que se compe de uma parte real e de uma parte imaginria.
Mas essas linhas so quantidades to reais quanto a unidade primitiva; derivam dela
pela combinao da idia de direo com a idia da grandeza, e so, nesse aspecto, o que a
linha negativa , que no de modo algum encarada como imaginria. Os nomes de real e de
imaginrio no combinam, portanto, com as noes que acabaram de ser expostas.
desnecessrio observar que aqueles de impossvel e de absurdo, que se encontra por vezes,
so ainda mais contrrios. Podemos, alis, nos surpreender ao no ver esses termos
empregados nas cincias exatas seno para qualificar o que contrrio verdade
50
.
Uma quantidade absurda seria aquela cuja existncia atrasasse a verdade com uma
proposio falsa: tal seria, por exemplo, a quantidade x que satisfaria ao mesmo tempo duas
equaes x = 2, x = 3, de onde resultaria que 2 = 3. Admitindo semelhante quantidade no
clculo, chegaramos a conseqncias to contraditrias quanto a da equao 2 = 3; mas os
resultados obtidos pelo emprego de quantidades ditas imaginrias so inteiramente conformes
queles que se deduz dos raciocnios nos quais s utilizamos quantidades reais. Poderamos,
portanto, pressentir um vcio nas denominaes que colocariam nas mesmas classes as
quantidades de fato absurdas e as razes de ordem par das quantidades negativas, e o
sentimento secreto dessa inconvenincia que foi o primeiro germe das idias que recebem seu
desenvolvimento neste Ensaio
51
. Somos, ento, conduzidos a empregar outras denominaes.
Observemos que, embora exista uma infinidade de espcies diferentes de linhas
derivadas da unidade primitiva, levamos, na prtica do clculo, e pelos meios de que nos
ocuparemos em breve, todas as linhas em direo s espcies , , , . uma
unidade primitiva positiva; uma unidade negativa; e so unidades mdias (fig. 4).



50
Houve uma poca em que, conduzidos pela fora da verdade a ser admitida, nas quantidades abstratas, dos valores
negativos, os gemetras, tendo aparentemente alguma dificuldade em imaginar que menos que nada pudesse ser alguma
coisa, deram o nome de falsos aos valores em questo. A palavra parou de ser empregada com o sentido a ela associado,
quando foram corrigidas as primeiras idias que tinham dado origem a essa denominao viciosa.
51
quase desnecessrio observar que falamos aqui apenas da confuso existente nas palavras, e que de modo algum
afirmamos que essa confuso esteja tambm nas idias.

93


Alm do mais, conveniente juntar sob um mesmo nome as espcies opostas,
positivas e negativas recprocas. A reunio de duas espcies assim relativas formar uma
ordem. Chamaremos ordem primeira quela que forma a espcie primitiva e sua negativa
, e ordem mediana quela que contm as espcies mdias e . Diremos tambm
quantidade primeira, quantidade mediana, para quantidade de ordem primeira, de ordem
mediana. Essas denominaes so extradas da gerao dessas quantidades e da maneira pela
qual ns concebemos sua existncia. Poder-se- dar o nome geral de intermedianas a todas as
outras, que no necessrio designar particularmente
52
.

8. Poderamos tambm, segundo as idias precedentes, modificar a expresso das quantidades
ditas imaginrias, de maneira a dar mais simplicidade a essa parte da notao.
Quando escrevemos ou , indicamos explicitamente a gerao da
quantidade , o que pode ser bom em certos casos; mas, para o ordinrio, fazemos
abstrao dessa gerao, e no outra coisa que a espcie particular de unidade a qual se
aplica o nmero a. Portanto, no essencialmente necessrio lembrar-se dessa gerao. Alm
de que a expresso apresenta como um fator que multiplica a; mas, no fundo,
, em , no mais um fator que +1 em + a ou - 1 em - a. Ora, no se escreve + 1.a,
- 1.a, mas simplesmente +a, -a, e o sinal que precede a indica ele mesmo que espcie de

52
Foi observado acima que as relaes que se afirma existir entre as linhas, em virtude das direes as quais pertencem, s
podem ser observadas, no presente momento, como hipotticas. Estamos, portanto, bem longe de pretender que as
denominaes propostas neste artigo sejam apropriadas a substituir aquelas que o uso consagrou; se aqui as empregamos
que, em geral, convm evitar servir-se de termos cuja significao correta esteja em contradio com as idias que se quer
exprimir, mesmo quando se trata de suposies.

94
unidade exprime esse nmero. Pode-se, portanto, empregar um meio semelhante em relao
s quantidades imaginrias, escrevendo, por exemplo, a e a, no lugar de ou
, os signos e sendo positivos e negativos recprocos.
Para a multiplicao desses signos, observaremos que, multiplicados por eles mesmos,
do , e que, por conseguinte, multiplicados um pelo outro, eles do +. Podemos, alis,
estabelecer uma regra nica para todos os sinais, que se estende para um nmero qualquer de
fatores.
Que designemos o valor 2 a cada um dos traos retos, sejam perpendiculares, sejam
horizontais, que entram nos sinais de multiplicar, e o valor 1 a cada um dos traos curvos:
teremos, para os quatro sinais, os seguintes valores:

= 1,
= 2,
= 3,
+ = 4.


Isto posto, tomaremos a soma do valor de todos os fatores, e subtrairemos 4 quantas
vezes forem necessrias para que a sobra seja um dos nmeros 1, 2, 3, 4; esse resultado ser o
valor do sinal produzido; e, da mesma forma, para a diviso, subtrairemos a soma dos traos
do divisor daquela dos traos do dividendo, a qual teremos acrescentado, se for preciso, um
mltiplo de 4, e a sobra indicar o sinal do quociente. Deve-se observar que essas operaes
so multiplicaes e divises por logaritmos; essa analogia se colocar em outro dia.
Esses novos sinais abreviaro a notao e tornaro talvez mais cmodo o clculo das
quantidades imaginrias, no qual por vezes fcil cometer erros relativos aos sinais.