Вы находитесь на странице: 1из 15

Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 1

O papel da comparao entre grandezas na geometria clssica

Dilhermando Ferreira Campos*


Plnio Cavalcanti Moreira**

Introduo

Pode-se dizer que a lgebra moderna deu matemtica a sua forma de expresso atual.
Reconhecer alguns smbolos caractersticos da linguagem algbrica em uma dada sentena ,
quase sempre, o suficiente para sabermos que ali h alguma informao que envolva
matemtica.
Essa linguagem concisa e estruturada em uma sintaxe rigorosa deu grande impulso ao
desenvolvimento da matemtica ao longo da Modernidade. Nos moldes e funcionalidades que
a matemtica vinha ganhando nesse perodo, os novos conceitos algbricos e a linguagem
simblica associada contribuam para tornar mais simples a expresso das operaes, assim
como para induzir novas formas de generalizao, ao mesmo tempo que seu desenvolvimento
permitia o estabelecimento de conexes tericas antes insuspeitadas.
As possibilidades operacionais oferecidas pela lgebra simblica, que respondia a algumas
demandas modernas, tanto no plano terico, quanto na aplicao da matemtica na soluo de
problemas prticos, contriburam para uma reelaborao da matemtica clssica em alguns de
seus aspectos fundamentais, como as noes de nmero e de medida. Perceber essas
diferenas entre as bases da matemtica atual e da antiga fundamental para uma melhor
compreenso de ambas.
Por estarmos habituados linguagem atual, no incomum, para facilitar nossa
compreenso de alguma sentena da matemtica clssica, tentarmos traduzi-la para a notao
algbrica moderna. No entanto, esse procedimento pode gerar interpretaes equivocadas a
respeito da estrutura conceitual subjacente aos enunciados da matemtica antiga.
Um exemplo disso aparece quando observamos as proposies da geometria clssica.
Um dos equvocos que pode surgir dessa utilizao anacrnica da linguagem algbrica atual
est relacionado ao significado do processo de comparao entre grandezas que caracteriza
tais proposies. Ao invs de se determinar uma propriedade especfica de um objeto
geomtrico em estudo, estabelece-se uma propriedade comum entre esse objeto e algum

*
Departamento de Matemtica da Universidade Federal de Ouro Preto. Doutor em Educao.
**
Departamento de Matemtica da Universidade Federal de Ouro Preto. Doutor em Educao.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 2

outro, utilizado como termo de comparao. Assim, ao nos depararmos com a sentena as
reas de dois retngulos de mesma base ento entre si como suas alturas parece natural
questionar: mas por que no dito logo que a rea de um retngulo o produto do
comprimento da sua base pelo comprimento da sua altura? Ou, mais sinteticamente,
que A b h ?
Essa indagao surge, a nosso ver, de uma compreenso limitada dos pressupostos e
dos problemas enfrentados pelos pensadores gregos no processo de formalizao da sua
matemtica. Esse mtodo de comparao entre grandezas utilizado pelos matemticos antigos,
que, a um leitor moderno, pode fazer soarem redundantes determinadas proposies da
geometria clssica, na verdade, permitiu que essa geometria, valendo-se de um corpo
conceitual mais simples, viesse a se fundar em bases lgicas to rigorosas, para a poca,
quanto so as da matemtica atual para ns.

O problema da incomensurabilidade

O desenvolvimento da geometria na Grcia antiga passou por diversos estgios e


reformulaes. A historiografia tradicional nos legou a ideia de uma sequncia de construes
tericas que, tomando como ponto de partida o pensamento dedutivo, passando pela crise dos
incomensurveis, conduziram os matemticos geometria sistematizada por Euclides (~300
a.C.) em seus Elementos.
Nas ltimas dcadas, esse tipo de narrativa vem sendo desconstruda por trabalhos que
mostram uma matemtica grega bem mais diversificada e que se desenvolvia seguindo
distintos critrios de rigor e fundamentao.1 Sabemos, alm disso, que existiram outros
Elementos anteriores ao livro de Euclides. No entanto, a viso euclidiana, expressa nos
Elementos, que veio influenciar, sobremaneira, o desenvolvimento posterior da matemtica
ocidental, estabelecendo alguns pilares conceituais e parmetros de rigor que s foram
contestados, de forma mais contundente, no perodo moderno. Por esse motivo, quando
dizemos matemtica clssica, normalmente, ao modelo euclidiano que estamos nos
referindo.
Muito do desenvolvimento terico da matemtica grega se deve ao desejo de
estabelecer uma abordagem comum para o tratamento da aritmtica, que lidava, na poca,

