Universidade do Estado do Rio de Janeiro

Instituto de Matemtica e Estatstica

Disciplina: Histria da Matemtica
Professora: Patrcia Furst
Aluno: Marco Antnio de Azeredo Figueira

Eudoxo e a teoria das propores

Rio de Janeiro
Junho/2013
 O desafio dos nmeros reais

Os nmeros reais no so naturais. A frase parece bvia, mas carrega consigo o princpio
elementar da contagem atravs de nmeros chamados inteiros. Qualquer criana sabe contar "nos
dedos", associando assim cada dedo a um determinado elementos do mundo real. E quando isso
no possvel ? Neste caso, temos duas alternativas. Quando podemos subdividir as quantidades
almejadas por unidades conhecidas, por exemplo, quando temos 20 brinquedos para dividir por
10 crianas, o total de 20 elementos ser dividido por 10 unidades. Obtemos assim o resultado
igual a 2 unidades por criana. E quando o total no comporta o nmero exato de unidades ?
Nesse caso, a unidade pode ser dividida de forma a comportar o nmero total, mesmo que de
forma fracionria, conceito compreendido desde a antiguidade1.
Nos dois exemplos acima citados, estamos falando de valores comensurveis, ou seja,
possveis de serem medidos. Nestes casos, perfeitamente possvel exprimir grandezas
associadas a nmeros inteiros ou fraes mensurveis. Nossa questo, que aqui desejamos
apresentar, surge quando determinados valores no podem ser expressos em unidades, inteiras ou
submltiplas destas. Este problema bastante complexo e a muitos sculos intriga os
matemticos. Vejamos seu desenvolvimento.

Os gregos e a geometria

Os egpcios utilizavam mtodos matemticos para seus problemas cotidianos, contudo,

estavam mais preocupados com o resultado. Segundo Boyer [1974], mais com "..a mensurao e
no o de conseguir melhor compreenso"2. Assim, procuravam resolver todas os problemas do
dia a dia da forma mais prtica possvel. Um bom exemplo est contido na brincadeira infantil,
que propem a pergunta "quantos caminhes so necessrios para transportar toda a terra de uma
montanha ?". Ora, se toda a montanha couber em um caminho, a resposta um. A questo
comea quando no sabemos o tamanho da montanha e no podemos arbitrar a capacidade do
caminho.
Nesta linha de raciocnio, o professor Antnio Bivar3 em seu texto onde aborda a

1 BOYER, Carl. Histria da Matemtica. So Paulo, Edgard Blcher: 1974. Todo o captulo 2, ao tratar do
Egito, traz um importante relato sobre a utilizao de fraes e seu uso na agricultura.
2 Idem, ibdem. Captulo 2 10 p.16
3 Professor associado da Universidade Lusada.
trajetria at os nmeros reais4, faz uma interessante comparao entre sacos com pedras
unitrias e sacos de medir. Dessa forma, os restos da diviso so novamente divididos em novas
unidades. Em alguns casos, esse processo pode no ter fim. No eram assim que os gregos
pensavam. Para eles, que no conheciam ainda as expresses fracionrias tal qual conhecemos
hoje5, exprimiam como razes as relaes entre segmentos. Vejamos por exemplo, as relaes no
quadrado.

Fig. 1
Segundo o professor Geraldo vila6 (revista RPM 05), atravs de argumentos
geomtricos, podemos demonstrar que o lado e a diagonal do quadrado so segmentos
incomensurveis. Vejamos:

Na figura acima, representamos um quadrado com diagonal d = AB e lado l = AC.

Supondo que d e l sejam comensurveis, ento existir um terceiro segmento que seja

submltiplo de d e l . Observando o arco entre os pontos C e D, com centro em A e o segmento

ED, tangente a este arco em D, de sorte que AD=AC. Ento, nos tringulos ACE e ADE os
catetos AC e AD so iguais e a hipotenusa AE comum. Logo so iguais tambm os catetos CE
e DE (ou BD).Portanto:

d = AB = n u e l= m u , sendo m e n inteiros positivos.

