Unidade 3

Teoria das Propor c oes de Eudoxo

Na unidade anterior, voc e aprendeu como o surgimento da cultura grega, no in cio do s eculo IV a.C., mudou profundamente a concep c ao que o homem tinha do universo, sua maneira de pensar e de produzir ci encia. Ousadia e inova c ao s ao palavras que facilmente associamos a este fen omeno cultural que desencadeou uma onda de criatividade, se estendeu por centenas de anos e deu base ` a nossa concep c ao de losoa e de ci encia.

Texto 6: A Primeira Grande Crise na Matem atica

Os primeiros matem aticos gregos tomaram o volume de conhecimento matem atico acumulado ao longo de mil enios pelas culturas que oresceram na Mesopot amia e no Egito e o moldaram ` a sua maneira. No entanto, a descoberta de dois segmentos n ao comensur aveis, o lado e a diagonal de um quadrado, gerou uma crise profunda, perturbando essa ordem por eles criada com a for ca de um cataclismo. Para entender a raz ao de tamanha como c ao e preciso lembrar da maneira como os gregos passaram a conceber a Matem atica, introduzindo o m etodo dedutivo. Isso e o que chamamos de axiomatiza c ao da Matem atica. Esta e, basicamente, a mesma maneira como fazemos Matem atica at e hoje. Em poucas palavras, e o seguinte: o m etodo dedutivo usa as regras denidas pela l ogica (outra inven c ao dos gregos) para demonstrar as arma c oes matem aticas, os teoremas, usando resultados anteriores. Esse processo precisa come car em algum lugar. Os pontos de partida s ao arma c oes aceitas como 33

UD 3

Hist oria da Matem atica

verdadeiras, chamadas axiomas. As teorias matem aticas, isto e, as cole c oes de teoremas estabelecidos, permanecer ao para sempre. Novas teorias podem ser uma situa constru das sobre este alicerce, ele as suportar a. E c ao totalmente diferente de outras ci encias, como a Biologia ou a F sica. Nestas ci encias, acontece de novas teorias surgirem derrubando as anteriores.

6.1 A quest ao dos segmentos n ao comensur aveis, mais uma vez

