Tese PDF Final V1 PDF

Da lgebra Geomtrica
Grega Geometria
Analtica de Descartes
e de Fermat
Maria Dalila Correia Pedrosa Ramos

Dissertao de Mestrado apresentada
Faculdade de Cincias da Universidade do Porto em
Matemtica
2013
Da lgebra Geomtrica
Grega Geometria
Analtica de Descartes
e de Fermat
Maria Dalila Correia Pedrosa Ramos

Mestrado em Matemtica para Professores
Departamento de Matemtica
2013
Orientador
Carlos Manuel Monteiro Correia de S,
Professor Auxiliar da Faculdade de Cincias
da Universidade do Porto
Agradecimentos
Gostaria de manifestar os meus agradecimentos ao Professor Doutor Carlos Manuel

Monteiro Correia de S, no s por ter aceitado a orientao desta dissertao, como
tambm pela disponibilidade demonstrada.
Le XVII sicle, celui de tous qui fait le plus dhonneur lesprit humain
Laplace (1749-1827)
Resumo
O objetivo desse trabalho consiste em estudar a criao da Geometria Analtica por
Fermat e Descartes, dando relevo s influncias exercidas sobre este processo por
obras de matemtica desde a antiga Grcia. Faz-se uma sucinta retrospetiva histrica,
com a convico de que grandes clssicos como os Elementos de Euclides, as
Cnicas de Apolnio, a Aritmtica de Diofanto, ou a representao grfica de leis da
Fsica por parte de Oresme e a Arte Analtica de Vite tiveram um papel precursor,
atravs de ideias e de mtodos, na construo da Geometria Analtica daqueles dois
matemticos franceses do sculo XVII. Durante esse trajeto, constata-se que a
lgebra geomtrica grega, com a sua linguagem retrica inicial, sofre graduais
mudanas ao associar equaes a curvas, com a introduo da ideia de eixos
coordenados
com
aparecimento
da
lgebra
simblica,
instrumentos
imprescindveis para a formao da Geometria Analtica. feita uma anlise obra de

Fermat, Introduo aos lugares planos e slidos, na qual o autor aplica a sua ideia de
anlise no estudo de lugares geomtricos, tomando como base o trabalho de
Apolnio. Observa-se o modo, algo diferente, como Descartes utiliza a anlise, ao
longo dos trs livros da Geometria: aps aritmetizar os segmentos de reta, procede
sua algebrizao, comeando pelas equaes quadrticas. De seguida, analisa-se o
seu mtodo das tangentes, e estudam-se exemplos em que aplica os seus mtodos
na construo geomtrica das razes de equaes de problemas slidos.
Palavras-chave: Histria da Matemtica, Geometria Analtica, Fermat, Descartes.
xi
Abstract
This papers objective consists on studying the creation of Analytic Geometry by Fermat
and Descartes, focusing on the influences exercised over this process by mathematical
works since the Ancient Greece. A brief historical retrospective is done with the belief
that great classics such as Euclids Elements; Apollonius Conics, Diophantus
Arithmetica or the graphic representation of the laws of Physics by Oresme and Vites
Introduction to the art of analysis played a pioneering role, through the ideas and
methods, in the construction of Analytic Geometry of those two 17 th century French
mathematicians. During that path, it appears that the Greek Geometric Algebra, with its
initial rhetorical language, suffers gradual changes when associating equations to
curves, with introducing the idea of coordinate axes and the emergency of Symbolic
Algebra, essential instruments for the shaping of Analytic Geometry. It is done an
analysis to the Fermats Introduction to Plane and Solid Loci, in which the author
applies the idea of analysis to the study of locus of point, based upon the work of
Apollonius. It is observed the somewhat distinct way how Descartes uses analysis,
throughout the three books of Geometry: after making the line segments arithmetical,
proceeds to its algebrization, starting by the quadratic equations. Then the tangent
method is reviewed and some examples of the application of his methods in the
geometric constructions of root equations in solid problem.
Keywords: History of Mathematics, Analytic Geometry, Fermat, Descartes.
xiii
ndice
Resumo ...................................................................................................................... xi
Abstract ................................................................................................................... xiii
ndice ......................................................................................................................... xv
ndice de Figuras .................................................................................................... xvii
Introduo ...................................................................................................................1
Captulo 1
As Origens da Geometria Analtica ............................................................................7
1.1 Consequncias da incomensurabilidade na natureza da Matemtica grega ..........7
1.2 Contributos de antecessores de Descartes e Fermat ..........................................17
1.2.1 Menecmo ................................................................................................ 17
1.2.2 Apolnio ................................................................................................. 22
1.2.3 Diofanto ..................................................................................................29
1.2.4 Oresme.................................................................................................... 34
1.2.5 Vite .......................................................................................................38
Captulo 2
A Geometria Analtica de Fermat ............................................................................. 45
2.1.Apresentao ...................................................................................................45
2.2.A Introduo aos Lugares Planos e Slidos ..................................................... 51
2.2.1. Retas ......................................................................................................51
2.2.2.Crculos ..................................................................................................53
2.2.3.Parbolas................................................................................................. 55
2.2.4.Hiprboles ............................................................................................... 57
2.2.5.Elipses .................................................................................................... 60
2.2.6.Um exemplo de aplicao .......................................................................62
Captulo 3
A Geometria Analtica de Descartes .........................................................................65
3.1.Apresentao ...................................................................................................65
3.2.Aritmetizao dos segmentos de reta................................................................ 72
3.3.Algebrizao dos segmentos de reta ................................................................. 74
3.3.1. Equaes do segundo grau .....................................................................74
xv
3.3.2. O problema das quatro retas .................................................................. 77

3.3.3. Mtodo das tangentes ............................................................................ 86
3.3.4. Construo dos Problemas Slidos ........................................................ 95
3.3.5. Insero dos dois meios proporcionais ..................................................103
3.3.6. Trisseo do ngulo ..............................................................................107
Eplogo .....................................................................................................................113
Bibliografia ..............................................................................................................117
xvi
ndice de Figuras
Figura 1- Primeira soluo de Menecmo. 21
Figura 2- Segunda soluo de Menecmo... 21
Figura 3- Pgina de Ttulo da 1 edio impressa em latim das Cnicas, de Apolnio.. 23
Figura 4- Dimetros conjugados. Figura extrada de Vincenzo (2007, p.445) .... 25
Figura 5- Representao grfica de um movimento uniforme, segundo Oresme.... 35
Figura 6- Representao grfica de movimentos uniformemente diformes,
onde d1 : d 2 e1 : e2 .... 36
Figura 7- Varia Opera Mathematica de Fermat (1679) .... 47
Figura 8- Referencial de Fermat... 49
Figura 9- Anlise de retas. Figura extrada de Tannery (1896, p. 86)... 51
Figura 10- Anlise de retas. Figura extrada de Tannery (1896, p. 89). 52
Figura 11- Anlise de crculos. Figura extrada de Tannery (1896, p. 91). 54
Figura 12- Anlise de parbolas. Figura extrada de Tannery (1896, p. 90). 55
Figura 13- Anlise de parbolas. Figura extrada de Tannery (1896, p. 90).... 56
Figura 14- Anlise de hiprboles. Figura extrada de Tannery (1896, p. 87).... 57
Figura 15- Anlise de hiprboles. Figura extrada de Tannery (1896, p. 88).... 58
Figura 16- Anlise de hiprboles. Figura extrada de Tannery (1896, p. 93) 58
Figura 17- Anlise de elipses. Figura extrada de Tannery (1896, p. 94).. 61
Figura 18-. Anlise de um caso particular. Figura extrada de Tannery (1896, p. 94). 63
Figura 19- Instrumento para traar curvas de Descartes.
Figura extrada de Smith (1954, p. 50). 69
Figura 20- Multiplicao e Diviso. Figura extrada de Smith (1954, p. 4).... 72
Figura 21- Extrao da raiz quadrada. Figura extrada de Smith (1954, p. 4).. 74
Figura 22- Construo geomtrica de equaes do segundo grau.... 75
Figura 23- Problema de Papo. Caso particular, n=4. Figura extrada de Bos (2001, p. 315). 79
Figura 24- Problema das quatro retas. Figura extrada de Smith (1954, p. 27) 82
Figura 25- Mtodo de Descartes para determinar normais.. 88
Figura 26- A unicidade do ponto de interseo. Figura extrada de Smith (1954, p. 97) 90
Figura 27- Reta normal a uma curva. Figura extrada de Smith (1954, p. 94).. 91
Figura 28- Reta normal elipse. Figura extrada de Smith (1954, p. 97).. 92
Figura 29- A concoide parablica. Figura extrada de Smith (1954, p. 97)... 93
Figura 30- Construo dos problemas slidos. Figura extrada de Smith (1954, p. 194)... 98
Figura 33- Representao grfica dos zeros da equao y 4 y 2 4 y 2 ...............................101
xvii
Figura 34- Os zeros representados pelas ordenadas dos pontos de interseo

das duas curvas: crculo e parbola... 101
Figura 35- Representao grfica dos zeros da equao y 4 7 y 2 y 10 102
Figura 37- Representao grfica dos zeros da equao y 4 2 y 2 4 y 1 ..103
Figura 39- Insero de dois meios proporcionais. Figura extrada de Smith (1954, p. 205).105
Figura 40- Anlise da trisseo do ngulo 108
Figura 41- Construo geomtrica da trisseo do ngulo.
Figura extrada de Smith (1954, p. 206)..110
xviii
Introduo
A Geometria Analtica assenta no uso de coordenadas, o que permite a
aplicao de mtodos algbricos Geometria. Howard Eves, no seu livro Introduo
Histria da Matemtica, afirma que a Geometria Analtica plana
(...) consiste em estabelecer uma correspondncia entre pontos do plano e pares
ordenados de nmeros reais, viabilizando assim uma correspondncia entre curvas do plano e
equaes em duas variveis, de maneira tal que para cada curva do plano est associada uma
equao bem definida f ( x, y) 0 e para cada equao dessas est associada uma curva (ou
conjunto de pontos) bem definida do plano. Estabelece-se, alm disso, uma correspondncia
entre as propriedades algbricas e analticas da equao f ( x, y) 0 e as propriedades
geomtricas da curva associada. (1997, p. 382).
Eves conclui que a Geometria Analtica se caracteriza por permitir transferir os

procedimentos da demonstrao de um teorema em Geometria para os de um
teorema correspondente em lgebra e Anlise. Sob o ponto de vista histrico, a
correspondncia apontada por este autor encontrou desde cedo srias dificuldades; foi
apenas com o desenvolvimento dum simbolismo algbrico suficientemente expedito
que se tornou possvel obter a articulao entre os dados simblicos e os dados
grficos, para que a Geometria Analtica desempenhasse plenamente o seu papel.
Para muitos estudiosos (Quintero, 2001, p. 45) a inveno da Geometria
Analtica est relacionada, no s com a maturao de uma lgebra simblica capaz
de manipular variveis e parmetros, mas tambm com uma reflexo profunda por
parte dos matemticos renascentistas sobre o mtodo de anlise usado pelos gregos
para resolver problemas geomtricos. Com o seu desenvolvimento, estes dois
processos, profundamente inter-relacionados, convergiram no chamado mtodo das
coordenadas, que passou a ser de uso corrente na Matemtica a partir dos trabalhos
de Descartes e Fermat.
A Matemtica antiga caracteriza-se por uma exposio de tipo sinttico, com
demonstraes baseadas em axiomas e postulados, que oferece muito poucas pistas
sobre o modo como os gregos chegaram aos resultados. Na Europa dos sculos XVI e
Introduo
XVII havia uma justificada curiosidade em saber o modo como os antigos tinham
obtido os seus resultados de Geometria, que demonstravam de forma brilhante, mas
cuja heurstica ocultavam. Por exemplo, Descartes deixou expresso este sentimento
de frustrao na Regra IV das suas Regras para a Direo da Mente:
Mas quando depois pensei para mim mesmo como que os mais antigos pioneiros da
Filosofia em idades passadas recusavam admitir para o estudo da sabedoria quem quer que fosse
no versado em matemtica, evidentemente acreditando que este era o exerccio mental mais
indispensvel e de preparao para dominar outras cincias mais importantes, fui confirmado
que na minha suspeita que eles tinham conhecimento de uma espcie de matemtica muito
diferente da que corrente no nosso tempo. Eu no imagino que tivessem um conhecimento
perfeito dela (...) mas estou convencido que certos germes primrios de verdade implantados
pela natureza da mente humana (...) tinham grande vitalidade nessa idade rude e no sofisticada
do mundo antigo (...). Na verdade, parece-me reconhecer em Papo e Diofanto certos vestgios
desta verdadeira Matemtica (...). Mas na minha opinio que estes escritores, com uma espcie
de esperteza perversa, na verdade deplorvel, suprimiram esse conhecimento. (Descartes, 1953,
p.p. 6-7).
Intrigados e por vezes frustrados com o estilo sinttico grego, os matemticos

europeus do final do Renascimento sentiram-se tambm curiosos e estimulados pelos
rarssimos textos que faziam referncia ao mtodo de anlise, que consistia em supor
o problema resolvido e, ento, deduzir consequncias at alcanar um resultado j
conhecido. As ideias centrais deste mtodo so esmiuadas na introduo, intitulada
Domnio da Anlise, ao livro VII da Coleo Matemtica de Papo de Alexandria (290350 d.C.), onde so mencionadas vrias obras de teor analtico, que se encontram
perdidas1. Usando as sugestes e descries de Papo, os matemticos europeus dos
sculos XVI e XVII estudaram os textos gregos que tinham disponveis, com o objetivo
de tentarem apreender o referido mtodo e reconstruir obras perdidas comentadas no
Domnio da Anlise.
Papo de Alexandria foi um dos ltimos matemticos gregos da antiguidade. Distinguiu-se pelo seu tratado, a Coleo, obra de oito
volumes, que rene uma ampla gama de tpicos de estudos matemticos (geometria, matemtica recreativa, duplicao do cubo,
polgonos e poliedros), retirados de antecessores seus.
Introduo
Os gregos tratavam os problemas geomtricos com um misto de pura retrica e

de representaes grficas, mas sem smbolos especficos e sem qualquer notao
algbrica. Em The Origin of Analytic Geometry, Julian L. Coolidge observa,
It must not be imagined, of course, that the Greeks who were without any sort of
algebraic notation were able either to state their theorems or perform the necessary
transformations with anything like our modern elegance. Their most important quasi-algebraic
tools were the Eudoxian theory of proportion and the method of application of areas. (1936,
p. 235).
Com a descoberta da incomensurabilidade, por volta do sculo V a.C., tomouse conscincia de que a teoria pitagrica das propores no era aplicvel
Geometria. At aparecer uma teoria das propores mais geral, aplicvel tanto a
grandezas comensurveis como incomensurveis (o que s veio a acontecer no sc.
IV a.C. com Eudoxo de Cnido), foram postos em causa os teoremas e os problemas
geomtricos que, direta ou indiretamente, envolvessem a noo de proporcionalidade.
Neste contexto, surgiu um novo ramo da Matemtica, a que H. G. Zeuthen (18391920) chamou lgebra Geomtrica dos gregos, e que se encontra plasmado nos
Elementos de Euclides2; segundo V. Katz (2010, p. 88), as proposies 43-45 do Livro
I juntamente com as do Livro II e as proposies 27-30 do Livro VI formam o contedo
da lgebra Geomtrica.
Esta alternativa ao uso das propores pode ter resultado da geometrizao de
mtodos algbricos anteriormente usados pelos mesopotmios na Aritmtica 3, sendo
os nmeros substitudos por segmentos de reta, retngulos e paraleleppedos, e
passando as operaes entre estes a ser feitas mediante construes geomtricas,
sendo escrupulosamente mantida a homogeneidade entre os termos. Um segmento
2
A obra Elementos de Euclides, com cerca de 2300 anos, uma obra composta por treze livros organizada por Euclides a partir de
muitas obras existentes sobre vrias partes da matemtica. Os primeiros seis livros constituem um tratamento relativamente
completo das magnitudes geomtricas bidimensionais, enquanto que os livros VII, VIII e IX tratam da teoria dos nmeros. Esta obra
inclui dois tratamentos totalmente separados da teoria das propores - no livro V para as magnitudes e no livro VII para os
nmeros. O livro X fornece a ligao entre os dois conceitos de comensurabilidade e incomensurabilidade e, aqui que Euclides
mostra que, relativamente s propores, as magnitudes comensurveis podem ser tratadas como se fossem nmeros. Os livros XI e
XII tratam dos objetos geomtricos tridimensionais, e no livro XIII, Euclides constri os cinco poliedros regulares e classifica
algumas das linhas envolvidas de acordo com o seu esquema no livro X.
3
O tema da lgebra Geomtrica tem sido alvo de debates por parte de estudiosos da matemtica grega, debates relacionados com as
questes de saber se os gregos estariam, de facto, interessados em lgebra, e de saber se este aspeto da matemtica grega ter sido
direta ou indiretamente influenciado pelos mesopotmios (Katz, 2010, p. 88).
Introduo
de reta representava o seu prprio comprimento, tal como uma figura plana
representava a sua rea e um slido representava o seu volume; se x , y e z
representavam segmentos, ento xy era a rea de um retngulo de lados x e y , e
xyz era o volume de um paraleleppedo retngulo de arestas x , y e z . Esta teoria

serviu de base a uma tcnica de resoluo de equaes quadrticas, que teve o nome
de mtodo das aplicaes de reas.
Como sabido, os trs problemas clssicos da Geometria antiga so os
seguintes: a duplicao do cubo, a trisseco do ngulo e a quadratura do crculo4. A
impossibilidade de levar a cabo estas construes geomtricas recorrendo unicamente
rgua e ao compasso estimulou os matemticos na inveno de novos objetos e
procedimentos de resoluo 5 . O primeiro daqueles problemas, que muitas vezes
referido sob a forma mais geral da construo de dois meios proporcionais, ter sido o
que atraiu mais a ateno dos matemticos do sculo XVI. Segundo Bos (2001, p. 27)
existem razes que justificam esta proeminncia: a primeira tem a ver com a lista de
doze maneiras diferentes da sua construo que Eutcio incluiu nos Comentrios ao
livro II Da Esfera e Cilindro de Arquimedes6; a segunda razo prende-se com o facto
de que muitos matemticos estudaram diversos problemas que, sem soluo atravs
de rgua e compasso, podiam ser reduzidos ao problema dos dois meios
proporcionais.
As Cnicas de Apolnio de Perga (262-190 a.C.) contm um estudo exaustivo
das propriedades das seces planas do cone, em que o autor apresenta a deduo
(verbal) das equaes dessas curvas. Para caracterizar as seces cnicas, Apolnio
foi o primeiro a apresentar, ainda que de forma incompleta, a ideia de um sistema de
coordenadas recorrendo a certas retas de referncia, a saber, dimetros conjugados
ou o par dimetro-tangente, tanto na elipse como na hiprbole ou na parbola. Essas
retas desempenhavam o papel de eixos coordenados e, associando-os a cada curva,
Apolnio deduzia uma equao retrica para cada seco cnica atravs de
propores entre reas. Neste contexto, Karl Boyer escreve:
Os trs problemas so enunciados como: construir o lado do cubo do qual o volume o dobro do volume de um cubo dado, dividir
um ngulo arbitrrio em trs partes iguais e construir um quadrado de rea igual de um crculo dado, respetivamente. (Struik,
1997, p. 76).
5
6
Esta impossibilidade foi provada formalmente apenas no sculo XIX.

Pginas 588-620.
Introduo
(...) Apolnio, em geral usava um par de dimetros conjugados como equivalentes de

eixos de coordenadas oblquas (...). Na verdade, frequentemente em As Cnicas vemos um
dimetro e uma tangente em sua extremidade usados como sistema de referncia de
coordenadas. (1994, p. 111).
E Pedro Miguel Urbaneja refere que:

De facto, as relaes entre reas expressas por Apolnio nas propriedades intrnsecas
das curvas traduzem-se com facilidade numa linguagem simblica de equaes, o que permite
a associao entre curvas e as suas respetivas equaes, essncia da Geometria Analtica.
(2003, p. 11).
Como parte do programa de recuperao de obras matemticas gregas,

tendncia que se revelou durante os sculos XVI e XVII, o francs Franois Vite
(1540-1603) dirigiu intensamente a sua ateno para os mtodos de anlise
registados em especial no Livro VII da Coleo Matemtica de Papo. Fruto desta
pesquisa, Vite identificou a Anlise grega com a nova lgebra, tentando apresent-la
de forma inteligvel. Mediante o recurso a um simbolismo complicado mas consistente,
o algebrista francs pde reconstruir, em termos algbricos, a Anlise geomtrica
clssica, o que preparou o terreno para o aparecimento das Geometrias Analticas de
Fermat e Descartes. Assim, os trabalhos de Vite desempenharam um papel
preparatrio e impulsionador no desenvolvimento de ideias algbricas, em particular
daqueles matemticos franceses. E a verdade que, no seu livro Histria da
Matemtica, V. Katz atribui paternidade partilhada Geometria Analtica:
A Geometria Analtica nasceu em 1637 de dois pais, Ren Descartes (1596-1659) e
Pierre Fermat (1601-1665). (2010, p. 542).
Descartes e Fermat viveram numa poca caracterizada por uma nova fase no
desenvolvimento da lgebra, a fase simblica, e simultaneamente pela tentativa de
recuperao de obras clssicas. Ambos estavam familiarizados com os trabalhos de
Vite, e ambos viram neles uma chave para a compreenso da anlise geomtrica dos
gregos (Katz 2010, p. 549). Contudo, abordaram o assunto de modos distintos.
Enquanto Fermat se limita a apresentar anlises sucintas e remete para o leitor grande
Introduo
parte das snteses (Mahoney, 1994, p. 85), sem se deter em consideraes

metodolgicas, Descartes proclama em vrias ocasies que, quando se pretende
resolver algum problema, deve-se consider-lo de antemo como j resolvido (Smith,
1954, p. 6).
Com o objetivo de conhecermos melhor ideias e desenvolvimentos que abriram
caminho Geometria Analtica criada por Fermat e Descartes, ser feita uma
abordagem s razes histricas da lgebra geomtrica grega e da Anlise algbrica
at aos primeiros dois teros do sculo XVII.
No primeiro captulo, comearemos por uma abordagem natureza da
Geometria grega, condicionada pela existncia dos incomensurveis. Como
consequncia da descoberta destes, a Matemtica grega sofreu modificaes
profundas, patentes nos Elementos de Euclides. Neste tratado h o predomnio da
lgebra geomtrica sobre a Aritmtica e a presena da teoria das propores de
Eudoxo de Cnido, aplicvel a grandezas quer comensurveis quer incomensurveis.
Esta nova teoria, capaz de substituir a teoria pitagrica, abriu portas a novas
demonstraes de resultados de Geometria em que as mesmas eram essencialmente
aritmticas e, portanto, apenas vlidas no caso particular das grandezas serem
comensurveis. O primeiro captulo termina com uma breve referncia a alguns
matemticos cujas contribuies consideramos (mais) relevantes, pela importncia
das suas ideias e mtodos, nomeadamente os gregos Menecmo, Apolnio e Diofanto,
e os franceses Nicole Oresme e Franois Vite. Consideramos que as contribuies
de todos eles tiveram influncia significativa sobre a Geometria Analtica de Fermat e
de Descartes.
Os captulos seguintes sero integralmente dedicados Geometria Analtica
criada por estes dois ltimos matemticos franceses, nomeadamente ao modo como a
utilizaram de acordo com os seus objetivos. Neste sentido, procurar-se- dar a
conhecer alguns dos seus mtodos, que se pensa ser o que melhor retrata o esprito
matemtico daqueles autores da primeira metade do sculo XVII. Assim, o segundo
captulo ser dedicado ao estudo da Ad Locus Planos et Solidos Isagoge, um breve
escrito latino cujo ttulo pode ser traduzido como Introduo aos lugares Planos e
Slidos, em que Fermat substituiu a antiga anlise geomtrica de Apolnio por uma
verso algbrica moderna. No terceiro e ltimo captulo, comtemplar-se-o a
exposio e a aplicao de alguns dos mtodos propostos por Descartes na
Geometria para a resoluo algbrica de vrios problemas geomtricos.
Captulo 1
As Origens da Geometria Analtica
1.1 Consequncias da incomensurabilidade na

natureza da Matemtica grega
No se sabe com segurana quando e em que tipo de figura a
incomensurabilidade foi descoberta, mas muito provvel que as primeiras
grandezas7 incomensurveis a serem observadas tenham sido de segmentos de reta,
refere S (2007, p. 40). Muitos historiadores atribuem essa descoberta aos discpulos
de Pitgoras ao compararem o lado e a diagonal de um quadrado. A diagonal do
quadrado no era comensurvel com o seu lado, uma vez que no existia um
submltiplo comum que pudesse ser considerado como unidade e que permitisse
exprimir exatamente a razo entre a diagonal e o lado como uma razo entre nmeros
naturais. Tambm defendida a ideia de que essa descoberta surgiu de observar a
estrela pentagonal constituda pelas diagonais de um pentgono regular, e de
constatar que o lado do pentgono regular no comensurvel com a diagonal 8
(Urbaneja, 2003, p. 14) e (S, 2007, p. 42). Neste contexto parece-nos interessante a
observao de Urbaneja:
A grandeza sublime do Teorema de Pitgoras e a mgica beleza do Pentagrama mstico
pitagrico foram dois cavalos de Troia para a Geometria grega, porque levaram no seu interior
o grmen da profunda crise da comunidade pitagrica donde apareceram. (2003, p. 14).
Os gregos distinguiam grandezas de vrios tipos: segmentos de reta, figuras planas, slidos, ngulos, tempos, e at por vezes os
pesos.
8
Segundo S (2007, p. 42) as cinco diagonais dum pentgono regular que formam uma figura em forma de estrela, o pentagrama,
parece ter estimulado a curiosidade dos gemetras pitagricos e ter tido um papel importante na vida da comunidade pitagrica,
servindo como smbolo de identificao dos membros da Escola de Crotona.
Independentemente
de
como
tenha
sido
feita,
descoberta
da
incomensurabilidade marcou o desenvolvimento da matemtica grega; levantou-se

uma profunda separao, a nvel de fundamentos, de mtodos e de objetivos entre
dois ramos da matemtica: a aritmtica (cincia dos nmeros inteiros, o discreto) e a
geometria (cincia das grandezas, o contnuo), situao a que a que alguns
historiadores deram o nome de divrcio grego 9 (S, 2007 p. 44). Na opinio de
Boyer,
(...) quer a incomensurabilidade tenha sido descoberta antes ou depois de 400 a.C.,
no pode haver dvida de que a matemtica grega sofreu modificaes drsticas na poca de
Plato. (1994, p. 57).
A descoberta dos incomensurveis exigiu uma reviso a fundo dos

fundamentos da Matemtica no mbito pitagrico. Gradualmente, a imaginao
criadora tpica dos gregos passou para segundo plano sombra do supremo rigor
lgico imposto pela escola platnica, cujo elemento mais representativo foi a figura de
Euclides (Urbaneja, 2003, p. 18). No hesitando em ocultar a via heurstica, Euclides
estruturou rigidamente a matemtica grega elementar no seu tratado Elementos, com
um estilo de exposio sinttico e de caracter geomtrico-dedutivo.
No que diz respeito a este tratado, observamos a opinio de Katz (2010):
Os Elementos de Euclides (...) para o leitor moderno, a obra incrivelmente aborrecida.
No traz exemplos; no tem motivao; no tem comentrios espirituosos; no tem clculos.
Tem simplesmente definies, axiomas, teoremas e provas. No obstante, o livro tem sido
intensamente estudado. As biografias de muitos matemticos indicam que a obra de Euclides
lhes forneceu a sua primeira abordagem matemtica, que os entusiasmou e motivou para se
tornarem matemticos. Forneceu-lhes um modelo de como a matemtica pura devia ser
escrita, com axiomas bem pensados, definies precisas, teoremas cuidadosamente
enunciados, e provas coerentes e lgicas. (p. 75).
Segundo S (2007, p. 44), este divrcio no s marcou a matemtica ps-pitagrica como tambm toda a matemtica islmica e
europeia at ao sculo XVII.
Com o objetivo de compreender melhor a tempestade provocada pela

descoberta dos irracionais10 na matemtica grega, tem interesse referir que, antes da
tomada de conscincia da existncia da incomensurabilidade, na Matemtica
pitagrica os nmeros naturais eram considerados a essncia do Universo, o
conhecimento das suas propriedades era o saber principal, a partir do qual provinham
os outros conhecimentos, dando assim Aritmtica a primazia entre as cincias11.
Assim, a Geometria pitagrica aparecia como uma cincia subordinada Aritmtica,
em que um dos aspetos mais interessantes dessa subordinao era a conceo de
que duas grandezas (necessariamente do mesmo tipo) admitiam sempre uma medida
em comum, tal como dois nmeros admitiam sempre a unidade como divisor comum
(S, 2007, p. 36). Grandezas destas dizem-se comensurveis. Dadas duas grandezas
do mesmo tipo,
e , serem comensurveis significa a existncia duma terceira
grandeza u (tambm do mesmo tipo de e de
) e de dois nmeros naturais m e
n , de tal modo que u

u ...
u , ou seja, mu e nu .
u ...
u e u
m parcelas
n parcelas
Generalizando, grandezas 1 , 2 ,..., k (em nmero finito) do mesmo tipo serem

comensurveis significa dizer que existe uma grandeza
u do mesmo tipo e que
existem nmeros naturais m1, m2 ,..., mk de tal modo que 1 m1u , 2 m2 u ,..., k mk u . A
grandeza u uma medida comum s grandezas dadas. A Geometria pitagrica
assentava no pressuposto da comensurabilidade das grandezas.12
Com a descoberta da incomensurabilidade, a crena pitagrica de que tudo
era nmero (S, 2007, p. 36) ou que o nmero era a base do universo13 (Katz,
2010, p. 64) e que todas as relaes entre grandezas podiam ser associadas a
relaes entre nmeros inteiros, foi profundamente abalada.
10
Atribui-se a Teeteto de Atenas (c. 369 a.C.) a teoria dos irracionais, tal como aparecem no Livro X, dos Elementos de Euclides
(Struik, 1997, p. 83).

11
A cincia pitagrica era constituda por quatro disciplinas principais: Aritmtica, Geometria, Astronomia e Msica. Porm, no
tinham a mesma importncia. Para Pitgoras e os seus seguidores, a compreenso do Universo tinha como base o nmero, o que
colocava a Aritmtica como excelncia; a Msica, a Astronomia e a Geometria eram tambm objeto de estudo, mas encaradas como
redutveis Aritmtica (S, 2007, p. 17).
12
Na matemtica atual as razes incomensurveis expressam-se mediante nmeros irracionais.
13
Para os pitagricos o nmero estava sempre ligado a objetos contados. Como contar requer que as unidades individuais tenham
que permanecer as mesmas, as prprias unidades nunca poderiam ser divididas ou juntadas a outras unidades. Em particular, para os
pitagricos, um nmero significava uma pluralidade composta de unidades Katz (2010, p. 64); isto era uma contagem, segundo
este autor. E uma vez que a unidade 1 no era uma pluralidade composta de unidades, no era considerada um nmero no mesmo
sentido que os outros nmeros inteiros positivos.
A impossibilidade de comparar certas grandezas recorrendo ao uso das razes