1
Como exemplos desses trabalhos, podemos mencionar The Evolution of the Euclidean Elements: A Study of the
Theory of Incommensurable Magnitudes and Its Significance for Early Greek Geometry, de W. Knorr, e The
Mathematics of Platos Academy: A New Reconstruction, de D. Fowler. (KNORR, 1975) (FOWLER, 1987)
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 3

com entes discretos (nmeros inteiros), e da geometria, que lida com o contnuo (grandezas2
como comprimento, rea, volume). Uma das formas de se interpretar a sistematizao da
matemtica nos moldes apresentados nos Elementos como uma proposta de tratamento da
aritmtica e da geometria a partir de uma mesma base conceitual.
A problematizao da relao entre o discreto e o contnuo na matemtica grega tem
sua origem nos trabalhos da escola pitagrica, que se iniciaram quase dois sculos antes de
Euclides e traziam a tentativa de reduzir as grandezas a nmeros. Isso significa que seria
sempre possvel estabelecer uma correspondncia entre uma grandeza e um nmero inteiro
(ou uma razo entre inteiros). Dentro da filosofia pitagrica, essa questo adquiria um
significado que ia muito alm da matemtica. Estava relacionada hiptese metafsica que
tomava o nmero como a unidade bsica do universo. Dar uma fundamentao aritmtica
geometria seria, portanto, uma maneira de afirmar a precedncia dos nmeros sobre a
constituio das grandezas.
Mensurar (ou medir) significa contar quantas vezes a unidade cabe numa dada
grandeza. Na comparao entre grandezas de mesma espcie, elas so ditas comensurveis
quando uma mesma unidade de medida couber exatamente, em cada uma delas, um nmero
inteiro de vezes. A figura seguinte ilustra a comparao entre os segmentos AB e CD que
contm exatamente um nmero inteiro de vezes um segmento unitrio OO' , o que nos
permitiria dizer, observando esse exemplo, que AB est para CD na mesma razo em que 2
est para 3. Esse fato pode ser denotado por AB : CD 2 : 3 .

Figura 1

A hiptese por trs da generalizao desse procedimento de comparao a duas


grandezas genricas de mesma natureza que sempre conseguiremos encontrar uma unidade
comum a essas duas grandezas, ou seja, que quaisquer duas grandezas de mesma espcie so
comensurveis. Como o estabelecimento dessa unidade de medida arbitrrio, plausvel
imaginarmos que sempre seria possvel se obter algum segmento unitrio que coubesse

2
Em grego, (mgethos): grandeza, extenso, magnitude. Segundo Aristteles (Meta. 1020a), a
extenso uma quantidade mensurvel que potencialmente divisvel em partes contnuas em uma, duas ou trs
dimenses.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 4

exatamente um nmero inteiro de vezes nas grandezas a serem comparadas. Partindo dessa
hiptese, os pitagricos conseguiram muitos resultados importantes. Para exemplificar,
observe a seguinte prova do Teorema de Tales. Esse teorema diz que um feixe de retas
paralelas cortado por transversais determina, sobre as transversais, segmentos correspondentes
proporcionais.
Tomemos um feixe de trs retas paralelas interceptadas pelas transversais r e s nos
pontos A, B, C , A' , B' e C ' , conforme a figura abaixo:

Figura 2

Consideremos um segmento OO' que caiba m vezes no segmento AB e n vezes no


segmento BC, ou seja, AB m OO' e BC n OO' . Podemos traar m 1 retas paralelas a
AA' , de modo que elas dividam AB em m segmentos de tamanho OO' . Podemos, tambm,
traar n 1 retas paralelas a BB ' , de modo que elas dividam BC em n segmentos de tamanho
OO' . Essas mesmas retas dividiro A' B ' e B'C ' em m e n segmentos, respectivamente, todos
de mesmo tamanho, digamos PP ' . Desse modo, A' B' m PP' e B' C ' n PP' .

Figura 3
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 5

Temos, assim, que AB : BC m OO': n OO' , ou seja, AB : BC m : n , e que


