Marcos Paulo Ferreira de Arajo

Introduo ao Conceito de Nmeros Reais: Uma

Proposta Didtica Baseada na Histria da
Matemtica

Rio de Janeiro
2011

Marcos Paulo Ferreira de Arajo

Introduo ao Conceito de Nmeros Reais: Uma

Proposta Didtica Baseada na Histria da
Matemtica
Dissertao apresentada coordenao de Psgraduao em Ensino de Matemtica da Universidade Federal do Rio de Janeiro para a obteno do grau de Mestre em Ensino de Matemtica

Orientadora:

Profa. Dra. Tatiana Marins Roque

U NIVERSIDADE F EDERAL DO R IO DE JANEIRO

C ENTRO DE C INCIAS M ATEMTICAS E DA NATUREZA
I NSTITUTO DE M ATEMTICA

Rio de Janeiro
2011

A663i

Arajo, Marcos Paulo Ferreira de.

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 Psgraduao 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
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

Histria como Ferramenta Didtica . . . . . . . . . . . . . . . . . . . . . . .

p. 11

2.2

Abordagem Modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 11

2.3

Restries articiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 12

3 A Noo de Razo na Matemtica da Grcia Antiga

p. 14

3.1

Matemtica Prtica Matemtica Terica . . . . . . . . . . . . . . . . . . .

p. 17

3.2

Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 18

3.3

A Razo Antifairtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 20

3.3.1

Antifairese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 20

3.3.2

Controvrsias Sobre a Descoberta das Grandezas Incomensurveis . .

p. 22

3.3.3

Aproximaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 24

3.3.4

Abandono da Teoria de Razes . . . . . . . . . . . . . . . . . . . . .

p. 26

4 Proposta didtica

p. 28

4.1

As regras do Jogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 29

4.2

Antifairese de duas grandezas . . . . . . . . . . . . . . . . . . . . . . . . .

p. 29

4.3

Antifairese no Geogebra . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 31

4.4

Antifaireses innitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 34

4.5

O Retngulo ureo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

p. 35

4.6

Diagonal e lado de um quadrado . . . . . . . . . . . . . . . . . . . . . . . .

p. 36

4.7

Atribuindo Nmeros s Grandezas . . . . . . . . . . . . . . . . . . . . . . .

p. 38

4.8

Antifaireses interrompidas e Aproximaes . . . . . . . . . . . . . . . . . .

p. 39

5 Consideraes Finais

p. 43

Referncias Bibliogrcas

p. 45

Introduo

Nas ltimas dcadas diversos artigos vm propondo a insero da Histria da Matemtica

como recurso didtico. Desse modo, sua utilizao encorajada a partir de diversos argumentos
em seu favor apontando suas vantagens bem como assinalando recursos para contornar desvantagens ou diculdades que possam emergir a partir de sua utilizao em sala de aula. Desse
ponto de vista, a Histria da Matemtica viria a compor, juntamente com os demais recursos
didticos, o grande conjunto de ferramentas disponveis para o professor no processo de ensinoaprendizado.
Sem questionar a potencialidade da Histria da Matemtica como ferramenta didtica, consideramos que tratar a histria do conceito apenas como um recurso didtico para sua abordagem inadequado e questionamos o distanciamento provocado por esse enfoque entre conceito
a ser ensinado e sua histria. Em outras palavras, consideramos que o conhecimento da evoluo
histrica de um conceito est inexoravelmente includo no conhecimento do prprio conceito.
Mais do que isso, a dissociao entre esses elementos torna a abordagem, a partir da histria
de um conceito, articial, o que prejudica consideravelmente o potencial do seu uso em sala de
aula.
Tomamos nesse artigo, o caso da introduo do conceito de nmero. As diculdades que
envolvem o ensino desse conceito tm sido protagonistas de diversos artigos na rea de educao e ensino da Matemtica. Embora abundante, a literatura revela-se incapaz de provocar
uma mudana de atitude no cotidiano escolar. Trata-se de um caso em que a interveno direta
proposta nos diversos relatos de experincia, embora em muitos casos bastante criativos e interessantes, mostra-se impossvel de serem reproduzidos dada a falta de preparo dos professores.
Uma mudana no paradigma da viso do conceito incluindo seu desenvolvimento histrico ,
como deve ser, no trivial e, como tal, necessita de uma formao especca que seja capaz de
incluir esse novo paradigma na realidade do professor de sala de aula.
Propomos aqui, portanto, uma atividade a ser desenvolvida em cursos de formao continuada 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 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