entre nmeros naturais, fez com que os gregos passassem a ter dificuldades no
tratamento numrico de comprimentos, reas e volumes. Esta limitao operacional,
acrescida a um sistema de numerao deficiente que utilizava as letras do alfabeto
para representar os nmeros inteiros, com a consequente dificuldade para realizar as
operaes, limitou largamente os gregos na atribuio de nmeros s magnitudes
geomtricas para medir os seus comprimentos, reas e volumes. Esta limitao
numrica levou os gregos a tratar os problemas diretamente com grandezas
geomtricas, a modo de magnitudes, (Urbaneja, 2003, p. 28) tornando a Geometria
omnipresente na Matemtica grega (Urbaneja, 2003, p. 19). A insegurana provocada
pelas grandezas incomensurveis levou a que, enquanto no surgiu uma nova teoria
das propores completamente geral, se evitasse o uso de razes e de
proporcionalidades na Geometria. As demonstraes pitagricas que faziam uso da
teoria das propores tiveram de ser reconstrudas, pois j no era possvel aplicar s
grandezas o que se conhecia dos nmeros14.
A proposio Elementos VI,12 de Euclides, que permite obter o quarto
proporcional de trs segmentos de reta, isto , dados trs segmentos de reta a, b, c,
permite construir um quarto segmento de reta, x , tal que
a c
, (equivalente a
b x
ax bc ), e a proposio Elementos VI,13, que permite obter o meio proporcional (ou

mdia geomtrica) entre dois segmentos de reta, ou seja, dados dois segmentos de
reta a, b, permite construir um segmento de reta, x , tal que
a x
(equivalente a
x b
x 2 ab ), adquiriram, com a geometria das reas, nova forma que evitou qualquer
referncia ao conceito de proporcionalidade, sendo elas a aplicao de reas 15 e a
14
O teorema de Pitgoras foi um dos muitos resultados da Geometria para os quais foi possvel encontrar uma nova demonstrao,
sem fazer apelo teoria das propores, e portanto, vlida tambm no caso das grandezas envolvidas serem incomensurveis; essa
demonstrao dada por Euclides na proposio Elementos I, 47. Outros resultados, como por exemplo o teorema de Tales, que
revelava estar fortemente ligado aritmtica dada a natureza do enunciado, teve de aguardar a nova teoria de propores, que s
apareceu com Eudoxo de Cnido e foi exposta por Euclides no Livro V dos Elementos. (S, 2007, p. 50).
15
Uma das mais importantes tcnicas geomtricas desenvolvidas pelos pitagricos: Sejam s um segmento de reta e F uma figura
plana: aplicar F a s construir um retngulo com um dos lados iguais a s e com rea igual de F. Considera-se este problema
resolvido, desde que se descubra o outro lado do retngulo; portanto, dados uma figura plana F e um segmento de reta s, procura-se
um segmento de reta x tal que o retngulo de lados s e x tenham a rea de F.
10
quadratura16, respetivamente. A equao ax bc era vista como uma igualdade de

reas ax e bc e no como uma proporcionalidade, ou igualdade entre as razes
a
e
b
c
; assim, procurava-se um segmento de reta x tal que o retngulo de lados a e x
x
tivesse a rea do retngulo bc , utilizando um caso particular da proposio Elementos
I,45 de Euclides, construir sobre uma reta dada, e com um ngulo retilneo dado, um
paralelogramo equivalente a uma figura dada. De forma anloga, com a equao
x 2 ab , tambm vista como uma igualdade de reas, procurava-se o segmento de

reta x tal que o quadrado de lado x tivesse a mesma rea do retngulo ab , caso
particular da proposio Elementos II,14 de Euclides, construir um quadrado igual a
uma determinada figura retilnea.
Destacamos a opinio comum dos autores Boyer (1994, p. 57) e Urbaneja

(2003, p. 28), ao considerarem que o abismo que se abriu entre nmero e magnitude
impediu os gregos de submeterem as grandezas geomtricas s manipulaes
algbricas vlidas para nmeros; e tal efeito determinou a transformao da lgebra
babilnica na lgebra geomtrica 17 , a qual passou a ter um papel fundamental na
Geometria grega. Na lgebra geomtrica, os gregos utilizaram principalmente dois
mtodos para resolver certo tipo de equaes, o mtodo das propores totalmente
abrangente e o mtodo da aplicao de reas. A parte mais importante da lgebra
geomtrica dos gregos encontra-se no livro II dos Elementos, que contm s 14
proposies; mas h tambm resultados nos Livros I e VI que podem ser considerados
como fazendo parte deste ramo da Matemtica grega. A lgebra geomtrica dos
gregos cumpria muitas funcionalidades da nossa atual lgebra simblica.
Uma desvantagem que, desde o incio, surgiu associada nova lgebra foi a
necessidade de respeitar a dimenso das grandezas, que ficou conhecida como
Princpio da Homogeneidade.
16
Seja F uma figura plana; quadrar F construir um quadrado com rea igual de F. Considera-se este problema resolvido, desde
que se descubra o lado do quadrado; portanto, dada uma figura F, procura-se um segmento de reta x tal que o quadrado de lado x
tenha rea de F.
17
Katz define-a como a representao de conceitos algbricos atravs de figuras geomtricas (2010, p. 88).
11
Uma lgebra geomtrica tomara o lugar da antiga lgebra aritmtica, e nessa nova
lgebra no podia haver somas de segmentos com reas ou de reas com volumes. De agora
em diante devia haver estrita homogeneidade dos termos de uma equao (...). (Boyer,1994,
p. 57).
A limitao algbrica provocada pelo aparecimento dos incomensurveis

tornou tambm impossvel a introduo de novas curvas atravs de equaes (obtidas
em linguagem retrica). Na Geometria grega, as curvas eram obtidas construtivamente,
mediante intersees de linhas, superfcies e outros lugares geomtricos 18 . Desta
forma o conjunto das curvas tratadas pelos gregos era muito limitado, a saber, as
cnicas de Menecmo e Apolnio, a espiral de Arquimedes, a quadratriz de Hpias e
Dinstrato, a cissoide de Diocles e a concoide de Nicomedes. A Geometria das reas
foi criada para substituir o uso generalizado das propores maneira pitagrica, j
que a descoberta das grandezas incomensurveis fez com que fosse invivel o uso
das mesmas no tratamento de problemas geomtricos, at introduo por Eudoxo
de Cnido (390-320 a.C.) da teoria geral das propores, aplicvel indistintamente a
grandezas comensurveis ou incomensurveis, que se encontra no livro V dos
Elementos de Euclides (Urbaneja, 2003, p.35). Segundo Urbaneja (2003) as bases
firmes desta teoria permitiram, por exemplo, a Euclides, nas proposies 27, 28 e 29
do livro VI, uma generalizao do mtodo da aplicao de reas, onde o livre uso do
conceito de semelhana facilitou a substituio dos retngulos do livro II por
paralelogramos, permitindo aplicar a um segmento de reta dado um paralelogramo
igual a uma figura retilnea dada e que fosse excedente ou deficiente por um
paralelogramo semelhante a um outro paralelogramo dado. Urbaneja (2003)
prossegue a sua anlise referindo que as correspondentes construes, tal como as
das proposies Elementos II,5 e II,6 representam, na prtica, as solues
geomtricas das equaes quadrticas ax x 2 b 2 , submetidas a restries
geomtricas equivalentes a que o descriminante seja no negativo; o mesmo autor
conclui que as proposies 27, 28 e 29 do livro VI representaram, no fundo, uma
espcie de contrapartida geomtrica da forma algbrica mais generalizada de
equaes quadrticas com razes reais e positivas (Cf. Urbaneja, 2003, pp. 35-36).
18
Apolnio designa a propriedade definidora da curva por sintoma da curva.
12
Como para os gregos a palavra nmero significava nmero inteiro positivo,

uma frao (razo)
a
no representava um nmero racional, mas sim uma relao
b
entre a e b . Ter-se-ia
a c
quando existissem nmeros inteiros p , q , m e n tais
b d
que a mp , b mq , c np e d nq ; por exemplo,
21 15
porque 21 contm 3
28 20
das quatro partes de 28 e de igual modo 15 contm 3 das quatro partes de 20 . A

partir desta base desenvolveu-se inicialmente a teoria pitagrica da proporcionalidade.
As formulaes rigorosas de Eudoxo encontram-se no livro V dos Elementos
de Euclides, que passou a ser a partir de ento, segundo alguns historiadores, a
medula da Geometria grega com a sua forma geomtrico-dedutiva de acordo com a
filosofia platnica (Urbaneja, 2003, p. 19).
Muito embora a definio de Eudoxo j tivesse a vantagem de tornar suprflua
qualquer
referncia
ao
facto
de
as
grandezas
serem
comensurveis
ou
incomensurveis, a verdade que ela no era cmoda nas aplicaes prticas. Na

sua teoria puramente geomtrica das propores, Eudoxo definiu a igualdade entre
duas razes de uma maneira engenhosa, representada pela definio 5 do livro V dos
Elementos de Euclides, que fixa o critrio de razes idnticas:
Diz-se que quatro grandezas esto na mesma razo, a primeira para a segunda e a
terceira para a quarta, quando, tomando quaisquer equimltiplos da primeira e da terceira, e
tomando quaisquer equimltiplos da segunda e da quarta, os primeiros equimltiplos
excedem, so iguais ou so menores que os ltimos equimltiplos tomados na ordem
correspondente. (Heath, 1912, p. 114).
Deste modo, para Eudoxo, dizer que

, com , , e grandezas

comensurveis ou no, sendo e do mesmo tipo e sendo e do mesmo tipo,

significava dizer, na nossa notao, que, para todo o m e n inteiros positivos, as
seguintes condies eram verificadas:
se m < n ento m < n ;
se m > n ento m > n ;
se m = n ento m = n .
13
Alguns historiadores sublinham o carcter moderno do trabalho de Eudoxo; por

exemplo Struik (1997) observa que
A teoria dos nmeros irracionais atual, desenvolvida por Dedekind e Weierstrass,
segue o modo de pensar de Eudoxo, mas com o uso dos mtodos da aritmtica moderna, que
abriram perspetivas mais largas. (p. 84).
Alm de estar ligado teoria das propores, o nome de Eudoxo tambm est
associado ao chamado mtodo de exausto, que permitiu um tratamento rigoroso de
clculos de reas e volumes na Antiguidade. Eudoxo encontrou uma soluo, para os
referidos problemas afetados pela incomensurabilidade, mediante um recurso que se
desenvolveu em trs passos: um axioma19 (ainda que sob a aparncia de definio o
axioma de Eudoxo-Arquimedes), uma definio20 para a igualdade de razes, e um
mtodo (mais tarde chamado mtodo de exausto21).
Os gregos interessaram-se por mtodos de reduo, que aplicavam quer a

problemas, quer a teoremas. Proclo de Lcia (410-485 d.C.), nos seus comentrios ao
livro I dos Elementos de Euclides, atribuiu a Hipcrates de Quios (470-410 a.C.) a
ideia da reduo dum problema ou dum teorema a outro; a propsito do problema da
duplicao do cubo, Hipcrates t-lo- reduzido obteno de dois meios
proporcionais (Boyer, 1994, p. 50).
Conforme refere Sousa (2001), o legado de Eutcio de scalon (sculos V-VI
d.C.), no seu Comentrio obra de Arquimedes Da Esfera e do Cilindro,
considerado uma das principais fontes sobre os principais desenvolvimentos do
problema da duplicao do cubo (p. 47). Nos seus comentrios, Eutcio menciona, em
particular, uma carta de Eratstenes (sculo III a. C.) a Ptolomeu III, ento rei do
Egipto, na qual, afirma:
19
Elementos V, Definio 4 de Euclides, conhecida como axioma de Eudoxo-Arquimedes, referida por Tomas Heath em The
Thirteen books of Euclids Elements (1912): Diz-se que duas grandezas tm uma razo de uma para a outra se cada uma puder,
quando multiplicada, exceder a outra. (p. 114).
20
Elementos V, Definio 5 de Euclides.
21
Proposio Elementos X,1 de Euclides: Dadas duas grandezas diferentes, se da maior se subtrair uma grandeza maior do que a
sua metade, e do que sobrar uma grandeza maior do que a sua metade, e se este processo for repetido continuamente, sobrar, uma
grandeza menor do que a menor das grandezas dadas.
14
(...) foi Hipcrates de Quios o primeiro a aperceber-se de que um cubo seria duplicado
se se conseguissem encontrar dois meios proporcionais, em proporo contnua, entre duas
linhas retas de que a maior dupla da menor (...). Citado em S (2007, p. 65).
Como j demos a entender no presente trabalho, o problema da duplicao do

cubo consiste em construir a aresta de um cubo cujo volume seja o dobro do de um
cubo dado, e Hipcrates ter-se- apercebido que este problema tinha como origem o
problema mais simples da duplicao de um quadrado de lado22 a , o qual podia ser
resolvido mediante a construo de um meio proporcional entre a e 2a , isto ,
construindo um comprimento b tal que
a b
. (Katz, 2010, p. 66). Registos
b 2a
fragmentrios da obra de Hipcrates revelam que estava, de facto, familiarizado com

este tipo de construo, e que ter sido o primeiro a avanar com a ideia de reduzir a
problema da duplicao de um cubo de lado a ao problema da determinao de dois
meios proporcionais b e c , entre a e 2a . Porque se
a b c
ento

b c 2a
a3 a a a a a b c a 1

e portanto b 3 2a 3 .
b 3 b b b b b c 2a 2a 2
Por outro lado, associa-se a Plato23 (427-347 a. C.) a inveno do mtodo
analtico, por este filsofo o ter descrito na Repblica como um mtodo
pedagogicamente conveniente, explicando que quando uma cadeia de raciocnios no
bvia, desde as premissas concluso, pode inverter-se o processo, ou seja, pode
comear-se pela proposio que se pretende provar, e desta deduzir uma concluso
que conhecida (processo de anlise). E ento, se pudermos inverter a sequncia
dos passos nesta ltima deduo, obteremos uma prova legtima da proposio
(resultado denominado sntese). (Boyer, 1994, p. 65).
22
Os Pitagricos mostraram que a diagonal de um quadrado o lado de um outro quadrado com o dobro da rea do primeiro. Isto
provavelmente sugere o problema da duplicao do cubo, isto , encontrar a aresta de um cubo com o dobro do volume dum cubo
dado. Cajori (1991, p. 21).
23
No que diz respeito atribuio genuna do mtodo analtico a Plato, Boyer (1994) de opinio que talvez seja improvvel que
Plato tenha sido o primeiro a notar a eficcia do ponto de vista analtico. O que Plato provavelmente ter feito, ter sido
formalizar o mtodo, ou talvez dar-lhe um nome. (p. 65).
15
Mediante este processo de anlise e sntese, assume-se como certo aquilo que
se pretende provar e raciocina-se com base nesta suposio at chegar a algo que
forma parte dos princpios ou at alcanar um resultado previamente estabelecido.
Assim, a anlise praticada pelos gregos veio a ser um procedimento sistemtico de
descobrir condies necessrias para que um teorema seja verdadeiro, de modo que,
se por meio da sntese se mostrar que estas condies so suficientes, ento obterse- a demonstrao correta da proposio.
Apesar de a anlise e sntese terem sido usadas pela maioria dos gregos, no
se conhece nenhum estudo da sua metodologia anterior ao trabalho de Papo de
Alexandria, um dos ltimos matemticos da tradio grega. Coligindo e estendendo
trabalhos e resultados de vrios autores, transmite-nos o que os antigos gemetras
entendiam por anlise e sntese no Tesouro da Anlise24, no livro VII da sua Coleo
Matemtica, onde relata:
(...) a anlise um mtodo de tomar como aceite o que se busca e da passar por suas
consequncias at alguma coisa que seja aceite como resultado de sntese. Citado em Boyer
(1994, p. 138).
No Tesouro da Anlise, Papo apresenta uma singular metodologia expositiva,
elencando todo um corpo de tratados analticos destinados resoluo de problemas
geomtricos e em que se procede reduo de um problema dado a um problema
equivalente cuja soluo era j conhecida.25
Naturalmente h uma diferena significativa entre a aplicao do mtodo
analtico feita pelos gregos e a adotada por Descartes e Fermat nas suas Geometrias
Analticas. Contudo, patente essa herana nos trabalhos dos dois gemetras
franceses. Como j foi referido, a anlise comea assumindo como certo aquilo que
se pretende provar, e este um princpio que Descartes aplicou ao longo do seu
tratado. Com efeito, inicia o epgrafo como se chega s equaes que servem para
resolver problemas, do primeiro livro da Geometria, escrevendo:
Assim quando se pretende resolver algum problema, deve considerar-se de antemo
como j feito. (Smith, 1954, p. 6).
24
O Tesouro da Anlise uma coleo abrangendo obras de Euclides, Apolnio, Aristeu e Eratstenes, cujos contedos eram
considerados essenciais para aqueles que quisessem tornar-se capazes de resolver problemas envolvendo curvas.
25
Um exemplo de um destes tratados so os Dados de Euclides, que contm a essncia dos problemas dos Elementos.
16
Em vrios dos problemas que se prope resolver, Descartes tambm comea

por supor o problema resolvido, nomeadamente em dois dos problemas mais
importantes, o problema das quatro retas (caso particular do problema de Papo) e a
determinao de retas normais a uma curva, em que escreve literalmente
Primeiramente supondo a coisa como j resolvida (...). (Smith,1954, p. 29) e Suponho a coisa
j feita (...). (Smith,1954, p. 95).
1.2 Contributos de antecessores de Descartes e

Fermat
1.2.1
Menecmo
Vrios historiadores atribuem a Menecmo de Atenas (sculo IV a. C.), da

Academia de Plato e aluno de Eudoxo de Cnido, a introduo ao estudo das seces
cnicas, em particular a inveno das curvas que mais tarde seriam denominadas
elipse, parbola e hiprbole (Boyer, 1994, p. 69). Vrios escritos que lhe so atribudos
foram reunidos e estudados por Schmidt26; sem qualquer conhecimento de lgebra, e
com ausncia total de notao simblica, Menecmo estudou propriedades dessas
curvas de forma puramente geomtrica. Ao longo dos Comentrios ao Primeiro Livro
dos Elementos de Euclides, Proclo de Lcia (sculo V d. C.) atribui-lhe a inveno das
cnicas27. Numa carta28 citada por Eutcio, no seu comentrio ao tratado Da Esfera e
do Cilindro de Arquimedes, Eratstenes atribui a Menecmo a trade de cnicas29.
O estudo de Menecmo deve estar relacionado com a tentativa de resoluo,
por Hipcrates de Quios (470-410 a.C.), do problema clssico da duplicao do cubo
26
Max C. P. Schmidt, Die Fragmente des Mathematikers Menaechmus. Philologus 42. 1884, pp. 72-81.
27
Paul Ver Eecke, Proclus de Lycie. Les Commentaires sur le Premier Livre des lments dEuclides. (p.101).
28
Escrita por Eratstenes (sculo III a. C.) de Cirene ao rei Ptolomeu II do Egipto.
29
Paul Ver Eecke, Eutocius et sa tradution de la lettre dEratosthne au roi Ptolme sur la duplication du cube, Archives
Internationales pour lHistoire des Sciences 36 (1956, p. 226).
17
mediante a insero de dois meios proporcionais, como afirma Paul Ver Eecke30 (S,
2007, p. 86). Como foi j foi referido, Hipcrates reduziu o problema da duplicao do
cubo (construo de um cubo cujo volume seja o dobro do de um cubo de aresta a )
determinao de dois meios proporcionais entre a e 2a , isto , determinao de
dois segmentos de reta, x e y , que verifiquem a proporo
a x y
. Por outras

x y 2a
palavras, Hipcrates de Quios mostrou que a duplicao do cubo podia ser

conseguida, desde que se pudesse encontrar e usar as curvas expressas nessa
proporo. Com efeito, a partir daquela dupla proporcionalidade, obtm-se as
igualdades x 2 ay , y 2 2ax e xy 2a 2 , que representam equaes 31 de duas
parbolas e de uma hiprbole equiltera (Katz, 2010, p. 149). Portanto, os segmentos
x e y que verificam a proporo so encontrados atravs da interseco de

quaisquer duas daquelas cnicas. Tanto da interseco das duas parbolas, como de
uma destas com a hiprbole resulta a igualdade x 2a , que mostra ser x a aresta
3
do cubo cujo volume duplo do cubo dado, de aresta a .

Na Grcia dos sculos IV e III a. C., um cone era um slido gerado pela
rotao dum tringulo retngulo em torno dum cateto, sendo, por isso, considerados
apenas cones retos, duma s folha e limitados. Em qualquer posio durante o
movimento de rotao, a hipotenusa uma geratriz do cone (S, 2007, p. 86). Um
cone era designado oxigonal (ou acutngulo), ortogonal (ou retngulo) ou ambligonal
(obtusngulo), consoante o ngulo no vrtice do cone for agudo, reto ou obtuso,
respetivamente (S, 2007, p. 86). Para a resoluo do problema de Delos, Menecmo
considerou as curvas que podiam ser obtidas a partir da seco por um plano
perpendicular geratriz de um cone de revoluo. De acordo com o modo de encarar
as seces cnicas at ao final do sculo III a. C., as curvas que resultavam dessas
intersees eram classificadas de acordo com o tipo de cone circular em que eram
produzidas: a seco dum cone oxigonal chamava-se oxitomo (elipse), a seco dum
cone ortogonal chamava-se ortotomo (parbola) e seco dum cone ambligonal
30
Paul Ver Eecke, Eutocius et sa tradution de la lettre dEratosthne au roi Ptolme sur la duplication du cube, Archives
Internationales pour lHistoire des Sciences 36 (1956, p.222)
e Paul Ver Eecke, Introduction Eutocius, Archives
Internationales pour lHistoire des Sciences 27 (1954, pp.131-132).

31
Na Geometria antiga, esta forma de abordar a questo, associando uma equao a uma curva, completamente estranha; o objetivo
observar que as duas questes matemticas esto intimamente ligadas e que, portanto, a reflexo de uma pode ter levado, de um
modo natural, tomada de conscincia da outra. (S, 2007, p. 86).
18
dava-se o nome de amblitomo 32 (hiprbole). Este ter sido o primeiro conceito de

seco cnica na Grcia dos sculos IV e III a. C. e provvel que tenha sido utilizado
por Menecmo nas suas pesquisas (S, 2007, p. 87).
Menecmo descobriu que, cortando um cone circular retngulo (isto , com um
ngulo gerador de 45) por um plano perpendicular geratriz, a equao da curva de
interseco , na linguagem atual da Geometria Analtica, escrita na forma y 2 lx , em
que l uma constante que depende da distncia do plano ao vrtice, mais tarde
designada por latus rectum (em portugus, lado reto). No se sabe como Menecmo
deduziu esta propriedade, mas ela depende apenas de teoremas de Geometria
elementar, refere Boyer (1994, p. 69). Aparentemente, do mesmo modo, Menecmo
ter deduzido as propriedades das outras cnicas, por exemplo, uma equao da
b2 x2
forma y lx 2 para a seco dum cone acutngulo, e uma equao da forma
a
2
b2 x2
y lx 2 para a seco dum cone obtusngulo, onde a e b so constantes e o
a
2
plano perpendicular a uma geratriz do cone reto (Boyer, 1994, p. 70). Com o objetivo
de encontrar as cnicas convenientes para o objetivo proposto, Menecmo movia
convenientemente o plano de corte com o cone reto (Urbaneja, 2003, p. 39).
Nos seus desenvolvimentos possvel observar expresses que se aproximam
largamente das equaes hoje usadas, bem como a presena, de forma implcita, do
conceito de coordenadas, o que induziu muitos historiadores a afirmar que este
gemetra j conhecia certos aspetos da Geometria Analtica33.
Boyer (1994) refere que

Menecmo provavelmente conhecia muitas das propriedades hoje familiares das
seces cnicas, inclusive as assntotas da hiprbole, que lhe permitiram operar com os
equivalentes das equaes modernas que usamos (...). (p. 70).
32
Ser visto na seco seguinte do presente trabalho, que s no sculo II a. C. com Apolnio de Perga aparecem (no contexto das
seces cnicas) as designaes elipse, parbola e hiprbole. Amblitomo correspondia apenas a um ramo de hiprbole e Apolnio
foi o primeiro gemetra a alargar o conceito para os dois ramos, considerando cones de duas folhas.
33
J. L. Coolidge, A History of Geometrical Methods (1940, pp.117-119) e H. G. Zeuthen, Sur lusage des coordonnes dans
lantiquit, Kongelige Danske Videnskabernes Selskals, Forhandlinger, Oversigt, (1888, pp.127-144).
19
Urbaneja (2003) observa:

(...) realmente impressiona a extraordinria habilidade de Menecmo descobrindo a
mais til famlia de curvas de toda a matemtica e de toda a cincia, e na ausncia do
instrumento e simbolismo algbrico. (p. 9).
Relembramos que as descobertas de Menecmo resultaram da sua procura de

uma soluo para o problema da duplicao do cubo, mais propriamente, da procura
de curvas que possussem as propriedades adequadas resoluo do problema de
encontrar os dois meios proporcionais da reduo de Hipcrates.
As solues de Menecmo, passadas em revista por Eutcio, permitiam obter a
aresta do cubo duplo como abcissa dum ponto de interseco de duas cnicas. Um
caso envolvia duas parbolas, e outro uma parbola e uma hiprbole equiltera. Ao
considerarmos as equaes34 x 2 ay , y 2 2ax e xy 2a 2 , possvel obter a assim
chamada primeira soluo de Menecmo, como abcissa x do ponto de interseco da
parbola de equao x 2 ay com a hiprbole de equao xy 2a 2 . A segunda
soluo de Menecmo obtm-se pela interseco das duas parbolas de equaes
x 2 ay e y 2 2ax . Como j aqui foi referido, de ambos os casos facilmente se infere

a igualdade x 2a , sendo x a aresta do cubo cujo volume duplo do volume do
3
cubo dado, de aresta a .

Com o objetivo de salientar a simplicidade das solues imputadas a Menecmo,
vejamos, utilizando a atual Geometria Analtica, dois exemplos de soluo: um
recorrendo interseco entre a hiprbole e a uma das parbolas (primeira soluo de
Menecmo) e outra recorrendo interseco das duas parbolas (segunda soluo de
Menecmo).
Considere-se, por exemplo, um cubo de aresta a 2 cujo volume se pretende duplicar.
Procura-se a soluo x que verifica a equao x 2 2 , ou seja, pretende-se obter
3
um segmento de reta x cujo comprimento seja
16 . Fazendo um esboo grfico (Fig.
1) da parbola de equao x 2 2 y e da hiprbole de equao xy 8 , a abcissa do

ponto de interseco, isto , a abcissa do ponto A a medida procurada (a primeira
soluo de Menecmo). O segmento de comprimento x , aresta do cubo procurado,
34
Em linguagem algbrica atual.
20
est representado na figura, pelo segmento de reta AB . Observe-se que o valor

constado no grfico um valor aproximado de
16 .
De modo anlogo atravs da interseco, diferente da origem, das parbolas

de equao x 2 2 y e y 2 4 x (Fig. 2) se obtm abcissa x do ponto A (a segunda
soluo de Menecmo), representado pelo comprimento do segmento de reta AB ,
aresta do cubo procurado.
Fig. 1 Primeira soluo de Menecmo
Fig. 2 Segunda soluo de Menecmo
de salientar que esta soluo foi encontrada sem a restrio, comum na

Geometria grega, ao uso exclusivo da rgua no graduada e do compasso. S com
estes instrumentos no seria possvel desenhar todos os pontos das cnicas, alm de
que a definio de seco plana dum cone envolve Geometria tridimensional e no
apenas Geometria no plano.
G. J. Toomer, que publicou em 1976 a traduo para ingls da verso arbica
da obra de Diocles Dos Espelhos Custicos, ps em causa a atribuio da autoria da
segunda soluo a Menecmo, acreditando que ela deveria ser atribuda a Diocles. No
entanto Wilbur Knorr discordou desta proposta, ao afirmar que a inteno de Diocles,
ao apresentar o mtodo das duas parbolas, no era oferecer uma nova soluo para
o problema da duplicao do cubo:
(...) no podemos inferir que a incluso de Diocles do mtodo das duas parbolas
contrarie a sua origem em Menecmo. concebvel, embora improvvel, que Diocles no
tivesse conhecimento dos esforos de Menecmo. Knorr (1993, p. 240).
Menecmo foi capaz de mostrar que as seces dos cones tinham importantes
propriedades, como lugares geomtricos, traduzveis em expresses retricas que
correspondem s equaes atuais, e que por sua vez permitiam deduzir outras
21
propriedades. Estas foram objeto de reflexo por Apolnio e esto tratadas nos
primeiros livros do seu tratado As Cnicas. Com base no trabalho de Menecmo,
alguns historiadores modernos (Zeuthen, Coolidge, Loria e Heath) reclamam para os
gregos, e em primeiro lugar a Menecmo, a paternidade da Geometria Analtica ao
estabelecer como essncia deste ramo da Matemtica o estudo das propriedades dos
lugares geomtricos (Urbaneja, 2003, p. 40). Contudo, logo desde o incio, tal
atribuio encontra vrias limitaes impostas pelo caracter sinttico-geomtrico do
procedimento de Menecmo e pela ausncia duma lgebra simblica no sentido
algortmico, que uma componente imprescindvel da Geometria Analtica, a qual
permite a real e mtua correspondncia entre curvas e equaes (Urbaneja, 2003, p.
40).
1.2.2
Apolnio
Apolnio de Perga (262-190 a.C.), conhecido j na Antiguidade como o Grande

Gemetra, foi um clebre matemtico e astrnomo que ensinou em Alexandria. Seis
das obras de Apolnio so referidas no Tesouro da Anlise, da Coleo Matemtica
de Papo: Sobre a Seco duma Razo, Sobre a Seco duma rea, Sobre a Seco
Determinada, Sobre as Tangncias, Sobre as Inclinaes e Sobre os Lugares Planos.
Estas obras esto perdidas, mas Papo d indicao acerca dos contedos de alguns
deles. Urbaneja afirma:
O Tesouro da Anlise da Coleo Matemtica de Papo constitudo, em grande parte,
por obras de Apolnio, perdidas ou conservadas ento de forma fragmentada que devem
incluir muito material geomtrico cujo estudo forma parte hoje da Geometria Analtica. (2003,
p. 41).
Quando no sculo XVII surgiu o interesse na restaurao de obras perdidas, os

tratados de Apolnio estavam entre os favoritos. Fermat, por exemplo, props-se
reconstruir os Lugares Planos, baseando-se nos registos de Papo.
Da grande produtividade cientfica de Apolnio s uma obra se preservou
substancialmente, as Cnicas (Fig. 3). Esta obra-prima da Geometria antiga, em que
Apolnio apresenta um estudo aprofundado das seces cnicas, constituda por
22
oito livros, sete dos quais sobreviveram e, para Katz, representam de algum modo o
culminar da matemtica grega (2010, p. 151).
Para a maioria dos historiadores da Matemtica, as Cnicas de Apolnio
constituem um tratado de grande amplitude e profundidade. Trata-se de uma obra
extensa e rigorosa, comparvel aos Elementos de Euclides pelo seu contedo e rigor,
pela ausncia de qualquer notao algbrica. Considerada de leitura difcil retrata, em
grande parte, do que se conhece da Geometria antiga, pois nela substituiu escritos
anteriores, por exemplo de Menecmo, Aristeu e Euclides. Parece-nos interessante a
anlise de Katz:
-nos difcil atualmente compreender como Apolnio podia descobrir e provar
centenas de belos e difceis teoremas sem o simbolismo algbrico moderno. No entanto, f-lo,
e no h registo de qualquer trabalho matemtico grego posterior que se aproxime da
complexidade das Cnicas. (2010, p. 151).
Fig. 3 Pgina de ttulo da primeira edio impressa em latim das Cnicas, de Apolnio,
1566. Fonte: Smithsonian Institution Libraries, Photo No. 86-4346. (Cf. Katz, 2010, p. 151)
Apolnio definiu as seces cnicas de modo diferente do que tinha sido

adotado pelos seus antecessores
35
35
. Com uma viso geomtrica inovadora,
As seces cnicas j eram conhecidas cerca de um sculo e meio, antes de Apolnio ter escrito o seu tratado. Nesse intervalo de
tempo j tinham sido escritas, pelo menos duas exposies gerais, a saber por Aristeu e por Euclides. Pensa -se que o tratado
23
demonstrou que no era necessria a restrio da perpendicularidade do plano de

