Você está na página 1de 116

Bernardino Carneiro de Andrade

A evoluo histrica da resoluo


das equaes do 2o grau

Departamento de Matemtica-Pura da Faculdade de


Cincias da Universidade do Porto

Fevereiro de 2000
Bernardino Carneiro de Andrade

A evoluo histrica da resoluo


das equaes do 2o grau

Departamento de Matemtica Pura da Faculdade de


Cincias da Universidade do Porto

Fevereiro de 2000
Bernardino Carneiro de Andrade

A evoluo histrica da resoluo


das equaes do 2o grau

Tese submetida Faculdade de Cincias da Universidade do Porto para


obteno do grau de Mestre em Matemtica - Fundamentos e Aplicaes

Departamento de Matemtica Pura da Faculdade de


Cincias da Universidade do Porto

Fevereiro de 2000

2
minha mulher, Raquel,
a quem eu muito amo.
AGRADECIMENTOS

Queria agradecer minha mulher, a Quel, pelo incentivo que me deu desde o primeiro
dia, pela pacincia e companheirismo que revelou ter, principalmente nos momentos mais
difceis destes dois anos, bem como pelas ajudas preciosas que me deu ao nvel de tradues
de alguns textos, de correces sintcticas e de sugestes relativas estrutura do trabalho.
Ao Professor Carlos S, pela amizade e disponibilidade que sempre demonstrou, pelas
ajudas na pesquisa de material bibliogrfico, pelas boas sugestes e conselhos que me deu, e
pelo rigor cientfico que lhe caracterstico e que em muito veio enriquecer este trabalho.
Aos meus pais e amigos, pelo incentivo e apoio.
menina Helena da Biblioteca de Matemtica Pura da Faculdade de Cincias da
Universidade do Porto, pela ajuda e orientao na procura do material.
E a todos aqueles que, de algum modo, contriburam para que a realizao deste
trabalho fosse possvel.

4
NDICE

5
NDICE
6
INTRODUO
CIVILIZAES PR-HELENSTICAS 9
1.1 Civilizao Egpcia ^
1.2 Civilizao Mesopotmica 13
20
CIVILIZAO GREGA
21
2.1 Euclides de Alexandria
2.2 Diofanto de Alexandria -30
45
CIVILIZAO RABE
3.1 Al Khowarizmi 46
67
3.2 AbuKamil
93
3.3 Omar Khayyam
95
3.4 Al Qalasadi
CIVILIZAO EUROPEIA A PARTIR DO SCULO XVI 99
4.1 Albert Girard "
4.2 Ren Descartes *^2
108
4.3 Colin MacLaurin
n 0
CONCLUSO
n i
BIBLIOGRAFIA

5
INTRODUO

meu objectivo, com esta dissertao, fazer uma apresentao histrica da evoluo
do modo de interpretar, resolver e demonstrar a validade das resolues de problemas
geomtricos, aritmticos ou algbricos que possam ser interpretados ou reduzidos a uma
equao quadrtica. Associada resoluo das equaes do 2o grau esto duas perspectivas
diferentes: uma de ordem geomtrica e outra de ordem aritmtica. Iremos ver como estas duas
vertentes se relacionaram desde as primeiras civilizaes que deixaram trabalhos escritos
neste mbito at matemtica moderna do sc. XVIII.
Seguirei de perto, e sempre que me seja possvel, as tradues das obras originais dos
autores. evidente que a interpretao dada aos textos ser pessoal e consequentemente no
dever ser tida em conta sem uma anlise dos textos originais.
Este trabalho est dividido em 4 captulos, segundo uma ordem cronolgica,
retractando cada um deles um marco histrico e inovador no mbito da resoluo de tais
equaes.
O Io captulo deste trabalho dedicado abordagem feita pelas civilizaes Egpcia e
Mesopotamia, uma vez que o nosso conhecimento das matemticas pr-Helensticas est
quase exclusivamente dedicado ao material escrito por estas civilizaes. Tanto no Egipto,
como na Mesopotmia os problemas resolvidos surgiam das necessidades prticas do
quotidiano, na maioria dos casos relacionados com a medio. Desta forma eram consideradas
apenas as solues positivas dos problemas.
Habitualmente os Egpcios resolviam equaes lineares simples e s em raros casos
resolviam equaes quadrticas, sendo estas associadas resoluo de tringulos rectngulos
do tipo (3, 4, 5). Desta forma, era dada uma resoluo aritmtica de problemas puramente
geomtricos.
Enquanto isso, os Babilnios dessa poca estavam na posse completa da tcnica de
manipulao das equaes quadrticas, apresentando uma resoluo de ndole algbrica, com
algoritmos muito semelhantes queles que hoje utilizamos. No entanto, na resoluo dos
problemas no se encontra sequer uma s instncia daquilo a que chamamos "demonstrao";
no lugar do argumento aparece somente a prescrio de regras.
Vamos no 2o captulo ver a forma como a civilizao Grega abordou as equaes do 2
grau, numa atmosfera de racionalismo que colocava no s a questo como, mas tambm a
questo porqu. Podemos distinguir duas pocas diferentes: a via de inspirao geomtrica
com Euclides (sc. ffl a.C.) e a via de inspirao aritmtica com Diofanto (sc. m d.C).
Em Euclides, os problemas do T grau eram de natureza geomtrica, resolvidos
geometricamente e acompanhados sempre com uma demonstrao tambm ela geomtrica.
Desta forma, o raciocnio algbrico era em Euclides totalmente expresso de uma forma
geomtrica.
J em Diofanto, os problemas considerados eram de natureza aritmtica, sendo a
resoluo dada de ndole algbrica. Em Diofanto encontramos, ao que se pensa, a primeira
utilizao sistemtica de smbolos algbricos.
A fuso das duas vias atrs referidas deu-se na poca seguinte, retratada nesta
dissertao no 3o captulo, que dedicado civilizao rabe. Os matemticos rabes,
influenciados pela habilidade algbrica dos Babilnios e pelo rigor cientfico dos Gregos,
foram os primeiros a sistematizar a resoluo das equaes do 2o grau, resolvendo os
problemas por um processo algbrico e apresentando uma demonstrao geomtrica. Como
ainda no eram aceites as solues e os coeficientes negativos, havia a necessidade de dividir
as equaes do 2o grau em vrios tipos e, consequentemente, continuavam a existir diferentes
algoritmos de resoluo.
H a destacar o proeminente matemtico Al Khowarizmi, que conseguiu com clareza e
simplicidade resolver tais problemas apresentando demonstraes geomtricas originais
relativamente a Euclides.
Abu Kamil, outro matemtico rabe tambm merecedor de destaque, utilizava, nas
demonstraes apresentadas para a resoluo dos mesmos tipos de equaes, proposies dos
Elementos de Euclides, tomando assim as demonstraes mais rpidas. Uma outra grande
inovao deste matemtico consistiu na introduo de um novo mtodo de resoluo das
equaes quadrticas, que permitia obter directamente o valor do quadrado. Nas
demonstraes apresentadas para este mtodo, Abu Kamil aceitava que um segmento de recta
pudesse representar um quadrado, pondo assim de lado a aritmetizao dos segmentos. No
entanto, este progresso no foi aceite pela restante comunidade matemtica e por vrias
dcadas foi ignorado.
de salientar que tanto Al Khowarizmi como Abu Kamil apresentavam os algoritmos
e as respectivas demonstraes recorrendo a casos particulares. Foi com o rabe Al Khayyam
que assistimos pela primeira vez formulao do algoritmo resolutivo para o caso geral.
Os progressos que se fizeram sentir relativamente resoluo das equaes
quadrticas no perodo que se seguiu foram sobretudo referentes notao. Do rabe Al
7
Qalasadi ao Europeu Girard, passando por muitos outros matemticos, assistiu-se evoluo,
embora lenta, da resoluo dos problemas na forma sincopada.
Finalmente no 4o captulo fazemos referncia a alguns matemticos Europeus que
deram contributos nesta rea nomeadamente Girard que aceitou j as solues negativas e o
carismtico Descartes que, com a sua capacidade inventiva caracterstica de mentes geniais,
introduziu a notao que usada nos dias de hoje. Descartes destaca-se tambm pelo facto das
demonstraes geomtricas apresentadas para os problemas algbricos que se propunha
resolver serem originais em relao ao modo habitual de resoluo caracterstico do seu
tempo.
Por fim, refiro-mo a MacLaurin, um matemtico Britnico que apresentou no sc.
XVm a resoluo das equaes do 2o grau duma forma geral e cuja demonstrao a base
daquela que ensinada hoje em dia aos alunos do secundrio.

8
1. CIVILIZAES PR-HELENSTICAS

A matemtica das civilizaes anteriores civilizao Grega era de ndole prtica e


ligada s necessidades do quotidiano (clculo do calendrio, administrao das colheitas,
organizao das obras pblicas, cobrana de impostos, pequeno comrcio, etc.).
Segundo Eves ([22] pg. 30) a natureza esttica da estrutura social e a vincada
separao de certas reas, aliadas a deficientes meios de comunicao, no permitiam que os
conhecimentos se divulgassem. A acrescentar a isto, muito do material deixado por estas
civilizaes foi destrudo, ora por guerras, inundaes e catstrofes, ora por puros actos de
vandalismo (conta-se, por exemplo, que um dspota chins mandou destruir todos os livros de
estudo) ou simplesmente por no ter resistido ao desgaste do tempo. Quando se tentou
reescrever as obras perdidas houve necessidade de o fazer de memria, o que torna impreciso
o conhecimento da verso original. Todos os aspectos referidos fazem com que seja difcil
datar com preciso as descobertas destas civilizaes.
Tanto os Chineses como os Indianos utilizavam um material muito deteriorvel como
a casca de rvore e o bambu. A partir do sc. I a.C. os Chineses comearam a utilizar o papel,
mas mesmo assim poucos so os documentos desta civilizao, anteriores ao sc. VII, que se
conhecem. J os Babilnios escreviam em placas de barro e coziam-nas, o que as tornava
quase indestrutveis. Os Egpcios utilizavam o papiro e o tempo seco da regio fez com que
alguns resistissem at aos nossos dias. Desta forma, a anlise das matemticas dos sculos
pr-Helensticos ser dedicada s civilizaes Egpcia e Mesopotmica.
Convm, no entanto, salientar que o nosso conhecimento actual sobre estes povos
depende dos documentos destas civilizaes que sobreviveram at aos nossos dias, que foram
descobertos e cujo texto foi decifrado. Por exemplo, at h muito pouco tempo pensava-se
que a civilizao mais rica ao nvel de conhecimentos era a Egpcia, pois tinha-se em 1858
descoberto o chamado Papiro de Rhind, que embora tivesse sido escrito por volta de 1650
a.C, continha material ainda mais antigo. No entanto, algumas dcadas atrs, com as
descobertas de O. Neugebauer e F. Thureau Dangin (que decifraram um grande nmero de
placas de argila escritas pela civilizao Mesopotmica), descobriu-se que o desenvolvimento
da civilizao Mesopotmica supera o da civilizao Egpcia. Quem sabe se dentro de alguns
anos ou dcadas no encontraremos material destas ou de outras civilizaes que demonstre
conhecimentos mais evoludos?

9
1. 1 CIVILIZAO EGPCIA

Uma grande parte dos conhecimentos matemticos da civilizao Egpcia chegaram


at ns atravs de alguns raros papiros que, de algum modo, resistiram ao desgaste do tempo
por mais de trs milnios e meio. Referimo-nos ao Papiro de Rhind (escrito por volta de 1650
a.C), ao Papiro de Moscovo (escrito por volta de 1850 a.C.), ao Papiro de Kahun e ao de
Berlim, preciosas fontes de
informao acerca da
matemtica egpcia. Segundo
Boyer ([6] pg. 16), quase
todo o conhecimento
revelado nos papiros hoje
conhecidos era de ordem
prtica e os elementos
principais das questes eram
Rolo de couro dos matemticos egpcios tirado de Histmre des
clculos. Mesmo quando mathmathiques-vol /de Jean Paul Collette
apareciam elementos tericos, o objectivo era facilitar a tcnica e no a compreenso. Muitos
destes clculos surgiam como j foi referido, da necessidade de resolver problemas da vida
quotidiana, nomeadamente no que diz respeito actividade econmica crescente na regio, e
por outro lado surgiam tambm associados ao ensino, ora como exerccios, ora como enigmas
e recreaes matemticas. De entre os problemas apresentados nestes papiros, a maior parte
dos que hoje se classificariam como algbricos, reduziam-se a equaes do Io grau.
Para resolver este tipo de problemas os Egpcios utilizavam um mtodo (que hoje se
designa por mtodo de falsa posio ou falsa suposio) que consiste em atribuir incgnita
um valor numrico reconhecido partida como falso. Substitua-se a incgnita por esse valor
e fazia-se os respectivos clculos. Para encontrar a soluo do problema bastava multiplicar o
valor atribudo inicialmente incgnita pelo quociente entre o termo independente da equao
que traduz o problema e o valor que se obteve ao substituir a incgnita pelo valor inicialmente
suposto.
Saliente-se porm que, segundo Collet ([12] pg. 40), nem todos os problemas que
aparecem nos papiros egpcios se traduzem em equaes lineares. Nos papiros de Kahun e de
Berlim aparecem alguns problemas que se reduzem a equaes quadrticas simples ou, mais
especificamente, a um sistema de 2 equaes a 2 incgnitas, em que uma das equaes
linear e a outra quadrtica. O mtodo usado para resolver este tipo de problemas tambm o
10
da falsa posio, embora com as devidas adaptaes: semelhana do que acontecia para as
equaes lineares; tambm neste caso so atribudos valores numricos especficos s
incgnitas que, embora reconhecidos como falsos, satisfazem a equao linear do problema.
Substituindo esses valores na outra equao e fazendo os respectivos clculos pode-se
facilmente encontrar a soluo; uma vez que se trata de uma equao quadrtica, em vez de se
multiplicar os valores supostos inicialmente pelo quociente entre o termo independente da
equao quadrtica e o valor que se obteve, multiplica-se pela raiz quadrada desse quociente.
Seno, vejamos o seguinte exemplo tirado do papiro de Berlim:

Divide 100 em dois quadrados, tal que o lado de um % do lado 4o outro. Fazes um tringulo

em que um lado 1 e o outro % . O quadrado de % % ; os quadrados somados fazem 25^ ; a raiz

VA . A raiz de 100 10, dividamos 10 por % que d 8. Os % de 8 so 6. As solues so 6 e 8. 1

CCassinet [91 pg.4-)

Em linguagem e simbologia actual, a analise da resoluo do problema a seguinte:


x2 + y2 =100
O problema reduz-se ao sistema \ 3
[y-i*
Como j foi referido, o autor do texto para resolver este problema, usou o mtodo da
falsa posio. Comeou por supor que os lados do tringulo rectngulo mediam 1 e % (isto ,
que o valor de xe de y era 1 e 3A respectivamente). Deste modo, a equao linear do sistema

era satisfeita. Ao substituir estes valores na equao quadrtica obteve l 2 + tyj = / j 6 .

Em seguida, o autor calculou a raiz quadrada do valor obtido e do termo

independente da equao quadrtica: ffiQ = % e Vl = 10. Para terminar, calculou o

quociente entre estes dois valores - r j = 8. Para obter as solues finais, bastou multiplicar

por 8 os valores supostos inicialmente, isto x = 8 x l = 8e_y = 8x y^ =6.

1
Segundo Cassinet ([9] pg. 5), este problema de natureza geomtrica. O autor ao comear por: "fazes um tringulo", est a
considerar que o problema consiste em resolver um tringulo rectngulo do tipo (3; 4; 5), cuja hipotenusa conhecida
( Vi 00 ), e cujas incgnitas so os catetos desse tringulo.
11
A validade deste raciocnio deve-se ao seguinte:

O autor comeou por escolher valores que satisfaziam a equao linear do problema.
Deste modo, e aumentando linearmente ambos os valores, essa equao continuaria sempre a

ser satisfeita.
Ao substituir esses valores na equao quadrtica obteve um certo valor. Aumentando
linearmente os valores atribudos s incgnitas, e substituindo de novo na equao
quadrtica, o valor obtido iria aumentar o quadrado da proporo do aumento, isto por se
tratar de uma equao quadrtica. De facto, no exemplo apresentado l 2 + (%) = / ( 6 , e

dobrando os valores supostos para as incgnitas obtemos 22 + (%j = 1 (


% Temos ento

Conclui-se portanto que, para resolver o problema anterior, deve-se calcular a raiz
quadrada do quociente entre o termo independente da equao quadrtica do problema e o
valor obtido ao substituir nessa equao os valores inicialmente supostos para as incgnitas
ou, de outro modo, o quociente entre as razes quadradas desses valores.

Segundo Radford ([38] pg. 72), a resoluo dos problemas algbricos apresentada
pelos Egpcios (mtodo da falsa posio) no pode ser considerada um mtodo algbrico, mas
sim aritmtico. No ponto de vista deste autor, num raciocnio algbrico a incgnita tida
como conhecida, representada por uma letra, palavra ou smbolo e envolvida em
operaes como se de um nmero se tratasse. O procedimento dos Egpcios baseava-se em
fazer clculos com nmeros concretos at chegarem ao valor da incgnita. A incgnita era
apenas o ponto de chegada dos problemas.

Tendo em conta o contedo dos papiros referidos, somos tentados a concluir que esta
civilizao pouco ter contribudo para a resoluo das equaes do 2o grau.

12
l .2 CIVILIZAO MESOPOTMICA

Uma outra civilizao que se desenvolveu no mesmo perodo que a civilizao


Egpcia foi a Mesopotmica, por vezes tambm chamada Babilnica2. H uma maior
abundncia de documentos relativos matemtica desta civilizao, em virtude do material
utilizado para a escrita ser diferente; em vez de papiros, os Mesopotmios utilizavam tbuas
de barro mole, as quais eram escritas com um estilete e cozidas ao sol ou num forno. Desta
forma, eram mais resistentes ao tempo e,
consequentemente, mais duradouras.
Segundo Dedron e Itard ([15] pg. 317), a
extraco de uma raiz quadrada ter sido,
provavelmente, o mais antigo problema do 2o grau
em toda a histria da matemtica, tendo sido
resolvido pelos Babilnios de uma forma numrica3
(correspondia a calcular o nmero que elevado ao
quadrado d a, que equivale a resolver a equao

x2 = a) utilizando uma tabela de quadrados, que


Tbua Babilnica da coleco da Universidade
lhes permitia obter um enquadramento da raiz de Yale tirado de Mathmatiques et
Mathmaticiens de Pierre Dedron e Jean Itard.
procurada, dando-lhes um valor por defeito e
outro por excesso.
Um excerto duma tabela utilizada pelos Babilnios para este fim poderia ser como o
que a seguir se apresenta:
Nmero Quadrado

1;20 1;46,40
1;21 1;49,21
1;22 1;52,04
1;23 1;54,49
1;24 1;57,36
1;25 2;00,25

2
A Babilnia foi durante alguns perodos, a cidade mais importante da Mesopotmia.
3
O documento mais antigo que se conhece que tem este problema resolvido de uma forma geomtrica remonta civilizao
Grega mais especificamente a Euclides no livro II dos Elementos.
13
Analisando a tabela de quadrados4 podia-se concluir que -J estava compreendido
entre 1;24 e 1;25. Desde que as situaes a resolver no exigissem um grau de aproximao
muito grande, os Babilnios consideravam que j era 1,24 ou 1;25. No entanto e sempre
que necessrio, eram utilizados algoritmos rigorosos de pesquisa para obteno de valores
mais precisos. Por exemplo, conheciam uma aproximao de -J bem mais rigorosa:
1;24, 51,10.

Mas os Babilnios no sabiam apenas resolver equaes do 2o grau do tipo r = a.


Segundo Katz ([33] pg. 31), esta civilizao estudou e desenvolveu
significativamente a teoria da resoluo das equaes quadrticas, no constituindo para eles
dificuldade encontrar as solues de qualquer equao do 2o grau completa uma vez que estes
haviam desenvolvido uma habilidade algbrica notvel e introduzido operaes algbricas
muito flexveis como transpor termos de uma equao somando "iguais a iguais", e
multiplicar ambos os membros de uma equao por quantidades iguais para remover
denominadores ou eliminar factores.
Para isso contavam com o auxlio de tabelas, essenciais no sistema de numerao
sexagesimal utilizado.

Os mais antigos documentos provenientes da civilizao babilnica mostram-nos como | eles

estavam na posse de um sistema completo de regras e clculos para nmeros racionais maiores do que zero,

comprimentos e reas; apesar dos textos que chegaram at ns lidarem apenas com problemas nos quais os

dados eram explicitamente valores numricos, [mas] no nos deixam dvidas que a generalidade das regras

por eles usadas denota uma facilidade tcnica notvel no trato das equaes do 1 e 2 o grau. CBourbaki [53

pg. 47)

Uma vez que apenas eram considerados coeficientes positivos, as equaes


quadrticas completas podem dividir-se em trs tipos:
x2+ px = q,
x2 =px + q,
x2 + q =px.

4
Note-se que os valores da tabela esto escritos no sistema sexagesimal.
14
M. Thureau Dangin tem uma obra pioneira no que diz respeito anlise dos
documentos da civilizao Mesopotamia, e os exemplos que se seguem foram tirados
(embora no directamente) do seu trabalho, mais propriamente do seu livro intitulado Textos
Matemticos Babilnicos. Os dois primeiros exemplos que se seguem so extractos da tbua
BM 13901, enquanto que o terceiro e ltimo exemplo faz parte da tbua YBC 4663.
Nas transcries destes textos, M. Thureau Dangin usou uma notao prpria,
designando as unidades por , as potncias negativas de 60 pelos sinais ' , ", etc., e as
potncias positivas de 60 por ' , ", etc. Saliente-se porm que, quando se trata
especificamente de uma unidade, o autor no utiliza qualquer smbolo, escreve apenas 1.
No livro de Mahammed ([37], pg. 12 a 15), fonte donde retirei estes textos, o autor
substitui os smbolos utilizados por M. Thureau Dangin para representar as potncias
positivas de 60 por , , etc.

15
Equao do tipo x1 + px = q
Eu adicionei a rea e o lado do meu quadrado: <\ea 45'. Tu consideras 1, a unidade. Divides o 1 a

meio: d 3 0 ' . Multiplicas 3 0 ' por 3 0 ' : d 15'. Junta o15'ao 45': d 1. o quadrado de 1. Subtrais 30', que

foi o que tu multiplicaste, a 1: obtns 30', o lado do quadrado. CMahammed [37] pg. 12)

Representando o lado do quadrado por x, o problema reduz-se a resolver a equao


2
x + x = 45 ' que do tipo x2 + px = q. 0 algoritmo usado foi o seguinte:

x=, l Y + 45' - - = V(30')2 + 45' - 30 = Jl5' + 45' -30'= VF - 30= I o -30'


p 30',

gwe corresponde no caso geral a x- />V


- - !
v^y

Os documentos matemticos provenientes da civilizao Mesopotamia no fornecem,


em geral, indicaes quanto ao modo como eram obtidas as solues dos problemas propostos
(neste caso, como era obtido o algoritmo). Apesar de no haver certezas, Katz ([33] pg. 33 e
34) de opinio que os algoritmos resolutivos das equaes quadrticas devem ter sido
obtidos atravs de raciocnios geomtricos. Katz defende que a descoberta, para o caso
particular das equaes deste tipo, poder ter sido apoiada numa figura como a que a seguir se
apresenta. (Note-se que se trata apenas de uma conjectura, uma vez que tal figura no aparece
nas placas de argila at hoje descobertas e referidas na literatura.)

'Argumentao'
X p/2 x p/2

x2 px X x2 x2

p/2 p/2
P
rea total = x2+px rea total = x2+px rea total = x2 + px+

( p\
Como x2 + px = q, vem que a rea do quadrado de lado x+ e q+ ; da se
v 2^y V2j

conclui que x + = ^\q + <=> x


V2y

16
Equao do ripo x2-px=q ou x = px+q
Eu subtra rea da superficie, o lado do meu quadrado: deu 14 30. Consideras 1, a unidade.

Divides o 1 a meio : d 30'. Multiplicas 3 0 ' por 3 0 ' : d 15'. Juntas o 15'ao U - X * d U ~ 30 15'. o

quadrado de 29 3 0 ' . Junta 30', que foi o que tu multiplicaste, a 29 3 0 ' : obtns 30, o lado do

quadrado. (Mabammed 137] pg. 12)

Neste caso, o problema reduz-se a resolver a equao x1 - x = \430, que do


tipo x2 - px = q. Uma vez que os Babilnios no aceitavam coeficientes negativos, este
problema foi interpretado como sendo do tipo x2 = px + q (onde novamente p e q so
positivos). Este tipo de equao j tem um algoritmo de resoluo diferente do anterior:

+14 oo 30 o +11 = ^ O ' ) 2 + 14oo30 +30 = Vl5'+14oo30 +30 = Vl4oo3015'+30'


x=.
rpV P
2930'+30 =30 que corresponde no caso geral a x + q + .
\*J 2

Afiguraque poder ter estado na base da descoberta deste algoritmo poder ter sido a

seguinte:

'Argu men taco*


x-p p x-p p/2 p/2 ^ x- p/2 -fr. p/2

mm
px iPIH x-p/2
q X q

m
< *

'P^
Podemos assim concluir que a rea do quadrado de lado (x-) igual a q+
V^J

(p)2 p.
de onde setiraque x - = y\q+'J'Y <z> x +q + D
* 2

17
Equao do tipo x2+q=px
Segundo Katz ([33], pg. 34), os Mesopotmios tinham dificuldade em conceber um
problema com vrias solues. Uma vez que uma equao deste tipo podia ter duas solues
positivas, a forma de apresentao do problema era totalmente diferente das anteriores. Em
vez de considerarem uma equao quadrtica, os Mesopotmios utilizavam um sistema de
duas equaes com duas incgnitas. Seno vejamos:

Eu adicionei o comprimento e a largura 4o meu rectngulo: deu 6o 30'; a sua rea 7 30'. Tu
divides 6o 30' a meio: d 3o 15'. Multiplicas 3o 15' por 3o 15': d 10 33*4-5". [A seguir] subtrais T 30' de
10 33'4-5" : d 3o 3' 4 5 " . o quadrado de 1o 45'. Junta 3o 15'; que foi o que tu multiplicaste, a 1o 45':
d 5o, o comprimento do rectngulo. Retira de 3o 15'quefoio que tu multiplicaste, 1o 45': d 1o 30', a
largura. (Mabammed [37] pg. 13)

fx+v = 630' , . . ,
Neste caso, o problema reduz-se a resolver o sistema \ que e equivalente
r
[x.y = 730
a resolver a equao x?+ 730' = 630' x. Os clculos apresentados correspondem, em
simbologia actual a:

2
'630'^ 2 6o 30' 6o 30' f ^630'>
o
7 30' + -7 30'
l 2 j

= ^(315')2 - T 30' + 3o 15' = 3015'-y/(315')2 - 7 o 30'

= A/33745Trr737 +315' = 3i5'-Vio:33'45"--7o 30'


= ^3 3' 45" +315' = 315'- > /3 0 3'45"
= 145' + 315' = 3 15'-I o 45'
= 5 =130'

da que, designando a soma das razes por S e o seu produto por P, obtemos

S
quex
S S
T>

\2j
P H e y=
2 2

Segundo Katz ([33] pg. 32 e 33), afiguraque poder ter estado na base da descoberta
do algoritmo para as equaes deste tipo poder ter sido a que se segue:

18
'Argumentao*
y
* * -

x+y

i. A

y
x+y
2
~
-* - i
x-y
V 2
:
" " " . ' . ' .

\'
y

A rea da zona a sombreado igual rea do rectngulo que tem de lados xey, da
que a rea seja x xy = P. Donde se conclui que:

fx-y^2
N 2
'x+y ^ 'sY = p+ o x-y
,~2~ U.
Desta ltima igualdade, facilmente se tiram os valores dexedey:

Com os exemplos atrs apresentados confirma-se que a habilidade algbrica dos


Babilnios lhes permitia resolver toda e qualquer equao quadrtica. Cajori ([7] pg. 4)
salienta o facto deste sucesso ter sido obtido margem do uso de qualquer simbolismo
algbrico.
Boyer ([6] pg. 25) chama a ateno para a questo do utilitarismo associado a esta
civilizao, uma vez que no so conhecidos problemas do quotidiano dos Mesopotmios que
os obrigasse a desenvolver de uma forma to clara a resoluo das equaes quadrticas.
Para terminar, saliente-se a opinio de Bochner ([4] pg. 21) que diz ser notvel como
que os Babilnios conseguiram ser to avanados nos seus algoritmos, sem terem as
respectivas construes intelectuais. Estas construes s foram criadas pelos Gregos que
introduziram nomes expressivos e reflexes prprias sobre as vrias reas da matemtica.

19
2 CIVILIZAO GREGA

Durante todo o primeiro milnio a.C, profundas alteraes econmicas, culturais e


polticas ocorreram na bacia do Mediterrneo. Nesta atmosfera turbulenta, a actividade
intelectual das civilizaes Egpcia e Mesopotmica estava em declnio, enquanto que uma
outra civilizao se comeava a destacar, a civilizao Grega. Segundo Boyer ([6] pg. 33),
quando esta civilizao surgiu (final do segundo milnio a.C.) no trazia consigo qualquer
tradio matemtica ou literria; logo porm, mercadores, negociantes e estudiosos gregos
dirigiram-se aos centros de cultura no Egipto e Babilnia, onde contactaram com a
matemtica a desenvolvida.
Segundo Szab ([47] pg. 185) os antigos gregos aprenderam bastante com os
conhecimentos das civilizaes anteriores, mais particularmente com a civilizao Babilnica;
mas a predisposio que mostravam ter para aprender no s lhes permitiu assimilar
conhecimentos cientficos das outras civilizaes, como tambm expandi-los e melhor-los.
Segundo Struik ([45] pg. 73) o objectivo inicial da civilizao Grega era
compreender o lugar do Homem no universo, e a matemtica ajudava no sentido de ordenar as
ideias de uma forma racional. Embora no se conheam fontes fidedignas que nos permitam
visualizar o quadro do desenvolvimento inicial da matemtica nesta civilizao, possumos
edies credveis das obras de alguns matemticos importantes da antiguidade,
nomeadamente Euclides e Diofanto. Vejamos agora as contribuies destes dois matemticos
no que diz respeito resoluo das equaes do 2o grau.

20
2. l E U C L I D E S DE ALEXANDRIA

Pouco se sabe da vida de Euclides. Apesar da data e local do seu nascimento serem
desconhecidos, pensa-se que ter vivido no incio do sc. III
a.C. Segundo Collette ([12] pg. 68), parece provvel que o
autor tenha recebido a sua formao matemtica na Academia
Platnica de Atenas e que tenha sido o fundador da escola de
matemticos de Alexandria.
Relativamente aos trabalhos escritos por Euclides, Eves
([22] pg. 114) de opinio que tero sido pelo menos dez,
embora apenas cinco das suas obras tenham sobrevivido at aos
nossos dias. De todas as suas obras, a mais conhecida os
Elementos, da que Euclides e os Elementos sejam muitas vezes
Euclides de Alexandria num considerados sinnimos. Segundo Boyer ([6] pg. 87), os
quadro do sc XV de Juste de
Grand de Histoire des Elementos so cronologicamente a primeira obra de
mathnathiques - vol I de Jean
Paul Collette matemtica hoje conhecida; neles Euclides rene matrias
vindas de autores diversos, pocas distintas e estilos II
variados. Mahammed ([37] pg. 15) adianta ainda que \\_
Euclides no ter apenas compilado, sistematizado e ***&ctl^Mhhii^YonM
aGDflM ttflKpivKipnjtfMiitfft d

ordenado os trabalhos dos seus antecessores, mas tambm !|f|fe;S


os ter completado e aperfeioado em diferentes pontos,
sendo, no entanto, o seu principal mrito o facto de ter
deduzido 465 proposies a partir dum reduzido nmero de
definies e postulados.
No que diz respeito s equaes quadrticas, . . ~-plu> pUnnvftdutrlmt

podemos dizer que o autor apenas apresenta a resoluo de WQjWo ato*fopiiniaRwajyi?t*r~"""


rlMfmiiasormtTOTtutc '""
tais equaes (e de uma forma geomtrica) no livro VI Primeira pgina dos Elementos de Euclides
da edio de Bale 1558 tirado de
dos Elementos. No entanto, o livro II da mesma obra Mathmatiques et Mathmaticiens de Pierre
Dedron e Jean Itard.
dedicado exclusivamente equivalncia de reas, mais
concretamente, equivalncia de rectngulos, o que se traduz numa variedade de igualdades
entre expresses do 2 grau. Note-se que Dedron e Itard ([15] pg. 63) apelidaram este livro
de "lgebra Geomtrica dos Gregos".
Vejamos algumas das proposies dos livros II e VI dos Elementos, e as respectivas
igualdades algbricas que lhes esto associadas.
21
Proposio DL-4: Se uma linha recta cortada num ponto arbitrrio, o quadrado 4a linha inteira igual

aos quadrados dos segmentos, e a duas vezes o rectngulo contido por esses dois segmentos. CEuclides 120]

pg. 43)

A figura associada a esta proposio, e que foi apresentada por Euclides a


seguinte :

A T B

D Z E

Se designarmos AT por a e TB por b, a proposio anterior traduzida por:


(a + b)2=a2+b2+2ab

Proposio EE-5: Se uma linha recta cortada em partes iguais e desiguais, o rectngulo [compreendido]

entre os dois segmentos desiguais da linha recta, adicionado com o quadrado da linha compreendida entre as

seces, igual ao quadrado da metade da linha recta. (Euclides [20] pg. 4-5)

Afigura que Euclides apresentou para esta proposio foi a seguinte:

A C D B

L H

E LJ

Se designarmos AC por a e CD por b, a proposio anterior traduzida por :


(a + bXa-b)+b2=a2

5
Embora as figuras que vo ser apresentadas ao longo deste captulo faam parte da obra de Euclides, e tenham sido tiradas
do livro [20] da bibliografia, nalguns casos as letras foram alteradas.
22
A proposio II-6 complementar da proposio II-5 e diz o seguinte:

Proposio n - 6 : Se uma linha recta cortada em duas partes iguais, e se lhe acrescentarmos directamente

outra linha, o rectngulo compreendido entre a linha recta com a linha acrescentada, e entre a linha

acrescentada, adicionado ao quadrado da metade da linha recta, igual ao quadrado descrito sobre a linha

composta pela metade da linha recta e a linha acrescentada, como uma s linha. (Euclides [20] pg. 46)

Afigura apresentada por Euclides foi a seguinte:

A C B D

L H

E G F

Para obtermos uma igualdade algbrica com base nesta proposio, vamos
representar AC por a e CD por b. A igualdade ser:
{a + b\b-a)+a1^b2

De entre as restantes proposies do livro II dos Elementos h tambm a destacar a


proposio 11. Esta j no se trata de uma igualdade entre expresses quadrticas, mas da
resoluo de uma equao quadrtica concreta, cuja soluo conduz conhecida divina
proporo (que actualmente se designa por nmero de ouro). No entanto, a resoluo
apresentada no pode ser generalizada s outras equaes do 2o grau.
Como j referi, a apresentao da resoluo geral (embora geomtrica) das equaes
do 2o grau, foi dada apenas no livro VI da mesma obra.
Note-se que, no que diz respeito s equaes completas do 2 grau, estas podiam ser
divididas em trs tipos:
x2+ px = q,
x2 =px + q,
x2 + q = px.

23
semelhana do que aconteceu anteriormente (e tambm do que, sculos mais tarde,
Diofanto far), Euclides apresentou resolues para cada um dos diferentes tipos.
As proposies 28 e 29 do livro VI dos Elementos so as que apresentam tais
resolues, resolues essas geomtricas baseando-se em aplicaes de reas. A proposio
27 do mesmo livro d a condio de resolubilidade do primeiro destes problemas.
Antes de enunciar as referidas proposies, convm referir que aplicar uma figura
rectilnea a um segmento construir um rectngulo sobre esse segmento que tenha a mesma
rea da figura rectilnea. Por vezes, a aplicao feita no ao segmento exacto, mas a um
outro maior ou menor; nesses casos, dizemos que a aplicao feita por excesso ou por
defeito, respectivamente.

Proposio VI - 27: De todos os paralelogramos que so aplicados a uma mesma linha recta, e que so
deficientes por paralelogramos semelhantes e semelhantemente situados ao paralelogramo descrito sobre a
metade dessa linha, o maior aquele que aplicado sobre a metade dessa linha, e que semelhante ao seu
defeito. CEuclides [20] pg. 169)

Para o caso dos paralelogramos serem rectngulos, a figura suporte da proposio


dada por Euclides seria a seguinte:
D
Z
H O

K B

A demonstrao dada em linguagem e simbologia actual a seguinte:

Seja AB a linha dada que est cortada a meio no ponto T. Sobre AB foi aplicado o
paralelogramo AD deficiente pelo paralelogramo TE, que semelhante a uma figura dada,
mas que est descrito sobre a metade da linha AB.
O que a proposio afirma que de todos os paralelogramos que so aplicados sobre
AB, e cujo o defeito semelhante a TE, o maior AD. Para mostrar tal resultado, Euclides
considerou que sobre ABfoi tambm aplicado um outro paralelogramo arbitrrio, neste caso
AZ, tambm deficiente e com defeito semelhante a TE. O que se pretende mostrar que AD
maior que AZ.
24
Como os paralelogramos TE e KO so semelhantes, tm a mesma diagonal. Portanto
TZ ser igual a ZE. Juntando a ambos o paralelogramo KO, obtemos que o paralelogramo
TO ser igual ao paralelogramo KE.
Alm disso, o paralelogramo TO igual ao paralelogramo TH (porque a linha AT
igual linha TB); da que TH seja igual a KE. Juntando agora a ambos o paralelogramo TL,
conclumos que o paralelogramo inteiro AZ ser igual ao gnomom ZTBE.
Ora, o paralelogramo AD, que igual ao paralelogramo TE, maior que o gnomom;
logo maior que o paralelogramo AZ.

De seguida, Euclides considerou o caso em que o defeito maior que afigura dada
inicialmente. Dividiu de novo a linha AB em duas partes iguais no ponto T, e aplicou a essa
linha o paralelogramo AV, deficiente pelo paralelogramo TM que novamente semelhante a
uma figura dada, e est descrito sobre a metade da linha AB. De seguida, aplicou linha AB
o paralelogramo AE deficiente pelo paralelogramo DZ, semelhante a TM, e por sua vez
figura dada inicialmente.
Novamente, o que a proposio afirma que o paralelogramo AV (que foi aplicado
sobre a metade da linha dada) maior que o paralelogramo AE. Afigura referente a este
segundo caso a seguinte:

O H

V
K M

A D B

Como os paralelogramos DZ e TM so semelhantes, tm a mesma diagonal, que neste


caso EB. Alm disso, temos que VZ igual a VO (porque HZ igual a OH), da se conclui
queVZ maior que KE. Temos tambm queVZ igual a VD, da que VD seja maior que KE.
Juntando a ambos o paralelogramo KD; vem que o paralelogramo inteiro AV' maior
que o paralelogramo inteiro AE, que o que se pretendia mostrar.

25
Proposio VI - 28: A uma linha recta dada aplicar um paralelogramo que igual a umafigurarectilnea
dada, mas que deficiente por um paralelogramo semelhante a um paralelogramo dado: necessrio que a
figura rectilnea dada no seja maior que o paralelogramo construdo sobre a metade da linha dada, e
semelhante ao defeito. CHeath [28] pg. 260)

A adaptao da figura apresentada por Euclides relativamente a esta proposio, para


o caso particular dos paralelogramos serem rectngulos, e consequentemente o defeito ser um
quadrado6 a que se segue:
H G P F

O Q| R

Vejamos como se obtm afiguraapresentada.


dado um comprimento (AB), a rea de uma figura plana (C) e uma figura (D) ao
qual o defeito ser semelhante.

A primeira etapa, consiste em dividir o segmento dado a meio, e desenhar sobre a


segunda metade do segmento uma figura semelhante a D.

escolhi o caso particular dos paralelogramos serem rectngulos, e consequentemente o defeito ser um quadrado para ser mas
claro a relao que existe entre esta proposio e a resoluo das equaes quadrticas.
26
Na segunda etapa constri-se um paralelogramo J, semelhante a D, tal que a rea de
J seja igual rea de EBFG - rea de C. (Esta construo obriga a usar outras proposies
do livro VI dos Elementos, s quais no fao referncia, nomeadamente quadraturas e
Teorema de Pitgoras.)

Finalmente, na terceira etapa coloca-se a figura J no canto superior esquerdo da


figura EBGF e prolongam-se alguns dos lados, de modo a obter a figura pretendida.
H G P F

O Q

A E S B

Demonstrao:
Pretendemos mostrar que a rea de ASQT igual rea de C e que SBRQ um
quadrado:
SBRQ um quadrado pois por construo EBFG e OQPG so quadrados. Logo
SQ=QR
Como por construo rea deJ = rea de EBFG - rea de C, vem que:
rea do gnomom EBFQ = rea de EBFG - rea de J
= rea de EBFG - (rea de EBFG - rea de C)
= rea de C

Uma vez que GB a diagonal do quadrado EBFG, vem que a rea de QF igual
rea de QE. Se juntarmos a ambos o paralelogramo QB, vem que o paralelogramo PB
igual ao paralelogramo OB.
Mas OB igual a TE, pois o lado AE igual ao lado EB, da que TE seja igual a PB.
Juntando a ambas as figuras o paralelogramo OS, temos que o paralelogramo inteiro
TS ser igual ao gnomomEBFQ, que como j vimos tem de rea C. Est assim demonstrado o
pretendido. D
27
Embora Euclides no tivesse usado tal facto, era possvel (e de uma forma mais curta)
demonstrar o resultado anterior usando a proposio 5 do livro H, uma vez que, o enunciado
destas duas proposies se refere a um segmento de recta que est dividido em partes iguais e
desiguais.
Finalmente, para que possamos ver as equaes do 2o grau subjacentes ao problema,
vamos atribuir letras aos vrios segmentos. Consideremos o segmento dado AB como sendo a
e AS (que o comprimento procurado) como sendo x. O rectngulo procurado (ASQT) tem
de lados x e a - x e tem rea C, da que procurar esse rectngulo seja procurar o comprimento
x tal que:
x(a-x)=Cox2+C=ax -> equao do tipo x2 + q = px.

Alm disso, este problema pode ser visto como o de procurar um rectngulo, sendo
dada a soma e o produto dos seus lados. Um problema semelhante a este j havia aparecido
numa tbua da Babilnia, que ter sido escrita cerca de mil anos antes, e voltou a aparecer em
Diofanto que viveu vrios sculos depois de Euclides.

A proposio 29 complementar da proposio 28 e permite-nos resolver


geometricamente os outros tipos de equaes do 2o grau completas.

Proposio V I - 29: Aplicar sobre uma linha recta dada, um paralelogramo que igual a uma figura

rectilnea dada, mas que excedente por um paralelogramo semelhante a outro paralelogramo dado.

(Euclides [20] pg. 172)

Adaptando a figura apresentada por Euclides para esta proposio para o caso
particular dos paralelogramos serem rectngulos, e consequentemente o excesso ser um
quadrado, obtm-se a seguinte figura:
G P F

E B

T O S Q

Vejamos como que ela se obtm.

28
Novamente, dado um comprimento (AB), a rea de uma figura plana (C) e uma
figura (D) ao qual o excesso ser semelhante.

A primeira etapa perfeitamente anloga do caso anterior, que construir sobre a


segunda metade do segmento AB uma figura semelhante a D.
G P

A E B

Na segunda etapa, constri-se um paralelogramo J, semelhante a D, mas tal que a


rea da figura J seja igual rea de EBPG + rea de C (novamente, esta construo usa
outras proposies do livro VI dos Elementos).

Na terceira e ltima etapa, coloca-se a figura J no canto superior esquerdo da figura


EBPG e prolongam-se os lados, obtendo-se assim afigura apresentada inicialmente.
G P

A p
R

T O S Q

Demonstrao:
Pretendemos agora mostrar que ATQR tem rea igual de C e que SQRB um
quadrado.
Por construo, temos que EBPG e OQFG so quadrados, donde se conclui que
SQRB tambm um quadrado.
Tambm por construo, temos que:
29
rea de J'- rea de EBPG + rea de C.
Da se conclui que rea do gnomom OQFB = rea deJ- rea de EBPG
= (rea de EBPG + rea deC)- rea de EBPG
= rea de C
Como AE igual a EB, vem que a rea do paralelogramo AO igual rea do
paralelogramo OB que, por sua vez, igual rea de PR uma vez que GQ a diagonal do
quadrado GOQF. Juntando a AO e a PR o paralelogramo EQ, vem que a rea deAQ igual
rea do gnomom OQFB, que como j vimos igual de C. Est assim demonstrado o que
se pretendia. D

Do modo anlogo aquilo que acontecia com a proposio 28, esta proposio podia ter
sido demonstrada mais rapidamente usando a proposio II-6, pois neste caso ambas as
proposies (II-6 e VI-29) referem-se a um segmento que foi dividido em partes iguais e tinha
no seu prolongamento um outro segmento.
semelhana do que fizemos anteriormente, vamos atribuir letras aos diferentes
segmentos, para transformar a proposio anterior numa igualdade algbrica. Na mesma linha
de raciocnio, consideremos o segmento dado AB como sendo a e AR (que o comprimento
procurado) como sendo x. O rectngulo procurado ARQT tem de lados x e x - a e tem rea C;
da que procurar o rectngulo seja procurar x tal que:

x ( x - a ) = C o x 2 = C+ax - equao do tipo x2 =px + q

Se considerssemos o segmento AB como sendo a e a linha que lhe foi acrescentada


(BR) como sendo x, ento o rectngulo procurado teria de lados x e a + x. Neste caso,
procurar esse rectngulo seria procurar o comprimento x tal que:

x(x+a)=Co x2 + ax~C - equao do tipo x2 + px = q

Desta forma, obtivemos os outros dois tipos de equaes do 2o grau completas.


A primeira atribuio de letras aos segmentos apresentada para esta proposio pode
ser vista como a de procurar um rectngulo em que dada a diferena e o produto dos seus
lados. Novamente, um problema semelhante a este, j tinha aparecido numa tbua babilnica,
e foi tambm resolvido mais tarde por Diofanto. Note-se porm que, tanto os Babilnios
como Diofanto resolveram o problema de uma forma algbrica e no geomtrica.
30
Numa outra obra de Euclides, chamada Dados, o autor apresenta a resoluo de
equaes do 2o grau, mas em casos concretos. Exemplo disso so as proposies 84 e 85.
Estas proposies baseiam-se nas proposies 59 e 58 da mesma obra, que por sua vez so
aplicaes das proposies 28 e 29 do livro VI dos Elementos que acabamos-de_analisar.
Vejamos o que dizem as proposies 58 e 59 dos Dados.

Proposio 58: Se um espao dado * aplicado a uma recta dada, e se esse espao dficiente por uma
figura semelhante a umafiguradada, [ento] os lados do defeito so conhecidos. CEudides [20] pg. 564-)

Vou novamente considerar o caso particular em que o defeito um quadrado. Para


este caso particular, a figura apresentada por Euclides seria a seguinte:
H O Z

K T

A E B D

Tendo agora em conta a figura, o que a proposio afirma que se o espao dado AT
for aplicado linha dada AD, e se esse espao for deficiente pela figura TD semelhante a uma
figura dada (que considerei ser um quadrado), ento os lados do defeito (que neste caso sero
iguais) so conhecidos. A demonstrao consiste no seguinte:

dado o segmento AD, uma figura C ao qual AT equivalente, e um paralelogramo


ao qual TD semelhante (que como j referi, considero ser um quadrado). Toma-se o
segmento AD e marca-se o seu ponto mdio, E. O comprimento de ED ser portanto
conhecido. Sobre ED descreve-se a figura EZ semelhante ao defeito (que neste caso um
quadrado). A rea dessa figura ser portanto conhecida.
Pela proposio II-5 dos Elementos, temos que afigura EZ igual soma das figuras
AT e KO. Como a rea das figuras EZ e AT so conhecidas, a rea de KO ser tambm
conhecida. Como KO (neste caso) um quadrado, facilmente se deduz o comprimento do seu
lado. Assim sendo, o lado EB (que igual ao lado do quadrado KO) conhecido. Como o
comprimento ED tambm conhecido, o comprimento de BD ser facilmente deduzido. Est
assim encontrado o lado do defeito, que o que se pretendia. D

31
Proposio 59: Se am espao dado aplicado a uma recta dada, e se esse espao excedente por uma
figura semelhante a uma figura dada, [ento] os lados <\o excesso so conhecidos. (Euclides 120] pg. 565)

Mais uma vez, vou considerar que o excesso um quadrado. Assim sendo, a figura
associada a esta proposio a seguinte:

M rr

Z \ E
D B

T O

Novamente, e tendo em conta a figura, o que a proposio afirma que se o espao


dado AB for aplicado linha dada AT, e se esse espao for excedente pela figura TB
semelhante a uma figura dada (que considerei ser um quadrado), ento os lados do excesso
(que novamente so iguais) so conhecidos. A demonstrao consiste no seguinte:

dado o segmento DE, uma figura C ao qual AB equivalente e um paralelogramo


ao qual TB semelhante (que como j referi, considero ser um quadrado).
Divide-se o segmento DE a meio, no ponto Z. O comprimento de TE ser portanto
conhecido. Sobre ZE descreve-se afigura ZH semelhante ao excesso. A rea dessa Jigura
ser portanto conhecida.
Pela proposio 11-6 dos Elementos, temos que afigura KV igual a soma da rea
das figuras AB e ZH da que seja tambm conhecida. Como KV (neste caso) um quadrado
facilmente se deduz o comprimento do seu lado, isto KO. Como KT tambm conhecido,
pois igual a ZE, facilmente se deduz o comprimento de TO (o lado do excesso), que o que
pretendamos mostrar. D

32
Proposio 84: Se duas rectas compreendem um espao dado, e formam um ngulo dado, e se uma delas

maior que a outra uma linha dada, [ento] cada uma delas ser conhecida. (Euclides 120] pg. 591)

No caso particular em que o ngulo BAE recto, a figura correspondente proposio


a seguinte:

E D F

A C B

Tendo em conta a figura, o que a proposio afirma que se duas linhas rectas AB e
AE compreendem um espao dado AF com um ngulo dado BAE, e em que AB maior que
a linha AE uma certa linha dada AC, ento cada uma das linhas AB e AE tambm
conhecida.

Demonstrao
So dados o segmento AC, o ngulo BAE (que vamos considerar ser recto) e uma
determinada rea J. Pretende-se encontrar os segmentos ABeAEtal que a diferena entre os
seus comprimentos seja o segmento dado AC e a rea do rectngulo que tem esses
comprimentos como lados (AF) seja a rea dada J.
Por construo, a diferena entre o comprimento de AB e o de AE AC, portanto,
vem necessariamente que AE = CB, donde resulta que CF um quadrado. Ento, j?ela
proposio 59 do Dados, conclu-se que CB conhecido. Fica assim o problema resolvido
pois AE igual aCBeABa soma de AC, que dado inicialmente, com CB. D

De uma forma algbrica, o problema consiste em encontrar os segmentos x

(comprimento) e v (largura), tais que \ , (onde d = AC) o que equivale a encontrar o


[x- y = d
comprimento xou>> tal que: y1 + dy - J ou x 2 = dx + J

A resoluo da equao do tipo x2 + q = px est patente na proposio 85 dos Dados.

33
Proposio 85: Se dugs rectas compreendem um espao dado, e formam um ngulo dado, e se a sua soma
dada, [ento] cada uma delas ser conhecida. (Euclides [20] pg. 592)

Novamente, se considerarmos que o ngulo recto, a figura a que se segue:

E D F

A C B
Tendo em conta a figura, o que a proposio afirma que se duas linhas rectas AC e
CD compreendem um espao dado AD com um ngulo dado ACD, e em que a linha
composta pelas linhas AC e CD dada, ento cada uma das linhas AC e CD tambm
conhecida.

Demonstrao
So dados o segmento AB, o ngulo ACD (que novamente vamos considerar ser recto)
e uma determinada rea J. Pretende-se encontrar os segmentos AC e CD (=CB) tal que a
soma dos seus comprimentos seja o segmento dado AB e a rea do rectngulo de lados AC e
CD seja a rea dada J.
Como CF um quadrado, pela proposio 58 dos Dados, temos que o lado desse
quadrado (CB) conhecido. Fica assim resolvido o problema pois CD igual a CB, e AC a
diferena entre AB que dado inicialmente e CB. D

De uma forma algbrica, o problema consiste em encontrar os segmentos x (AC) e y


[x X V = J . ,
(CD), tais que \ (onde 5 = AB), o que equivale a encontrar o comprimento x ou v
[x + y = s
tal que: x2 + J = sx ou v2 + J = sy .

34
Por tudo o que vimos, somos levados a concluir que a contribuio que Euclides deu
ao nvel da resoluo das equaes do 2 grau notvel. Note-se, no entanto, que o raciocnio
algbrico em Euclides expresso totalmente numa forma geomtrica.
Varadarajan ([49] pg. 3) classifica Euclides como sendo um dos matemticos mais
famosos de todos os tempos, provavelmente tendo em conta os notveis contributos deste
matemtico em vrias reas com destaque para a geometria.
Szab ([47] pg. 187) admira-se com o facto de os Gregos, nomeadamente Euclides,
terem sentido a necessidade de demonstrar uma proposio matemtica, e terem-no feito com
tal percia que ainda admirada nos dias de hoje. No entanto, Dedron e Itard ([15] pg. 332)
salientam o facto de Euclides tambm camuflar o processo de descoberta, semelhana do
que acontecia na Babilnia, como o caso, de entre muitos outros da proposio 11-11.
Segundo Cajori ([7] pg. 58), aps a morte de Euclides, a teoria dos nmeros
permaneceu estacionria por volta de 400 anos, uma vez que a geometria monopolizava a
ateno de quase todos os matemticos gregos. De facto, o matemtico grego que maiores
contributos deu no campo da lgebra e aritmtica nasceu em meados do sc. IH d.C. (600
anos depois de Euclides) e d pelo nome de Diofanto de Alexandria.

35
2.2 DIOFANTO DE ALEXANDRIA

Diofanto de Alexandria foi um matemtico grego que ter nascido no incio da


segunda metade do sc. IH d.C. Embora se desconheam datas exactas acerca do seu
nascimento e morte, pensa-se que ter morrido com 84 anos .
Tanto quanto se conhece, Diofanto autor duma obra intitulada Aritmtica, composta
por 13 livros, dos quais apenas 10 so conhecidos. Segundo Mahammed ([37Jj)g. 25), a obra
de Diofanto apresenta uma coleco de problemas que recaem explicitamente sobre a
resoluo de equaes do Io e 2o grau (e por vezes de grau superior) envolvendo uma ou mais
incgnitas. Segundo Smith ([43] pg. 382), os problemas apresentados so puramente
algbricos e o tratamento apresentado, apesar de por vezes recorrer geometria, baseia-se
essencialmente em mtodos analticos.
Apesar de muitos dos problemas apresentados se reduzirem a equaes do 2o grau
completas e de Diofanto ter dito no fim do prembulo da sua obra que iria expor a forma de as
resolver, esta no se encontra no corpo da parte da sua obra, hoje conhecida.
Os problemas 27 a 30 do livro I da Aritmtica de Diofanto so os primeiros que se
reduzem a equaes do 2o grau completas e na apresentao da sua resoluo, Diofanto utiliza
um artifcio que permite transforma-las em equaes do 2o grau incompletas, cuja resoluo
imediata. Segundo Ver Eecke ([17] pg. XXTII) tal artifcio consiste (independentemente do
nmero de equaes, do grau dessas equaes e do nmero de incgnitas .envolvidas no
problema) em designar uma certa quantidade desconhecida (uma nova incgnita por
excelncia) por aritmo. De seguida, as vrias incgnitas do problema so escritas em funo
dessa nova incgnita e, ou so feitas substituies de entre as vrias equaes ou, como no
caso das equaes indeterminadas, so tomados casos particulares, de modo a reduzir iudo a
uma s equao, com uma s incgnita (o aritmo) nunca com grau superior ao segundo.
Note-se que a escolha do aritmo no era arbitrria. Ao invs, era feita de forma a que,
no final, se obtivesse uma equao nas condies acima referidas. Aps calcular o valor do
aritmo era fcil determinar as vrias solues do problema.
Lus Radford chama a ateno para o mtodo inovador introduzido por Diofanto:

7
Segundo Ver Eecke, ([17] pg. VU) no epitfio da campa de Diofanto estaria escrito um problema cuja soluo indicava
com que idade este matemtico tinha falecido.
36
O procedimento de Diofanto totalmente diferente, 4o ponto de vista conceptual, dos
procedimentos de falsa posio, e da geometria de colagem. Com efeito, aqui, uma incgnita (designada por
a ritmo, que quer dizer nmero) posta em evidncia nos clculos. Esta incgnita no como nos processos
aritmticos, o ponto de chegada dos clculos, ela n^o mais, como acontece no caso da geometria da
colagem, um ponto de referencia esttico no desenvolvimento o problema, mas sim uma quantidade que
operada como se fosse um nmero conhecido. (Radford 138] pig. 74)

Segundo Ver Eecke ([17] pg. XXHI), Diofanto seguia a tradio da poca, na medida
em que aceitava e trabalhava apenas com nmeros racionais positivos. Sempre que um
problema tinha como soluo um nmero negativo, apelidava-o de "absurdo"; e se a soluo
fosse um nmero irracional ou imaginrio, era tido como impossvel.
semelhana do que aconteceu com os seus antecessores, tambm Diofanto resolvia
os problemas utilizando o discurso contnuo8. No entanto, introduziu j algumas abreviaturas
e smbolos. Struik ([45] pg. 106) afirma mesmo que foi com Diofanto que encontramos pela
primeira vez uma utilizao sistemtica de smbolos algbricos. Segundo Klein ([34] pg.
146) os sinais usados por Diofanto eram JC^^, &0*. Wyur,^ttv OAA **^** v ^
meras abreviaturas. Por esta razo, S ^ i ^ W " ^ ' *f- *** fo>j-
Nesselmann (em Algebra der Griechen, ifowur ^&JVAS-*<&W&<- $wy*>vv<yu>, K ^)
pg. 302) chamou ao procedimento f ^ ^ J T ^ J ^ . ^ ^
praticado por Diofanto de lgebra na^r, SWIVMKVCOV KM /n <WT oU$"2f ^xffi
r
sincopada que e uma transio da lgebra . {,/- /, - * ,A .* L
retrica para a moderna lgebra b**.*. tnrw^o ^A T. ict?
simblica. De um manuscrito do sculo XIV mostrando o simbolismo
em uso de History ofMathematics - Vol II de David Smith.
Um outro progresso de Diofanto
consistiu no facto do leitor poder acompanhar o processo de descoberta do resultado. Isso
bem visvel na resoluo dos seus problemas, e iremos v-lo nos exemplos que a seguir se
apresentam.

Isto , dando explicaes e resolues usando texto corrido.


37
2.2.1 E Q U A E S D O 2 2 GRAU DETERMINADAS

O primeiro problema do 2 grau a 26a proposio do livro I. Note-se que tal


problema conduz a uma equao do 2 grau incompleta.

Problema 1-26
So-te dados dois numeras, procura o nmero que, se o multiplicarmos respectivamente, d dum
lado um quadrado, e doutro lado a raiz desse quadrado.
Sejam 200 e 5 os dois nmeros dados, e [consideremos] que o numera procurado 1 a ritmo.
Temos ento que, se o nmero procurado multiplicado por 200 unidades, d 200 aritmos, e se
multiplicado por 5 unidades, d 5 aritmos. Ora, foi dito que um desses nmeros um quadrado e que o
outro a raiz desse quadrado; da que, se ns elevarmos ao quadrado 5 aritmos obtemos 25 quadrados de
aritmos [que so] iguais a 200 aritmos. Dividamos tudo pelo aritmo; vem que 25 aritmos so iguais a 200
unidades, e o aritmo igual a 8 unidades; isto satisfaz a proposio. CDiofnto [17] pg. 36)

Neste primeiro exemplo, Diofanto representa o nmero procurado por 1 aritmo (que
iremos designar por x). Facilmente se v que o problema se reduz equao 25 x1 = 200 x.
A resoluo dada em simbologia actual foi a seguinte: 25 x2 = 200 x<=> 25 x = 200 <=> x = 8

Como j referi, a proposio 27 do mesmo livro o primeiro problema que se reduz a


uma equao do 2 grau completa, mas que Diofanto atravs da nova incgnita denominada
aritmo transformou numa equao do 2 grau incompleta.

Problema 1-27
Encontrar dois nmeros tais que a sua soma e o seu produto sejam dois nmeros dados.
preciso, no entanto, que o quadrado da semi-soma dos nmeros procurados exceda por um
quadrado o p\-oc\uijD desses nmeros; coisa que figurativo.9 Propomos portanto que a soma dos nmeros
se[a 20 unidades, e que o produto seja 96 unidades. CDiofnto 117] pg. 36 e 37)

9
Segundo Ver Eecke ([17] pg. 37) serfigurativosignifica que pode ser susceptvel de representao geomtrica atravs de
transformaes de reas.

38
f X + Y = 20
/w linguagem actual este problema reduz-se a resolver o sistema \ ,
0 0
* [Xx / = 96
que equivalente a resolver a equao X2 + 96 = 20X, do tipo x2 +q- px.

[Consideremos] que a diferena entre os nmeros se|a 2 aritmos. Da que, como a soma 4os
nmeros 20 unidades, se dividirmos em duas partes iguais, cada uma das partes ser metade da soma, ou
seja, 10 unidades. Da que, se ns [untarmos a uma das partes, e se retirarmos outra parte, a metade da
diferena entre os nmeros, ou seja 1 aritmo, estabelece-se de novo que a soma dos nmeros 20
unidades, e que a sua diferena 2 aritmos. Em consequncia disso, consideremos que o nmero maior 1
aritmo aumentado de 10 unidades, que so a metade da soma dos nmeros; da que o nmero mais
pequeno ser 10 unidades menos 1 aritmo, e temos [novamente] que a soma dos nmeros 20 unidades e
que a diferena entre eles 2 aritmos.
Temos tambm que o produto dos nmeros 96 unidades. Ora, o seu produto igual a 100
unidades menos 1 quadrado de aritmo; se igualarmos isso a 96 unidades, vem que o aritmo igual a 2
unidades. Em consequncia disso, o nmero maior ser 12 unidades e o mais pequeno 8 unidades, e estes
nmeros satisfazem a proposio. (Diofnto [17] pg. 57 e 38)

Diofanto considerou que a diferena entre os dois nmeros era 2 aritmos. Vamos
representar um aritmo por x. Alm disso, como a semi-soma dos nmeros 10, vem que os
nmeros so X= 10 - x e Y = 10 + x. Como o produto dos nmeros 96 resulta que:
(l0-x)(l0+x)=96<=>100-x 2 = 96<=>x2=4 donde se tira que x = 2 e os nmeros
procurados so 8 e 12. D

Podemos ver o clculo dos valores de X e de Y da seguinte forma:


X = 10 - -y/lO2 - 96 A Y = 10 +A/l02 - 96 , que corresponde a

X +Y (X+YY W V X+Y (X+Y^


X - XY A Y = + XY .
V 2 j
Como X + Y = 20 e X x Y = 96, que so os coeficientes da equao X2 + 96 = 20X,

resulta que X = - J - q AY = + J - q , que so as frmulas usadas j


2 \\l) 2 \UJ
anteriormente pelos Babilnios para resolverem as equaes do 2o grau deste tipo.

39
Note-se que a condio inicial dada por Diofanto: " preciso, no entanto que o
quadrado da semi-soma dos nmeros procurados exceda por um quadrado o produto desses
nmeros", suficiente para que se possa calcular a raiz quadrada, ou seja (no contexto em que
Diofanto trabalhava) que a soluo seja racional. Seno vejamos:

Temos que < . Considerou-se que X = x e que Y= h x.


\ Jv X Y r 2* L

Assim sendo, XxY =


S f y
\ rs\2 x2. Mas P = S x2 equivalente a
+x
v- v2 j u. v2y

-P= x2. D
v^y

Problema 1-30
Encontrar dois nmeros tais que a sua diferena e o seu produto sejam dois nmeros dados.
E preciso no entanto que o qudruplo do produto dos nmeros, aumentado do quadrado da
diferena, se|a um quadrado; coisa que tambm figurativo.

Propomos portanto que a diferena dos nmeros seja 4- unidades e que o prouto seja 96
unidades. CDiofanto [17] pg. 40)

Neste caso, o problema cinge-se a resolver o sistema < , que equivalente

quer equao X2 = 4 X + 96 do tipo x2 = px + q, quer equao Y2 +47=96 que do


tipo x2 + px = q.

Que a soma dos nmeros seja 2 a ritmos. Ora, ns temos tambm que a sua diferena 4- unidades,
da que o maior 1 a ritmo mais 2 unidades, e o menor 1 a ritmo menos 2 unidades; isto estabelece que a
sua soma 2 aritmos e que a sua diferena 4 unidades.

Temos agora que o p\routo dos nmeros 96 unidades. Mas o produto dos nmeros 1 quadrado
de aritmo menos 4 unidades. Igualemos isso a 96 unidades; o nmero maior de novo 12 unidades e o mais
pequeno 8 unidades,- nmeros esses que satisfazem o problema. (Diofanto [17] pg. 40)

Como a diferena entre os nmeros estava definida, Diofanto considerou que o aritmo
(que eu represento por x) era a semi-soma dos nmeros. Como a diferena entre eles 4, o
autor chegou concluso que X = x + 2eY = x-2.
40
Como o produto entre os nmeros 96 resulta que ( i + 2 ) ( x - 2 ) = 9 6 o x 2 - 4 = 96

o x2 = 100 <=>x= 10. Assim sendo, os nmeros procurados so o 12 e o 8.

Da mesma forma que anteriormente, podemos ver os clculos dos valores de X e de Y

como sendo X =-^96 + 2 2 + 2 A Y = -^96 + 2 2 - 2, que correspondem a

2
X= AXY +
(X-Y\ X-Y |.
AY = JXY +
rxy^ X-Y
+

Como X - Y = 4 e X x Y = 96 que, novamente so os coeficientes das equaes


X2 = 4X+96 e Y2+4Y-96 dos tipos x 2 =/?x+ge x2+px= ^respectivamente, resulta

que X = 1 ^ + fp) +f ^ = j + / ^ n A , que novamente so as frmulas usadas


U. 2
j anteriormente pelos Babilnios para resolverem as equaes do 2 grau destes dois tipos.

Novamente, a condio inicial dada por Diofanto: " preciso no entanto que o
qudruplo do produto dos nmeros, aumentado do quadrado da diferena, seja igual a um
quadrado", para garantir que d uma raiz quadrada racional. Seno vejamos:

fX - Y = D D D
Temos que < . Considerou-se que X = x -\ e que Y= x .
A x / r L 2
2
Assim sendo, XxY x+
D D
Temos ento que x2
-
r D\
P, que
V ^J v2y v^y
DY
equivalente a P + = x . Multiplicando ambos os membros desta ltima equao
\*J

por 4, obtemos 4P + D2 = (2x) 2 . D

Os restantes problemas que se reduzem a uma equao do 2o grau determinada tm


uma resoluo muito semelhante s apresentadas.

41
2.2.2 E Q U A E S D O 2 2 GRAU I N D E T E R M I N A D A S

O primeiro problema do 2o grau indeterminado que aparece nos livros de Diofanto o


problema 8 do livro EL Tambm neste tipo de problemas, o autor escreve as vrias incgnitas
em funo da incgnita suplementar a que ele chama aritmo.
Mas vejamos tudo o que foi dito com o exemplo atrs referido:

Problema II8
Divide um quadrado proposto em dois quadrados. Propomos portanto dividir 16 em dois

quadrados. (Diofanto [17] pg. 53 e 54-)

O problema reduz-se a encontrar uma soluo racional para a equao kt 2+k2 2=16.

Consideremos c\ue o primeiro nmero 1 quadrado de aritmo. Temos ento que o outro nmero

ser 16 unidades menos 1 quadrado de aritmo. portanto


Aiiiimoicorom Lber I I . '*, ' <fi \
necessrio que 16 unidades menos 1 quadrado de aritmo seja
me11 ii li i . Igjgw J<B .(MJ^jSaii***fiSs- '
igual a um quadrado.

Formemos o quadrado duma quantidade qualquer de

aritmos diminuda de tantas unidades quantas a raiz de 16 cyutigrlo Viu


unidades. Que seja o quadrado de 2 aritmos menos 4- unidades.
__ T M
n s ^ a S g S f a . S E S SSSSSfgS '
Esse quadrado ser portanto 4 quadrados de aritmo mais 16

unidades menos 16 aritmos. Igualemos isso a 16 unidades menos ^SSSS^^SSfe-^sSS^^SpS

1 quadrado de aritmo; [untemos s duas partes os termos

negativos, e retiremos os semelhantes dos semelhantes. Vem due p * ^ A ^ , . , . ; . ; ., >-^- :.-, y , -

5 quadrados de aritmos so iguais a 16 aritmos, e o aritmo vale "*"


lywio uc

/ 5 ' T" e m o s e i t o " ^ e um dos nmeros ser ^ % 5 e o outro

l4
sera / 7 5 ' <^>r3, e s s e s ^ o l s nmeros adicionados valem 40
%:.

que 16 unidades, e cada um deles um quadrado. (Diofanto

[17] pg. 53 e 54.) Pgina 61 da edio de 1670 da


Arithmetics de Diofanto, que contm a
resoluo do problema II8.

Diofanto sups que ki fosse 1 aritmo, isto kx=x. Em seguida considerou que
k2=ax-4 (um certo nmero de aritmos menos 4 unidades) e escolheu um caso particular:

42
2
k2 = 2 x - 4 . Calculou o quadrado de cada um dos nmeros: kj = x2 enquanto que o outro
quadrado k22 = (2x - 4)2 = 4X2 + 16 - J6x. Por fim, escreveu a equao que traduzia o
problema e resolveu-a:
x 2 +4x 2 + 16-16x = 16<=> x 2 +4x 2 + 16 - 16x + 16x = 16 + 16x
o 5 i 2 + 16 = 16+16x
o 5x2 = 16x
16
ox=
5
No final, e uma vez que j tinha obtido o valor do aritmo, foi calcular o valor das
incgnitas envolvidas no problema:
'16> 2 256 , 2 ,~ ,s2 32 A2 /<12V 144
.:h2 = y? ek2 =(2x-4/
25 ' 25
V > J V v -> y
^ ^ , 2 , 2 256 144 400
Confirma-se que ki + k2 = 1 = = 16. D
25 25 25

curioso referir que foi junto a este problema que Fermt enunciou, na margem do
seu exemplar da Aritmtica de Diofanto, o famoso resultado conhecido como "ltimo
teorema de Fermt", s demonstrado h relativamente pouco anos, apesar de j terem passado
mais de 350 anos da sua morte.

Pelo que atrs foi apresentado, podemos constatar que embora o trabalho de Diofanto
se assemelhe muito lgebra praticada na Babilnia10, houve alguns progressos.
Vrios autores, nomeadamente Mahammed ([37] pg. 25) e Struik ([45] pg. 105) so
da opinio que, apesar de Diofanto no ter sistematizado a lgebra, mostrou na resoluo dos
seus problemas um alto grau de habilidade matemtica e de engenho. Cajori adianta:

A extraordinria habilidade de Diofanto permanece tambm noutra direco: na sua ingenuidade


maravilhosa de reduzir todos os tipos de equaes a casos particulares que ele sabia resolver. (Cajori ([71
pg. 62) '

No obstante o facto de Diofanto no ter generalizado os diferentes mtodos, segundo


Boyer ([6] pg. 133), o estudo em termos numricos de tantos problemas, por vezes muito
semelhantes, talvez fosse uma tentativa de conseguir tal generalizao.

Swift ([46] pg. 163-170) afirmou que a obra de Diofanto " o mais beloflorescimentoda lgebra babilnica"

43
Apesar da sua vlida contribuio ao nvel da lgebra, foi com os rabes,
nomeadamente com Al Khowarizmi, que a lgebra se assumiu como disciplina autnoma.

A lgebra em Dofanto aparece como um instrumento para resolver os problemas: mas no


autnoma. O Aritmo, quanto a ele, um artifcio heurstico (...). A obra de Al Khowarizmi mostra-nos,
pelo contrrio, uma lgebra que constitui uma disciplina. CRadforcJ [38] pg. 77)

44
3 CIVILIZAO RABE

Apesar da quase inexistente tradio matemtica na civilizao rabe, a partir do sc.


VIII, com a constituio do vasto imprio islmico, comeava a surgir interesse pelos mais
variados campos da cincia e uma grande predisposio para aprender. Segundo
Youschkevitch ([51] pg. 4), no fim do sc. VIII e incio do sc. IX reagruparam-se em
Bagdad numerosos sbios e tradutores vindos de diferentes cidades do mundo. Certos
califas11 como Al Mansur (754-775) e Harun ar Rashid (786-809) receberam-nos e
encorajaram-nos a recolher e desenvolver os conhecimentos existentes nas diferentes cincias,
incluindo a matemtica. Por exemplo, o califa Al Mansur mandou fundar uma grande
biblioteca contendo os mais importantes manuscritos das civilizaes anteriores; poucos anos
depois o califa Al Mamum (813-833) mandou fundar em Bagdad uma academia de cincia
chamada "Casa da Sabedoria".
Novamente segundo Youschkevitch ([51] pg. 6), o trabalho inicial desta comunidade
cientifica consistia em estudar as obras da antiguidade e traduzi-las para rabe; passados 100 a
150 anos j estavam traduzidas as obras mais importantes de Euclides, Arquimedes,
Apolnio, Hero, Ptolomeu e Diofanto.
Foi com esta civilizao que se criaram as bases e toda uma estrutura slida para que o
ramo da matemtica chamado lgebra pudesse surgir e desenvolver-se como uma verdadeira
Cincia.
Como responsveis de todos estes progressos h a destacar nomes como Al
Khowarizmi, Abu Kamil, Al Khayyam e Al Qalasadi.

Os califas eram os soberanos espirituais.


45
3.1 AL KHOWARIZ MI

Abu Abd Allah Mohammed Ben Musa Al Khowarizmi12 viveu entre 780 e 850. Era
originrio de Khazen e foi um dos matemticos que pertenceram -mj |
t
"Casa da Sabedoria". Foi em Bagdad, o novo centro de I lip.
I ! %$
Matemtica do mundo aps Alexandria, que Al Khowarizmi
|

escreveu, entre 813 e 833, o seu clebre livro Al Kitab al- if iI


I
muhtasarfi hisab al-jabr wa al-muqabala cuja traduo letra j |
L lS
Breve tratado sobre o clculo /para o processo] de restaurao j | p
e comparao. Foi da deturpao do termo al-jabr e da extenso j
do nome resoluo das equaes que, no sc. XTV, surgiu a
palavra lgebra. Segundo A. Djebar ([19] pg. 7) e E. Hbert
([30] pg. 29), todos os especialistas em histria da matemtica j
so unnimes em admitir que foi com este pequeno tratado que Al Khowarizmi num selo da
Unio Sovitica de A History of
se deu o nascimento oficial da lgebra como disciplina e com Mathematics de Vitor Katz.
tudo o que lhe adjacente: nome, objectos, algoritmos, demonstraes, aplicaes etc. esse
o motivo principal pelo qual Al Khowarizmi considerado por muitos o "Pai da lgebra". De
salientar que a forma como o autor apresenta a lgebra simples e prtica, sendo o seu
contedo bastante prximo da lgebra elementar dos nossos dias. Djebar ([32] pg. 72)
classificou-o mesmo como a "melhor exposio elementar da lgebra dos tempos modernos".
Este livro foi largamente difundido, e pcxie ser considerado como a referncia da primeira escola
matemtica arabo - islmica. (...) Este livro constituiu uma fonte, por excelncia; para todos os sucessores de
Al Khowarizmi. (Hbert [30] pg. 29)

Saliente-se porm que o livro do "Pai da lgebra" era destinado ao pblico em geral.
Al Khowarizmi, no prefcio do seu livro, confirmou tal facto quando escreveu:

Fui encorajado ...a escrever um pequeno trabalho sobre o clculo [para o processo] de al-[abr wa

al-muqabala, e ele contm tudo o que h de mais fcil e mais til em aritmtica, como aquilo que os

homens necessitam constantemente para repartirem as suas heranas, seus donativos, suas partilhas, nas

decises, no comrcio, e noutras transaces que eles fazem entre eles, [e que so] relativas medio de

A grande maioria dos nomes rabes aparecem muitas vezes escritos de forma diferente consoante os livros que se consulte.
46
terrenos, escavao de canais, no clculo geomtrico, ou outros aspectos de vrios tipos que possam surgir

de novo. (Radford [38] pg. 77).

Note-se tambm que segundo Sesiano ([41] pg. 103), os tratados rabes no s no
usavam qualquer simbolismo algbrico, como tambm no usavam sinais numricos; usavam
apenas o discurso contnuo.
Relativamente ao contedo do livro, Al Khowarizmi comeou por identificar os
objectos da lgebra, dizendo que existem trs classes de nmeros:

o Dirham1''que representava os nmeros simples, o dinheiro que se possui;


o Gizr ou Say que designava a raiz, a incgnita, a coisa;
o Mal que era o nome dado ao quadrado da coisa ou a um determinado montante.

Estas quantidades eram vistas, pelo autor da obra, como sendo objectos matemticos
puros, desligados de um objecto concreto.
Um dos progressos da obra de Al Khowarizmi foi a introduo das equaes na
resoluo dos seus problemas. As equaes serviram inclusivamente de base a toda a sua
obra, que como j vimos, deu origem lgebra. As equaes surgiram quando o autor tomou
conscincia de que nmeros de diferentes espcies podiam ser iguais entre si:

Um nmero pertencente a uma classe pode ser igual a um nmero de uma outra classe; tu podes
dizer por exemplo, "que quadrados so iguais a razes' ou "que quadrados so iguais a nmeros" ou "que
razes so iguais a nmeros." (Radford [38] pg. 78).

Tendo em conta que apenas eram aceites coeficientes e solues positivas, as


diferentes combinaes possveis entre os nmeros das trs classes existentes definiam os seis
tipos de equaes que deviam ser estudadas. Al Khowarizmi dividiu esses seis tipos de
equaes em dois conjuntos: trs tipos de equaes simples e trs tipos de equaes
combinadas. So elas:
Equaes simples
I o tipo quadrados iguais a razes, ax2 = bx

2o tipo quadrados iguais a nmeros, ax2 = c

3 o tipo razes iguais a nmeros. ax = b

13
O Dirham era a unidade monetria rabe.
Equaes combinadas
4o tipo razes e quadrados iguais a nmeros, x2 + px = q

5o tipo quadrados e nmeros iguais a razes, x2 + q = px

6o tipo razes e nmeros iguais a quadrados. px + q = x2

Saliente-se porm que Al Khowarizmi evitou sempre que possvel as equaes com
solues irracionais. Segundo Youschkevitch ([51] pg. 39), os exemplos apresentados
tinham quase sempre coeficientes racionais e solues inteiras. Entre as raras excepes,
encontram-se algumas equaes do 2o tipo (a x2 = b) e a equao 10x = (l0-x) 2 que

equivalente ax2 + 100 = 30x.


Note-se porm que os nmeros que aparecem nas equaes e a que ns hoje
chamamos coeficientes no eram vistos como nmeros que estavam a multiplicar pela raiz ou
pelo quadrado, mas sim como as quantidades de razes ou de quadrados que estavam
envolvidas no problema.
Para reduzir uma equao quadrtica qualquer forma cannica, Al Khowarizmi
apresentou dois processos: o de al-jabr e o de al-muqabala.14
Aos nossos olhos, o processo de al-jabr consiste em desembaraarmo-nos de sinais (-)
que aparecem na equao, bastando para isso passar termos negativos da equao de um
membro para outro, trocando-lhes o sinal. Mas, para Al Khowarizmi no existiam termos
negativos; ao invs, existiam nmeros ou combinaes incompletas de nmeros de diferentes
espcies. O processo de al-jabr consistia em restaurar, completando essa combinao de
nmeros naquilo que lhe faltava. Al Khowarizmi sabia que teria que juntar a mesma
quantidade a ambos os membros da equao para que a igualdade continuasse vlida. Seno,
vejamos o seguinte exemplo:

... a soma cem mais dois quadrados sem vinte coisas, e isso igual a cinquenta e oito dinheiros.

Completa agora cem e dois quadrados sem vinte coisas juntando vinte coisas a cinquenta e oito; fica cem

mais dois quadrados igual a cinquenta e oito e vinte coisas. (P^fordt [38] pg. 79)-

100 + 2 x 2 - 2 0 x = 58
o 100 + 2x2 - 2 0 x + 20* = 58 + 20x
<=> 100 + 2x2 = 58 + 20x

14
Os nomes destes processos surgem inclusivamente no ttulo do livro. Segundo Sesiano ([41] pg. 103) estes dois processos
j tinham sido usados e explicados por Diofanto na sua obra, embora sem lhes ter dado qualquer nome.
48
O processo de al-muqabala consistia em reduzir todos os termos da mesma espcie a
um s, agrupando os vrios termos semelhantes. O autor tambm considerava ser processo de
al-muqabala a diviso de todos os termos da equao pelo nmero de quadrados que estavam
envolvidos no problema. Continuemos com o exemplo anterior

...fica cem mais dois quadrados igual a cinquenta e oito e vinte coisas. Reduz isso a um quadrado,

tomando a metade de tudo o que tu tens. Isso d: cinquenta dinheiros e um quadrado, que igual a vinte e

nove dinheiros e dez coisas. Ento reduz isso, tomando vinte e nove de cinquenta, resta vinte e um e um

quadrado igual a dez coisas. CRadford [38] pg. 79.)

100 + 2x 2 = 58 + 20x
o 50 + x2 = 29 + lOx
o 5 0 - 2 9 + x 2 = 10x
o 21 + x2 = lOx

Note-se porm que a ordem pela qual os processos al-jabr e al-muqabala eram
aplicados no era arbitrria. Se se trocasse essa ordem, poderamos ser conduzidos a uma
expresso igual a zero (a qual no teria qualquer significado). Vejamos isso atravs dum outro
exemplo:

Suponhamos que temos a equao 17 x2 - 9 x - 4 6 = 12x2 - 3x - 44. O processo

de al-muqabala transform-la-ia na equao 5 x2 - 6 x - 2 = 0 que carecia de significado.

Em contrapartida, o processo de al-jabr permitia obter \1 x2 = Ylx2 - 3 x - 4 4 + 9x + 46,

e posteriormente, o de al-muqabala conduziria a 5x2 = 6 x + 2.

Com os dois processos referidos, era possvel reduzir toda e qualquer equao
quadrtica sua forma cannica. Depois, era s aplicar a essa equao (na sua forma
cannica) o algoritmo correspondente. Para cada um dos seis tipos de equaes, Al
Khowarizmi apresentou um algoritmo. No caso das equaes simples (I o , 2o e 3 o tipo) foi
dada a resoluo atravs de exemplos, sem apresentar qualquer demonstrao. Isso talvez se
devesse ao facto de tais demonstraes serem simples e j conhecidas da restante comunidade
matemtica.

49
Nas equaes combinadas (4o, 5o e 6o tipo) era dado o caso geral, mas a resoluo
algbrica (algoritmo) era apresentada atravs de um exemplo numrico concreto.
Curiosamente, estas resolues so idnticas s dadas pelos Mesopotmios. Hbert ([30] pg.
33) mesmo da opinio que Al Khowarizmi ter recebido esse conhecimento de herana
dessa civilizao.
No entanto, depois de resolver os problemas de uma forma algbrica, Al Khowarizmi
apresentava sempre uma demonstrao geomtrica. Segundo Djebar ([32] pg. 73), o facto de
o autor pensar que era necessrio demonstrar geometricamente os seus resultados demonstra
uma ntida influncia do rigor grego.
Vejamos tambm a opinio de Berggren sobre as fontes usadas por Al Khowarizmi:

Neste livro esto evidentes uma variedade de influncias incluindo mtodos hindus e babilnicos
que levam soluo daquela a que chamamos equaes quadrticas, e conceitos gregos na classificao dos
problemas em diferentes tipos, bem como nas provas geomtricas da validade dos mtodos envolvidos.
(Berggren [3] pg. 7)

Apesar de Al Khowarizmi apresentar os algoritmos e as demonstraes geomtricas


para casos particulares, A. P. Youschkevitch ([51] pg. 37) e Hbert ([29] pg. 33) afirmam
que o autor tinha conscincia de que o seu raciocnio era vlido para as outras equaes do
mesmo tipo.
De seguida, vou apresentar a anlise que Al Khowarizmi fez das equaes do 2 grau
simples.

50
Equaes do I o tipo a x2 = b x
Aqui temos um exemplo de quadrados iguais a razes: um quadrado igual a cinco das suas razes.
A raiz do quadrado 5 e 25 constitui o prprio quadrado, que evidentemente igual a 5 vezes a sua raiz.
Vejamos um outro exemplo:

Um tero de um quadrado igual a quatro vezes a raiz. A raiz do quadrado 12, e 144- o nmero
que corresponde ao prprio quadrado.

E agora, do mesmo modo, cinco quadrados so equivalentes a 10 razes. Um quadrado portanto

igual a 2 razes, a raiz do quadrado 2, e 4 representa o quadrado. C...) (Chester [11] pg. 9)

Os exemplos e as respectivas resolues apresentados em simbologia actual


correspondem a:

Casos particulares
X2 A 5x2=10x
2
x = 5x = 4x
3 o x2 = 2x
o x- 5 <=> x2 = 12x
o x2 = 25 o x = 12 o x =2
o x2 = 144 o x 2 =4

Caso geral
ax2 = bx
b_
o x2 = X
a
b
O X=
a
<=> x 2 =
Zf
\<*,

Para resolver este tipo de equaes, o autor ora reduzia o I o membro da equao a um
s quadrado, ora completava o quadrado, consoante a quantidade de quadrados fosse superior
ou inferior a 1 respectivamente. Depois, dividindo ambos os membros por x obtinha o valor
da raiz. O valor do quadrado era imediato.
Note-se que a soluo nula era simplesmente ignorada.

51
Equaes do 2 o tipo ax2 = c
Mostra-se do seguinte modo que quadrados so iguais a nmeros:

Vm quadrado igual a 9. O nmero 9 d a rea de um quadrado, da" que o nmero 3 seja a raiz.
Do mesmo modo, quando estamos perante uma grande ou pequena quantidade de quadrados do
quadrado procurado, devemos procedera uma reduo, que nos permita definir uma equivalncia com um
s quadrado. (...) Obtemos ento uma equao que define em numeroso valor de um s quadrado.

5e tivermos menos que um quadrado, por exemplo, se tivermos um tero, um quarto, ou a quinta
parte dum quadrado ou duma raiz, a equao deve ser tratada da mesma maneira, de modo que aparea, o
valor do quadrado completo ou duma s raiz. Examinemos o seguinte exemplo:

Cinco quadrados so equivalentes a 80. Da que um quadrado corresponda a uma quinta parte do
nmero 80, que evidentemente 16. Vejamos um outro exemplo:
A metade de um quadrado equivalente a 18.0 quadrado inteiro vale portanto 36.
Deste modo, todos os quadrados, qualquer que seja o seu nmero sero reduzidos a um s, ou a
parte do quadrado ser convertida num quadrado inteiro. necessrio proceder do mesmo modo no que
concerne aos nmeros que acompanham os quadrados. (Chester [11] pg. 9e10)

Os exemplos e as respectivas resolues apresentadas em linguagem e simbologia


actualforam os seguintes:
Casos particulares
5x2 = 80
-x2 =18
2 _ 80 2
x =9 <=> x 2

5 < x2 = 36
<=> x = 3 2
ox = 16 <=> x = 6
<=> X - 4
Caso geral
ax :2 = c
2 c
<=> X

I
a

Para resolver este tipo de equaes, semelhana do que fez no caso anterior, o autor
reduzia o I o membro da equao a um s quadrado, dividindo ou multiplicando ambos os
membros pelo mesmo nmero. Obtinha assim o valor do quadrado, e o valor da raiz seria
portanto imediato.
Note-se que a raiz negativa nunca era considerada.
52
Equaes do 3 o tipo ax = b
Para vermos o que razes iguais a nmeros, vejamos o seguinte exemplo:
Uma raiz igual a 3. Da que o nmero 9 seja o quadrado dessa raiz. Vejamos um outro exemplo-.
Quatro razes iguais a 20. Ento a raiz desse quadrado ser igual a 5.

Vejamos agora um outto exemplo: a metade de uma raiz igual a 10. A raiz inteira portanto igual
a 20, da que, evidente que 4-00 represente o quadrado. (Chester [11] pg. 10)

Casos particulares
1
x = 10
4x = 20
x=3
2
<=> x = 5 o x = 20
<=> x -9 2
o x - 25 o x2 = 400

Caso geral

ax=

<=> x =
a
^
o x =
vy

Uma vez que nas equaes do Io tipo, a soluo nula era ignorada, as equaes do 3o
tipo tm uma resoluo equivalente s do Io tipo.

Com os exemplos apresentados, podemos concluir que o autor no procurava apenas o


valor da raiz, nem apenas o valor do quadrado, mas ambos.
Vejamos agora os algoritmos e as demonstraes dadas por Al Khowarizmi para os
trs tipos de equaes combinadas.

53
Equaes do 4 o tipo x +px = ,
Quando os tesouros e as razes so iguais a um nmero, como quando tu dizes: um tesouro e

dez das suas razes so iguais a trinta e nove dinheiros.

O seu significado que ao teu bem, se lhe juntares o equivalente a dez das suas razes, atinge trinta e

nove. O processo Ide resoluo] consiste em 4ivi(i\r as razes por dois15, que cinco neste problema.

Multiplica-lo por si prprio que d vinte e cinco. Junta o que obtiveste aos trinta e nove. Isso dar sessenta e

quatro. Tomas ento a sua raiz quadrada que oito e retiras-lbe a metade Ido nmero] das razes que so

cinco. Resta trs que a raiz do bem que tu procuras e o bem nove. CDjebar [18] pg. 5)

Este problema reduz-se resoluo da equao x2 + 10* = 39, que do tipo

x2 + px = q.

'io^ 2
O algoritmo seguido pelo autor foi x - + 39 = 3 que para o caso
v- j
r \2
geral corresponde a x P] P
+q -
2 2

Demonstrao
Quanto ao problema: um quadrado e dez Idas suas razes] igual a trinta e nove, a figura
[correspondente] uma superfcie quadrada de lados desconhecidos, e o quadrado que tu queres conhecer,
da que tu queiras conhecer a raiz.
Seja essa a superfcie AB; e qualquer um dos seus lados a sua raiz. Para cada um dos seus lados, se tu
o multiplicares por um nmero qualquer, ento o montante desse nmero pode ser visto como o nmero
de razes que esto ju nto superfcie.

Como dissemos que com o quadrado, temos dez das suas razes, ns tomamos o quarto de dez que
dois e meio, e ns transformamos cada um desses quartos <em rectngulos> juntamente com um dos
lados da superfcie. Teremos assim, com a primeira superfcie que a superfcie CAB ), quatro [novas]
superfcies iguais, cujo comprimento igual raiz da superfcie CAB) e a sua largura dois e meio; so elas as
superfcies CH), CO, CK), 0 ) . Resulta uma superfcie de lados iguais, tambm desconhecidos, mas deficientes
nos seus quatro cantos; cada canto est deficiente [um quadrado] de dois e meio por dois e meio. Ento, se
tivermos necessidade de juntar [alguma coisa] de modo que a superfcie seja quadrada, ser dois e meio por
dois e meio, quatro vezes, o que d o valor total de vinte e cinco.

Metade das razes deve ser entendida como metade do coeficiente das razes, isto , metade do nmero de razes envolvidas
no problema.
54
Ora, ns sabemos que a primeira superfcie que a superfcie do bem, juntamente com as quatro
superfcies que a rodeiam e c\ue. valem dez razes, [so iguais] a trinta e nove em nmero.
Se ns lhe juntarmos os vinte e cinco que so os quatro quadrados que esto nos cantos da
superfcie CAB), a rea da superfcie maior que DE ser completada. Sabemos portanto que tudo isso ser
sessenta e quatro, e que um dos seus lados a sua raiz, que oito.

Se retirarmos a oito o equivalente a duas vezes um quarto de dez, que cinco, e so as extremidades
c\o lado da superfcie maior que DE; resta o lado [inicial] quetrs, quea raiz do quadrado [procurado].
(...) Eesta a figura:
D
H

; K

T
(Djebar [18] pg.6e7)

be.rfdljLi ylj juT. uUi-'l v> y'j.S


A^J
. o&S
l fj & J <-**j M AJI iAJ^q
JUI j4- j , j J | Jj-i'l <iJ l t k J,. j ^ j > * J d i
!
<* c * *

Ui J I dli j i . JV*
f
A ' /* J&taijjj
JX _ <

j t*t>M A V i > J b u Wjj. jw d i jip jj ?y 4>

^lJ- J. e*^ ! 1 ' I


J d f tU d ,, w>, jf tf gj-Jl .Ujj ^ ^ l l ,

Um extracto do livro /!/ Kitab al-muhtasarfihisab al-jabr wa al-nmqabala de Al Khowarizmi onde aparece esta
demonstrao de Dcouvrir les mathmatiques arabes de E. Hbert

Al Khowarizmi representa o bem procurado (x2) por um quadrado (AB) de lado


desconhecido (x). Pelo facto do problema proposto ser "um quadrado e dez das suas razes

55
igual a 39", o autor juntou ao quadrado inicial uma superficie cuja rea lOx, subdividindo
em quatro rectngulos iguais cujos lados so x e 2,5. Obteve assim a seguinte figura:

J K

R
2,5 X 2,5
T

Pelas condies do problema, a rea desta nova figura 39. Para completar esta
figura de modo a obter um quadrado falta em cada um dos 4 cantos, 1 pequeno quadrado de
lado 2,5. A rea total desses 4 quadrados 4 x2,5 =25.
Juntando esses quatro quadrados, obtm-se afigura por ele apresentada.
A rea dessa figura, ou seja do quadrado maior ser portanto 25 + 39, isto 64.

Sendo assim, o lado do quadrado maior V4 , que 8. Logo, o lado do quadrado inicial (x)

8-2 x2,5 = 3.
Est assim encontrado o valor da raiz e o quadrado completo vale 9. D

Mas, se repararmos, existe algumas diferenas entre os clculos feitos aquando da


resoluo numrica e os clculos feitos na demonstrao geomtrica do mesmo problema. Os

clculos feitos na resoluo numrica foram x = + 39 - enquanto que na

10
resoluo geomtrica foram x = J 4 x +39 - 2 x
v^y
Apesar das duas frmulas serem obviamente equivalentes, Al Khowarizmi explicou a
pequena diferena que existe entre elas:

Ns dividimos 3 meio as dez razes, multiplicamos [o resultado] por si prprio, e juntamos [o


resultado] ao nmero que trinta e nove, a fim de completar a construo da superficie maior, naquilo que
lhe faltava nos seus quatro cantos, pois todo o nmero cujo quarto multiplicado por si prprio, e depois
por quatro, como o produto da sua metade por si prpria.
Somos portanto dispensados de [multiplicar] o quarto por si prprio, e depois por quatro,

multiplicando apenas a metade por si prpria. CDjebar [18] pg. 7)


56
Equaes do 5 o tipo X2 +q=px
Quando os quadrados e os nmeros so iguais s razes como quando tu dizes: l/m quadrado e

vinte e um em nmero igual a dez das suas razes. Isto vale tambm para o teu bem, que tal que se lhe

[untares vinte e um dinheiros, a soma que da resulta igual a dez razes desse bem. O mtodo de resoluo

consiste no seguinte:

Toma metade das razes, isto cinco. Multiplica-as por elas prprias, d vinte e cinco. Retira-lbe os

vinte e um que o que ns dissemos que est junto do quadrado, restar quatro. Toma a sua raiz que dois.

Retira [esse valor] metade das razes que so cinco. Restam trs. Isso a raiz do quadrado que tu procuras e

o quadrado nove.

Se tu quiseres, [unta a raiz Cde quatro) metade das razes. Isso d sete que [tambm] a raiz do

quadrado que tu procuras, e o quadrado quarenta e nove. Cl. R E. M. Paris [32]pg. 76)

Em linguagem actual, o problema cinge-se a resolver a equao x2 + 21 = 10 x que

do tipo x2 + q - px.

10 10
O algoritmo dado para resolver esta equao foi: x -21 =3
\ J

r
x2 - 9 que corresponde no caso geral a x P}2 -q
V2y

Note-se que esta equao tem duas solues positivas. Para obter a outra soluo,
como o prprio autor referiu, basta alterar a ltima operao (que foi indicada no algoritmo)

10
para uma adio. O valor da segunda soluo x = h - 2 1 = 7=>x 2 = 4 9 ,
v^y

que corresponde a x = +

Demonstrao:
Quanto C justificao da soluo de): um quadrado e vinte e um dinheiros igual a dez das suas
razes, ns tomamos para o quadrado uma superfcie quadrada de lados desconhecidos, a superfcie CAD),
depois [untamo-lhe uma superfcie de lados paralelos de largura igual a um dos lados da superfcie CAD). Isso
ser o lado EN, e a superfcie ser CEB).
O comprimento das duas superfcies reunidas ser portanto CE. Ns sabemos que o seu
comprimento igual a dez em nmero pois para toda a superfcie quadrada de lados e ngulos iguais, um

57
dos seus lados multiplicado por um, igual raiz dessa superficie, e Cse for multiplicado) por dois, (ser igual
a) duas das suas razes.
Como ns dissemos: Um quadrado e vinte e um igual a dez das suas razes, ento ns sabemos que
o comprimento 4o lado CE dez em nmero, pois o lado CD igual ao lado do quadrado.
Depois, ns dividimos o lado CE a meio, no ponto H. Temos portanto que o segmento EH igual
ao segmento HC. C5e|a I o ponto mdio de DN). Sabemos que Hl igual a CD. Juntemos ao segmento Hl,
no seu prolongamento, o equivalente ao excesso de CH sobre Hl, (Juntemos ao segmento EN, no seu
prolongamento, o segmento EM) a fim de que a superfcie CNK) seja um quadrado. O segmento IK
portanto igual a KM. Temos portanto, uma superfcie quadrada de ngulos e lados iguais, que a superfcie
(Ml). Ora, ns vimos que o segmento IK (igual a) cinco, e que os seus lados so iguais. A superfcie
portanto (igual a) vinte e cinco, que o resultado 4o pto4uto da metade das razes por elas prprias, (isto )
cinco (a multiplicar) por cinco que d vinte e cinco. (Mas), ns vimos que a superfcie (EB) vale os vinte e
um que se juntaram aoquadrado.
Com a ajuda do segmento IK que um dos lados da superfcie (Ml), ns separamos (El) da
superfcie (EB), e resta-nos a superfcie (Al). Ns tomamos 4o segmento KM, o segmento KL que igual ao
segmento HK (e sobre HE, o segmento HG igual a LK). Ns sabemos que o segmento IH igual ao
segmento ML, e o resto do segmento MK que o segmento LK igual ao segmento KH. A superfcie
(MG) portanto igual a (IA).
Vemos portanto que a superfcie (El) aumentada pela superfcie (MG) igual superfcie (EB) que
vale vinte e um. Mas, a superfcie (Ml) (igual a) vinte e cinco. Da que quando ns retiramos superfcie
(Ml ) as superfcies (El ) e (MG) que so (iguais a) vinte e um, resta uma pequena superfcie que a superfcie
(GK) que vale a diferena entre os vinte e cinco e os vinte e um, que d quatro. A sua raiz quadrada o
segmento GH que igual ao segmento HA, que (igual a) dois. Se tu o retirares ao segmento HC que
metade das razes, resta o segmento AC que (igual a) trs, e a raiz do primeiro quadrado. Se tu juntares
ao segmento CH que (igual a) metade das razes, dar sete que o segmento GC. Este ser a raiz dum
quadrado maior [que o primeiro quadrado], e que, se tu lhe juntares vinte e um, [tambm] igual a dez das
suas razes. E aqui est a figura (da prova)16:
M L K

H A
G

N I B D (I. K. E. M. Paris [32] pg. 76)

16
As leiras da figura apresentada no so as mesmas que aparecem no livro onde a transcrio do texto foi retirada, pois na
figura apresentada nesse livro existem algumas gralhas. Alterei as letras que estavam na figura de modo ao texto lazer
sentido.
58
Al Khowarizmi representa o quadrado (x2) por uma superficie quadrada (AD) de lado
desconhecido (x). Em seguida, e sobre um dos lados do quadrado constri um rectngulo de
rea igual a 21; trata-se do rectngulo EB. Pelas condies do problema (x2 + 21 = lOx),
conclu-se que o comprimento desse rectngulo tomado com o lado do quadrado inicial vale
10. Afigura completa ED, e vale 10 razes do quadrado. Eis afigura:

A seguir, o autor do livro dividiu o segmento EC a meio no ponto H, (e


consequentemente o segmento ND no ponto I) e construiu um quadrado sobre esse lado (o
lado desse quadrado corresponde a metade do nmero das razes).

M K

H C

N I B D

Para terminar, construiu no canto superior direito de NK um quadrado sobre o lado


KH, obtendo assim a seguinte figura:

N I B D

A demonstrao consiste no seguinte:

59
Por hiptese e por construo, temos que a rea de AD x2 e a de EB 21. Pelas
condies do problema (x2 + 21 = 10 x) temos que a superfcie ED vale lOx, isto implica que
o segmento ND mede 10. Como I o ponto mdio deNDeNKum quadrado, temos que NK

'ltf 5Z = 25.
vale
V2j
Como por construo MK = Kl e KL = KH, concluiu-se que ML = Hl. Alm disso,
como LG = KH = HA, o autor conclui que as superfcies MG e IA so iguais. De tudo o que
vimos, conclui-se que:
rea de GK = rea de KN- (rea deNH+ rea de MG)
= rea de KN- (rea de NH + rea de IA)
= rea de KN- rea de EB
= 25-21
= 4.
Da se conclui que HG = 2. Como HG = HA vem que x = CA = HC -HA = 5 - 2 = 3
ficando assim resolvido o problema. O

A demonstrao acima apresentada, refere-se primeira soluo da equao. Segundo


Youschkevitch ([51] pg. 38), no se encontra qualquer demonstrao para a segunda soluo
nos manuscritos rabes de Al Khowarizmi conservados em Oxford, apesar deste autor ser de
opinio que o matemtico conhecesse tal demonstrao. No entanto, e ainda segundo
Youschkevitch ([51] pg. 38), tal demonstrao e a respectiva figura suporte encontram-se j
em numerosas verses latinas da obra de Al Khowarizmi.
Note-se que, segundo Sesiano ([41] pg. 106), tal demonstrao e a respectiva figura
aparecem na obra de um contemporneo de Al Khowarizmi, chamado Ibn Turk. Essa
demonstrao , por sinal, muito semelhante apresentada por Al Khowarizmi para a
primeira soluo.
Vejamos ento, em linguagem e simbologia actual, como se obtm essa figura e a
respectiva demonstrao:

Como no caso anterior, vamos representar o quadrado (x2) por uma superfcie
quadrada que, neste caso, designamos por AC. Em seguida, de modo anlogo ao que foi feito
anteriormente, constri-se um rectngulo de rea 21 (que desta vez ser menor que o
quadrado) em que um dos lados o lado do quadrado desenhado anteriormente e o outro
60
tal que, tomado juntamente com esse lado perfaz 10- trata-se do rectngulo BE. Desta forma,
tendo em ateno as condies do problema, EC tem de rea lOx e consequentemente o
segmento GC mede 10.

21

G Q|_
t
10

A seguir, o autor ter dividido o segmento GC a meio no ponto F e construdo um


quadrado sobre o lado GF (novamente, o lado desse quadrado corresponde metade do
nmero das razes).

E A D

Por fim, construindo um quadrado sobre BFobtm-se afigura17 pretendida:

M K

} B F x
<4 10 : t

17
Figura tirada do livro de Youschkevitch ([51] pg. 193).
61
A demonstrao para este caso consiste no seguinte:
Por construo, temos que a rea de AC x2 e a de EB 21. Tambm por construo,
temos que GC igual a 10. Como F o ponto mdio de GC vem que GF = FC = 5, da que a
rea de GK seja igual a 5 ou seja 25.
Por um raciocnio anlogo ao que foi feito na demonstrao para a primeira soluo,
temos que as superfcies HL e LE so iguais. Ento:
rea de IF = rea de GK - (rea de BM + rea de HL)
= rea de GK - (rea de BM + rea de LE)
= rea de GK - rea de EB
= 25-21
=4
Da se conclui que BF = 2. Ento x = CB = CF + FB = 5 + 2 = 7 ficando assim
resolvido o problema. D

O facto das equaes do 5o tipo poderem ter mais do que uma soluo (positiva) no
passou desapercebido a Al Khowarizmi, e como tal foi tambm explorado. O autor explicou
como se pode ver partida se uma equao deste tipo tem ou no solues, e caso as tenha,
quantas so. Este estudo corresponde a estudar o sinal do que chamamos hoje binmio
discriminante.
Al Khowarizmi alerta ainda para o facto de existirem alguns problemas que conduzem
a equaes deste tipo, que podem ter duas solues, embora s uma dessas solues satisfaa
as condies iniciais do problema: neste tipo de situaes , portanto, necessrio fazer as
respectivas verificaes. Mas vejamos tudo isto nas prprias palavras de Al Khowarizmi:

Se tu encontrares um problema que se reduza a este caso, verifica a sua validade pela adio, se ela
no Cse verificar), ela ser ento necessariamente verificada pela subtraco.

Este caso resolve-se pela regra da adio, e pela da subtraco, e isto no se passa assim nos outros
casos entre os trs onde b necessidade de tomar a metade das razes.18
Aprende tambm que, neste caso, se ns tomarmos metade das razes, e se as multiplicarmos por
elas prprias, [e se] o resultado for inferior aos dinheiros que esto junto do quadrado, ento o problema
ser impossvel.
Se for igual ao nmero de dinheiros, a raiz do quadrado portanto exactamente igual metade das
razes sem qualquer aumento ou 4irn\nu\^o. Cl. R.. E. M. Paris [32] pg. 76)

O autor est-se a referir s equaes do 4o, 5 e 6 tipo.


62
Equaes do 6 o tipo p x + q = x2
Para as equaes deste tipo, propomos o seguinte: 5 razes e 4- nmeros so iguais a um quadrado

(...) Divide-se por 2 o nmero das razes; obtm-se Y/2; multiplicamos de seguida esse nmero por ele

prprio, faz 2Vi. A esse nmero junta-se 4-, faz 67*. Extrai-se a raiz quadrada desse nmero; obtm-se Th.

Junta-se essa raiz a metade do nmero das razes, isto V/i, obtm-se A-, que corresponde raiz o

quadrado. O quadrado no seu conjunto vale 16. (Chester [11] pg. 14-)

O problema traduz-se pela equao 3x + 4 = x2, que do tipo px + q -x2. O

li 3 Y 3
algoritmo apresentado foi x = J - +4 + - = 4 => x2 =16, que corresponde no caso geral a
\\1) 2
P
x=
v2y
.f

Demonstrao:
Trs razes e quatro nmeros so iguais a um quadrado. Eu considero um quadrado de lado
desconhecido. Seja ABCD, e eu declaro que esse quadrado, como dissemos, igual a 3 razes s quais se
[untaram 4-em nmero.

evidente que se multiplicarmos um lado do quadrado uma nica vez pela unidade, obtm-se
necessariamente uma raiz desse mesmo quadrado. Assim com a linha EF divide-se o quadrado ABCD, e ns
decidimos que um dos lados dessa nova figura representa o nmero 3. Que esse lado seja a linha AE. Para
ns, claro que a figura EC tem de rea 4-, [que o] nmeroque juntamos s trs razes.

Dividamos ento a meio, em G o segmento AE que mede 3. A partir de G, constri-se um


quadrado GKLE, quadrado esse que ns obtemos multiplicando por si prprio a metade 4o nmero de
razes, isto , multiplicando por si prprio o nmero V/2.

A seguir, juntamos ao segmento GK o segmento KM de comprimento tal, que igual ao 4o


segmento ED. Obtemos ento o segmento GM igual ao segmento GD, aparecendo assim o quadrado GO.
evidente que o segmento AD igual ao segmento EF. Mas GD igual a EN, porque esses dois segmentos do
quadrado GO provm da mesma medida.

Da que o segmento GA seja igual ao segmento NF. Uma vez que GA igual ao segmento GE,
porque estes dois segmentos partem a meio o [segmento] que representa o nmero das razes, isto ,
dividem-no em duas partes, e que o segmento GE , entre outras coisas, igual a KL; com efeito, tanto um
como o outro correspondem largura do rectngulo EM, [ento] o segmento KL ser igual ao segmento
NF.
por outro lado evidente que o segmento DG igual ao segmento EN, porque no quadrado GO,
tanto um como outro, so traados a partir de lados iguais. Mas o segmento GE igual ao segmento EL,

63
porque tanto um como outro so lados do quadrado GL. O segmento ED ser portanto igual ao segmento

LN.
Como o segmento ED igual ao segmento NO, porque so ambos a largura da mesma figura,
portanto so traados com o mesmo comprimento, o segmento NO ser igual ao segmento LN, e aps
tudo o que foi demonstrado, o segmento KL no de todo diferente do segmento NF; a figura da qual os
segmentos KL e LN so os lados ser igual figura cujos lados so NF e NO. A figura KN ser portanto igual
figura NC.
Agora, obvio que as duas figuras EO e KN so iguais figura EC, que vale 4-, pois a figura EC
contm uma superfcie que corresponde ao nmero 4-, que foi o que foi acrescentado s 3 razes. E portanto
evidente que o quadrado GO tem a uma superficie total que a soma por um lado do prouio da metade do
nmero das razes, isto , V/i, por ela prpria, e por outro lado do nmero 4, qual corresponde as
superfcies das duas figuras EO e KN. Este quadrado inteiro igual a 61A; a raiz de 61A 2Vi, que o
comprimento do lado DG. Para termos o lado do primeiro quadrado, que constitudo pela figura ABCD
representante do grande quadrado inteiro, falta-nos a metade do nmero das razes, que equivale a V/z, que
o lado GA. l/ma vez que o segmento DG (...) vale 21/2, e lhe foi acrescentado GA, que corresponde
metade do nmero de razes, isto V/2, a soma total 4-. Este nmero corresponde ao comprimento do
segmento DA.
Esse valor portanto, o valor da raiz do quadrado, ou seja, o lado do quadrado AC. O quadrado
inteiro ser 16.
Eis o que queramos demonstrar.
A figura a seguinte:
A ,B

G K M

17

L N

D O C (Chester [11] pg. 22 25)

Al Khowarizmi representa o quadrado (xr), por uma superfcie quadrada (AC) de lado
desconhecido (x). De seguida, divide esse quadrado em duas partes marcando o segmento EF
paralelo a AB e tal que AE seja igual a 3 (o nmero das razes).

64
Assim sendo, temos que EB vale 3x e pelas condies do problema conclui-se que EC
vale 4. A seguir, Al Khowarizmi divide o segmento AE a meio no ponto G e desenha um
quadrado sobre o lado GE (GE representa metade do nmero das razes).

Para obter afigura dada, o autor da obra construiu um outro quadrado (GO), agora
sobre o lado GD.
A .B

D O

A demonstrao em linguagem e simbologia actual (embora de uma forma mais


simplificada) consiste no seguinte:
65
Por hiptese e por construo temos que AC vale x2, AF vale 3x e, consequentemente
EC vale 4. Temos tambm que o segmento AE mede 3.
Como AC um quadrado, vem que AD = DC. Como DM tambm um quadrado, vem
que GD = DO. Da se conclui que OC = AG. Mas AG = GE (uma vez que G o ponto mdio
de AE) e GE = KL (porque so ambos lados do quadrado GL); da se tira que OC = KL.
Como GO um quadrado, vem que GM = MO. Como GL tambm um quadrado,
vem que GK = GE, que por sua vez igual a MN, da se tira que KM = NO.
Como as superfcies KN e NC tm os mesmos comprimentos, so iguais. Ento:
rea de DM = rea deGL + (rea de DN + rea de NK)
= rea deGL + (rea de DN + rea de NC)
= rea de GL + rea de EC
= 2% + 4
= 6V4
Da se conclui que GD = 2JA Ento x = AD = AG + GD = l>/2 + 2'A = 4.0 quadrado
inteiro vale portanto 16. Fica assim resolvido o problema. D

Para terminar saliente-se que apesar de Al Khowarizmi dar uma apresentao


completa de todos os tipos de equaes do 2o grau, a parte final do seu livro, que ocupa mais
de metade da obra, consiste na apresentao de problemas resolvidos (acerca de homens,
heranas ou terras etc.).

Tudo o que vimos sobre Al Khowarizmi leva-nos a concluir que este matemtico foi
brilhante, e somos tentados a concordar com Gandz quando diz que:

A lgebra de Al Kbowarizmi poc|e ser vista como a pecfra angular da cincia. CGandz 124] pg.
264-)

Mas vrios foram os matemticos rabes dignos de referncia no que diz respeito
resoluo das equaes quadrticas, nomeadamente Abu Kamil, cuja obra analisarei de
seguida.

66
3.2 A B U KAMIL

Abu Kamil Shuja ibn Aslam ibn Muhammad al-Hasib al-Mirsi foi um matemtico
egpcio que se especializou em lgebra. No se conhecem datas rigorosas acerca da data do
seu nascimento e morte, mas pensa-se que ter nascido por volta de 850 e morrido perto do
ano de 930. Segundo Youschkevitch ([51] pg. 52), no perodo que se seguiu morte de Al
Khowarizmi, foi este o matemtico que mais progressos fez no campo da lgebra, tanto a
nvel terico como prtico, chegando mesmo a ser conhecido por "Calculador Egpcio".
Abu Kamil foi autor de um importante tratado19 sobre lgebra de ttulo Kitab aljabr
wa l-muqabala cuja traduo O livro completo sobre [o processo de] restaurao e
comparao, embora hoje em dia seja conhecido por O livro completo sobre lgebra.
Segundo Hbert ([30] pg. 31), o livro de lgebra de Abu Kamil pouco difere na sua estrutura
do livro de Al Khowarizmi, embora existam certos progressos dignos de referncia: a
utilizao de vrias incgnitas, s quais atribui nomes diferentes (embora continue a usar o
discurso contnuo e no use qualquer smbolo); o uso sistemtico de coeficientes e razes que
podem ser irracionais (embora continuem a ser consideradas apenas as positivas); e a
aceitao de que um segmento de recta pode representar um nmero, a coisa ou o quadrado da
coisa.
Youschkevitch ([51] pg. 52) partilha a mesma opinio de Hbert, acrescentando
ainda que as demonstraes apresentadas por Abu Kamil, embora tambm fossem baseadas
em raciocnios geomtricos, seguiam um raciocnio diferente na medida em que usavam
proposies dos Elementos de Euclides.

Alm disso, eu vou explicai- as suas regras usando figuras geomtricas clarificadas pelos grandes
homens da geometria, e explicadas no livro de Euclides. CLevey [56] pg. 32)

de salientar que o matemtico egpcio no inseriu na sua obra qualquer parte de


geometria, problemas de heranas ou coisas similares.
semelhana do que aconteceu com Al Khowarizmi quando escreveu o seu livro,
tambm Abu Kamil comeou por fazer referncia s diferentes classes de nmeros, para em
seguida dividir as equaes do 2o grau nos mesmos 6 tipos.

Alm deste importante tratado, escreveu outro cujo nome O livro sobre as coisas curiosas no clculo.
67
No que diz respeito s equaes simples (3 primeiros tipos), Abu Kamil cingiu-se a
apresentar alguns exemplos com a respectiva resoluo numrica sem, no entanto, dar
qualquer justificao.
Nas equaes combinadas, Abu Kamil apresentava o caso geral, mas a formulao dos
algoritmos resolutivos incidia num caso particular. No entanto, na resoluo deste tipo de
equaes, o autor utilizou dois mtodos diferentes:

(...) Existem dois mtodos para resolver o problema; um que d a raiz 4o quadrado, e o outro que

d o quadrado directamente. (...) A soluo, para obter a raiz 4o quadrado, j foi anteriormente apresentada

por Al Khowarizmi, no seu livro. (Levey 136] pg. 32)

Como o prprio autor referiu, o primeiro mtodo apresentado foi o mesmo que Al
Khowarizmi inseriu no seu livro. Youschkevitch ([51] pg. 53) afirma mesmo que Abu Kamil
apresentou exactamente os mesmos exemplos que Al Khowarizmi para explicar a resoluo
das equaes do 2 grau combinadas.
O segundo mtodo, totalmente original, permitia obter directamente o valor do
quadrado. Os seus algoritmos tinham uma estrutura semelhante aos anteriores e as
demonstraes baseavam-se tambm em raciocnios geomtricos mas, como j foi referido,
pela primeira vez e contrariamente s convices da poca, o autor considerou que um
segmento de recta podia representar um nmero, uma raiz ou o quadrado da raiz.

(...) Com Abu Kamil, segmentos e superfcies podem designar indiferentemente nmeros ou a
primeira ou segunda potncia da incgnita. Assim renunciou s exigncias clssicas da respectiva
homogeneidade de dimenses nas demonstraes geomtricas, e isto digno de ateno. (Youschkevitch
[51] pg. 54 e 55)

Saliente-se porm que as demonstraes que eram dadas na resoluo das equaes
usavam proposies dos Elementos de Euclides, mas o enunciado destas no era apresentado,
o que fazia com que a compreenso destas demonstraes no estivesse ao alcance de todos.
Vejamos agora os exemplos apresentados por Abu Kamil para as equaes do 2o grau
simples.

68
3.2.1 E Q U A E S D O 2 2 GRAU S I M P L E S

Exemplo de equaes do I o tipo a x2 = b x


Para qua4ra4os iguais a razes, como quando algum 4iz que o qua4^4o igual a cinco razes
porque o quadrado igual a cinco das suas razes. Isto assim 4es4e que a raiz 4o qua4ra4o esteja 4e acor4o
com a soma 4as razes 4o seu qua4ra4o. Neste caso 5. O qua4ra4o 25 que igual a cinco 4as suas razes.
(...) Quan4o algum 4izque meta4e 4o qua4ra4o igual a 10 razes, o qua4ra4o inteiro 20 razes. Ento a
raiz 4o qua4ra4o 20, e o qua4ra4o 400. Quan4o algum 4iz que 5 qua4ra4os so iguais a 20 razes, o
qua4ra4o igual a 4- razes. A raiz o qua4ra4o 4- e o qua4ra4o 16. (...) (Levey [56] pg. 28 e 50)

Tais resolues correspondem a:

2 = 10x 5x 2 =20x
x = 5x 2
o x 2 = 20x
<=> x2 = 4x
<=> x = 5
<>x = 20 o x =4
o x 2 = 25
<x 2 =400
x2=16

Exemplos de equaes do 2 o tipo a x2 = b


Qua4ra4os iguais a nmeros, como quan4o algum 4iz que o qua4ra4o igual a 16; a sua raiz
igual a 4-. Da mesma maneira, quan4o 5 qua4ra4os so iguais a 4-5, a um'4a4e a quinta parte, que 9. Se
algum 4isser um tero 4o qua4ra4o igual a 27, ento o qua4ra4o 81. (...) (Levey [56] pg. 50)

Em linguagem actual, temos:

5x2 =45
2 x2
x =16 , 45 = 27
<=>x2 = 3
<=>x = 4 " 55 7
o x2 = 81
o x2 = 9

69
Exemplos de equaes do 3 o tipo ax = b
Razes iguais a nmeros oomo quando algum diz que a raiz igual a 4-. A raiz 4, e o quadrado
16. Do mesmo modo, se algum disser, 5 razes so iguais a 30, a raiz 6, e o quadrado 36. Se algum
disser, metade de uma raiz igual a 10, a raiz 20,eo quadrado 4O0. CLevey [36] pg. 30)

Estes exemplos correspondem a:

X
= 10
x=4 5x=30 2
ox =4 oi=6 o x = 20
2 2
ox =16 2
OJC =36 = 400

70
3.2.2 MTODO DA RAIZ PARA AS EQUAES DO 22 GRAU

COMBINADAS

Equaes do 4o tipo: X2 +px = q


Quando quadrados e razes so iguais a nmeros, como se algum dissesse: um quadrado mais 10

razes igual a 39 [em nmero],- isto quando algum adiciona ao quadrado 10 das suas razes obtm 39.

Existem dois mtodos para resolver o problema; um que d a raiz 4o quadrado, e o outro que d o quadrado

directamente. (...) O mtodo [que d a raiz] consiste em tomar sempre metade das razes que neste

problema 5. Multiplica-se isso por si prprio; d 25. Soma-se isso com 39, e obtm-se 64. Toma-se a sua

raiz quadrada que 8. Subtrai-se a isso metade das razes que so 5, sobram 3. Isso a raiz do quadrado, e o

quadrado 9. (Levey [36] pg. 30 e 32)

O problema consiste em resolver a equao x 2 +10x = 39, que do

tipox2 + px - q.

A resoluo dada foi a seguinte x " o y! + ~~ io = 3=>x 2 = 9, que


39 -

corresponde no caso geral a x - +q -


2)

A soluo bvia obtm-se quando algum coloca uma superfcie rectangular junto da superfcie

quadrada - ABGD:

7, M K

B A

D N

5e algum [untar [o correspondente] s razes - que so 10 - obtm a superfcie ABHW. Sabe-se


que BH 10, porque o lado AB da superfcie ABGD multiplicado pela unidade igual a uma raiz da superfcie
ABGD. Multiplicado por 10, igual a 10 razes da superfcie ABGD. Portanto a linha BH mede 10.

71
A superfcie inteira WHDG vale [portanto] 39, porque foram coladas ao quadrado 10 das suas razes.
[Essa superficie] o produto da linha HG pela linha GD. Mas a linha GD igual linha GB. Portanto,
tambm o produto da linha HG pela linha GB vale 59.
A linha HB igual a 10. Dividamos [HB] a meio no ponto Z. Ora a linha GB est no seu
prolongamento. Ento, a superfcie [GNKZ] o resultado do produto Ide ZG por ele prprio assim como
o resultado do produto] de HG pela linha BG adicionado ao quadrado obtido a partir do produto de ZB por
ele prprio, de acordo com oque Euclides mostrou na segunda parte do seu livro.

Mas o produto da linha HG por GB 39. O produto da linha ZB por ela prprio 25. O total 64.
Ento, o produto de ZG por ele prprio 64; e a raiz de 64 8. Assim, a linha ZG 8.

Sabe-se que a linha ZB 5 e a linha BG que o que resta, mede 5. Trata-se da raiz do quadrado e o
quadrado 9.
Se algum quiser que eu demonstre o que foi dito, faa uma superfcie quadrada sobre a linha ZG;
a superfcie ZKNG. Estenda a linha AB no seu comprimento at ao ponto E. A linha ZG igual linha NG; a
linha BG igual linha DG. Da se concluiu que a linha BZ igual linha IDN]. [Portanto] a su perfide ZA
igual superfcie A N . Porm a superfcie [ZA] igual superfcie MH; [da que] a superfcie MH seja igual a
superfcie AN. [ Ento, ZA, DB, e A N esto todas na superfcie] as trs so iguais a 39. Mas a superfcie AK.
igual a 25, porque igual ao produto de ZB por ele prprio. A superfcie inteira KG vale 64; a linha ZG a
raiz, ou seja 8. A linha BZ 5. Para a linha GB sobra 3. Aqui est o que ns queiramos mostrar. (Levey [36]
pg. 54e36)

Abu Kamil procedeu do seguinte modo:


Construiu um quadrado de lado desconhecido (x) para designar x2. Colou a esse
quadrado um rectngulo de lados x e 10 para representar lOx (que a quantidade que no
enunciado do problema est junto de x2). Sabe-se que essas duas figuras juntas valem 39.
Para poder aplicar a proposio 11-6 dos Elementos de Euclides20, o autor tomou o
ponto mdio do lado do rectngulo que mede 10, a que chamou Z.
W A D

H 5 Z 5 B x G

Neste caso concreto, a proposio afirma que HG xBG + ZB2 = ZG2.


Temos que HG xBG = HG xGD = 39 e ZB2 = 52 = 25, da que ZG2 =39+25 = 64, de
onde resulta que ZG = 8. Mas x = BG = ZG-ZB = 8 - 5 = 3. Da se conclui que x2 = 9.

O enunciado desta proposio encontra-se no sub-captulo 2.1 deste trabalho.

72
Apesar do resultado j estar demonstrado, Abu Kamil continuou a demonstrao
explicando tudo com ainda mais detalhe. Para isso, comeou por construir um quadrado
sobre o lado ZG.
K E N

W M
M A A D

H 5 Z 5 B x G

Em seguida, mostrou que a superficie MH igual superficie NA:


Temos por construo que ZG - GN e que BG - GD; ento conduise que ZB - DN;
mas HZ = ZB da que HZ seja igual a DN; alm disso, AD = AB = MZ, portanto as
superfcies MH e NA so iguais.
Como a superfcie WG vale 39 e as superfcies MH e NA so iguais, o autor concluiu
que as trs superficies (AZ, AG e NA) juntas tambm valiam 39. Para completar a superfcie
KG bastava acrescentar a essas superficies a superfcie KA que vale 25 (pois trata-se de um
quadrado de lado 5). Assim sendo, a superfcie KG vale 64, da que o segmento ZG seja igual
a 8. Como o segmento ZB igual a 5, o valor da raiz (BG) igual a 3. Da se conclui que o
quadrado vale 9.

De uma forma sucinta e para o caso geral (x2 + px = q), a demonstrao dada
corresponde ao seguinte:
Pela proposio 11-6 temos que HG x GB + ZB1 = ZG2.

Tendo em conta o caso geral, HG x GB - HG x GD - qeZB' (p) . Resulta

2
r
P =J
portanto que ZG = x + P^ + q donde se conclui que x \ +q

73
Equaes do 5o tipo: X2 + q=p x
Quando quadrados e nmeros so iguais a razes, como se algum dissesse: um quadrado e 21
[em nmero] [igual a] 10 razes; [isto ] quando algum adiciona 21 ao quadrado, a soma 10 razes do
quadrado. Neste caso, existem dois mtodos [para resolver o problema]; um que d a raiz 4o quadrado, e o
outro d o quadrado [directamente]. Cada um deles tem duas solues, uma pela adio e outra pela
subtrao.
A regra que d a raiz do quadrado a seguinte: toma-se metade das razes, isto 5. Multiplica-se
isso por si prprio, que d 25. 5ubtrai-se 21 a esse valor, sobram 4-. Toma-se a sua raiz, que 2. Subtrai-se
isso metade das razes que so 5, sobram 3. Isso a raiz do quadrado; o quadrado 9.
Se algum quiser adicionar 2 metade das razes, d 7; [que tambm] a raiz 4o quadrado; esse
quadrado 4-9- (Levey [36] pg. 38)

O problema consiste em resolver a equao x?+ 21 = JOx, que do tipo x2 +q = px.


Esta equao tem duas solues (positivas). A sequncia dos clculos feitos por Abu Kamil
foi a seguinte:

10 'io> 2
Para a I a
soluo x - 2 1 = 3 = > x 2 = 9 , que corresponde a
U
P}2
u
'oV 21 = 7 = > x 2 = 49, que corresponde a
Para a 2a soluo x = + 1
v^y

*= + \2j

Na demonstrao das equaes do 4o tipo, o autor usou a proposio II-6 dos


Elementos. Nas demonstraes para as equaes deste tipo usada a proposio II-5 da
mesma obra.

74
Demonstrao da Ia soluo:
Tomemos o numera que est junto 4o quadrado, ou seja 21 [e consideremos] que maior do que

o quadrado. Construamos o quadrado como sendo a superficie quadrada- ABGD:

N M

Juntemos Ia esse quadrado] 21; que superficie ABHL. Esta superficie por construo mais larga

que a superficie ABGD. Por esse motivo, a linha BL maior do que a linha BD. [Assim sendo] a superficie HP

igual a 10razesda superficie ABGD; ento a linha LP 10. A superficie HB igual a 21, que igual ao

produto de LB por BP, porque BP igual a BA. Pivide-se a linha LP a meio no ponto Z. [Esta linha]

tambm [ estava dividida em duas partes desiguais j

no ponto B.
Assim, o produto de LB por BP adicionado
com o quadrado sobre ZB igual ao quadrado tuf^ii / .. * y i .1 >. < : . . .
sobre ZD de acordo com o que Euclides mostrou
na segunda parte do seu livro.
Mas o produto d linha ZD por ela prpria
25, visto que o seu comprimento 5. A linha LB
a multiplicar por BP 21, como j mostramos.
[ Ento] o quadrado sobre a linha ZB vale 4-, e o seu
lado 2. Mas a linha ZD 5, da que BP seja 3, que
araizdo quadrado e o quadrado 9.
Se algum quiser que eu demonstre o que
foi dito, construa uma superficie quadrada KP

JftKtes
sobre a linha ZD.
A superfcie K.D 25, visto que ZD 5. A *>p! SU

superfcie ZG igual 3 superfcie ZH, uma vez qu


a linha LZ igual linha ZD, e a superfcie AZ Uma pgina do livro Kitab aljabr wa almuqabala de Abu
Kamil, que contm a demonstrao para a primeira
o
igual superficie AN. [Ento], tambm as 3 soluo das equaes do 5 tipo pelo mtodo da raiz tirada
r de Matriaux por I etude de la tradition algbrique arabe
superficies AZ, AD, e A N so iguais superfcie de A. Djebar.

75
HB que [por sua vez] igual ao produto de LB por BD, ou se|a, 21. I Donde resulta que] para a superficie KA
sobram 4 e uma superfcie quadrada, visto que KN igual a KZ e a linha ZS igual a linha NM. I Entgo] a
linha KS resulta igual a KM.
A linha MK igual a 2-, que igual linha ZB. A linha ZB portanto igual a 2. Consequentemente,
a linha BD o que sobra, 3, e a raiz do quadrado. O quadrado ser 9. Isto e o que queramos mostrar.
(Levey [36] pg. 40)

Abu Kamil seguiu o seguinte raciocnio.


Construiu um quadrado de lado desconhecido (x) para designar o x2. Justaps a esse
quadrado um rectngulo em que um dos lados obviamente xeo outro lado maior do que
x, para representar a quantidade 21 (que a quantidade que no enunciado do problema est
junto de x2). Ora estas duas figuras juntas valem 10 razes do quadrado inicial (lOx). Como
um dos lados da figura completa o lado do quadrado (x), resulta que o outro lado medir

10.
Para poder aplicar a proposio II-5 dos Elementos de Euclides21, o autor dividiu o
lado do rectngulo maior a meio, no ponto Z.

Neste caso concreto a proposio referida diz que DB xBL + ZBr - DZ .


Mas DB xBL = BA xBL = 21 e DZ2 = 52 = 25. Portanto ZB2 = 25 -21 = 4, da que
ZB = 2.Masx = DB = DZ-ZB = 5-2 = 3. Portanto x2 = 9.

Do mesmo modo que no caso anterior, Abu Kamil continua a sua explicao. Para
isso, e seguindo a "sugesto" da proposio, o autor comeou por construir um quadrado
sobre o lado ZD, obtendo assim a figura pretendida.
D B Z L

G H

N M K

21
enunciado desta proposio encontra-se no sub-captulo 2.1 deste trabalho.
76
Abu Kamil notou que KD igual a 52 ou seja 25. Em seguida referiu que a superficie
ZH igual superficie ZG uma vez que Z o ponto mdio de DL. A seguir salientou que a
superficie AZ igual superficie NA. A partir da, notou que as 3 superficies (AZ, AD, e NA)
juntas eram iguais superficie HB que vale 21. Concluiu portanto que a superfcie AK vale

25-21 que 4.
Mostrou em seguida que a superfcie AK uma superfcie quadrada, logo os seus
lados so iguais e medem 2. Como ZB igual ao lado desse quadrado, vale 2, da que o valor
procurado x seja igual a DB =DZ - Z = 5 = 2 = 3 . Portanto o quadrado vale 9. D

Sucintamente e para o caso geral {x2 + q = px) a demonstrao dada consiste no

seguinte:
Pela proposio II-5 temos que DB x BL + ZB2 = DZ

(P)2 Dai se conclui que


Mas DBxBL = BAxBL =q e DZ2 =

_ J. -q

Demonstrao da 2a soluo:
Devo explicar a seguinte questo. Quando algum toma metade das razes, e multiplica o resultado

por si prprio, este maior do que o nmero que est [unto do quadrado, que neste caso 21, mas [vamos

considerar que ] menor do que o quadrado.

Construamos o quadrado como sendo a superfcie ABGD. A isso, adicionemos 21 que a superficie

ABHW. A superfcie AD por construo maior do que a superfcie AW. [Portanto] a linha B D maior do
que a linha BW.
A superfcie [ WG] vale 10 razes da superfcie AD. Ento a linha PW 10. O produto da linha [ WB]
por BP 21. Dividamos a linha WD a meio, no ponto Z. Note-se que WD j estava ^i^ em duas partes

desiguais em B.
Assim, o produbD de WB pot- BD, adicionado com o produto de B Z por ele prprio, igual ao
produto de ZD por ele prprio, de acordo com o que Euclides mostrou na segunda parte o seu livro.
O produto de ZD por ele prprio 25, e uma vez que o produto de WB por B D 21, resulta que o
produto de ZB por ele prprio, o que sobra, que neste caso 4-. A linha ZB a raiz de 4 ou seja 2.
Adicionando linha ZD que 5, [obtemos que] a linha B D 7 e que a raiz do quadrado. O quadrado 49.

77
Assim est explicado. (...) Se algum quiser que eu explique cuidadosamente tudo o que eu disse,

construa uma superfcie quadrada WN sobre a linha WZ.

K A H

Estende-se a linha ZN no seu prolongamento at ao ponto K A superfcie BN, igual superfcie


NH, visto que a linha LN igual linha NZ, e a linha IKN] ser igual linha INSL porque a superfcie A N
um quadrado, como [ foi explicado.
A superfcie WN 25 e a superfcie AW 21. A superfcie A N , o que sobra, isto , 4, e uma
superfcie quadrada, uma vez que a linha AB igual linha AG e KG ser igual a linha BS em virtude de KG ser
igual a ZD e de ZD ser igual a ZW e ZW ser igual a ZN e ZN ser igual linha BS. Assim, a linha BS igual
linha KG. Resulta que a linha AK igual linha AS. [Portanto] a superfcie A N uma superfcie quadrada
sobre a linha [SN]. Mas a linha SN, igual linha BZ, da que a linha BZ se|a igual a 2.
Adicionando a isto a linha ZD, que mede 5, resulta que a linha BD mede 7. Isto a raiz do quadrado,
[ logo] o quadrado 4-9. Alm disso, esta explicao mostra que quando algum multiplica metade das razes
por elas prprias, o resultado maior <\o que o nmero que est [unto do quadrado, [que ] igual
superfcie NA, que o que pretendamos mostrar. (Levey [36] pg. 4 0 e A2)

Como j referi, esta demonstrao muito semelhante anterior. A grande diferena,


reside no facto de, neste caso, a rea do rectngulo que Abu Kamil juntou ao quadrado ser
menor que a rea do quadrado. No entanto, os lados do rectngulo maior continuam a medir
10 ex. O autor voltou, novamente, a dividir o lado maior do rectngulo maior a meio, para
poder usar a proposio II-5 dos Elementos de Euclides.
D Z B W

Obteve WBxBD + ZB2 = DZ2.


78
Mas WB xBD = WB xBA = 21 e DZ2 = 52 = 25. Dai se tira que ZB2 = 25 - 21 = 4,
de onde se conclui que ZB = 2. Mas x = DZ + ZB = 5 + 2 = 7. Portanto x2 = 49.

Tambm para este caso, Abu Kamil continuou a sua explicao. Comeou por
construir um quadrado sobre o lado ZW e, a seguir, prolongou um dos lados do ltimo
quadrado construdo para obter afigurapretendida.
D Z B W

N S

K A H

Depois observou que a superfcie WN igual a 25 e que a superfcie AW 21.


Reparou, em seguida, que a diferena entre estas duas superfcie a superfcie NA que valer
portanto 4. Mostrou de seguida que essa superfcie uma superfcie quadrada:
AG = AB por construo. Alm disso, KG = ZD = ZW = ZN = BS. Portanto AK
igual a AS, da que AN seja uma superfcie quadrada. Concluiu assim que NS = 2. Uma vez
que ZB = NS = 2, o valor procurado xDB=DZ + ZB = 5 + 2 = 7. Assim sendo o
quadrado vale 49. D

Para o caso geral, temos:


Pela proposio II-5 WB x BD + ZB2 = DZ2.

r^2
MasWB xBD = WBxBA = qe DZ1 = P Ento ZB= x-=
\2j

Dentro das equaes do 5o tipo existem algumas que no tm solues (positivas) e


outras que tm uma nica soluo (positiva), correspondente a uma raiz dupla. Tal facto
tambm no passou desapercebido a Abu Kamil, embora as suas explicaes neste sentido
no fossem muito claras. Mas vejamo-las:

79
Demonstrao da raiz dupla:
5aiba-se que quando tomamos metade do total das razes, por este mtodo, e multiplicamos por
si prprio e o total menor que o nmero que est junto do quadrado, mudamos de procedimento. Por
vezes, igual ao prprio nmero. A raiz do quadrado ser ento metade das razes sem qualquer adio ou
su btrao.
Alm disso, tudo o que dissemos vai ser explicado nesta seco, com figuras geomtricas. C...)
(Levey 136] pg. 38)

No caso em que o quadrado de metade das razes menor do que o nmero que est
junto do quadrado (que corresponde a um discriminante negativo, isto , no existem solues
reais), Abu Kamil diz que necessrio mudar de procedimento, em vez de considerar o
problema impossvel, no voltando a referir-se ao assunto. No caso em que o quadrado de
metade das razes igual ao nmero que est junto do quadrado (que corresponde a um
discriminante nulo, isto , tem uma nica soluo), Abu Kamil diz que a soluo do problema
metade das razes sem qualquer adio ou subtrao.
Vejamos o exemplo e a demonstrao dada por Abu Kamil sobre este segundo ponto:

(...) Devo explicar tambm que, quando o resultado do produto de metade das razes por elas
prprias for igual ao nmero que est [unto do quadrado, ento o quadrado igual ao nmero. A raiz c\o
quadrado igual a metade das razes. Devo agora dar outro exemplo, olhando para esta questo. Tomemos o
nmero mais o quadrado igual a dez razes. n Construamos o quadrado como sendo a superfcie quadrada
ABGD:
A

Z W
B

Juntemos a isso o 25 em nmero, que a superfcie ABHW. A superfcie inteira GW 10 razes da


superfcie ABGD. [Portanto] a linha DW 10. Quando dividimos DW em duas partes iguais, no ponto Z,
temos trs possibilidades, o ponto Z est no ponto B, antes ou depois.

22
Segundo Martin Levey, embora Abu Kamil notivessedito implicitamente a que nmero se estava a referir, esse nmero
era o 25, e em consequncia disso a equao x? + 25 = lOx.
80
Primeiro, vamos supor que est depois; se assumirmos isso, a linha DW est divi4i'4a a meio no
ponto Z, e em duas partes desiguais no ponto B. Assim, o produto de DB por BW mais o produto de ZB por
si prprio, igual ao produto de ZW por si prprio, de acordo com o que Euclides mostrou na segunda
parte do seu livro.
Mas o produto de WZ por si prprio 25, visto que o pusemos como sendo metade de WD, que
mede 10. Ento o produto de l WB] por BD mais o quadrado de BZ 25. Mas dissemos que o quadrado de
ZW WB vezes BD. Da que o quadrado sobre BZ se|a igual a zero e que BZ seja tambm igual a zero, isto ,
Z est sobre B. Parece-me que estas operaes no so aqui adequadas.
Alis, deve ser dito que quando o ponto Z est depois do ponto B, ento o nmero maior do que
quadrado. Quando est antes, ento o quadrado maior do que o nmero. Tudo isto foi explicado em cima.
Isso leva a que o ponto Z, neste caso no esteja nem antes nem depois mas seja necessariamente
igual. (...) Ele continuou as suas explicaes, mas no so muito claras para mim. CLevey [56] pg. 44- e 46)

81
Equaes do 6o tipo: x2 =px + q
Quando razes e nmeros so iguais a quadrados, como se algum dissesse: 3 razes mais 4- em
nmero igual a um quadrado. Para este problema, existem dois mtodos, um que d a raiz do quadrado, e
ooiAto(\% o quadrado [directamente].

O mtodo que d a raiz, aquele onde se dividem as razes a meio que d Vh. Multipl(ca-se isso por
si prprio, d 21A. Adiciona-se a isso 4, perfaz 61A . Toma-se a sua raiz, que Th- Adiciona-se isso metade
das razes [que so T/2]; obtm-se4. Isso a raiz do quadrado, e o quadrado 16. (Levey [56] pg. 4-8)

O exemplo escolhido para este caso foi x2 = 3x + 4 que do tipo x2 =px + q.


A resoluo para este caso, bastante prxima da resoluo dos outros casos:

x= J - que corresponde no caso geral a

X -

Para encontrar a soluo deste problema, que 3 razes mais 4 em nmero igual a um quadrado,
pelo mtodo que nos d a raiz, construamos uma superfcie quadrada ABGD que 3 razes mais 4- em
nmero.

a
T

K M

Tiramos da superfcie AD a superfcie AHGN, e estabelecemos que vale 3 razes da superfcie AD. E
isto vem do que dissemos: 3 razes mais 4 em nmero igual a 1 quadrado. A superfcie HD corresponde
[portanto] a 4 em nmero.
Dividamos a linha AH a meio no ponto Z. Assim a linha AH est dividida a meio no ponto Z.
Temos no seu prolongamento a linha BH. Ento, o produto de AB por BH adicionado com o quadrado de
lado HZ igual ao produto de BZ por ele prprio, como mostrou Euclides na segunda parte do seu livro.

82
[Mas] o produto de AB por BH4, uma vez que a linha AB igual linha BD e o produto da linha
ZH por si prpria TU. A sua soma 61A, da que a raiz [isto ZB,] se|a igual a Th- Ento a linha ZB Th
mas a linha ZAVh- Desta forma, a linha AB] 4-, quea raiz do quadrado que "l6.
Para uma maior clarificao, construamos uma superfcie quadrada ZK sobre a linha ZB. A linha ME
igual linha KD uma vez que a linha AB igual a BD e a linha BZ ser igual linha BK. Ento KD igual a
AZ, que [por sua vez] igual a ZH, e ZH igual a ME. Assim ME igual a KD. Construamos a linha MT
igual linha ND, ento a superfcie ET igual superfcie MD. Construamos a superfcie HK na sua
continuao. Toda a superfcie H D igual s superfcies ET e MB juntas ou seja 4. sabido que a superfcie
ZT um quadrado uma vez que a linha BZ igual linha MH, e a linha MT ser igual linha HB. A linha ZH
resulta igual linha HT, e a linha ZH Vh. Assim, a superfcie ZT vale Th ento a superfcie inteira ZK ser
61A. A linha BZ Th e a linha AZ Vh. [Portanto] a linha inteira AB 4; isto a raiz do quadrado que
16. (Levey [36] pg. 48 e 50)

Abu Kamil construiu um quadrado de lado desconhecido (x) para designar x2. Dentro
desse quadrado tomou um rectngulo de lados x e 3, para representar 3x. Tendo em conta o
enunciado do problema, aparte restante valer 4. De seguida, dividiu o lado do rectngulo
de comprimento 3 a meio, para poder aplicar a proposio II-6 dos Elementos de Euclides.

B H Z A
I

vi

A proposio acima referida diz-nos que AB xHB + ZH -ZBr.


Mas AB xHB = BD xHB = 4e ZH2 = (H/2)2 = 2'A Portanto ZB2 =4 + 2'A = 6'A,
donde se tira que ZB = 2V2. Mas x=AB = ZB+ ZA = 2'h + H/2 = 4. Ento x2 = 16.

Mais uma vez, Abu Kamil continuou a explicao com mais detalhe:
Construiu um quadrado sobre o lado ZB e considerou MT igual a DN, obtendo assim
afigura apresentada:

83
B H

K
M E

D N

Por construo BD = AB e BK = BZ portanto KD = TA. Mas ZA = HZ = ME, logo


KD = ME. Tambm por construo temos que MT = MK, portanto a superfcie MD igual
superfcie ET. Ento as superfcies ETeMB adicionadas tm a mesma rea que a superficie
NB que vale 4. Por outro lado temos que a superficie TT uma superfcie quadrada de lado
IV2, da que a superfcie inteira ZK seja igual a4+ (V/2)2 = 6JA A linha BZ 2V2 e a linha AZ
IV2, da que a linha inteira AB seja 4, que a raiz do quadrado, e o quadrado ser 16.

Para o caso geral (px + q = x2) e de uma forma mais sucinta, temos:
Pela proposio II-6AB xHB + Zrf^ZB2.

Mas AB x HB BD x HB = q TM2 V2 Portanto


\2j

ZB= x--
(P)2
+ q o x=P+. v2 + q D
2

84
3.2.3 MTODO DO QUADRADO PARA AS EQUAES DO 2 GRAU
COMBINADAS

Equaes do 4 o tipo x2 +px = q


Quando quadrados e razes so iguais a nmeros, como se algum dissesse: um quadrado mais 10

razes igual a 39 {em nmero]; isto quando algum adiciona ao quadrado 10 das suas razes obtm 39.

Existem dois mtodos para resolver o problema; um que d a raiz do quadrado, e o outro que d o quadrado

directamente. (...)

Para obter a soluo que d o quadrado, comea-se por multiplicar o 10 por ele prprio; d 100.

Multiplca-se isso por 39; d 3900. Toma-se metade de 100, que 50. Multiplica-se isso por si prprio; d

2500. Adiciona-se isso a 3900, d 64O0. Toma-se a raiz quadrada, que 80. Subtrai isso l soma] de 50,

que metade de 100 e 39 que igual soma das razes com o quadrado. Resulta 89. Ento sobra 9, que o

quadrado. (Levey [36] pg. 30 e 32)

O problema consiste em resolver a equao x2 + 10x = 39, que do tipo x2 +px=q.

IO2 '102V
Os clculos feitos foram os seguintes: x' + 39- + 10 2 x39 = 9 , que
V 2 j

( _2>
correspondem no caso geral a x = P hq - + p q-
v2;

<A regra da soluo que d o quadrado uma construo em que o quadrado representado pela

inba AB;

Adiciona-se 10 das suas razes, isto , a linha BG; a linha AG vale 39. Se algum desejar saber quanto
mede AB, construa uma superfcie quadrada sobre a linha BG. a superfcie DHGB. So 100 vezes a linha AB
multiplicada pela sua unidade, porque BG 10 razes da linha AB. Dez razes da coisa [quadrado]
multiplicado por si prprio, igual a 100 vezes a coisa multiplicada por ela prpria.
Construamos a linha AM igual a 100, e sabemos que AG vale 39. Construamos a superfcie A N ; que
3900, uma vez que a linha AG 39, e a linha [AM] tem de comprimento 100. Desenhemos a linha BZ,
85
paralela linha de comprimento 100, para dar a superfcie AZ igual ao quadrado BH, porque tambm vale

100 vezes a linha AB multiplicada pela unidade.

Isto assim, desde que o comprimento da linha A M seja 100. Por causa disto, a superfcie DN

tambm igual a 3900; [essa superfcie] o prouto de GH por HN porque GH igual a HP. A linha GN

100, porque igual a AM. Dividamos isso [ou se|a, o segmento GN] em duas partes iguais, no ponto L J

tnhamos uma linha no seu prolongamento, ao termos a linha NH. Em virtude disto, a superfcie [que] o

produto de NH pela linha HG adicionado ao quadrado sobre a linha GL, igual ao quadrado sobre a linha

LH, de acordo com o Euclides mostrou na segunda parte do seu livro.

Mas a superfcie NH por HG vale 3900, e a superfcie quadrada sobre GL vale 2500. Juntemos isso,

e obtemos 6400. o produto da linha HL, ou seja 80, por ela prpria; a linha GH igual a BG. Ento, a

linha LG com a linha BG valem 80. E quando subtrairmos BG e GL cuja soma 80 linha AG e GL cuja

soma 89, sobra a linha AB que o quadrado, 9. Era isto que pretendamos mostrar. (Levey [36] pg. 36)

Apesar desta demonstrao tambm usar uma proposio dos Elementos de Euclides,
totalmente inovadora pelo facto de usar um segmento de recta a representar um quadrado.
Vejamo-la em linguagem actual:

Abu Kamil representou x2 pelo segmento de recta AB. Na continuao desse


segmento, desenhou o segmento BG, para representar lOx. Quer isto dizer que o segmento
completo AG vale 39. Depois construiu um quadrado sobre o lado BG, que vale 100 vezes o
produto do segmento AB pela unidade (lOOx2). Por A, e perpendicularmente a AB, construiu
o segmento AM de comprimento 100. Construiu a superfcie rectangular NA que vale 3900
uma vez que tem de lados 39 e 100. Traou uma recta paralela a AM por B. Obteve, assim,
uma nova superfcie AZ, que vale o mesmo que o quadrado inicial (100 X2). Com isto, o autor
concluiu que a superfcie AN igual superfcie ND. Mas a superfcie ND o produto de NH
por HD que igual ao produto de NH por HG. Para poder aplicar a esta figura a proposio
11-6 dos Elementos de Euclides, o autor dividiu o segmento NG a meio no ponto L. Pela
proposio referida temos que NH x GH + LG = LH .
Mas NH xGH = NH x HD = 3900 e LG2 = 502 = 2500. Da se concluir que a
superfcie inteira LH2 = 3900 + 2500 = 6400 e portanto LH = 80. Como GH igual a GB,
ento tambm os comprimentos LG e GB juntos valem 80. Alm disso, LG vale 50 e AG vale
39, da que os segmentos AG e GL juntos valem 89. A diferena entre esses conjuntos de
segmentos AB (que representa o quadrado) que valer 9, que era o que queramos
descobrir.

86
Equaes do 5 o tipo X2 + q=px
Quando quadrados e nmeros so iguais a razes, como se algum dissesse um quadrado e 21
[igual aJ 10 razes; [isto ] quando algum adiciona 21 ao quadrado, a soma 10 razes do quadrado. Neste
caso, existem dois mtodos [para resolver o problema]; um que d a raiz do quadrado, [e o outro d o
quadrado directamente]. Cada um deles tem duas solues, uma pela adio, e outra pela subtrao. (...)
Para obter a soluo que d o quadrado, comea-se por multiplicar as razes por elas prprias, que
neste caso d 100. Multiplica-se estes 100 por 21; d 2100. Toma-se metade de 100; que 50. Multiplica-se
isso por si prprio; d 2500. Subtrai-se 2100 a esse valor; sobram 4O0. Toma-se a sua raiz quadrada que
20. Su btrai-se isso a 50; sobram 50. Su btrai-se agora 21 a 30. Sobra 9, que o quadrado.
Se algum quiser adicionar 20 aos 50 d 70. Subtrai-se 21 a isso; sobra 49, que [tambm] o
quadrado (Levey [36] pg. 38)

0 problema consiste em resolver a equao x2 + 21 = 1 Ox, que do tipo x2 + q = px.

De uma forma geral, os clculos feitos foram:

10 'l02^
Para a Ia soluo x =
2
21 - 1 0 2 x 2 1 = 9 , que corresponde a:
V 2y

2 10 ' \( 10 2 ^
Para a 2a soluo x - 21n + 10 2 x21 = 49, que corresponde a:

~i\
-p'q.
2
v y

Segundo Martin Levey, as demonstraes por este segundo mtodo das equaes do 5o
tipo no se encontram no livro por ele traduzido.

Parece-me que o autor do livro quis explicar o 2 mtodo desta seco, isto , o mtodo j

referido que d o quadrado directamente. No entanto, est em falta no livro que eu traduzi. (Levey [36]

pg. 46)

No entanto, Martin Levey apresentou como nota de rodap uma ideia da


demonstrao. Vejamo-la em linguagem e simbologia actual.
87
Demonstrao da I a soluo:
Para a primeira soluo, que o caso do quadrado ser menor que o nmero, Abu
Kamil ter representado o quadrado pelo segmento de recta AB. No seu prolongamento, ter
posto o segmento BG (que neste caso ser maior que o segmento AB) para representar o 21
em nmero. Pelas condies do problema, o segmento inteiro (AG) valer 10 razes do
segmento AB.
Em seguida, ter construdo sobre AG uma superfcie quadrada (AGDH), cujo valor
ser 100 vezes o segmento AB vezes a unidade (lOOx2) e ter considerado o segmento AM,
perpendicular a AG igual a 100 em nmero. Desta forma a superfcie rectangular (AB2M)
ter o mesmo valor que a superfcie quadrada AH (lOOxr).
Em seguida ter prolongado dois dos lados, e voltado a desenhar a superfcie
quadrada no lado esquerdo da figura, obtendo assim a seguinte figura:

N E L G H
1

r \

Temos ento que AB vale x2 e BG vale 21, logo AG vale lOx. Temos tambm que GN,
BZ e AM valem 100. Como as superfcies AZ e TN valem o mesmo (lOOx2), ento as
superfcies AE e BN tambm valero o mesmo. Da se tira que AE ser igual a 2100, uma vez
que AE = BN = BG x GN= 21x100 = 2100. O segmento GN est dividido em duas partes
(desiguais) no ponto E. Para poder aplicar a esse segmento a proposio 11-5 dos Elementos,
o autor ter dividido esse segmento a meio no ponto L, como se pode ver na figura.
O que a proposio afirma que GE xEN + EL = LG .
Mas GE xEN = GE xET = 2100 (uma vez que se trata da superfcie AE). Temos
tambm que LG2 = 502 = 2500. Portanto EL2 = 2500 - 2100 = 400, da se tira que EL = 20.
Como NL vale 50 eEL vale 20, vem que NE igual a 30. Como GA = NE = 30, e GB
vale 21, conclui-se que o valor do quadrado (AB) 9.

Para a segunda soluo, a demonstrao semelhante anterior, apenas com a


diferena de que neste caso se vai considerar que o quadrado maior que o nmero. Deste
modo, e apesar da semelhana, os clculos e a figura sero diferentes.

88
Demonstrao da 2a soluo:
Do mesmo modo que no caso anterior, Abu Kamil ter representado o quadrado pelo
segmento de recta AB. No seu prolongamento, ter posto o segmento BG (que desta vez ser
menor que o segmento AB) para representar o 21 em nmero. Pelas condies do problema,
o segmento inteiro (AG) valer 10 rates do segmento AB.
A seguir, construiu de novo sobre AG uma superfcie quadrada (AGDH), cujo valor
ser 100 vezes o segmento AB vezes a unidade (lOOx2). Em seguida marca o segmento AM
perpendicular a AG que vale 100 em nmero. Desta forma obtm uma superfcie rectangular
(ABZM) com o mesmo valor que a superfcie quadrada AH (lOOxr).
Novamente, completa a figura prolongando dois dos lados da figura, e desenhando a
superfcie quadrada no lado esquerdo.
N L E G H
1
B
K

M T A D

semelhana do que aconteceu na demonstrao anterior, AB vale x2, BG vale 21 e


AG vale lOx. Ora GN, BZ e AM valem 100. Como as superfcies AZ e TN valem o mesmo
(lOOx2), ento as superfcies AE e BN tambm valero o mesmo. Temos ento que
AE =BN=BGxGN = 21x100=2100
O segmento GN continua dividido em duas partes (desiguais) no ponto E. Para poder
aplicar a proposio 11-5 dos Elementos, o autor ter novamente dividido esse segmento a
meio no ponto L.
A proposio diz-nos que GE xEN + LE = LG .
Como GE x EN = GE x ET = 2100 (uma vez que se trata da superficie AE) e
LG2=502=2500, conduise que LE2 = 2500 - 2100 = 400, donde se tira que LE = 20.
Como NL vale 50 e LE vale 20, vem que NE igual a 70. Esta a grande diferena
em relao demonstrao anterior; que no caso anterior, o valor de NE (que o valor do
lado do quadrado desenhado inicialmente) era a diferena entre NL e EL e agora a soma.
Temos portanto que GA = NE = 70. Como GB vale 21, conclui-se que o valor do quadrado
(AB) 49.

89
Equaes do 6o tipo x2 =px + q
Quando razes e nmeros so iguais a um quadrado, como se algum dissesse: 3 razes mais 4 em

nmero igual a um quadrado. Para este problema, existem dois mtodos, um que d a raiz do quadrado, e

o outro d o quadrado [directamente]. (...)

O mtodo que d o quadrado aquele em que as razes so multiplicadas por elas prprias, que

neste caso d 9. Multiplica-se o 9 por 4, que o nmero que est junto das razes; d 36. [Toma-se] metade

de 9; 41/2. Multiplica-se isso por si prprio, d 20V*. Adiciona-se isso a 36; d 561A. Toma-se a raiz

quadrada, que 71/2. Adiciona-se isso a 41A que metade de 9 e ao nmero 4 que o que est [unto das

razes; o total 16. o valor do quadrado. (Levey [36] pg. 48)

O problema consiste em resolver a equao 3x+4 = x 2 , que do tipo px+q = x2.

Para este caso, os clculos feitos foram x2 = + 32 x4 + + 4 = 16, que de uma

forma geral correspondem a x1

Para a soluo que d o quadrado, considere-se que o quadrado a linha AB que igual a 3 razes
e 4 em nmero. A linha GB 4 em nmero, e sobra AG que 3 razes da linha AB. Constri-se uma
superfcie quadrada AGDH sobre a linha AG. Sabe-se que isto igual a 9 vezes a linha [AB] calculada por
unidades:
Z B

K G L H

N M D

Desenha-se a linha A N igual a 9, na perpendicularidade da linha AB, e completa-se a superfcie AZ.


Ento, a superfcie AZ igual ao quadrado AH. Desenhe-se a linha GK paralela a BZ, e retire-se linha AD a
linha AE, igual linha AN. Desenha-se a linha EL paralela a DH. Ento, a superficie EG igual superficie
AK, e a superfcie EH igual superfcie KB. Mas a superfcie KB 36 uma vez que a linha GB 4, e a linha
GK igual a A N que 9. Seja M o ponto mdio de AE. Adicionemos ao seu prolongamento a linha ED.
Ento, o produto da linha AD por DE adicionado com o produto de EM por ele prprio, ser igual ao
produto de DM por ele prprio, de acordo com o que Euclides mostrou na segunda parte do seu livro.

90
Mas o produto de AD por DE igual superficie EH uma vez que a linha AD igual a DH. A

superfcie EH vale 36, ou seja, o produto de AD por ED 56. O produto de EM por si prprio 201A.

Somando-os obtemos 561A. Ento a linha MD TA e a linha A M A-V2 ento a linha AD 12, que igual a

AG. A linha GB 4-, [da que] a linha AB 16, que o quadrado. Isto o que queramos mostrar.CLevey

[36] pg. 50 e 52)

Abu Kamil representou*? pelo segmento de recta AB. A seguir dividiu esse segmento
em duas partes no ponto G, representando AG as 3 razes e GB os 4 em nmero. Em seguida
construiu um quadrado sobre o lado AG, que vale 9 vezes o segmento AB vezes a unidade
(9X2). Posteriormente por A e perpendicularmente a AB construiu o segmento AN de
comprimento 9. Sobre esse lado, construiu a superfcie rectangular AZ que vale (o mesmo
que o quadrado desenhado inicialmente) 9X2 uma vez que 9 xx2. Traou uma recta paralela
a AN por G. Em seguida, desenhou sobre o lado AD o segmento AE igual ao segmento NA, e
por E traou uma recta paralela a DH.
A superfcie EG portanto igual superfcie AK. Como as superficies AH e AZ tm o
mesmo valor, pode-se concluir que a superfcie EH igual superficie KB. Mas o valor da
superfcie KB GB xGK = 4 x9 = 36.
Para poder aplicar a proposio 11-6 dos Elementos linha AD, o autor marcou o
ponto mdio de AE; que M. Assim sendo, pela proposio resulta que ADxDE+EM2=DM2.
Ora AD x DE = DH x DE = 36 (uma vez que a superfcie EH igual superficie
KB). Alm disso, EM2 = (4if = 20'A. Da se concluiu que a superfcie DM2 = 36+20'/4=56'/4
e portanto DM = 7V2. Como a linha AM = 4Vt vem que AD = AM + MD = 12. Mas AD = AG.
Da se concluiu que AB = 16, que o que pretendamos demonstrar.

91
3.2.3 NMEROS IRRACIONAIS E MUDANA DE VARIVEIS

Alm de matemtico, Abu Kamil tambm foi astrnomo, e o desenvolvimento da


astronomia obrigava a um grande rigor nos clculos trigonomtricos, fazendo assim com que
surgisse um maior conhecimento sobre os nmeros irracionais. Este conhecimento expandiu-
se para outros ramos do saber, entre os quais a lgebra. Segundo Hbert ([29] pg. 35), os
nmeros irracionais quadrticos e biquadrticos aparecem frequentemente na obra de Abu
Kamil, ora como coeficientes ora como razes. Youschkevitch ([51] pg. 57) acrescenta ainda
que a recolha de problemas da obra de Abu Kamil extremamente rica em exemplos, muitos
deles com origem na obra de Al Khowarizmi, mas aos quais Abu Kamil aumentava o nvel de
dificuldade. Um outro progresso de Abu Kamil reside no facto deste usar, na resoluo de
alguns problemas, mudanas de variveis. Vejamos em linguagem e simbologia actual um dos
exemplos apresentado em Hbert ([29] pg. 35 e 36) em que Abu Kamil faz uma mudana de
varivel:

a + b =10
O problema em questo equivale a resolver o seguinte sistema a^ 2 V 2

=2'
[\bj \a)
X
Abu Kamil considerou que a=xe b = \0- x. Da tirou que . - Em seguida,
b 10 x

tomou y = 10 ~ x
Assim sendo, o problema reduz-se a resolver a seguinte equao
X

= y2 + 2 , que equivalente a resolver a equao y4 + 2v 2 = 1. Tomando X -y1,


y1

obteve a equao X2 + 2X = 1. Utilizando o processo habitual calculou a soluo desta

equao X- 4l - 1, o que o levou a concluir que y = yj-Jl - 1. Resolveu ento a igualdade

= J-Jl - 1 para obter a soluo x , ~ 6,0842.


x 1 + VV2-1

Como vimos, Abu Kamil foi inovador em vrios aspectos, mas continuou a formular
os algoritmos resolutivos para casos particulares. F oi com o matemtico rabe Al Khayyam
que se deu essa generalizao.

92
3.3 O M A R KHAYYAM

Abu 1 Fath Omar Ibrahin al Khayyam nasceu em Khorassam (agora pertencente ao


Iro) tendo passado a maior parte da sua vida em Nasapur. Segundo Coolidge ([14] pg. 19),
apesar das incertezas que existem sobre as datas do seu nascimento e morte, parece que o
autor ter vivido durante a segunda metade do sc. XI e princpio do sc. XII e usual apontar
o ano de 1123 para a sua morte, apesar de tal no ser muito credvel.
Foi matemtico, astrnomo, filsofo, mdico e poeta. Segundo Youschkevitch ([51]
pg. 95), alm da matemtica, os ramos onde ele mais se notabilizou foram a poesia,
nomeadamente na poesia persa (traduzida em vrias lnguas europeias, e hoje em dia
mundialmente conhecida e estudada) e a astronomia (com destaque para a reforma do
calendrio persa por ele preparada, que consistia na introduo de um ano bissexto de 4 em 4
anos).
No campo da matemtica, Al Khayyam escreveu vrios livros, de onde se destacam
dois: Demonstrao dos problemas de al gabr e al
mugabala, que ter sido escrito em 1074 e um
Comentrio aos Elementos de Euclides em 1077. Foi no
primeiro livro referido que o autor desenvolveu a teoria
das equaes algbricas.
Youschkevitch ([51] pg. 95) refere ainda que o
autor considerava a lgebra como sendo a cincia das
equaes, e que as equaes eram as relaes entre os
nmeros e grandezas conhecidas, e nmeros e grandezas
desconhecidas.
Segundo Collette ([12] pg. 126), Al Khayyam
notabilizou-se essencialmente pelo facto de ter
encontrado mtodos que lhe permitia resolver qualquer
*i ;
o
equao do 3 grau.
A primeira pgina do livro de
No que diz respeito s equaes do 2o grau, a sua lgebra de Al Khayyam tirada de
Matriaux por I' etude de la tradition
grande inovao reside no facto de, para as equaes do algbrique arabe de A. Djebar.
4o, 5o e 6o tipo, ter apresentado algoritmos no caso geral. Para as equaes do 4o tipo, por
exemplo, Omar Khayyam escreveu o seguinte:

93
Um quadrado e dez razes so iguais a trinta e nove em nmero (...) multiplica-se a metade das
razes por elas prprias. Junta-se o produto ao nmero, e retira-se raiz da soma, a metade das razes. O
resto a raiz do quadrado. (Cassinet 19] pg. 38)

A equao correspondente ao problema x 2 + 10x= 39, que do tipo

x1 + px - q, com peq positivos. A soluo (positiva) foi apresentada para o caso geral. A

sequncia dos clculos, em linguagem e simbologia actualforam os seguintes:

2 2 4

2 ^ + q;

V4 2

Em seguida, o autor apresentou 3 demonstraes, todas elas geomtricas e j


conhecidas da comunidade matemtica, uma vez que j haviam sido dadas por Abu Kamil, Al
Khowarizmi e Euclides, respectivamente.

Para as equaes do 5o e 6o tipos, Al Khayyam apresentou algoritmos gerais


perfeitamente anlogos ao anterior.

94
3.4 ALQALASADI

Abu L Hasan Ali Ibn Muhammad Al Qalasadi nasceu em Granada onde viveu grande
parte da sua vida. Depois, partiu para a Tunsia, onde viveu exilado at ao ano da sua morte
em 1486. O seu principal trabalho foi o livro intitulado Kasf al-mahgub min ibn ai gubar cuja
traduo Desenvolvimento da Cincia da Aritmtica. Este livro est dividido em quatro
partes, sendo a ltima referente resoluo de equaes.
Youschkevitch ([51] pg. 103) afirma que em quase todas as obras dos matemticos
dos pases islmicos, no existe qualquer simbolismo algbrico. Acrescenta ainda que
tambm no existe simbolismo algbrico nos tratados dos sbios do Oriente desde Al
Khowarizmi (morreu em 850) at Al Kasi (morreu por volta de 1429). No entanto, nos pases
Ocidentais existe o tratado de aritmtica e lgebra de Al Qalasadi, que uma excepo
notvel e inesperada, no por conter algum resultado novo digno de nota, mas por todo o
simbolismo apresentado, que constitui naturalmente um interessante exemplo histrico. Esta
opinio partilhada por Djebbar ([19] pg. 42) que acrescenta que j o matemtico rabe Ibn
Qunfudh (que morreu em 1407) tinha utilizado parte daquele simbolismo; mas o seu silncio
quanto ao sujeito que deu origem a este simbolismo leva a pensar que a sua inveno
anterior ao sc. XIII, apesar do absentismo de simbolismo nas obras que hoje se conhecem de
matemticos posteriores a essa data. Djebbar refora esta hiptese alegando uma passagem de
um livro de um outro matemtico rabe, Ibn al-Yasamin (morreu em 1204), que apresenta
uma equao do 2 grau onde o polinmio associado contm em parte o simbolismo utilizado
mais tarde pela matemtico Ibn Qunfudh.
Segundo Cajori ([7] pg. 111), o trabalho de Al Qalasadi distingue-se de todos os
outros trabalhos rabes no que diz respeito quantidade de simbolismo algbrico utilizado,
enquadrando-se na fase terminal da lgebra na sua forma sincopada iniciada, como j foi
referido, por Diofanto. Vejamos agora a simbologia adoptada por Al Qalasadi:
O smbolo para a igualdade era a ltima letra da palavra "adala" (que significa
igualar). A primeira potncia e o quadrado eram designados pela primeira letra das palavras
Say e Mal, respectivamente, que Qalasadi colocava por cima do respectivo coeficiente.
Essa simbologia adaptada ao nosso alfabeto corresponderia a usar a letra L que a
ltima letra da palavra igual, para representar uma igualdade; e para a primeira e segunda
potncia da incgnita usar as letra C de coisa e Q de quadrado que, como j foi referido, era
colocado por cima do coeficiente.

95
Vejamos alguns exemplos de equaes do 2o grau, com a simbologia adoptada por
Qalasadi:

56.,. JP^lo | '; ** **-#- o . . . ojy |;

Exemplos da simbologia usada por Al Qalasadi tirada de Les Mathmatiques Arabes de


Youschkevitch.

Os dois primeiros exemplos, adaptados ao nosso alfabeto seriam escritos da seguinte


forma:
C Q C Q
x2+10x = 56 ... 56 L 10 1; x2 = 8x + 20 ... 20 8 L 1

Deve-se, no entanto referir que apesar de ter introduzido uma simbologia prpria que
lhe permitia escrever as equaes e os respectivos algoritmos usando unicamente smbolos,
Al Qalasadi no deixou de usar o discurso contnuo.
Segundo Hbert ([30] pg. 42), Al Qalasadi redigia o texto literal (do mesmo modo
que fazia Al Khowarizmi), para em seguida escrever em paralelo com o texto uma escrita
simblica. No obstante tal facto, o autor tem o mrito de ter sido dos primeiros (seno o
primeiro) a poder resolver as equaes de grau no superior ao 2 grau usando unicamente
smbolos.23

Na altura da morte de Omar Khayyam j a civilizao rabe estava em declnio. A


partir de 1486, com a morte de Al Qalasadi, podemos dar por encerrado as contribuies dos
matemticos rabes. Porm, simultaneamente ao declnio da cultura rabe, as civilizaes

J matemticos anteriores, como por exemplo Diofanto, haviam usado smbolos, mas apenas como abreviaturas de
algumas palavras.
96
europeias estavam em ascenso e prontas para receber todo o conhecimento oriundo das eras
anteriores.

Foi realmente uma sorte que, quando a cultura rabe comeou a declinar, a cincia na Europa
estivesse em ascenso e preparada para aceitar a herana intelectual legada por eras anteriores. Diz-se s vezes
que os rabes fizeram pouco mais que pr a cincia grega em "conservao a mo" espera que a Europa
estivesse preparada para aceit-la. Mas (...) pelo menos no caso da matemtica, a tradio transmitida ao
mundo latino nos sculos doze e treze era mais rica do que a que os iletrados conquistadores rabes
encontraram no sculo sete. (Boyer [6] pg. 178)

97
4 CIVILIZAO EUROPEIA A PARTIR DO SCULO XVI

Foi no sc. XII que surgiram na Europa (mais propriamente em Itlia) as primeiras
cidades comerciais. Segundo Struik ([45] pg. 138), os mercadores de tais cidades visitavam
muito o Oriente, tomando assim contacto com os conhecimentos dessa civilizao. Foi atravs
dos mercadores italianos que o conhecimento rabe chegou Europa. H a destacar Leonardo
de Pisa (1175-1250), mais conhecido por Leonardo Fibonacci que, no seu regresso do
Oriente, escreveu um livro intitulado Liber Abaci (1202) que continha grande parte da
informao aritmtica e algbrica da civilizao rabe. No entanto, e ainda segundo Struik
([45] pg. 138), h a referir que esta obra apenas teve de original alguns dos exemplos
apresentados.
Nos vrios sculos que se seguiram, embora a Europa estivesse em ascenso, no se
conhece qualquer trabalho original digno de nfase.
A partir da segunda metade do sc. XV, assiste-se na Europa a uma actividade
cientifica cada vez mais notria. Para tal, muito contribuiu o passar das vrias crises sociais e
a descoberta da imprensa, que permitia editar livros com maior facilidade e rapidez. Foi
nesta altura que se comearam a fazer tradues latinas de obras gregas e rabes. Segundo
Boyer ([6] pg. 197), a recuperao dos clssicos gregos demorou mais do que as obras
rabes sobre lgebra e aritmtica, pois poucos eram os homens que dominavam a lngua grega
e a matemtica ao mesmo tempo. No entanto, e aos poucos, essas tradues tambm foram
surgindo. Boyer ([6] pg. 222) refere tambm que, em 1575, a Europa Ocidental j tinha
recuperado a maior parte das obras matemticas da antiguidade hoje conhecidas, estando
nessa altura a lgebra rabe perfeitamente dominada e j tendo sofrido melhorias tanto a nvel
da resoluo de equaes cubicas e qurticas, como ao nvel das notaes (embora as
equaes ainda no fossem resolvidas apenas com smbolos). Os matemticos Franois Viete
(1540-1603), Simon Stevin (1548-1620) e Albert Girard (1595-1632) foram alguns dos que
contriburam para este desenvolvimento. Segundo Cassinet ([9] pg. 54), Girard destaca-se
dos restantes matemticos citados pois, alm de criar uma notao prpria, considerava j as
solues negativas, apesar destas continuarem a ser ignoradas pela restante comunidade
matemtica at ao sc. XVm.

24
Segundo Boyer ([6] pg. 197), o primeiro livro impresso na Europa Ocidental foi em 1447, e por volta do fim do sculo j
estavam mais de 30000 edies de vrias obras em circulao, embora apenas algumas fossem de matemtica.
98
4.1 ALBERT GIRARD

Pouco se conhece sobre a vida de Albert Girard. Pensa-se que ter vivido entre 1595
e 1632 e que ter nascido em St. Mihiel, em Lorena, embora tenha passado a maior parte da
sua vida nos Pases Baixos, onde estudou e esteve como voluntrio a cumprir servio militar.
Segundo V. Katz ([33] pg. 406), Girard escreveu trabalhos de trigonometria e retomou,
aperfeioou e editou algumas obras de Vite e Stevin; no entanto foi na lgebra que ele mais
se notabilizou e onde deu as suas maiores contribuies. O seu trabalho mais importante foi
escrito em francs e publicado em Amsterdo em 1629, com o ttulo Inveno nova em
lgebra. Este livro um livro algbrico, constitudo por muitas definies e alguns teoremas,
devidamente acompanhadas de explicaes e exemplos. Katz ([33] pg. 407) chama a ateno
para o facto da primeira parte do teorema central desta obra de Girard apresentar o Teorema
Fundamental da lgebra: "toda a equao completa de grau n tem o nmero de solues
igual ao seu grau".
Smith ([43] pg. 474) completou a ideia anterior, dizendo que o primeiro escritor a
afirmar que "qualquer equao de grau n tem exactamente n solues e no mais", parece ter
sido Peter Roth, mas que esta lei s ter sido realmente reforada em 1629, pelo "mais
proeminente algebrista" Albert Girard.
A segunda parte do teorema acima citado era referente relao que existe entre os
coeficientes de uma equao e as suas solues. De facto, o termo independente de uma
equao de grau n , a menos do sinal, igual ao produto de todas as razes (positivas ou
negativas, reais ou imaginrias); o coeficiente do termo de grau 1 novamente, a menos do
sinal, igual soma de todas as combinaes possveis de n-1 razes; o coeficiente do termo de
grau 2 , a menos do sinal, igual soma de todas as combinaes possveis de n-2 razes, e
assim sucessivamente. O nmero de coeficientes dessas somas aparece na linha n+l do
tringulo hoje conhecido por tringulo de Pascal.
Foi o uso deste resultado, embora no sentido oposto, que permitiu a Girard encontrar
as vrias solues de equaes de grau 3,4, e por vezes superior.
A resoluo dessas equaes, por este processo obrigava, na maioria dos casos, a
resolver equaes do 2o grau. Na resoluo das equaes do 2o grau, Girard apresentou apenas
o algoritmo (j conhecido de toda a comunidade matemtica) sem dar qualquer explicao ou
demonstrao, muito provavelmente por j ser do conhecimento geral.

25
Estas datas foram tiradas do livro de Cassinet ([9] pg. 54). No livro de Boyer ([6] pg. 222) tem que o autor viveu entre
1590e1633.
99
No entanto, nessas resolues h a destacar dois aspectos em que Girard foi inovador,
o facto de aceitar as solues negativas e a notao prpria que criou e usou.
Relativamente aceitao das solues negativas, Katz ([33] pg. 407) afirma que
Girard esteve entre os primeiros a reconhecer o significado geomtrico das solues negativas
de uma equao, e ter mesmo dito que:

O negativo em geometria, in4ca um retrocesso, enquanto que o positivo corresponde a um

avano. CCassinet [9] pg. 54-)

Smith ([44] pg. 423) completou a ideia de Katz, dizendo que Girard foi um dos
primeiros a apreciar o significado do negativo em geometria, embora tambm fosse bem
sucedido nas quantidades imaginrias da teoria das equaes.
S com a aceitao das solues imaginrias que Girard podia comprovar que uma
equao de grau n tinha n solues. O autor, alm de as aceitar, tambm as usava nos seus
clculos para encontrar as restantes solues de uma equao.

Elas so boas por trs coisas: pela funcionalidade da regra geral26, por se ter a certeza de no haver

mais solues, e pela sua prpria utilidade. CKnorr 135] pg. 408)

No entanto, e segundo Waerden ([50] pg. 177), sempre que surgiam solues
imaginrias, Girard classificava-as de inexplicveis ou impossveis.
Relativamente notao usada, Girard ([25] pg. 1) usava j alguns smbolos, embora
continuasse a usar o discurso contnuo. Alguns dos smbolos por ele utilizados tm o mesmo
significado que tm hoje em dia, como o exemplo do +, do - e da f . Relativamente s
potncias das incgnitas, Girard escrevia o expoente dentro de parntesis (por exemplo, x2 era
representado por (2)). Curioso o facto de o autor no ter qualquer smbolo para a igualdade.

Por exemplo, a equao 5x2 =18x + 72 era escrita por Albert Girard do seguinte
modo: 5 (2) igual a l 8 ( l ) + 72.0 algoritmo de resoluo dessa equao era o habitual.

O autor referia-se ao teorema central do seu livro.


100
Vejamo-lo:

5 (2) igual a 18 CD + 72. A metade do nmero dos (1) +9. O seu quadrado +81, ao qual junta-

se 5 vezes +72, que +360. A soma d 4-41. A V441 21, a qual acrescentada e retirada ao primeiro,

donde resulta 30 e -12. Cada um deles dividido por 5, d 6 e *4v , que o valor de 1 CD CCassinet []

pg. 54)

Um outro matemtico merecedor de destaque no campo da resoluo das equaes do


2o grau foi o francs Ren Descartes que, contrariamente ao habitual na sua poca, voltou a
resolver tais equaes de uma forma geomtrica, embora por um processo totalmente
diferente do usado pelos Gregos.

101
4.2 REN DESCARTES

Ren Descartes nasceu em Touraine (F rana) no ano de 1596 e morreu no ano de


1650. Segundo Collette ([13] pg. 5), Descartes foi um dos
fundadores da Biologia, um dos primeiros grandes filsofos
modernos, um fsico de grande talento e um matemtico por
acaso.
Inicialmente, Descartes estudou medicina e direito,
tendo-se graduado (embora sem grande gosto) em direito em
1616. Nos anos que se seguiram contactou com intelectuais
de vrios pases tais como F aulhaber na Alemanha,
Desargues e Mersene na Frana.
Segundo Collette ([13] pg. 6), Descartes ter Ren Descartes tirada de
escrito em 1619 numa carta a um amigo, dizendo que Histoire des Mathmatiques-vol
j n j ,. j " Tide. Jean Paul Cnllette.
estava na posse dos fundamentos de uma cincia
admirvel. Embora Descartes no tivesse dito a que cincia se estava a referir, Collette pensa
que seria a geometria analtica. No entanto, parece ter sido nas cartas escritas a Isaac
Beeckmann em 1628 que se encontra a origem do que chamamos hoje de geometria analtica
de Descartes27.
No ano de 1628 retirou-se para a Holanda onde comeou a escrever sobre a teoria que
descobrira. Paralelamente, Descartes estava a desenvolver um trabalho defilosofia,uma vez
que pretendia encontrar um mtodofilosficogeral, que respondesse aos principais problemas
da filosofia. Em 1637, publicou finalmente a sua obra de filosofia intitulada Discurso do
mtodo e, como apndice desse livro, editou pela primeira vez o seu trabalho de geometria
analtica (com cerca de 100 pginas).
Este trabalho de geometria analtica est dividido em trs livros. No primeiro livro, o
autor comeou por mostrar que as 5 operaes fundamentais que existem na aritmtica
correspondem a construes simples com rgua e compasso na geometria. No se esqueceu de
referir que nas multiplicaes, divises e na extraco de uma raiz quadrada era necessrio
um segmento unitrio do qual o resultado estava dependente. Segundo Waerden ([50] pg.
74), Descartes considerava (contrariamente ao que Stevin fazia) que o quociente entre dois
segmentos era ainda um segmento e no um nmero, evitando assim todos os inconvenientes

102
lgicos dos nmeros irracionais. Descartes conseguia assim libertar a lgebra do princpio da
homogeneidade que desde os primrdios "estorvava" o progresso da matemtica. Deste

modo, expresses como \ja2b2 -b (onde aeb representam segmentos de recta e o segmento

unidade conhecido) ganharam sentido.

...quando a unidade conhecida, a causa pela qual se pode entender tudo onde haja pequenas ou
grandes dimenses: como se se quiser tirar a raiz cbica de aabb - b, preciso pensar que a quantidade aabb
dividida uma vez pela uni4^4e, e que a outra quantidade b multiplicada duas vezes pela mesma. (Descartes
116] pg.7)

Em seguida, o autor apresentou detalhadamente a resoluo geomtrica dos trs tipos


de equaes do 2o grau completas com os coeficientes e solues positivas.
Segundo Smith ([44] pg. 375) a ideia fundamental de Descartes no era revolucionar
a geometria, mas sim elucidar a lgebra atravs da intuio geomtrica e dos seus conceitos,
ou por outras palavras, fazer o tratamento grfico das equaes.
Antes de passarmos anlise das resolues dos vrios tipos de equaes do 2o grau,
convm referir que embora o autor, em parte, ainda utilizasse o discurso contnuo na
resoluo das equaes, a notao usada era j bastante prxima da dos nossos dias. Segundo
Smith ([43] pg. 43), na parte relativa s equaes do 2o grau, a simbologia apresentada por
Descartes difere da actual apenas em dois aspectos: yy em vez d e / e o smbolo QO
representava o sinal de =. Note-se tambm que j em Descartes, as quantidades desconhecidas
eram representadas pelas ltimas letras do alfabeto, enquanto que as quantidades conhecidas
eram representadas pelas primeiras.
Waerden ([50] pg. 74) afirmou mesmo que toda a nossa notao essencial foi
estabelecida por Descartes.
Vejamos agora a resoluo das equaes do 2 grau dada por Descartes.

27
Segundo Smith ([43] pg. 322), embora a inveno da geometria analtica sejafrequentementeatribuda a Descartes, uma
vez que este publicou em 1637 o primeiro tratado sobre esta matria, parece no haver dvidas que esta ideia ter ocorrido a
Fermt ao mesmo tempo.
28
Abu Kamil, no sc. X, j tinha considerado nalgumas demonstraes que um segmento de recta podia representar um
nmero, uma raiz ou at mesmo o quadrado da raiz, mas tal facto no foi seguido pela restante comunidade matemtica.
29
No livro m desta obra de Descartes, aquando da apresentao das equaes de grau superior ao 3o, Descartes considerou j
as solues negativas, chamando-lhes razes falsas.
103
Equaes do tipo z = a z + bb
Constri-se o tringulo rectngulo NLM tal que o lado LM seja igual a b, a raiz quadrada da

quantidade conhecida bb, e o liado] LN seja ^ , a metade da LA GIOH ITIK.


twerdecetefciencc. Anffyqocicny remarque rien de
fi difficile, que ceux quiferontTB peu verf en la Go
outra quantidade conhecida, que est multiplicada por z, que mtrie commune, ti en l'Algbre, & qui prendront gar
de a tout ce qui eft en ce traite', ne puifienttrouuer.
se supe ser a linha desconhecida. Depois, prolonga-se MN, a Ceftponrquoyiemecontenteray icy de TOUS auer
tir, que pourvu qu'en demciUnt ces Equations on ne
base desse tringulo, at O, de modo que NO se|a igual a NU m^iapointafeferar de toutes les drainons, qui fe
ront poffibles, on aura infaUiUemcnt les plus fimptes
tennes,aufqueUUqueftionpuuTeeftreredoite.
toda a linha OM z a linha procurada. Ela exprime-se desta ca* Eto^fieUepeuterhxrefolueparUGeometrieordi
* iia.c'eftadire,ennefefcruantqoe de Ugiies droites
^r^^cirailairestraccsfurviJefurierncKplate, brique la
fcorma: z- -a + J-aa+bb . CDescartes [16] pg. 12 e15) jerniereEquatiMiuraelMeMieieineiitdiiieuce^lny
refteratcaupuBcp'vnquarriiiconnu,efgat a ce qui
fc prodoift de l'Addition, ou Cwftraion de fa racine
multiplia parqoe^quaiiwrfconnue, & de quelque
^nrrr quanti tiianfly comme
& Etlc<scereradne,coligneinconnue fetrouue ayfc
A figura apresentada foi a seguinte: | S ment. Catfifay par exemple
"" <-*-*
f ^ X ie&Mktrianglerean
gleNLM.dontleco
ftciXMeft efgala* ra
cine quarrec de la quan
tit connue t i, je l'an
treLNeft j , lamoi
ti de l'autre quantit'
ccmme,qmeftokinnlripu<ie par *.que ie fuppofeeftre la
Ugne inconnue. r^prolongeantMNtabazedecetn
angle,

M Pgina 12 do livro La Gomtrie de


Ren Descartes, onde feita a
demonstrao referida.

Como se pode ver pela transcrio dada, Descartes explicou a forma de obter a
soluo, embora sem apresentar qualquer justificao. Essa justificao deduz-se facilmente
se tivermos em conta a proposio 3H-36 dos elementos de Euclides.

Por construo, temos que LM = b e que LN= a/2. Pela proposio referida temos

que MP xMO = ML2. Temos ento que:


MP x MO = ML2 (1)
o (MO - a) xMO = bb
&M02-a xMO = bb
oMO2 = a xMO + bb

Pela ltima igualdade, conclui-se que MO satisfaz a equao z2-az+bb, sendo

portanto soluo da equao.

104
f
1 I ^
Para se deduzir a expresso algbrica da soluo z=a + Jaa+bb suficiente
v 2 \4
aplicar o teorema de Pitgoras ao tringulo MNL. A soluo obtm-se acrescentando
hipotenusa do tringulo MNL o raio da circunferncia.

A outra soluo da equao no apresentada, uma vez que negativa.

Equao do tipo y2 + ay = bb.


Se tivermos yy=-ay+bb, em que y a quantidade procurada, faz-se o mesmo tringulo
rectngulo NLM, de base MN e tal que NP igual a NL e a recta PM a raiz procurada. Deste modo temos

que y = a + Jaa+bb . (Descartes [16] pg. 15)

Neste caso, Descartes usou a mesma construo do exemplo anterior.


Partindo da mesma condio inicial, e substituindo MO por MP + a, obteve:

MP x MO = ML2
<z>MP x(MP + a) =bb
<^> MP2 + a xMP = bb,

de onde resulta que MP a soluo da equao y2 + ay = bb.

Para obter a expresso algbrica da soluo y-a + Jaa+bb o autor


' 2 \4
comea por usar novamente o teorema de Pitgoras aplicado ao tringulo MLN para em
seguida subtrair hipotenusa do tringulo MNL o raio da circunferncia, obtendo assim a
expresso pretendida.

A soluo negativa desta equao tambm foi ignorada.

105
Equao do tipo z = az-bb
Enfim, se tivermos z 2 = az-bb, faz-se NL igual a ^ e LM igual a b. Depois, em vez de unir os

pontos MN, tira-se MQR paralela a LN. De centro N at L descreve-se um crculo que corte a linha nos

pontos Q e % a linha procurada z MQ e MR, pois neste caso ela exprime-me de duas manaras, a saber:

1 M uu 1 i-W>.

2 a - V4
Jaa-bb e z=a
2 + V4
J
2 V4 2 V
E se o crculo, que tem o seu centro no ponto N, passar pelo ponto L, mas no cortar nem tocar a

linha MQR, no existe nenhuma soluo da equao, de modo que possvel garantir que a construo do

problema proposto impossvel. (Descartes [16] pg. 15)

A figura para este tipo de equaes a seguinte:

Neste caso, a figura suporte diferente, embora o raciocnio seja anlogo e a


proposio usada seja a mesma:

Por construo, temos que LM = b e que LN = a/2. Pela proposio III-36 vem que:

MQxMR=ML2.Mas
MQxMR=ML2 <z> MQxMR=ML2 <z>
MQx(a-MQ) =F<=> ou (a-MR) xMR = b2 o
axMQ-MQ2 = b2 o axMR-MR2 = b2 <=>
MQ2 = a xMQ - b2 MR2 = a xMR - b2

Donde se conclui que tanto MQ como MR so solues da equao z2 = az -bb


Como este tipo de equaes nem sempre tem solues, o autor referiu os casos em
que a equao impossvel (quando a recta perpendicular a LM por M no intersecta a
circunferncia de centro N e raio NL (que corresponde a b> a/2)).

106
Relativamente s expresses algbricas apresentadas, consideremos que P o ponto
mdio de QR Aplicando o teorema de Pitgoras ao tringulo NQP conclui-se que

PQ=PR = Jaa -bb, da que as solues da equao (MR e MQ) sejam

respectivamente a + Jaa-bb e a - Jaa-bb

Como vimos, Descartes resolveu toda e qualquer equao do 2 grau de uma forma
geomtrica e totalmente original relativamente aos Gregos, introduzindo a notao que ainda
hoje utilizamos. No entanto, ignorou (pelo menos no I o livro do seu trabalho) as solues
negativas, e continuou a dividir as equaes do 2 grau em vrios tipos.

O primeiro tratamento unificado e geral das equaes do 2 grau, referido na literatura,


data do sc. XVIII e da autoria de MacLaurin.

107
4.3 COLIN MACLAURIN

Colin MacLaurin era um matemtico britnico, que nasceu na Esccia no ano de 1698
e faleceu em 1746.
Segundo Collette ([13] pg. 101), a sua habilidade matemtica desde cedo foi notria,
tendo entrado para a Universidade com 12 anos e terminado com brio o bacharelato sobre
gravidade na Universidade de Glasgow quando tinha 15 anos. Aos 19 anos, foi professor
universitrio em Aberdeen. Seis anos mais tarde estava j na universidade de Edimburgo.
Boyer ([6] pg. 315) classificou mesmo MacLaurin de "o mais importante matemtico
britnico da gerao posterior a Newton" e afirmou que ele ter escrito trabalhos de
matemtica nas mais variadas reas.
Segundo Cassinet ([9] pg. 58), no que diz respeito s equaes do 2 grau, MacLaurin
apresentou no seu livro lgebra, que foi publicado em 1748 (2 anos depois da sua morte), a
teoria das equaes do 2o grau de uma forma completa (considera todas as solues positivas
ou negativas), geral (considera todos os casos de uma s vez, sem os dividir em vrios tipos) e
acessvel a todos (com uma linguagem perfeitamente acessvel a um pblico vasto, mesmo
sem grandes conhecimentos matemticos), dando a demonstrao algbrica que ensinada
hoje em dia aos alunos do secundrio. Cassinet alerta porm, que possvel que a resoluo
das equaes do 2o grau, em toda a sua generalidade, possa ter ocorrido algum tempo antes de
MacLaurin.
Vejamos tal resoluo.

Transportam-se todos os termos que contm a incgnita para um membro da equao e todos os
termos conhecidos para o outro.
Se o quadrado da incgnita est multiplicado por alguma quantidade, dividem-se todos os termos
da equao por essa quantidade.
Forma-se o quadrado da metade da quantidade que multiplica a incgnita simples, juntando-o a
ambos membros da equao e, nesse momento, um membro da equao ser um quadrado perfeito.
Tira-se a raiz quadrada de ambos os membros, e um membro ser sempre a incgnita com a metade
da quantidade que multiplica a incgnita simples; de modo que se transpusermos essa metade, teremos o
valor da incgnita.

108
Exemplo: y2 + a y = b

a1 a1
2
Ju nta-se o quadrado de | y +ay+=b+

a a
, I L
Extrai-sea raiz. y+
2 V 4'

a II 2 a

Transpomos y- \~~~~2

Como todo o quadrado positivo, evidente que a raiz quadrada duma quantidade negativa

imaginria pelo que no poder ser aceite; por isso, que existem equaes 4o 7 grau que podem no ter

qualquer soluo.

Exemplo: y2 - a y = -3 a2

a2 2 a1 , 2 a2 lio2
Junta-se 7 -ay+-=-3a +=
2 4 4 4
a I lia 2
y -
Extrai-sea raiz ~~~ V

-i4?
Neste exemplo, os dois valores de y so imaginrios ou impossveis, porque no podemos aceitar a

lia2
raiz quadrada de . CCassinet [9] pg. 58 e 59).
4

109
CONCLUSO

Sintetizarei agora com alguns breves comentrios o que pretendi com esta dissertao.
Apesar deste trabalho ser breve e conciso, no podendo desta forma abranger todos os
matemticos que deram contribuies na evoluo do processo de resoluo das equaes do
2o grau, penso que foram referidos os aspectos e as fases mais importantes de tal evoluo.
importante salientar que, por vezes o aparecimento de trabalhos que estavam
perdidos ou parcialmente destrudos vm pr em questo convices fortes, e afirmaes
como "este matemtico foi o primeiro a ..." podem deixar de fazer sentido. No obstante tal
facto, os matemticos referidos no deixam de ter mrito e de serem considerados mentes
geniais.
Como j referi na introduo, tentei sempre que me foi possvel seguir as tradues
das obras originais dos autores, nomeadamente as tradues feitas por M. Thureau Dangin
sobre os documentos deixados pela civilizao Mesopotmica; as de F. Peyrard relativamente
aos Elementos e aos Dados de Euclides; para Diofanto segui as tradues de Paul Ver Eecke
dos livros inicialmente conhecidos da Aritmtica do autor; no que diz respeito aos rabes,
para Al Khowarizmi analisei tradues feitas por A. Djebbar e por Jean Pierre Levet; e para
Abu Kamil baseei-me nas tradues de Martin Levey; para os Europeus Girard e Descartes
segui os textos originais.

Analisando agora a vertente pedaggica relativa ao meu trabalho como professor do


ensino secundrio, penso que com esta dissertao e ao analisar os textos deixados pelos
matemticos referidos consegui sentir em parte as dificuldades e o deslumbramento sentidas
pelos autores e que podem ser semelhantes s que os nossos alunos sentem quando, por
exemplo, so confrontados com a apresentao e demonstrao da frmula resolvente das
equaes do 2o grau. Fiquei tambm a conhecer bastante melhor a histria da matemtica,
podendo tal conhecimento, quando aplicado oportunamente, servir de incentivo aos nossos
alunos quando lhes estamos a leccionar diferentes temas.

110
BIBLIOGRAFIA

[1] AISSANI, Djamil (Edit.) - Bougie a L'Epoque Mdivale. Les mathmatiques au


sein du movement intellectuel. Rouen: IREM de Rouen, 1993

[2] BENOIT, Paul; MICHEAU, Franoise - "O Intermedirio rabe?" de Michel


Serres (Dir.) - Elementos para uma histria das cincias. Vol. I - Da Babilnia
Idade Mdia. Trad. Lisboa: Terramar, 1989.

[3] BERGGREN, J. L. - Episodes in the Mathematics of Medieval Islam. New York:


Springer - Verlag, 1986

[4] BOCHNER, Salomon - The Role Mathematics in the Rise of Science. Princeton:
Princeton University Press, 1996.

[5] BOURBAKI, Nicolas - Elements of the History of Mathematics. Transi. Berlin:


Springer- Velag, 1994

[6] BOYER, Carl B. - Histria da Matemtica. Trad, por Elza F. Gomide. So Paulo:
Edgard Blucher, 1974

[7] CAJORI, Florian - A History of Mathematics. New York: Chelsea, 1991

[8] CASSINET, M. J. (Edit.) - Equations du premier degr - Mthode de "Fausse


Position". Tolouse: IREM de Tolouse, 1982

[9] CASSINET, M. J. (Edit.) - Equations du second degre. Tolouse: IREM de Tolouse,


1979

[10] CASSINET, M. J. (Edit.) - Equations du troisime degre. Tolouse: IREM de


Tolouse, 1980

111
[11] CHESTER, Robert - Livre d Algbre e dAlmucabola de Al Khwarizmi; Fascicule
1. Trad, por Jean-Pierre Levet. Poitiers: IREM de Poitiers, 1997.

[12] COLLETTE, Jean-Paul -Histoire des Mathmatiques, vol. 1. Montreal: Vuibert,


1973

[13] COLLETTE, Jean-Paul - Histoire des Mathmatiques, vol. 2. . Montreal: Vuibert,


1979

[14] COOLIDGE, Julian Lowell - The Mathematics of Great Amateurs, 2nd Ed.
Oxford: Clarendon Press, 1990.

[15] DEDRON, Pierre; ITARD, Jean - Mathmatiques et Mathmaticiens "de Ian


2000 Ian 2000 - de Babylone Paris ". Paris: Magnard, 1959

[16] DESCARTES, Ren - The Geometry of Ren Descartes. Trad, por David Eugene
Smith e Mareia Lathan. New York: Dover, 1954

[17] DIOPHANTE d'Alexandrie - Les six livres arithmtiques et le livre des nombres
polygones. Trad, por Paul Ver Eecke. Paris: Albert Blanchard, 1959

[18] DJEBAR A. - Matriaux pour I etude de la tradition algbrique arabe (IXe - XVe
sicles), premire version. Paris: IREM Paris, 1996

[19] DJEBAR, \.-Laphase arabe de l algbre (VIIIe -XVe sicles); 12e Colloque Inter
- IREMpistmologie sur "Lapense algbrique". Douai, 1998

[20] EUCLIDE - Les Oeuvres D Euclide. Trad, por F. Peyrard. Paris: Albert Blanchard,
1993

[21] EUCLIDE - Les Elements, Vol. I - Introdution Gnrale: Livre I a IV- Gomtrie
plane. Trad, por Bernard Vitrac. Paris: Presses Universitaires de France, 1990

112
[22] EVES, Howard - An Introdution to the History of Mathematics. New York: Holt,
Rinehart and Winston, 1974

[23] FRAJESE, AttUio; MACCIONI, Lamberto (Edit.) - Gli Elementi di Euclide.


Torino: Unione Tipografico-Editrice Torinese, 1970

[24] GANDZ, S. - "The Sources of Al-Khowarizmi Algebra" de Osiris Vol. I pp. 263-
277, 1936

[25] GIRARD, Albert - "Des equations ordonnes" de L invention nouvelle em


lgebre;\629

[26] GUIMARES, Antonio Andrade - O pensamento Matemtico na Grcia Antiga -


Iaparte: da antiguidade Oriental at Zeno de Eleia. Porto: Centro Universitrio do
Porto, 1973

[27] HEATH, Thomas - A History of Greek Mathematics, vol. I -from Thaes to Euclid
New York: Dover, 1981

[28] HEATH, Thomas - A History of Greek Mathematics, vol. II -from Aristarchus to


Diophantus. New York: Dover 1981

[29] HEBERT, E. (Edit.) - Dcouvrir les mathmatiques arabes. Rouen: IREM de


Rouen, 1989

[30] HEBERT, E. (Edit.) - Quelques aspects des mathmatiques dlbn al-Banna de


Marrakech (1256-1321). Rouen: IREM de Rouen, 1995

[31] HOFMANN, Ehrenfried - Historia de la Matemtica, tomo I - Desde el comienzo


hasta Fermt y Descartes. Trad, por Valis Y Angles y Fernandez Tomas. Barcelona:
Union tipogrfica Editorial Hispano Americana, 1960

[32] I. R. E. M. de Paris VH (M. A. T. H.) - Exemples d'utilization de textes originaux.


Paris: IREM Universit Paris VII, 1990
113
[33] KATZ, Vitor J. - A History of Mathematics: an introduction. New York: Harper
Collins College, 1993

[34] KLEIN, Jacob - Greek Mathematical Thought and the Origin of Algebra. Trad, por
Eva Brann. New York: Dover, 1968

[35] KNORR, Wilbur - The Ancient Tradition of Geometric Problems. Boston:


Birkhausor, 1986

[36] LEVEY, Martin - The Algebra of Abu Kamil. Transi. Madison: University of
Wislonsin Press, 1966.

[37] MAHAMMED, Norredine - Sur la rsolution des quations algbriques. Lille:


IREM de Lille, 1995

[38] RADFORD, Luis - 'L'mergence et le dveloppement conceptuel de F algbre" in


Actes de la premire universit d't europenne. Montpellier: IREM de
Montpellier, 1993

[39] ROBINS, Gay; SHUTE Charles - The Rhind Mathematical Papyrus, an ancient
Egyptian text. New York: Dover, 1987

[40] SALD3A, George A.- 'The Meaning of al-jabr wa'1-muqabalah" in Centaurus Vol.
17, 1972-73

[41] SESIANO, Jacques - "Rhetorische Algebra in der arabisch-islamischen Welt" de


Geschichte der Algebra, eine Einfuhrung: Edit, por E. Scholz

[42] SESIANO, Jacques - Boohs TV to VII of Diophantus Arithmetica, in the Arabie


translaction attributed to Qusta Ibn Luqa. New York: Springer-Verlag: 1982

[43] SMITH, David Eugene - History of Mathematics, vol. II - Special topics of


elementary Mathematics. New York: Dover., 1953
114
[44] SMITH David Eugene - History of Mathematics, vol. I - General survey of the
history of elementary Mathematics. New York: Dover, 1951

[45] STRUIK, Dirk J. - Histria concisa das Matemticas. Trad, por Joo Cosme Santos
Guerreiro. Lisboa: Gradiva, 1992

[46] SWD7T, J. D. - "Diophantos of Alexandria" in American Mathematical Monthly,


1956

[47] SZAB, rpad - The Beginnings of Greek Mathematics. Dordrecht: Reidel, 1978

[48] TTMMERMANS, Benoit - La rsolution des problmes de Descartes Kant:


L'analyse a Vage de la revolution scientifique. Paris: Press Universitaire de France,
1995

[49] VARADARAJAN, V. S. - Algebra in Ancient and Moderd Times. Providence:


American Mathematical Society, 1998

[50] WAERDEN, B. L. Van Der - A History of Algebra - From al-Khwarizmi to Emmy


Noether. Berlin: Springer Velag, 1985

[51] YOUSCHKEVTTCH, Adolf P. - Les Mathmatiques Arabes (VHP-XVe sicles).


Trad, por M. Cazenaze e K. Jaouiche. Paris: VRIN, 1976

115