2.1 Histria como Ferramenta Didtica

O fortalecimento nas ltimas dcadas da comunidade de historiadores da cincia com um
aumento considervel na produo de artigos nessa rea, particularmente na histria da matemtica, nos convida a um novo olhar sobre a sua utilizao como recurso didtico. Consideramos
essa reviso um passo importante na implementao efetiva de uma metodologia que consiga
ser coerente com os diversos aspectos envolvidos nessa utilizao. Buscamos, portanto, conjugar os avanos considerveis das pesquisas em educao e ensino da matemtica com a noo
moderna de pesquisa em histria da matemtica.

2.2 Abordagem Modular

Jankvist (2009) categoriza os argumentos que sugerem a utilizao da histria da matemtica em sala de aula em duas classes principais sendo a primeira a da histria como ferramenta
e a segunda a da histria como objetivo. Jankvist ainda prope um conjunto de lentes sob
as quais as diferentes abordagens da histria da matemtica em educao podem ser vistas
(JANKVIST, op. cit., p.251). Os trs tipos de abordagens tratadas so:
Abordagem para Iluminao, na qual a histria da matemtica seria uma maneira de

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;

Abordagem Histrica, que envolve uma reformulao do prprio currculo enfatizando o

processo histrico (motivaes, obstculos, tentativas, erros e acertos) de construo do

12

conhecimento mais do que o prprio contedo criado a ser ensinado.

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.
A atividade proposta no presente trabalho se aproxima bastante da descrio da abordagem
modular a medida que prope uma sequncia com incio desenvolvimento e m abrindo espao
para intervenes do professor objetivando ressaltar aspectos como a perda do princpio da boa
ordem, a densidade dos nmeros racionais sobre os reais e a completude dos nmeros reais.

2.3 Restries articiais

A atividade composta de exerccios utilizando uma noo de nmero restrita articialmente para imitar aquela dos gregos. A restrio articial criada no incio da atividade em
que propomos uma denio de nmero e de grandeza limitando seu tratamento e sua manipulao aos permitidos pela denio. O uso desse artifcio se deve impossibilidade de se
recriar o contexto no qual houvesse uma restrio natural. Dada a carga cultural, escolar e
cotidiana, trazida pelos alunos, consideramos totalmente inapropriado pedir que esses alunos
comportem-se como matemticos da Grcia antiga.
Buscamos ento em proeminentes historiadores especializados em histria da matemtica
grega, em particular nos trabalhos de Knorr (1975) e Fowler (1979, 1999) a inspirao para os
exerccios e, a eles, devem-se as notaes usadas tanto nas denies quanto nos exerccios.
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.
O desenvolvimento da atividade prope uma abordagem a partir de um princpio gentico,
mais precisamente, segundo a classicao de Schubring (apud JANKVIST, 2009) um principio psicolgico-gentico, onde os alunos so convidados a redescobrir o conceito, no nosso
caso de nmero real, a partir de uma construo prpria, guiada pela atividade proposta.
Consideramos que, nesse sentido, nos aproximamos do que Jankvist classica de histria

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

A Noo de Razo na Matemtica da

Grcia Antiga

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.

3.1 Matemtica Prtica Matemtica Terica