interseco geratriz do cone, e ainda que de um nico cone era possvel obter as
trs espcies de seces cnicas variando apenas a inclinao do plano de seco
(Katz, 2010, p.150). Este foi um passo importante, pois contribuiu para relacionar os
trs tipos de curvas: a elipse, a parbola e a hiprbole. Outra generalizao importante
contida neste tratado o facto de o cone no precisar de ser reto; Apolnio foi o
primeiro gemetra a mostrar que as propriedades dessas curvas no eram diferentes
conforme fossem cortadas de cones oblquos ou retos (Boyer, 1994, p. 107). Tambm
alargou os seus estudos ao substituir o cone de uma s folha por um duplo, o que fez
com que apresentasse as curvas antigas de forma mais prxima do ponto de vista
usada hoje. A sua definio de cone circular a seguinte:
Se fizermos uma reta, de comprimento indefinido e passando sempre por um ponto
fixo, mover-se ao longo da circunferncia de um crculo que no est no mesmo plano com o
ponto de modo a passar sucessivamente por cada um dos pontos dessa circunferncia, a reta
mvel descrever a superfcie de um cone duplo. Apolnio citado em Boyer (1994, p. 107).
Com esta definio, a hiprbole passou a ser considerada como uma curva de dois
ramos, a que nos hoje familiar. Carl Boyer de opinio que
Mostrando como todas as seces cnicas de um mesmo cone oblquo de duas folhas
e dando-lhes nomes eminentemente apropriados, Apolnio deu importante contribuio
Geometria (...). (1994, p. 108).
Com efeito, durante cerca de sculo e meio, as seces cnicas no tinham tido
outras designaes alm das descries pelas quais tinham sido descobertas (oxitomo,
ortotomo e amblitomo). Deve-se a Apolnio a mudana dos nomes para elipse,
parbola e hiprbole (adaptadas dos nomes anteriormente usados pelos pitagricos
para as aplicao de reas) para as seces planas do cone (Boyer,1994, pp. 107108).
Para os gemetras gregos os lugares geomtricos dividiam-se em trs
categorias: os lugares planos que contemplavam as retas e os crculos, os lugares
Cnicas de Apolnio tenha derrotado todos os rivais na teoria das seces cnicas, inclusive o estudo das cnicas de Euclides.
(Boyer, 1994, p. 107).
24
slidos formados pelas seces cnicas, e os lugares grmicos (ou lineares) que
reuniam todas as restantes curvas. Tero atribudo o nome de lugares slidos
segunda categoria porque as seces cnicas eram descritas estereometricamente
como seces de uma figura a trs dimenses, e no como lugares no plano que
satisfazem uma certa condio. Tal como os seus antecessores, Apolnio obteve
inicialmente as cnicas a partir dum cone, mas logo que possvel libertou-se deste.
Desenvolveu a teoria dos dimetros conjugados ao demonstrar que os pontos mdios
de um conjunto de cordas paralelas traadas sobre um dimetro de uma elipse ou de
uma hiprbole formavam um segundo dimetro; neste sentido, deu-lhes o nome de
dimetros conjugados (Fig. 4). Aos segmentos de reta paralelos JM e QN Apolnio
deu o nome de ordenadas e aos segmentos de reta RM et RN (de origem no vrtice
R da cnica e extremidades nos pontos onde as semicordas cortam o dimetro RS da

curva) designou abcissas. Com estes conceitos, Apolnio conseguiu obter um quadro
de referncia til para a localizao de uma cnica no plano, usando um par de
dimetros conjugados como um sistema de eixos de coordenadas oblquas. Este
gemetra tambm demonstrou que uma reta traada por uma extremidade de um
dimetro de uma elipse ou hiprbole paralelamente ao conjugado tangente cnica.
Saliente-se que, possvel observar na sua obra, Cnicas, o uso frequente de um
dimetro e uma tangente na sua extremidade como um sistema de referncia de
coordenadas, que no difere na essncia do uso atual de sistemas de coordenadas,
quer sejam retangulares, quer sejam oblquas. Com o objetivo de estudar
propriedades das curvas, Apolnio considerava o sistema de coordenadas posteriori
sobre as mesmas36.
Fig. 4 Dimetros conjugados- Figura extrada de Vincenzo (2007, p. 445)
Do cone, o gemetra deduziu, para cada seco, uma propriedade

fundamental ou sintoma, continuando o seu estudo no plano baseado nessa
36
No parece haver exemplo na Geometria antiga do sistema de coordenadas ser estabelecido priori para fins de representao
grfica de uma equao ou relao expressa, seja simbolicamente seja retoricamente .(Boyer, 1994, p. 114).
25
propriedade. A partir duma relao caracterstica entre a ordenada e a abcissa de um

ponto arbitrrio de cada curva, Apolnio obteve, de forma retrica, o que podemos
atualmente traduzir por uma equao algbrica. Assim, deduziu os sintomas padro
de cada uma das trs cnicas, traduzidos pelas equaes
y 2 lx ,
y 2 lx
b2 2
x ,
a2
y 2 lx
b2 2
x ,
a2
de parmetros a , b e l . A parbola de equao y 2 lx , com vrtice na origem

(sendo l o lado reto ou parmetro) foi apresentada com a propriedade, qualquer ponto
sobre ela o quadrado sobre a ordenada igual ao retngulo sobre a abcissa x e o parmetro
l . As equaes y 2 lx
b2 2
b2 2
2
x
y
lx
x representam equaes da elipse e

e
a2
a2
da hiprbole, respetivamente, com um vrtice como origem (sendo que para a

elipse y 2 lx e para a hiprbole y 2 lx ). Estas desigualdades sugeriram os nomes
dados37 , por Apolnio, s cnicas e que ainda hoje lhes esto associados (Boyer,
1994, p. 108) e (Katz, 2010, p. 153).
Aps ter deduzido os sintomas das curvas a partir das suas definies como
seces de um cone, Apolnio mostrou38 o que se podia considerar o recproco, isto ,
que sendo dado um vrtice (ou um par de vrtices) na extremidade (ou extremidades)
de uma dada semi-recta (ou segmento de reta), e dado um parmetro, era possvel
encontrar-se um cone e um plano de seco, cuja interseco fosse uma cnica
(parbola, elipse ou hiprbole) com os referidos vrtice (ou vrtices), eixo e parmetro.
Esta prova revelou-se de grande importncia, na medida em que, segundo Katz (2010)
Daqui em diante, na geometria grega assim como na medieval e na primeira
geometria moderna, um autor podia enunciar a construo de uma cnica sendo dados
vrtices, eixos e parmetro como a construo de uma circunferncia dados o centro e o raio.
(p. 155).
37
O nome parbola provm da palavra grega paraboli (aplicado) porque o quadrado da ordenada igual ao retngulo que est
aplicado ou tem por base o lado reto e por altura a abcissa
x (usando o mtodo por aplicao de reas). As palavras paraboli,
elipssis (significa por defeito) e yperboli (por excesso) j eram h muito tempo usadas para distinguir os vrios tipos de aplicao de
reas. (Katz, 2010, p. 153).
38
Nas proposies finais do livro I das Cnicas.
26
Para deduzir propriedades das cnicas sem recorrer definio original,

Apolnio usou os respetivos sintomas, tal como atualmente so deduzidas
propriedades de uma curva a partir da sua equao. Embora o matemtico grego
tenha feito sempre uso da linguagem natural, grande parte do seu trabalho pode ser
assinalado como uma lgebra geomtrica e o sintoma duma cnica pode ser
considerado como uma expresso retrica da sua propriedade algbrica fundamental
(Katz, 2010, p. 155). Aps ter deduzido, a partir de um estudo estereomtrico do cone,
a relao caracterstica entre as coordenadas planas de um ponto genrico das
cnicas, Apolnio obteve outras propriedades fundamentais dessas curvas, muitas das
quais eram desconhecidas at ento (Boyer, 1994, p. 110). Em particular, o livro I das
Cnicas contm vrios teoremas que envolvem o que hoje consideramos serem
mudana de sistemas de eixos, isto , transformaes de coordenadas de um sistema
baseado numa tangente e um dimetro num ponto P da cnica, para um novo
sistema determinado por uma tangente e um dimetro num segundo ponto Q da
mesma curva; o gemetra grego acrescentou s demonstraes anteriores que uma
cnica pode ser referida a qualquer tal sistema como eixos (Boyer, 1994, p. 110).
Note-se que para os gregos as equaes eram determinadas por curvas, e no
o recproco. As coordenadas, as variveis e as equaes resultavam de uma situao
geomtrica especfica. No lhes era suficiente definir curvas, de forma abstrata, como
lugares que satisfaziam as condies dadas; para garantir que um lugar geomtrico
fosse realmente uma curva teria de ser exibido estereometricamente como uma
seco de um slido, ou descrito por um processo cinemtico de construo (Boyer,
1994, p. 114).
tambm de salientar que, em contraste com o conceito cinemtico de
Arquimedes, Apolnio desenvolveu o conceito esttico de tangente a uma cnica, na
senda do que Euclides tinha feito para o crculo:
(...) se uma reta traada por uma extremidade de um dimetro de uma elipse ou
hiprbole paralelamente ao conjugado, a reta tocar a cnica e nenhuma outra reta pode
cair entre ela e a cnica- isto , a reta ser tangente cnica. Apolnio citado em Boyer
(1994, p. 110).
Katz (2010, p. 162) refere que o principal objetivo de Apolnio, nas Cnicas,
no foi tanto desenvolver as propriedades das seces cnicas, mas sim obter
teoremas e resultados necessrios tendo em vista aplicar estas curvas resoluo de
27
problemas geomtricos. Com efeito, possvel observar a tentativa de resoluo de

alguns problemas clssicos, como por exemplo o da trisseco do ngulo e o da
duplicao do cubo, onde foram usadas seces cnicas (Katz, 2010, p. 162).
A proposta de resoluo de Apolnio para o problema do lugar geomtrico das
trs ou quatro retas, o problema de Papo, teve repercusses at ao sculo XVII.
Apolnio escreveu que este caso tinha sido parcialmente resolvido por Euclides, mas
que os seus novos resultados, expressos no seu livro III, proporcionavam a resoluo
completa. Para o caso das trs retas, Katz refere que, apesar do livro III no
mencionar o problema como tal, possvel deduzir-se, a partir de teoremas a contidos,
que uma cnica representa esse lugar geomtrico relativamente a duas tangentes
curva num dado ponto e a secante ligando os dois pontos de tangncia; Katz refere
tambm que outros teoremas do mesmo livro permitem mostrar que uma seco
cnica tambm soluo do problema das quatro retas (2010, p. 164). Gemetras
gregos posteriores tentaram, embora sem sucesso, encontrar o lugar geomtrico
alargando significativamente o nmero de retas. No sculo XVII, Descartes e Fermat,
retomaram o problema e provaram que podia ter soluo atravs de um novo mtodo,
o da Geometria Analtica. Em resultado duma leitura cuidadosa do trabalho de
Apolnio, Descartes conseguiu deduzir as equaes das curvas, que satisfaziam
condies anlogas, para um alargado nmero de retas e classificar as solues.
Pensamos que merecido salientar novamente que, nas Cnicas o uso de
retas de referncia (o dimetro e uma tangente na sua extremidade) como ideia de um
sistema de coordenadas 39 , em que as distncias medidas ao longo do dimetro a
partir do ponto de tangncia representavam as abcissas e os segmentos de reta
paralelos tangente representavam as ordenadas, ter sido um procedimento que,
dentro das suas limitaes, se aproximou do que atualmente usado na Geometria
Analtica. Dentro desta linha de pensamento, pensamos relevante o comentrio de
Boyer (1994) ao referir que:
Os mtodos de Apolnio, em As Cnicas, em muitos pontos so to semelhantes aos
modernos que s vezes se considera o seu tratado como uma Geometria Analtica,
antecipando a de Descartes por 1800 anos. (p. 114).
39
Relembre-se que a lgebra geomtrica grega no contemplava grandezas negativas.
28
Apesar na notabilidade das Cnicas, tanto pelo contedo como pela inovao
dos mtodos, Apolnio ficou no estudo das curvas muito aqum da flexibilidade e da
generalidade de tratamento dadas mais tarde por Descartes e Fermat. As limitaes
da lgebra geomtrica (associada a uma linguagem retrica) e a ausncia de
simbolismo algbrico tero sido os fatores decisivos que impediram Apolnio de ter
sido o criador da Geometria Analtica.
1.2.3
Diofanto
Pouco se conhece da vida de Diofanto (ca. 246-330 d. C.), exceto que viveu
em Alexandria. A sua obra mais importante a Aritmtica, um tratado em treze livros,
dos quais se conhecem seis 40 no original grego e quatro em traduo para rabe.
Nesta obra, Diofanto procedeu anlise e resoluo de problemas numricos
mediante a utilizao de equaes, dando mostras de grande percia a discutir e
analisar casos por meio de subtilezas e artifcios (Urbaneja, 2003, p. 51) e (Boyer,
1994, p. 132). A sua aparente destreza matemtica tem levado historiadores a situar
este matemtico ao nvel do chamado tringulo helenista, constitudo por Euclides,
Arquimedes e Apolnio, refere Urbaneja (2003, p. 51). Contudo, Diofanto tem pouco
em comum com a matemtica grega tradicional, uma vez que do seu trabalho est
ausente a estrutura lgico-dedutiva daqueles trs grandes gemetras. Distanciado da
corrente dominante da Matemtica grega (Boyer, 1994, p. 130), Diofanto inaugurou um
novo tipo de lgebra com que tratou problemas aritmticos e algbricos por si mesmos,
sem a dependncia da geometria41 e sem exposio dedutiva (Urbaneja, 2003, pp 5152); nesta linha de pensamento Boyer refere que a Aritmtica de Diofanto no se
assemelha lgebra geomtrica de Euclides (1994, p. 130).
A Aritmtica pouco tem em comum com a Matemtica grega tradicional, mas
tem algumas semelhanas com a lgebra mesopotmica, o que levou Dirk J. Struik a
escrever que Diofanto pode ter sido um babilnio helenizado (1997, p. 105).
40
Uma exposio completa encontra-se em Diophantus of Alexandria (1910), T. L. Heath.
41
J no sculo I d.C. (aproximadamente), Heron e Nicmaco formularam e resolveram problemas algbricos mediante
procedimentos aritmticos puros; A obra de Nicmaco, Introducio, contm um estudo sobre as propriedades mais elementares dos
nmeros, no sendo considerado, portanto, um tratado sobre computaes nem lgebra. O Aritmtica de Diofanto revelou-se muito
diferente, pois envolveu a resoluo de equaes com uma linguagem diferente (sincopada).
29
Seguindo a metodologia dos matemticos egpcios e babilnios, Diofanto no se

preocupava em apresentar justificaes nem em dar demonstraes dedutivas e
ordenadas. A sua principal preocupao era encontrar solues corretas para os
problemas, resolvendo-os sem os classificar ou apresentar solues gerais. No
obstante, enquanto os matemticos egpcios e mesopotmios se dedicaram,
fundamentalmente, s solues de equaes determinadas (at ao terceiro grau),
expressando-as palavrosamente (em lgebra retrica), Diofanto, no seu tratado,
revela um avano significativo na resoluo de equaes tanto determinadas como
indeterminadas, com a introduo de um simbolismo algbrico prprio: o uso
sistemtico de abreviaturas. Deu especial ateno soluo de problemas
indeterminados,
da
que este
tratamento, designado
muitas vezes
Anlise
Indeterminada, se tornasse conhecido por Anlise Diofantina (Boyer, 1994, p. 132). O

seu tratamento talentoso das equaes revela que a antiga lgebra da Babilnia ou
talvez da ndia no s sobreviveu ao brilho da civilizao grega, como tambm foi
aperfeioada com a atividade de alguns homens, escreve Struik (1997, p. 105)
referindo-se a Diofanto.
Diofanto enunciava os problemas de forma abstrata, mas concretizava os
dados numericamente para os resolver. Por exemplo, para ilustrar a resoluo dum
problema que envolvesse uma equao do 2 ou do 3 grau, propunha um problema
particular que dependesse dessa equao, e depois supunha que noutros casos que
envolvessem equaes do mesmo tipo o procedimento seria o mesmo. Esta
determinao numrica priori no punha em causa a validade do seu mtodo,
embora naturalmente escolhesse os valores de modo a que as solues fossem
positivas.
Uma inovao importante do trabalho de Diofanto consistiu em manter (ainda)
nos enunciados algbricos a forma retrica da estrutura da frase, substituindo por
abreviaturas uma srie de grandezas, conceitos e operadores frequentes (Urbaneja,
2003, p. 52), dando assim incio lgebra sincopada42. Numa simplificao excessiva,
Nesselmann considerou trs fases no desenvolvimento histrico da lgebra, a saber, a
fase retrica (ou primitiva), a fase sincopada (ou intermdia) e a fase simblica (ou
final). A fase retrica inclui toda a lgebra rabe medieval e perdura at ao incio do
Renascimento europeu; ora, dum ponto de vista meramente cronolgico, o tratado
42
A distino entre as fases retrica, sincopada e simblica da lgebra deve-se a G.H.F. Nesselmann, Die Algebra der Griechen,
Berlim, 1842.
30
diofantino no se coaduna com a classificao de Nesselmann, uma vez que neste

esquema a Aritmtica de Diofanto deve ser colocada na segunda categoria (Boyer,
1994, p. 133).
Nos seis livros da Aritmtica preservados no original grego est patente o uso
sistemtico de abreviaturas para a operao de subtrao e para potncias, quer de
nmeros dados, quer do nmero pedido (dos coeficientes e da incgnita, diramos
hoje) no estudo de cerca de 150 problemas em termos de exemplos numricos
especficos (Boyer, 1994, p. 133). De um modo sinttico, apresentam-se alguns
termos e smbolos usados por Diofanto. Assim, indicou os nmeros conhecidos por
o
M (iniciais da palavra grega monades, que significa unidades) e

representou a incgnita por (ltima letra da palavra grega arithmos, que
significa nmero). Utilizou os smbolos y e K y para o quadrado (dynamis) e para o
cubo (kubus) da incgnita, respetivamente, e os smbolos y , K y e K y K para o
quadrado multiplicado por si prprio (dynamo-dynamis), para o quadrado multiplicado
pelo cubo (dynamo-kubus) e para o cubo multiplicado por si mesmo (kubo-kubus),
respetivamente.
Saliente-se que, ao trabalhar com potncias de ordem superior a trs (at ao
sexto grau), Diofanto revelou, uma vez mais, um divrcio com a tradio grega. A
lgebra sincopada de Diofanto representa um avano invulgar relativamente
linguagem da lgebra geomtrica de Euclides.
Apesar de existir, todavia ainda, uma certa indeciso no processo abreviador, sem
dvida Diofanto inicia a construo de uma mquina mental de assombrosa preciso e eficcia
que constitui a matriz da lgebra. (Urbaneja, 2003, p. 59).
Toda a Aritmtica lida apenas com nmeros a que hoje chamamos racionais
positivos. Como afirma Katz, Obviamente, Diofanto no estava a lidar com nmeros
negativos, que para ele no existiam (2010, p. 216). Contudo, Diofanto conhecia as
regras de multiplicao para nmeros com sinal menos, tendo estabelecido regras
necessrias para somar, subtrair e multiplicar expresses algbricas ou termos que
envolvessem subtraes.
31
bom que, quem comece este estudo, adquira prtica na adio, subtrao, e
multiplicao das vrias espcies [tipos de termos]. Deve saber como adicionar termos
positivos e negativos com diferentes coeficientes a outros termos, estes ou positivos ou de
igual modo parcialmente positivos e parcialmente negativos, e como subtrair de uma
combinao de termos positivos e negativos outros termos ou positivos ou de igual modo
parcialmente positivos e parcialmente negativos. Diofanto citado em Katz (2010, p. 216).
Depois de explicitar a notao a utilizar, Diofanto estabeleceu regras bsicas

para a resoluo de equaes. Tornou claro o processo de transposio de termos
entre os dois membros duma igualdade, bem como o processo de reduo de termos
semelhantes. Estes dois procedimentos conduzem a equao, que traduz o enunciado
dum problema concreto, a uma forma mais simples, facilitando a resoluo da mesma.
Se um problema conduz a uma equao na qual certos termos so iguais a termos da
mesma espcie mas com coeficientes diferentes, ser necessrio subtrair elementos da
mesma natureza de ambos os lados, at que um termo seja achado igual a um termo. Se por
acaso, houver, ou num lado ou em ambos os lados, quaisquer termos negativos, ser
necessrio adicionar aos termos negativos de ambos os lados, at os termos de ambos os
lados serem positivos, e ento de novo subtrair elementos da mesma natureza at que reste
s um termo de cada lado. Isto seria o objetivo almejado ao enquadrar as hipteses das
proposies, isto reduzir as equaes, se possvel, at ser deixado um termo igual a um
termo; mas eu mostrarei mais tarde como, no caso de tambm os dois termos serem deixados
iguais a um termo, um tal problema resolvido. Diofanto citado em Katz (2010, p. 217).
Diofanto tambm imps restries nos enunciados, de modo a obter solues,

inteiras ou fracionrias, mas sempre positivas. s solues irracionais deu o nome de
impossveis (Struik, 1997, pp. 105-106). Na resoluo de problemas que envolvessem
mais do que uma incgnita, Diofanto escolhia uma delas e tentava de seguida
representar as restantes em funo desta ou, eventualmente, escrevia-as todas em
funo de uma nova. (Urbaneja, 2003, p. 51).
Tanto Katz (2010, p. 226) como Boyer (1994, p. 133) relevam o facto de a
Aritmtica de Diofanto, enquanto trabalho de lgebra, ter sido efetivamente um tratado
de anlise de problemas. A soluo de cada problema era inicialmente suposta
encontrada; como consequncia desta suposio, eram levados a cabo raciocnios
32
sucessivos at ao ponto em que um valor numrico podia ser determinado atravs da

resoluo duma simples equao. A sntese, que neste caso a prova de que a
resposta satisfaz as condies iniciais, nunca Diofanto a deu, uma vez que ela se
reduziria a um simples clculo aritmtico. Assim, possvel observar um forte
contraste entre a Aritmtica de Diofanto e os Elementos de Euclides, que so
puramente sintticos.
Diofanto representa um avano espetacular na histria da lgebra e, embora no
tenha chegado a criar um verdadeiro algoritmo de automatizao de resoluo de equaes,
um pioneiro no caminho que, semeado durante 1300 anos pelos rabes e pelos matemticos
renascentistas italianos, transforma a logstica numerosa (que opera com nmeros concretos)
na logstica especiosa de Vite, que generaliz os mtodos do clculo literal para a doutrina
algbrica como um dos alicerces da matemtica ao converter-se na sua prpria linguagem.
(Urbaneja, 2003, p. 52).
A Aritmtica de Diofanto foi estudada por vrios autores Islmicos, como por
exemplo Al-Karaji (Katz, 2010, p. 226), mas exerceu especial influncia sobre os
matemticos europeus que se dedicaram teoria dos nmeros. Rafael Bombeli, por
exemplo, retomou muitos dos seus problemas, estudou-os e publicou-os na sua
lgebra de 1572. Vrios dos problemas a que Vite dedicou o seu estudo, foram
extrados da Aritmtica de Diofanto, embora Vite tenha considerado que esta obra
ficava dentro dos limites da logstica numrica (Busard, 1991, p. 2515). Fermat
estudou cuidadosamente a edio inicial grega impressa por Bachet de Mziriac,
publicada em Paris em 1621, generalizando vrios resultados na teoria dos nmeros
que Diofanto sugerira. Segundo Boyer (1994, p. 134),
(...) Diofanto teve uma influncia maior sobre a teoria moderna dos nmeros do que
qualquer outro algebrista grego no geomtrico. Em particular, Fermat foi levado ao seu
clebre grande ou ltimo teorema quando procurou generalizar um problema que tinha
lido na Aritmtica de Diofanto: dividir um dado quadrado em dois quadrados.
Alguns historiadores da Matemtica consideram Diofanto como o pai da

lgebra, por ter iniciado um processo criador de um simbolismo que acabou por ser
precursor da notao algbrica (Urbaneja, 2013, p. 51). Contudo, tal designao no
33
deve ser tomada literalmente, pois outros autores atribuem esse ttulo a Franois Vite
(1540-1603). Boyer (1994) observa que:
Se pensarmos, primeiramente em termos de notao, Diofanto tem boas razes para
pretender o ttulo de pai da lgebra, mas em termos de motivao e conceitos a pretenso
menos justificada. (p. 133).
Contudo, como j aqui se referiu, a principal lacuna da Matemtica grega, que a

impediu de alcanar a Geometria Analtica, foi a ausncia duma lgebra simblica.
Ora, o trabalho de Diofanto deu incio construo desse instrumento algortmico que
estava em falta, pelo que podemos afirmar que o seu trabalho representa um elo
fundamental na cadeia que une a Aritmtica e a lgebra dos mesopotmios
Matemtica de Fermat e Descartes.
Oresme
1.2.4
Nicolau Oresme (1323-1382), Bispo de Lisieux, na Normandia, foi um dos mais

importantes matemticos eclesisticos da Idade Mdia. Devem-se-lhe contributos para
a teoria das propores, para o estudo de sries infinitas e, sobretudo, para a rea da
representao grfica de corpos em movimento.
A maior obra de Oresme, o Tratado sobre as Configurao de Qualidades e
Movimentos, de cerca de 1350, contm a representao da velocidade varivel com
o tempo, assim como a generalizao desta ideia a outros casos onde uma dada
grandeza varia em intensidade com a distncia ou com o tempo (Katz, 2010, p. 397).
Com o objetivo de dar continuidade aos trabalhos pioneiros de estudiosos do seu
tempo (destacando-se Roger Bacon, Tomas Bradwardine, William Heytesbury,
Richard Swineshead e Jean Buridan) no estudo do movimento, como por exemplo, no
conceito
de
velocidade
instantnea,
Oresme
introduziu
uma
representao
bidimensional da variao da velocidade com o tempo. Para tal, fez uso duma
classificao dos movimentos diferente da da Fsica aristotlica; um corpo move-se
com movimento uniforme quando a sua velocidade constante, com movimento
34
uniformemente diforme quando a acelerao constante, e com movimento

diformemente diforme quando a acelerao no constante. Para apresentar uma
representao grfica de acordo com esta classificao, Oresme comeou por explicar
como se podem usar segmentos de reta para representar grandezas como a
velocidade
Cada coisa mensurvel, exceto nmeros, imaginada sob a forma de grandezas
contnuas. Portanto, para a medio de uma tal coisa, necessrio que sejam imaginados
pontos, linhas, e superfcies, ou as suas propriedades. Porque neles como [Aristteles]
sustenta, a medida ou razo achada inicialmente, enquanto que em outras coisas
reconhecida por semelhana, pois que so referidas a elas pelo intelecto [as entidades
geomtricas]. (...) Portanto, qualquer intensidade que possa ser adquirida sucessivamente
deve ser imaginada por uma linha reta perpendicularmente erguida nalgum ponto. Citado em
Katz (2010, p. 397).
Com estas linhas retas, Oresme construiu o que chamou de configurao
(Katz, 2010, p. 397), uma figura geomtrica cujo modelo consistiu em traar
segmentos perpendiculares a uma reta horizontal de base. Na representao das
velocidades, a reta horizontal, dita reta das longitudes, representava o tempo, os seus
pontos representavam os instantes, e cada segmento de reta perpendicular, dito
latitude, representava a velocidade no instante correspondente. Para o matemtico
francs, um movimento podia ser representado por um retngulo no caso de ser
uniforme (Fig. 5), por um trapzio ou um tringulo retngulo 43 , no caso de ser
uniformemente diforme (Fig. 6), ou por outro tipo de figura no caso de ser
diformemente diforme. Oresme registou, ainda, que a distncia total percorrida pelo
corpo dada pela rea da figura preenchida pela totalidade dos segmentos de reta.
Fig. 5 Representao grfica dum movimento uniforme, segundo Oresme
43
No caso de a velocidade inicial ou final ser nula.
35
Fig. 6 Representao grfica de movimentos uniformemente diformes, onde
d1 : d 2 e1 : e2
Merece destaque o caso do movimento uniformemente diforme. Para Oresme,
uma qualidade uniformemente irregular aquela em que, se se tomarem quaisquer trs

pontos [da linha da base], a razo da distncia entre o primeiro e o segundo para a distncia
entre o segundo e o primeiro, est entre si como a razo do excesso de intensidade do
primeiro ponto relativamente ao segundo ponto sobre a do excesso do segundo ponto
relativamente ao terceiro ponto, considerando o primeiro destes trs pontos como o de maior
intensidade. Citado em Katz (2010, p. 397).
Esta descrio de Oresme est j muito prxima de exprimir a mesma propriedade
que a equao duma linha reta na atual Geometria Analtica. (Katz, 2010, p. 398).
Na realidade, o uso de coordenadas, denominadas por Oresme longitude e
latitude, no foi uma inovao, pois tanto Apolnio como vrios gegrafos gregos j
tinham usado sistemas anlogos. Segundo Struik, a representao grfica de
qualidades e velocidades revela uma espcie de transio vaga das coordenadas na
esfera celeste ou terrestre, conhecidas pelos antigos44, para a geometria moderna das
coordenadas (1997, p. 142).
Oresme parece ter sido mais inovador ao representar graficamente a variao
da velocidade com o tempo. Na anlise de Boyer,
Parece que ele [Oresme] percebeu o princpio fundamental de se poder representar
uma funo de uma varivel como uma curva, mas no soube usar eficazmente essa
observao a no ser no caso de funo linear. (...) Oresme interessava-se principalmente pela
44
J, por exemplo, Ptolomeu (c. 85-165), na sua obra Geografia, utilizou um sistema de latitudes e longitudes como coordenadas
numricas muito semelhante ao que usamos atualmente. Contudo, no havia meios para determinar com preciso essas longitudes.
Pensa-se que os mapas de Ptolomeu tero servido de exemplar para a construo de outros mapas at idade mdia.
36
rea sob a curva; por isso no muito provvel que tenha visto a outra metade do princpio
da Geometria Analtica que uma curva plana possa ser representada, com relao a um
sistema de coordenadas, como uma funo de uma varivel. (1994, p. 193).
O Tratado sobre as Configurao de Qualidades e Movimentos tambm
contm sugestes de representaes geomtricas a trs dimenses. A ideia de
Oresme
de
representar
as
velocidades,
assim
como
outras
qualidades,
geometricamente teve a sua continuao em trabalhos de outros autores at ao sculo

seguinte. Contudo, Katz observa que nenhum matemtico foi capaz de alargar este
sistema de representao a situaes mais complexas do que aquelas que Oresme
considerou (2010, p.399). O seu trabalho foi impresso vrias vezes entre 1482 e 1515
e, segundo Struik (1997, p.142), ter influenciado os matemticos do Renascimento,
incluindo Descartes. Boyer pe a tnica no insuficiente domnio tcnico, ao escrever
que,
o que ele [Oresme] precisava ter era, naturalmente, uma geometria algbrica em vez
da representao pictoral que tinha em mente (...). Os matemticos do Ocidente durante o
sculo catorze tinham imaginao e preciso de pensamento porm faltava-lhes tcnica
algbrica e geomtrica (...).(1994, p.194).
Pela anlise de Boyer pensamos que a contribuio desses matemticos no
ter sido no sentido de entender a obra clssica mas sim de sugerir.
Apesar desta condicionante, o sculo XIV viu surgir novos pontos de vista e
ideias essenciais construo da Geometria Analtica. Contudo, elas no tiveram um
seguimento imediato no desenvolvimento da Matemtica. As profundas perturbaes
causadas pela Peste Negra e pela Guerra dos Cem Anos tiveram como consequncia
o declnio do conhecimento em Frana e na Inglaterra. S no Renascimento surgiriam
novas ideias, em particular na Itlia e na Alemanha.
37
1.2.5
Vite
Uma das formas do pensamento matemtico do sculo XVI at meados do

