Você está na página 1de 11

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

ISSN 1519-0625

127

ALGUNS ASPECTOS HISTRICOS DA EVOLUO DO CONCEITO DE NMERO REAL1 SOME HISTORIC ASPECTS OF THE EVOLUTION OF THE CONCEPT OF REAL NUMBER
Tatiane Nascente da Rosa Villa2 e Eleni Bisognin3

RESUMO
Neste trabalho so analisados alguns aspectos histricos sobre a evoluo do conceito de nmero real. feita uma anlise da incomensurabilidade entre o lado e a diagonal de um quadrado, descoberta pelos pitagricos, e do mtodo de Arquimedes para determinao da rea de um crculo, com o objetivo de mostrar a necessidade da construo de um conjunto numrico que possibilite expressar tais medidas por meio de um nmero. Utilizaram-se as fraes contnuas para mostrar as aproximaes do nmero irracional 2 realizadas na Idade Mdia e foi utilizado o mtodo de Cortes de Dedekind para construir o corte de Dedekind para o nmero 2 . Palavras-chave: incomensurabilidade, nmeros irracionais, Corte de Dedekind.

ABSTRACT
In this work it was analised some historical aspects about the evolution of the concept of real number. The analysis of the immeasurability between the side and the diagonal of a square discovered by the pitagorics is realized and the method of Arquimedes to the determination of the area of one circle with the objective of showing the necessity of the construction of a numeric group that make possible to express this measurement by a number. It was used the continuous fractions to show the approximations of the irrational number 2 realized in the Middle Ages and it was used the method of cuts of Dedekind to built the cut of Dedekind to the number 2 . Keywords: immeasurability, irrational number, Cut of Dedekind
1 2

Trabalho Final de Graduao UNIFRA. Acadmica do Curso de Licenciatura em Matemtica UNIFRA. 3 Orientadora UNIFRA.

128

Disc. Scientia. Srie: Cincias Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

O PROBLEMA DA MEDIDA
Medir, segundo Caraa (2001), comparar duas grandezas que sejam da mesma espcie, como por exemplo, dois pesos, dois comprimentos, e assim por diante. Ao comparar dois segmentos de reta AB e CD , pode ocorrer que o segmento AB esteja contido em CD, um nmero inteiro r de vezes ou pode resultar que nenhum mltiplo inteiro de AB seja igual a CD. Nesse ltimo caso, pode-se dividir o segmento AB em n partes iguais, de tal modo que CD seja igual a m . AB/n. Dizse, nesse caso, que os segmentos AB e CD so comensurveis, pois possvel compar-los unidade de medida u = AB/n que est contida n vezes em AB e m vezes em CD. Assim, uma grandeza tem tantas medidas quantas sejam as unidades com que se faa a medio. Na gura 1, se for tomado o segmento GH, como unidade de medida u, tem-se que AB mede 4 vezes u, porm se u = IJ ento u cabe 2 vezes em GH e 8 vezes em AB. Em geral, se m a medida de uma grandeza, tomando u como unidade de medida e subdividindo-se u em n partes iguais, a medida dessa grandeza m.n, isto , o nmero de vezes que a nova unidade cabe na grandeza a medir. Na gura 1, observa-se que a unidade de medida cabe um nmero inteiro de vezes na grandeza a ser medida.

Figura 1. Segmentos Comensurveis

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

129

Ao se observar a gura 2, a seguir, e tomando o segmento


GH como unidade de medida, v-se que a medida de EF duas vezes a medida de GH mais a medida de AF que menor do que a unidade GH. Nesse caso, no podemos exprimir a medida de EF e tomar, como unidade de medida, o segmento GH. No caso da gura 2, dividindo-se GH em 4 partes iguais, essa nova unidade de medida cabe 11 vezes em EF . Logo, a medida 11 . 1/4, porm essa razo no um nmero inteiro, pois 11 no divisvel por 4.

Figura 2. Segmentos Comensurveis. Conclui-se ento que nmeros inteiros so insucientes para expressarem a medida de quaisquer segmentos. A diculdade encontrase justamente no fato de que essa diviso no exata. Suponha que AB e CD so dois segmentos e u a medida do segmento unitrio [0,1]. Se AB contm m vezes u e CD contm n vezes u, ento, a medida de AB, tomando CD como unidade de medida, o nmero m/n, m e n inteiros com n no-nulo. Logo, AB = m/n . CD. Se m for divisvel por n, esta razo um nmero inteiro, caso contrrio, tem-se um nmero fracionrio. Portanto, os segmentos comensurveis com o segmento unitrio correspondem a todos os pontos racionais m/n sobre a reta numrica. sempre possvel expressar a medida de um segmento por meio de um nmero racional? A resposta no. Considere, por exemplo, um quadrado cujo lado mede uma unidade. Pergunta-se: qual a medida da diagonal, tomando um dos lados como unidade de medida? Para responder a esta questo, considere a gura 3.