Se hoje, por exemplo, temos uma aritmtica que trata tanto de nmeros quanto das grandezas 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 tericos tratava de questes loscas 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 conceitos 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 paralelamente terica, enfraquecendo observaes anacrnicas de que os gregos teriam diculdade
no tratamento dos processos innitos 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 innitos, 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, losocamente, importante
trata-los de maneira diferente.
Entendemos, ento, que a reconstruo de Fowler, baseada no trabalho de Knorr, prope a
existncia de uma teoria das razes baseada no mtodo das subtraes recprocas que era capaz
de tratar satisfatoriamente grandezas e nmeros. A essa noo de razo Fowler d o nome
de razo antifairtica, com referncia ao mtodo de antifairese, que signica, literalmente,
subtraes recprocas.
O conhecimento do procedimento de antifairese dado como certo por vrios historiadores,
uma vez que no desenvolvimento dos Livros VII-IX dos Elemntos esse processo aplicado
nmeros inteiros. Por outro lado, o Livro V, que seria cronologicamente posterior aos citados

18

anteriormente, j apresenta a teoria das propores de Eudoxo.

A teoria das propores de Eudoxo torna desnecessrio um desenvolvimento de uma teoria
de razes, visto que permite que, dadas quatro grandezas homogneas, A, B, C e D, decidir se
elas formam uma proporo, caso em que se denota A : B :: C : D, mesmo sem dar nenhuma
interpretao para as razes A : B e C : D. Desse modo, mesmo que na Denio V-3 se tenha
que: Sejam chamadas proporcionais as grandezas que tenham a mesma razo (JOYCE, 1997),
o critrio para comparao no consiste em calcular cada uma das razes e compar-las.

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

de 6, restando 2; e nalmente, subtramos 2 de 4 exatamente duas vezes. Logo, a razo 22:6

seria denida pela seqncia trs vezes, uma vez, exatamente duas vezes.
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 admitir, com argumentos da matemtica grega, que esta seqncia continua indenidamente, o que
bastaria para concluir pela incomensurabilidade.
A descoberta da incomensurabilidade, deste ponto de vista, no seria uma crise dos fundamentos 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)

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).

A segunda relaciona-se necessidade de demonstrao e ao desenvolvimento do mtodo

axiomtico.

20

3.3 A Razo Antifairtica

O conceito de razo encerra a idia de comparao de tamanhos. Portanto, qualquer teoria
de comparao pode ser encarada como uma teoria de razo. A diferena entre essas teorias est
basicamente na maneira como encarada a comparao. Desse modo, vemos que a denio de
razo apresentada nos Elementos deve ser abrangente o suciente para que possa se enquadrar
nas diferentes teorias de razo: Uma razo um tipo de relao referente ao tamanho entre
duas grandezas de mesmo tipo. (JOYCE, 1997, Livro V, Denio 3, traduo nossa, grifo do
autor)
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.
Na Matemtica, Fowler apresenta a sua verso de uma continuao do dilogo de Plato
(Mnon) em que Scrates discute com Mnon e seu Escravo sobre o problema da duplicao do
quadrado. Na continuao desse dilogo, proposta por Fowler, Scrates incentiva o Escravo de
Mnon a encontrar sua denio de razo que discutiremos aqui.
Aps o dilogo com Scrates, o Escravo parte em uma peregrinao visando entender outros aspectos do conceito de razo. Assim Fowler apresenta dois outros dilogos ctcios 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 Astronomia.

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

O mtodo da antifairese, descreve uma srie de comparaes. No dilogo proposto por

Fowler, Scrates inicialmente pede ao Escravo de Mnon que ele compare duas pilhas de pedras.
A primeira com sessenta pedras e a segunda com vinte e seis pedras. O Escravo sugere, ento
que:
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 m 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 grandezas 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.
De modo geral, se A e B so duas grandezas de mesmo tipo, possvel subtrair a menor,
digamos B, da maior, nesse caso A, n0 vezes deixando um resto R1 menor que B. Nesse
caso, n0 ser o primeiro passo da Antifairese entre A e B. O segundo passo da antifairese a
comparao entre R1 e B. Como R1 menor que B, pode-se subtrair R1 de B, n1 vezes deixando
um resto R2 . Continua-se procedendo dessa forma at que algum dos restos, digamos Ri
caiba exatamente ni vezes em R(i1) , ou seja, quando a grandeza Ri medir a grandeza R(i1) ,
nesse caso, Ant(A, B) = [n0 , n1 , , ni ] que tem i + 1 passos.
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.

Reciprocamente, se A e B so comensurveis, existe uma grandeza R, do mesmo tipo de

