Universidade do Estado do Rio de Janeiro Instituto de Matemtica e Estatstica Disciplina: Histria da Matemtica Professora: Patrcia Furst luno: Marco

nt!nio de "eredo Fi#ueira

Eudo$o e a teoria das propor%&es

Rio de Janeiro Jun'o()*+,

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 crian a sabe contar !nos dedos!, associando assim cada dedo a um determinado elementos do mundo real. " quando isso no possvel # $este caso, temos duas alternativas. Quando podemos subdividir as quantidades alme%adas por unidades conhecidas, por e&emplo, quando temos '( brinquedos para dividir por )( crian as, o total de '( elementos ser* dividido por )( unidades. Obtemos assim o resultado igual a ' unidades por crian a. " quando o total no comporta o nmero e&ato de unidades # $esse caso, a unidade pode ser dividida de forma a comportar o nmero total, mesmo que de forma fracionria, conceito compreendido desde a antiguidade). $os dois e&emplos acima citados, estamos falando de valores comensurveis, ou se%a, possveis de serem medidos. $estes casos, perfeitamente possvel e&primir grande+as associadas a nmeros inteiros ou fra ,es mensur*veis. $ossa questo, que aqui dese%amos apresentar, surge quando determinados valores no podem ser e&pressos em unidades, inteiras ou submltiplas destas. "ste problema bastante comple&o e a muitos sculos intriga os matem*ticos. -e%amos seu desenvolvimento. Os gregos e a geometria Os egpcios utili+avam mtodos matem*ticos para seus problemas cotidianos, contudo, estavam mais preocupados com o resultado. .egundo /o0er 1)2345, mais com !..a mensura o e no o de conseguir melhor compreenso!'. Assim, procuravam resolver todas os problemas do dia a dia da forma mais pr*tica possvel. 6m bom e&emplo est* contido na brincadeira infantil, que prop,em a pergunta !quantos caminh,es so necess*rios para transportar toda a terra de uma montanha #!. Ora, se toda a montanha couber em um caminho, a resposta um. A questo come a quando no sabemos o tamanho da montanha e no podemos arbitrar a capacidade do caminho. $esta linha de raciocnio, o professor Ant7nio /ivar8 em seu te&to onde aborda a
) ' 8 /O9":, ;arl. Histria da Matemtica. .o <aulo, "dgard /l=cher> )234. ?odo o captulo ', ao tratar do "gito, tra+ um importante relato sobre a utili+a o de fra ,es e seu uso na agricultura. @dem, ibdem. ;aptulo ' A)( p.)B <rofessor associado da 6niversidade Cusada.

tra%etria at os nmeros reais4, fa+ uma interessante compara o entre sacos com pedras unit*rias e sacos de medir. Dessa forma, os restos da diviso so novamente divididos em novas unidades. "m alguns casos, esse processo pode no ter fim. $o eram assim que os gregos pensavam. <ara eles, que no conheciam ainda as e&press,es fracion*rias tal qual conhecemos ho%eE, e&primiam como ra+,es as rela ,es entre segmentos. -e%amos por e&emplo, as rela ,es no quadrado.