A' B': B' C ' m PP ': n PP ' , o que implica que A' B': B' C' m : n . Conclumos ento que AB e
BC esto entre si na mesma razo que A' B ' e B'C ' .
O problema que essa prova acima incompleta, pois ela pressupe que sempre
possvel encontrar uma unidade de medida comum entre dois segmentos. Mas essa hiptese
no verdadeira. Como se sabe, existem grandezas que so incomensurveis. Um exemplo de
um par de grandezas incomensurveis dado pelo lado de um quadrado e sua diagonal. Para
mostrar que esses segmentos so incomensurveis podemos raciocinar da seguinte maneira:
Observemos a figura abaixo, na qual EF tangente ao crculo AEC de centro D e raio
DA DE DC .

Figura 4

Primeiramente, notamos que o segmento BE o resto da operao de contar quantas


vezes o lado do quadrado ABCD cabe na diagonal. Em segundo lugar, deduzimos que o
segmento BH o resto da operao de contar quantas vezes BE cabe no lado do quadrado
ABCD. A justificativa desse ltimo fato a seguinte: como o ngulo BEF reto e o ngulo
DBC a metade de um reto, os catetos BE e EF so congruentes. Mas EF FC , pois so
segmentos tangentes ao crculo em C e E, traados de um mesmo ponto F. Assim, o lado BC
contm duas vezes o segmento BE (uma vez CF e outra vez FH). Agora considere o
quadrado EBGF e note que o seu lado o primeiro resto da comparao entre a diagonal e o
lado do quadrado maior. O segmento BH a diferena entre a diagonal de EBGF e o seu lado
FE (que igual a FH), isto , BH o segundo resto. Esse procedimento pode ser continuado

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 6

indefinidamente traando-se uma tangente ao crculo EHG em H, marcando duas vezes o


segmento BH no lado BG, encontrando um novo resto e assim sucessivamente. Podemos
ento concluir que a diagonal e o lado do quadrado ABCD (dado originalmente) so
incomensurveis, uma vez que, se fossem comensurveis, esse processo teria que levar a um
resto zero em algum momento, o que, evidentemente, no acontece.3
A descoberta da incomensurabilidade foi um empecilho realizao do projeto da
escola pitagrica de reduzir a geometria aritmtica. Ainda assim, necessrio ressaltar que
eles

(...) no separavam os nmeros do mundo fsico, como far Plato. Os nmeros so a natureza
profunda de tudo o que pode ser percebido e mostram o poder de tornar compreensvel a
ordem e a harmonia do mundo emprico. (...) Ainda que diversos resultados geomtricos
encontrados nos Elementos de Euclides sejam atribudos a Pitgoras, deve-se ter cuidado ao
inferir que o conhecimento geomtrico da escola pitagrica semelhante ao descrito por
Euclides. Ao que parece, a matemtica pitagrica possua um carter bem mais concreto.
Apesar de ser inseparvel do ideal filosfico de explicar o mundo por meio de nmeros, os
nmeros pitagricos no eram entidades abstratas. (ROQUE, 2012: 111-112)

Por cultivarem essa noo concreta de nmero e pela nfase que colocavam na
aritmtica, estudos mais recentes vm relativizando o real impacto da descoberta da
incomensurabilidade entre os pitagricos.4 No entanto, inegvel que a existncia de
grandezas incomensurveis cria enormes dificuldades a qualquer projeto que pretenda
fundamentar a matemtica na aritmtica dos inteiros.
Na prxima seo, veremos como se pode lidar com a incomensurabilidade a partir da
concepo dos irracionais como os nmeros que expressam a medida de todos os segmentos
incomensurveis com um segmento unitrio predeterminado. A soluo moderna vai utilizar,
em particular, concepes de nmero real e de medida de uma grandeza (dada uma unidade
de medir) intrinsecamente associadas a processos infinitos, bastante diferentes, portanto, do
que est contido na base conceitual clssica, que ser mostrada na ltima seo.

A soluo moderna ao problema da incomensurabilidade

A resposta moderna ao problema da incomensurabilidade est associada a uma srie


de mudanas nas bases conceituais e nos critrios de rigor da matemtica clssica. As novas