A e B que mede ambas. Essa mesma grandeza deve medir A n0 B, que chamamos de R1

assim como deve medir B n1 R1 , que chamamos de R2 e todas as grandezas analogamente

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.

3.3.2 Controvrsias Sobre a Descoberta das Grandezas Incomensurveis

A Proposio X-2 dos Elementos, sugere que os incomensurveis eram compreendidos a
partir de um procedimento de antifairese:
Se, quando a menor de duas grandezas desiguais subtrada continuamente
da maior, do qual o resto nunca mea aquele anterior, ento as duas grandezas
sero incomensurveis
(JOYCE, 1997, Proposio X-2, traduo nossa)

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

tgono FGHIJ tem lado 2L D e diagonal D L. possvel, no entanto, chegar ao mesmo

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

Figura 3.1: Diagonal e o Lado de um pentgono: Antifairese innita.

Embora haja razes sucientes para acreditar que o estudo das relaes entre lados e diagonais 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.
Fowler refora, no entanto que, independentemente de como tenham sido descobertas as
grandezas incomensurveis, o papel da antifairese estaria ligado ao tratamento dado a essas
grandezas:
Ns devemos, contudo, continuar argumentando que a antifairese desempenhou um importante papel no estudo das grandezas incomensurveis no sculo
quarto, e nas tcnicas aritmticas de denio, manipulao e aproximao de
razes de nmeros
(FOWLER, 1979, p. 820, Traduo Nossa)

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

Desse modo, a sequncia de antifaireses interrompidas

[n0 ], [n0, n1 ], [n0 , n1 , n2 ],
nos fornece uma sequncia de convergentes
n0 , n0 +

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

balhoso conforme o nmero de passos aumenta. Arquimedes, em seu Da Medida do Crculo,

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

Usando a proposio de Parmnides, podemos tomar, por exemplo, 1 : 1 como aproximao

por falta da razo entre a diagonal e o lado de um quadrado, denotaremos [1, 2, 2, ] para
simplicar a escrita, e 2 : 1 uma aproximao por excesso dessa razo.
[1] = 1 : 1 [1, 2, 2, ] 2 : 1 = [2]

26

[1] = 1 : 1 [1, 2, 2, ] 3 : 2 = [1, 2]

[1, 3] = 4 : 3 [1, 2, 2, ] 3 : 2[1, 2]
[1, 2, 2]7 : 5 [1, 2, 2, ] 3 : 2 = [1, 2]
[1, 2, 2] = 7 : 5 [1, 2, 2, ] 10 : 7 = [1, 2, 3]
[1, 2, 2] = 7 : 5 [1, 2, 2, ] 17 : 12 = [1, 2, 2, 2]
Que nos trs novamente s aproximaes usadas por Heron e Aristarco.

3.3.4 Abandono da Teoria de Razes

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 matemtica, 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 anidade 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 conitariam com questes loscas 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 independente das operaes, pode ser uma ferramenta interessante. A possibilidade de apresentar
o desao de construir uma noo de nmero real baseada no conceito de razo nos pareceu

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

A separao conceitual entre nmero e grandeza instaurada pelos matemticos da Grcia

Antiga persistiu na matemtica at o movimento de Aritmetizao da Anlise, a partir da metade
do sculo dezenove. De fato, at o sculo dezoito e incio do seculo dezenove,
Essa cincia era compreendida por consistir do estudo geomtrico e algbrico
do nmero e das grandezas contnuas, como comprimentos e pesos assim como
suas contrapartes abstratas. (EPPLE, 2003, p. 291, traduo nossa, grifo do
autor)

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

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 aproximao. 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.
Propomos, portanto, uma introduo ao conceito de nmero baseada na idia de medio.

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.

4.1 As regras do Jogo

Consideraremos nesta seo, um nmero como sendo um nmero inteiro no negativo e
uma grandeza como tudo aquilo que pode ser aumentado ou diminudo. Nesse sentido, pode-se
considerar um nmero como uma grandeza, embora no seja atribudo s grandezas nmero
algum.
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 armaes a seguir:
i- Existe a diferena A n B que uma grandeza de mesma natureza que A e B
ii- A grandeza B mede a grandeza A se as grandezas B e A (n 1) B forem iguais. Nesse
caso, dizemos que A = n B

