Teoria das proporções de Eudoxo elimina números reais

Junio de 2005, Nmero 2, pginas 91 - 110
ISSN: 1815-0640
As duas maiores contribuies de Eudoxo de Cnido

a teoria das propores e o mtodo de exausto
Vincenzo Bongiovanni
PUC-SP
Introduo
Para os pitagricos, todas as grandezas (comprimento, rea, volume,...)

podiam ser associadas a um nmero inteiro ou a uma razo entre dois nmeros
inteiros. Admitiam que os nmeros racionais eram suficientes para comparar, por
exemplo, segmentos quaisquer de reta. Dados dois segmentos, supunham que
existia sempre um segmento que cabia um nmero inteiro de vezes num deles e
um nmero inteiro de vezes no outro. Nesse caso, os segmentos eram
comensurveis. Em notao moderna, dizer que os dois segmentos AB e CD so
comensurveis significa dizer que existe um segmento u e dois naturais m e n tais
que AB=nu e CD=mu. Num dado momento da histria, descobriu-se a existncia de
grandezas incomensurveis. Essa descoberta marcou profundamente o
desenvolvimento da matemtica grega. Vitruvius (sculo I a.C), na sua obra Dez
livros de arquitetura, o mais antigo texto sobre a histria da matemtica que chegou
at os nossos tempos em sua verso original, atribui a Pitgoras e a seus discpulos
a descoberta de grandezas incomensurveis. Mais tarde Proclus (420-485 D.C) no
prlogo do livro Os comentrios sobre o primeiro livro dos Elementos de Euclides
atribui tambm tal descoberta escola pitgrica. Esse fato destruiu a crena de
que o universo era governado por nmeros inteiros. Alguns historiadores associam o
aparecimento de grandezas incomensurveis com a aplicao do teorema de
Pitgoras no tringulo retngulo em que a hipotenusa a diagonal de um quadrado
e os catetos so os lados do quadrado.
Aristteles refere-se a uma demonstrao onde se supe que a diagonal e o

lado do quadrado so comensurveis para se chegar num absurdo com a concluso
que um mesmo inteiro par e mpar. A idia do raciocnio por absurdo que segue foi
provavelmente concebido no meio da escola pitagrica.
Vamos supor que o lado AB e a diagonal DB sejam segmentos comensurveis.

Logo existem um segmento u e dois inteiros m e n tais que AB = mu e DB = nu.
Portanto o segmento AB mede m e o segmento DB mede n. Pelo teorema de
Pitgoras n = m + m, ou seja, n = 2m. Portanto (n/m)=2. Seja a/b uma
frao irredutvel tal que n/m=a/b. Como (a/b)=2 ento a=2b. Portanto a par
e conseqentemente a par. Como a/b irredutvel, b deve ser mpar. Como a
par, existe um inteiro k tal que a=2k. Como a=2b ento 4k=2b. Logo b
par. Conclui-se que b tambm par. Absurdo pois b mpar.
O artigo de K.von Fritz A descoberta da incomensurabilidade por Hipasus de

Metapontum introduziu uma nova dimenso ao problema. Ele desloca radicalmente
a questo da incomensurabilidade para a diviso de um segmento em mdia e
extrema razo. Von Fritz observa que apesar de Proclus atribuir a Pitgoras a
descoberta dos incomensurveis, todos os outros textos se referem a Hipasus de
Metapontum nascido por volta de 500 a.C. Segundo ele essa descoberta pode ter
sido feita por volta de 450 a.C e est relacionada com as faces pentagonais de um
dodecaedro regular e com o pentagrama (emblema dos pitagricos). Uma
possibilidade de justificar que o lado do pentgono regular e o lado do pentagrama
so incomensurveis a seguinte:
REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 92

Vamos supor que o lado AE e a diagonal AD do pentgono regular ABCDE

sejam comensurveis. Logo existe um segmento u e inteiros positivos m e n tais
que AE = mu e AD = nu com n > m pois AD maior que AE. As diagonais do
pentgono regular ABCDE determinam um novo pentgono regular ABCDE.
Como AD - AE = BEcom AD = nu e AE = mu ento BE=(n-m)u.