sculo XVII caracterizou-se pela tentativa de recuperao das obras matemticas
gregas. Um dos motivos dessa tentativa prendeu-se com a questo de saber como os
antigos descobriram resultados, que apenas demonstravam em estilo sinttico. As
obras bsicas de Euclides, Arquimedes e Ptolomeu tinham sido j traduzidas para
latim alguns sculos antes, contudo tal trabalho no tinha sido feito por matemticos.
Katz (2010, p. 462). No sculo XVI houve um esforo concertado para retraduzir essas
obras, bem como traduzir outras do original em grego, tendo sido estas novas
tradues preparadas por matemticos (Katz, 2010, p. 462).
No sculo XVI verificou-se tambm um grande avano, promovido por
matemticos europeus, na continuao da lgebra islmica da Idade Mdia. Apesar
das limitaes do simbolismo, que ainda assentava predominantemente em
abreviaturas45, os algebristas demonstravam percia nas manipulaes algbricas e,
no final do sculo, sabiam resolver qualquer equao polinomial at ao quarto grau.
Muitos autores usavam abreviaturas ou smbolos para a incgnita e suas
potncias, mas ainda no tinham um modo de exprimir com generalidade os
coeficientes; por este motivo, as resolues eram dadas como regras de procedimento
e, para ilustrar esse procedimento, usavam-se exemplos numricos. Desde a lgebra
sincopada da poca diofantina, o uso de coeficientes numricos tinha impedido a
discusso geral de problemas algbricos. Nos trabalhos algbricos do sculo XVI est
patente um crescente uso de abreviaturas, mas os algoritmos de resoluo dos
problemas no eram apresentados de forma absolutamente geral, devido ausncia
de smbolos para os coeficientes das equaes. Frmulas, como por exemplo a
resolvente da equao quadrtica, que se encontram em qualquer livro elementar de
lgebra de hoje em dia, no existiram em nenhum dos textos de lgebra at ao
comeo da Idade Moderna (Katz, 2010, p. 462). Para escrever tais frmulas houve
necessidade duma nova conceo de smbolos. Uma figura que se destacou nos finais
do sculo XVI na reformulao do simbolismo, propondo uma nova lgebra, a lgebra
simblica, foi Franois Vite (1540-1603). Reformulou a abordagem lgebra,
45
J no final do sculo XV alguns autores apresentavam o uso de smbolos e de abreviaturas para as quantidades desconhecidas,
destacando-se o francs Nicolas Chuquet (ca. 1445-1500) na sua obra Triparty en la Science des Nombres de 1484, e o italiano Luca
Pacioli (1445-1517) em Summa de arithmetica, Geometria, Proportioni et Proportionalita de 1494.
38
substituindo a procura de solues de equaes particulares pelo estudo

pormenorizado da estrutura dessas equaes, dando assim um importante contributo
para o desenvolvimento da antiga teoria das equaes46 (Mahoney, 1994, p. 36).
Com Vite foi possvel encontrar pela primeira vez uma clara diferena, ao
nvel da notao, entre o importante conceito de parmetro e a ideia de quantidade
desconhecida. Introduzindo a conveno simples do uso de vogais para representar
as quantidades desconhecidas, e de consoantes para grandezas ou nmeros
supostos conhecidos ou dados, Vite obteve um critrio que permitia distinguir
imediatamente os termos dados dos termos procurados:
Os termos dados so distinguidos das incgnitas por smbolos constantes, gerais e
facilmente reconhecveis, como (digamos) designar grandezas desconhecidas pela letra A e as
outras vogais E, I, O, U e Y, e os termos dados pelas letras B, G, D e as outras consoantes.
Citado em Katz (2010, pp. 465-466).47
No seu livro The Mathematical Career of Pierre Fermat, Mahoney observa que,
(...) este novo sistema de notao tornou possvel o divrcio entre a lgebra e um
estilo de exposio enraizado em exemplos e algoritmos verbais. O simbolismo literal de Vite
habilitou-o a tratar uma srie de problemas com parmetros e, consequentemente o
tratamento de problemas de uma forma geral. (1994, p. 35).
Vite props demonstraes para certos teoremas, de autores clssicos,

enunciados na Coleo Matemtica de Papo48. Para obter essas demonstraes, usou
um reportrio variado de tcnicas matemticas herdadas de Diofanto e dos algebristas
renascentistas, bem como as suas novas ferramentas simblicas. Na sua obra
Introduo Arte Analtica (em latim, In Artem Analyticem Isagoge) Vite d curso ao
seu objetivo de tentar identificar a Anlise grega com a lgebra. Comea por comentar
46
Cf. C. Boyer, History of Analytic Geometry (1956, pp.59 60): usando vogais para designar quantidades desconhecidas e
consoantes para representar quantidades assumidas como conhecidas, Vite tornou possvel distinguir no duas mas trs, tipos de
grandezas na lgebra- especificamente nmeros, parmetros e variveis (...).Isto tornou possvel construir uma teoria geral das
equaes- estudar as equaes cbicas.
47
Traduzido de Franois Vite, The Analytic Art, Tranlated and edited by T. Richard Witmer (Kent State University Press, 1983, p.
24).
48
Vite tentou restaurar o tratado Sobre as Tangncias de Apolnio, por exemplo.
39
o mtodo de anlise, que qualifica como uma certa via de aquisio da verdade
caracterstica das matemticas, cujas origens remontam a Plato e a Teo de
Alexandria:
H uma certa forma de procurar a verdade na matemtica que se diz ter sido
descoberta pela primeira vez por Plato. Teo chamava-lhe anlise... Embora os antigos
propusessem apenas duas espcies de anlises, zettica e porstica, s quais a definio de
Teo melhor se aplica, acrescentei eu uma terceira que pode ser chamada rtica ou exegtica.
, apropriadamente, chamada zettica quando se apresenta uma equao ou proporo entre
um termo que se pretende encontrar e os termos dados, porstica quando a verdade de um
enunciado de um teorema testado por meio de uma equao ou proporo, e exegtica
quando determinado o valor do termo desconhecido numa dada equao ou proporo.
Portanto, toda a arte analtica, assumindo para si esta tripla funo, pode ser chamada a
cincia da descoberta correta em matemtica. Citado em Katz (2010, p. 464). 49
Alm de alterar completamente o significado que a palavra anlise tinha entre

os gregos e de renomear duas das suas espcies, a anlise problemtica e a anlise
teoremtica (assim designadas por Papo de Alexandria), Vite acrescentou um novo
tipo. Assim, a anlise problemtica passou a ser a anlise zettica, a anlise
teoremtica transformou-se na anlise porstica e a terceira espcie de anlise passou
a ser a exegtica, a arte de transformar uma equao com a finalidade de se encontrar
um valor para a incgnita.
No pargrafo final da Introduo Arte Analtica, o matemtico francs clarifica
claramente o seu objetivo, ao concluir:
Finalmente, a arte analtica dotada com as suas trs formas de zettica, porstica e
exegtica, reclama para si o maior problema de todos, que no deixar qualquer problema
por resolver. Citado em Katz (2010, p. 465). 50
49
Traduzido de Franois Vite, The Analytic Art, Tranlated and edited by T. Richard Witmer (Kent State University Press, 1983, pp.
11-12).
50
Traduzido de Franois Vite, The Analytic Art, Tranlated and edited by T. Richard Witmer (Kent State University Press, 1983,
p.32).
40
Vite serviu-se da distino entre parmetro e quantidade desconhecida, para

criar um sistema de clculo simblico, a logstica especiosa, que operava sobre
espcies ou forma das coisas, tais como letras do alfabeto. Em contraste com a
logstica numrica (que empregava apenas nmeros), a logstica especiosa era um
sistema amplo e sistemtico de clculo, que permitiu atravs dos seus smbolos a
representao e manipulao completa de grandezas, quer geomtricas, quer
numricas. Assim, com este algebrista francs, muitos problemas passaram a ser
tratados de uma forma geral em vez de dependerem de exemplos e de algoritmos
verbais, rompendo deste modo com a tradio dos seus antecessores (Katz, 2010, p.
467).
Contudo, Vite no se divorciou totalmente da tradio, e continuou a usar
palavras ou abreviaturas. Para as potncias da incgnita, por exemplo, em vez de usar
4
expoentes como em A 2 , A3 ou E , escreveu A quadratum, A cubus ou E
quadrato-quadratum, usando, por vezes, as abreviaturas A quad para o primeiro e E

quad-quad para o terceiro. No que diz respeito s operaes, adotou as formas
germnicas para a adio e a subtrao, ou seja, os smbolos usados atualmente.
Struik (1997, p. 151) denota que estes no foram utilizados pela primeira vez por
Vite, e que tero aparecido primeiramente, pelo menos de forma impressa, numa
aritmtica alem de Johann Widmann, em 1489.
Para a multiplicao usou a palavra latina in e para a diviso o trao de
frao. Assim, a expresso
A in B
E quadratum
seria escrita atualmente
AB
. Tambm
E2
tem interesse referir que, embora Vite tenha impulsionado a lgebra com novos
mtodos simblicos, muitas vezes reformulava verbalmente os seus resultados, para
convencer alguns leitores incrdulos de que os mesmos podiam ser sempre traduzidos
nos modos mais familiares, por expresses verbais (Katz, 2010, p. 468).
A logstica especiosa tornou possvel uma abordagem geral a problemas de
diversos campos da matemtica, nomeadamente, da Geometria, da Aritmtica e da
Trigonometria. Vite enunciou e ilustrou, com exemplos muito simples, transformaes
fundamentais numa equao ou no clculo simblico, que lhe permitiram alcanar
certos resultados. Nas Notas Preliminares Logistica Especiosa, (em latim, Ad
Logisticem Speciosam Notae Priores) publicado cerca de 30 anos aps a Introduo
Arte Analtica, Vite mostrou como operava com grandezas simblicas. Escreveu, pela
primeira vez usando smbolos, identidades algbricas j h muito conhecidas
41
verbalmente,
como
por
exemplo
que
( A B).( A B) A2 B 2
que
( A B) 2 ( A B) 2 4 AB . Tambm escreveu o desenvolvimento da frmula binomial

( A B) n , para qualquer inteiro n entre 2 e 6; no ter apresentado o termo geral,
provavelmente por usar palavras em vez de nmeros para designar vrias potncias,
nomeadamente as de expoente superior a 6. Na aplicao da sua lgebra
Trigonometria deduziu as frmulas trigonomtricas do seno e do cosseno de mltiplos
inteiros de um ngulo. Generalizou problemas de Diofanto condicionados pela sua
lgebra sincopada, ultrapassando vrias restries numricas das suas resolues.
Tais resultados, problemas e mtodo51 de resoluo encontram-se nos vrios tratados
que formam a Arte Analtica de Vite.
A notao de Vite apresentava algumas limitaes, por exemplo na falta de
uma nica representao simblica para a igualdade (Vite usava palavras como
aequalis, aequetur, aequabuntur) e na representao descritiva das potncias das
espcies e da dimenso das quantidades. Tambm o facto de se ter mantido fiel ao
princpio grego da homogeneidade limitou o seu trabalho, pois fez com que no
considerasse o estudo de problemas que envolvessem operaes com grandezas no
homogneas. A forma homognea das suas equaes revelava que o seu
pensamento se mantinha prximo do da Geometria grega, o produto de dois
segmentos de reta era necessariamente encarado como uma rea, sendo que
segmentos de reta s podiam ser adicionados a segmentos de reta, reas a reas e
volumes a volumes. Para que a equao escrita atualmente como x 3 cx d tivesse
sentido, Vite considerava que c era um plano (sendo, portanto, cx um slido), e d
era um slido, e escrevia a mesma equao na forma A cubus + C plano in A
aequetur D solido.
Vite considerado pioneiro no despontar da lgebra simblica, um novo
sistema autnomo de notao que permite exprimir um problema simbolicamente
atravs de equaes, assim como levar a cabo todas as transformaes para as
resolver. Esta tcnica algbrica permitiu a futuras geraes disporem de um
51
Em problemas que envolviam a procura da coisa ou da quantidade incgnita, o processo de Vite era, num certo sentido, o
mesmo de Papo e dos antigos: o que tinha sido descrito como anlise, j referido neste trabalho. Em vez de raciocinar a partir do que
conhecido para o que se deve demonstrar, o algebrista raciocinava a partir da hiptese que a incgnita foi dada e deduzia uma
concluso necessria da qual a incgnita podia ser determinada. Mas o uso dos termos por Vite no era o mesmo. A transformao
da equao para se encontrar a incgnita pertencia nova terceira espcie de anlise de Vite, a exegtica, em vez das duas
primeiras espcies de anlises.
42
mecanismo, que foi sendo aperfeioado, muito til em vrias reas da Matemtica.
Tanto Fermat como Descartes usaram a lgebra simblica como instrumento de
anlise, nos estudos que os conduziram Geometria Analtica.
Em todo o trabalho Vite, por exemplo na resoluo de equaes do terceiro e
do quarto grau, est patente uma tendncia significativa de associar a nova lgebra
antiga Geometria avanada52 (Boyer, 1994, p. 225). Tal facto revela que o algebrista
francs no estaria muito distante do objetivo da Geometria Analtica, embora Boyer
refira que Vite inviabilizou a possibilidade de ter descoberto este novo ramo da
Matemtica ao evitar o estudo geomtrico de equaes indeterminadas (1994, p. 225).
Quando um problema geomtrico levava a uma equao com duas incgnitas, Vite
no o resolvia com o comentrio de que o problema era indeterminado, sem
investigar as propriedades geomtricas da sua indeterminao (Boyer, 1994, p. 225).
Merece destaque a observao de que tanto a Menecmo como a Apolnio
faltou-lhes, sem dvida o poderoso instrumento da lgebra simblica; contudo os seus
trabalhos revelam a utilizao do equivalente a um sistema de coordenadas, ao
contrrio de Vite que disps desse instrumento algortmico da lgebra simblica mas
no chegou a utilizar coordenadas.
52
Cf. Boyer (1994, p. 225), na interpretao geomtrica das operaes algbricas fundamentais, Vite percebeu que para a
construo das razes quadradas bastava usar a rgua e o compasso; e que a insero de dois meios proporcionais entre duas
grandezas permitia construir as razes cbicas, e at resolver qualquer equao cbica; e, ainda, toda a equao cbica ou do quarto
grau era resolvel atravs de trisseces de ngulos e da insero de duas mdias geomtricas entre duas grandezas.
43
Captulo 2
A Geometria Analtica de Fermat
2.1.Apresentao
Licenciado em Direito e sem qualquer estudo oficial na rea das cincias
exatas, Pierre de Fermat (1601-1665) no foi um matemtico profissional. Gemetra
de grande esprito, reservado e corts, deixou a sua obra dispersa em cartas,
anotaes e breves manuscritos. Os seus principais escritos foram publicados pela
primeira vez, j postumamente, pelo seu filho Samuel Fermat em Varia Opera
Mathematica (1679). Hoje Fermat unanimemente considerado como um dos
matemticos mais notveis da sua poca.
Para alm de ter sido colaborador na criao e desenvolvimento da Geometria
Analtica, Fermat deu vrias outras contribuies significativas para a Matemtica. A
sua ateno para a Teoria dos Nmeros, assunto em que o nico nome de relevo
entre a Antiguidade e o sculo XVIII, foi despertada pela traduo latina da Aritmtica
de Diofanto, obra referida no captulo anterior (Eves, 1997, p. 390). A correspondncia
que trocou com Pascal est na base da Teoria das Probabilidades. Descobriu um
mtodo que, na essncia, o que atualmente consideramos de diferenciao, o qual
foi designado de Mtodo para encontrar Mximos e Mnimos, como tambm descobriu
a forma de aplicar esse seu mtodo determinao da reta tangente a uma curva
algbrica da forma y f (x) .
No livro Mathmatiques et Mathmaticiens (1959), os autores Dedron e Itard
reescrevem um extrato de um jornal da poca, referindo-se a Fermat:
Do Journal des Savans, de 9 de Fevereiro de 1665
Destacava-se em todos os ramos da Matemtica; mas principalmente na cincia dos
nmeros e na bela Geometria. Dele temos um mtodo para a quadratura das parbolas ().
Um outro de maximis et minimis () mas tambm a inveno das tangentes s linhas curvas (...)
e questes numricas. Uma introduo aos lugares planos e slidos (...). (p. 195).
45
Fermat foi seletivo nas suas leituras. difcil saber que obras antigas leu,
porque foram poucas as que referiu nos seus escritos. A respeito disto, Mahoney,
refere que se, por exemplo, Fermat leu o tratado, a lgebra, de Clavius (1538-1612)
ou qualquer outro tratado de lgebra dos cosistas53, nunca os mencionou (1994, pp.
26-27). No se sabe se ter lido todo o trabalho de Arquimedes, mas duas das suas
obras so apontadas como lidas, a Quadratura da Parbola e as Espirais. Com efeito,
trabalhando a partir do modelo do matemtico grego explanado sua obra Espirais, com
investigaes das propriedades da curva , Fermat definiu uma nova espiral
R
(Mahoney, 1994, p. 218); tambm podemos constatar das prprias

palavras de Fermat, numa carta dirigida a Roberval, datada de 22 de Setembro de

1636, alegando de que era capaz de quadrar uma infinidade de figuras compostas por
linhas curvas, notando ainda que,
tive que seguir um caminho diferente do de Arquimedes na quadratura da parbola e
nunca a teria resolvido pelos mtodos deste ltimo. Citado em Katz (2010, p. 607).
Pensa-se que Fermat tambm ter respondido a Comentrios de Eutcio

obra Arquimedes, Da Esfera e do Cilindro (Mahoney, 1994, pp. 26-27). Mas, os
trabalhos que mais chamaram a ateno de Fermat, foram os de Apolnio, de Papo e
de Diofanto, embora no no sentido da tradio neoclssica (Mahoney, 1994, p. 27).
Tal como outros matemticos do sculo XVII, Fermat interessou-se pela
restaurao de obras de grandes clssicos de Alexandria. Os Lugares Planos de
Apolnio, os Lugares Slidos de Aristeu (320 a.C.), assim como os Lugares de
Superfcie e os Porismas de Euclides eram quatro dessas obras clssicas, que esto
perdidas, mas a que feita referncia no livro VII da Coleo Matemtica de Papo.
53
Cosistas provm da palavra italiana cosa para a incgnita (Struik, 1997, p. 151). Durante o Renascimento, as designaes regola
dalgebra, ars rei et census e larte della cosa, referiam-se a um vasto conjunto de estratgias e tcnicas para a resoluo de
problemas aritmticos complexos. Estas tcnicas forneciam procedimentos para equacionar problemas (de certo tipo de equaes),
de seguida como reduzir essas equaes a formas cannicas previamente estudadas e, por fim, os passos a seguir para obter
efetivamente nmeros que resolvessem a equao reduzida (Quintera R., 2001, pp. 45-46).
46
Em Fermat temos um dos mais importantes elos na transio da matemtica antiga

para a moderna. A transio resultou em parte da sua leitura de obras antigas duma maneira
que os seus autores nunca pretenderam, e para [obter] informao que, estritamente falando,
elas no continham (Mahoney, 1994, p. 27).
Como j tem sido observado neste trabalho, a falta de ferramentas algbricas

tinha constitudo uma limitao ao estudo dos lugares geomtricos pelos antigos
matemticos gregos. Uma consequncia era a falta de generalidade dos resultados
obtidos. Nos Lugares Planos, por exemplo, Apolnio limitara o seu estudo a um
nmero restrito de problemas, com condies especficas. Com o objetivo de
apresentar um estudo completo e geral dos lugares geomtricos planos e slidos,
Fermat redigiu um breve ensaio intitulado Introduo aos Lugares Planos e Slidos
(em latim, Ad Locus Planos et Solidos Isagoge), contendo um estudo sobre uma
famlia de equaes indeterminadas com duas incgnitas e de grau no superior a 2
(Fig. 7). Usando um mtodo novo, Fermat tentou demonstrar que os lugares
geomtricos que podem ser representados por tais equaes so os lugares
geomtricos planos e slidos.
Fig. 7 Varia Opera Mathematica de Fermat (1679)
Mantendo a simbologia de Vite, Fermat desenvolveu a sua exposio de

forma sistemtica, com base nalgumas proposies dos Dados de Euclides e das
Cnicas de Apolnio. Ao longo desta sua obra, Fermat apresentou com
desenvolvimento as anlises, mas reduziu ao mnimo as respetivas snteses,
47
remetendo-as para o leitor, o que requer que este tenha um considervel

conhecimento da anlise geomtrica grega.
Tanto o simbolismo algbrico como as ferramentas de anlise de Vite
constituram um pilar no desenvolvimento dos trabalhos de Fermat, ao longo de toda a
sua carreira. O cunho do primeiro encontra-se presente tanto no tipo de exposio
como nos padres de pensamento do segundo, a ponto de contemporneos de
Fermat o considerarem um sucessor de Vite.54 Mahoney (1994, p. 26) de opinio
que Vite imbuiu Fermat de uma ento nova tradio matemtica e de uma nova
forma de pesquisa, que determinou o tipo de problemas que escolheu, assim como o
modo de os investigar.
A comunicao cientfica, tanto por cartas como por via da palavra impressa,
na primeira metade do sculo XVII era mais rpida do que no sculo anterior,
facilitando o intercmbio de ideias e de registos entre matemticos, bem como a sua
expanso (Katz, 2010, p. 541); as ideias eram mais facilmente comentadas, criticadas
e desenvolvidas. Fermat mantinha contactos com outros matemticos do seu tempo,
destacando-se, Descartes, Torricelli, Blaire Pascal, Frenicle, Persone Roberval,
Christian Huygens, Pierre Carcavi, Bonaventura Cavalieri, John Wallis e Johan Witt.
Em 1636, Fermat enviou ao Padre Marin Mersenne 55 detalhes manuscritos da sua
Introduo aos Lugares Planos e Slidos, que os ter divulgado na correspondncia
que mantinha com vrios matemticos do tempo. Uma maior divulgao, contudo, teve
de esperar por 1679, com a publicao da Varia Opera Mathematica; nessa altura,
porm, j a verso cartesiana da Geometria Analtica tinha sido adotada pela
generalidade dos matemticos.
Na Introduo aos Lugares Planos e Slidos, Fermat comeou por escrever
uma frase importante, que indica de forma explcita a relao existente entre uma
equao indeterminada em duas variveis e um lugar geomtrico:
Sempre que numa igualdade final se encontram duas quantidades desconhecidas
[incgnitas], tem-se um lugar geomtrico, e a extremidade de uma delas descreve uma linha
reta ou uma curva. (Tannery, 1896, p. 86).
54
J. Chapelain escreveu a Christian Huygens, a respeito de Fermat: I do not think you would want to neglect such an important
man, who represents for us a second Vite. citado em Mahoney (1994, p. 26)
55
Mersenne desempenhou um papel fundamental na disseminao das novidades cientficas na primeira metade do sculo XVII, na
medida em que encorajava os cientistas a exporem, por troca de correspondncias, as suas ideias. Neste sentido contribuiu, em larga
medida, para o desenvolvimento de uma cincia que podia eventualmente correr o risco de permanecer oculta nos manuscritos de
cada matemtico (Mahoney, 1994), (Struik, 1997, p. 169) e (Katz, 2010, p. 548).
48
Para Boyer, esta frase constitui uma das afirmaes com mais significado na Histria
da Matemtica (1956, p. 75) e corresponde a um princpio fundamental da
Geometria Analtica (1994, p. 253). Para Mahoney, ela incorpora tanto uma tcnica
como uma afirmao, em que a tcnica consiste na aplicao da lgebra aos
problemas de lugares geomtricos e a afirmao uma igualdade final com duas
incgnitas determina um lugar geomtrico (1994. p. 78). A igualdade final referida por
Fermat consiste na equao na sua forma mais simples, isto , depois de aplicadas as
regras da arte de Vite para a sua reduo referida forma. A igualdade final contm
todas as informaes necessrias para determinar inequivocamente o lugar
geomtrico.
Fermat fez uso dum sistema uniaxial, considerando numa reta o semieixo
positivo das abcissas, e no explicitando o semieixo positivo das ordenadas. No usou
abcissas negativas, restrio cuja consequncia se refletiu nas suas construes
geomtricas, no obtendo a visualizao de metade ou mais (por vezes at trs
quartos) do grfico de algumas curvas.
Para a construo do lugar geomtrico, uma vez dada a equao, Fermat
considera a reta NZ (Fig. 8) dada de posio56 e, sobre ela, o ponto N tambm dado
de posio, ou seja, fixo. Sobre a reta NZ , toma-se o segmento de reta NZ , cuja
extremidade N est fixa, enquanto a extremidade Z varia; portanto, o seu
comprimento varia com Z . Fazendo NZ igual varivel A , e com um ngulo fixo
(normalmente reto) entre NZ e ZI , toma-se o segmento de reta ZI igual outra
varivel, E , de maneira que os dois valores correspondentes de A e de E
satisfaam a equao dada. O extremo I deste segmento de reta descreve o lugar
geomtrico, com a variao das grandezas A e E .
Fig. 8 Referencial de Fermat
56
A expresso dada de posio, constante nos Dados de Euclides, em terminologia clssica significa que o ente em causa no
sofre qualquer alterao (rotao, translao, simetria axial, ) relativamente sua posio inicial.
49
Com o objetivo de estabelecer a correspondncia com os lugares geomtricos

planos e slidos, Fermat divide a famlia das equaes indeterminadas com duas
incgnitas at ao 2 grau em sete subfamlias:
(I)
ax by
(reta)
(II)
xy b
(hiprbole)
(III)
A razo entre x 2 xy e y 2 constante
(retas)
(IV)
x 2 ay
(parbola)
(V)
b2 x2 y 2
(crculo)
(VI)
A razo entre b 2 x 2 e y 2 constante
(elipse)
(VII)
A razo entre b 2 x 2 e y 2 constante
(hiprbole)
Sero aqui analisados estes sete casos, embora por uma ordem diferente da
adotada por Fermat, de equaes simples que representam de retas, crculos,
parbolas, elipses e hiprboles. Obviamente, eles no esgotam todas as equaes da
forma geral Ax 2 By 2 Cxy Dx Ey F 0 (mesmo que se considerasse a
simplificao trivial A 1 ); sem fazer um estudo sistemtico, Fermat menciona
ocasionalmente outras equaes, que podem ser reduzidas quelas atravs de
mudanas de varivel, e que sero tambm apresentadas.
Com o intuito de simplificar a leitura, ser aqui usada a notao atual, que
essencialmente a cartesiana. Contudo, ao citar diretamente Fermat, ou ao tentar,
nalgum pargrafo, manter o esprito do seu estilo matemtico, ser mantida a sua
notao. Por exemplo, no caso simples da equao linear, que atualmente se
representa por dx by , Fermat escrevia:
D in A aequatur B in E .
Tal como acontece nas obras de Vite, j referido neste trabalho, as
consoantes representam as grandezas dadas (coeficientes) e as vogais representam
as grandezas pedidas (incgnitas). As palavras latinas in e aequatur representam
a operao de multiplicao e a relao de igualdade, respetivamente.
50
2.2.A Introduo aos Lugares Planos e Slidos
2.2.1. Retas
Comecemos por ver o caso mais simples, que o da equao da reta que
passa pela origem (considerada no ponto N ), isto , o caso da equao ax by .
Considere-se a reta NZM (Fig. 9) dada de posio, assim como o ponto N tambm
fixo. Faa-se NZ x e ZI y sendo o ngulo entre ZI e NZ fixo. Ora, se ax by ,
ento o ponto I estar numa reta dada de posio. Com efeito, de ax by tem-se
x b
x
. Desta igualdade resulta que a razo
dada, uma vez que a e b so
y a
y
constantes. Como o ngulo NZI tambm dado, ento o tringulo NIZ dado de
espcie57 e, portanto, dado tambm o ngulo INZ . Uma vez que o ponto N fixo, a
posio da reta NZ fixa e o ngulo INZ tambm fixo, tem-se que a reta NI ser
dada de posio.
Fig. 9 Anlise de retas. Figura extrada de Tannery (1896, p. 86)
Considere-se agora uma equao do tipo A bx cy . Neste caso, o ponto I

encontra-se sobre uma reta dada de posio como MI (Fig. 9), isto , sobre uma reta
que no passa na origem. Fazendo A bd e substituindo na equao anterior, tem-se
bd bx cy , ou ainda
dx c
. Uma vez que a reta NZ e o ponto N so dados de
y
b
posio, fazendo MN d , tem-se que M dado. Observe-se que x d , pelo que o
57
Proposio Dados, 41 de Euclides: Se um tringulo tem um ngulo dado, e se os seus lados em torno deste ngulo tm uma razo
dada, ento o tringulo dado de espcie, isto , a menos de uma semelhana.
51
ponto Z se encontra entre os pontos N e M ; alm disso, tem-se MZ d x . Da

igualdade
dx c
dx
MZ
conclui-se, portanto, que
fixo, ou seja, que a razo
y
b
y
ZI
dada. Como o ngulo em Z dado, conclui-se que o tringulo IZM dado de

espcie, sendo, portanto, tambm dado o ngulo IMZ . Ora, M dado, bem como a
reta MZ , portanto a reta MI dada de posio. Por consequncia o ponto I est
numa reta dada de posio, a saber, a reta MI .
Observe-se que, uma vez que Fermat opera unicamente com variveis
positivas, MI representa apenas um segmento de reta situado no primeiro quadrante
( luz dum sistema de coordenadas atual), com os extremos nos semieixos
coordenados, e no caso anterior NI representava apenas uma semi-recta de origem
N . Fermat faz tambm referncia s equaes x 2 y 2 ,
x2
razo dada
y2
x 2 xy
razo dada , que s contm termos do 2 grau, afirmando que todas elas
y2
representam retas que passam pela origem58.
Fig. 10 Anlise de retas. Figura extrada de Tannery (1896, p. 89)
58
Uma vez que Fermat apenas considera grandezas (quantidades positivas), a equao x 2 y 2 , por exemplo, equivalente a
y x , sendo ignorada a possibilidade y x . E mesmo a equao y x corresponde, neste contexto, apenas a uma semi-recta. Tambm no caso
possibilidade x y
52
x 2 xy
a , Fermat considera a reta de equao
y2
1 4 a 1
.
2
x y
1 4 a 1
2
ignorando a
Suponhamos que o ponto I satisfaz a equao
portanto
x 2 xy
razo dada a ,
y2
NZ 2 NZ ZI
a . Ento todos os pontos intermdios situados em NI
ZI 2
tambm satisfazem a equao.

Seja R um desses pontos e trace-se a paralela RO a NI que interseta NZ no ponto
O (Fig. 10). Pelo teorema de Tales,
NZ ZI
NZ ZI
. Seja
k , k constante.
NO OR
NO OR
Ento NZ k NO e ZI k OR .
NZ 2 NZ ZI k 2 NO 2 k NO k OR NO 2 NO OR
Substituindo, a
, ou
ZI 2
k 2 OR 2
OR 2
NO 2 NO OR
a . Logo o ponto R satisfaz a equao dada.
seja,
OR 2
Fermat acrescenta que a situao idntica para as outras equaes que ns
hoje classificaramos como homogneas do 2 grau:
O mesmo acontecer com quaisquer equaes cujos termos sejam todos afetados dos
quadrados das incgnitas ou do seu retngulo, sendo intil detalhar mais exatamente os casos
particulares. (Tannery, 1896, p. 89).
2.2.2.Crculos
Vejamos agora que, no caso de os eixos serem mutuamente perpendiculares,
2
uma equao que contenha os termos x 2 e y com o mesmo coeficiente (com sinais
iguais se estiverem no mesmo membro, e com sinais contrrios se estiverem em
membros diferentes) representa uma circunferncia.
Fermat comea por considerar a equao b x y . Neste caso, se o
2
ngulo NZI for reto, o ponto I descreve a circunferncia, dada de posio, com o
centro na origem, N , e de raio b (Fig. 11).
53
Fig. 11 Anlise de crculos. Figura extrada de Tannery (1896, p. 91)
Sendo NM b , vem MZ b x . Dado um ponto I sobre a circunferncia, o

correspondente ponto Z encontra-se entre os pontos N e M (isto , x b ) e y
meio proporcional59 entre b x e b x , ou seja,
b x
y
. Desta igualdade resulta
y
bx
a equao y 2 b x b x , ou ainda, y 2 b 2 x 2 . Portanto, sendo I um ponto