4.2 Antifairese de duas grandezas

Suponha que desejamos comparar duas grandezas diferentes de mesma natureza A e B.
Uma comparao simples seria vericar quantas vezes B cabe em A. Dessa comparao inicial,

30

se B no mede A, obteremos uma grandeza An1 B que daremos o nome de R1 . Na linguagem

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

detalhadamente a comparao entre as grandezas iniciais A e B.

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 .
Chamaremos Antifairese de duas grandezas A e B, denotada por Ant(A, B), a sequncia de
nmeros que representam quantas vezes B cabe em A, R1 cabe em B e assim sucessivamente.
No Exemplo1, teramos Ant(A, B) = [2, 3, 2, 2]
Vale notar que a antifairese entre duas grandezas no descreve cada uma delas separadamente. Ela nos fornece apenas uma comparao entre essas grandezas. Para efeito de visualizao, observe a Figura 4.1 onde as grandezas descritas no Exemplo1 so os lados A e B do
retngulo.
Note que a grandeza R3 mede as grandezas R2 , R1 , B e A. Diz-se ainda quer R3 a maior
medida comum s grandezas A e B.
R3
R2

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

4.3 Antifairese no Geogebra

Para encontrarmos a antifairese entre duas grandezas (particularmente segmentos), usaremos o software Geogebra.
Na Figura 4.2, os nmeros 1, 2 e 3 indicam os passos para efetuarmos uma subtrao entre
as grandezas A e B.

Figura 4.2: Software Geogebra: 3 passos para a uma subtrao

O programa ir perguntar quantos lados tm o polgono regular que se deseja traar. O gnero 4, que o que desejamos, vem pr-selecionado de modo que basta conrmar selecionando
OK (Figura 4.3).
A Figura 4.4 Mostra o resultado dessa operao e os nmeros 1 e 2 indicam os pontos para a

Figura 4.3: Caixa de texto para escolher o gnero do polgono regular.

32

continuao do processo. Aps algumas iteraes, chega-se at o resultado ilustrado na Figura

Figura 4.4: Primeiros passos da Antifairese entre A e B no software Geogebra

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.

Figura 4.5: Resultado nal da Antifairese entre os segmentos A e B. Ant(A, B) = [2, 1, 1, 1, 2]

Exerccio 2: Encontre a antifairese entre dois segmentos dados usando o Geogebra.
Exerccio 3: Construa no Geogebra dois segmentos A e B tais que Ant(A, B) = [1, 1, 4].
Exerccio 4: A Figura 4.6 mostra as respostas de dois alunos ao Exerccio 3.

33

i) Pode-se dizer que A = C e B = D? Justique?

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.
iii) Calcule n1 n3 e n2 n4 obtidos na resposta do item ii.
iv) Que relao existe entre os retngulos da gura? Justique sua resposta.

Figura 4.6: Ant(A, B) e Ant(C, D)

Exerccio 5: Seja Ant(A, B) = [n1 , n2 , n3 , ni ]. Determine as seguintes antifaireses:
i) Ant(A + B, B)
ii) Ant(A + n0 B, B)
iii) Ant(A B, B)
iv) Ant(A n1 B, B)
Exerccio 6: Considere conhecida a antifairese entre duas grandezas P e Q: Ant(P, Q) =
[n1 , n2 , , ni ]. Desejamos encontrar a antifairese entre duas outras grandezas A e B, de mesma

34

natureza das grandezas P e Q. Em determinado passo do processo, encontra-se grandezas,

R j1 = P e R j = Q. Se os primeiros nmeros da antifairese entre A e B so m1 , m2 , , m j ,

qual ser a antifairese completa entre A e B? O que aconteceria se no lugar de R j1 = P e

R j = Q tivssemos apenas que o retngulo de lados R j1 e R j semelhante ao retngulo de lados
P e Q?
Exerccio 7: Na Figura 4.7, considere conhecidas Ant(BC, BA) e Ant(FH, FG). Sabendo que
CEFG um quadrado, determine Ant(BE, BC) nos seguintes casos:
A