Como AE-BE=AB, conclui-se que AB= mu-(nu - mu)=(2m-n)u
Logo se houver um segmento u que seja submltiplo comum da diagonal AD e
do lado AE do pentgono regular inicial ento o mesmo segmento u ser
submltiplo dos segmentos EB e AB, ou seja, da diagonal e do lado do novo
pentgono regular ABCDE.
O mesmo argumento que permitiu passar do pentgono inicial ABCDE ao
pentgono ABCDE pode ser repetido para se chegar a um outro pentgono
menor ainda. Aps um nmero finito de repeties teremos um pentgono de
lado an e diagonal dn comensurveis com relao ao segmento u e com an < u,
o que uma contradio. Logo o lado e a diagonal do pentgono inicial so
incomensurveis.
Conseqncias dessa descoberta?
Os dilogos de Plato mostram que os matemticos ficaram profundamente

perturbados com essa descoberta que destrua a generalidade da teoria das
propores pois que todas as demonstraes eram baseadas no nmero como

coleo de unidades. O segmento j no podia mais ser considerado indivisvel, mas

infinitamente divisvel. Surgia ento a necessidade de se criar uma teoria sobre
razes envolvendo grandezas comensurveis e incomensurveis. As
demonstraes comeavam a utilizar cada vez mais raciocnios associados a
reas.
Outra conseqncia dessa descoberta foi a necessidade de se elaborar uma

teoria de divisibilidade mais ampla do que a teoria do par e mpar.
Por volta da mesma poca em que se dava a devastadora descoberta dos

incomensurveis, Zeno de Elia apresentava paradoxos onde mostrava que
considerar grandezas divisveis infinitamente levava a contradies e considerar
grandezas indivisveis levava tambm a contradies.
Boyer no livro A histria do clculo e seu desenvolvimento conceitual diz:

Aristteles e outros filsofos gregos procuraram responder a esses paradoxos, mas
o fizeram de maneira to pouco convincente, que os matemticos da poca
concluram que era melhor evitar totalmente os processos infinitos.
Quem foi Eudoxo de Cnido ?
Pouco se sabe da vida de Eudoxo. Foi discpulo de Plato e parece ter sido o
primeiro a resolver completamente o problema das grandezas incomensurveis
construindo uma teoria das propores que se aplicava tanto a grandezas
comensurveis quanto a grandezas incomensurveis. Essa teoria encontra-se
exposta no livro V de Euclides.

Credita-se tambm a Eudoxo o chamado mtodo de exausto que eliminava

o infinito da matemtica grega. Esse mtodo permite comparar reas e volumes e
segundo afirma Arquimedes, no prefcio de seu livro Sobre a esfera e o cilindro, foi
utilizado por Euclides no livro XII.
A partir dessas novas idias que reabilitaram a geometria, a concepo

atomista (que preconizava a existncia dos indivisveis) foi adotada para nmeros e
a concepo continusta (que imaginava o espao, o tempo e a matria como
divisveis infinitamente) para grandezas. Os nmeros eram considerados
finitamente divisveis e as grandezas infinitamente divisveis.
A definio de proporo de Eudoxo sem a utilizao dos nmeros
Hoje, quando dizemos que os segmentos AD , DB , AE e EC so tais que

AD AE
= estamos tratando com as medidas dos segmentos AD, DB, AE e EC e
DB EC
portanto com nmeros reais. Eudoxo encontrou um modo de definir a igualdade de
duas razes sem utilizar nmeros (reais) mas apenas inteiros positivos. Antes de
apresentar a definio de Eudoxo vamos utilizar a linguagem moderna para
visualizar a idia de Eudoxo.

