Documente Academic
Documente Profesional
Documente Cultură
Rio de Janeiro
2011
Orientadora:
Rio de Janeiro
2011
A663i
Agradecimentos
Gostaria de deixar registrado meu agradecimento a todos os professores do Programa de
Mestrado em Ensino de Matemtica. O compromentimento desses professores com a melhoria
da qualidade do ensino de matemtica atravs da prtica e da pesquisa acadmica h de ser
compensado com um Brasil melhor.
Particularmente gostaria de agradecer minha orientadora professora Tatiana que conseguiu me acalmanr quando tudo parecia perdido (e pra mim tudo sempre parecia perdido). Obrigado mil vezes pela sua pacincia e boa vontade em me guiar por esse caminho (agora menos)
tenebroso da Histria da Matemtica.
Agradeo ainda a todos os meus colegas de curso que sempre me trataram com respeito, espero 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
Neste trabalho apresentamos uma proposta didtica para a introduo do conceito de nmero real baseada na histria da matemtica.
Nosso objetivo mostrar que a abordagem que leva em considerao as circunstncias
histricas pode ser to contundente quanto as abordagens usuais apresentando vantagens ao
ressaltar aspectos normalmente obscurecidos pelo tratamento comum.
No caso do conceito de nmero real, visamos tornar mais natural, mas no trivial, as necessidades de extenses do conceito de nmero, desde a apresentao dos nmeros inteiros, at o
ocnceito de nmero real passando pelos nmeros racionais. Para isso, nos baseamos nos fortes
indcios apresentados por Fowler e Knorr, eminentes historiadores da matemtica, da existncia de teorias das razes no seculo quarto a. C. que teriam sido suplantadas, e posteriormente
esquecidas, dando lugar teoria das propores de Eudoxo.
Buscamos, portanto, uma proposta didtica que pudesse servir de base para outras pesquisas
em ensino fortalecendo a ideia de uma educao matemtica que possa comunicar-se com os
avanos recentes das metodologias de pesquisa em histria da matemtica.
Palavras-chave: Histria da Matemtica, Nmeros Reais, Antifairese, Grcia Antiga.
Abstract
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
2.1
p. 11
2.2
Abordagem Modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 11
2.3
Restries articiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 12
p. 14
3.1
p. 17
3.2
Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 18
3.3
A Razo Antifairtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 20
3.3.1
Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 20
3.3.2
p. 22
3.3.3
Aproximaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 24
3.3.4
p. 26
4 Proposta didtica
p. 28
4.1
As regras do Jogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 29
4.2
p. 29
4.3
Antifairese no Geogebra . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 31
4.4
Antifaireses innitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 34
4.5
O Retngulo ureo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p. 35
4.6
p. 36
4.7
p. 38
4.8
p. 39
5 Consideraes Finais
p. 43
Referncias Bibliogrcas
p. 45
Introduo
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 compreenso 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 justicativa , no mnimo,
articial demais para ser considerada suciente.
Nossa atividade trata basicamente da comparao entre grandezas, particularmente de segmentos, a partir da descrio dessa comparao feita de modo natural. Dessa descrio, alegadamente, haveria emergido uma teoria de razes que precede a teoria das propores de Eudoxo.
Fazemos ento uma reviso nos trabalhos de dois eminentes historiadores da matemtica, especialistas na matemtica da Grcia antiga, resgatando indcios da existncia de tal teoria. A
anlise desses indcios mostra-se to rica quanto a prpria atividade e foi concebida para trabalhar juntamente com a atividade no reforo da formao do professor. A atividade sozinha nada
tem de histria da cincia assim como a anlise descrita anteriormente nada tem de didtica,
mas quando conjugadas podem, no nosso entendimento, fortalecer a compreenso do professor
sobre a viso de como tratar um tema levando em considerao o desenvolvimento histrico
dos conceitos envolvidos.
11
Metodologia
trazer um determinado assunto tona e desaparecendo de cena em seguida para dar lugar
ao tratamento moderno do assunto;
Abordagem Modular, que se insere como um parntese nos assuntos comumente ensina-
dos com princpio meio e m voltando os olhares peculiaridades que passariam despercebidas sem sua interveno;
12
13
como objetivo, pois aproxima o aluno da atividade intrinsecamente humana de fazer matemtica. No se trata, no entanto de pensar que
Crianas devem repetir o processo de aprendizado da humanidade, no como
ela fatualmente aconteceu mas, ao invs disso, como teria acontecido se as pessoas do passado tivessem conhecido um pouco mais do que sabemos agora.
(FREUDENTHAL, 1991 apud JANKVIST, 2009, pp.248-249, traduo nossa)
pois consideramos que uma abordagem nesse sentido afasta a proposta de utilizao da
histria da matemtica a medida que ignora o contexto social e losco 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,
Basicamente, o registro grego fragmentrio; possumos alguns tratados matemticos virtualmente concludos, outros parcialmente e outros com apenas
trechos aleatrios preservados por acidente em obras derivadas, alm de uma
reduzida literatura para matemtica como os textos da lgica de Plato e Aristteles, por exemplo. Nesta circunstncia, a literalidade seria desastrosa.(KNORR,
2001, p.122, traduo nossa)
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 sosticada
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 atribuda 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 pudesse ser aplicada a elas de modo convel. 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.
H diversos exemplos pr-euclidianos de comparao de grandezas. Os babilnios j lidavam com problemas envolvendo o estudo da semelhana de certas guras e os primeiros
matemticos gregos, como Herdoto, tratavam exemplos envolvendo razes entre medidas de
guras geomtricas.
Os escritos de Herdoto constituem o nico documento do sculo V a.C. contendo um
estudo de razes e propores entre guras geomtricas. Estes estudos incluam a comparao
de segmentos de crculos. Herdoto sabia, por exemplo, que a razo entre as reas de dois
segmentos de crculo semelhantes igual razo entre o quadrado de suas cordas. Para chegar
a este resultado, ele chegou a demonstrar que a razo entre as reas de dois crculos igual
razo entre o quadrado de seus dimetros.
Esta demonstrao, de uma poca bem anterior de Eudoxo, exigia um conhecimento profundo de razes e propores. Uma das hipteses mais conveis, 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.
A possibilidade de existirem grandezas incomensurveis no teria representado, assim, nenhum tipo de escndalo ou crise nos fundamentos da matemtica grega. Ao contrrio, a existncia da incomensurabilidade seria uma circunstncia positiva, pois seria responsvel pelo
desenvolvimento de novas tcnicas matemticas para lidar com razes e propores.
No perodo pr-euclidiano, segundo algumas fontes indicam, as grandezas eram classicadas como comensurveis em comprimento ou em potncia (mais especicamente, em quadrado). Isto queria dizer que duas grandezas incomensurveis, como o lado e diagonal do quadrado, apesar de no serem comensurveis em comprimento, so comensurveis em potncia,
16
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 entanto, 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 incomensurveis 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 renado esta classicao 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 renado 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.
Proclus arma que:
A teoria das grandezas comensurveis foi desenvolvida, primeiramente, pela
aritmtica e depois, por imitao, pela geometria. Por esta razo, ambas as
cincias denem grandezas comensurveis como aquelas que esto uma para
outra na razo de um nmero para outro nmero, o que implica que a comensurabilidade existiu primeiro entre os nmeros (Proclus, p.49).
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 identicao entre grandezas e nmeros, de modo
geral, no ser mais possvel.
Sendo assim, aqui apresentaremos alguns aspectos da reconstruo da noo de razo na
matemtica da Grcia antiga baseada nos trabalhos de Fowler (1999, 1979) e Knorr (1975). Tal
reconstruo apresenta apenas, como ressaltam os prprios autores, um certo grau de plausibilidade.
Alem disso,
O matemtico treinado para pensar na correo matemtica sem um dimensionamento temporal, ou seja, pensar no historicamente. Obviamente
interessante saber como um evento histrico se mostra quando observado por
um matemtico do sculo vinte. Mas confundir isso com o que ele signicava
em sua poca uma m histria.(MAY, 1975, p.453, Traduo Nossa)
17
Desse modo, embora as noes modernas de nmero, razo, grandeza, etc. tragam consigo toda a carga de sua construo histrica, devemos alertar que os conceitos homnimos
tratados nesse trabalho tm sentido losco e social bastante diferente dos contemporneos.
18
3.2 Antifairese
A etimologia desta palavra j indica seu signicado de subtraes mtuas, ou subtraes
recprocas: dados dois nmeros (ou duas grandezas), subtrai-se, em cada passo, um mltiplo
do menor do maior at que o resto seja menor do que o menor.
Quando este procedimento funciona, e nos permite encontrar a medida comum a dois segmentos, podemos reduzir a geometria aritmtica. A vericao da semelhana entre guras
pode ser reduzida vericao de uma proporo aritmtica e a proporo pode ser denida
como uma igualdade de razes entre nmeros.
Mas quando a antifairese no termina, temos o caso incomensurvel, como no procedimento
que usaremos adiante para demonstrar geometricamente a incomensurabilidade entre o lado e
a diagonal do quadrado. Nesta situao, as denies de proporo pela igualdade de razes
no sero mais aceitveis e passaro a ser vlidas apenas para o caso particular de grandezas
comensurveis.
No se sabe ao certo em que exemplo a incomensurabilidade entre duas grandezas foi vericada 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 denies 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
Armarmos que no houve crise no signica diminuir a importncia da descoberta dos incomensurveis. 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:
Para provar alguma coisa no se pode passar de um gnero ao outro, isto ,
no se pode provar uma proposio geomtrica pela aritmtica (...) Se o gnero diferente, como na aritmtica e na geometria, no possvel aplicar
demonstraes aritmticas a propriedades de grandezas (Metafsica, Analticos Posteriores, I.6-7 75a).
20
3.3.1 Antifairese
A palavra antifairese, etimologicamente, seria uma aproximao de Antho-hypo-hairesis,
que signica literalmente subtrao recproca. Aqui, usaremos a palavra na forma de substantivo, a antifairese entre duas grandezas, embora, Euclides use apenas a forma verbal
... quando a menor de duas grandezas desiguais continuamente subtrada, por sua vez, da
maior.... Na lgebra moderna, o procedimento conhecido como Algoritmo de Euclides para
encontrar o maior divisor comum entre dois nmeros. No entanto, esse termo nos remete ideia
de diviso, o que indesejado no momento. Buscando a neutralidade nas ideias desenvolvidas
aqui, daremos preferncia ao termo antifairese ao invs de Algoritmo de Euclides.
21
obtidas no processo de antifairese. Como essas grandezas cam cada vez menores, se o processo
22
no terminasse, inevitavelmente teramos que R deveria medir uma grandeza Ri < R, o que
impossvel. Portanto o processo de antifairese deve ser necessariamente nito.
Para os nmeros, a antifairese serve ao propsito de encontrar fatores comuns a dois nmeros, o maior divisor comum. Muito embora a existncia da unidade garanta que a antifairese
seja nita, 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 indenidamente, ou seja, o
processo innito.
Um exemplo de antifairese innita a comparao entre o lado e a diagonal de um pentgono regular, que uma gura bastante ligada aos matemticos pitagricos e, portanto, bastante
estudada por esse grupo.
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 indenidamente e Ant(D, L) = [1, 1, 1, ]
De fato, na Figura 3.1, temos um pentgono ABCDE de lado L e diagonal D. Facilmente,
com argumentos da matemtica contempornea, podemos chegar ao resultado de que o pen-
23
resultado utilizando apenas a matemtica da Grcia antiga, pois argumentos anlogos aos apre-
sentados nas guras do dilogo de Plato (Mnon) sugerem que esse resultado era conhecido
tambem pelos matemticos da poca.
F
G
A
24
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.
Na verdade, dada uma antifairese [n0 , n1 , , ni ] possvel chegar relao
[n0 , n1 , , ni ] = n0 +
1
1
1
n1 +
n2 + .
. .+ 1
ni
1
, n0 +
n1
1
1
n1 +
n2
Os textos mostram que, por exemplo, Aristarco usava 7 : 5 como aproximao para a razo 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, 1 +
1 3
= , 1+
2 2
7
1
17
= , 1+
=
1
1
5
12
2+
2+
1
2
2+
2
1
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, tentador, 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
arma que, em linguagem contempornea, 265 : 153 < 3 < 1351 : 780 e essas cotas so,
respectivamente, a nona e a dcima segunda convergentes da frao contnua gerada pela antifairese entre o lado e a menor diagonal de um hexgono regular, a saber, [1, 1, 2, 1, 2, 1, 2, ].
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 proposio acima baseada no fato de que p : q r : s p : q (p + r) : (q + s)
r : s+. Essa propriedade, no caso da igualdade, demonstrada nos Elementos, para nmeros
na Proposio VII-12 e para grandezas na Proposio V-12. As desigualdades no so tratadas
no livro VII, mas os argumentos apresentados a partir da Proposio V-10 podem vericar a
validade da proposio desejada, embora ela seja vlida apenas para grandezas comensurveis,
pois pressupe a existncia da quarta proporcional de trs grandezas. Alternativamente pode-se
ainda argumentar a partir da Proposio VI-16, que mostra que, em linguagem contempornea,
p : q < r : s ps qr.
A comparao entre duas razes antifairticas obedece uma lgica que assume que os passos 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
26
27
promissora.
Em nossa proposta, tentamos apresentar de maneira mais natural a necessidade de extenso
do domnio numrico trabalhado mantendo o propsito inicial de atribuir uma medida grandeza. Nesse processo, aproximamos o aluno da atividade de fazer matemtica deparando-se
com limitaes ou obstculos que devem ser, hora vencidos, hora apenas compreendidos como
acontece diversas vezes na Histria da Matemtica.
28
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 associado a uma grandeza ou simplesmente resolvendo uma equao. Sendo assim, no incomum
encontrarmos resultados inconsistentes com a pergunta do problema.
Alem disso, nem sempre ca clara a necessidade de se utilizar nemeros reais, pois as
habilidades de estimativa (aproximao) e contextualizao incentivadas pelos parmetros curriculares reduz consideravelmente a percepo da presena dos nmeros reais no cotidiano.
simplesmente surreal que, por exemplo, ao ser perguntado sobre quantos centmetros de
ta so necessrios para envolver uma caixa de bombons de formato circular com dimetro
10cm, o aluno responda 10 cm. Ninguem pede 10 cm de ta numa loja. A resposta esperada
32cm ou qualquer outra aproximao que seja imposta no enunciado. Por outro lado, dicilmente as pessoas de modo geral, e os alunos em particular, percebem que, ao comprarem 1m
de ta na mesma loja, eles esto levando igualmente uma aproximao de 1m. De fato, 1 e
29
Isso signica 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 conito inevitvel de que o pblico alvo
da atividade traga consigo sua prpria viso de nmero. Visando minimizar esse conito, propomos uma restrio do conceito de nmero e de grandeza s caractersticas desejadas para o
desenvolvimento da atividade.
Frequentemente assuntos da matemtica so apresentados como jogos e, desse modo consideramos que para a apresentao da sequncia didtica que propomos seja necessrio iniciar
tratando de suas regras.
mesma natureza que as grandezas consideradas inicialmente. Diremos ainda que B cabe n vezes
30
corrente, podemos dizer que B cabe em A n1 vezes e ainda sobra uma grandeza de mesma
natureza R1 (B no cabe em R1 ). Para uma comparao mais precisa, podemos comparar as
grandezas B e R1 . Se R1 no mede B, obtemos uma grandeza B n2 R1 que chamaremos
de R2 . Essa operao pode ser iterada comparando Ri1 com Ri descrevendo cada vez mais
R1
A
Figura 4.1: Antifairese do Exemplo 1 Ant(A, B) = [2, 3, 2, 2]
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
32
33
34
i) FG < FH
ii) FG > FH
35
36
37
2L D
L
DL
D
D-L
G
D-L
Desse modo, a partir do Exerccio 7, concluimos que Ant(D, L) = [1, Ant(L, D L)] =
38
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 necessariamente 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 identicao:
Ant[A,U ] = [0, Ant(U, A)] = 0 +
1 1
1
= 0+ =
Ant(U, A)
n n
Essa identicao nos permite, uma vez conhecida a antifairese entre duas grandezas, expressar 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
1
= 1+
[2, 2]
1
2+
1
2
7
5
1
n1 +
1
1
n2 + .
. .+ 1
ni
Vale ressaltar que essa representao nica, desde que consideremos que as sobras Ri sejam 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 = 1 e
ni > 0, i > 0.
p0 = 1, p1 = n0
q = 0, q = 1
0
1
p j+1
, onde
q j+1
p j+1 = n j+1 p j + p j1
q
j+1 = n j+1 q j + q j1
, j = 1, 2, , i
40
usando o princpio da induo nita, desde que faamos a concesso de que as antifaireses
possam conter nmeros fracionarios, o que no nos interessante no momento.
Para determinar as aproximaes da medida de uma grandeza A, tomando como unidade a
grandeza B, tal que Ant(A, B) = [n0 , n1 , , ni ], vamos usar um programa de planilhas eletrnicas.
p j+1
q j+1
B
nj
n0
n1
n2
n3
n4
C
p j+1
1
=B3
=B4*C3+C2
D
q j+1
0
1
=B4*D3+D2
E
p j+1
c j+1 = q j+1
=C3/D3
i+3 i
ni
pi+1
qi+1
ci+1
1
2
3
4
5
6
7
.
.
.
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
a medida de A, tomando B como unidade. Determine Ant(A, B). Exer16
ccio 11: Justique a armao: Se a medida de A, tomando como unidade B um nmero
p
da forma , onde p e q so nmeros inteiros e q = 0, ento Ant(A, B) nita. A armao
q
continuaria verdadeira se p e q pudessem ser fracionrios?
Nesse ponto, deve estar claro que se Ant(A, B) innita, ento nenhum nmero da forma
p
, onde p e q so nmeros inteiros e q = 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
qualquer dos casos descritos, que expressam a medida de uma grandeza so ditos reais. Exer-
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 signica 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 armaes:
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
43
Consideraes Finais
44
e contribuindo para o avano da pesquisa sobre a prpria prtica, no modelo defendido por
(PALIS, 2008).
Os primeiros modelos de exerccios onde os alunos so convidados a manipular a ferramenta introduzida, pode gerar situaes adidticas interessantes que podem suportar uma engenharia didtica. De fato, um exmplo cannico de Brusseau de engenharia didtica descrito
por Artigue (2000), onde se deseja introduzir o conceito de nmero racional a partir do conceito
de comensurabilidade comparando-se pilhas de papel. Acreditamos que haveria ganho em uma
atividade semelhante onde a manipulao fosse feita a partir do software de geometria dinmica comparando-se segmentos ao inves de pilhas de papel, conforme sugerido na atividade
que propusemos.
Por m, a introduo dos recursos computacionais na atividade abrem caminho para investigaes 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.
Portanto, acreditamos que nossa proposta didtica, fundamentada na histria da matemtica, possa interagir com diversas reas de estudo da educao e do ensino da matemtica contribuindo para o fortalecimento de ambas as reas de pesquisa.
45
Referncias Bibliogrcas
ARTIGUE, M. Didactic engineering and the complexity of learning processes in classroom
situations. In: BERGSTEN, C. et al. (Ed.). Proceedings of the MADIF2 Conference.
Gothengurg: Swedish Society for Research in Mathematics Education, 2000. p. 520.
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.
BACHELARD, G. A formao do esprito cientco: contribuio para uma psicanlise do
conhecimento. Rio de Janeiro: Contraponto, 1996.
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.
BRUSSEAU, G. Fundaments et mthodes de la didactique des mathmatiques. Recherches en
Didactique des Mathmatiques, v. 7, n. 2, p. 33115, 1986.
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.
CURY, H. N. et al. Anlise de erros: Um recurso para a aprendizagem de futuros professores
de matemtica. In: Investigacin en Educacin Matemtica XII. Espanha: Sociedad Espaola
de Investigacin en Educacin Matemtica, 2008. p. 529536.
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.
FREUDENTHAL, H. Revisiting mathematics education-China lectures. Dordrecht:: Kluwer
Academic, 1991. 200 p.
FRIED, M. Didactics and history of mathematics: Knowledge and self-knowledge. Educational
Studies in Mathematics, Springer Netherlands, v. 66, p. 203223, 2007. ISSN 0013-1954.
Disponvel em: <http://dx.doi.org/10.1007/s10649-006-9025-5>.
FRIED, M. N. Can mathematics education and history of mathematics coexists? Science &
Educational Studies in Mathematics, v. 10, p. 391408, 2001.
46
47