Figura 4.7: Ant(BC, BA) = [n0 , n1 , , ni ] e Ant(FH, FG) = [m0 , , m j ]

i) FG < FH
ii) FG > FH

4.4 Antifaireses innitas

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.
Interromper a descrio da comparao consiste em no comparar a grandeza Ri+1 com a
grandeza Ri .

35

Usaremos a seguinte notao para uma antifairese interrompida entre as grandezas A e B:

Ant(A, B) = [n0 , n1 , , ni , Ant(Ri+1, Ri )]
deixando indicado que se pode renar a comparao entre A e B, bastando, para isso, acrescentar
os nmeros de Ant(Ri, Ri+1 ).
Diremos que duas grandezas tm antifairese innita se o processo de subrao mtua puder
ser continuado indenidamente.
Se duas grandezas apresentam uma antifairese innita, 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 innita se mostra bastante difcil, pois, em princpio, nada garante que a prxima iterao do processo no fornecer
uma grandeza Ri+1 que capaz de medir Ri nalizando o processo de antifairese.
Tomemos, no entanto o caso particular em que existem Ri e Ri+1 na antifairese entre as
grandezas A e B, tais que Ant(A, B) = Ant(Ri, Ri+1 ). Se as grandezas consideradas forem segmentos de reta, vimos que isso acontece quando o retngulo de lados A e B semelhante ao
retngulo de lados Ri e Ri+1 . Nesse caso, teremos que Ant(A, B) innita, pois
Ant(A, B) = [n0 , n1 , , ni , Ant(Ri, Ri+1 )] = [n0 , n1 , , ni , Ant(A, B)]
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 , Ant(Ri, Ri+1 )]
Ant(Ri , Ri+1) = [m1 , m2 , , m p , Ant(Ri+p), Ri+p+1)] = [m1 , m2 , , m p , Ant(Ri, Ri+1 )]
Ant(A, B) = [n0 , n1 , , ni , m1 , , m p , m1 , , m p , ]

4.5 O Retngulo ureo

Um retngulo dito ureo, quando ao removermos dele um quadrado de lado igual ao
menor dos lados, o retngulo restante semelhante ao retngulo original (Figura 4.8).

36

Figura 4.8: Retngulo ureo: ABFE um quadrado e ABCD DEFC

Mas o procedimento de remover um quadrado do retngulo, conforme descrito na denio
do retngulo ureo exatamente o primeiro passo da antifairese entre as grandezas que so os
lados do retngulo. Desse modo temos:
Ant(AD, AB) = [1, Ant(DC, DE)]
e, pela denio de retngulo ureo, o retngulo de lados AB e AD semelhante ao retngulo
de lados DC e DE, portanto Ant(AB, AD) = Ant(DC, DE) e Ant(AD, AB) = [1, Ant(AB, AD)] =
[1, 1, 1, ]
Conclui-se, portanto, que os lados do retngulo ureo so incomensurveis entre si.

4.6 Diagonal e lado de um quadrado

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.

De fato, na Figura 4.10, os tringulos ADB e GEB so retngulos issceles e congruentes,

de modo que GE = L. Alem disso, os tringulos GFD e AFE so retngulos, issceles e
congruentes, de onde tiramos que GF = D L. A hipotenusa do tringulo AFE tambm a
diagonal do quadrado AFHE de lado D L e sua diagonal mede FE = GE FG = L (D

37

2L D
L
DL

Figura 4.9: Antifairese entre a diagonal e o lado de um quadrado.

C

D
D-L
G

D-L

Figura 4.10: Quadrados de lados L e D L e suas respectivas diagonais D e 2L D

L) = 2L D. Portanto se D e L so diagonal e lado de um quadrado, ento 2L D e D L
tambm so.

Desse modo, a partir do Exerccio 7, concluimos que Ant(D, L) = [1, Ant(L, D L)] =

[1, 2, 2, 2, ] que uma antifairese innita e, portanto, D e L so incomensurveis entre si.