Observe que, na terminologia atual, os termos postulado e axioma querem dizer a mesma coisa, s ao sin onimos. No passado, no entanto, dava-se o nome de axioma ` as arma c oes que eram evidentes por si mesmas e tinham que ser admitidas necessariamente como verdadeiras, j a postulado poderia ser demonstrado, mas era tomado como verdadeiro e usado sem demonstra c ao. A priori, a arma c ao chamada de postulado ainda n ao fora aceita como verdadeira pela pessoa a quem era endere cada. Por isso o nome, uma vez que postular tamb em indica um pedido.

Neste quadro, os axiomas funcionam como verdadeiras pedras fundamentais sobre as quais toda a estrutura repousa. O primeiro axioma apresentado no primeiro livro dos Elementos de Euclides e a arma c ao: Dados dois pontos, h a um segmento de reta que os une. A terminologia antiga e postulado. Veja, a palavra axioma, que agora usamos, originalmente signicava dignidade ou valor. Muito bem, os pitag oricos consideravam como axioma, ou seja, assumiam como verdadeira, a arma c ao: Quaisquer dois segmentos s ao comensur aveis. A descoberta de que o lado de um quadrado qualquer e a sua diagonal n ao s ao ao e da forma p/q , para inteiros p e q , comensur aveis, equivalentemente 2 n com q n ao nulo, signicou que a arma c ao n ao mais poderia ser usada como axioma. Isso invalidou todas as demonstra c oes que haviam sido feitas usando essa arma c ao, de maneira direta ou indireta. Ou seja, uma s erie de teoremas caram, subitamente, sem suas demonstra c oes. Isto e, n ao eram mais teoremas. Numa palavra: desastre. Realmente, os pitag oricos acreditavam que tudo que h a no universo poderia ser descrito pela Matem atica. Eles acreditavam na m axima: Todas as coisas s ao n umeros. A exist encia de dois segmentos n ao comensur aveis amea cava esta arma c ao, pois os n umeros a que eles se referiam eram os n umeros racionais. 34

UD 3

Hist oria da Matem atica 2 mostra

Veja, o fato da rela c ao entre o lado e a diagonal de um quadrado ser

que existem rela c oes f sicas que n ao podem ser representadas em termos dos n umeros racionais. Por isso, eles chamavam essa raz ao de alogos, o inexprim vel. Neste ponto, e preciso dizer uma palavra em favor dos pitag oricos. O erro cometido e sutil. A id eia e a seguinte: parece razo avel que possamos medir dois segmentos quaisquer usando apenas m ultiplos de uma certa unidade. Ora, basta que tomemos essa unidade sucientemente pequena, n ao e mesmo? Por exemplo, dadas duas dist ancias, se n ao for poss vel medir ambas usando quil ometros de maneira justa (algo assim como 13 km ou 307 km), talvez possamos faz e-lo usando metros ou mesmo mil metros. Foi nisso que os antigos gregos acreditaram. Al em do mais, h a o aspecto pr atico, que n ao podemos esquecer. At e hoje, usamos aproxima c oes racionais para expressar todas as grandezas do mundo que nos cerca. A tecnologia nos ajuda a melhorar essas aproxima c oes. No entanto, n ao e poss vel encontrar uma unidade de comprimento que me ca, de maneira justa, o lado e a diagonal de um quadrado, por menor que seja, pois 2 n ao e um n umero racional, como vimos na unidade did atica anterior. A crise gerada pela exist encia de segmentos n ao comensur aveis perdurou at e que um matem atico genial apresentasse uma id eia nova, que alavancaria a quest ao. Esse matem atico foi Eudoxo, nascido na ilha de Cnido, um contempor aneo de Plat ao, fundador de uma escola de losoa, chamada Academia, que tanto inuenciou nossa cultura.

Atividade 9
Voc e conhece outro exemplo de um par de magnitudes n ao comensur aveis? Use o fato de ser irracional para mostrar que o raio r de um c rculo e sua circunfer encia, 2 r, s ao n ao comensur aveis. Voc e conhece duas areas que sejam n ao comensur aveis? Pense no problema da quadratura do c rculo.

Antes de contarmos um pouco da hist oria de Eudoxo e de suas id eias para resolver o problema dos segmentos n ao comensur aveis, vamos falar sobre a no c ao de innito, como era vista naquele tempo. 35

UD 3

Hist oria da Matem atica

Texto 7: Problemas com Innito

O que causou toda a diculdade, isto e, a exist encia de segmentos n ao comensur aveis, de certa forma, e o innito, um advers ario fenomenal. Essa crise colocava os matem aticos da epoca frente a um conceito que tem provocado, ao longo da hist oria da ci encia, e da Matem atica em particular, algumas de suas maiores diculdades, mas que tem gerado, tamb em, alguns de seus melhores resultados. O problema reside no fato de, mesmo n ao sendo 2 um n umero racional, podermos encontrar n umeros racionais arbitrariamente pr oximos a ele.

7.1

2 e as fra c oes cont nuas

Queremos obter uma seq u encia de n umeros racionais que estejam mais e mais e expressando esse n umero como pr oximos a 2. Uma maneira de fazer isso uma fra c ao cont nua. Voc e n ao precisa ser um expert no assunto, que e muito interessante, para entender a id eia geral. Observe que 2 = 1+ 21 = ( 2 1)( 2 + 1) = = 1+ 2+1 1 = 1+ . 2+1 Se voc e achou que essa e uma maneira estranha de escrever mais podemos fazer. 2 = 1+ 1 = 1+ 2+1 1 1 1+ 2+1 = 1+ +1 1 2+ 1 2+1 2, veja o que

Prosseguindo assim, obtemos 2 = 1+ 1 1 2+ 2+1 = 1+ 2+ 1 1 1 2+ 2+1 36 = 1+ 2+ 2+ 1 1 1 2+ 1 2+1

UD 3

Hist oria da Matem atica

Esse processo pode ser continuado por tantas vezes quanto quisermos, gerando uma esp ecie de fra c ao prolongada, representada por 2 = 1+ 2+ 2+ 2+ 2+ 2+ 1 1 1 1 1 1 2 + ...

Se interrompermos esse processo, obtemos um n umero racional que ser a uma aproxima c ao racional de 2. Realmente, uma aproxima c ao de 2 com 9 casas decimais e 1.414213562, enquanto 1+1/(2+1/(2+1/(2+1/(2+1/(2+1/(2+1/2)))))) = 577 = 1.414215686. 408

Uma fra c ao cont nua e algo assim como um fractal alg ebrico. Agora vamos dar uma pausa para voc e fazer um exerc cio.

Atividade 10
Use a igualdade 1 1+ 5 = 1+ 2 1+ 5 2 para gerar uma fra c ao cont nua, como foi feito no caso de 2.

1+ 5 , Use essa fra c ao cont nua para calcular uma boa aproxima c ao do n umero 2 conhecido como raz ao aurea e uma boa aproxima c ao de 5. Continuando, lembramos que a no c ao innito e de enorme import ancia para a Matem atica, mas as diculdades que apresenta s ao igualmente fenomenais, como voc e pode perceber, no caso da crise gerada pelo descobrimento da exist encia de comprimentos n ao comensur aveis. 37

UD 3

Hist oria da Matem atica

Essas crises se repetem ao longo da hist oria e cada supera c ao representa um avan co monumental. O surgimento do C alculo, no s eculo 17, e a compreens ao das teorias desenvolvidas por Cantor, no in cio do s eculo 20, s ao exemplos disso.

Texto 8: Zen ao e seus Paradoxos

A disputa nito versus innito e quase t ao antiga quanto a Matem atica e claro que esse problema suas diculdades indicam a import ancia da quest ao. E transcende a Matem atica. Os paradoxos de Zen ao s ao resultados dessa antiga disputa. Para que voc e entenda como eles se colocam e preciso ter uma id eia do contexto cultural onde eles surgiram. Do ponto de vista da losoa, o principal debate est a na quest ao da verdadeira
Zen ao de El eia Paradoxo (do grego oo ) signicava, originalmente, opini ao errada, em oposi c ao a ortodoxo, que signicava opini ao correta. Com o passar do tempo a palavra paradoxo passou a indicar as arma co es auto-contradit orias, como eu estou mentindo. Se admitirmos que a frase e verdadeira, surge uma contradi c ao. Se admitirmos que ela e falsa, ocorre a mesma coisa.

exist encia de algo que seja innito. Todos concordam que o conjunto dos n umeros naturais e uma coisa potencialmente innita. Algo como um innito virtual. No entanto, como diria Arist oteles, esse innito s o existe nas nossas mentes. Anaximandro, disc pulo de Tales de Mileto, concebia o universo como uma innidade de mundos que existem desde sempre e que existir ao durante um tempo inesgot avel. Dessa forma, ele inaugurou a quest ao posicionando-se a favor da exist encia de algo innito. Em posi c ao radicalmente oposta a Anaximandro, Parm enides acreditava que o universo seria constitu do de um u nico objeto. Essa concep c ao monista do universo implica a nega c ao de qualquer movimento. Isso porque a exist encia de algum movimento demanda uma posi c ao inicial e uma posi c ao nal, contrariando a unicidade do universo. Muito bem, Zen ao era disc pulo de Parm enides e queria dar suporte ` a teoria de seu mestre, mostrando que o movimento seria apenas uma ilus ao. Para tanto, produziu quatro famosos argumentos com os quais pretendia mostrar que admitir a exist encia de movimento implicaria algum tipo de absurdo. Esses argumentos s ao conhecidos como paradoxos de Zen ao. Um desses paradoxos arma ser imposs vel levantar-se da cadeira onde voc e est a sentado e caminhar at e a porta mais pr oxima. Isto porque primeiro voc e teria 38