3
Para maiores detalhes sobre a incomensurabilidade, ver: Conceitos Fundamentais da Matemtica, de B. J.
Caraa, Trs estudos sobre Histria e Educao Matemtica, de A. Miguel, e Medida e Forma em Geometria:
Comprimento, rea, Volume e Semelhana, de E. L. Lima. (CARAA, 1984) (MIGUEL, 1993) (LIMA, 1991)
4
Para uma sntese desses debates atuais sobre o tema, ver o artigo Revisitando a Descoberta dos
Incomensurveis na Grcia Antiga. (GONALVES; POSSANI, 2010)
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 7

teorias e ferramentas matemticas surgidas no incio do perodo moderno foram


acompanhadas, por diferentes motivos, de uma reviso dos fundamentos da matemtica antiga
e de uma reestruturao desse campo do conhecimento em novas bases axiomticas. Ao longo
desse processo, ou mesmo em consequncia dele, a noo de nmero sofreu significativas
transformaes.
Independentemente de possuir um significado mais concreto ou abstrato em diferentes
contextos de uso, na matemtica antiga a palavra nmero tinha sempre a conotao de
nmero inteiro5. Uma razo entre inteiros, diferentemente de como a concebemos hoje ou
seja, como um nmero racional era a forma utilizada para comparar duas grandezas de
mesma espcie. Assim, seria possvel concluir que uma rea A1 est para uma rea A2 do
mesmo modo (ou na mesma razo) que 2 est para 3, mas no fazia sentido dizer, como
fazemos atualmente, que a medida da rea A1 dividida pela medida da rea A2 igual ao
nmero 2/3, ou que a razo entre as reas A1 e A2 o nmero 2/3.6
A possibilidade de representao decimal dos nmeros, utilizando os algarismos indo-
arbicos, introduzidos na Europa no sculo XIII, um dos elementos que contribuiu para a
consolidao da ideia de tomarmos razes como nmeros. Alm disso, a formalizao do
conceito de nmero real, concebida na segunda metade do sculo XIX, a partir da noo de
corte no conjunto dos nmeros racionais, veio instituir a caracterizao formal e rigorosa
daqueles nmeros que expressam as razes entre incomensurveis os nmeros irracionais.
V-se, assim, estampada nos prprios nomes dos conjuntos numricos, a identificao que foi
se forjando entre razo e nmero: os reais so formados pela juno dos racionais, ou seja,
aqueles que expressam as razes (entre dois inteiros), com os irracionais, aqueles que no
so racionais, que no expressam uma razo entre inteiros, mas a razo entre
incomensurveis.
Como mostrado na seo anterior, as formas de estabelecer relaes entre as grandezas
e os nmeros, basicamente atravs da comparao e do uso das razes, foram muito influentes
nos caminhos seguidos pela geometria grega. De certo modo, essa foi uma questo sempre
presente na matemtica posteriormente desenvolvida no Ocidente. Assim, a ampliao do
conceito de nmero para abarcar os racionais e, principalmente, os irracionais pode ser vista,
tambm, como uma resposta ao problema da incomensurabilidade.
A necessidade de comparar apenas grandezas de mesma espcie (homogeneidade de
grandezas) imposta pela noo de medida presente nos pressupostos da matemtica antiga

5
Na nomenclatura moderna, diramos nmero natural.
6
Na prxima seo, veremos a definio de razo dada por Euclides nos Elementos.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 8

cedeu lugar possibilidade de comparar grandezas de natureza diferente, atravs do uso de