Observamos que os tringulos ABC e ABD so congruentes, assim, podemos afirmar

4 Bivar, Antnio. Da contagem ao contnuo: uso e construo dos nmeros reais. Disponvel em
http://www.math.ist.utl.pt/~ggranja/Talentos/Apresentacoes/04_notas_bivar.pdf . Acessado em 02/06/2013.
5 CERRI, Cristina. Desvendando os nmeros reais. USP/IME. Novembro de 2006. Disponvel em
http://www.mat.ufg.br/bienal/2006/mini/cristina.cerri.pdf. Acessado em 2/6/2013.
6 (17/4/1933 29/8/2010) Foi professor do departamento de matemtica da UnB, dentre seus diversos ttulos.
que;

l 1 = d-L
Logo,

l 1 = nu mu ,
Assim,

l 1 = n 1u , sendo n1 um inteiro positivo.

Ora, esta subdiviso poderia continuar infinitamente, com n 2, n3, n4, ...concluindo ento o
professor vila que:
[...] o segmento dever ser submltiplo comum do lado e da diagonal de um
quadrado to pequeno quanto desejemos. Evidentemente, isso um absurdo!
Somos, pois, levados a rejeitar a suposio inicial de que o lado AC e a diagonal AB
do quadrado original sejam comensurveis. Conclumos, pois, que o lado e a
diagonal de qualquer quadrado so grandezas incomensurveis,

Provavelmente os gregos chegaram a esta concluso atravs de construes como a

ilustrada na figura abaixo:

Podemos ver que o quadrado construdo a partir das subtraes recprocas contnuas entre
a diagonal e o lado dos quadrados um processo que pode ser repetido inmeras vezes.
A tese da descoberta da incomensurabilidade atravs da geometria ganha fora em funo
tanto do apreo que os gregos demonstravam por este ramo da matemtica quanto pelo fato de
desconhecerem ainda a notao fracionria.
Mas nada disso impediu Eudoxo de Cnido, nascido aproximadamente em 440 a.C,
matemtico, astrnomo e filsofo, de apresentar um soluo genial para a questo, apresentada
por Euclides, na obra "Elementos".
 O postulado nmero V

No livro V dos Elementos, l-se nas seis primeiras definies (segundo Anbal Faro, das
Edies Cultura - SP, 1944, p.119)7

I
Uma grandeza se diz parte de outra grandeza, a menor da maior, quando a
menor mede a maior.
II
A grandeza maior se diz mltipla, ou multplice da menor, quando a menor mede
a maior.
III
A razo entre duas grandezas, que so do mesmo gnero, um respeito recproco
de uma para outra, enquanto uma maior, ou menor do que a outra, ou igual a
ela.
IV
As grandezas tm entre si razo, quando a grandeza menor, tomada certo
nmero de vezes, pode vencer a grandeza maior.
V
As grandezas tm entre si a mesma razo, a primeira para a segunda, e a
terceira para a quarta, quando umas grandezas, quaisquer que sejam,
equimultplices da primeira e da terceira a respeito de outras, quaisquer que
sejam, equimultplices da segunda e da quarta, so ou juntamente maiores, ou
juntamente iguais, ou juntamente menores.
VI
As grandezas, que tm entre si a mesma razo, se chamam proporcionais.

Modernamente, a definio V pode ser descrita da seguinte forma:8

x w
Sejam (primeira e segunda grandeza) e (terceira e quarta grandeza).
y z
Para todo n e m (grandezas quaisquer)
Se nx > my nw > mz
Se nx = my nw = mz
Se nx < my nw < mz

7 Extrado das "Notas histricas do desenvolvimento do clculo diferencial e integral" de Luiz Roberto Rosa,
disponvel em http://www.profwendel.com.br/downloads/22/artigos-sobre-calculo Acessado em 5/6/2013.
8 Buriol, /T.M. e Gazzoni, A. Nmeros racionais e suas representaes decimais. Revista Disciplinarum
Scientia. Srie.C.Exatas. S.Maria, v.2,n.1,p.85-98. 2001.