Fig. 1 .egundo o professor Feraldo GvilaB Hrevista :<I (EJ, atravs de argumentos geomtricos, podemos demonstrar que o lado e a diagonal do quadrado so segmentos incomensur*veis. -e%amos> $a figura acima, representamos um quadrado com diagonal .upondo que

K A/ e lado

l K A;.

se%am comensur*veis, ento e&istir* um terceiro segmento que se%a

submltiplo de d e l . Observando o arco entre os pontos ; e D, com centro em A e o segmento "D, tangente a este arco em D, de sorte que ADKA;. "nto, nos triLngulos A;" e AD" os catetos A; e AD so iguais e a hipotenusa A" comum. Cogo so iguais tambm os catetos ;" e D" Hou /DJ.<ortanto>

d = A/ K
4 E B

n u

lK

m u , sendo m e n inteiros positivos.

/ivar, Ant7nio. Da contagem ao contnuo: uso e construo dos nmeros reais. Disponvel em http>MMNNN.math.ist.utl.ptMOggran%aM?alentosMApresentacoesM(4PnotasPbivar.pdf . Acessado em ('M(BM'()8. ;"::@, ;ristina. Desvendando os nmeros reais. 6.<M@I". $ovembro de '((B. Disponvel em http>MMNNN.mat.ufg.brMbienalM'((BMminiMcristina.cerri.pdf. Acessado em 'MBM'()8. H)3M4M)288 Q'2MRM'()(J Soi professor do departamento de matem*tica da 6n/, dentre seus diversos ttulos.

Observamos que os triLngulos A/; e A/D so congruentes, assim, podemos afirmar queT

l
Cogo,

d-C
nu mu

l
Assim,

n )u

sendo n) um inteiro positivo.

Ora, esta subdiviso poderia continuar infinitamente, com n ', n8, n4, ...concluindo ento o professor Gvila que>
1...5 o segmento dever* ser submltiplo comum do lado e da diagonal de um quadrado to pequeno quanto dese%emos. "videntemente, isso um absurdoU .omos, pois, levados a re%eitar a suposi o inicial de que o lado A; e a diagonal A/ do quadrado original se%am comensur*veis. ;onclumos, pois, que o lado e a diagonal de qualquer quadrado so grande+as incomensur*veis,

<rovavelmente os gregos chegaram a esta concluso atravs de constru ,es como a ilustrada na figura abai&o>

<odemos ver que o quadrado construdo a partir das subtra ,es recprocas contnuas entre a diagonal e o lado dos quadrados um processo que pode ser repetido inmeras ve+es. A tese da descoberta da incomensurabilidade atravs da geometria ganha for a em fun o tanto do apre o que os gregos demonstravam por este ramo da matem*tica quanto pelo fato de desconhecerem ainda a nota o fracion*ria. Ias nada disso impediu "udo&o de ;nido, nascido apro&imadamente em 44( a.;, matem*tico, astr7nomo e filsofo, de apresentar um solu o genial para a questo, apresentada por "uclides, na obra !"lementos!.

O postulado nmero V $o livro - dos Elementos, lVWse nas seis primeiras defini ,es Hsegundo Anbal Saro, das "di ,es ;ultura W .<, )244, p.))2J3
@ Uma grandeza se diz parte de outra grandeza, a menor da maior, quando a menor mede a maior. @@ A grandeza maior se diz mltipla, ou mult plice da menor, quando a menor mede a maior. @@@ A raz!o entre duas grandezas, que s!o do mesmo g"nero, # um respeito rec proco de uma para outra, enquanto uma # maior, ou menor do que a outra, ou igual a ela. @As grandezas t"m entre si raz!o, quando a grandeza menor, tomada certo nmero de vezes, pode vencer a grandeza maior. 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. -@ As grandezas, que t"m entre si a mesma raz!o, se c$amam proporcionais.

Iodernamente, a defini o - pode ser descrita da seguinte forma>R % Hprimeira e segunda grande+aJ e & <ara todo n e m Hgrande+as quaisquerJ .e n% > m & n' > mz .e n% = m& n' = mz .e n% < m & n' < mz .e%am ' Hterceira e quarta grande+aJ. z

3 R

"&trado das !$otas histricas do desenvolvimento do c*lculo diferencial e integral! de Cui+ :oberto :osa, disponvel em http>MMNNN.profNendel.com.brMdoNnloadsM''MartigosWsobreWcalculo Acessado em EMBM'()8. /uriol, M?.I. e Fa++oni, A. $meros racionais e suas representa ,es decimais. :evista Disciplinarum Scientia. .rie.;."&atas. ..Iaria, v.',n.),p.REW2R. '(().