uma unidade abstrata. Por exemplo, pode-se, hoje, pensar na razo entre o nmero de
habitantes de uma regio e a rea dessa regio, utilizando a unidade abstrata habitantes por
metro quadrado. Essa razo, algumas vezes, ganha at um nome especfico, passando a
representar, por si mesma, uma outra grandeza, como no caso da densidade populacional, ou
como acontece tambm no caso do conceito de densidade (massa por unidade de volume),
velocidade (variao de posio por unidade de tempo) etc.
A forma ampliada da noo de nmero est na base da estruturao da lgebra
simblica moderna. A possibilidade de estabelecer operaes gerais sobre smbolos e
manipular grandezas, reduzidas a quantidades numricas desconhecidas, deu maior liberdade
operacional aos procedimentos matemticos. A questo da incomensurabilidade tambm
recebeu uma abordagem numrica, atravs da associao de qualquer razo a um nmero real,
apenas com a observao de que a razo entre incomensurveis sempre irracional. Enfim, a
expanso da noo de nmero abriu a possibilidade de reduzir aos nmeros (e suas relaes)
uma srie de conceitos fundamentais, como o de funo, limite, derivada etc.
Entretanto, o problema de trabalhar, na geometria de hoje, com os nmeros reais
representando as grandezas contnuas e suas razes que, muitas vezes, os argumentos
funcionam bem para o caso das grandezas comensurveis (porque as razes envolvidas so
fraes, ou seja, se reduzem a razo de inteiros), mas no possvel adapt-los, de modo
simples, a situaes que envolvem grandezas incomensurveis. No Teorema de Tales, por
exemplo, a demonstrao moderna acaba se dividindo em dois casos: um primeiro, quando os
segmentos marcados em uma das transversais so comensurveis (caso analisado na seo
anterior) e um segundo, quando esses segmentos so incomensurveis. Neste ltimo caso,
usamos o resultado fundamental de que todo nmero irracional o limite de uma sequncia de
racionais que pode aproxim-lo tanto por baixo (por valores racionais menores, que vo
crescendo) como por cima (por valores racionais maiores, que vo decrescendo). A
finalizao da prova do Teorema de Tales ficaria assim:
AB
Suponhamos que , com irracional. Seja an uma sequncia crescente de
BC
nmeros racionais, tal que an .7 Deixando fixos os pontos A e C, cada an determina um

7
Leia-se o smbolo como tende a ou converge para.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 9

ABn
ponto Bn em AB com an (*). Para cada n, seja B'n o ponto de interseo, com A' B ' ,
BnC

da paralela s retas do feixe traada de Bn . Nessas condies, temos o seguinte:

Figura 5

A' B'n
a) an
B 'n C '

b) Bn B quando n

c) B 'n B ' quando n

O item a) acima segue da parte j provada, na seo anterior, no caso dos segmentos
AB e BC serem comensurveis ( ABn comensurvel com BnC ). Agora, basta tomar o limite
nas igualdades (*) e a) acima e teremos:

ABn AB A' B'n A' B'


lim e lim
n B C BC n B' C ' B' C '
n n

Assim, podemos concluir que

AB A' B'

AC B' C '

mesmo quando os segmentos AB e AC so incomensurveis, ou seja, tm uma razo


irracional.

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 10

A teoria das propores e o papel da comparao entre grandezas

A resposta ao problema da incomensurabilidade dada na matemtica sistematizada nos


Elementos veio atravs de uma teoria das propores atribuda a Eudoxo de Cnido (~390-338
a.C). Essa teoria permitiu o estabelecimento de relaes de proporo entre grandezas,
independentemente da comensurabilidade delas.
Se duas grandezas so comensurveis, encontrando o nmero de vezes que cada uma
delas contm uma unidade comum de medida, conseguiremos expressar a razo entre essas
grandezas como comparao entre quantidades inteiras. Para saber se outras duas grandezas
esto na mesma proporo, bastaria encontrar, do mesmo modo, o nmero de vezes que cada
uma dessas outras grandezas contm uma unidade de medida comum e verificar se as duas
razes encontradas so equivalentes. O problema apareceria, em tese, quando lidamos com
grandezas incomensurveis. Entretanto, a teoria das propores de Eudoxo permite definir
relaes de proporcionalidade entre grandezas, sem que seja necessrio problematizar a
comensurabilidade entre elas.
Definindo, previamente, razo como a relao de certo tipo concernente ao tamanho
de duas magnitudes8 de mesmo gnero, Euclides apresenta, no incio do livro V dos
Elementos, essa teoria eudoxiana das propores nos seguintes termos:

Magnitudes so ditas estar na mesma razo, uma primeira para uma segunda e uma terceira
para uma quarta, quando os mesmos mltiplos da primeira e da terceira ou, ao mesmo tempo,
excedam ou, ao mesmo tempo, sejam iguais ou, ao mesmo tempo, sejam inferiores aos mesmos
mltiplos da segunda e da quarta, relativamente a qualquer tipo que seja de multiplicao,
cada um de cada um, tendo sido tomados correspondentes.

E, na definio seguinte, estabelece que magnitudes, tendo a mesma razo, sejam