130

Disc. Scientia. Srie: Cincias Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

Figura 3. Diagonal AC do quadrado Seja AB o segmento tomado como unidade de medida. Suponha que existe um nmero racional m/n, n = 0, m/n frao irredutvel, tal que AC = m/n . AB. Do teorema de Pitgoras, tem-se que (AC)2= (AB)2 + (BC)2. Como AB = BC, pois o tringulo issceles, ento (AC)2= 2 (AB)2 e, lembrando o valor de AC, obtm-se m2/n2 = 2. Disso, concluise que m2 = 2n2, ou seja, m2 par e, portanto, m par. Assim, a frao irredutvel n deve ser mpar, mas tomando-se m = 2k, k inteiro, obtmse n2 = 2k2 , concluindo-se que n par. Isso constitui um absurdo, visto que um nmero no pode ser par e mpar ao mesmo tempo. Logo, no se pode expressar a medida da diagonal por meio de um nmero racional, tomando um lado do quadrado como unidade de medida. Esse fato mostra que a diagonal do quadrado incomensurvel com o lado. Essa noo de incomensurabilidade foi a descoberta mais importante da Escola Pitagrica e foi um dos fatos que perturbou os gemetras gregos, pois eles entendiam, conforme Amoroso Costa (1971), que uma relao entre grandezas geomtricas deveria corresponder a uma relao entre nmeros. Apesar dessa descoberta genial, os Pitagricos no ampliaram sua noo de nmero e, somente no sculo XVI, Vite considerou a noo de nmero e grandezas geomtricas distintas. Para os gemetras gregos, a noo de nmero irracional no era clara, embora, em problemas prticos, utilizassem aproximaes racionais dos valores irracionais. Exemplo disso o mtodo utilizado por Arquimedes para determinao do nmero cuja aproximao foi

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

131

obtida com duas sequncias de racionais, uma de termos superiores e outra de termos inferiores, distando pouco do nmero irracional . O mtodo utilizado por Arquimedes, conforme descrito em Aaboe (1984) e Strathern (1999), permitiu calcular a rea de um crculo. Ele aproximou a rea do crculo ao inscrever e circunscrever um hexgono como mostra a gura 4 a seguir.

Figura 4. Hexgono inscrito e circunscrito.

Arquimedes iniciou o processo, dobrando o nmero de lados dos polgonos e repetiu-o at obter um polgono de 96 lados. Com o clculo da rea do polgono interior e exterior obteve, respectivamente, um limite inferior e um limite superior para a rea do crculo. Com esse mtodo, ele obteve para o valor de , aproximaes equivalentes a 3,14084 < < 3,142858, o que mostra a proximidade dos valores que hoje conhecemos. Usando esse mtodo, Arquimedes construiu duas sequncias de nmeros racionais, uma com valores inferiores e outra com valores superiores, tendo como limite o nmero irracional . Essa , de acordo com Amoroso Costa (1971), a origem da noo de nmero irracional denido como limite de uma seqncia de nmeros racionais. Esse mtodo utilizado por Arquimedes , na realidade, a origem do clculo diferencial, embora, somente depois de, aproximadamente, dois mil anos, Newton formulou seus fundamentos. Apesar da descoberta da incomensurabilidade da diagonal do quadrado em relao ao lado e s descoberta de Arquimedes, os nmeros irracionais no foram claramente denidos.

132

Disc. Scientia. Srie: Cincias Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

Por um lado, se a medida da diagonal de um quadrado incomensurvel com o lado, como comprovado pela Escola Pitagrica, a impossibilidade de expressar essa medida propiciou uma outra descoberta: a existncia de outros nmeros, alm dos nmeros naturais e das fraes ordinrias que, de acordo com Boll (1963), o matemtico italiano, Raphel Bombelli, identicou como nmeros decimais que no se terminam jamais e os algarismos no se reproduzem nunca na mesma ordem. Esse resultado extraordinrio de Bombelli demonstrado para o nmero 2 , conhecido hoje como frao contnua, foi obtido por meio das fraes ordinrias. A gura 5, a seguir, mostra o clculo de
2 por fraes contnuas.