qualquer da circunferncia, verifica-se a igualdade ZI 2 NM 2 NZ 2 , ou seja,
y 2 b2 x2 .
Fermat prossegue o seu estudo com a afirmao de que, desde que o ngulo
NZI seja reto, todas as equaes com os termos em x 2 e em y 2 com o mesmo

coeficiente, com ou sem termos em x ou y , podem ser reduzidas forma cannica
anterior, mediante mudanas de variveis. A equao b 2 2dx x 2 y 2 2cy , por
exemplo, transformada adicionando inicialmente c 2 aos dois membros, para que o
segundo se transforme num quadrado, a saber, c 2 b 2 2dx x 2 y c . Definindo
2
p pela igualdade p 2 c 2 b 2 d 2 , possvel reescrever a equao original na forma
p 2 x d y c , que representar a equao cannica dum crculo mediante

2
as mudanas de variveis x x d , y y c .
59
Num tringulo retngulo, a altura relativa hipotenusa meio proporcional entre os segmentos em que o seu p divide a
hipotenusa, conforme se v na proposio Elementos VI, 13 de Euclides. uma consequncia da proposio Elementos VI, 8: Num
tringulo retngulo, a altura relativa hipotenusa divide o tringulo em dois tringulos semelhantes ao tringulo total e semelhantes
entre si.
54
2.2.3.Parbolas
Fermat comea o estudo dos lugares geomtricos que so seces cnicas
pelas equaes x 2 ay , y 2 ax , B x 2 ay
e B x 2 ay , provando que
correspondem a parbolas, as duas primeiras com vrtice na origem, e as outras duas

podendo tomar a posio da primeira por mudana de varivel.
Seja, ento, a equao x 2 ay . Vejamos que, efetuando-se a construo
geomtrica da curva que a representa, o ponto I descreve uma parbola. Considerese a reta NP paralela reta ZI e, com N para vrtice e NP para dimetro,
descreva-se a parbola de parmetro (ou lado reto) a , com as ordenadas paralelas a
NZ (Fig. 12 curva a contnuo). Esta parbola dada de posio. Dado um ponto

I est sobre ela, uma vez que a o lado reto, tem-se a NP PI 2 , ou ainda
a IZ NZ 2 e, portanto, ay x 2 .
Fig. 12 Anlise de parbolas. Figura extrada de Tannery (1896, p. 90)
A brevidade do argumento de Fermat revela que o matemtico francs partia,

naturalmente, do princpio que os seus leitores estavam familiarizados com as Cnicas
de Apolnio, uma vez que no d nenhuma explicao nem faz referncia quela obra
clssica. Neste caso, a construo de Apolnio mostrava que o retngulo contido por
a e NP era igual ao quadrado sobre PI , sendo esta afirmao traduzida

2
algebricamente pela equao ay x .
2
Relativamente construo da curva representada pela equao y ax , toma-
se o mesmo vrtice, e, neste caso, NZ para dimetro (Fig. 12 curva a tracejado);

constri-se a parbola de lado reto a cujas ordenadas sejam paralelas a NP .
55
Verifica-se que, nestas condies, a parbola satisfaz a equao dada, pois verifica a
igualdade a NZ IZ 2 .
Provado que as curvas representadas pelas equaes x 2 ay e y 2 ax
correspondem a parbolas com N para vrtice e NP e NZ para dimetros,
respetivamente, Fermat prossegue o seu estudo com a equao B x 2 ay . Neste
caso, o ponto I encontra-se sobre uma parbola de vrtice diferente do ponto N
(origem). Com efeito, dividindo B por a tem-se B ar , pelo que a equao
B x 2 ay toma a forma ar ay x 2 , ou ainda a(r y) x 2 , que pode ser reduzida

forma cannica, substituindo r y por y . Para a sua construo geomtrica,
complete-se o retngulo MOZN , com MN r (Fig. 13); tem-se que o ponto M dado,
bem como a posio do segmento de reta MO . Observe-se que r y , pelo que o
ponto I se encontra entre os pontos Z e O , e resulta que OI r y . De
a(r y) x 2 , tira-se que a OI NZ 2 MO 2 . Portanto, o ponto I pertence

parbola de vrtice M , eixo MN e lado reto a .
Fig. 13 Anlise de parbolas. Figura extrada de Tannery (1896, p. 90)
Fermat conclui o seu estudo sobre as parbolas, referindo que a construo

2
geomtrica da curva representada pela equao B x ay idntica, remetendo-a
para o leitor, tal como com todas as outras equaes equivalentes. Como bvio, esta
2
equao pode ser reduzida forma cannica ay x mediante a mudana de varivel
y y r ; ter-se- neste caso y r e, na construo geomtrica da curva, o ponto O

encontrar-se- entre os pontos Z e I .
56
2.2.4.Hiprboles
Dando seguimento ao estudo dos lugares slidos, veremos que Fermat prova
que as equaes xy A , A xy bx cy e
b2 x2
a , sendo a uma razo dada,
y2
correspondem a hiprboles.
Considere-se a equao xy A . Ento, o ponto I encontra-se sobre uma
hiprbole. Para proceder sua construo geomtrica, considere-se NR paralela a
ZI (Fig. 14). Por um ponto qualquer M de NZ , trace-se MO paralela a NR .

Aplicando a rea A ao segmento de reta NM , encontra-se o segmento de reta MO
de modo que NM MO A , isto , o retngulo NMO tenha rea A . Com as
assntotas NR e NM , e passando pelo ponto O , descreve-se uma hiprbole, que
nica nestas condies. Esta hiprbole passar tambm pelo ponto I , uma vez que a
rea do retngulo NZI igual rea do retngulo NMO . Portanto, xy A .
Fig. 14 Anlise de hiprboles. Figura extrada de Tannery (1896, p. 87)
Conclui-se, portanto, que a equao reduzida da forma xy a corresponde a uma

hiprbole dada de posio.
Fermat acrescenta que todas as equaes constitudas por termos constantes,
em x , em y e em xy , podem ser reduzidas equao anterior.
Por exemplo, considere-se a equao A xy bx cy . O ponto I descreve
uma hiprbole de assntotas PV e VO (Fig. 15). Da equao A xy bx cy resulta
( x c)(b y) A bc , que representa um retngulo de lados x c e b y com rea

A bc . Trace-se ND paralela a ZI e faa-se ND b ; seja O um ponto do semieixo
NZ tal que NO c . Complete-se o retngulo NDPZ e pelo ponto O trace-se OV

57
paralela a ND . Sendo NO c e NZ x , tem-se OZ VP x c . Supomos, como

na figura, x c e b y , pelo que o ponto O se encontra entre N e Z , e I se
encontra entre Z e P . Tem-se que ZP ND b e que PI b y . Portanto,
PI PV A bc , concluindo-se que o ponto I est sobre uma hiprbole de

assntotas VP e VO .
Fermat acrescenta que, se por um ponto X qualquer de VP traarmos uma paralela

a ZI e sobre ela marcarmos um ponto Y tal que o retngulo VXY seja igual a
A bc , ento os pontos Y e I esto sobre a mesma hiprbole de assntotas PV e
VO . Assim, fica demonstrado que a curva que corresponde equao

A xy bx cy uma hiprbole.
Vejamos agora, que a equao
B x2
razo dada a , que contm termos em x 2 e
y2
em y 2 , representa tambm uma hiprbole. Traa-se NO paralelamente a ZI e

marca-se o ponto R de tal modo que a
B
(Fig.16). Tomando N como centro, R
NR 2
como vrtice e RO como dimetro, considere-se a hiprbole cujas ordenadas so

paralelas a NZ e tal que, para um ponto I de abcissa NO e ordenada OI , se tenha
RO 2 RO MR NR 2
, sendo MN NR e MR o dimetro total.
B
OI 2
58
Esta igualdade pode tomar a forma
obtm
60
RO OM NR 2
61
B donde, componendo , se
OI 2
y2
NR 2
RO OM RN 2 NR 2
62
,
ou
ainda
.
B
B
OI 2 B
x2 B
Convertendo 63
y2
NR 2
x2 B
B
,
obtm-se
a , ou ainda a equao
2
2
B
x B
y
NR 2
x2 B
a , concluindo-se, assim, que ponto I da hiprbole pertence ao lugar
y2
geomtrico determinado por esta ltima equao.
Tem interesse relembrar que ao longo deste estudo, a Introduo aos Lugares
Planos e Slidos, Fermat nunca menciona qualquer proposio que tenha utilizado,
quer das Cnicas de Apolnio, quer dos Elementos de Euclides, partindo do princpio
que o leitor tem total conhecimento do contedo dessas obras.
O matemtico francs conclui o estudo sobre as hiprboles referindo que podem
ser reduzidas a esta equao todas as que forem constitudas por termos em x 2 e em
y 2 adicionados de termos dados ou de termos em x ou y , desde que x 2 e y 2 se

encontrem em membros diferentes e tenham o mesmo sinal; pois, se tiverem sinais
contrrios, teremos um crculo ou uma elipse.
RO MR RO ( RO MR) RO OM .
60
Uma vez que RO
61
Proposio Elementos V,12 de Euclides:
62
Pela
proposio
RO OM RN
2
OI B
63
Elementos
II,6
a c
ac c

b d
bd d
de
Euclides
RN
RO OM ON
e,
como
ON ZI y
tem-se
2
2
ON
y
.
2
2
OI B
x B
Corolrio da proposio Elementos V,7 de Euclides:
a c
b d

b d
a c
59
2.2.5.Elipses
b2 x2
Dada a equao
a , Fermat prova que a curva por ela representada
y2
uma elipse dada de posio. Procede-se sua construo geomtrica, marcando o
ponto M de tal modo que NM b , e observando que o ponto Z se encontra entre os
pontos N e M e, alm disso, que ZM b x (Fig. 11). Tomando M para um dos
vrtices, NM para dimetro e N para centro, construa-se a elipse cujas ordenadas
so paralelas a ZI e tal que
um
ponto
IZ 2
1
64
, sendo P o outro vrtice da elipse . Dado
ZP ZM a
situado
sobre
esta
elipse,
ZM ZP ( NM NZ ) ( NM NZ ) NM 2 NZ 2 b 2 x 2 . Portanto,
convertendo,
ter-se-
que
y2
1
, e,
2
2
a
b x
b2 x2
a , que representa a equao da elipse assim construda.
y2
Sero reduzidas a esta equao todas aquelas em que x 2 e y 2 se encontrem

em membros diferentes, com coeficientes diferentes e sinais contrrios. Fermat,
acrescenta ainda que, se os coeficientes forem iguais, ento teremos um crculo se o
ngulo for reto, e uma elipse se o ngulo no for reto.
Fermat prossegue o seu estudo com a equao b 2 2 x 2 2 xy y 2 , que
considera ser a mais difcil. Nela figuram termos em x 2 e y 2 em membros diferentes,
com coeficientes diferentes e com sinais contrrios, alm de um termo constante e de
um termo em xy . Recorrendo a uma mudana de varivel, Fermat prova que a sua
curva uma elipse. Adicionando x 2 a ambos os membros, obtm-se a igualdade
b 2 x 2 ( x y) 2 . Efetuando a mudana de varivel x y y , obtm-se o crculo MI

de centro N e raio b (Fig. 17), sendo MN b , NZ x e ZI x y , uma vez que se
tem MN 2 NZ 2 ZI 2 , alm de o ngulo NZI ser reto. Mas, neste problema, tal como
em todos os anteriores, pretende-se encontrar o lugar geomtrico descrito pela
extremidade da varivel y . Com este objetivo, Fermat traa uma reta paralelamente a
ZI , na qual toma um ponto M tal que MR MN b ; de seguida traa NR e prolonga
64
Dada uma elipse, constante o quociente entre o quadrado das ordenadas e o retngulo dos segmentos do dimetro.
60
ZI at encontrar NR no ponto O . Tem-se ZO NZ x e, marcando V sobre OI de

tal modo que OV ZI x y , resulta ZV y .
Fig. 17 Anlise de elipses. Figura extrada de Tannery (1896, p. 94)
H ainda que demonstrar que o extremo V do segmento de reta OV descreve uma

elipse, com respeito ao semieixo NO , em que as abcissas (como NO ) e as ordenadas
(como OV ) formam claramente um ngulo de 45. Como o tringulo NMR dado de
espcie 65 , a razo
tambm
66
NM 2
NM 2 NZ 2
dada;
seja
ela
.
Ento
k
k e, portanto,
NR 2
NR 2 NO 2
NM 2 NZ 2
k . Mas, como NM 2 NZ 2 ZI 2 VO 2 , temos que
2
2
NR NO
VO 2
k . Uma vez que tanto os pontos N e R como o ngulo NOV so dados,
NR 2 NO 2
Fermat conclui, sem mais explicaes, que o ponto V est sobre uma elipse.
De facto, considere-se o ponto P de tal modo que N seja o ponto mdio de
PR . Como NR 2 NO 2 NR NO NR NO OR OP , obtm-se
VO 2
k ;
OR OP
portanto, o ponto V est sobre uma elipse de vrtices R e P (e OR e OP so os dois

segmentos do dimetro da elipse).
Se efetuarmos a mudana de varivel67 NO u x 2 e OV v x y , teremos
u
u
e y v
. Substituindo na equao b2 x 2 ( x y) 2 obtm-se ento
2
2
65
Tal como em casos anteriores, trata-se da proposio Dados, 41 de Euclides.
66
Proposio Elementos V, 19 de Euclides:
67
Pelo Teorema de Pitgoras,
a c
ac c

b d
bd d
NO 2 2x 2 .
61
b2
u2
v 2 , ou ainda, 2b 2 u 2 2v 2 , que representa a equao da elipse, de vrtices
2
R e P.
Fermat conclui o seu estudo referente s elipses acrescentando que, por um
processo anlogo, sero conduzidas aos casos precedentes todas as equaes que
contenham os termos: em xy , dados, em x 2 e y 2 e, em x ou y . Acrescenta, ainda,
que a discusso destes casos fcil e que a sua resoluo ser, sempre, feita atravs
de um tringulo conhecido de espcie.
2.2.6.Um exemplo de aplicao

Aps este seu estudo, Fermat escreve que foram, aqui, analisados todos os
casos sobre os lugares planos e slidos que no tinham sido explicados pelos seus
antecessores. E acrescenta que, por conseguinte, reconhecer-se-o de imediato quais
os lugares includos nos diversos casos da ltima proposio do livro I dos Lugares
Planos de Apolnio, e descobrir-se-, sem grande dificuldade, uma generalizao de
tudo o que faa parte desta matria.
Nesse sentido, depois de ter determinado o lugar geomtrico correspondente a
qualquer equao quadrtica com duas variveis e mostrar que tinha que ser uma reta,
um crculo, ou uma seco cnica, Fermat observou que podia aplicar os seus
mtodos proposio seguinte, deixando, contudo, a resoluo para o leitor:
Se, retas forem dadas de posio em qualquer nmero, e se para cada uma for traada
uma reta sob um ngulo dado a partir dum mesmo ponto, se a soma dos quadrados das retas
assim traadas por retas dadas for igual a uma rea dada, ento o ponto a partir do qual elas
se traam estar sobre um lugar slido dado de posio. (Tannery, 1896, p. 95).
Esta proposio, segundo Mahoney (1994, p. 91) a generalizao da verso
do lugar das trs e quatro retas, referido no captulo anterior, problema enunciado por
Papo no seu comentrio Cnicas de Apolnio, e a que Descartes se dedicou,
encontrando uma generalizao que se encontra na sua Geometria.
Contudo, no o problema de Apolnio e Papo que Fermat resolve, para ilustrar
o seu mtodo de estudo dos lugares geomtricos. Com este objetivo, Fermat utiliza
62
este seu ltimo exemplo. Considerando-se dois pontos, N e M , pretende-se

encontrar o lugar dos pontos I tais que, traando os segmentos de retas IN e IM , a
razo entre a soma dos seus quadrados e a rea do tringulo INM seja dada, ou seja,
IN 2 IM 2
r , onde r a razo dada. (Fig. 18).
tringulo INM
Seja NM b e considere-se ZI y , NZ x , assim como o ngulo NZI reto.
2 x 2 2 y 2 2bx b 2 r
, que, como
by
2
Aplicando as regras da arte de Vite, obtm-se
se viu na seco 2.2.2, representa uma circunferncia.68

.
Fig. 18 Anlise de um caso particular. Figura extrada de Tannery (1896, p. 94)
Fermat passa, sem mais explicaes, construo do lugar geomtrico. Seja Z

o ponto mdio 69 do segmento de reta NM e trace-se uma perpendicular a este
segmento de reta por Z e, sobre ela, marque-se um ponto V de tal modo que
4ZV r
. Descreva-se o semicrculo VOZ , considere-se ZO ZM e traa-se ZO . De
NM 2
seguida, com centro V e raio VO traa-se o crculo OIR . Fermat afirma que, dado um
ponto qualquer R do crculo, a razo entre RN 2 RM 2 e o tringulo RNM igual
razo dada, r . O leitor atual no tem dificuldade de verificar, no s que o centro do
crculo efetivamente o ponto V , mas tambm que, em virtude de ZV
68
De
facto,
esta
equao
equivalente
2 x 2 y 2bx b
bry
ou
br
, de
8
ainda
b
x
2
69
br
8
br

8
Nesta construo, a letra Z passa a designar um ponto fixo, e no a abcissa varivel do ponto I que descreve o lugar geomtrico,
como anteriormente acontecia.
63
ZO ZM
b
, e de o ngulo ZOV ser reto, o raio VO do crculo corresponde de facto
2
ao valor indicado pela equao.

Podemos observar que esto presentes na Introduo aos lugares Planos e
Slidos elementos bsicos que constituem o ramo da Matemtica que hoje
denominamos Geometria Analtica. Logo desde incio Fermat exps claramente o
princpio de que uma equao com duas incgnitas uma expresso algbrica que
traduz as propriedades de uma curva no plano e o seu trabalho est orientado no
desenvolvimento e aplicao desta frutfera ideia. Partindo de uma equao algbrica,
o autor constri o lugar geomtrico correspondente, ou seja, a curva com as
propriedades geomtricas adequadas. Apenas com base em proposies contidas nos
Elementos e nos Dados de Euclides e nas Cnicas de Apolnio fica estabelecida na
Introduo aos lugares Planos e Slidos a correspondncia entre os diversos tipos de
equaes algbricas de grau no superior a 2, e diversos tipos de lugares planos e
slidos (isto , retas, circunferncias e cnicas). Pensamos ser possvel afirmar que
este estudo dos lugares geomtricos, permitiu a Fermat converter a Anlise
geomtrica dos gregos em Anlise algbrica por ao da lgebra simblica da Arte
Analtica de Vite. Tal feito, como se ir observar, foi tambm alcanado por Descartes.
64
Captulo 3
A Geometria Analtica de Descartes
3.1.Apresentao
Descartes exps a sua conceo de Geometria Analtica na Gomtrie,
tratado publicado em 1637. Esta obra considerada um marco importantssimo na
Histria da Matemtica, ao ponto de Descartes ser considerado por alguns
historiadores, o inventor da Geometria Analtica (Urbaneja, 3003, p. 7); ou ser, em
concorrncia com Fermat, o coinventor (Garbi, 2009, p. 70).
A Geometria, com cerca de cem pginas, est dividida em trs livros: o
primeiro livro trata dos problemas que se podem construir utilizando apenas crculos
e linhas retas (Smith 1954, p. 2), o segundo estuda a natureza das linhas curvas
(Smith 1954, p. 40) e o terceiro debrua-se sobre a construo dos problemas slidos
ou mais que slidos (Smith 1954, p. 152). A Geometria no foi apresentada como um
tratado isolado, mas como um dos trs apndices70 do Discours de la Mthode por
Bien Conduire sa Raison et Chercher la Vrit dans les Sciences (Discurso do Mtodo
para Bem Conduzir a Razo e Procurar a Verdade nas Cincias), o qual contm
ilustraes do mtodo filosfico geral de Descartes. Ao escrever a Geometria, este
notvel filsofo conseguiu mostrar ser possvel a aplicao investigao geomtrica
dos princpios e mtodos de raciocnio discutidos no seu Discurso do Mtodo. Na
segunda parte do prefcio deste tratado, tambm conhecido por discurso sobre a
razo (Struik, 1997, p. 162), publicado em Leyden em 1637, Descartes expe a sua
conceo racionalista do estudo da natureza, enumerando quatro princpios
fundamentais do seu mtodo (filosfico), inspirado no rigor matemtico. A primeira das
suas quatro regras era a do primado da evidncia, que consistia em adotar uma
dvida metdica, evitando tanto os pr-conceitos como as concluses precipitadas, s
aceitando como verdadeiro o que se apresentasse ao esprito, clara e distintamente,
com evidncia. Outra regra, a regra da anlise, apontava em decompor os problemas
70
Os outros dois apndices do Discurso do Mtodo so La Dioptrique e Les Mtores.
65
no maior nmero possvel de parcelas ou etapas simples, reduzindo a complexidade

simplicidade dos seus elementos. A terceira regra (regra da sntese ou regra da ordem
ou deduo) tinha como objetivo ordenar aquelas parcelas ou pensamentos
comeando
pelos
mais
simples
fceis
de
conhecer,
estabelecendo
progressivamente a veracidade das etapas ou degraus mais baixos de modo a

ascender demonstrao ou conhecimento global do problema ou coisa proposta. A
quarta e ltima regra de pensamento (regra da enumerao ou induo) constava de
fazer enumeraes completas e revises gerais por forma a nada omitir que possa
clarificar-se ou provar-se com a evidncia alcanada (Lopes, 2001, p. III-IV).
Descartes cultivou uma reputao internacional que foi aumentando com a
publicao de vrias outras obras filosficas, alm do seu Discurso (Katz, 2010, p.
548). O caminho da Filosofia para a Matemtica foi natural. Descartes procurava um
mtodo geral de pensamento capaz de facilitar as descobertas e encontrar as
verdades nas cincias (Struik, 1997, p. 162). Uma vez que as cincias da Natureza
ento mais conhecidas com algum grau de coerncia sistemtica eram a Astronomia e
a Mecnica, e que a forma para a sua compreenso era a Matemtica, ento esta
cincia, com as suas rigorosas proposies, tornava-se o mais importante veculo de
compreenso do universo (Struik, 1997, p. 165). O interesse de Descartes pela
Matemtica no foi s pela prpria Matemtica, mas sim, como Plato na Antiguidade,
como Pascal (1623-1662) e como Leibniz (1646-1716), encontrar naquela cincia um
modelo de raciocnio que se pudesse aplicar em todos os estudos e com toda a
generalidade.
O mtodo de Descartes era racionalista; segundo este filsofo, os sentidos
enganavam-nos e as suas indicaes eram confusas e pouco exatas, s as ideias
provenientes da razo que eram claras e distintas. Sendo que, a evidncia de que
Descartes partia no era, de modo algum, a evidncia sensvel e emprica; o ato da
razo que percebia diretamente os primeiros princpios era a intuio. A deduo
limitava-se a veicular, ao longo das belas cadeias da razo, a evidncia intuitiva das
"naturezas simples". A deduo nada mais era do que uma intuio continuada.
Na regra XIV da obra Regras para a Direo do Esprito, Descartes refere que
o seu mtodo no foi criado para resolver problemas de Matemtica: era preciso
aprender Matemtica para cultivar o esprito. Neste sentido, pode-se afirmar que a sua
inteno ao utilizar a Matemtica, era a de habituar seu esprito s verdades, no se
contentando com falsas razes. S a matemtica apresentava raciocnios rigorosos, e
66
portanto, quando o esprito estivesse habituado aos raciocnios matemticos, estaria

preparado para a pesquisa de outras verdades (Katz, 2010, p. 548).
Descartes escreveu a Geometria como uma aplicao do seu mtodo geral de
unificao racionalista do saber. neste contexto que surge o projeto de unir a
lgebra com a Geometria.
(...) a publicao de La Gomtrie (1637), de Descartes, colocou todo o campo da geometria
clssica no domnio de ao dos algebristas. (Struik 1997, p. 162).
de um modo geral aceite que esta obra contm um conjunto de elementos

favorveis criao da Geometria Analtica. Contudo, na opinio de Struik,
verdade que este ramo da matemtica se desenvolveu sob a influncia do livro de
Descartes, mas dificilmente La Gomtrie pode ser considerada um primeiro texto sobre este
assunto. No existem a, explicitamente, eixos cartesianos e no so deduzidas equaes da
linha reta e das seces cnicas, embora haja algumas equaes do segundo grau que so
interpretadas como representativas de seces cnicas. (1997, p. 165).
Geometria cartesiana agora sinnimo de Geometria Analtica, contudo, na

opinio de Boyer (1997, p. 247) o objetivo fundamental de Descartes foi diferente da
dos atuais textos. O primeiro livro da Geometria comea com a seguinte frase:
Todos os problemas da Geometria podem reduzir-se facilmente a termos tais que
desnecessrio conhecer de antemo mais do que o comprimento de algumas linhas retas para
constru-los. (Smith, 1954, p. 2).
Esta afirmao indica que se trata duma obra sobre a construo de problemas
geomtricos, e no necessariamente duma reduo da Geometria lgebra. A
Geometria por vezes descrita apenas como uma aplicao da lgebra Geometria,
mas segundo Boyer pode tambm ser igualmente encarado como a traduo de
operaes algbricas em linguagem geomtrica (1997, p. 247), pois Descartes
descreve as duas primeiras seces do livro I como o clculo da aritmtica se relaciona
com as operaes da geometria (Smith, 1954, p. 3) e (...) introduzir estes termos de
aritmtica [a adio, a subtrao, a multiplicao, a diviso e a extrao de razes] em
67
geometria(...) (Smith, 1954, p. 5). Mas, posteriormente, Boyer acrescenta que

praticamente toda La Gomtrie est dedicada a uma completa aplicao da lgebra
Geometria e da Geometria lgebra (1997, p. 251). Basta observarmos que os
outros dois livros contemplam, no geral, um estudo intensivo de curvas na forma
algbrica, bem como a representao grfica das suas razes.
Dando seguimento ao estudo das curvas iniciado na Antiguidade pelos
matemticos gregos, Descartes considerou novas classes de curvas construdas por
simples movimentos, referindo-se como curvas traadas por algum movimento
contnuo gerado por certas mquinas (Katz, 2010, p. 552), s quais possvel
associar uma equao algbrica. Hoje, no totalmente claro a forma como Descartes
decidiu quais as curvas que fazem parte da sua terminologia, mas deu exemplos de
instrumentos que permitem desenhar tais curvas (Fig. 19). Afastou-se do conceito dos
gregos de que existiam apenas trs tipos de curvas: as que podiam ser construdas
com rgua e compasso, ou seja, retas e crculos (lugares planos), as cnicas (ou
lugares slidos), e as que requerem na sua construo linhas diferentes das
anteriores, isto , mais compostas (Smith, 2010, p. 40). Ao contrrio dos gregos,
que com base no mtodo cinemtico agruparam todas as curvas como a quadratriz, a
cissoide, a concoide e a espiral num conjunto que exigiam na sua construo
instrumentos mais complicados do que a simples rgua no graduada e o compasso,
Descartes fez uma criteriosa distino, aceitando a cissoide e a concoide como curvas
algbricas e rejeitando as restantes. Assim, tomando por geomtrico o que preciso e
exato e por mecnico o que no (Smith, 1954, p. 43), deu reconhecimento geomtrico
s curvas como a reta, o crculo, as cnicas, a cissoide e a concoide, designando-as
por curvas geomtricas, pois podem ser descritas por um movimento contnuo, ou por
vrios que se sucedem (...); por este meio se pode sempre ter um conhecimento exato da sua
medida (Smith, 1954, p. 43). E afirmou, sem contudo estar em condies de fornecer
uma demonstrao, que a elas era associada uma equao algbrica:
E de qualquer outra maneira que se imagina o traado de uma linha curva, sempre que
seja do nmero das que eu chamo Geomtricas poder-se- encontrar, invariavelmente, do
mesmo modo, uma equao para determinar os seus pontos. (Smith 1954, p. 56).
s restantes curvas, que excluiu da sua Geometria, deu o nome de curvas

mecnicas, pois podiam imaginar-se descritas por dois movimentos separados cuja
relao no admitia determinao exata, ou seja, escreveu Descartes, em virtude de
68
poderem imaginar-se descritas por dois movimentos que no tm entre si nenhuma relao
que possa medir-se exatamente (Smith, 1954, 43).
Fig. 19 Instrumento para traar curvas de Descartes. Figura extrada de Smith (1954, p. 50)
Os trs problemas clssicos constituram, desde a antiga Grcia, um desafio

constante para obteno das suas solues. A impossibilidade das suas construes
geomtricas recorrendo unicamente rgua e ao compasso estimulou os matemticos
na inveno de novos objetos e procedimentos de resoluo.
A principal preocupao de Descartes na Geometria foi a construo de pontos
que fossem a soluo de problemas geomtricos e segundo a necessidade de
esclarecer que tipo de curvas eram legtimas numa tal construo estava implcita no
seu trabalho (Katz 2010, p. 551). Definiu essas curvas baseado nos primeiros trs
postulados dos Elementos de Euclides71 e tambm na sua afirmao de que duas ou
mais linhas podem ser movidas, uma sobre a outra, determinando atravs da sua interseco
outras curvas (Smith 1954, p. 43), aquelas que considerou de curvas geomtricas.
Como j foi referido no presente trabalho, a Geometria de Descartes tal

como a Isagoge de Fermat, tm subjacente a ideia de relacionar a lgebra com a
Geometria. Enquanto o segundo autor provou esta relao atravs do estudo de
lugares geomtricos, Descartes preocupou-se mais em demonstr-la atravs da
construo geomtrica de solues para as equaes algbricas. Observe-se que, ao
contrrio da Matemtica da antiga Grcia, a Geometria Analtica de Descartes permitiu
a construo geomtrica das solues de problemas que envolviam equaes de grau
superior a trs.
71
Estes postulados so a base das construes com rgua e compasso, muitas vezes designadas por construes euclidianas. Nos
Elementos de Euclides no se menciona o compasso ou quaisquer outros instrumentos, Euclides simplesmente assume que linhas
retas podem ser construdas dados dois pontos, e que uma circunferncia pode ser construda dado o seu centro e passando por um
outro ponto.
69
Um dos objetivos deste captulo visa a tentativa de nos familiarizarmos mais

com o mtodo cartesiano de Descartes. Neste sentido, sero feitas algumas das suas
construes, que contriburam, mais tarde, para a resoluo de problemas
geomtricos, nunca resolvidos pelos seus antecessores.
O tratado comea por uma aritmetizao dos segmentos de reta. Por analogia
com a Aritmtica (cincia dos nmeros naturais), Descartes introduziu cinco operaes
elementares na Geometria: adio, subtrao, multiplicao, diviso, e extrao de
razes quadradas. Para tal, necessitou de introduzir um segmento de reta unitrio,
chamado a desempenhar um papel anlogo ao representado pelo nmero 1 na
Aritmtica. As operaes de adio e subtrao de segmentos de reta no oferecem
qualquer dificuldade mesmo no mbito da Geometria antiga. Por isso, veremos apenas
as construes dos trs restantes. Para as realizar, Descartes usou, apenas, rgua
no graduada e compasso. Ao falarmos em construes com rgua e compasso,
estamos a falar, como j aqui foi referido, dos trs primeiros postulados de Euclides.
Ao introduzir o segmento de reta unitrio, com o objetivo de aritmetizar os
segmentos de reta, Descartes tornou possvel e deu significado a muitos problemas
que tinham sido intransponveis para os gregos
72
. Para estes, uma varivel
correspondia ao comprimento de um segmento, o produto de duas variveis rea de

algum retngulo e o produto de trs variveis ao volume de algum paraleleppedo
retngulo, interpretando os problemas geomtricos apenas at terceira dimenso.
Uma vez feita a escolha de um segmento unitrio, o produto de segmentos de reta
continua a ser um segmento de reta; o mesmo se pode afirmar em relao ao
quociente de dois quaisquer segmentos ou da raiz quadrada (ou de maior ndice) de
qualquer segmento de reta. Para Descartes, x 2 no sugeria uma rea, mas sim o
quarto proporcional da proporo
1
x
2 , sendo representado por um segmento de
x x
reta fcil de construir, quando se conhece x .