ditas em proporo. (EUCLIDES, 2009: 205)
Segundo a definio dos Elementos, uma grandeza A est para uma grandeza B (da
mesma espcie de A) na mesma razo em que uma grandeza C est para uma grandeza D (da
mesma espcie de C) se, dados dois nmeros inteiros m e n quaisquer, sempre que mA nB ,
se ter mC nD , sempre que mA nB , se ter mC nD , e se mA nB , se ter mC nD .
Neste caso, podemos dizer que os pares de grandezas A, B e C, D esto em proporo, ou seja,
que A est para B da mesma maneira (ou na mesma razo) que C est para D, o que ser
notado por A : B C : D .
8
Magnitude sinnimo de grandeza. Na edio brasileira dos Elementos, vertida para o portugus diretamente
do grego por Irineu Bicudo, a palavra mgethos foi traduzida por magnitude.
Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG
08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 11

Assim, como dissemos, o estabelecimento da relao de proporcionalidade entre as


quatro grandezas (duas a duas) pode ser feito sem qualquer referncia comensurabilidade.
Esse tipo de procedimento deu aos matemticos gregos o instrumento terico capaz de
permitir a anlise de situaes em que a incomensurabilidade era uma possibilidade, sem
abord-la diretamente e mantendo uma noo de nmero restrita aos inteiros positivos.
quase sempre com esse papel que as comparaes entre grandezas aparecem na geometria
clssica.
Para exemplificar a utilizao dessa teoria das propores, mostraremos uma
demonstrao completa do Teorema de Tales, de acordo com os pressupostos da geometria
antiga. Na proposio 38 do livro I dos Elementos, Euclides mostra que tringulos com bases
iguais e alturas iguais tm reas iguais (e, como consequncia, podemos concluir que, entre
tringulos que possuem a mesma altura, o que tiver maior base ter a maior rea). Partindo
desse resultado e utilizando a teoria das propores de Eudoxo, pode-se demonstrar a primeira
proposio do livro VI, dedicado ao estudo das propores, que diz que as reas de tringulos
que possuem a mesma altura esto entre si como as bases.
Considere dois tringulos ABC e ADE com bases BC e DE contidas em uma mesma
reta r, como mostrado na figura 6. Indiquemos por ABC a rea do tringulo ABC e por
ADE a rea do tringulo ADE. No prolongamento de CB marcamos, a partir de B, m 1
pontos, denotados por B2, B3, ..., Bm, de modo a formar segmentos com tamanhos iguais a CB,
ligando cada um desses pontos a A. Dessa forma, BmC mBC e ABmC mABC . No

prolongamento de DE, analogamente, marcamos, a partir de E, n 1 pontos E2, E3, ..., En,
formando segmentos de tamanho DE, ligando esses pontos a A. Assim, DEn nDE e

ADEn nADE .

Figura 6

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 12

Pela proposio 38 do livro I, citada acima, sempre que ABmC ADEn , se ter

BmC DEn , ou seja, sempre que mABC nADE , teremos mBC nDE .

Alternativamente, sempre que ABmC ADEn , se ter BmC DEn , ou seja, sempre que

mABC nADE , teremos mBC nDE . Ou ainda, sempre que ABmC ADEn , se

ter BmC DEn , ou seja, sempre que mABC nADE , teremos mBC nDE . Desse

modo, pela teoria eudoxiana das propores, conclumos que ABC : ADE BC : DE .
Na primeira parte da proposio seguinte do livro VI dito que caso alguma reta seja
traada paralela a um dos lados de um tringulo, corta os lados do tringulo em proporo
(EUCLIDES, 2009: 233). Para demonstrar essa afirmao, considere o tringulo ABC abaixo,
de base BC, e um ponto D em AB. Seja E um ponto do segmento AC tal que DE e BC sejam
paralelos. Nesses termos, provar a proposio 2 mostrar que BD : AD CE : AE .

Figura 7

Traando os segmentos BE e CD, temos, pela proposio 38 do livro I, que


BDE CDE (mesma base DE e mesma altura relativa DE). Desse modo,
BDE : ADE CDE : ADE . Observamos agora que os tringulos CDE e ADE tm a
mesma altura relativa s bases EC e AE, respectivamente. E que os tringulos BDE e ADE
tm a mesma altura em relao s bases BD e AD, respectivamente (ver figura 8).

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 13

Figura 8

