Professional Documents
Culture Documents
Rio de Janeiro
2011
Marcos Paulo Ferreira de Arajo
Orientadora:
Profa. Dra. Tatiana Marins Roque
Rio de Janeiro
2011
Arajo, Marcos Paulo Ferreira de.
A663i Introduo ao conceito de nmero reais: uma proposta didtica
baseada na histria da matemtica / Marcos Paulo Ferreira de
Arajo. -- Rio de Janeiro: UFRJ/IM, 2011.
viii, 47f.: il. ; 30 cm.
Dissertao (mestrado) UFRJ/IM. Programa de Ps-
graduao em Ensino de Matemtica, 2011.
Orientador: Tatiana Marins Roque.
Referncias: f.45-47.
1. Nmeros reais. 2. Matemtica-Histria. 3. Matemtica- Estudo
e ensino. I. Roque, Tatiana Marins. II. Universidade Federal do Rio
de Janeiro. Instituto de Matemtica. III. Ttulo.
Agradecimentos
Agradeo ainda a todos os meus colegas de curso que sempre me trataram com respeito, es-
pero ter tratado a todos com o mesmo respeito. Especialemtne agradeo ao Ledo pelos milhes
de cafs que tomamos juntos: muitas idias boas surgiram ali.
minha famlia, alem da minha gratido, deixo registrado um pedido de desculpas pela
minha negligncia e ausncia em tantos momentos. Deixo tambm a promessa de que passarei
o resto da minha vida tentando compensar tudo de ruim que eu tenha feito vocs passarem para
que eu pudesse terminar meu trabalho.
minha av
Julia
in memorian
Resumo
This work presents a didactic proposal for an introduction of the concept of real numbers,
based on the history of mathematics.
Our goal is to show that the approach that takes into account the historical circumstances
that can be as compelling as the usual approaches with advantages to highlight the aspects that
are usually obscured by common teachings.
In the case of the concept of real numbers, we aim to become more natural, but not trivial,
the needs for extensions of the concept of numbers, since the presentation of whole numbers,
up to the concept of real numbers, passing through the rational numbers. For this, we rely on
the strong evidence presented by Fowler and Knorr, the eminent historians of mathematics, of
the existence of theories of ratio in the fourth century A. C. that would have been superseded,
and later forgotten, and giving rise to the theory of proportions of Eudoxus.
We seek, therefore, a didactic proposal that could serve as a basis for further research in
education by strengthening the idea of the mathematics education that can interact with the
recent advances of research methodologies in the history of mathematics.
Sumrio
1 Introduo p. 9
2 Metodologia p. 11
3.2 Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18
3.3.1 Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 20
3.3.3 Aproximaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 24
4 Proposta didtica p. 28
5 Consideraes Finais p. 43
Referncias Bibliogrficas p. 45
9
1 Introduo
Propomos aqui, portanto, uma atividade a ser desenvolvida em cursos de formao continu-
ada e aperfeioamento de professores. Nela fazemos uso de elementos da evoluo do conceito
10
de nmero tentando resgatar o momento em que as grandezas deixaram de serem tratadas como
tal e receberam um tratamento de nmero sem o amadurecimento necessrio para a compreen-
so de ambos os conceitos. Intriga-nos que a comparao entre reas de retngulos no passem
agora de comparao entre os produtos de suas bases pelas suas respectivas alturas. Mais do que
isso, a reduo das grandezas s suas medidas e, consequentemente, algebrizao por meio
de frmulas estendam-se s apresentaes das ampliaes dos domnios numricos. Passa-se
dos naturais aos racionais porque no possvel resolver a equao 2n 3 = 0 com n natural,
no entanto porque resolver tal equao relevante para o aluno? Essa justificativa , no mnimo,
artificial demais para ser considerada suficiente.
2 Metodologia
Abordagem Modular, que se insere como um parntese nos assuntos comumente ensina-
dos com princpio meio e fim voltando os olhares peculiaridades que passariam desper-
cebidas sem sua interveno;
Cada uma dessas abordagens mostrada em comunicao constante tanto com a histria
como ferramenta quanto com a histria como objetivo e essa comunicao revela as relaes
entre os comos e os porqus de se usar histria da matemtica, segundo o autor.
O uso da notao moderna foi feito de maneira cuidadosa para no distorcer as noes
gregas com a viso atual. No foi instituda nenhuma lgebra de grandezas, de modo que
quando subtramos duas grandezas, por exemplo, essa subtrao no deve remeter operao de
subtrao no sentido contemporneo. Vale ressaltar que quando nos referimos a uma grandeza
A, no estamos nos referindo sua medida. Por exemplo, se desejamos fazer uma subtrao
entre dois segmentos no congruentes, temos como resultado um terceiro segmento e no a
diferena entre as medidas dos segmentos envolvidos na operao.
Consideramos que, nesse sentido, nos aproximamos do que Jankvist classifica de histria
13
como objetivo, pois aproxima o aluno da atividade intrinsecamente humana de fazer matem-
tica. No se trata, no entanto de pensar que
pois consideramos que uma abordagem nesse sentido afasta a proposta de utilizao da
histria da matemtica a medida que ignora o contexto social e filosfico do perodo onde o
conceito que se pretende ensinar foi criado.
14
Por matemtica da Grcia antiga, Fowler (1999) entende a fase de desenvolvimento que
culminou nos trabalhos de Euclides e Arquimedes. A limitao causada pela escassez de
fontes dessa poca faz com que o trabalho do historiador da cincia parea, at certo ponto,
especulativo. De certo modo, seu trabalho preencher as lacunas a partir dos fragmentos aos
quais tem acesso. Nas palavras de Wilbur R. Knorr,
Grande parte do que se conhece sobre a matemtica na Grcia antiga parte de concluses
tiradas de um exame minucioso, por um lado, dos escritos de Plato e Aristteles, e de outro,
dos Elementos de Euclides. No caso deste ltimo, acredita-se que este livro seja, na realidade,
uma compilao de conhecimentos matemticos anteriores, ainda que a forma da exposio
deva ser caracterstica do tempo e do meio em que Euclides viveu.
Comecemos, portanto, pelos Elementos, no qual Euclides apresenta dois tipos de teoria das
propores. H uma verso no livro VII que pode ser aplicada somente razo entre inteiros.
Esta verso, atribuda aos pitagricos, pode ser facilmente estendida para razes entre grandezas
comensurveis. A segunda verso, presumidamente posterior primeira, est contida no livro V
e atribuda ao matemtico platnico Eudoxo. Esta teoria das propores bastante sofisticada
e se aplica igualmente a grandezas comensurveis e incomensurveis.
W. Knorr contesta a tese de que a primeira verso da teoria das propores possa ser atri-
buda aos pitagricos, ao menos do modo formal como ela exposta nos Elementos. Segundo
este historiador, o desenvolvimento formal da matemtica deve ter se iniciado com os trabalhos
de Teeteto, no incio do quarto sculo a. C. Comparando os dois tipos de teoria das propor-
15
es expostas por Euclides, h motivos histricos para se acreditar que a inadequao da teoria
numrica para tratar as grandezas incomensurveis tenha levado busca de uma tcnica que pu-
desse ser aplicada a elas de modo confivel. Como a tcnica da antifairese j era conhecida para
nmeros, os matemticos da poca tentaram estender a teoria das propores por meio desta
mesma tcnica, com o objetivo de obter uma teoria que pudesse incluir os incomensurveis.
Neste contexto, surgiram questes tcnicas difceis com as quais os matemticos tiveram
que lidar, o que os teria levado a expressar a teoria das propores de um modo mais meticuloso
e formal, de forma a evitar os erros e enganos oriundos de um modo intuitivo de comparar
grandezas.
Esta demonstrao, de uma poca bem anterior de Eudoxo, exigia um conhecimento pro-
fundo de razes e propores. Uma das hipteses mais confiveis, defendida por historiadores
como Freudenthal, Knorr e Fowler, a de que o mtodo da antifairese estava na base de uma
teoria das razes e propores que era praticada, pelo menos, durante o sculo IV a.C. e que
teria sido desenvolvida por Teeteto, matemtico contemporneo de Plato e pertencente ao seu
crculo.
pois seus quadrados so comensurveis. Se temos, por exemplo, um quadrado de lado 1, este
lado no comensurvel em comprimento com a diagonal (que sabemos medir 2). No en-
tanto, seu quadrado 1 comensurvel com o quadrado da diagonal, que 2. Podemos concluir,
assim, que estas grandezas so comensurveis em potncia.
Esta distino permite reduzir uma situao em que aparecem duas grandezas incomensur-
veis a outra na qual existe uma comensurabilidade potencial. Ou seja, para lidar com exemplos
em que eram consideradas razes particulares, como aqueles tratados por Hipcrates, no era
necessrio desenvolver uma teoria geral das razes e propores.
No sculo IV, Teeteto teria refinado esta classificao das grandezas comensurveis para
incluir outras potncias, para alm dos quadrados. Este estudo, que consta no livro X dos
Elementos de Euclides, inclua um tratamento mais refinado dos incomensurveis e demandou
uma nova tcnica para comparar grandezas deste tipo. A tcnica da antifairese, que j era
conhecida para nmeros, servia a este propsito e forneceu um meio para a constituio de uma
primeira teoria geral das razes e propores.
Os matemticos teriam forjado a noo de comensurabilidade para nmeros, uma vez que
a unidade a medida de todos os nmeros. Em seguida, eles teriam estendido esta noo para
grandezas, mas no puderam encontrar uma medida comum para todas as grandezas. Por isto, a
partir da descoberta dos incomensurveis, a identificao entre grandezas e nmeros, de modo
geral, no ser mais possvel.
Alem disso,
Desse modo, embora as noes modernas de nmero, razo, grandeza, etc. tragam con-
sigo toda a carga de sua construo histrica, devemos alertar que os conceitos homnimos
tratados nesse trabalho tm sentido filosfico e social bastante diferente dos contemporneos.
Se hoje, por exemplo, temos uma aritmtica que trata tanto de nmeros quanto das grande-
zas com suas respectivas medidas, h indcios (ASPER, 2009), de que na Grcia antiga havia
um grupo de calculistas e esticadores de corda que tratavam da matemtica pragmtica
dos clculos monetrios assim como daquela relativa engenharia, enquanto o grupo dos te-
ricos tratava de questes filosficas onde os nmeros tinham um papel bastante diferente e sua
aritmtica no se aplicava s grandezas.
De fato, o pensamento platnico, imperativo nas obras de Euclides, visa apresentar os con-
ceitos aproximando-os dos ideais inatingveis pela realidade que apresenta apenas simulacros
necessariamente imperfeitos desses conceitos.
Tais argumentos reforam a existncia de uma matemtica prtica que coexistia paralela-
mente terica, enfraquecendo observaes anacrnicas de que os gregos teriam dificuldade
no tratamento dos processos infinitos ou que a descoberta da existncia dos irracionais teria
causado uma crise nos fundamentos da matemtica grega.
Os indcios so mais fortes no sentido de que os processos infinitos, bem como os mtodos
de neusis para soluo de problemas como a duplicao do cubo ou a trisseco do ngulo,
eram relegados matemtica da prtica, ao passo que os fundamentos da matemtica previam
um tratamento bem estruturado para os nmeros e para as grandezas (incluindo as grandezas
incomensurveis entre si) sendo clara a distino entre esses entes e, filosoficamente, importante
trata-los de maneira diferente.
3.2 Antifairese
Quando este procedimento funciona, e nos permite encontrar a medida comum a dois seg-
mentos, podemos reduzir a geometria aritmtica. A verificao da semelhana entre figuras
pode ser reduzida verificao de uma proporo aritmtica e a proporo pode ser definida
como uma igualdade de razes entre nmeros.
No se sabe ao certo em que exemplo a incomensurabilidade entre duas grandezas foi veri-
ficada pela primeira vez, mas acredita-se que o mtodo da antifairese permitiu que se chegasse a
esta concluso. A possibilidade de existirem duas grandezas incomensurveis tornou necessria
uma teoria das razes e propores independente da igualdade entre nmeros.
Mais do que isso, o mtodo da antifairese teria sido usado para desenvolver uma teoria
de razo independentemente da noo de proporo. Segundo Fowler, trs noes distintas de
razo estariam presentes na tradio grega: uma vinda da teoria musical, outra da astronomia
(que teria servido de base para as definies do livro V) e uma terceira baseada na antifairese,
que seria a mais interessante.
Para este historiador da matemtica, os gregos entendiam a razo 22:6, por exemplo, com
base no fato de que podemos subtrair 6 de 22 trs vezes, restando 4; em seguida, subtramos 4
19
No caso geomtrico, duas grandezas estariam na mesma razo quando possuem a mesma
antifairese. Se tentarmos encontrar a razo entre a diagonal e o lado do quadrado por este
procedimento, obteremos uma vez, duas vezes, duas vezes, duas vezes,.... No difcil admi-
tir, com argumentos da matemtica grega, que esta seqncia continua indefinidamente, o que
bastaria para concluir pela incomensurabilidade.
A descoberta da incomensurabilidade, deste ponto de vista, no seria uma crise dos funda-
mentos da matemtica, mas uma descoberta interessante que motivou novos desenvolvimentos
da matemtica. Logo, no seriam exatamente as questes de fundamento descobertas pelos
gregos que teriam sido resolvidas por Dedekind, como se diz usualmente, pois as questes nos
dois contextos seriam bem diferentes.
Para os gregos, a questo foi resolvida pela teoria das propores de Eduoxo no campo da
geometria. A colocao de que por mera falta de viso eles no tenham estendido o conceito
de nimero absurda, caso contrrio eles teriam aceito, como nmeros, os racionais. Portanto,
quanto a discusso de porque os gregos no teriam construdo os nmeros irracionais,
[...] devemos perceber de uma vez que tal discusso no poderia ter emergido
antes da resoluo bem sucedida do problema dos nmeros irracionais por
Weierstrass e Dedekind no sculo XIX. (KNORR, 2001, p. 124, traduo
nossa, comentario nosso)
Afirmarmos que no houve crise no significa diminuir a importncia da descoberta dos in-
comensurveis. H duas consequncias importantes que precisam ser investigadas. A primeira
delas o fato desta descoberta ter produzido um divrcio entre o universo das grandezas e o
universo dos nmeros.
Segundo Aristteles:
Cada um dos contextos em que a razo se enquadrava na Grcia antiga tinha sua teoria
prpria que ressaltava os aspectos desejados para seu propsito. Fowler apresenta as teorias
de razo nos contextos da Matemtica, da Msica e da Astronomia. Cada uma dessas teorias
apresentada, em (FOWLER, 1999), a partir de um dilogo, conforme a tradio da escola
platnica.
Aps o dilogo com Scrates, o Escravo parte em uma peregrinao visando entender ou-
tros aspectos do conceito de razo. Assim Fowler apresenta dois outros dilogos fictcios entre
o Escravo e Arquitas, para entender alguns aspectos da noo de razo na Msica, e entre o
Escravo e Eudoxo para discutir a teoria, supostamente em construo, da razo para a Astrono-
mia.
3.3.1 Antifairese
1o Passo: Da primeiro da pilha com sessenta pedras pode-se subtrair duas vezes a pilha com vinte
e seis pedras e ainda resta uma pilha com oito pedras.
2o Passo: Da pilha com vinte e seis pedras pode-se subtrair trs vezes a pilha com oito pedras e
ainda resta uma pilha com duas pedras.
3o Passo: Por fim a pilha com duas pedras cabe exatamente quatro vezes na pilha com oito
pedras.
sequncia: duas vezes, trs vezes e quatro vezes exatamente, que representa o nmero de
subtraes que se pode fazer em cada passo, o Scrates de Fowler chama de razo. A notao
Ant(60, 26) = [2, 3, 4] usada, ento para representar a razo antifairtica de 60 : 26.
A escolha de uma grandeza que pode sempre ser representado por nmeros inteiros sugere
o carter introdutrio do problema. Mesmo assim, as pilhas de pedra so tratadas como gran-
dezas e no sugerida nenhuma comparao entre os nmeros sessenta e vinte e seis, o que
consideramos natural quando se pretende estender o procedimento outras grandezas.
O fato de Ri medir R(i1) garante imediatamente que Ri pode medir, no sentido de caber
uma quantidade inteira de vezes, todas as grandezas intermedirias do processo, ou seja, Ri
mede A, B, R1 , , R(i1) . Em particular, Ri mede A e B, garantindo que essas grandezas so
comensurveis entre si.
no terminasse, inevitavelmente teramos que R deveria medir uma grandeza Ri < R, o que
impossvel. Portanto o processo de antifairese deve ser necessariamente finito.
Para os nmeros, a antifairese serve ao propsito de encontrar fatores comuns a dois nme-
ros, o maior divisor comum. Muito embora a existncia da unidade garanta que a antifairese
seja finita, no caso em que os nmeros so primos entre si o processo tem como resultado no
um nmero mas a unidade. Nesse caso, no existem fatores comuns, ou ainda, no existe um
nmero que mea ambos os nmeros considerados, j que a unidade no era considerada um
nmero.
Uma vez que, mesmo para dois nmeros, pode no ser possvel encontrar a maior medida
comum, o mesmo pode acontecer para grandezas. Mas nesse caso, o processo de antifairese
vai apresentando grandezas de mesma natureza cada vez menores indefinidamente, ou seja, o
processo infinito.
Seja L o lado do pentgono regular e D a sua diagonal. Por meio de construes com rgua e
compasso, possvel perceber que L cabe uma vez em D e sobra segmento que chamaremos de
D L. Comparando L, com D L, nota-se que D L cabe uma vez em L e sobra um segmento
que chamaremos de 2LD. Em seguida, devemos fazer a comparao entre DL e 2LD, mas
essas duas grandezas so tambm, respectivamente, diagonal e lado de um pentgono regular.
Desse modo, aps a segunda etapa da anifairese, devemos resolver o mesmo problema
inicial de comparar o lado e a diagonal de um pentgono regular, mas com dimenses menores
e, portanto o processo se repete indefinidamente e Ant(D, L) = [1, 1, 1, ]
E J I C
F H
A B
Embora haja razes suficientes para acreditar que o estudo das relaes entre lados e diago-
nais de polgonos fosse considerado bastante relevante Matemtica da Grcia antiga, Fowler
sublinha que h srias objees ao fato de que o mtodo de antifairese, aplicado nesse estudo,
tenha sido o responsvel pela descoberta da incomensurabilidade. Ele argumenta que nem
mesmo a demonstrao atribuda pelos estudiosos a Aristteles de que, caso a diagonal e o lado
do quadrado fossem comensurveis, teramos um nmero par igual a um mpar, seria a maneira
como os incomensurveis teriam sido descobertos.
3.3.3 Aproximaes
Embora haja indcios de que os matemticos da Grcia Antiga pudessem manipular fraes
pelo mtodo egpcio, nenhuma ligao entre as fraes usadas nesses procedimentos e a ideia
de razo aparece nos textos dessa poca. De fato, pouco se sabe sobre os mtodos usados
pelos gregos para clculos cotidianos. No entanto, alguns resultados que aparecem nos textos
remanescentes sem maiores explicaes, reforam a ideia de que eles eram capazes de encontrar
convergentes de fraes contnuas.
Os textos mostram que, por exemplo, Aristarco usava 7 : 5 como aproximao para a ra-
zo entre a diagonal e o lado do quadrado, enquanto Heron teria usado 17 : 12 para a mesma
razo. Note que a antifairese entre o a diagonal do quadrado [1, 2, 2, 2, ] e os primeiros
convergentes das fraes contnuas so
1 3 1 7 1 17
1, 1 + = , 1+ = , 1+ =
2 2 1 5 1 12
2+ 2+
2 1
2+
2
portanto, as aproximaes usadas por Aristarco e Heron eram convergentes da frao contnua
referente antifairese entre a diagonal e o lado do quadrado. Nesse exemplo simples, tenta-
dor, no entanto, pensar que Aristarco e Heron tenham apenas tomado as antifaireses truncadas
[1, 2, 2] e [1, 2, 2, 2] e desenvolvido de trs para frente, como se fossem antifaireses de nmeros
primos entre si, para chegar aos seus resultados. Mas, embora o desenvolvimento de trs para
frente seja simples com poucos passos de antifairese, tal desenvolvimento se torna bastante tra-
25
A partir da falta de coerncia em supor que se usasse uma aritmtica de fraes para chegar
aos resultados acima, Fowler prope um mtodo usando apenas procedimentos disponveis
poca, embora seja ressaltado que impossvel decidir se tal mtodo teria ou no sido usado de
fato. A esse mtodo Fowler d o nome de Proposio de Parmnides que consiste basicamente
em, dadas uma aproximao por falta e uma por excesso de uma razo, encontrar uma terceira
aproximao mais precisa que as duas primeiras para a razo desejada, hora por falta hora por
excesso.
Seja p : q uma aproximao por falta e r : s uma aproximao por excesso para uma razo .
Ento p + r : q + s ser uma aproximao melhor de do que as anteriores, seja por falta ou
por excesso.
A comparao entre duas razes antifairticas obedece uma lgica que assume que os pas-
sos mpares referem-se quantidade de vezes que a menor grandeza (ou uma parte dela) cabe na
maior (ou uma parte dela. Os passos pares, pelo contrrio, referem-se quantidade de vezes que
uma parte da maior cabe em uma parte da menor das grandezas de modo que, tomando n < m,
[n, ] < [m, ] mas [p, n, ] > [p, m, ], [p, q, n, ] < [p, q, m, ] e assim sucessivamente.
Essa comparao seria necessria para decidir se a nova aproximao por excesso ou por falta
Com o surgimento da teoria das propores de Eudoxo, a noo de razo perdeu muita
importncia e os procedimentos relativos aos processos de antifairese perderam relevncia ma-
temtica, assim como sua relao com o conceito de razo seria esquecido.
De fato, resultados que haviam sido obtidos a partir da teoria de razo seriam explicados
novamente em termos da teoria de propores. A teoria das razes, particularmente a razo
antifairtica, trs consigo uma inerente falta de afinidade com demonstraes de propriedades
simples, como, por exemplo, p : q :: p : r q = r.
Mesmo no caso de razes entre grandezas comensurveis, em que as razes podem ser
reduzidas a antifaireses entre nmeros, o desenvolvimento da teoria de razes, bem como a
manipulao dos clculos desses entes seria visto pelos sbios da poca como uma aritmtica
para fraes que conflitariam com questes filosficas como a partio da unidade, sem contar
a falta de relao evidente entre, por exemplo, Ant(p, q) e Ant(r, s) com Ant(pr, qs) ou Ant(ps +
qr, qs).
No existe nenhum registro na Grcia antiga de que se tenha tentado criar uma teoria das
propores usando a teoria das razes. No entanto, Hogendijk (2002) remonta os passos de
trs matemticos rabes que se propuseram a demonstrar a equivalncia entre as proposies
de Euclides usando a teoria das propores de Eudoxo e uma teoria de propores baseada na
razo antifairtica semelhante apresentada por Fowler. No entanto, esse trabalho apresentaria
varias suposies anacrnicas, conforme ressalta Vitrac (2002).
Para ns, no entanto, o potencial didtico da teoria das razes no modelo proposto por
Fowler, no que diz respeito ao deslocamento da extenso dos domnios da usual para uma inde-
pendente das operaes, pode ser uma ferramenta interessante. A possibilidade de apresentar
o desafio de construir uma noo de nmero real baseada no conceito de razo nos pareceu
27
promissora.
4 Proposta didtica
Com a criao da teoria dos conjuntos e a associao dos nmeros reais aos pontos da reta,
o conceito de grandeza tornou-se aparentemente indissocivel da sua medida fazendo com que
nem sempre o aluno faa a distino de quando est trabalhando com um problema associ-
ado a uma grandeza ou simplesmente resolvendo uma equao. Sendo assim, no incomum
encontrarmos resultados inconsistentes com a pergunta do problema.
Alem disso, nem sempre fica clara a necessidade de se utilizar nemeros reais, pois as
habilidades de estimativa (aproximao) e contextualizao incentivadas pelos parmetros cur-
riculares reduz consideravelmente a percepo da presena dos nmeros reais no cotidiano.
simplesmente surreal que, por exemplo, ao ser perguntado sobre quantos centmetros de
fita so necessrios para envolver uma caixa de bombons de formato circular com dimetro
10cm, o aluno responda 10 cm. Ninguem pede 10 cm de fita numa loja. A resposta esperada
32cm ou qualquer outra aproximao que seja imposta no enunciado. Por outro lado, dificil-
mente as pessoas de modo geral, e os alunos em particular, percebem que, ao comprarem 1m
de fita na mesma loja, eles esto levando igualmente uma aproximao de 1m. De fato, 1 e
tm naturezas diferentes enquanto nmeros mas quando esto no contexto da expresso de
uma medida, ambos so igualmente nmeros reais que somente sero atingidos por uma apro-
ximao. Finalmente, a densidade dos nmeros racionais sobre os reais, de certo modo, deixa
a impresso de que os nmeros reais so desnecessrios, dada a limitao dos instrumentos de
medida acessveis.
Isso significa que iremos associar nmeros a grandezas a partir da escolha de uma unidade. A
medida de uma grandeza ser construda a partir da sua comparao com a unidade escolhida.
A noo de nmero inicial restrita aos nmeros inteiros e ser estendida gradativamente
a partir dos exerccios propostos. H, portanto, um conflito inevitvel de que o pblico alvo
da atividade traga consigo sua prpria viso de nmero. Visando minimizar esse conflito, pro-
pomos uma restrio do conceito de nmero e de grandeza s caractersticas desejadas para o
desenvolvimento da atividade.
Entre duas grandezas diferentes de mesma natureza, A e B, dizemos que a grandeza B cabe
na grandeza A se B pode ser aumentada (ou A pode ser diminuda) de modo a obter a grandeza A
(respectivamente B). Nesse caso, dizemos que existe a diferena A B, que uma grandeza de
mesma natureza que as grandezas consideradas inicialmente. Diremos ainda que B cabe n vezes
em A se existirem as diferenas A B, (A B) B, [(A B) B] B, , com n iteraes dessa
operao, que consiste em comparar se a grandeza B cabe na grandeza resultado da iterao
anterior. Nesse caso, dizemos que ocorre uma entre as duas afirmaes a seguir:
Exemplo1 : A grandeza B cabe 2 vezes na grandeza A e sobra uma grandeza R1 que cabe
3 vezes em B e sobra uma grandeza R2 que cabe 2 vezes em R1 e sobra uma grandeza R3 que
cabe exatamente 2 vezes em R2 .
Vale notar que a antifairese entre duas grandezas no descreve cada uma delas separada-
mente. Ela nos fornece apenas uma comparao entre essas grandezas. Para efeito de visua-
lizao, observe a Figura 4.1 onde as grandezas descritas no Exemplo1 so os lados A e B do
retngulo.
R3
R2
R1
Exerccio 1: Dizer que a grandeza R1 mede a grandeza X consiste em encontrar o nmero n tal
que X = n R1 . No Exemplo1, encontre os nmeros n e m tais que A = n R3 e B = m R3 .
31
Na Figura 4.2, os nmeros 1, 2 e 3 indicam os passos para efetuarmos uma subtrao entre
as grandezas A e B.
A Figura 4.4 Mostra o resultado dessa operao e os nmeros 1 e 2 indicam os pontos para a
4.5, onde est assinalada a grandeza que a maior medida comum s grandezas A e B. Quando
possvel encontrar tal grandeza, dizemos que A e B so comensurveis.
ii) Seja P a maior medida comum entre A e B e Q a maior medida comum entre C e D.
Encontre n1 , n2 , n3 , n4 tais que A = n1 P, B = n2 P, C = n3 Q e D = n4 Q.
iv) Que relao existe entre os retngulos da figura? Justifique sua resposta.
i) Ant(A + B, B)
ii) Ant(A + n0 B, B)
iii) Ant(A B, B)
iv) Ant(A n1 B, B)
A b
D b b
H
b
G b
F
b b b
B C E
i) FG < FH
ii) FG > FH
A antifairese entre duas grandezas nos fornece uma maneira de compara-las de modo to
preciso quanto tenhamos necessidade. Desse modo se desejamos fornecer uma comparao
entre as grandezas A e B podemos escolher o grau de preciso interrompendo a antifairese aps
alguns passos do processo.
deixando indicado que se pode refinar a comparao entre A e B, bastando, para isso, acrescentar
os nmeros de Ant(Ri, Ri+1 ).
Diremos que duas grandezas tm antifairese infinita se o processo de subrao mtua puder
ser continuado indefinidamente.
Se duas grandezas apresentam uma antifairese infinita, conforme descrito acima, no ser
possvel encontrar a maior grandeza que mede ambas as grandezas consideradas. Diremos,
ento, que as grandezas so incomensurveis.
De modo geral, decidir se a antifairese entre duas gradezas ou no infinita se mostra bas-
tante difcil, pois, em princpio, nada garante que a prxima iterao do processo no fornecer
uma grandeza Ri+1 que capaz de medir Ri finalizando o processo de antifairese.
Ant(A, B) = [n0 , n1 , , ni , n0 , n1 , , ni , n0 , n0 , n1 , , ni , ]
De fato, esse mesmo conceito pode ser extendido para um caso um pouco mais geral, onde
Ant(Ri+p, Ri+p+1 ) = Ant(Ri, Ri+1 ), onde Ri , Ri+1 , Ri+p , Ri+p+1 so grandezas que aparecem
na antifairese entre duas grandezas A e B.
Ant(A, B) = [n0 , n1 , , ni , m1 , , m p , m1 , , m p , ]
B F C
A E D
A Figura 4.9 mostra Ant(D, L), onde D e L so, respectivamente a diagonal e o lado de um
quadrado.
Vamos mostrar que o retngulo ressaltado na Figura 4.9 semelhante ao retngulo todo.
Para que isso seja verdade, precisamos garantir que D L e 2L D sejam tambm o lado e a
diagonal, respectivamente, de um quadrado.
2L D
L
DL
D C
b b
D-L
b
G
H F L
b b
D-L L B
E b
A
b b
Desse modo, a partir do Exerccio 7, concluimos que Ant(D, L) = [1, Ant(L, D L)] =
[1, 2, 2, 2, ] que uma antifairese infinita e, portanto, D e L so incomensurveis entre si.
38
A Antifairese nos fornece uma maneira comparar quaisquer duas grandezas de mesma na-
tureza. No entanto, at agora, nenhum nmero atribudo s grandezas.
Atribuir um nmero a uma grandeza A consiste, em ltima anlise, em escolher uma gran-
deza U , do mesmo tipo de A, como unidade e fazer a comparao entre A e U . grandeza U
ser atribudo o nmero 1 e o nmero atribuido grandeza A ser a medida de A, tomando como
unidade U . Obviamente A ter medidas diferentes se unidades diferentes forem escolhidas.
Note, no entanto, que no existe uma unidade que seja capaz de medir todas as grandezas
de um tipo, pois, por exemplo, nenhuma unidade seria capaz de medir uma grandeza menor
que ela. At o momento, ao denotar Ant(A, B), era possvel tomar A como a maior das duas
grandezas e iniciar o processo de subtrao fazendo A B e encontrando quantas vezes B cabia
em A. Podemos generalizar esse processo para o caso em que B maior que A, o que consistiria
em iniciar a descrio da comparao dizendo que B no cabe em A, o que pode ser denotado
por Ant(A, B) = [0, Ant(B, A)].
Para que possamos atribuir um nmero s grandezas menores que a unidade, precisamos ne-
cessariamente estender o conceito de nmero, pois nenhum nmero, no sentido compreendido
at aqui, pode expressar uma grandeza menor que a unidade.
Inicialmente, vamos considerar uma grandeza A e uma unidade U tal que U = n A. Nesse
caso, temos que Ant(A,U ) = [0, Ant(U, A)] = [0, n]. Na descrio em linguagem corrente, seria
1
natural dizer que A a n-sima parte de U , ou ainda A = U e, portanto, o nmero atribuido
n
1
a A ser a frao . Como a medida de A resultado de sua comparao com a unidade U ,
n
usaremos a seguinte identificao:
1 1 1
Ant[A,U ] = [0, Ant(U, A)] = 0 + = 0+ =
Ant(U, A) n n
Essa identificao nos permite, uma vez conhecida a antifairese entre duas grandezas, ex-
pressar a medida de uma considerando a outra como a unidade. Exemplo: Sejam A e B duas
grandezas de mesma natureza tais que Ant(A, B) = [1, 2, 2]. Se desejamos medir A tomando B
39
Vale ressaltar que essa representao nica, desde que consideremos que as sobras Ri se-
jam cada vez menores. Obviamente, se compararmos as antifaireses [n0 , , ni ] e [n0 , , ni
1, 1] elas sero iguais, mas desse modo, teramos Ri+1 = Ri , que no desejado no processo
das subtraes. Podemos eliminar essa ambiguidade desde que sempre tenhamos ni 6= 1 e
ni > 0, i > 0.
Como vimos anteriormente, podemos interromper uma antifairese fornecendo uma compa-
rao menos detalhada entre duas grandezas. A aproximao c de ndice j + 1 (denotada por
c j+1 ) da medida de A, tomando como unidade B, ser o nmero correspondente antifairese
Ant(A, B) interrompida no ndice j. Se Ant(A, B) = [n0 , n1 , n2 , , ni ] temos:
p j+1
Cada c j+1 pode ser escrito na forma c j+1 = , onde
q j+1
p0 = 1, p1 = n0 p j+1 = n j+1 p j + p j1
e , j = 1, 2, , i
q = 0, q = 1
j+1 = n j+1 q j + q j1
q
0 1
usando o princpio da induo finita, desde que faamos a concesso de que as antifaireses
possam conter nmeros fracionarios, o que no nos interessante no momento.
A B C D E
p j+1
1 j nj p j+1 q j+1 c j+1 = q j+1
2 -1 - 1 0 -
3 0 n0 =B3 1 =C3/D3
4 1 n1 =B4*C3+C2 =B4*D3+D2
5 2 n2
6 3 n3
7 4 n4
..
.
i+3 i ni pi+1 qi+1 ci+1
Tabela 4.1: Clculo de ci+1 em um programa de planilha eletrnica.
ii) Selecione a coluna E e formate suas clulas como Nmero com 2 casas decimais. Quan-
tas aproximaes so diferentes da medida de A?
iii) Utilize o recurso Aumentar nmero de casas decimais do programa, de modo que todas
as aproximaes sejam diferentes da medida de A. Quantas casas decimais foi necessrio?
iv) Se voc precisasse usar a medida de A, em forma de frao, para algum clculo que no
premitisse erro maior que 0, 01, qual o menor denominador que voc poderia usar?
41
v) Na clula F3 escreva a seguinte frmula: =E$13-E3. Copie a clula e cole esta frmula
na coluna F, de F4 at F13 e formate as clulas dessa coluna como nmero (com 10 casas
decimais). Interprete essa frmula e os resultados dessa coluna.
23
Exerccio 10: Seja a medida de A, tomando B como unidade. Determine Ant(A, B). Exer-
16
ccio 11: Justifique a afirmao: Se a medida de A, tomando como unidade B um nmero
p
da forma , onde p e q so nmeros inteiros e q 6= 0, ento Ant(A, B) finita. A afirmao
q
continuaria verdadeira se p e q pudessem ser fracionrios?
Nesse ponto, deve estar claro que se Ant(A, B) infinita, ento nenhum nmero da forma
p
, onde p e q so nmeros inteiros e q 6= 0, pode representar a medida de A, tomando B como
q
unidade. Para contemplar as medidas de segmentos incomensurveis com a unidade escolhida,
devemos, ento, estender mais uma vez o conceito de nmero.
Seja A uma grandeza incomensurvel com a unidade, que representaremos a partir de agora
por 1, tal que Ant(A, 1) = [n0 , n1 , n2 , ]. Sejam, ainda c j+1 as aproximaes de ordem j + 1
obtidas a partir das antifaireses interrompidas em n j . Diremos que a medida de A um nmero
c, se |c c j+1 | for cada vez mais prximo de 0, conforme aumentamos o valor de j.
De fato, essa ltima definio de nmero engloba todas as definies anteriores, sendo que
no caso de c = c1 , esse nmero ser inteiro. No caso de c = ci+1 , o nmero ser racional
(ou fracionrio). Por ltimo, se c 6= c j+1 , j, esse nmero ser irracional. Os nmeros, em
qualquer dos casos descritos, que expressam a medida de uma grandeza so ditos reais. Exer-
ccio 12: Como vimos anteriormente, Ant(D, 1) = [1, 2, 2, 2, ], onde D a diagonal de um
quadrado cujo lado a unidade de medida.
i) Use um programa de planilhas eletrnicas para encontrar, a partir de Ant(D, 1), as vinte
primeiras aproximaes para a medida de D.
ii) Na planilha preenchida conforme a Tabela 4.8, preencha a clula F3 com a frmula
=ABS(E4-E3). Copie essa clula e cole na coluna F de F4 at F19. Interprete essa
frmula e os resultados dessa coluna.
iii) Formate as clulas das colunas E e F como nmero com 2 casas decimais e usando a
ferramenta do programa varie a quantidade de casas decimais. O que significa aumentar
ou diminuir o nmero de casas decimais dessa coluna?
Exerccio 13:Considere uma reta r onde esto marcados dois pontos O e U . Argumente sobre
as seguintes afirmaes:
42
ii) Dada uma medida c existem exatamente dois pontos A, A r tais que as medidas dos
segmentos OA e OA , tomando U como unidade, so iguais a c
5 Consideraes Finais
Ressaltamos que a anlise da produo dos alunos, como proposto por Cury et al. (2008)
e Mandarino et al. (2008), em uma atividade baseada na proposta que aqui fazemos pode ser
bastante esclarecedora no que diz respeito concepo de nmero real trazida pelos alunos
44
e contribuindo para o avano da pesquisa sobre a prpria prtica, no modelo defendido por
(PALIS, 2008).
Por fim, a introduo dos recursos computacionais na atividade abrem caminho para in-
vestigaes acerca das restries inerentes aos softwares utilizados. Tais investigaes tm se
mostrado frutferas nas tentativas de se compreender, no s os softwares como como recurso
didtico, mas as concepes dos alunos sobre o conceito, como feito por Giraldo (2004) no caso
da derivada.
Referncias Bibliogrficas
ASPER, M. The two cultures of mathematics in ancient greece. In: ROBSON, E.; STEDALL,
J. (Ed.). The Oxford Handbook of the History of Mathematics. Oxford: Oxford University
Press, 2009. cap. 2, p. 107132.
BERG, A.; SESSA, C. Completud y continuidad revisadas a travs de 23 siglos. aportes a una
investigacin didctica. Revista Latinoamericana de Investigacion en Matematica Educativa,
v. 6, n. 3, p. 163197, Novembro 2003.
BURN, B. The vice: Some historically inspired and proof-generated steps to limits of
sequences. Educational Studies in Mathematics, v. 60, n. 3, p. 269295, Novembro 2005.
EPPLE, M. The end of the science of quantity: Foundations of analysis 1860-1910. In:
JAHNKE, H. N. (Ed.). A History of Analysis. Rhode Island: American Mathematical Society,
2003. v. 24, cap. X, p. 291323.
FOWLER, D. The mathematics of Platos Academy. A new reconstruction. Oxford & New
York: Clarendon Press, 1999.
FOWLER, D. H. Ratio in early greek mathematics. Bulletin (new series) of the American
Mathematical Society, v. 1, p. 807846, 1979.
FRIED, M. N. Can mathematics education and history of mathematics coexists? Science &
Educational Studies in Mathematics, v. 10, p. 391408, 2001.
46
MAY, K. O. What is good history and who should do it? Historia Mathematica, v. 2, n. 4, p.
449455, Novembro 1975.
SIU, M.-K. et al. The use of history in the teaching of mathematics: Theory, practice, and
evaluation of effectiveness. Education Journal, v. 29, n. 1, p. 1731, Vero 2001.
WAGNER, D.; DAVIS, B. Feeling number: grounding number sense in a sense of quantity.
Educational Studies in Mathematics, Springer Netherlands, v. 74, n. 1, p. 3951, Maio 2010.
ISSN 0013-1954.
47