Descartes foi o matemtico, que na sua poca, introduziu uma nova simbologia
que permitiu um avano no campo da notao. Usou para parmetros as primeiras
letras do alfabeto, e as do fim para as incgnitas, contudo, o smbolo da igualdade ter
sido o smbolo mais arcaico da sua obra. Escreveu a b para a soma de dois
segmentos de comprimentos a e b , a b para a diferena, a b para o produto,
72
Descartes libertou-se do princpio da homogeneidade, que dominava a matemtica desde a antiguidade.
70
a
b
para o quociente, aa ou a 2 para multiplicar a por si prprio, a 3 para o multiplicar

novamente por a , e assim sucessivamente. Escreveu
de a 2 b 2 e
a 2 b 2 para a raiz quadrada
C.a 3 b 3 abb para a raiz cbica de a 3 b 3 abb , assim outras.
Apesar de ter ultrapassado o conceito de homogeneidade, conservado pelos gregos

durante sculos, Descartes no deixou de o ter em pensamento ao considerar que,
para se efetuar todas estas operaes, necessrio que se mantenha a mesma
dimenso entra os vrios termos que as compem, mesmo quando a unidade no
estiver presente. Veja-se, em C.a 3 b 3 abb , a 3 tem a mesma dimenso de abb e
de b 3 . Mas, quando tal no acontece, a unidade (determinada previamente) pode ser
considerada em qualquer operao, por exemplo ao extrair a raiz cbica de aabb b ,
subentende-se que a quantidade aabb b est dividida pela unidade, enquanto que b
est multiplicada duas vezes pela mesma, isto , ter aabb b significa ter
aabb
buu ,
u
sendo u a unidade.
A natureza da Geometria grega, na qual s se concebia a comparao de
grandezas da mesma espcie73, obrigou os antigos a cumprirem escrupulosamente a
homogeneidade entre os termos duma equao, pelo que o grau de cada termo
(obtido eventualmente pela multiplicao de quantidades dadas por quantidades
desconhecidas) devia ser igual ao dos restantes. Neste sentido, a condio de
homogeneidade dos polinmios era respeitada se todas as grandezas que
interviessem na relao fossem designadas por letras, e tal procedimento, como j foi
referido anteriormente, oferecia limitaes. Com a algebrizao dos segmentos de reta
e a introduo do segmento de reta unitrio, Descartes deu o passo mais importante
da sua poca, renunciando ao princpio geomtrico da homogeneidade, e
subentendendo, numa equao, a diviso ou a multiplicao de cada termo pela
unidade quantas vezes se queira.
Cest cette remarque qui a sans doute provoqu la naissance de la Gomtrie
Analytique qui nst que lart de donner une signification gomtrique des polynmes non
homognes et donc concevoir en gnral la notion de polynme algbrique. (Vuillemin,
1987, p. 171).
73
Onde retas s podiam ser comparadas a retas, quadrados a quadrados, planos a planos, slidos a slidos, superslidos a
superslidos, etc.
71
3.2.Aritmetizao dos segmentos de reta

Consideremos o segmento de reta, AB , que tomamos como sendo unitrio.
Para definir o produto de dois segmentos de reta de comprimentos a e b , Descartes
considera-se duas semi-rectas (Fig. 20) com a mesma origem em B , e marca numa
delas o segmento unitrio AB . De seguida marca-se sobre elas os segmentos de reta
BD e BC de comprimentos a e b , respetivamente. Une-se os pontos A e C , e por

D traa uma reta paralela reta AC , que intersecta a outra semi-recta em E . Pelo
Teorema de Tales 74 tem-se que
AB BD
. Uma vez que AB 1 , conclui-se que

BC BE
BE BD BC .
Fig. 20 Multiplicao e diviso. Figura extrada de Smith (1954, p. 4)
Portanto, so dados o segmento de reta u unitrio e os segmentos de reta a e
b cujo produto se procura. Se chamarmos x ao quarto proporcional dos segmentos de

reta u , a e b , isto , ao segmento de reta x tal que
u b
, ento temos x.u a.b .
a x
Ora, como u a unidade, esta igualdade pode escrever-se apenas como x.u a.b .
Obtemos assim um segmento de reta x , que produto dos segmentos de reta a e b .
Observe-se que, na Matemtica da tradio antiga, no h multiplicao de
segmentos de reta o conceito de multiplicao pertence Aritmtica, e no
Geometria. Mesmo que se queiram interpretar algumas proposies de Geometria das
74
Trata-se da proposio Elementos VI, 2 de Euclides: Se for desenhada uma linha reta paralela a um dos lados dum tringulo, ela
dividir os lados do tringulo proporcionalmente; e se os lados do tringulo forem divididos proporcionalmente ento a linha unindo
os pontos de seco ser paralela ao restante lado do tringulo.
72
reas em termos de lgebra geomtrica, o produto de dois segmentos de reta seria

um retngulo, e no outro segmento de reta. A ideia de Descartes , portanto,
absolutamente inovadora, e vai preparar o fim da submisso ao Princpio da
Homogeneidade.
Por outro lado, o resultado obtido pela construo de Descartes depende da
escolha do segmento de reta AB que se pr-arbitrou como sendo a unidade. Se esse
segmento unitrio for alterado, ento o resultado da multiplicao de BC por BD
tambm ser alterado. Este um inconveniente que a abordagem antiga no tinha.
Para efetuar a diviso entre dois segmentos de reta, Descartes utiliza um

processo anlogo ao da multiplicao: como anteriormente (Fig. 20), tomam-se as
duas semi-rectas com origem B , marcando numa delas o segmento de reta unitrio
AB . Para se dividir BE por BD , de comprimentos b e a , respetivamente, une-se E

com D e traa-se uma reta paralela ED passando por A . Obtm-se, assim, BC
que representa o quociente BE por BD . Com efeito, usando novamente o Teorema
de Tales , obtemos a proporcionalidade
BC BE
. Sendo x , a e b os comprimentos
AB BD
de BC , BD , e BE , respetivamente, tem-se
na forma x
x b
; igualdade que se pode escrever
1 a
b
.
a
Dado um segmento de reta GH , para extrair a sua raiz quadrada, Descartes

procede do seguinte modo (Fig. 21). Considera um segmento de reta arbitrrio, FH ,
como segmento de reta unitrio e acrescenta-lhe em linha reta o segmento de reta
GH . Depois de obter o ponto mdio, K , do segmento de reta FH , traa um

semicrculo de centro K passando por H . Elevando perpendicularmente sobre FH
uma reta que passe por G , Descartes encontra o segmento de reta GI , que
representa a raiz quadrada de GH .
73
Com efeito, o tringulo FIH inscrito na semicircunferncia retngulo75, pelo que a

altura meio proporcional entre os segmentos em que o seu p divide a hipotenusa 76:
FG GI
, donde GI 2 GH FG e, como FG 1 , resulta GI GH .
GI GH
Observe-se que, tal como nos casos anteriores, se o segmento unitrio for alterado, o
resultado da raiz quadrada de GH tambm ser alterado, uma vez que a construo
depende desse segmento de reta unitrio que se pr-arbitrou.
Fig. 21 Extrao da raiz quadrada. Figura extrada de Smith (1954, p. 4)
3.3.Algebrizao dos segmentos de reta
3.3.1. Equaes do segundo grau

S depois de levar a cabo a aritmetizao que Descartes d o segundo
passo: o da algebrizao desses mesmos segmentos de reta. Este o pretexto para
uma das mais interessantes passagens do livro I da Geometria: a resoluo de
equaes do segundo grau, em que tanto os dados como a incgnita so segmentos
de reta.
Para simplificar, considerar-se-o apenas equaes em que o coeficiente do
termo de 2 grau 1. Uma vez que todos os coeficientes (como, alis, tambm as
incgnitas) so sempre positivos, consideram-se os trs seguintes tipos de equaes
completas:
75
Proposio Elementos III, 31 de Euclides
76
Proposio Elementos VI,8 de Euclides: num tringulo retngulo, a altura relativa hipotenusa divide o tringulo em dois
tringulos semelhantes ao tringulo total e semelhantes entre si.
74
x 2 ax b 2
x 2 ax b 2
x 2 b 2 ax
Pretende-se encontrar os segmentos de reta (incgnita) que verificam as
condies anteriores, sendo dados dois segmentos de reta a e b (coeficientes).
Para encontrar geometricamente as solues das referidas equaes,

Descartes comea por construir um tringulo retngulo NLM (retngulo em L ) com
LM b e LN
1
a (Fig. 22). De seguida, prolonga a hipotenusa at O onde
2
NO NL e constri o crculo centrado em N com raio NO . Sejam O e P os pontos

de interseco do crculo e com a reta MN , e sejam Q e R os pontos de interseco,
caso existam, do crculo com a reta que passa por M e paralela a NL .
Pela proposio Elementos III, 36 de Euclides77, verificam-se as igualdades
MP.MO ML2
MQ.MR ML2
Daqui se conclui que o segmento de reta MP soluo da equao
x 2 ax b 2 , uma vez que a primeira igualdade pode ser escrita na forma
MP MP a b 2 , ou seja, MP 2 a.MP b 2 . Do mesmo modo, essa mesma

igualdade
tambm
pode
ser
escrita
como
MO MO a b 2 , ou ainda,
MO 2 a.MO b 2 , concluindo-se, igualmente, que o segmento de reta MO soluo

da equao x 2 ax b 2 .
Fig. 22 Construo geomtrica das equaes do segundo grau
77
So as proposies Elementos, III 35 e 36 de Euclides que permitem definir a potncia dum ponto relativamente a uma
circunferncia.
75
Encontrados geometricamente os segmentos procurados, MP e MO , proceda-se

2
a
a
sua determinao algbrica. Sendo MN b 2 e MP MN
, resulta
2
2
2
a
a2
MP
b2
2
4
Do
mesmo
modo,
sendo
MO
a
MN ,
2
tem-se
a
a2
MO
b2 .
2
4
A igualdade MQ.MR ML2 ,escrita acima, subsistida da proposio Elementos III, 36
de Euclides, pode ser escrita na forma
MQ.a MQ b 2 , que equivalente a a.MQ MQ 2 b 2 ,

e tambm pode ser escrita na forma
MR.a MR b 2 , que equivalente a a.MR MR 2 b 2 .

Por conseguinte, tanto o segmento de reta MQ como o segmento de reta MR so
solues da equao x 2 b 2 ax .
Com o objetivo de apresentar algebricamente estas solues, considere-se o ponto
mdio, S , do segmento de reta RQ . O tringulo QNS retngulo; portanto,
SQ
a
a2
a2
b 2 . E, como
b 2 e sendo MQ MS SQ , resulta MQ
4
2
4
MR a MQ , resulta MR
a
a2
b2 .
2
4
Observe-se que, neste caso, o nmero de pontos em que o crculo interseta a

reta perpendicular a LM (Fig. 22) indica o nmero de solues da equao: sendo a
reta secante ( b
a
a
) obtemos duas solues, se for tangente ( b ) teremos uma
2
2
soluo (dupla) MR MQ
a
e se a reta no intersetar o crculo a equao
2
impossvel.
Tem interesse referir que Descartes no considerou o estudo das equaes do
tipo x 2 ax b 2 0 por no possuir razes positivas.
Aps ter mostrado de que forma as operaes algbricas so interpretadas
geometricamente, inclusive a resoluo das equaes de grau dois, Descartes, de
76
forma muito mais clara do que os matemticos da renascena, forneceu indicaes

precisas quanto ao mtodo que propunha para resolver problemas de Geometria,
aplicao da lgebra a problemas geomtricos determinados:
Assim, quando se pretende resolver algum problema, deve considerar-se de antemo
como j feito, e atribuir nomes a todas as linhas que parecem necessrias para constru-lo,
tanto s que so desconhecidas como s outras. Ento, sem considerar nenhuma diferena
entre estas linhas (...), deve examinar-se a dificuldade na forma como aquelas linhas
dependem mutuamente umas das outras (...) at que se tenha encontrado a maneira de
expressar a mesma quantidade de dois modos distintos, o que se denomina uma equao (...).
E devem encontrar-se tantas dessas equaes quantas as linhas desconhecidas. (Smith, 1954,
p. 6).
3.3.2. O problema das quatro retas

Consideramos de interesse referir que o importante problema das trs e quatro
retas teve um papel primordial na construo da Geometria Analtica de Descartes.
Este problema, que fora objeto de estudo por parte de grandes matemticos da
Antiguidade (Apolnio, Euclides, Papo), permitiu a Descartes aperceber-se do poder e
da generalidade do seu ponto de vista. Como consequncia, escreveu a Geometria,
que levou os seus contemporneos a conhecerem a Geometria Analtica. (Boyer, 1997,
p. 247). Como j aqui foi observado, o referido problema (conhecido por problema de
Papo) percorre os trs livros da Geometria, aquela que a sua maior obra de
Geometria cartesiana.
Familiarizados com os clssicos gregos, em particular com o Domnio da
Anlise de Papo de Alexandria, e com um frtil conhecimento em Anlise algbrica
que resultou da interveno da lgebra simblica de Vite sobre Anlise geomtrica
dos gregos, tanto Fermat como Descartes testaram as suas ideias e mtodos em
vrios problemas, em especial no problema geomtrico das trs e quatro retas, que
um caso particular do problema de Papo". Este problema foi estudado por Euclides
(300-200 a.C.), depois resolvido por Apolnio, posteriormente revisto por Papo e por
fim generalizado por Descartes (para n retas), com o seu mtodo, o da sua
Geometria Analtica. Este matemtico considerou este problema como um caso
77
particular e continuou a observ-lo nos mesmos termos que os antigos, como uma
aplicao da teoria das propores. Praticamente toda a Geometria de Descartes est
destinada, por um mtodo analtico e no mais do que sinttico, resoluo deste
problema.
(...) com a fora do seu mtodo no tratamento do problema do lugar das trs e quatro
retas (...) um problema que corre como um fio de Ariadne atravs dos trs livros de La
Gomtrie. (Boyer, 1994, p. 249).
Enquanto que a natureza da Geometria sinttica dos antigos no permitiu

estender a resoluo a mais do que trs e quatro retas, a Geometria Analtica das
propores, tal como Descartes utilizou, permitiu encontrar a soluo generalizada.
Sendo objeto de estudo ao longo de sculos, pensa-se que o problema de Papo ter
sido um dos maiores contributos no desenvolvimento da Geometria Analtica. Mtodos,
ideias, processos de construo foram-se permutando e incrementando obtendo-se,
assim, elementos constituintes da Geometria Analtica.
Assim, poucos problemas tiveram um papel to importante na histria da matemtica
quanto o do lugar das trs ou quatro retas. (Boyer, 1994, p. 111).
Descartes dedica uma parte da Geometria resoluo, pelo seu mtodo

analtico, do problema de Papo, assim designado por ser mencionado na Coleo
Matemtica.
Este um problema de lugares geomtricos, ou seja, requer a
determinao das curvas constitudas pelos pontos que partilham uma determinada
propriedade. Descartes formulou o problema da seguinte forma:
Dadas em posio trs, quatro ou mais retas, trata-se de encontrar um ponto a partir
do qual se possam traar outras tantas linhas retas, fazendo cada uma um dado ngulo com
uma das anteriores, de modo que o retngulo formado por duas dessas assim traadas desde
o ponto, tenha uma proporo dada com o quadrado da terceira, se no existirem mais do que
trs; ou se houver quatro, com o retngulo das outras duas; ou ainda, havendo cinco, que o
paraleleppedo formado pelas duas que restam e por outra linha dada. Ou ainda, havendo seis,
que o paraleleppedo formado por trs tenha uma proporo dada com o paraleleppedo das
outras trs. Ou, havendo sete, aquilo que se obtm multiplicando quatro, tenha uma dada
78
razo com o produto das trs restantes por outra linha dada. Ou se h oito, que o produto,
que o produto da multiplicao de quatro tenha uma proporo dada com o produto das
outras quatro. (Smith, 1954, p. 22).
E, generalizando, Descartes acrescentou:
E assim se pode estender este problema a todo o nmero de linhas. Mas em virtude
de existir sempre uma infinidade de pontos que podem satisfazer o que se pede, necessrio
conhecer e traar a linha sobre a qual eles devem encontrar-se. (Smith, 1954, p. 22).
Com o objetivo de se clarificar melhor o problema, ser aqui utilizada a notao

de Bos (2001, pp. 314-315): sejam dadas n retas Li no plano, n ngulos i , um
segmento de reta a , e uma razo constante (Fig. 23). Para qualquer ponto P no
plano, as distncias oblquas d i so definidas pelos comprimentos de segmentos de
reta unindo P a um ponto de Li de tal modo que faam um ngulo i com Li .
Pretende-se encontrar o lugar geomtrico dos pontos P , para os quais uma certa
razo (envolvendo as distncias oblquas d i e dependendo do nmero de retas
inicialmente dadas, como indicado de seguida) seja igual razo constante dada; as
razes so:
d1
;
d1 d 2
- para trs retas:
- para quatro retas:
d1 d 2
;
d3d 4
- para cinco retas:
d1 d 2 d 3
;
ad 4 d 5
- para seis retas:
- para 2k retas:
d1 d 2 d 3
;
d 4d5d6
d1 ...d k
;
d k 1 ...d 2 k
-para 2k 1 retas:
d1 ...d k 1
.
ad k 2 ...d 2 k 1
Fig. 23 Problema de Papo. Caso particular, n=4.

Figura extrada de Bos (2001, p. 314).
79
Encarado dum ponto de vista moderno, o procedimento inicial de Descartes

equivale a assumir um sistema de coordenadas com origem em O , ponto de
interseco da reta dada L1 (escolhida arbitrariamente) com uma das outras retas ( L3
na figura 23), a referida reta L1 para eixo das abcissas, e 1 para o ngulo formado
pelos eixos coordenados. Relativamente a este sistema, tem-se OA x e d1 y . O
autor demonstrou que para qualquer ponto P de coordenadas x e y , cada d i pode
ser escrito na forma d i i x i y i , em que i , i e i so constantes expressas
em termos dos dados do problema (razes entre os ngulos i e razes entre os
segmentos de reta de cada Li cujos extremos so pontos resultantes das mtuas
intersees das retas). Com efeito, para escrever d 3 em funo de x e de y ,
considerou os tringulos OAB e CPB ( A e B so as intersees do prolongamento
de d1 com L1 e L3 , respetivamente, C a interseco de d 3 com L3 ) e observou
que, embora o ponto P seja desconhecido, os ngulos daqueles dois tringulos, OAB
e CPB , so conhecidos (por os ngulos i e as posies das retas Li serem dados)
e, consequentemente, as razes entre os seus lados tambm so conhecidas.
A soluo de Descartes inicialmente desenvolvida no seu livro I onde obtm
algebricamente as expresses para cada d i procurado. No Livro II o autor d a
conhecer o seu mtodo de representao grfica dos lugares geomtricos, em
particular a do problema quando no est proposto para mais que trs ou quatro linhas.
Assim, escreveu:
(...) quando no h mais que trs ou quatro linhas dadas, os pontos buscados
encontram-se todos no somente numa das trs seces cnicas, mas por vezes na
circunferncia de um crculo ou numa linha reta; quando so cinco, seis, sete ou oito, todos os
pontos se encontram nalguma das linhas que so de um grau mais composto que as seces
cnicas (...); se so nove, dez, onze ou doze, os pontos encontram-se numa linha que no pode
ser seno composta de um grau mais que as precedentes, e todas as que tm mais um grau
podem servir; e assim at ao fim. (Smith, 1954, pp. 25).
80
Tem interesse referir que a Geometria sinttica dos Antigos permitiu resolver o
problema que comportasse apenas trs ou quatro linhas retas, pelo que como j foi
referido, os pontos procurados encontrar-se-iam sobre um lugar slido dado de
posio, ou nos casos degenerados, sobre os lugares planos. E, somente a Geometria
Analtica das propores tal como Descartes usou permitiu determinar a soluo geral.
Papo escreveu,
No entanto, os que antes de ns trataram este assunto (que no possvel imaginar
uma figura que tenha mais do que trs dimenses) acordaram em falar sem designar qualquer
figura concreta dizendo apenas. O compreendido por tais retas em relao ao quadrado de
tal reta, ou ao compreendido por tais retas. Citado por Descartes. (Smith, 1954, p. 20).
Descartes destinou o fim do seu primeiro livro com uma explicao sobre o
referido problema, retomando-o no segundo livro com uma discusso mais
pormenorizada, referindo que nem Euclides nem Apolnio conseguiram terminar
totalmente a sua resoluo, o qual foi confirmado por Papo, pois escreveu no seu livro
VII,
Mas esse lugar de trs ou quatro linhas, que o prprio Euclides no tratou
inteiramente, como to pouco o fez nenhum outro, de que tambm fala Apolnio no seu livro
III, e que, pelo menos atendo-nos aos elementos das Cnicas, no pode terminar nem agregar
nem demonstrar nada ao que no tenha sido j demonstrado no tempo de Euclides, etc.
Citado por Descartes. (Smith, 1954, p. 17).
Descartes utilizou retas de referncia (como eixos de coordenadas), s quais

todas as outras dadas no enunciado, bem como o lugar geomtrico que a soluo do
problema, so referenciados. Este facto permite realar a diferena do seu mtodo
relativamente ao dos gemetras antigos, os quais tratavam todas as retas do mesmo
modo, como elementos de uma figura. Esta diferena tem consequncias ao nvel dos
procedimentos. Na Geometria sinttica antiga, todas as linhas retas eram concebidas
da mesma forma, e a ideia de uma soluo simples podia surgir duma relao
particular entre os comprimentos, as reas e os volumes (Vuillemin, 1987, p. 100). Na
Geometria Analtica de Descartes, as quantidades geomtricas ilustravam diretamente
as quantidades algbricas que compem as equaes, transformando-se, por
consequncia, em constantes, variveis dependentes e variveis independentes.
81
Vejamos mais em detalhe o problema das quatro retas, que o caso particular
do problema de Papo com que Descartes termina o Livro I da Geometria. Dadas
quatro retas num plano, quatro ngulos e uma razo, pretendem encontrar-se os
pontos a partir dos quais os segmentos de reta desenhados em direo s quatro
linhas determinadas segundo ngulos determinados, satisfazem a condio de que o
produto de dois dos comprimentos seja igual ao produto dos outros dois ou (o que
no traz maior dificuldade) esteja na proporo dada com o produto da multiplicao
das outras (Smith, 1954, p. 34). Descartes supe o problema resolvido e, com o
objetivo de simplificar a questo, referencia todas as retas em relao a duas
principais que formam um sistema de eixos de coordenadas com origem em A ,
tomando a reta EG para eixo das abcissas e o ngulo CBG para ngulo entre os
eixos (Fig. 24).
Fig. 24 Problema das quatro retas. Figura extrada de Smith (1954, p. 27)
Assim, o autor estabelece x para comprimento do segmento de reta AB ,

situado ao longo da linha reta dada EG , e y para o comprimento do segmento CB ,
em que C um dos pontos que satisfazem os requisitos do problema. Prolongando
as outras retas at obter as suas intersees com os eixos, obtemos os pontos E , A
e G sobre o eixo das abcissas e T , S e R sobre o eixo das ordenadas. Cada um
dos comprimentos dos segmentos de reta requeridos, CB , CD , CF e CH , traados
desde o ponto C at s linhas retas dadas EG , DR , FS e TH , respetivamente,
expresso como funo linear de x e de y , uma vez que os ngulos CBA , CDA ,
CFE e CHG so dados.

Para simplificar, trataremos apenas o caso em que as posies relativas dos
pontos so como na figura 24.
82
Como todos os ngulos do tringulo ARB so conhecidos, as razes entre os

seus lados tambm o so. Portanto, se designarmos 78
BR
AB z
, segue-se que
BR b
bx
bx
e CR y
. Do mesmo modo, uma vez que os trs ngulos do tringulo
z
z
DCR so conhecidos, tambm conhecida a razo
CR z
CR
; escrevendo-se
,
CD
CD c
tem-se
c
bx c
bc
CD y y 2 x .
z
z z
z
Por outro lado, como as retas AB , AD e EF so dadas de posio, a
distncia de A a E igualmente dada. Se supusermos que AE k , ter-se- que
BE k x . E, como os ngulos do tringulo ESB so conhecidos, podemos escrever
d (k x)
d (k x)
zy dk dx
BE z
e CS BS BC
. De
, donde BS
y
BS d
z
z
z
forma anloga, estabelecendo a igualdade
CS z
pelo facto de os ngulos do
CF e
tringulo FSC serem tambm conhecidos, tem-se
e
e zy dk dx e
de
dek
CF .CS
y 2 x 2 .
z
z
z
z
z
z
Tal como AE , AG tambm dada. Seja AG l , donde, BG l x . Como
do tringulo
BGT
se obtm
CT BC BT y
f
BG z
, tem-se que BT (l x) e que
z
BT
f
fl fx
CT z
. De forma similar, do tringulo TCH obtm-se
z
z
CH g
e, portanto,
CH
78
Hoje escreveramos apenas AB
BR
g
g
fx fl g
fg
fgl
.CT y y 2 x 2 .
z
z
z
z z
z
z
AB z como uma relao entre dois comprimentos dados (tanto z como

, em vez de
BR
so dados). Descartes ter querido manter o conceito, clssico, de relaes entre comprimentos.
83
Do exposto verifica-se que, numa primeira fase da resoluo do problema das

quatro retas, Descartes recorreu s razes
AB z CD z BS z CS z
,
,
,
,
BR b CR c BE d CF e
BG z
CT z
e
, para obter os comprimentos dos segmentos de reta CB , CD ,

BT
f
CH g
CF e CH , expressos como funes lineares de x e de y , como ilustra a tabela
seguinte:
Tabela
CB y
CD
c
bc
y 2 x
z
z
CF
e
de
dek
y 2 x 2
z
z
z
CH
g
fg
fgl
y 2 x 2
z
z
z
Para o caso geral do problema de Papo, Descartes fez observar que todas as
retas 79 que intervm no enunciado ( CB , CD , CF , CH ,...)
se exprimem
analiticamente por uma expresso do tipo y x , ( Vuillemin, 1987, p. 105) tal

como vimos para CB , CD , CF e CH no caso particular das quatro retas.
Obviamente, a primeira delas exprime-se pela equao particularmente simples
CB y . Descartes escreveu:
V-se assim que qualquer que seja o nmero de linhas dadas, todas as linhas traadas
a partir de C , (...) podem sempre expressar-se, cada uma por trs termos, dos quais um
composto pela quantidade desconhecida y multiplicada ou dividida por alguma outra
conhecida, e o outro, pela quantidade desconhecida x multiplicada ou dividida por outra
conhecida, e o terceiro termo, de uma quantidade conhecida. E a respeito dos sinais e
que se unem a estes termos, podem ser trocados de todas as maneiras imaginveis. (Smith,
1954, p. 33).
79
Entendam-se como as distncias
84
d i , na nossa notao inicial.
Descartes estava consciente das situaes de paralelismo; se por exemplo as

retas forem paralelas a AB , a incgnita x no consta nas equaes; sendo CB y
ento CD , CF e CH escrevem-se na forma80 y . O autor escreveu:
Excetua-se o caso de elas serem paralelas, quer linha AB , em cujo caso o termo
composto da quantidade x ser nulo; quer linha BC , e neste caso o termo composto da
quantidade y ser nulo. (Smith, 1954, p. 33).
Para trs retas dadas, AB , AD , EF , o problema consiste em determinar o

lugar geomtrico dos pontos, C , tais que
CB.CF
, sendo a razo dada.
CD 2
A partir das distncias obtidas na tabela I, a equao que representa o lugar

geomtrico dos pontos referente ao problema das quatro retas dadas ( AB , AD , EF e
GH ) determinada atravs da propriedade como
CB CF
, onde designa
CD CH
1
1
uma certa razo dada. Por exemplo se for a razo de igualdade (isto ), que
um caso particular tratado por Descartes (Smith, 1954, p. 60), teremos a igualdade
CB CF CD CH , que se traduz por
ezy dek dex czy bcx gzy fgx fgl

y
,
z2
z2
z2
de que resulta a equao
(ez 3 cgz 2 ) y 2 (cfglz dekz 2 ) y (bcgz cfgz dez 2 ) xy bcfglx bcfgx 2 ,

ou ainda
y2
80
(cfglz dekz 2 ) y (dez 2 cfgz bcgz ) xy bcfglx bcfgx 2

.
ez 3 cgz 2
Um exemplo deste caso particular ilustrado em Smith (1954, p. 33, nota 50)
85
Para cinco retas dadas (juntando-se HI s dadas), o problema consiste em

determinar o lugar geomtrico dos pontos, C , tais que
CB.CD.CF
, onde uma
CH .CI .d
razo dada e d uma linha reta dada. E assim sucessivamente.

Traduzindo analiticamente as trs condies anteriores, obtm-se equaes,
as duas primeiras do 2 grau nos dois primeiros casos, e do 3 grau no ltimo:
ay 2 by cxy dx 2 ex f 0
e
ay 3 by 2 cxy 2 d y ex 2 y f xy g x 2 hx i 0 .
A partir destas equaes, Descartes conduziu a sua construo dos lugares
geomtricos que so soluo destes casos particulares do problema de Papo. No caso
particular do problema das quatro retas, foi construindo seces cnicas (crculo,
elipse, parbola, hiprbole ou um par de retas) cujos parmetros dependiam das
posies relativas das quatro retas dadas e, portanto, tambm dos coeficientes da
equao. Mantendo a construo clssica de Apolnio, e referindo conceitos como o
centro, o dimetro, o ngulo das ordenadas 81 , o lado reto, o lado transverso, etc.,
Descartes demonstrou que as equaes de cada tipo so satisfeitas pelo
correspondente tipo de cnica. Portanto, as solues para o problema das quatro retas
so as seces cnicas. As justificaes das construes apresentadas obrigam a que
o leitor tenha pleno conhecimento do Livro I das Cnicas de Apolnio82.
3.3.3. Mtodo das tangentes

Pelo facto de terem diferentes concees do que fosse uma linha curva, no
sculo XVII diferentes matemticos e fsicos propuseram mtodos distintos para a
determinao da reta tangente a uma curva (Estrada et al., 2000, p. 562). Torricelli e
Roberval, por exemplo, concebiam uma curva como a trajetria dum ponto mvel, pelo
que para eles a noo de tangente curva estava ligada direo desse movimento
(Estrada et al., 2000. p. 564). Para Fermat e Descartes, pelo contrrio, a ligao mais
81
ngulo formado entre o eixo das abcissas e as ordenadas.
82
Descartes refere explicitamente as proposies 2, 3, 11, 12 e 13 do primeiro livro das Cnicas. (Smith, 1954, pp. 72 e 75)
86
estreita da noo de curva plana era com uma equao a duas incgnitas, pelo que
tinham uma conceo mais algbrica do que fosse uma reta tangente.
No livro II da Geometria, Descartes exps o seu mtodo analtico das tangentes
restringindo-o s chamadas curvas algbricas, isto , s que admitissem uma equao
do tipo algbrico 83 . Tem interesse referir que o matemtico francs ter abordado
diretamente a questo das normais, recorrendo a um crculo centrado num ponto do
eixo coordenado, por tambm se dedicar resoluo de problemas na rea da
Diptrica (Estrada et al., 2000, p. 562). Obtida a reta normal curva num dado ponto,
pode depois desenhar-se facilmente a reta tangente nesse ponto. Seguindo a
generalidade dos historiadores, tambm o designamos por mtodo das tangentes.
Para Descartes todas as propriedades de uma curva, nomeadamente a direo das
suas tangentes, ficariam completamente determinadas sendo dada uma equao com
duas incgnitas (Boyer, 1994, p. 252). Descartes escreveu,
(...) conhecendo a relao [a equao] que tm todos os pontos de uma linha curva
com todos os de uma linha reta [o eixo das abcissas] (...) tambm fcil conhecer a relao
que eles tm com todos os outros pontos e linhas dadas; e, a partir dela, conhecer os
dimetros, os eixos, os centros, e outras linhas ou pontos que tenham com a linha curva
alguma relao particular [equaes das normais e das tangentes] (...). (Smith, 1954, p. 92).
Na opinio de Vuillemin, o mtodo das tangentes tem um papel de primeira