AD AE
Na igualdade = temos dois casos a considerar: AD e DB
DB EC
comensurveis ou incomensurveis. Se AD e DB forem comensurveis, isto , se
AD AD m AE m
for racional ento existem inteiros positivos m e n tais que = e = .
DB DB n EC n
Podemos portanto escrever as igualdades na forma de um enunciado que envolve
nmeros inteiros:
se m.DB=n.AD ento m.EC=n.AE
Supondo que os segmentos AD e DB sejam incomensurveis, podemos

considerar que:
m AD m AE
Se m e n so inteiros positivos e < ento <
n DB n EC
m AD m AE
Se m e n so inteiros positivos e > ento >
n DB n EC
Podemos escrever as duas implicaes na forma de um enunciado que

envolve nmeros inteiros:
se m.DB<n.AD ento m.EC<n.AE e se m.DB>n.AD ento m.EC>n.AE
E o que fez Eudoxo?
Eudoxo evitou a discusso sobre a natureza dos irracionais e sobre a validade

dos processos infinitos e definiu a igualdade entre duas razes de uma maneira
engenhosa. Esta definio se encontra no livro V (definio 6) dos Elementos de
Euclides e 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 se, quando eqimltiplos quaisquer so
tomados da primeira e da terceira e eqimltiplos quaisquer da segunda e da
quarta, os primeiros eqimltiplos so ambos maiores que, ou ambos iguais a,
ou ambos menores que, os ltimos eqimltiplos considerados em ordem
correspondentes

Utilizando a linguagem moderna e considerando como grandezas os

segmentos AD , DB , AE e EC (comensurveis ou no), para Eudoxo, dizer que
AD AE
= significava dizer que para todo m e n inteiros positivos, as condies a
DB EC
seguir eram verificadas:
Se m.DB<n.AD ento m.EC<n.AE
Se m.DB>n.AD ento m.EC>n.AE
Se m.DB=n.AD ento m.EC=n.AE
Mais tarde, essa definio vlida para grandezas quaisquer foi fonte de
inspirao para a criao dos nmeros reais.
Como exemplo do uso dessa definio voltaremos ao teorema de Tales e

apresentaremos uma demonstrao completa (para grandezas comensurveis e
grandezas incomensurveis) pela teoria das propores de Eudoxo.
Supondo a//b e b//c, vamos provar que AB/BC=DE/EF

Sejam n e m dois nmeros naturais qualquer. Vamos dividir AB em n partes
iguais. Logo existe um segmento u tal que AB=n.u
Vamos marcar m vezes u em BC. Sendo S a extremidade do ltimo segmento
contido em BC temos 3 casos possveis:
a) S est entre B e C
b) C est entre B e S
c) C=S (nesse caso AB e BC so comensurveis)
1 caso Vamos supor S entre B e C

Logo BS=mu. De cada ponto de diviso de AB e BC tracemos paralelas s retas

a,b e c. Essas retas interceptaro DE e EF em pontos que dividiro DE em n
partes iguais a v e ES em m partes iguais a v. Logo DE=nv e ES=mv. De
AB=nu vem que mAB=mnu e de BS=mu vem que nBS=nmu. Como BS<BC
ento mAB=nBS<nBC. Portanto mAB<nBC.
De DE=nv vem que mDE=mnv e de ES=mv vem que nES=nmv. Como ES<EF
ento mDE=nES<nEF. Portanto mDE<nEF. Concluso mAB<nBC mDE<nEF
2caso Vamos supor C entre B e S

De AB=nu vem que mAB=mnu. De BS=mv vem que nBS=nmv. Como BS>BC
ento mAB=nBS>nBC. Portanto mAB>nBC.
De DE=nv vem que mDE=mnv e de ES=mv ento nES=nmv. Como ES>EF
ento mDE=nES>nEF. Portanto mDE>nEF. Concluso mAB>nBC mDE>nEF
3caso C=S
De AB=nu vem que mAB=mnu e de BS=mv vem que nBS=nmv. Logo mAB=nBS
De DE=nv vem que mDE=mnv e de EF=mv vem que nEF=nmv. Logo mDE=nEF
Concluso mAB=nBSmDE=nEF
Eudoxo e Dedekind
Desde a crise provocada pela descoberta das grandezas incomensurveis na