UD 3

Hist oria da Matem atica

que caminhar a metade desta dist ancia e depois teria que caminhar a metade da metade que estaria faltando. Em seguida, a metade do que restou e assim por diante, interminavelmente. O absurdo que este paradoxo apresenta se deve ` a nega c ao do innito. Se admitirmos, como normalmente o fazemos, ser poss vel percorrer uma innidade de pontos em um intervalo nito de tempo, podemos refut a-lo facilmente. Ou seja, Zen ao nega o innito para concluir que o movimento e um absurdo. Este paradoxo de Zen ao pode ser apresentado de uma maneira matem atica. Veja: Um ponto e movido da posi c ao 0 na dire c ao da posi c ao 1, na reta real, da seguinte forma: primeiro ele atinge a posi c ao 1/2, depois a posi c ao 3/4, em seguida 7/8, depois 15/16, e assim por diante. No n- esimo est agio, o ponto se encontrar a na posi c ao 1 1 . Logo, e imposs vel chegar at e a posi c ao 1 pois, 2n para chegar at e l a, o ponto teria que percorrer uma innidade de est agios.

Atividade 11
Voc e poderia mostrar que a equa c ao anterior n ao tem solu c ao? Isso implica a impossibilidade de mover o ponto da posi c ao 0 para a posi c ao 1? Al em disso, lembre-se da f ormula de soma dos termos de uma progress ao geom etrica para calcular a seguinte soma: 1 1 1 1 + + + + n. 2 4 8 2 Voc e sabe a f ormula da soma innita dos termos de uma progress ao geom etrica? Essa f ormula s o e v alida para as progress oes geom etricas cujas raz oes satisfazem uma determinada condi c ao. Qual condi c ao e essa? A progress ao correspondente ao paradoxo de Zen ao satisfaz a essa condi c ao? Um outro paradoxo de Zen ao e conhecido como Aquiles e a tartaruga. Aquiles, o mais famoso corredor da antiga Gr ecia, aposta uma corrida com a s abia tartaruga. Considerando sua morosidade, a tartaruga pede a Aquiles uma pequena vantagem: que ela possa iniciar a corrida na metade do percurso. Aquiles cede, pois corre duas vezes mais r apido que a tartaruga. Muito bem, segundo Zen ao, 39

UD 3

Hist oria da Matem atica

ele perde a corrida. Na verdade, segundo Zen ao, a corrida nunca mais terminar a e a tartaruga estar a sempre na frente de Aquiles. Isso porque, quando ele atinge o ponto de onde a tartaruga largou, a metade da raia, ela j a avan cou at e a metade da metade que lhe faltava percorrer. Aquiles segue at e esse ponto, mas a tartaruga j a se encontra na metade de sua pr oxima etapa, e assim por diante. Resumindo, a tartaruga sempre estar a na frente do magn co Aquiles. Note que, para o argumento funcionar como Zen ao o quer, e preciso admitir que o espa co e o tempo s ao cont nuos e o movimento e uniforme (velocidade constante). Al em disso, a maneira como Zen ao descreve a hist oria sugere que Aquiles e a tartaruga passariam por uma innidade de etapas, metade de metade, depois a metade do que faltou, e assim por diante. Para refutar esse paradoxo, basta que lembremos da nossa concep c ao de movimento. Admitimos que e poss vel percorrer uma innidade de posi c oes (cada um dos pontos entre a partida e a chegada) em uma innidade de instantes (um para cada posi c ao), mas num intervalo limitado de tempo. Voc e pode buscar os outros paradoxos de Zen ao e analis a-los. Eles seguem o mesmo padr ao: nega c ao do innito com mais algumas considera c oes, que implicam a n ao exist encia de movimento. Essa formula c ao e equivalente ao seguinte: a admiss ao da exist encia de movimento com mais algumas considera c oes, que implicam a exist encia de innidades. Nossa concep c ao admite innidades. Numa linguagem moderna, aceitamos a f ormula matem atica 1 2n

n+

lim

= 1.

Uma das diculdades que encontramos ao tentar entender a maneira como os antigos enfrentavam os problemas matem aticos est a no fato de n os, de uma certa maneira, j a sabermos as solu c oes. Nesta se c ao vamos fazer um esfor co de compreender a quest ao da exist encia de segmentos n ao comensur aveis da maneira como ela estava colocada para os pitag oricos. A recompensa ser a apreciar a genialidade de Eudoxo. 40

UD 3

Hist oria da Matem atica

Texto 9: Eudoxo e a Teoria da Propor c ao

Na raiz do problema est a o fato de que os gregos antigos tinham uma vis ao geom etrica da matem atica. Eles n ao dispunham das ferramentas alg ebricas que dispomos hoje, uma vez que essas s o vieram a ser desenvolvidas posteriormente. A nota c ao matem atica faz uma diferen ca fundamental na resolu c ao dos problemas. Veja como podemos colocar a quest ao com a ajuda da Algebra:

Queremos comparar dois comprimentos x e y .

com m e n dois inteiros. Ora, se m for maior do que n, x e maior do que y . Caso contr ario, x e menor do que y .

Suponhamos que exista um certo comprimento u tal que x = m u e y = n u,

Como voc e sabe, os pitag oricos acreditavam que essa possibilidade ocorreria para cada par de comprimentos. Mas, como voc e sabe, isso n ao acontece para o lado e a diagonal de um dado quadrado, 1 e 2. Portanto, nesta altura, 1 e 2 n ao poderiam ser comparados.

O quinto livro dos Elementos de Euclides apresenta uma teoria que resolve esta quest ao. A quarta deni c ao desse livro e chamada Axioma de Eudoxo e foi a ele atribu da pelo grande Arquimedes. Ela diz:

Duas magnitudes podem ser comparadas quando um m ultiplo de cada uma delas for maior do que a outra.

Veja, segundo essa deni c ao, um comprimento e uma area n ao s ao magnitudes compar aveis. No entanto, a diagonal do quadrado e maior do que seu lado e, por sua vez, e menor do que o dobro deste lado. 41

UD 3

Hist oria da Matem atica

Assim, segundo Eudoxo, 1 e

2 s ao compar aveis.

Mas restava uma outra etapa, ainda mais dif cil. Como denir a igualdade de duas raz oes de magnitudes compar aveis? Ou seja, queremos estabelecer a igualdade a est a para b assim como c est a para d. N os dizemos, simplesmente, a est a para b assim como c est a para d se, e somente se, a d = c b. Mas, lembre-se, os pitag oricos (assim como Eudoxo) n ao dispunham da multiplica c ao. Note que eles j a sabiam como fazer para os pares de magnitudes compar aveis. Suponha que existam magnitudes u e v , assim como n umeros inteiros m, n, p e q , tais que a = m u, b = n u, c = p v e d = q v . Ent ao, dizemos que a est a para b assim como c est a para d se, e somente se, m q = n p. (E f acil multiplicar n umeros inteiros!) Mas, como eles poderiam estabelecer que 1 est a para para 2? Veja a brilhante solu c ao de Eudoxo. Ela aparece como a quinta deni c ao do quinto livro dos Elementos de Euclides. Em termos atuais e o seguinte: a est a para b assim como c est a para d se, e somente se, para quaisquer inteiros m e n, vale: (1) ma < nb se, e somente se, mc < nd; (2) ma = nb se, e somente se, mc = nd; 42 2 assim como 2 est a

UD 3 (3) ma > nb se, e somente se, mc > nd.

Hist oria da Matem atica

Atividade 12
Use a deni c ao de Eudoxo para convencer-se de que 1 est a para 2 est a para 2. Ou seja, 1 2 = . 2 2 2 assim como

Observe que, nesse contexto, n umero inteiro quer dizer n umero positivo. Os n umeros negativos s o foram introduzidos posteriormente. O m erito dessa deni c ao est a no fato de que ela permitiu que os antigos gregos dispusessem da estrutura dos n umeros reais. O progresso feito por essa teoria s o se compara aos trabalhos sobre os n umeros reais realizados por Cauchy, Weierstrass e Dedekind, matem aticos do s eculo 19, dos quais voltaremos a falar.

9.1 Eudoxo e a area do c rculo

Nascido em 408 a.C., em Cnido, uma pequena ilha grega pr oxima da atual Turquia, Eudoxo estudou Astronomia, Medicina, Geograa e Filosoa, al em de Matem atica, com importantes mestres e em diferentes lugares por onde viajou. Estudou na It alia com Arquitas, que fora aluno de Plat ao. Arquitas estava interessado no problema da duplica c ao do cubo. Chegou a estudar na Academia de Plat ao, em Atenas, por um breve per odo. Como era muito pobre, morava em um bairro da periferia de Atenas, nas bases do monte Piraeus, zona portu aria, e percorria diariamente um longo caminho de ida e volta at e a escola de Plat ao. Ele retornou a sua nativa ilha onde contribuiu como legislador, atuando na vida p ublica. Escreveu livros sobre astronomia, meteorologia e outros temas, ensinou essas disciplinas e construiu um observat orio. Eudoxo morreu em Cnido, no ano 355 a.C. Do ponto de vista matem atico, como voc e viu, resolveu a primeira grande crise que a Matem atica enfrentara. Veja, a seguir, como suas id eias resultavam em teoremas. Eudoxo demonstrou que 43

UD 3

Hist oria da Matem atica a area de um c rculo e proporcional ao quadrado de seu di ametro.

Para isso, ele usou um resultado observado por Antif ao, que fora o primeiro a sugerir que a area do c rculo poderia ser calculada em termos de pol gonos regulares nele inscritos. Aqui est a o resultado de Antif ao: Um 2n - agono regular inscrito em um c rculo ocupa mais do que 1 area. 1 n1 de sua 2 Por exemplo, um quadrado ocupa mais do que a metade da area do c rculo em que est a inscrito. Voc e j a tem conhecimentos sucientes para resolver o pr oximo exerc cio. Vamos a ele.

Atividade 13
Mostre que a area de um quadrado ocupa mais do que a metade da area do c rculo em que ele est a inscrito. Mostre que a area de um oct ogono regular ocupa mais do que c rculo em que est a inscrito. Sugest ao. Olhe para o seguinte desenho: 3 da area do 4

44

UD 3

Hist oria da Matem atica Agora, examinemos a argumenta c ao de Eudoxo.

Veja, precisamos mostrar que a area de um c rculo e proporcional ao quadrado de seu di ametro. Em s mbolos, devemos mostrar que existe uma constante K , tal que K d2 = area(C ), onde C e o c rculo de di ametro d. A constante K e a mesma para qualquer c rculo. Portanto, se aplicarmos a f ormula para o c rculo de di ametro 1, obtemos K = area(c rculo de di ametro 1).

Atividade 14
Calcule o valor de K em termos de .

Como voc e sabe, s o h a tr es possibilidades: (a) K d2 < area(C ), area(C ) ou (b) K d2 = (c) K d2 > area(C ). Vamos mostrar que as possibilidades (a) e (c) levam a contradi c oes e, portanto, s o restar a a possibilidade (b). Vamos, ent ao, supor que (a) ocorre. Ou seja, area(C ). K d2 < Agora, segundo o Axioma de Arquimedes, que na verdade o atribui a Eudoxo, podemos escolher um n umero n sucientemente grande, de tal maneira que 1 2n1 area(C ) < area(C ) K d2 .

e sucientemente pequeno para que Como n e um n umero grande, 1/2n1 1/2n1 area(C ) ainda seja menor do que a diferen ca (positiva) area(C ) K d2 . 45

UD 3 Podemos reescrever a desigualdade anterior na forma 1 1 2n1 area(C ) > K d2 .

Hist oria da Matem atica

Vamos denotar por An (C ) a area do n- agono regular inscrito no c rculo C . Usando essa nota c ao, o resultado de Antif ao e An (C ) > 1 1 2n1 area(C ).

Assim, dessas duas inequa c oes, obtemos An (C ) > 1 1 2n1 area(C ) > K d2 .

area Paci encia, estamos pr oximos ao m. Antif ao tamb em sabia que An (C ), a no n- agono inscrito em C , e igual a d2 An , (d2 vezes An , a area do n- agono inscrito no c rculo de di ametro 1). Mas, lembre-se, K e area do c rculo de di ametro 1, portanto maior do que An , a area do n- agono nele inscrito. Colocando tudo isso junto, temos, K d2 > An d2 = An (C ) > K d2 . Ora, isso e uma contradi c ao! Portanto, a possibilidade que deu in cio a tudo isso, (a) K d2 < area(C ), n ao ocorre. poss E vel construir uma linha de argumenta c ao que exclui, tamb em, a possibilidade (c) K d2 > area(C ). Portanto, como Eudoxo armou, area(C ). K d2 = Nessa unidade did atica voc e aprendeu como foi resolvida a primeira grande crise da Matem atica. Na pr oxima, voc e conhecer a um pouco mais a estrutura dos Elementos de Euclides, assim como um panorama das u ltimas conquistas dessa cultura que cou conhecida com a Era de Ouro da matem atica grega. 46