38

4.7 Atribuindo Nmeros s Grandezas

A Antifairese nos fornece uma maneira comparar quaisquer duas grandezas de mesma natureza. No entanto, at agora, nenhum nmero atribudo s grandezas.
Atribuir um nmero a uma grandeza A consiste, em ltima anlise, em escolher uma grandeza 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.
Como vimos anteriormente, U mede A se existir um nmero n tal que A = n U . Nesse

caso, dizemos que A mede n unidades e Ant(A,U ) = [n].

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

como unidade, basta escrever:

Ant(A, B) = 1 +

1
= 1+
[2, 2]

1
2+

1
2

7
5

De modo geral, se Ant(A, B) = [n0 , n1 , n2 , , ni ], a medida de A, tomando B como unip

dade ser um nmero na forma , onde p e q = 0 so nmeros, no sentido que haviamos
q
proposto inicialmente, de modo que:
p
= n0 +
q

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.

4.8 Antifaireses interrompidas e Aproximaes

Como vimos anteriormente, podemos interromper uma antifairese fornecendo uma comparao 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:
c1 = [n0 ], c2 = [n0 , n1 ], , c j+1 = [n0 , n1 , , n j ]
Cada c j+1 pode ser escrito na forma c j+1 =

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

Note que c0 no uma aproximao da medida de A, assim como p0 e q0 no so numerador

e denominador dessa aproximao. Eles foram introduzidos apenas para facilitar a maneira
de escrever as frmulas de p j+1 e q j+1 . Essas frmulas podem ser facilmente demonstradas

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.

Os programas de planilhas eletrnicas tm a vantagem de trabalhar bem com frmulas de

recorrncia, como as descritas para p j+1 e q j+1 . Na Tabela 4.8, descrevemos o preenchimento
dessas frmulas para p1 , q1 , p2 e q2 , bem como c1 . Para encontrar os valores seguintes de
p, basta copiar clula C4 e colar nas clulas C5 at C(i+3) da coluna C. Analogamente para
encontrar os valores de q, copiamos a clula D4 e colamos nas clulas D5 at D(i+3) e, por
m, para obtermos as expanses decimais de c j+1 =

p j+1
q j+1

basta copiar a clula E3 e colar nas

clulas E4 at E(i+3). Exerccio 9: Num programa de planilhas eletrnicas com as frmulas

A
j
-1
0
1
2
3
4

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
.
.
.

Tabela 4.1: Clculo de ci+1 em um programa de planilha eletrnica.

conguradas conforme a Tabela 4.8, preencha a coluna B com os nmeros de Ant(A, B) =

[5, 2, 3, 1, 2, 3, 4, 5, 6, 1, 2].
i) Determine a medida de A, tomando B como unidade (A medida de A ser o nmero que
aparece na clula E13).
ii) Selecione a coluna E e formate suas clulas como Nmero com 2 casas decimais. Quantas 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
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?

Exerccio 10: Seja

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

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 denio de nmero engloba todas as denies 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 = 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 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

i) Dado um ponto A r com A = U e A = O sempre possvel encontrar a medida do

segmento OA, tomando U como unidade.

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

iii) Dado um ponto A, P r. Se a medida de OA, tomando U como unidade, no um

nmero racional, ento existe entre A e P um ponto Q tal que a medida do segmento OQ,
tomando U como unidade, racional.

43

Consideraes Finais

Entendemos que, embora sejam abundantes os artigos que se referem s vantagens de se