Antiga Grcia, os matemticos levaram vinte sculos para construir um objeto
matemtico cujo quadrado seja 2. Sabiam que nenhum nmero racional ao
quadrado dava 2, sabiam que a diagonal de um quadrado de lado unitrio podia ser
construda com rgua e compasso e que portanto existia, mas no sabiam como
definir e operar com esses novos nmeros. Foi somente no sculo XIX que a
faanha de dar uma definio consistente para esses objetos matemticos se
concretizou.
Galileu e Leibniz julgavam que a continuidade de pontos sobre uma reta era
conseqncia de sua densidade, isto , do fato que entre dois pontos quaisquer
existir sempre um terceiro. Mas s isto no bastava para caracterizar esses objetos
pois os nmeros racionais tambm tm essa propriedade e no formam um
continuum. Se representarmos todos os nmeros racionais sobre uma reta, no
teremos preenchido totalmente os pontos da reta; restaro inmeros buracos.

Dedekind (1831-1916) se voltou para a questo do preenchimento dos

buracos da reta desde 1858 quando dava aulas de clculo. Refletindo sobre a
questo, Dedekind se perguntou: O que h na grandeza geomtrica contnua que a
distingue dos nmeros racionais? E foi buscar a inspirao na teoria das
propores de Eudoxo ( IV A.C). Dedekind chegou concluso que a essncia da
continuidade de um segmento de reta estava na separao dos nmeros racionais
em duas classes. Por essa observao trivial, o segredo da continuidade ser
revelado escreveu Dedekind. A grosso modo a sua idia era a seguinte : Cortando
uma reta em duas partes podemos separar os nmeros racionais em duas classes A
e B onde todo nmero da primeira classe A menor que todo nmero da segunda
classe B. Dessa forma, cada corte produz um e um s nmero real. Se A tem um
maior elemento ou se B tem um menor elemento, o corte define um nmero real
racional; mas se A no tem um maior elemento e B no tem um menor elemento,
ento o corte define um nmero real irracional. Portanto, por meio dos cortes de
Dedekind, amplia-se o conjunto Q introduzindo os nmeros irracionais.
Por exemplo, os conjuntos A={xQ/x<5/2} e B={xQ/x5/2} determinam o corte

que define o nmero real 5/2. Observe que nesse caso, B tendo menor elemento, o
corte define um nmero real racional
Os conjuntos A={xQ/x<2} e B={xQ/x>2} determinam o corte que define o

3
nmero real que usualmente denotamos por 2 . Observe que nesse caso, A no
tendo um maior elemento e B no tendo menor elemento, o corte define um nmero
real irracional.

Do mesmo modo, os conjuntos A=Q-{xQ+/x<2} e B={xQ+/x>2}
determinam o corte que define o nmero real irracional indicado por 2
Com esta definio, Dedekind criou os nmeros reais, eliminou os buracos de

Q e estabeleceu uma correspondncia biunvoca entre os pontos de uma reta e os
nmeros reais.
No comeo do sculo vinte, uma modificao do corte de Dedekind foi proposta

por Bertrand Russell (1872-1970). Ele notou que como qualquer das duas classes A
e B univocamente determinada pela outra, uma s bastava para a determinao
de um nmero real. A partir da, no sendo necessrio considerar as duas classes
de cada corte, comeou-se a trabalhar somente com a classe da esquerda ou
somente com a classe da direita. Assim, um nmero real passa a ser definido
somente por uma das classes.
Relacionando a definio de Eudoxo com a de Dedekind podemos dizer que

duas razes so iguais segundo Eudoxo se e somente se elas definem cortes iguais
segundo Dedekind.
O princpio de exausto : A negao do infinito
Os gregos sabiam comparar figuras poligonais. Todo polgono podia ser

transformado num quadrado equivalente. Essa operao era chamada de
quadratura. Fazer a quadratura de uma figura plana significava construir um
quadrado equivalente figura dada. O exemplo abaixo mostra um pentgono
ABCDE sendo transformado num quadriltero equivalente ABCF que por sua vez
transformado num tringulo equivalente AGF. A partir dos pontos mdios H e I dos
lados do tringulo obtm-se o paralelogramo equivalente GFJH.