ordem na Geometria e aqui definido por Descartes como um instrumento de anlise
das curvas (1987, p. 57), quando escreve,
Creio ter dado aqui tudo o que se requer para os elementos das linhas curvas, quando
haja exposto a maneira geral de traar linhas retas que as cortem em ngulos retos nos pontos
que dela se escolham. (Smith, 1954, p. 95).
Ainda da anlise de Vuillemin, a razo desta proeminncia metdica da

procura das normais s curvas (1987, p. 57) observa-se no texto de Descartes,
83
Descartes chamava-lhes curvas geomtricas, por oposio s restantes, as transcendentes, a que chamava curvas mecnicas.
87
(...) no que respeita a todas as outras propriedades que podem atribuir-se s linhas
curvas, elas no dependem mais do que da grandeza dos ngulos que formam com outras
linhas (...) a grandeza desses ngulos no mais difcil de encontrar que se eles estiverem
compreendidos entre duas linhas retas. (...) E atrevo-me a afirmar que este um problema
mais til e mais geral no s que eu conhea, como tambm que eu alguma vez desejei
conhecer em Geometria. (Smith, 1954, p. 95).
Descartes obteve a ideia para o seu mtodo de representar uma normal a uma
curva, a partir do conceito de que qualquer reta tangente a uma circunferncia num
ponto desta perpendicular (normal) ao raio correspondente a esse ponto. Assim, o
raio de uma circunferncia tangente a uma determinada curva num dado ponto desta
ser, igualmente, normal a essa curva. Portanto, Descartes sugeriu que, para achar a
normal a uma curva algbrica num ponto desta, bastaria determinar o crculo, com
centro no eixo das abcissas, que fosse tangente curva nesse ponto.
Com o objetivo de expor, em linhas gerais, o mtodo de Descartes,
apresentam-se os procedimentos que se devem levar a cabo na determinao da
normal a uma curva de equao algbrica y f (x) , num seu determinado ponto C .
Aps se escrever uma equao (necessariamente dependente dum parmetro) que
represente a famlia das circunferncias de centro sobre o eixo das abcissas (Fig. 25)
e que passam pelo ponto C , determina-se uma equao que resulte das duas
anteriores por eliminao de uma das duas incgnitas, por exemplo das ordenadas.
Para cada valor do parmetro, as razes desta equao so as abcissas dos pontos
onde a correspondente circunferncia intersecta a curva dada. Ora, para que essa
interseco seja num nico ponto, ou seja, para se obter a circunferncia de centro no
eixo das abcissas que seja tangente curva em C , a equao dever ter raiz dupla e,
para tal, Descartes utilizou um mtodo a que Eves chama de princpio da identidade
de polinmios (1997, p. 388). E, uma vez conhecido esse centro, a normal e a
tangente curva, nesse ponto, so facilmente traveis.
Fig. 25 Mtodo de Descartes para determinar normais.
88
Na Geometria, Descartes forneceu exemplos relativamente complexos do seu

mtodo. Com o intuito de clarificar o procedimento proposto, apresentamos um
primeiro exemplo de carcter genrico, mas que no foi dado por Descartes,
nomeadamente o de determinar a normal parbola de equao y 2 2 x , no ponto
a2
( , a) . De seguida, pensamos ter interesse apresentar dois exemplos tratados por
2
Descartes, referentes elipse e concoide parablica, representadas por equaes
de graus diferentes84.
O mtodo de Descartes era essencialmente algbrico. No possua um
sistema de coordenadas definido. Tentaremos aproximar tais exemplos a um conceito
algbrico mais atual.
Procura-se a normal parbola y 2 2 x no ponto (
a2
, a) . Considerando todas
2
as circunferncias com centro num ponto (b,0) e que passam por (
a2
, a) , tem-se
2
a2
x b y b a 2 .
2
As abcissas dos pontos que pertencem simultaneamente parbola e s

circunferncias so solues de
2
x b 2 x a b a 2 ,
2
ou seja, da equao
a2
x (2 2b) x a (b 1) 0 .
4
2
Ora, a unicidade do ponto de interseco, imposta pela tangncia entre as

duas curvas, obriga a que esta ltima equao tenha uma raiz dupla. Neste ponto,
Descartes fez uso da igualdade de polinmios, fazendo notar que a equao anterior
dever ser do tipo x e 0 , que equivalente a x 2 2ex e 2 0 .
2
O matemtico francs sabia, a partir do seu estudo das razes de equaes,

que para o ponto P ser o centro de um crculo tangente parbola em C , a equao
84
Descartes chamou curvas do primeiro gnero s cnicas, e curvas do segundo gnero s do terceiro grau. A concoide parablica
um exemplo destas ltimas.
89
anterior teria de ter uma raiz dupla, isto , deveria ser escrita na forma expressa pela
equao anterior. Com efeito afirma que,
(...) se o ponto P preenche as condies requeridas, o crculo do qual centro e que
passa pelo ponto C , tocar a curva CE sem cort-la; mas se este ponto P j est mais
prximo ou mais afastado do ponto A que o devido, este crculo cortar a curva no apenas
no ponto C , mas necessariamente nalgum outro ponto (Fig. 26). Deve tambm considerar-se
que, se o crculo corta a curva CE , a equao pela qual se busca x ou y , ou alguma outra
quantidade semelhante, supondo PA e PC conhecidas, contm necessariamente duas razes
desiguais. (Smith, 1954, p 103).
Fig. 26 A unicidade do ponto de interseo. Figura extrada de Smith (1954, p. 97)
Descartes prossegue,
(...) direi que a primeira equao encontrada mais acima (...) deve ter a mesma forma
que a que se obtm fazendo e igual a y e multiplicando y e por si mesma, do que resulta
y 2 2ey e 2 , de modo que podemos comparar separadamente cada um dos seus termos, e
2
dizer que pois que o primeiro, que y , o mesmo numa e noutra, o segundo (...) igual ao
segundo da outra, que 2ey . (Smith, 1954, p. 104).
Ento, ter-se- o sistema
b 1 e
2
a2
a
(
b
1) e 2
do qual resulta,
90
b 2 (a 2 2)b
a4
a2 1 0
4
1
b (a 2 2) .
2
portanto,
Do exposto, conclui-se que a reta que passa pelos pontos de coordenadas
a2
a2
1
, a) e ( (a 2 2),0) normal parbola no ponto ( , a) . Uma justificao para
2
2
2
tal prende-se com o facto de que se a circunferncia e a parbola so tangentes no
a2
ponto ( , a ) ento tm a mesma reta tangente, e portanto a mesma reta normal,
2
nesse ponto.
No livro II da Geometria, Descartes comea por aplicar o seu mtodo das
tangentes elipse de equao x 2 ry
r 2
y , de lado reto r e eixo transverso q .
q
Vejamos como, dada a equao da curva, CE , referida ao eixo GA , e um ponto sobre

ela, C , Descartes obtm a reta CP que lhe perpendicular (Fig. 27). Supondo a
coisa j feita e que a linha procurada CP (Smith, 1954, p. 95), seja P o ponto
obtido pelo prolongamento de CP sobre a reta GA .
Considere-se MA y e CM x . Fazendo AP v e CP s , resulta a
igualdade85 s 2 x 2 (v y) 2 .
Descartes observa que esta equao exprime a relao entre todos os pontos
da curva CE com a reta GA , e que dela se podem obter as igualdades
x s 2 v 2 2vy y 2 ou y v s 2 x 2 , bem como os seus quadrados x 2 , y 2 ,

cubos x 3 , y 3 , etc.
Fig. 27 Reta normal a uma curva. Figura extrada de Smith (1954, p. 94)
85
Igualdade obtida pelo Teorema de Pitgoras. Sendo constantes os parmetros
sev
, representa uma equao de uma
circunferncia de centro P e raio PC .
91
Com o objetivo de encontrar AP , a quantidade v , que a nica de que se

necessita, e com a qual se calculam as outras (Smith 1954, p. 107), o autor procede
eliminao duma varivel entre a primeira destas trs equaes e cada uma das dos
dois exemplos que iremos apresentar.
Seja CE a curva (Fig. 28), qual se pretende tirar uma linha reta (Smith,
1954, p. 95) que passa pelo ponto C , e que a corte num ngulo reto (Smith, 1954, p.
95). Herana do mtodo de anlise dos antigos gregos, j referenciado neste trabalho,
Descartes supe essa linha j traada: a linha reta CP .
Fig. 28 Reta normal elipse. Figura extrada de Smith (1954, p. 97)
Se CE uma elipse, com MA para segmento do seu dimetro (eixo) ao qual

corresponde a ordenada CM , tem-se 86 , x 2 ry
r 2
y , sendo r o lado reto e q o
q
eixo transverso.
Da interseco, referida acima, resulta a igualdade
s 2 v 2 2vy y 2 ry
ou ainda
y2
r 2
y ,
q
2qv rq
s 2q v 2q
y
0.
rq
rq
2qv rq
q r 2e
Pelas condies j apresentadas ,

.
2
s
q
v
q
2
e
r q
86
No estudo sobre as seces cnicas (nomeadamente no teorema 13 do livro I das Cnicas), Apolnio produziu a relao
x 2 ry
r 2 referindo-se a uma elipse, de eixos retangulares, com origem num dos vrtices e de parmetros
y
q
q (lado transverso).
92
(lado reto) e
Da primeira equao resulta,
v e
e r
q 2
E, uma vez que y e ,
v y
y r
.
q 2
O autor conclui este exemplo referindo que, da segunda equao do sistema,

poderamos obter uma expresso para s , mas bastando a quantidade v para
determinar P , que o ponto que buscamos, no h necessidade de continuar (Smith,
1954, p. 107).
Observe-se que sendo C dado e sendo conhecida a posio de P atravs de
v , traa-se a normal curva em C , a reta CP .

A curva designada concoide parablica gerada pelo movimento de uma
parbola. Vamos proceder obteno da equao que a representa. De seguida,
aplicaremos o mtodo de Descartes na obteno da reta normal num ponto seu.
Seja CE a curva gerada pelo movimento da parbola CK (Fig. 29).
Fig. 29 A concoide parablica. Figura extrada de Smith (1954, p. 97)
Seja MA y e CM x . Sendo d o lado reto da parbola referida ao dimetro
KL , tem-se BC 2 d BK , ou ainda y 2 d BK . Fazendo GA b , KL c , e como
y2
BL BK KL , tem-se BL
c .
d
Tem-se
GM MC
, tendo em ateno que nos tringulos semelhantes

BC
BL
GMC e CBL , os lados adjacentes a ngulos iguais so proporcionais (Elementos VI,

4 de Euclides).
93
Da igualdade anterior resulta
b y
x
.
2
y
y
c
d
c xy
d
b y y
Donde
Simplificando, obtm-se, y 3 by 2 cdy dxy bcd 0 , que a equao cbica da

referida concoide parablica.
Prosseguindo com o mtodo de Descartes e substituindo x por
s 2 v 2 2vy y 2
na equao anterior, obtm-se
y 3 by 2 cdy bcd dy s 2 v 2 2vy y 2 0 ,
y 3 by 2 cdy bcd dy s 2 v 2 2vy y 2 .
ou ainda,
Quadrando, desenvolvendo e associando os termos semelhantes, obtm-se
y 6 by 5 cdy 4 bcdy 3 by 5 b 2 y 4 bcdy 3 b 2 cdy 2 cdy 4 bcdy 3 c 2 d 2 y 2

bc 2 d 2 y bcdy 3 b 2 cdy 2 bc 2 d 2 y b 2 c 2 d 2 d 2 s 2 y 2 d 2 v 2 y 2 2d 2 vy3 d 2 y 4 0
que resulta na equao:
y 6 2by 5 (b 2 2cd d 2 ) y 4 (4bcd 2d 2 v) y 3 (c 2 d 2 d 2 s 2 d 2 v 2 2b 2 cd ) y 2
2bc 2 d 2 y b 2 c 2 d 2 0
Atendendo ao grau obtido e dando continuidade ao seu mtodo, impondo a existncia

de raiz dupla, a equao dever ser da forma
2 ye e 2 y 4 fy 3 g 2 y 2 h3 y k 4 0 ,
ou seja, da forma
y e k
y 6 f 2e y 5 e 2 2 fe g 2 y 4 h 3 2eg 2 e 2 f y 3
k 4 2eh 3 e 2 g 2 y 2 e 2 h 3 2ek 4
Igualando os termos semelhantes,

- da igualdade f 2e 2b resulta f 2e 2b .
(1)
b 2c 2d 2
- da igualdade e k b c d resulta k
.
e2
(2)
94
2 2
Substituindo
(1)
na
igualdade
e 2 2ef g 2 b 2 2cd d 2
obtm-se
g 2 3e 2 4be 2cd b 2 d 2 .
Substituindo (2) na igualdade e 2 h3 2ek 4 2bc 2 d 2 , obtm-se
2b 2 c 2 d 2 2bc 2 d 2
h
.
e3
e2
3
(3)
Substituindo (1), (2) e (3) na igualdade 4bcd 2d 2 v h 3 2eg 2 e 2 f , obtm-se
2b 2 c 2 d 2 2bc 2 d 2
2e 3e 2 4be 2cd b 2 d 2 e 2 2e 2 f ,
d 2 v 4bcd
3
2
e
e
ou ainda,
2e 3 3be 2 b 2 e 2ce
2bc bc 2 b 2 c 2
2 3 .
d
d
d2
d2
d2
e
e
Uma vez que y e , tem-se, finalmente, a quantidade
2 y 3 3by 2 b 2 y 2ce
2bc bc 2 b 2 c 2
v 2 2 2
y
2 3 ,
d
d
d
d
d
y
y
para comprimento de AP , que o que se pretende.
Descartes conclui:
Se tomarmos AP igual ao valor de v acima obtido cujos termos so todos conhecidos,

e traando desde o ponto P assim encontrado uma linha reta at C , ela corta a curva CE
segundo ngulos retos. E no vejo nada que impea estender este problema a todas as linhas
curvas que apaream em qualquer clculo geomtrico. (Smith, 1954, p. 111).
3.3.4. Construo dos Problemas Slidos

Papo de Alexandria, no Livro IV da Coleo Matemtica, classificou os
problemas geomtricos em trs tipos tendo em conta os meios pelos quais seria
possvel construir a sua soluo: os designados planos eram aqueles que podiam ser
resolvidos por meio curvas com origem no plano, isto , por linhas retas e
circunferncias; os que envolviam, na sua resoluo, superfcies cnicas eram os
chamados problemas slidos porque faziam uso de superfcies slidas (cones
95
cilindros,...); e os que, na sua construo, envolviam curvas obtidas de superfcies

menos regulares e de movimentos mais complexos eram os lineares.
O livro III da Geometria compreende a construo de problemas slidos (so
representados por equaes do terceiro ou do quarto grau, que podem ser resolvidas
atravs dos lugares slidos: parbola, hiprbole ou elipse) e de problemas reduzidos a
uma equao do quinto ou do sexto grau, os quais esto includos nos problemas mais
que slidos (ou lineares). Descartes, comea por estabelecer vrias consideraes
que envolvam as razes de uma equao, referindo que podem ser reais ou
imaginrias, o que leva a concluir que conhecia que uma equao pode ter tantas
razes quanto o seu grau. Entre outras regras, enunciou uma que permite mudar as
razes positivas em negativas (e reciprocamente), assim como extrair, numa equao,
o seu segundo termo ou restituir algum em falta. Estes procedimentos, comuns
poca, serviam para preparar uma equao para ser resolvida.
Descartes ter sido o primeiro a revelar o poder da lgebra na sua
correspondncia com um eixo coordenado. A Geometria Analtica considera as razes
negativas sobre o eixo das abcissas, esquerda da origem, uma ilustrao ausente
para os antigos algebristas, e que lhes fez, inutilmente, aumentar os clculos tratando
separadamente estas razes que designaram de falsas87 (Vuillemin, 1987, p. 129).
Ainda no livro III Descartes apresenta alguns exemplos de reduo de equaes
cbicas ou do quarto grau, referentes a problemas planos88, atravs da sua diviso por
um binmio 89 ou pelo mtodo dos coeficientes indeterminados. De seguida o autor
expe o seu mtodo de construo geomtrica das razes de qualquer equao cbica
ou do quarto grau, referentes a problemas slidos, utilizando a interseco entre uma
parbola e um crculo. Escreveu essas equaes nas formas90
z 4 apz 2 a 2 qz a 3 r
z 3 apz a 2 q ,
observando que esta ltima resulta da anterior atribuindo o valor zero ao parmetro r .
Aps atribuir a unidade ao parmetro a , Descartes reescreveu as equaes
3
4
2
anteriores nas formas z pz q e z pz qz r , sendo p , r e q
87
Foi a Geometria de Descartes que deu a conhecer o uso das razes negativas; foi um dos maiores avanos, resultante da aplicao
da lgebra Geometria, que devemos quele matemtico (Vuillemin, 1987, p. 129).

88
Construveis com rgua e compasso, como por exemplo as equaes do segundo grau.
89
O processo de dividir um polinmio por x , sendo
uma raiz conhecida, o qual permite reduzir o grau de uma equao, foi
explicado pela primeira vez por Descartes (Katz, 2010, p. 562).

90
Descartes assume que cada equao est privada do seu segundo termo, resultado obtido pelo mtodo de transformao das razes
sem conhecer o seu valor. Consultar o referido mtodo em Smith (1954, p. 167).
96
quantidades positivas. Com o objetivo de expor, em linhas gerais, o mtodo standard

deste matemtico francs, apresentam-se, sucintamente, as linhas orientadoras da
construo geomtrica das suas razes. Para clarificar melhor tais procedimentos,
iremos, sempre que possvel, aproximar a Geometria Analtica atual ao pensamento
expresso na Geometria. Como j foi referido neste trabalho, Descartes, tal como
Fermat, fazia uso de um sistema uniaxial, que luz dos nossos dias consideramos
como um dos semieixos positivos de um sistema de coordenadas (retangular).
Supe-se representada a parbola FAG de lado reto a (neste caso, unitrio),
fazendo coincidir o seu vrtice A com a origem de um sistema coordenado cartesiano
retangular e considerando o eixo de simetria AL um dos eixos coordenados. (Fig. 30,
31 e 32). Toma-se o ponto C em AL de tal modo que AC
a 1
e de seguida
2 2
marca-se o ponto D abaixo (Fig. 30 e 31) ou acima (Fig. 32) do ponto A , consoante
na equao se tiver p ou p , respetivamente, de modo que CD
p
.
2
Seguidamente traa-se, a perpendicular DE em D (ou em C , caso se tenha p 0 )

e toma-se DE
q
q
(ou CE ), indiferentemente de um ou do outro lado do eixo. Se
2
2
r 0 , trata-se de uma equao cbica; representa-se a circunferncia de centro no

ponto E e raio AE (Fig. 39 e 41) e as razes so obtidas atravs da interseco entre
esta circunferncia e a parbola FAG . Se r 0 , a equao do quarto grau; a partir
de A prolonga-se EA (neste sentido) at S de modo que AS a 1 , e marca-se R
em sentido contrrio de modo que AR r (Fig. 30, 31 e 32); de seguida traa-se a
semicircunferncia de dimetro RS e, elevando em A a perpendicular a ES , ela
intersecta esta semicircunferncia no ponto H ; se r estiver afetado de sinal positivo,
as razes da equao resultam da interseco entre a parbola e a circunferncia de
centro no ponto E e raio EH EG (Fig. 30 e 32); mas, se r estiver afetado de sinal
negativo, dever traar-se o ponto I tal que AI AH noutra semicircunferncia de
dimetro AE (Fig. 31) e neste caso as razes da equao so obtidas pela
interseco da parbola com a circunferncia de centro E e raio EI EG .
97
Fig. 30
Fig. 31
Fig. 32
Construo dos problemas slidos.
Figura extrada de Smith (1954, p. 194)
Aps ter exposto os procedimentos de construo, Descartes observa que a

circunferncia FG intersecta a parbola no mximo em quatro pontos ( F , G ,...), a
partir dos quais, traando os segmentos perpendiculares ao eixo, se obtm todas as
razes91 ( GK , FL ,...) da equao. O matemtico ainda acrescenta que, se q estiver
afetado de sinal positivo, as razes verdadeiras (positivas) sero as que se
encontram do lado do eixo onde se encontra o ponto E , e as falsas (os simtricos
das razes negativas) do outro lado; mas, se q estiver afetado de sinal negativo, as
falsas estaro do mesmo lado de E .
Descartes conclui a exposio do seu mtodo referindo que se no houvesse
interseco significaria que no existiria nenhuma raiz, verdadeira ou falsa, sendo
todas imaginrias. (Smith 1954, p. 200).
Com vista a ilustrar o mtodo, ser aqui analisada a resoluo grfica para
4
2
uma equao geral do tipo z pz qz r . Tal como no texto de Descartes, o
semieixo positivo das abcissas, Ax , est representado na vertical com sentido para
baixo; alm disso, optmos92 por considerar o semieixo positivo das ordenadas, Az ,
na horizontal para a direita. Observe-se que, neste caso, todos parmetros p , q e r
91
Que correspondem, neste caso, s ordenadas dos pontos de interseco da parbola com a circunferncia.
92
Como consequncia desta opo, situar-se- o ponto E direita ou esquerda do semieixo
q na equao, respetivamente.
98
Ax , consoante se tiver
q ou
esto afetados do sinal +, pelo que, de acordo com os procedimentos do mtodo

explanado, a sua construo geomtrica se enquadra na situao retratada na figura
30. Suponha-se traada a parbola FAG de vrtice A , eixo de simetria AL , e lado
reto a unitrio. Do exposto, KG e FL so as duas razes reais, sendo KG a raiz
positiva e FL a raiz negativa, que resultam da interseco entre a parbola FAG e a
circunferncia de centro no ponto E e raio EH .
Tome-se AC
a 1
2 2
e, uma vez que se tem p , considere-se CD
p
,
2
com D abaixo do ponto A . Trace-se a perpendicular DE relativamente CD sendo
DE
q
, marcado para a esquerda do semieixo. Uma vez que a equao comtempla
2
r , prolongue-se EA de modo que AS 1 , marque-se AR r para o outro lado, e

trace-se uma semicircunferncia de dimetro RS . A perpendicular a ES que passa
por A intersecta a semicircunferncia no ponto H . Representemos a circunferncia
de centro no ponto E e raio EH ; no sistema de eixos considerado, esta
circunferncia intersecta a parbola no ponto G de ordenada positiva z e no ponto
F de ordenada negativa.
Pela proposio Elementos III,31 de Euclides, o tringulo RHS retngulo e
pela proposio93 Elementos VI,13, AH 2 AS AR , donde, AH 2 r . Uma vez que o
tringulo EAH retngulo em A , tem-se pela proposio 94 Elementos I,47 a
q p 1
igualdade EH AH AE , da qual resulta EH r
. Portanto, a
2 2
2
circunferncia centrada no ponto E e raio EH tem equao
p 1
q
q p 1
x
z r
,
2
2
2 2
2
ou ainda,
x 2 ( p 1) x z 2 qz r .
Por outro lado, a parbola FAG traduzida algebricamente pela equao z 2 x .
93
Proposio Elementos VI,13 de Euclides: Num tringulo retngulo, a altura relativa hipotenusa meio proporcional entre os
segmentos em que o seu p divide a hipotenusa.
94
Proposio Elementos I47 de Euclides: Em todo o tringulo retngulo o quadrado feito sobre o lado oposto ao ngulo reto, igual
aos quadrados formados sobre os outros lados, que fazem o mesmo ngulo reto.
99
As ordenadas dos pontos em que a circunferncia intersecta a parbola so as

solues de
z 4 ( p 1) z 2 z 2 qz r ,
ou seja, da equao
z 4 pz 2 qz r .
Assim, fica demonstrado que as ordenadas dos pontos de interseco da

circunferncia e da parbola so razes desta equao. E aplica-se exatamente o
mesmo raciocnio para outras formas de equaes que representem problemas
slidos. Descartes concluiu que podia aplicar o seu mtodo aos outros casos, mas
remete essas resolues ao leitor:
E se aplicardes este mesmo clculo a todos os outros casos desta regra, trocando os
sinais e consoante a necessidade, encontrareis resultados anlogos, sem que seja
necessrio deter-me nisso. Smith (1954, p. 204).
Com o objetivo de clarificar a simplicidade deste mtodo, vamos considerar,

num sistema de coordenadas atual, exemplos de trs construes geomtricas,
particularizando valores aos parmetros p , q e r . Cada construo enquadrar-se-
numa das representaes grficas das figuras 30, 31 e 32.
Para
primeiro
exemplo
considere-se
equao
do
quarto
grau
y 4 y 2 4 y 2 . Observe-se que se tem p , q e r . E, tendo-se q as suas

