Académique Documents
Professionnel Documents
Culture Documents
Fevereiro de 2000
Bernardino Carneiro de Andrade
Fevereiro de 2000
Bernardino Carneiro de Andrade
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
9
1. 1 CIVILIZAO EGPCIA
Divide 100 em dois quadrados, tal que o lado de um % do lado 4o outro. Fazes um tringulo
quociente entre estes dois valores - r j = 8. Para obter as solues finais, bastou multiplicar
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
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
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.
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)
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)
'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
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
Afiguraque poder ter estado na base da descoberta deste algoritmo poder ter sido a
seguinte:
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
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:
19
2 CIVILIZAO GREGA
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
aos quadrados dos segmentos, e a duas vezes o rectngulo contido por esses dois segmentos. CEuclides 120]
pg. 43)
A T B
D Z E
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)
A C D B
L H
E LJ
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)
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
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)
K B
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
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)
O Q| R
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.)
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.
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.
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
28
Novamente, dado um comprimento (AB), a rea de uma figura plana (C) e uma
figura (D) ao qual o excesso ser semelhante.
A E B
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:
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-)
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:
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
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)
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
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)
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
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
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.
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
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
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:
-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)
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
2
X= AXY +
(X-Y\ X-Y |.
AY = JXY +
rxy^ X-Y
+
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
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
Problema II8
Divide um quadrado proposto em dois quadrados. Propomos portanto dividir 16 em dois
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
l4
sera / 7 5 ' <^>r3, e s s e s ^ o l s nmeros adicionados valem 40
%:.
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:
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.
44
3 CIVILIZAO RABE
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
|
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
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:
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).
13
O Dirham era a unidade monetria rabe.
Equaes combinadas
4o tipo razes e quadrados iguais a nmeros, x2 + px = q
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
... 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
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:
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)
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.
igual a 2 razes, a raiz do quadrado 2, e 4 representa o quadrado. C...) (Chester [11] pg. 9)
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)
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.
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
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)
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)
Ui J I dli j i . JV*
f
A ' /* J&taijjj
JX _ <
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
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
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:
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)
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
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:
M K
H C
N I B D
N I B D
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
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
E A D
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)
(...) 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-)
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.
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
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
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)
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
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
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
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)
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
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
tipox2 + px - q.
A soluo bvia obtm-se quando algum coloca uma superfcie rectangular junto da superfcie
quadrada - ABGD:
7, M K
B A
D N
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)
H 5 Z 5 B x G
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
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.
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)
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
74
Demonstrao da Ia soluo:
Tomemos o numera que est junto 4o quadrado, ou seja 21 [e consideremos] que maior do que
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]
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
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)
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.
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
seguinte:
Pela proposio II-5 temos que DB x BL + ZB2 = DZ
_ 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
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,
K A H
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
r^2
MasWB xBD = WBxBA = qe DZ1 = P Ento ZB= x-=
\2j
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
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)
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
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
Para o caso geral (px + q = x2) e de uma forma mais sucinta, temos:
Pela proposio II-6AB xHB + Zrf^ZB2.
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
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
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
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
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:
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)
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)
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.
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
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 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
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
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
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
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
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
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)
x1 + px - q, com peq positivos. A soluo (positiva) foi apresentada para o caso geral. A
2 2 4
2 ^ + q;
V4 2
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:
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
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:
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.
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)
101
4.2 REN DESCARTES
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
...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)
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
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
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.
MP x MO = ML2
<z>MP x(MP + a) =bb
<^> MP2 + a xMP = bb,
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
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
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
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.
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.
110
BIBLIOGRAFIA
[4] BOCHNER, Salomon - The Role Mathematics in the Rise of Science. Princeton:
Princeton University Press, 1996.
[6] BOYER, Carl B. - Histria da Matemtica. Trad, por Elza F. Gomide. So Paulo:
Edgard Blucher, 1974
111
[11] CHESTER, Robert - Livre d Algbre e dAlmucabola de Al Khwarizmi; Fascicule
1. Trad, por Jean-Pierre Levet. Poitiers: IREM de Poitiers, 1997.
[14] COOLIDGE, Julian Lowell - The Mathematics of Great Amateurs, 2nd Ed.
Oxford: Clarendon Press, 1990.
[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
[24] GANDZ, S. - "The Sources of Al-Khowarizmi Algebra" de Osiris Vol. I pp. 263-
277, 1936
[27] HEATH, Thomas - A History of Greek Mathematics, vol. I -from Thaes to Euclid
New York: Dover, 1981
[34] KLEIN, Jacob - Greek Mathematical Thought and the Origin of Algebra. Trad, por
Eva Brann. New York: Dover, 1968
[36] LEVEY, Martin - The Algebra of Abu Kamil. Transi. Madison: University of
Wislonsin Press, 1966.
[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
[45] STRUIK, Dirk J. - Histria concisa das Matemticas. Trad, por Joo Cosme Santos
Guerreiro. Lisboa: Gradiva, 1992
[47] SZAB, rpad - The Beginnings of Greek Mathematics. Dordrecht: Reidel, 1978
115