O paralelogramo em seguida transformado no retngulo equivalente KLJH.
E finalmente o retngulo transformado no quadrado equivalente LONM a

partir da construo de uma mdia geomtrica.
Os gregos sabiam fazer tambm a quadratura de certos tipos de lnulas mas

no tinham um mtodo para comparar figuras quaisquer (curvilneas ou no) em
geral.

Uma lnula uma figura limitada por dois arcos circulares de raios diferentes.
Eudoxo sugeriu uma abordagem que permitia comparar figuras curvas com
figuras poligonais.
No corao desse mtodo est a proposio I do livro X de Euclides

chamada mais tarde de princpio de exausto:
Dadas duas grandezas de mesma espcie, se retirarmos da maior uma parte

maior que sua metade e do resto retirarmos uma parte maior que sua metade e
assim por diante, obteremos aps um nmero finito de etapas uma grandeza
menor que as duas grandezas consideradas.
No desenho abaixo temos como grandezas dois segmentos CD e A1B1. Se do

maior A1B1 retirarmos um parte maior que a sua metade obteremos A1B2. Se
continuarmos o processo retirando do maior A1B2 uma parte maior que sua metade
obteremos A1B3. Se retirarmos de A1B3 uma parte maior que a sua metade
chegaremos a uma grandeza A1B4 que menor que as duas grandezas
consideradas e que so CD e A1B1.

O mtodo de exausto de Eudoxo
O mtodo de exausto no um mtodo de descoberta. Por exemplo, para

comparar a rea A de um segmento parablico com uma outra rea B precisamos
inicialmente descobrir uma superfcie equivalente ao segmento parablico. Em
seguida provamos que as duas superfcies A e B tm reas iguais procedendo da
seguinte maneira: supe-se que A>B, obtm-se a diferena A-B e aplicando o
princpio de exausto deve-se chegar a um absurdo. Em seguida procede-se da
mesma maneira supondo que A<B, obtendo a diferena B-A que deve levar a uma
segunda contradio. Conclui-se finalmente que A=B.
At o final do sculo XVI as demonstraes eram sempre feitas por esse

mtodo do absurdo duplo.
Arquimedes descobriu inicialmente que a rea do segmento de parbola

equivalente a 4/3 da rea do tringulo ABC (a reta que passa por C paralela reta
AB). Observe que podemos construir uma sucesso de polgonos com um nmero
crescente de lados at exaurir a rea do segmento parablico. Em seguida pelo
mtodo de exausto provou por duplo absurdo que as duas reas eram iguais.
Ilustraremos o mtodo de exausto com a proposio I do livro a medida

do crculo de Arquimedes. Apresentaremos a demonstrao utilizando a notao
moderna.

Um crculo equivalente (igual em rea) a um tringulo retngulo no

qual um dos lados do ngulo reto igual ao raio do crculo e o outro igual
ao comprimento da sua circunferncia.
Para mostrar a rea do crculo igual rea do tringulo utilizaremos na

primeira parte da demonstrao polgonos regulares inscritos com nmero crescente
de lados e chegaremos num absurdo e na segunda parte utilizaremos polgonos
regulares circunscritos com nmero crescente de lados para chegar num segundo
absurdo.
Indiquemos por A a rea do crculo e T a rea do tringulo. Temos 3

possibilidades: A>T, A<T e A=T.
Suporemos inicialmente A>T ( logo a diferena AT corresponde a uma rea)
Aplicaremos o princpio de exausto s grandezas A e AT.
Vamos retirar da maior que A, um quadrado inscrito cuja rea L4 (a

rea L4 maior que a metade da rea A do crculo)
Retiro o quadrado de rea L4.
Sobrar: A L4 (L4 a rea de um polgono regular de 4 lados)