razes positivas situam-se do outro lado da parbola a que pertence o centro do
crculo (Smith 1954, p. 200), e so obtidas, segundo o mtodo, pela interseco da
p 1 q
q p 1
, ) e raio EH , sendo EH 2 r
circunferncia de centro E (
,
2
2
2 2
2
2
com a parbola de equao y x ; situao retratada na Fig. 30, do processo de
construo de problemas slidos segundo Descartes.
100
Fig. 33 Representao grfica dos zeros da equao
y4 y2 4y 2 .
Fig. 34 Os zeros representados pelas ordenadas dos pontos de

interseo das duas curvas: crculo e parbola.
luz dum sistema atual de eixos, verifica-se graficamente que os zeros

4
2
(razes) da equao y y 4 y 2 , representados na figura 33, so dados pelas
ordenadas dos pontos A e B (Fig. 34) que resultam da interseco da (referida)

circunferncia cuja equao ( x 1) 2 ( y 2) 2 7 com a parbola de equao
y 2 x . Observemos que da interseco algbrica das duas curvas, se obtm a

4
2
igualdade ( y 2 1) 2 ( y 2) 2 7 , ou ainda, y z 4 z 2 0 , ou seja, a equao
y4 y2 4y 2 .
Como segundo exemplo considere-se a equao y 7 y y 10 . Observe4
se que, neste caso, se tem p , q e r . Como se tem q , as razes positivas

situam-se do mesmo lado da parbola a que pertence o centro do crculo (Smith,
1954, p. 393). E como se tem r essas razes so obtidas pela interseco da
circunferncia de centro E (
p 1 q
, ) e raio EI , sendo EI 2 AE 2 AI 2 , com a
2 2
2
parbola de equao y x ; construo retratada na Fig. 31 do processo de
construo de problemas slidos. Uma vez que AH AI , conclui-se que
q p 1
EI
r .
2 2
2
101
De modo anlogo ao do exemplo anterior, verifica-se graficamente que as

razes da equao y 7 y y 10 (Fig. 35) so representadas pelas ordenadas dos
4
pontos A e B (Fig. 36) que resultam da interseco da circunferncia de equao
1
25
( x 4) 2 ( y ) 2 com a referida parbola.
2
4
y 4 7 y 2 y 10 .

Observe-se que, algebricamente, da interseco das duas curvas, a parbola e a

circunferncia,
obtm-se
igualdade
1
25
( y 2 4) 2 ( y ) 2
,
2
4
ou
seja,
y 4 8 y 2 y 2 y 10 , ou ainda, y 4 7 y 2 y 10 .
4
2
Considere-se, por ltimo, a equao y 2 y 4 y 1 e observe-se que se
tem p , q e r . Como se tem q , as razes positivas situam-se do outro lado

da parbola a que pertence o centro do crculo (Smith, 1954, p. 393). E, como se tem
p , essas razes so obtidas pela interseco da circunferncia de centro

p 1 q
p 1 q
E (
, ) e raio EH , sendo EH 2 r
, com a parbola de
2
2
2 2
2
2
equao y x ; construo retratada na Fig. 32.
4
2
Uma vez mais se verifica que os zeros da equao y 2 y 4 y 1 (Fig. 37)
so as ordenadas dos pontos A e B (Fig. 38) que resultam da interseco da
1
2
2
2
circunferncia de equao ( x ) ( y 2)
102
21
com a parbola.
4
y 2 y 4 y 1.
4

Facilmente se verifica que da interseco algbrica das equaes duas curvas (a
1
2
2
2
2
parbola e a circunferncia) se obtm a igualdade ( y ) ( y 2)
21
, ou ainda,
4
y 4 2 y 2 4 y 1 .
3.3.5. Insero dos dois meios proporcionais

O problema da insero de dois meios proporcionais entre dois segmentos de
reta foi o veculo utilizado pela maioria dos gemetras antigos, que procuraram
encontrar a soluo do problema da duplicao do cubo. Tais problemas esto
intimamente relacionados, atravs do mtodo de reduo praticado pelos gregos e,
como j foi observado neste trabalho, Hipcrates foi um dos matemticos gregos que
reduziram o problema da duplicao do cubo determinao de dois meios
proporcionais, embora, como refere Sousa (2001), existam dvidas sobre o modo
como ter justificado a sua reduo (p. 56). Os principais conhecimentos histricos
que hoje possumos sobre os referidos problemas advm do legado de Eutcio de
lcalon, nos seus comentrios ao livro II do tratado Da Esfera e do Cilindro de
Arquimedes. A descrio de Eutcio consta de cinco longas pginas na edio
103
standard de J.L. Heiberg (Knorr, 1993, 17) e Knorr, na mesma pgina, apresenta um
breve resumo deste texto de Eutcio. E, como refere Vasconcelos,
nos comentrios Sobre a Esfera e o Cilindro que, depois de ter mencionado a carta de
Eratstenes a Ptolomeu, Eutcio indica os processos de Arquitas, Menecmo, Eratstenes, e
Nicomedes, bem como os mtodos usados por Plato, Apolnio, Diocles, Hero, Filo e Esporo,
para a insero de duas meias proporcionais entre duas retas (...). (1925, p. 553).
Apesar de os gemetras antigos se terem debruado sobre os problemas
clssicos, e portanto no problema da insero dos dois meios proporcionais para
encontrar a soluo da duplicao do cubo, no conseguiram encontrar uma soluo
atravs de mtodos que faziam apelo exclusivo de retas e crculos. A impossibilidade
da existncia de uma tal soluo, no mbito da geometria euclidiana, foi abordada por
Descartes, como iremos observar e, na opinio de Sousa (2001), talvez se possa dizer
que nasceu aqui o germe da prova dessa impossibilidade (p. 93).
Aps ter apresentado uma regra geral de construir todos os problemas
redutveis a uma equao do terceiro ou do quarto grau, atravs da interseco entre
uma parbola e uma circunferncia, Descartes aplica este seu mtodo a dois dos
problemas clssicos: a insero de dois meios proporcionais entre dois segmentos de
reta quaisquer 95 e a diviso dum ngulo qualquer em trs partes iguais, cujas
construes geomtricas so impossveis recorrendo unicamente a mtodos
euclidianos. Descartes afirmou mesmo que todos os problemas no construveis com
rgua e compasso, cujas equaes no ultrapassem o quarto grau na sua forma
irredutvel, se reduzem quelas duas construes, a da insero de dois meios
proporcionais e a da trisseco do ngulo, e concluiu que se podem construir todos
estes problemas sem ter necessidade das seces cnicas para outra coisa que no
seja extrair as razes cbicas de algumas quantidades dadas, isto , para encontrar
dois meios proporcionais entre estas quantidades e a unidade (Smith, 1959, p. 211).
A inveno dos dois meios proporcionais entre dois segmentos de reta um
dos exemplos em que Descartes recorre interseco entre um crculo e uma
parbola para encontrar a sua soluo geomtrica, uma vez que tal problema se reduz
a uma equao (irredutvel) do terceiro grau.
95
Foi atravs da procura da soluo dos problemas como a duplicao do cubo e a insero de dois meios proporcionais que, na
antiga Grcia, curvas como a cissoide e a concoide foram inventadas por Diocles e Nicomedes (Vuillemin, 1987, p. 133).
104
Dados dois segmentos de reta a e q , pretende-se determinar os dois meios

proporcionais entre eles. Sejam z e z os dois meios proporcionais entre a e q .
Ento tem-se
a z z
.

z z q
Da primeira igualdade,
obtm-se, q
a z
z2
z z
, resulta z
. Da segunda igualdade,
,
z z
a
z q
z2
z2
e, tendo em ateno z
, resulta a relao z 3 a 2 q . Observez
a
se que os quatro segmentos de reta a , z , z , q esto em progresso geomtrica de

razo
z
. Concluiu-se, assim, que a insero de dois meios proporcionais entre dois
a
segmentos de reta quaisquer, a e q , traduzida pela equao z 3 a 2 q , sendo z o

primeiro dos dois meios proporcionais procurados. Observe-se que a equao
z 3 a 2 q um caso particular da equao cbica z 3 apz a 2 q , consideradas as

condies p 0 e q afetado do sinal +.
Fig. 39 Insero de dois meios proporcionais. Figura extrada de Smith (1954, p. 205)
Seguindo os procedimentos de construo de Descartes, considere-se a

parbola FAG com lado reto a , em que o vrtice da parbola a origem de um
sistema coordenado cartesiano retangular onde o eixo de simetria um dos eixos
coordenados96 (Fig. 39). Sendo a o lado reto, uma equao da parbola z 2 ax .
96
Tal como assumido inicialmente.
105
Considerando AC
a
q
, trace-se CE perpendicular a AC e tome-se CE
.
2
2
Represente-se a circunferncia de centro E e que passa por A . Da representao

grfica, verifica-se que a interseco se d nos pontos F e na origem, o ponto A . Os
dois meios proporcionais entre os segmentos a e q so os representados
graficamente pelos segmentos FL e AL , como refere Descartes.
a q
2 2
Neste sistema de coordenadas tem-se o ponto E , . Uma equao da

circunferncia de centro E e que passa por A dada por,
2
a
q a q
x z ,
2
2 2 2
ou seja, pela igualdade, x 2 ax z 2 qz 0 .

As ordenadas dos pontos de interseco das duas curvas so dadas pelo
sistema:
z 2 ax
2
x ax z 2 qz 0
ou seja, pela equao z 4 a 2 qz , ou ainda, z 3 a 2 q . Saliente-se que, como j foi
referido neste trabalho, Descartes considera uma equao cbica como uma equao
do quarto grau em que uma das suas razes nula; alis, basta observar que no
grfico que apresenta (Fig. 39) as duas curvas se intersectam, tambm, na origem.
Ficou assim demonstrado que os dois meios proporcionais entre os segmentos
a e q podem ser encontrados pela interseco de uma circunferncia com uma

parbola. Observe-se que, atendendo s caractersticas da referida parbola (em que
FL2 a. AL ), tem-se
a
FL
FL AL
AL
a
z
z2 a
3
, ou, 2
.
FL
z z a z a2
AL
a
Tendo-se encontrado graficamente os dois meios proporcionais FL e AL , tem-se
FL2
FL a q e AL
.
a
3
A impossibilidade da resoluo dos problemas clssicos (um dos quais

reduzido ao da insero de dois meios proporcionais) depende da teoria das equaes
cbicas, conceitos algbricos que se foram desenvolvendo ao longo de vrios sculos.
106
A prova dessa impossibilidade foi esclarecida depois dos trabalhos de Abel (18021829) e Gauss (1777-1855) que envolviam a resoluo de equaes algbricas por
meio de radicais.
3.3.6. Trisseo do ngulo

O problema da trisseco do ngulo foi objeto de estudo desde a Antiga Grcia.
O desgnio dos gemetras gregos na resoluo deste problema era chegar soluo
por mtodos planos, isto , utilizando somente a rgua no graduada e o compasso,
mas nunca o conseguiram97.
Papo de Alexandria, no Livro IV da Coleo Matemtica, escreveu que os
gemetras gregos foram incapazes de resolver este problema usando apenas
mtodos planos, isto , apenas linhas recas e circunferncias, pelo facto de o
problema no ser plano mas sim slido; acrescentou que o problema ficou na
incerteza, uma vez que os primeiros gemetras no estavam familiarizados com as
seces cnicas, conforme refere Sousa (2001, p. 15). Alvo de estudo e de debates ao
longo dos anos, a impossibilidade de resoluo deste problema clssico, nas
condies colocadas, isto , apenas com rgua no graduada e compasso, teve a sua
demonstrao efetiva apenas no sculo XIX pelo matemtico francs Pierre Laurent
Wantzel, no artigo Recherches sur les Moyens de Reconnatre si um Problme de
Gomtrie Peut se Rsoudre avec la Rgle et le Compas, publicado em 1837, no
Jounal des Mathmatiques Pures et Appliques (2, pp. 366-372). Descartes traduziu
3
este problema em linguagem algbrica atravs da equao z 3z q e, uma vez
que se trata de uma equao de grau trs, usou o seu mtodo para representar
graficamente as suas razes. Observe-se que esta equao representa um caso
particular da famlia de equaes do terceiro grau consideradas por Descartes, em que
p 3 e q afetado de sinal negativo.

Para obter a referida equao cbica, Descartes comea por supor o problema
resolvido, isto , que o ngulo NOP (Fig. 40), o ngulo agudo dado que se pretende
trissectar, est dividido em trs ngulos iguais, isto , NQ QT TP . Considera
97
No perodo compreendido entre o sc. VI a. C. e o sculo Vd.C. apareceram vrias solues para este problema clssico, mas que
no estavam de acordo com os requisitos de utilizar unicamente os instrumentos euclidianos (Sousa, 2001, pp. 15-16).
107
o vrtice do ngulo NOP coincidente com o centro de uma circunferncia de raio NO

unitrio e, de seguida, traa a corda NP , subtendendo o ngulo dado, e traa
tambm QS paralelamente a TQ .
Fig. 40 Anlise da trisseo do ngulo.
Comecemos por ver que os tringulos NOQ , NQR e QRS so semelhantes.

Ora, QN S QN P e PO Q 2 NQ uma vez que NQ QT TP ; pela
proposio Elementos III, 20 de Euclides PO Q 2 QN P , donde QN S NO Q ; uma
vez que tm o ngulo Q em comum, os tringulos NOQ e NQR so semelhantes.
Por outro lado, por construo, verifica-se SQ R QO T , pois so ngulos alternos
internos determinados por OQ nas paralelas OT e QS ; mas como QO T NQ ,
ento SQ R NO Q ; uma vez que tm o ngulo R em comum, os tringulos NQR e
QRS so semelhantes. Do exposto conclui-se que os tringulos NOQ , NQR e QRS

so semelhantes entre si 98 . Pela proposio Elementos VI,4 de Euclides, os seus
lados correspondentes so proporcionais, verificando portanto a igualdade
NO NQ QR
.
NQ QR RS
Donde se conclui que NQ e QR so dois meios proporcionais entre NO e RS .
Atendendo a que NO 1 , NQ z , da dupla proporcionalidade acima
facilmente resulta QR z 2 e RS z 3 .
98
E portanto, em particular, so todos issceles, por o tringulo NOQ o ser.
108
Seja tambm NP q , e designe-se por M o ponto de interseco do raio OT

com a corda NP . Temos ento:
NP NR RM MP 2 NQ RM 2 NQ SM RS 3NQ RS ,
ou seja, q 3z z , sendo z NQ a quantidade procurada graficamente. Nesse
3
sentido, o problema geomtrico da trisseco do ngulo traduzido algebricamente

pela equao cbica, z 3 3z q , onde q uma quantidade positiva menor do que
dois.
Como tem sido registado, Descartes representa graficamente as razes da
equao recorrendo interseco de uma circunferncia com uma parbola. Assim,
comea por considerar traada a parbola FAgG (Fig. 41), cujo lado reto o dobro
de AC , isto , AC
a 1
p 3
, e em que CD . Nestas condies, a parbola
2 2
2 2
tem por equao z 2 x . De seguida, traando DE perpendicularmente a AD e

tomando DE
NP
q
, ou seja, DE
, Descartes representa a circunferncia de
2
2
centro E que passa pelo ponto A . Aps esta construo, Descartes faz notar que a
circunferncia intersecta a parbola nos trs pontos F , g e G (sem contar com o
ponto A que o vrtice 99 ), sendo que, a equao cbica q 3z z tem como
3
razes, gk , GK e FL , observando-se que as duas primeiras so positivas e a terceira

negativa. O autor acrescenta que a menor das razes positivas, obtida atravs do
ponto de interseco g da circunferncia com a parbola, o valor que se procura:
gk z NQ .
Com efeito, a circunferncia de centro E e raio AE tem equao
x 22 z q
q
4 .
2
2
z 2 x
2
2
Considerando a interseco das duas curvas:
q
q
2
x 2 z 4
2
99
Como j foi observado no presente trabalho, Descartes considera uma equao de grau trs como uma de grau quatro que tem zero
como uma das razes, sendo que o crculo intersecta sempre a parbola no vrtice.
109
obtm-se a equao:
z 4 qz 3z 2 .
Observe-se que as solues desta equao incluem o ponto A , de

coordenadas nulas. Eliminando a soluo nula, obtm-se a equao cbica
z 3 3z q , ficando, assim, provado que o problema da trisseco de um ngulo pode

ser traduzido algebricamente por esta equao. Encontrou-se, deste modo, o
segmento NQ que, no crculo de centro O e de raio unitrio, corda dum ngulo
igual tera parte do ngulo NOP .
Fig. 41 Construo geomtrica da trisseo do ngulo. Figura extrada de Smith (1954, p. 206)
Descartes conclui que a menor das razes, gk NQ , que a linha

procurada (Smith, 1954, p. 397), a corda do ngulo agudo NOQ (Fig. 40),
enquanto GK NV seria a corda da diferena entre o ngulo giro e o ngulo agudo
NOP .
Aps ter resolvido os problemas da insero de dois meios proporcionais entre
dois segmentos de reta e da trisseo do ngulo, Descartes fez notar que todos os
problemas slidos se podem reduzir a estas duas construes:
Ser suprfluo deter-me a dar aqui outros exemplos, pois todos os problemas que no
so mais que slidos se podem reduzir a tal ponto que no se tenha nenhuma necessidade
desta regra para os construir, exceto de ela servir para encontrar as duas mdias proporcionais,
ou para dividir um ngulo em trs partes iguais (Smith, 1954, p. 208).
110
De seguida o matemtico concluiu que qualquer equao cbica se reduz a

alguma das seguintes z 3 pz q , z 3 pz q , z 3 pz q e examinou as suas
condies de irredutibilidade100. Clarificou que as desigualdades,
q2 p3 q2 p3
,
e
4 27 4 27
q2 p3
, oferecem as condies necessrias, para que as razes daquelas equaes,

4 27
respetivamente, sejam unicamente reais. Observe-se que o matemtico no analisa o
caso z 3 pz q , pois reduz-se ao primeiro mediante a transformao z y .
Descartes mostrou ainda como resolver equaes de grau superior a quatro e

inferior ou igual a seis, intersectando um crculo com uma curva construda por uma
das suas mquinas (uma curva de grau mais elevado ao de uma parbola), mas que
no ser aqui abordado uma vez que se encontra fora do mbito desta dissertao.
Embora tenha descrito brevemente os seus mtodos e os tenha aplicado a
poucos exemplos, o Matemtico francs acreditava que bastava seguir o seu mtodo
para construir todos os problemas de grau cada vez complexos, ad infinitum (Katz,
2010, p. 564); Descartes revela-o ao escrever no final da sua Geometria:
Pois em matria de progresses matemticas, quando de tm os dois ou os trs

primeiros termos, no difcil encontrar os outros. E espero que os nossos descendentes me
estaro agradecidos no s pelas coisas que aqui expliquei, mas tambm por aquelas que
omiti voluntariamente a fim de deixar-lhes o prazer de invent-las. (Smith, 1954, p. 240).
Apesar de durante o resto do sculo vrios matemticos terem tentado

generalizar os mtodos de Descartes, aperceberam-se que os mtodos algbricos
assim como as novas ideias do clculo eram mais adequados para resolver problemas
geomtricos, at mesmo aqueles nos quais Descartes aplicou as suas tcnicas de
construo.
100
A condio de irredutibilidade, aqui, no significa a insolubilidade algbrica mas sim fazer o apelo unicamente s solues reais.
111
Eplogo
A Geometria Analtica no foi uma inveno espontnea por parte de dois
grandes matemticos, Fermat e Descartes, mas sim uma construo gradual que
remonta a cerca de dois mil anos antes.
Com as limitaes impostas pelo carcter e pela natureza da Geometria grega,
como sejam a da linguagem retrica, a da estruturao sinttica, e a da ausncia de
lgebra simblica, tanto Menecmo como sobretudo Apolnio j tinham conseguido
uma parte daquele que o princpio fundamental da Geometria Analtica. No grande
tratado geomtrico Cnicas, por exemplo, Apolnio fazia corresponder a uma curva
plana uma propriedade caracterstica, o sintoma, que pode ser traduzida por uma
equao com duas incgnitas num sistema de coordenadas. Contudo, a lgebra ainda
no tinha atingido um desenvolvimento suficiente para permitir operar de maneira
cmoda sobre a expresso das propriedades caractersticas das curvas. E outras
contribuies importantes, como as de Diofanto ou as de Oresme, sofreram das
mesmas limitaes. Foram avanos apenas pontuais, que no chegaram a dar o
passo decisivo na direo da Geometria Analtica.
A lgebra renascentista proporcionou a Descartes e a Fermat ferramentas
muito mais eficientes, que tornaram possvel a generalizao de resultados
anteriormente obtidos. Com recurso Arte Analtica de Vite, que desempenhou um
papel preparatrio e impulsionador no desenvolvimento das interligaes entre
problemas geomtricos e mtodos algbricos, aqueles dois matemticos franceses do
sculo XVII encontraram uma frutuosa correspondncia entre Geometria e lgebra, ao
estabelecerem que uma equao arbitrria com duas incgnitas, num determinado
sistema de coordenadas, determina uma curva no plano e, reciprocamente, que uma
curva plana tem, associada a um determinado sistema de coordenadas, uma equao
com duas incgnitas.
Ter a Geometria Analtica herdado o seu nome da Anlise dos gregos? Tanto
Descartes como Fermat aplicaram nos seus trabalhos, embora de forma diferente, os
procedimentos do mtodo analtico dos gregos: comear por assumir como certo
aquilo que se quer provar. A partir dos princpios metodolgicos da Geometria grega,
teve lugar o nascimento de obras como a Geometria de Descartes e a Ad Locos
Planos et Solidos Isagoge de Fermat, que conseguem, de forma implcita, conter o
113
Eplogo
ponto de partida a prpria Geometria grega. Para alcanarem tais proezas, Fermat e
Descartes utilizaram a lgebra, um poderoso instrumento de que a Geometria grega
no pde usufruir. Quando Descartes e Fermat, com base nas ideias de Vite,
aplicaram todo o potencial algortmico da lgebra vinda dos rabes e dos
renascentistas, a Anlise alcanou o seu mximo poder na resoluo de problemas
geomtricos, alguns dos quais tinham resistido aos mtodos clssicos. A interveno
da Anlise algbrica como procedimento metodolgico foi crucial para o progresso da
Matemtica, nomeadamente para a Geometria Analtica, na medida em que foi o facto
de se complementar a sntese geomtrica com a anlise algbrica que permitiu
queles matemticos franceses transitar da Geometria lgebra e da lgebra
Geometria.
Por que razo se fala em Geometria cartesiana e no em Geometria
fermatiana? Ser por questes de desigual difuso da Introduo e da Geometria? Ou
de originalidade? Ou de prioridade de divulgao? Os motivos apresentados por
Quintero (2001) apontam para uma diferente divulgao, na poca, alcanados pelos
trabalhos de Fermat e de Descartes. Fermat era avesso a publicar, apesar de no
recusar a fama de que merecidamente gozava entre os europeus da sua poca; a
maioria dos seus trabalhos dispersos em cartas, em notas e em breves manuscritos,
muitos dos quais cpias nicas, foram apenas publicados postumamente pelo seu
filho, e a Introduo aos Lugares Planos e Slidos foi publicada em 1679, como parte
de uma coleo intitulada Opera matemtica varia. (p. 44). Embora o trabalho de
Fermat tivesse circulado por toda a Europa e fosse apresentado de forma clara, nunca
teve a influncia de uma obra publicada; em oposio, a obra de Descartes,
considerada de difcil leitura, foi publicada em francs, em vez do usual latim Katz
(2010, pp. 555-556). Quintero defende que a ampla difuso gozada pela Geometria,
publicada em 1637, em contraste com a Introduo, em larga medida atribuda ao
trabalho de Frans van Schooten, professor em Leiden, que traduziu a obra de francs
para latim. Esta primeira traduo apareceu em 1649, complementada de comentrios
de Florimond Debeaune (1601-1652) e do prprio tradutor (2001, p. 44).
Posteriormente, uma edio de 1559-1661 alm de conter escritos de van Schooten e
notas de Florimond Debeaune, tambm incluiu comentrios de Christian Huygens e
exposies didticas da Geometria Analtica de Jan de Witt que tinha estudado com
van Schooten (Katz, 2010, p. 556).
Boyer (1994) aponta razes de prioridade de publicao das obras, ao escrever
que, como a ideia de Fermat, exposta em Ad Locus Planos et Solidos Isagoge, s foi
114
Eplogo
publicada em 1679, isso levou a que na mente de muitos a Geometria Analtica fosse
considerada inveno, unicamente, de Descartes (p. 254).
Outras razes para o sucesso da abordagem de Descartes podem encontrarse em aspetos tcnicos da sua obra. Logo no comeo da Geometria, Descartes
aritmetizou os segmentos de reta, o que lhe permitiu ultrapassar o princpio grego da
homogeneidade, a que Fermat se manteve sempre fiel. Logo de seguida, utilizando
uma notao simblica mais clara e simples do que a do seu contemporneo,
algebrizou esses mesmos segmentos. Descartes fez com que as antigas tcnicas
euclidianas adquirissem uma roupagem completamente moderna na sua utilizao
clara de tcnicas algbricas.
Apesar de terem ambos elaborado sobre os trabalhos de Vite, que abriram
portas para a compreenso da Anlise dos gregos, e apesar de terem ambos
concebido e proposto essencialmente a mesma ligao bsica entre curvas
geomtricas do plano e equaes algbricas com duas incgnitas, Fermat limitou-se a
descrever as curvas associadas s equaes do primeiro e do segundo grau,
enquanto Descartes teve o desejo de trabalhar com equaes polinomiais de grau
mais elevado. Na verdade, as Geometrias Analticas de Fermat e de Descartes so
diferentes, porque foram escritas com objetivos diferentes. Motivado pela tentativa de
reconstituio de obras antigas perdidas, o intuito de Fermat era apenas o de propor
um novo estudo, de carcter algbrico, dos lugares geomtricos. A ambio de
Descartes era mais vasta, pois pretendia demonstrar a aplicao Geometria dos
seus mtodos, baseados em princpios filosficos autoevidentes discutidos no
Discurso do Mtodo. Enquanto Fermat, na Introduo aos lugares Planos e Slidos,
fez a afirmao clara de que uma equao com duas incgnitas determina uma curva,
e aplicou este princpio, isto , a partir da equao descreveu a curva, Descartes, na
Geometria, partia da descrio geomtrica da curva para deduzir a respetiva equao.
Neste sentido, dada a natureza das curvas com que trabalhou, Descartes foi mais
longe, pois viu-se obrigado a lidar com equaes algbricas consideravelmente mais
complexas do que as do seu contemporneo, bem como a obter a construo
geomtrica das razes dessas equaes algbricas. Sem dvida que, s depois da
larga contribuio dada por Descartes e Fermat Geometria Analtica, que esta
ganhou os contornos iniciais da forma com que estamos familiarizados (Eves, 1997, p.
383).
A maioria dos matemticos europeus aderiu ao trabalho pioneiro daqueles
matemticos franceses, apesar da evoluo deste novo ramo da matemtica ter sido
115
Eplogo
relativamente lenta. Passados dois anos aps a primeira publicao da Geometria,

Girard Desargues e Blaire Pascal deram o seu contributo para o seu desenvolvimento,
com os seus primeiros escritos de Geometria projetiva (Estrada et al., 2000, p. 562).
Jan de Witt, no seu tratado Elementos de Curvas, de 1646, tratou o tema das cnicas
tanto de um ponto de vista sinttico como de um ponto de vista analtico, usando a
notao de Descartes, embora a metodologia prxima de Fermat (Katz, 2010, p. 556).
As palavras coordenadas, abcissa e ordenada, no sentido tcnico que tm hoje, foram
contribuies de Leibnitz em 1692 (Eves, 1997, p. 388). Apenas com Isaac Newton
(1691-1693) que surgiu o uso explcito de coordenadas cartesianas negativas e a
expresso Geometria Analtica foi escrita pela primeira vez na obra Cours de
Mathmatiques, de 1796-1799, da autoria de Sylvestre Franois Lacroix (Estrada et al.,
2000, p. 562).
116
Bibliografia
Aymes J. (1988) Ces Problmes Qui font Les Mathmatiques (La Trisection de
Lngle), Association des Professeurs de Mathmatiques de l'Enseignement Public,
Paris.
Bos H. J. M (2001) Redefining Geometrical exactness-Descartes Transformation
of the Early Modern Concept of Construction, Sources and Studies Editor, SpringerVerlag New York, Inc.
Boyer C. (1956) History of Analytic Geometry, New York: scripta Mathematica
Boyer C. (1994) Histria da Matemtica, 11 Edio, Editora Edgard Blcher, So
Paulo.
Busard H. (1991) Biographical Dictionary of Mathematicians: Reference
Biographies from the Dictionary of Scientific Biography, New York.
Cajori, F. (1991) A History of Mathematics, Chelsea, New York.
Chasles M. (1875) Aperu Historique sur l'Origine et Dveloppement des
Mthodes en Gomtrie, Gauthier-Villars, Paris.
Colette JP. (1981) Histria de Las Matemticas, Madrid, Siglo de vientiuno de
Espaa Editores.
Collette JP. (1997) Histoire des Mathmatiques, Montral, dition de Renouveau
Pdagogique.
Coolidge J. (1936) The Origin of Analytic Geometry, Osiris, University Chicago
Press (pp .231-250).
Coolidge J. (1940) A History of Geometrical Methods, Clarendon Press, Oxford.
Cow J. (1968) A Short History of Greek Mathematics, Chelsea, New York.
Dedron, P e Itard, J. (1959) Le Pre des Mathmatiques Modernes: Franois
Vite, em Mathmatiques et Mathmaticiens, 173-185, Paris.
Dedron P. & Itard, J. (1959) Mathmatiques et Mathmaticiens, Magnard, Paris.
Descartes R. (1637) La Gomtrie, Editora Edgard Blucher, So Paulo.
117
Bibliografia
Descartes R. (2000) O Discurso sobre o Mtodo, 9 Edio, Hemus Editora SA,

Brasil.
Descartes R. (1953) Rules for the direction of the Mind, traduo de Elizabeth S.
Haldane e G.R.T. Ross, Great Books edition, Chicago: Encyclopedia Britannica.
Estrada F. et al. (2000) Histria da Matemtica Estrada, M. & S, C. & Queir,
J. & Silva, M. & Costa, M. Universidade Aberta, Lisboa.
Garbi G. (2009) A Rainha das Cincias, Gilberto Geraldo Garbi, 3 Edio,
Editora Livraria da Fsica, S. Paulo.
Gil P. (2001) Franois Vite: o despontar da lgebra simblica, Tese de Mestrado,
FCUP, Departamento de Matemtica pura.
Heath T. L (1981) A History of Greek Mathematics, Dover, New York.
Heath T. L (1912) The Thirteen books of Euclids Elements, Cambridge, vol.2
(reedio de Dover, 1956).
Hoefer F.
(1874) Histoire des Mathmatique depuis leurs origines jusqu'au
commencement du dix-neuvime sicle, Paris.

Howard E. (1997) Introduo Histria da Matemtica, Editora da Unicamp, So
Paulo.
Katz V. (2010) Histria da Matemtica: Fundao Calouste Gulbenkian.
Katz V. (1998) A History of Mathematics: an Introduction, Addison-Wesley,
Reading.
Kline M. (1972) Mathematical Thought from Ancient to Modern Times, Oxford
University Press.
Knorr W. (1993) The Ancient Tradition of Geometric Problems, Dover, New
York.
Lopes E. (2001) Descartes A Geometria, Traduo de Emdio Csar de Queiroz
Lopes, Editorial Prometeu, Lisboa.
Mahoney M. (1994) The Mathematical Career of Pierre Fermat, Princeton
University Press, Princeton.
118
Bibliografia
Mahoney M. (1968) Another Look at Greek Geometrical Analysis, Archive for

History of Exact Sciences, 5, pp. 318-348.
Peyrard F. (1819) Les Oeuvres dEuclides, Blanchard.
Quintero R. (1996) Arte Analtico e imaginacin en
La Geometra de
Descartes, Tesis Doctoral, DME, Cinvestav.

Quintero R. (2001) La Invencin de Fermat de la Geometra Analtica, Miscelnea
Matemtica 34, pp. 43-58, SMM, Seccin de Metodologa y Teora de la Ciencia,
Cinvestav, IPN.
S C. (2007) Histria da Matemtica Grega, apontamentos das aulas fornecidas
pelo Professor Doutor Carlos Correia de S. Departamento de Matemtica pura da
FCUP.
Silva J. (2000) A Matemtica na Antiguidade, SPM, Lisboa.
Smith D. (1929) A Source Book in Mathematics, New York: McGraw Hill.
Smith D. (1958) History of Mathematics, Dover, New York.
Smith D. & Latham M. (1954) The Geometry of Ren Descartes, with a Facsimile
of the First Edition, Dover, New York.
Sousa J. (2001) Trisseco do ngulo e duplicao do cubo: as solues na Antiga
Grcia, Tese de Mestrado, FCUP, Departamento de Matemtica pura.
Struik D. (1986) A Source Book in Mathematics, 1200-1800. Princeton University
Press, Princeton.
Struik D. (1997) Histria Concisa das Matemticas, Gradiva, Lisboa.
Tannery P. (1887) La Gomtrie Grque: Comment son Histoire est Parvenue et
ce que Nous en Savons, Gauthier-Villars, Paris.
Tannery P. (1891) Oeuvres de Fermat, Tome Premier, Gauthier-Villars, Paris.
Tannery P. (1896) Oeuvres de Fermat, Tome Troisime, Gauthier-Villars, Paris.
Tannery P. (1912) Oeuvres de Fermat, Tome Quatrime, Gauthier-Villars, Paris.
Toome J. (1991) Apollonius of Perga, Biographical Dictionary of Mathematicians:
Reference Biographies from the Dictionary of Scientific Biography, Charles Scribner,
New York, 1, pp. 66-80.
119
Bibliografia
Urbaneja M. (2003) Los Orgenes de la Geometria Analtica, Fundacin Canaria

Orotava de Historia de la Cincia.
Vasconcelos F. (1925) Histria das Matemticas na Antiguidade, Aillaud e
Bertrand, Lisboa.
Vaulzard J. (1986) La Nouvelle Algbre de M. Vite, Paris.
Vincenzo B. (2007) tude Historique Des Premires Caractrisations Des
Coniques, Revista Brasileira da Histria da Matemtica, vol. 7, n14.
Vuillemin J. (1987) Mathmatiques et mtaphysique chez Descartes, Presses
Universitaires de France, Boulevard Saint-Germain.
Zeuthen H. (1902) Histoire des Mathmatiques dans Lantiquit et le moyen age,
Paris.
Outro tipo de fontes que serviram de apoio a este trabalho:

http://aleph0.clarku.edu/~djoyce/java/elements/elements.html
http://www-gap.dcs.st-and.ac.uk/~history/
www.storyofmathematics.com/17th_descartes.html
http://www.britannica.com/EBchecked/topic/204668/Pierre-de-Fermat
http://www.atractor.pt/geral/fr-emails.htm
120

Tese PDF Final V1 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Tese PDF Final V1 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Da lgebra Geomtrica

Maria Dalila Correia Pedrosa Ramos

Maria Dalila Correia Pedrosa Ramos

Gostaria de manifestar os meus agradecimentos ao Professor Doutor Carlos Manuel

imprescindveis para a formao da Geometria Analtica. feita uma anlise obra de

Palavras-chave: Histria da Matemtica, Geometria Analtica, Fermat, Descartes.

Keywords: History of Mathematics, Analytic Geometry, Fermat, Descartes.

3.3.2. O problema das quatro retas .................................................................. 77

Figura 34- Os zeros representados pelas ordenadas dos pontos de interseo

Eves conclui que a Geometria Analtica se caracteriza por permitir transferir os

Intrigados e por vezes frustrados com o estilo sinttico grego, os matemticos

Os gregos tratavam os problemas geomtricos com um misto de pura retrica e

xyz era o volume de um paraleleppedo retngulo de arestas x , y e z . Esta teoria

Esta impossibilidade foi provada formalmente apenas no sculo XIX.

(...) Apolnio, em geral usava um par de dimetros conjugados como equivalentes de

E Pedro Miguel Urbaneja refere que:

Como parte do programa de recuperao de obras matemticas gregas,

parte das snteses (Mahoney, 1994, p. 85), sem se deter em consideraes

1.1 Consequncias da incomensurabilidade na

As Origens da Geometria Analtica

incomensurabilidade marcou o desenvolvimento da matemtica grega; levantou-se

A descoberta dos incomensurveis exigiu uma reviso a fundo dos

europeia at ao sculo XVII.

As Origens da Geometria Analtica

Com o objetivo de compreender melhor a tempestade provocada pela

e , serem comensurveis significa a existncia duma terceira

grandeza u (tambm do mesmo tipo de e de

) e de dois nmeros naturais m e

n , de tal modo que u

Generalizando, grandezas 1 , 2 ,..., k (em nmero finito) do mesmo tipo serem

u do mesmo tipo e que

(Struik, 1997, p. 83).

Na matemtica atual as razes incomensurveis expressam-se mediante nmeros irracionais.

As Origens da Geometria Analtica

A impossibilidade de comparar certas grandezas recorrendo ao uso das razes

ax bc ), e a proposio Elementos VI,13, que permite obter o meio proporcional (ou

As Origens da Geometria Analtica

quadratura16, respetivamente. A equao ax bc era vista como uma igualdade de

x 2 ab , tambm vista como uma igualdade de reas, procurava-se o segmento de

Destacamos a opinio comum dos autores Boyer (1994, p. 57) e Urbaneja

As Origens da Geometria Analtica

A limitao algbrica provocada pelo aparecimento dos incomensurveis

Apolnio designa a propriedade definidora da curva por sintoma da curva.

As Origens da Geometria Analtica

Como para os gregos a palavra nmero significava nmero inteiro positivo,

que a mp , b mq , c np e d nq ; por exemplo,

das quatro partes de 28 e de igual modo 15 contm 3 das quatro partes de 20 . A

incomensurveis, a verdade que ela no era cmoda nas aplicaes prticas. Na

Deste modo, para Eudoxo, dizer que

comensurveis ou no, sendo e do mesmo tipo e sendo e do mesmo tipo,

As Origens da Geometria Analtica

Alguns historiadores sublinham o carcter moderno do trabalho de Eudoxo; por

Os gregos interessaram-se por mtodos de reduo, que aplicavam quer a

Elementos V, Definio 5 de Euclides.

As Origens da Geometria Analtica

Como j demos a entender no presente trabalho, o problema da duplicao do

fragmentrios da obra de Hipcrates revelam que estava, de facto, familiarizado com

As Origens da Geometria Analtica

As Origens da Geometria Analtica

Em vrios dos problemas que se prope resolver, Descartes tambm comea

1.2 Contributos de antecessores de Descartes e

Vrios historiadores atribuem a Menecmo de Atenas (sculo IV a. C.), da

Internationales pour lHistoire des Sciences 36 (1956, p. 226).