1 + 2+

1 1 1 2+ 2+

Figura 5. Clculo de 2 por fraes contnuas Observa-se assim que do clculo de Bombelli se obtm uma sequncia de fraes ordinrias que se aproximam cada vez mais do nmero 2 . Os oito primeiros termos proporcionam os valores apresentados a seguir.

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

133

Esses avanos, na noo de nmero irracional, s culminaram em ns do sculo XIX com os estudos realizados por Cantor e Dedekind quando a noo de nmero irracional adquire um sentido rigoroso e formal como conhecido at os dias atuais, por meio dos cortes de Dedekind . A noo de corte construda por Dedekind consiste no seguinte: toma-se uma reta r no plano e um ponto P sobre ela; portanto, P divide a reta r em duas classes. A classe A dos pontos da reta esquerda de P e a classe B dos pontos situados direita de P. O ponto P pode estar na classe A ou na classe B. Diz-se que se tem um corte (A,B) constitudo pelas classes A e B, se as seguintes condies so satisfeitas: a) nenhum ponto da reta ca fora da separao; b) todo ponto da classe A est esquerda de todo ponto da classe B. Essas so as condies denidas por Dedekind para se obter um corte. Essa denio de corte est ligada noo de continuidade. Pergunta-se: sempre existe um ponto P que divide r em duas classes? Segundo Caraa (2001), este conceito de continuidade publicado por Richard Dedekind, em 1872, na obra Continuidade e nmeros irracionais consiste no axioma: todo corte da reta produzido por um ponto dela, isto , qualquer que seja o corte existe sempre um ponto da reta que separa as duas classes A e B. Isso se aplica ao campo dos racionais? Considere uma partio tal que, na classe A, esto os nmeros racionais cujo quadrado menor que 2 e, na classe B, esto os nmeros racionais cujo quadrado maior

134

Disc. Scientia. Srie: Cincias Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

que 2. Dado qualquer nmero racional, podemos classic-lo em uma das classes e ainda vericar que todos os pontos que pertencem a classe A esto esquerda dos elementos da classe B. Pelo critrio da separao, o corte compreende todos os nmeros racionais, mas o nmero cujo quadrado igual a 2 no pertence a nenhuma dessas classes. Do exposto, conclui-se que o conjunto dos racionais no satisfaz a condio de Dedekind, o que comprova que o conjunto dos racionais no contnuo. Portanto, no h uma correspondncia biunvoca entre o conjunto dos nmeros racionais e os pontos da reta, o que mostra que o conjunto dos nmeros racionais, embora denso sobre a reta, no a cobre em sua totalidade, da a necessidade de se estender o conjunto dos racionais. Com o propsito de cobrir a reta numrica com um conjunto de pontos denso, consideram-se os nmeros que se originam pela subdiviso de cada intervalo unitrio em 10, depois em 100, 1000, etc., segmentos iguais. Assim, escolhido um ponto P, ele pode ser includo em intervalos cada vez menores da diviso decimal e esse processo pode ser continuado indenidamente, obtendo-se uma seqncia sem m de dgitos a1, a2, a3, ..., an, ... , tendo a propriedade de qualquer que seja o nmero n, o ponto escolhido P est no intervalo In cujo ponto inicial a frao 0, a1, a2, a3, ..., an e cujo ponto terminal 0, a1, a2, a3, ..., an , an+1..., sendo 10-n , o comprimento de In. Se n = 1, 2, 3, ..., cada um dos intervalos I1 , I2 , I3, ... est contido no precedente e seus comprimentos 10 , 10 , 10 , ... , tendem a zero. Nesse caso, o ponto P est contido numa sequncia de intervalos encaixados. Sero analisados, a seguir, as aproximaes racionais da soluo da equao x2 = 2. Denomina-se raiz quadrada de 2, a menos de uma unidade, por falta, ao maior nmero inteiro n tal que n2 < 2 < (n+1)2. O nmero n + 1 denominado de raiz quadrada de 2 a menos de uma unidade por excesso. Se n =1 ento a soluo da equao x2=2 satisfaz, 1 < x < 2. A seguir, so feitas aproximaes racionais da soluo de x2 = 2 que se encontram entre 1 e 2.
1 2 3

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

135

Denomina-se raiz quadrada de 2 a menos de 1/10 (um dcimo) por falta, ao maior nmero inteiro de dcimos cujo quadrado menor que 2. Isso equivale a (n/10)2 < 2 < (n+1/10)2 em que o nmero a raiz quadrada de 2 por excesso a menos de um dcimo. [1,2] em 10 partes iguais como mostrado na gura 6 a seguir.