Assim, utilizando a proposio 1, que diz que as reas de tringulos que tm alturas
iguais esto entre si como as bases, temos: BDE : ADE BD : AD e
CDE : ADE CE : AE . Como BDE CDE , segue que BD : AD CE : AE , como
queramos.
Observe que esse resultado prova o Teorema de Tales, pois, na situao geral, basta
introduzir uma reta paralela a AC passando por A' e usar o resultado acima provado (ver
figura 9).

Figura 9

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 14

Consideraes finais

Esperamos ter deixado claro o seguinte: a comparao entre grandezas atravs das
razes, juntamente com a teoria das propores, resolve perfeitamente o problema da
incomensurabilidade, sem a necessidade de ampliao da noo de nmero para alm dos
inteiros positivos e/ou de recorrer a processos infinitos. Neste sentido, o aparato conceitual
utilizado por Euclides pode ser visto como logicamente rigoroso e formalmente suficiente. As
frmulas para o clculo das reas e volumes em funo de medidas lineares no faziam
sentido naquele cenrio, porque os nmeros se limitavam a medir o discreto. O papel da
comparao entre grandezas, atravs da teoria das propores de Eudoxo, era exatamente
possibilitar a superao da dificuldade colocada pela impossibilidade de medir o contnuo
com uma noo de medida e de nmero que no inclua a passagem ao infinito. E este papel
no deve, a nosso ver, ser tomado, hoje, como uma limitao conceitual da poca.
A estratgia moderna, nas situaes em que ocorre a incomensurabilidade, reduzir ao
caso comensurvel, atravs da aproximao do nmero irracional por nmeros racionais
an (ou, equivalentemente, atravs da aproximao dos segmentos incomensurveis AB e BC,

por segmentos comensurveis ABn e BnC ). O argumento utilizado nos Elementos, com base
na teoria das propores de Eudoxo e na comparao de reas, resolve a questo em um nico
movimento, sem a necessidade de separar o problema em dois casos e sem introduzir a
considerao de processos infinitos. Essa diferena de abordagem foi evidenciada nas
demonstraes aqui apresentadas do Teorema de Tales.
Em suma, se, por um lado, o sucesso da matemtica moderna em estabelecer uma
correspondncia entre nmeros e grandezas contnuas mostra-se atravs da criao de uma
base conceitual complexa que envolve a extenso da ideia de nmero e sua vinculao a
processos infinitos, por outro, Euclides resolveu essa mesma questo com conceitos mais
simples, atravs da teoria das propores de Eudoxo e da comparao de grandezas por meio
de razes entre inteiros. A concluso deste nosso estudo poderia ser resumida assim: tudo
relativo nesse mundo de comparaes.

Referncias bibliogrficas

ARISTTELES. Metafsica. Trad. Leonel Vallandro. Porto Alegre: Editra Globo, 1969.

CARAA, B. J. Conceitos Fundamentais da Matemtica. Lisboa: S da Costa, 1984.

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9
Anais Eletrnicos do 14 Seminrio Nacional de Histria da Cincia e da Tecnologia 14 SNHCT 15

EUCLIDES. Os Elementos. Trad. Irineu Bicudo. So Paulo: Editora UNESP, 2009.

FOWLER, D. The Mathematics of Platos Academy: a New Reconstruction. Oxford:


Clarendon Press, 1987.

GONALVES, C. H. B.; POSSANI, C. Revisitando a Descoberta dos Incomensurveis na


Grcia Antiga, Revista Matemtica Universitria, 47, 2010, p. 16-24.

KNORR, W. The Evolution of the Euclidean Elements: A Study of the Theory of


Incommensurable Magnitudes and Its Significance for Early Greek Geometry. Dordrecht:
Reidel Publishing Company, 1975.

LIMA, E. L. Medida e Forma em Geometria: Comprimento, rea, Volume e Semelhana. Rio


de Janeiro: SMB, 1991.

MIGUEL, A. Trs estudos sobre Histria e Educao Matemtica. Tese (Doutorado em


Educao). Faculdade de Educao, Unicamp, Campinas, 1993.

ROQUE, T. Histria da Matemtica: Uma Viso Crtica, Desfazendo Mitos e Lendas. Rio de
Janeiro: Zahar, 2012.

Belo Horizonte, Campus Pampulha da Universidade Federal de Minas Gerais UFMG


08 a 11 de outubro de 2014 | ISBN: 978-85-62707-62-9