utilizar a Histria da Matemtica no ensino, h ainda certa carncia no que diz respeito metodologia dessa utilizao. Sendo assim, nossa proposta baseou-se em diversos artigos que,
embora no tratassem diretamente de metodologia didtica, traziam recomendaes que consideramos relevantes para uma proposta didtica consubstanciada do conhecimento histrico e
tcnico esperados na formao do aluno.
Buscamos portanto suplantar a fase em que nos perguntamos se devemos ou no ensinar
utilizando como recurso didtico a historia da matemtica e nos concentramos em desenvolver
uma atividade que pudesse ser inserida em diversos contextos de ensino. Por esse motivo, no
sugerimos um pblico especco como alvo da atividade. Poderamos facilmete argumentar, por
exemplo, em favor da sua utilizao em cursos de formao de professores, pois esperado que
a diversidade de abordagens de um assunto to importante no curriculo do ensino bsico seja
benco para professores em formao. Do mesmo modo, podemo sugerir que essa atividade
seja aplicada no ensino mdio visando tornar o conceito de nmero real mais natural para os
alunos.
Naturalmente a atividade no se trata de um roteiro com garantia de sucesso na aquisio
da noo de nmero real. Muito menos deve-se encarar a proposta didtica como uma lista de
exerccios. Esperamos que, com base nos modelos de exerccios propostos o professor faa suas
adaptaes direcionando a atividade para seu pblico alvo de modo a tirar maior proveito para
seus propsitos.
Uma preocupao secundria, mas no menos importante, na confeco da proposta didtica foi a possibilidade de que essa atividade servisse como base para pesquisas em ensino de
matemtica.
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).
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

GIRALDO, V. Descries e Conitos Computacionais: O caso da Derivada. Tese (Doutorado)

UFRJ, Maio 2004.
HOGENDIJK, J. P. Anthyphairetic ratio theory in medieval islamic mathematics. In:
DOLD-SAMPLONIUS, Y. et al. (Ed.). From China to Paris: 2000 Years Transmission of
Mathematical Ideas. Stuttgart: Franz Steiner Verlag, 2002. cap. 9, p. 187202.
JANKVIST, U. T. A categorization of the whys and hows of using history in mathematics
education. Educational Studies in Mathematics, v. 71, p. 235261, 2009.
JOYCE, D. E. Euclids Elements. Junho 1997. Web. Disponvel em:
<http://aleph0.clarku.edu/djoyce/java/elements/toc.html>.
KNORR, W. R. The Evolution of the Euclidean elements: a study of the theory of
incommensurable magnitudes and its signicance for early Greek geometry. Boston & London:
Dordrecht, 1975.
KNORR, W. R. The impact of modern mathematics on ancient mathematics. Revue dHistoire
des Mathmatiques, v. 7, n. 1, p. 121135, 2001.
MANDARINO, M. et al. Solues Inesperadas na Resoluo de Problemas Matemticos:
Erro ou Acerto? 2008. Disponvel em: <http://limc.ufrj.br/limc/images/7/7c/Solucoes.pdf>.
MAY, K. O. What is good history and who should do it? Historia Mathematica, v. 2, n. 4, p.
449455, Novembro 1975.
MIGUEL, A. As potencialidades pedaggocas da histria da matematica em questo:
Argumentos reforadores e questionadores. Zetetiqu, v. 5, p. 73105, 1997.
PALIS, G. de L. R. A pesquisa sobre a prpria prtica no ensino superior de matematica. In:
TALL, D. et al. (Ed.). Trabalhos do HTEM 4. Rio de Janeiro: Universidade Federal do Rio de
Janeiro, 2008. p. 18. CD-Rom, ISBN: 978-85-61545-02-4.
ROQUE, T. A Matematica Atravs da Histria. [S.l.]: Universidade Federal do Rio de Janeiro,
No prelo.
SCHUBRING, G. Das genetische Prinzip in der Mathematik-Didaktik. Alemanha: Klett-Cotta,
1978. 365 p.
SIU, M. The abcd of using history of mathematics in the (undergraduate) classroom.
Bulletin of the Hong Kong Mathematical Society, v. 1, p. 143154, 1997. Disponvel em:
<http://hkumath.hku.hk/ mks/ABCD.pdf>.
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.
VITRAC, B. Umar al khayyam et lanthyphrse : tude du deuxime livre de son
commentaire sur certaines prmisses problmatiques du livre deuclide. Farhang. Quarterly
Journal of Humanities & Cultural Studies, v. 14, p. 137192, 2002.
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

WANG, H. A.; MARSH, D. D. Science instruction with a humanistic twist: Teachers

perception and practice in using the history of science in their classrooms. Science &
Education, v. 11, n. 2, p. 169189, Maro 2002.