Para o clculo dessa aproximao, divide-se o segmento de reta

1.4

1.41 1.42

1.43

1.44 1.45 1.46 1.47 1.48

1.49

1.5

Figura 6. Diviso do segmento [1,2] em 10 partes iguais

Obtm-se (1,4)2 < 2 < (1,5)2 Assim, 1,4 a soluo aproximada da equao x2=2 a menos de 1/10 por falta e 1,5 a soluo aproximada por excesso. Logo, a soluo da equao encontra-se no segmento [1.4 ,1.5]. Para obter-se soluo aproximada da equao x2 = 2 a menos de 1/100, por falta e por excesso, divide-se o segmento [1.4 ,1.5] em 10 partes iguais por meio dos pontos, conforme a gura 7:

1.1

1.2

1.3

1.4

1.5

1.6

1.7

1.8

1.9

Figura 7. Diviso do segmento [1.4 , 1.5] em 10 partes iguais.

Conforme o procedimento anterior, tem-se (1,41)2 < 2 < (1,42)2, isto , 1,41 a soluo a menos de 1/100 por falta e 1,42 a soluo aproximada por excesso. Logo, a soluo da equao encontra-se no intervalo da reta de extremos 1,41 e 1,42. Continuando o processo, so encontradas solues aproximadas a menos de 1/1000, 1/10000, ..., 1/10n. Desse modo, so construdas as classes de aproximaes A por falta e B por excesso, da soluo da equao x2 = 2 . Tem-se ento: 12 < 2 < 22 , (1,4)2 < 2 < (1,5)2, (1,41)2 <

136

Disc. Scientia. Srie: Cincias Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

2 < (1,42)2, (1,414)2 < 2 < (1,415)2 , (1,4142)2 < 2 < (1,4143)2 , e assim por diante. Tem-se, ento, as classes A = { 1,1.4,1.41,1.414,1.4142,...} e B = { 2,1.5,1.42,1.415,1.4143,...}, constitudas por decimais innitas. Considere a classe M constituda pelas decimais innitas pertencentes A, isto , os nmeros racionais positivos x tais que x2 < 2 , mais o nmero zero e os racionais negativos e, a classe N, formada pelo complemento de M em Q, portanto Q = M N. Tem-se ento que A Me B N e no existe um racional mximo em A ou um mnimo em B. Concluise que o nmero 2 , soluo da equao x2=2, no pertence classe A nem classe B. O nmero 2 um nmero irracional denido pelo corte (A,B). Esse modo de denir um nmero irracional por meio dos Cortes de Dedekind o modo formal utilizado, nos dias atuais, no estudo de nmeros reais. CONSIDERAES FINAIS Neste trabalho, analisaram-se alguns aspectos histricos sobre a evoluo do conceito de nmero real. Partiu-se da anlise do problema da medida e da incomensurabilidade da diagonal do quadrado em relao ao lado, para mostrar a necessidade da obteno de um nmero para expressar tais medidas. Analisou-se o mtodo de Arquimedes para o clculo da rea de um crculo por aproximaes, inferiores e superiores de reas de hexgonos regulares inscritos e circunscritos, respectivamente, para a obteno do nmero irracional com valores prximos aos conhecidos atualmente. Na continuidade da evoluo histrica, analisou-se a aproximao da 2 feita na Idade Mdia por meio de fraes contnuas e, por ltimo, foi analisado o mtodo dos Cortes de Dedekind, sendo construdo o corte de Dedekind para a 2 , mtodo esse que deniu, de modo rigoroso, a noo de nmero irracional utilizado at os dias atuais.

Disc. Scientia. Srie: Naturais e Tecnolgicas, S. Maria, v. 5 , n. 1, p. 127-137, 2004.

137

REFERNCIAS BIBLIOGRFICAS AABOE, Asger. Episdios da Histria Antiga da Matemtica -Coleo Fundamentos da Matemtica Elementar. Rio de Janeiro: SBM, 1984. AMOROSO COSTA, M. As idias fundamentais da Matemtica e outros ensaios. So Paulo: Editora da USP, 1971. BOLL, Marcel. Histoire des Mathmatiques. Paris: Presses Universitaires de France, 1963. CARAA, Bento de Jesus. Conceitos fundamentais da Matemtica. Lisboa: Tipograa Matemtica, 2001. STRATHERN, Paul. Arquimedes y la palanca. Madrid: Siglo XXI de Espaa Editores S.A., 1999.