Retiraremos do que sobra AL4, uma parte maior que sua metade
(a1+a2+a3+a4)
Sobrar: (A L4) (a1+a2+a3+a4) = A (a1+a2+a3+a4+L4)=A L8
(L8 a rea de um polgono regular de 8 lados)

Retiraremos do que sobra AL8, uma parte maior que sua metade
b1+b2+b3+b4+b5+b6+b7+b8
Sobrar:(AL8) (b1+b2+b3+b4+b5+b6+b7+b8)=
A(b1+b2+b3+b4+b5+b6+b7+b8+a1+a2+a3+a4+L4)=AL16
(L16 a rea de um polgono regular de 16 lados)
Aps um nmero finito de etapas obteremos um polgono regular de rea Ln tal

que ALn menor que as duas grandezas A e AT consideradas. Logo ALn < AT.
Donde T<Ln
Considere um polgono regular de rea Ln inscrito no crculo de rea A

O aptema ON menor que R
O permetro do polgono regular menor que o comprimento C da circunferncia.
ON. permetro do polgono <R.C
ON.permetro do polgono/2 < R.C/2. Mas ON. Permetro/2=rea Ln do polgono e
R.C/2 igual rea do tringulo T. Logo Ln < T (Absurdo)

Vamos supor A<T (Logo TA corresponde a uma rea)
Seja L4 a rea do quadrado circunscrito ao crculo
Vamos aplicar o princpio de exausto s grandezas L4 e TA
Vamos retirar da maior, quadrado circunscrito de rea L4 uma parte maior que
a sua metade. Sobra: L4 A

Retiraremos do que sobra L4A, uma parte maior que a sua metade
a1+a2+a3+a4
Sobrar: (L4 A) (L4 L8) = L8 A (L8 a rea de um polgono regular

de 8 lados)
Retiraremos do que sobra L8 - A, uma parte maior que a sua metade

b1+b2+b3+b4+b5+b6+b7+b8
Sobrar : ( L8 - A) - (L8 - L16) = L16 A

Aps um nmero finito de etapas obteremos um polgono regular de rea Ln tal

que Ln-A menor que as duas grandezas. Logo Ln-A < T-A. Donde Ln<T
Considere um polgono regular de rea Ln circunscrito ao crculo de rea A e ON = R

O permetro do polgono maior que o comprimento C da circunferncia. Logo
ON. permetro do polgono > R.C. Dividindo por 2 os dois membros teremos:
ON.permetro do polgono/2 > R.C/2. Mas ON. Permetro do polgono/2=Ln e RC/2=T
Logo Ln > T (Absurdo pois vimos que Ln<T)
Como A>T levou a um absurdo e A<T levou a um outro absurdo, conclui-se

que A=T.
Bibliografa
! Caveing, M. Lirrationalit dans les mathmatiques grecques jusqu Euclide,

Presses universitaires, Paris,1998
! Euclide. Les lments Volume 3, Livre X, Presses Universitaires de France, 1998,
traduction Bernard Vitrac.
! Baron,M.E. A matemtica Grega, Editora Universidade de Braslia,1985
! Gardies, J.L. Lhritage pistmologique dEudoxe de Cnide, Paris, Librairie
philosophique J.Vrin, 1988
! Polcino, F.C. A geometria na Antiguidade Clssica. So Paulo: FTD,1999
! Boyer, C. B. Histria da Matemtica. So Paulo: Editora Edgard Blcher, 1996.
! Boyer, C. B. A The history of the calculus and its conceptul development. New York,
Dover publications, 1959.

! Proclus de Lycie, les Commentaires sur le premier livre des lments dEuclides,
IREM de Lille, 1948.
! Nobre, S. Introduo Histria da Histria da Matemtica. Revista Brasileira de
Histria da Matemtica, vol 2 N3
! Avila, G. RPM 7 pg 5 a 10
Vincenzo Bongiovanni, Professor do Programa.

E-mail: valente@pucsp.br

Teoria das proporções de Eudoxo elimina números reais

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Teoria das proporções de Eudoxo elimina números reais

Загружено:

Авторское право:

Доступные форматы

Junio de 2005, Nmero 2, pginas 91 - 110

As duas maiores contribuies de Eudoxo de Cnido

Para os pitagricos, todas as grandezas (comprimento, rea, volume,...)

Aristteles refere-se a uma demonstrao onde se supe que a diagonal e o

Vamos supor que o lado AB e a diagonal DB sejam segmentos comensurveis.

O artigo de K.von Fritz A descoberta da incomensurabilidade por Hipasus de

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 92

Vamos supor que o lado AE e a diagonal AD do pentgono regular ABCDE

Como AD - AE = BEcom AD = nu e AE = mu ento BE=(n-m)u.

Conseqncias dessa descoberta?

Os dilogos de Plato mostram que os matemticos ficaram profundamente

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 93

coleo de unidades. O segmento j no podia mais ser considerado indivisvel, mas

Outra conseqncia dessa descoberta foi a necessidade de se elaborar uma

Por volta da mesma poca em que se dava a devastadora descoberta dos

Boyer no livro A histria do clculo e seu desenvolvimento conceitual diz:

Quem foi Eudoxo de Cnido ?

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 94

Credita-se tambm a Eudoxo o chamado mtodo de exausto que eliminava

A partir dessas novas idias que reabilitaram a geometria, a concepo

A definio de proporo de Eudoxo sem a utilizao dos nmeros

Hoje, quando dizemos que os segmentos AD , DB , AE e EC so tais que

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 95

Supondo que os segmentos AD e DB sejam incomensurveis, podemos

Podemos escrever as duas implicaes na forma de um enunciado que

se m.DB<n.AD ento m.EC<n.AE e se m.DB>n.AD ento m.EC>n.AE

E o que fez Eudoxo?

Eudoxo evitou a discusso sobre a natureza dos irracionais e sobre a validade

Diz-se que quatro grandezas esto na mesma razo, a primeira para a

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 96

Utilizando a linguagem moderna e considerando como grandezas os

Se m.DB<n.AD ento m.EC<n.AE

Se m.DB>n.AD ento m.EC>n.AE

Se m.DB=n.AD ento m.EC=n.AE

Como exemplo do uso dessa definio voltaremos ao teorema de Tales e

Supondo a//b e b//c, vamos provar que AB/BC=DE/EF

1 caso Vamos supor S entre B e C

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 97

Logo BS=mu. De cada ponto de diviso de AB e BC tracemos paralelas s retas

2caso Vamos supor C entre B e S

Desde a crise provocada pela descoberta das grandezas incomensurveis na

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 98

Dedekind (1831-1916) se voltou para a questo do preenchimento dos

Por exemplo, os conjuntos A={xQ/x<5/2} e B={xQ/x5/2} determinam o corte

Os conjuntos A={xQ/x<2} e B={xQ/x>2} determinam o corte que define o

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 99

Do mesmo modo, os conjuntos A=Q-{xQ+/x<2} e B={xQ+/x>2}

determinam o corte que define o nmero real irracional indicado por 2

Com esta definio, Dedekind criou os nmeros reais, eliminou os buracos de

No comeo do sculo vinte, uma modificao do corte de Dedekind foi proposta

Relacionando a definio de Eudoxo com a de Dedekind podemos dizer que

O princpio de exausto : A negao do infinito

Os gregos sabiam comparar figuras poligonais. Todo polgono podia ser

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 100

O paralelogramo em seguida transformado no retngulo equivalente KLJH.

E finalmente o retngulo transformado no quadrado equivalente LONM a

Os gregos sabiam fazer tambm a quadratura de certos tipos de lnulas mas

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 101

No corao desse mtodo est a proposio I do livro X de Euclides

Dadas duas grandezas de mesma espcie, se retirarmos da maior uma parte

No desenho abaixo temos como grandezas dois segmentos CD e A1B1. Se do

REVISTA IBEROAMERICANA DE EDUCACIN MATEMTICA - JUNIO DE 2005 - NMERO 2 - PGINA 102