UNIVERSIDADE FEDERAL DO PAR

CURSO DE LICENCIATURA PLENA EM MATEMTICA

CAMPUS UNIVERSITRIO DE BRAGANA
FACULDADE DE MATEMTICA

A IMPORTNCIA DE EUDOXO PARA O

DESENVOLVIMENTO DO CLCULO INTEGRAL

Jeanfson Dutra de Oliveira

BRAGANA-PA
2016
 UNIVERSIDADE FEDERAL DO PAR
CURSO DE LICENCIATURA PLENA EM MATEMTICA
CAMPUS UNIVERSITRIO DE BRAGANA
FACULDADE DE MATEMTICA

A IMPORTNCIA DE EUDOXO PARA O

DESENVOLVIMENTO DO CLCULO INTEGRAL

Jeanfson Dutra de Oliveira

Trabalho de Concluso de Curso, apresentado

Universidade Federal do Par, como parte
dos requisitos necessrios para obteno do
Ttulo de Licenciado Pleno em Matemtica.
Orientador: Prof. Dr. Carlos Alessandro da
Costa Baldez

BRAGANA-PA
2016
 UNIVERSIDADE FEDERAL DO PAR
CURSO DE LICENCIATURA PLENA EM MATEMTICA
CAMPUS UNIVERSITRIO DE BRAGANA

A IMPORTNCIA DE EUDOXO PARA O

DESENVOLVIMENTO DO CLCULO INTEGRAL

Jeanfson Dutra de Oliveira

Trabalho de Concluso de Curso, apresentado Universidade Federal do Par, como parte

dos requisitos necessrios para obteno do Ttulo de Licenciado Pleno em Matemtica.

Aprovado em:

Nota:

BANCA EXAMINADORA:

Orientador: Prof. Dr. Carlos Alessandro da Costa Baldez

Prof. Me. Leandro Santos Ribeiro

Profa. Ma. Slvia Helen Ferreira dos Santos

BRAGANA
2016
 AGRADECIMENTOS

A Deus pela sua misericrdia para conosco todos os dias. A minha me que educou-me
com destreza e dignidade. A minha esposa que est ao meu lado em todas as circunstncias.
Aos meus professores que me ensinaram matemtica com tima didtica. Ao meu orientador
que com muita pacincia e sabedoria me guiou no s neste trabalho mas em toda a minha
preparao profissional.

iii
Se eu vi mais, foi por estar de p sobre ombros de gigantes.

Isaac Newton

iv
 RESUMO

Este trabalho tem por objetivo enfatizar a importncia das teorias e mtodos de Eudoxo
de Cnido para a inveno do clculo integral. mostrado um resumo histrico do Egito
antigo onde os egpcios, que viviam s margens do rio Nilo, usavam meios de calcular
quantidades de terra para sobreviverem de forma organizada. mostrado tambm atravs
dos papiros de Ahmes e Moscou, que os egpcios evoluram seus meios para calcular reas e
at mesmo encontraram formas para o clculo de volume. Tambm mostrado a descoberta
do incomensurvel atravs dos pitagricos, o que deu incio a primeira crise de fundamentos
da matemtica, o que por sua vez foi resolvido com a teoria das propores de Eudoxo.
Aps uma explicao sobre os incomensurveis, mostrado o mais famoso mtodo de
Eudoxo, chamado de Mtodo de Exausto que usado por Arquimedes para a resoluo
da rea do crculo. Por fim, depois de uma introduo linguagem de programao C,
verificada a eficcia do mtodo de exausto de Eudoxo para determinar a rea do crculo
usando mtodos computacionais.

Palavras-chave: Eudoxo, Mtodo de exausto, Incomensurvel, Teoria das propores,

Arquimedes, Linguagem C.

v
 ABSTRACT

This work have for objective to emphasize the importance of the theories and methods of
Eudoxo of Cnido for the invention of the integral calculus. Its shown a historical summary
of the old Egypt, where the egyptians, it they lived on the margins of the Nile river, they
used ways of calculate quantities of earth to survive of way organized. Its shown too
by papyrus of Ahmes and Moscow, it the egyptians evolved yours ways of to calculate
areas and even found ways to the calculus of volume. Its shown too to the discovery of
the incommensurable by the pythagoreans, it started the first crisis of fundamentals of
mathematic, the it by your turn, was solved with theory of the proportions of Eudoxo.
After one explanation about incommensurable, its shown the more famous method of
Eudoxo, call of method of exhaustion what is used for Arquimedes to the resolution of the
area of the circle. For end, after of one introduction to language of programing C, it is
checked the effectiveness of the method of exhaustion of Eudoxo to determine the area of
the circle using computer methods.

Keywords: Eudoxo, Method of exhaustion, Incommensurable, Theory of the propor-

tions, Arquimedes, Linguage C.

vi
Sumrio

Introduo 1

1 Breve resumo histrico 3

1.1 O rio Nilo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.2 Os papiros de Ahmes e Moscou . . . . . . . . . . . . . . . . . . . . . . . . 5

1.3 Pitgoras e a msica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2 O incomensurvel e a teoria das propores de Eudoxo 11

2.1 Igualdade de fraes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

2.2 Grandezas Comensurveis . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2.2.1 A ideia de comprimentos comensurveis . . . . . . . . . . . . . . . . 14

2.2.2 A ideia de reas comensurveis . . . . . . . . . . . . . . . . . . . . 16

2.3 O incomensurvel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

2.4 A Teoria das Propores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3 O Mtodo de Exausto de Eudoxo 24

3.1 A rea do crculo dada por Arquimedes . . . . . . . . . . . . . . . . . . . . 26

3.2 O nmero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

4 Introduo as funes da Linguagem de programao C 34

4.1 Funes de entrada e sada de dados . . . . . . . . . . . . . . . . . . . . . 34

vii
 4.1.1 A funo printf() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

4.1.2 A funo scanf() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

4.2 Funes condicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

4.2.1 As funes if() e else . . . . . . . . . . . . . . . . . . . . . . . . . . 38

4.3 Funes de looping ou repetio . . . . . . . . . . . . . . . . . . . . . . . . 42

4.3.1 A funo while() . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

4.3.2 A funo for() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

4.4 Aproximao da rea do crculo atravs de mtodos computacionais . . . . 45

Consideraes finais 52

Referncias Bibliogrficas 53

viii
Lista de Figuras

1.1 Segmento unitrio egpcio usado no rio Nilo . . . . . . . . . . . . . . . . . 4

1.2 Unidade de rea egpcia usada no rio Nilo . . . . . . . . . . . . . . . . . . 4

1.3 Mecanismo egpcio para rea do trapzio . . . . . . . . . . . . . . . . . . . 5

1.4 Mecanismo egpcio para rea do crculo . . . . . . . . . . . . . . . . . . . . 6

1.5 Trapzio do prob. 14 do papiro de Moscou . . . . . . . . . . . . . . . . . . 7

1.6 Relao dos racionais com a harmonia musical . . . . . . . . . . . . . . . 9

1.7 Exemplo esquemtico de Monocrdio . . . . . . . . . . . . . . . . . . . . . 10

2.1 Segmentos comensurveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2.2 t submltiplo de s e AB . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2.3 Quadrado Q1 inscrito em Q01 . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.4 reas comensurveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.5 rea de Q0 submltipla da rea de Q1 e Q2 . . . . . . . . . . . . . . . . . . 19

2.6 Teorema de Tales com segmentos incomensurveis . . . . . . . . . . . . . . 22

3.1 Mtodo de Exausto aplicado por Arquimedes no crculo . . . . . . . . . . . 27

3.2 Mecanismo para o permetro do polgono P inscrito na circunferncia de

raio r . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

3.3 Quadrado inscrito na circunferncia de raio r . . . . . . . . . . . . . . . . 30

3.4 Polgono de 8 lados inscrito na circunferncia de raio r . . . . . . . . . . . 31

ix
4.1 Polgono inscrito em crculo . . . . . . . . . . . . . . . . . . . . . . . . . . 45

4.2 rea do polgono inscrito em um crculo . . . . . . . . . . . . . . . . . . . 46

x
Lista de Tabelas

3.1 Padro para a expresso do polgono de l2n lados . . . . . . . . . . . . . . 32

4.1 Aproximao da rea de Pn para a rea de C com 15 casas decimais . . . . 51

xi
Introduo

O clculo tido como uma das mais importantes ferramentas matemticas j descoberta
pelo homem. Seu desenvolvimento se deu em um longo perodo, passando por grandes
pensadores como Isaac Newton, Pierre de Fermat, Gottfried Leibniz, Lebesgue, entre
outros. Grande parte dos trabalhos que encontramos enfatizam fortemente os trabalhos e
as teorias desses pensadores (o que no deixa de ser justo), mas poucos trabalhos enfatizam
um grande matemtico chamado Eudoxo de Cnido, que deu origem uma noo que hoje
chamamos de LIMITE e que a base do clculo.

Eudoxo, em suas muitas teorias, inventou uma teoria chamada Teoria das Propores,
capaz de tratar problemas de propores para grandezas que fossem incomensurveis.
Essa teoria foi to importante que marcou o fim da primeira crise de fundamentos da
matemtica causada justamente pela descoberta dos incomensurveis. Mais tarde, Eudoxo
inventa um outro mtodo para resolver problemas envolvendo reas de figuras irregulares
que podemos encontrar em [6] Os Elementos de Euclides, Livro X, mais precisamente na
proposio I que diz que:

Sendo expostas duas magnitudes desiguais, caso da maior seja subtrada

uma maior do que a metade e, da que deixada, uma maior do que a
metade, e isso acontea sempre, alguma magnitude ser deixada, a qual
ser menor do que a menor magnitude exposta.

O Mtodo de exausto de Eudoxo, possibilitou que Arquimedes desenvolvesse um

mtodo para determinar a razo do comprimento do crculo com seu dimetro, inscrevendo
e circunscrevendo no mesmo, polgonos regulares, aumentando indefinidamente os lados
desses polgonos. Com isso, pde tambm determinar a aproximao da rea desses
polgonos para a rea do crculo. E ainda mais, foi atravs do mtodo de exausto que
Arquimedes pde expressar com uma excelente aproximao o at ento desconhecido .

1
 Essa ideia de aproximao que teve origem a partir do mtodo de exausto, que o
prprio Arquimedes atribui a Eudoxo, como diz Boyer (1974, p. 67)

Segundo Arquimedes, foi Eudoxo quem forneceu o lema que hoje tem o
nome de Arquimedes, s vezes chamado de axioma de Arquimedes e que
serviu de base para o mtodo de exausto, (...). Em particular, Arquimedes
atribuiu a Eudoxo a primeira prova satisfatria de que o volume do cone
um tero do volume do cilindro de mesma base e mesma altura, o que
parece indicar que o mtodo de exausto vem de Eudoxo.

deu origem noo de limite, mesmo no tendo nessa poca, conhecimento dos nmeros
reais. A partir dessa descoberta de Eudoxo, a matemtica em vez de buscar a preciso
exata, passa a buscar a preciso da aproximao, o que tornou possvel a inveno do
clculo diferencial e integral.

2
Captulo 1

Breve resumo histrico

Para compreendermos a importncia do brilhantismo matemtico dos pensadores

antigos que resultou em grandes tecnologias que temos hoje, necessrio voltarmos a
tempos primitivos que remotam o quarto milnio A.C. e que Boyer (1974, p. 7) chama de
estgio potmico. Deste perodo at o quarto sculo A.C., o pensamento era bastante
limitado e no se tinha noo da existncia dos nmeros reais. O homem daquela poca
no compreendia o significado de grandezas que ultrapassavam o campo dos nmeros
racionais e quando os pensadores matemticos se depararam com um dos primeiros
nmeros reais, houve um declnio ou uma pausa na matemtica daquela poca pois no
sabiam do que se tratava. O homem no conseguia mensurar grandezas com esses nmeros
desconhecidos e muitos teoremas envolvendo propores como o de Tales por exemplo,
perderam sua credibilidade como podemos ver em Boyer (1974, p.66): Na juventude
de Plato a descoberta do incomensurvel causou um verdadeiro escndalo lgico, pois
pareceu arruinar teoremas envolvendo propores.

1.1 O rio Nilo

Um dos primeiros indcios que temos em relao ao clculo de reas se deu s margens
do rio Nilo no antigo Egito. Como o Egito era em sua quase totalidade, desrtica, o rio
Nilo era o principal (seno o nico) recurso hdrico para a sobrevivncia do povo em que
cerca de 90% era situado naquela regio que viviam da agricultura.

3
 A medida que os assentamentos aumentavam, surgia a necessidade de encontrar novos
meios de administrao para prever a produo de gros, controle, coletar impostos, etc.
Para isso era preciso desenvolver uma forma de mensurar a quantidade de terra que cada
famlia possua. A coleta de impostos por exemplo se baseava na rea que cada habitante
possua para cultivar seu plantio. Os agrimensores egpcios mensuravam uma quantidade
de terra e cobravam impostos na proporo da rea dada a cada famlia.

Para poder medir, os agrimensores egpcios utilizavam referncias unitrias que eram
baseadas em seus braos e mos. A distncia de um palmo era a largura de uma mo. J
para um cbito, usava-se a largura que ia do cotovelo at a ponta dos dedos.

Figura 1.1: Segmento unitrio egpcio usado no rio Nilo

Mais precisamente, os egpcios usavam a medida em cbito de 1x100 como unidade de

rea para medir as quantidades de terras para cada famlia de agricultores.

Figura 1.2: Unidade de rea egpcia usada no rio Nilo

4
 Conforme indicado na figura 1.21 , eles esticavam uma corda correspondente a 100
cbitos, da o nome atribuido por Boyer (1974, p. 13): esticadores de corda.

1.2 Os papiros de Ahmes e Moscou

Ao analisarmos os papiros de Ahmes e Moscou, podemos verificar a presena total

dos nmeros naturais. O problema 52 do papiro de Ahmes, mostra como achar a rea de
um trapzio issceles. No problema, so dados como medidas base menor e maior os
valores de 4 e 6 respectivamente, sendo 20 a distncia entre essas bases. O trapzio ento
transformado em um retngulo de modo que a base do mesmo passa a ser a semi-soma
das bases do trapzio. A base do retngulo usada como segmento de referncia para
mensurar o segmento que corresponde a altura que antes era a distncia entre as bases do
trapzio.

Figura 1.3: Mecanismo egpcio para rea do trapzio

Esse mecanismo de medir segmentos a partir de outros tomados como referncia

(assim como era feito nas margens do Nilo) fazendo somas sucessivas era sempre usado
pelos egpcios devido ao fato de no conhecerem ou no existir na poca o conceito de
multiplicao, como explicita Boyer (1974, p. 16):
1
Figuras 1.1 e 1.2 extradas de Histria da matemtica da BBC disponvel no canal Univesp TV no
endereo <https://www.youtube.com/watch?v=BWtrVYNS3BI>.

5
 verdade que nossos dois principais papiros matemticos so de poca
bastante antiga, mil anos antes do surgimento da matemtica grega,(...).
Em todos os seus estgios, era constituda em torno da operao de adio,
uma desvantagem que conferia aos clculos dos egpcios um peculiar
primitivismo,(...).

H ainda indcios de um notvel raciocnio para se chegar rea do crculo, descrito

no problema 48. Neste, o escriba desenvolve um octgono a partir de um quadrado com 9
unidades de lado sendo que cada lado dividido em trs partes iguais, formando tringulos
nas pontas.

Figura 1.4: Mecanismo egpcio para rea do crculo

Posteriormente, o escriba afirma no problema 50 que a rea de um campo circular

de dimetro 9 unidades a mesma de uma quadrado de lado 8 unidades. A preciso
da afirmao do escriba de = 3 16 . Milnios depois, Arquimedes usaria um raciocnio
semelhante para o clculo da rea do crculo baseando-se no mtodo de exausto de
Eudoxo.

Em um outro papiro chamado Golonishev ou de Moscou, tem, em meio aos seus 25

problemas prticos, um que se destaca bastante por sua intima relao com conceitos
envolvendo volumes. Neste problema, mais precisamente no problema 14, existe uma figura
que se assemelha a um trapzio. Nesta, contm valores para as extremidades superior e
inferior de 2 e 4 respectivamente, alm do valor 6 na lateral direita e 56 no centro.

6
 Figura 1.5: Trapzio do prob. 14 do papiro de Moscou

As instrues deste problema, dizem que devemos tomar a soma dos quadrados dos
valores das extremidades e somar o resultado com produto dos valores destas mesmas
extremidades. Em seguida, obtm-se o produto do resultado desta ltima soma com um
tero do valor na parte lateral direita da figura. O resultado final 56, o valor encontrado
no centro. Lembrando que, como eles no conheciam operaes de multiplicao e diviso,
utilizavam mecanismos de soma e subtrao em N para obter os valores de produto e
quociente.

Diante dessas instrues, relacionadas com a figura semelhante a um trapzio, notamos

claramente que este problema (prob. 14) trata do volume de um tronco de pirmide.
Podemos perceber mais claramente se tomarmos os valores da figura genericamente, com
as extremidades superior e inferior como sendo a e b respectivamente, e a lateral como
sendo a altura h. Pelas instrues do problema, teramos a seguinte expresso:
 
2 2 h
((a + b ) + ab)
3

A expresso acima pode ser reescrita da forma

h
(a2 + ab + b2 )
3

7
 Para irmos alm, podemos tomar b = 0 e obtermos

h
a2
3

que a expresso para o volume da pirmide de base quadrada.

1.3 Pitgoras e a msica

Podemos dizer que o marco da primeira crise dos fundamentos da matemtica, situa-se
na poca de Pitgoras. Este, nasceu na cidade de Samos, cerca de 500 anos depois de Tales
de Mileto (que por sua vez tinha aproximadamente 40 anos quando ocorreu o eclipse de
585 A.C.) e era tido como um profeta e mstico e possua muitos conhecimentos no que
tange matemtica, astronomia e tambm tinha muitas ideias de cunho religioso.

A poca de Pitgoras foi marcada como um sculo crtico em relao a religio e a

matemtica e foi neste perodo quando se estabeleceu em Crotona na Magna Grcia2 que
ele fundou uma sociedade secreta que hoje chamamos de Pitagricos.

Os Pitagricos, apesar de muito estudiosos da matemtica, era uma sociedade onde

imperava um forte misticismo e todas as suas observaes e conceitos sobre a natureza e o
mundo como um todo, eram de alguma forma associados relaes entre nmeros inteiros.
Para Pitgoras, todas as coisas poderiam ser explicadas atravs dos nmeros inteiros como
explica Boyer (1974, p. 53):

Era um artigo de f fundamental do pitagorismo que a essncia de tudo,

na geometria como nas questes prticas e tericas da vida do homem,
pode ser explicado em termos de arithmos, ou das propriedades intrnsecas
dos inteiros e suas razes.

Talvez um dos fatos mais marcantes para que Pitgoras pensasse dessa forma, tenha
sido pela sua descoberta sobre a harmonia musical que se deu atravs da relao do som
com a razo entre os nmeros inteiros.

O consenso histrico relata que Pitgoras passava perto de uma casa de ferreiros
quando percebeu alguns sons quando batiam nos ferros e que eram agradveis aos ouvidos.
Pitgoras deduziu que esses sons soavam em diversos tons devido aos diferentes tamanhos
2
Crotona ficava ao sul de Magna Grcia que hoje a atual Itlia como diz Boyer (1974, p.36).

8
e formas das barras de ferro e portanto, poderiam ter alguma relao com os nmeros.
Ento possivelmente, Pitgoras teria feito uma experincia esticando uma corda sobre
uma tbua de madeira sustentada por dois cavaletes, em seguida, teria dado um pulso na
corda fazendo com que esta vibrasse emitindo um som. Em seguida, ele teria prendido
metade da corda e dado novamente um pulso. A corda ento teria emitido o mesmo
som, um pouco mais agudo devido a vibrao mais rpida. Este segundo som casava-se
perfeitamente com o primeiro causando o que chamamos de harmonia. Pitgoras acabara
de descobrir as oitavas musicais. Indo alm, com a metade da corda presa, Pitgoras
prendeu novamente na metade da metade, ou seja, fez com que a corda ficasse com apenas
3
4
de seu tamanho original. Pulsando ele esta parte, percebeu que este ltimo som tambm
entrava em harmonia com o primeiro. Era o som emitido uma quarta do som inicial.
2
Pitgoras pressionou tambm a corda de forma que ficasse com apenas 3
e pulsou chegando
ao som chamado de quinta acima nos dias atuais.

Figura 1.6: Relao dos racionais com a harmonia musical

Percebendo que os sons entravam em harmonia conforme ia prendendo partes da corda,

Pitgoras demarcou 12 pontos diferentes na tbua em linha reta, formando segmentos
cada um medindo a metade do anterior. Tudo isso para analisar a sonoridade em diferentes
pedaos da corda. Teria ele construdo vrios desses instrumentos para testar muitos
sons diferentes soando simultaneamente. Este instrumento conhecido atualmente como
monocrdio (exemplo de monocrdio abaixo)3 .
3
Imagem extrada de <http://musica-matematica.blogspot.com.br/2011/01/o-experimento-do-
monocordio-e-musica-na.html>

9
 Figura 1.7: Exemplo esquemtico de Monocrdio

A ttulo de curiosidade, acredita-se que o monocrdio de Pitgoras tenha sido o

tatarav do violo.

10
Captulo 2

O incomensurvel e a teoria das

propores de Eudoxo

Eudoxo de Cnido (408-533 A.C.), discpulo de Plato, tido como um dos mais
clebres matemticos dos quarto sculo A.C. Dentre os grandes feitos de Eudoxo, podemos
destacar uma descoberta que podemos chamar de Teoria das Propores. Essa teoria foi
to importante que colocou de volta nos eixos a matemtica que at aquele momento
encontrava-se em declnio devido ao problema do incomensurvel. Como diz Boyer (1974,
p.66):

As vezes lemos referncias reforma platnica da matemtica e embora

a frase tenda a exagerar as mudanas que tiveram lugar ento, a obra
de Eudoxo foi to significativa que cabe a ela a palavra reforma. Na
juventude de Plato a descoberta do incomensurvel causou um verdadeiro
escndalo lgico, pois pareceu arruinar teoremas envolvendo propores.
(...) Como ento comparar as razes de grandezas incomensurveis? (...)
Aparentemente os gregos usaram a ideia que quatro quantidades esto
em proporo, a : b = c : d, se as duas razes a : b e c : d tem a mesma
subtrao mtua; (...) Uma tal definio incmoda e foi um brilhante
feito de Eudoxo descobrir a teoria de propores usada no Livro V de Os
elementos de Euclides.

Para entendermos como se deu a teoria das propores de Eudoxo bem como sua
importncia para a matemtica, precisamos antes, compreender alguns conceitos como
igualdade de fraes e noes de grandezas comensurveis e incomensurveis.

11
2.1 Igualdade de fraes

De acordo com Eudoxo s possvel relacionar em termos de igualdade e razo,

grandezas de mesma espcie, como mencionado em Boyer (1974, p.66):

O conceito de Eudoxo exclui pois o zero e esclarece o que se entende por

grandezas de mesma espcie. Um segmento de reta, por exemplo, no pode
ser comparado, em termos de razo, com uma rea; nem uma rea com
um volume.

Considerando o conceito de Eudoxo sobre grandezas de mesma espcie e o trabalho de

Geraldo vila [2], seguimos com as ideias de grandezas comensurveis.
m m0
Definio 2.1. Duas fraes n e n0 so iguais se existirem p, q primos entre si e tambm
Z
a, b de tal forma que
m = ap, n = aq (2.1)

m0 = bp, n0 = bq (2.2)

Da definio 2.1, se tivermos satisfeitas as condies (2.1) e (2.2) ento podemos usar a
m m0
propriedade do produto dos meios pelo produto dos extremos nas fraes n e n0 obtendo
a seguinte igualdade:

mn0 = m0 n (2.3)

De fato, se tomarmos a como o mximo divisor comum de m e n, podemos ento

substituir (2.1) em (2.3) obtendo a relao que segue:

apn0 = m0 aq

Usando a Lei do Cancelamento em a chegamos em

pn0 = m0 q (2.4)

Podemos ver que p divisor de m0 q, mas pela definio 2.1 p e q so primos entre si,

12
logo p divide m0 . Com isso, podemos ento achar algum b Z em que m0 = bp. Usando
esta ltima igualdade em (2.4) obtemos

pn0 = bpq

Pela Lei do Cancelamento chegamos em

n0 = bq

Portanto temos provada a relao (2.2) da definio 2.1.

De forma anloga podemos substituir (2.2) em (2.3) com b sendo o mximo divisor
comum de m0 e n0 obtendo
mbq = bpn

Pela Lei do Cancelamento temos

mq = pn (2.5)

Como podemos ver em (2.5), q divide pn, mas a definio 2.1 diz que p primo com q,
assim q divisor de n. Com isso, temos que existe um a Z tal que n = aq. Usando esta
igualdade em (2.5), temos

mq = paq

Usando o cancelamento em q chegamos em

m = ap

Isto prova a relao (2.1) da definio 2.1.

Provada a definio 2.1 com o uso da relao (2.3) podemos seguir com outra definio
que segue:

m m0
Definio 2.2. Duas fraes n e n0 so iguais, com n, n0 6= 0, se e somente se, mn0 =
m0 n.

13
 De fato, se n, n0 6= 0, ento podemos multiplicar a igualdade mn0 = m0 n pelo inverso
do produto de nn0 , obtendo
   
0 1 0 1
mn =mn ,
nn0 nn0

onde chegamos em
mn0 m0 n
=
nn0 nn0
a igualdade acima pode ser reescrita como

n0 m0  n 
 
m
= ,
n n0 n0 n

m m0
1 = 0 1,
n n
chegando em
m m0
= 0
n n

2.2 Grandezas Comensurveis

Para entendermos melhor o conceito de grandezas comensurveis ou a relao entre

grandezas comensurveis, sendo que tais grandezas sejam de mesma espcie, precisamos
fixar ideias de comprimento e rea. Estas ideias tem como referncia a obra de Elon Lages
Lima [5].

2.2.1 A ideia de comprimentos comensurveis

De acordo com o que foi demonstrado anteriormente, para poder medir reas, os egpcios
usavam comparaes com tamanhos pr-definidos para suas medies. Para introduzirmos
a ideia de comprimentos comensurveis, usaremos a mesma ideia dos egpcios, fazendo uso
de um segmento fixo para comparar e assim medir comprimentos.

Considere um segmento de reta s e definamos seu comprimento igual a 1. Sendo s o

segmento unitrio, admitamos que todos os segmentos congruentes a s tenham tambm
comprimento igual a 1.

14
 Considere agora um segmento de reta AB. Se tivermos um ponto C entre A e B de
forma que se tenha AC = CB = s, ento o comprimento de AB ser igual a 2.

Temos ento que, dado um nmero m, com m Z+, se pudermos determinar m1 pon-
tos C1 , C2 , , Cm1 , entre A e B de forma que todos os segmentos AC1 , C1 C2 , , Cm1 B
sejam congruentes ao segmento unitrio s, ento o comprimento do segmento AB ser m
vezes o comprimento do segmento s, ou seja, AB = ms.

Figura 2.1: Segmentos comensurveis

Por outro lado, podemos ter em determinado momento, A0 B < s, ou seja, o segmento
unitrio s pode no ser suficiente para preencher o segmento AB. Teremos ento que o
comprimento de A0 B ser dado como

A0 B = r, com r Q+ e 0 < r < 1.

Para definirmos o comprimento de AB no conjunto dos nmeros racionais, admitamos
ento que exista um segmento t < s, de tal modo que t esteja contido n vezes em s e m
vezes em AB. Neste caso, podemos dizer que t um submltiplo de s e AB.

15
 Figura 2.2: t submltiplo de s e AB

Portanto, os segmentos s e AB so chamados comensurveis, como definido por Lima

(1991, p. 3)

Em resumo: fixado o segmento unitrio u, o comprimento de um segmento

AB um nmero racional m/n quando existe um segmento w que esteja
contido n vezes em u e m vezes em AB. Neste caso, w chama-se submltiplo
comum de AB e u, estes dois segmentos se dizem comensurveis.

Como definimos s como sendo de medida igual a 1 e que t est contido n vezes em s,
podemos dizer ento que
s = nt ou 1 = nt

1
portanto, o comprimento de t ser n .

Sendo assim, o comprimento do segmento AB ser

AB = mt,
1
AB = m ,
n
m
AB = .
n

2.2.2 A ideia de reas comensurveis

No captulo 1, vimos o mtodo utilizado pelos egpcios para mensurar reas. Para
entendermos o conceito de reas comensurveis, partiremos do mesmo princpio, utilizando
uma rea unitria como medida referencial.

Tomemos ento, o quadrado Q1 de lado 1 unidade, esse quadrado ter ainda a rea

16
igual a 1 unidade de rea (1ua) por definio e chamaremos de quadrado unitrio.

Seja agora um outro quadrado Q01 de lado l = 3 unidades. Podemos ento, dividir o
lado l em trs partes de 1 unidade. Isso nos permite perfazer o quadrado Q01 preenchendo-o
com quadrados unitrios de modo que tenhamos 32 quadrados unitrios inscritos em Q01 .

Figura 2.3: Quadrado Q1 inscrito em Q01

Seja agora, o quadrado Q2 de lados n1 e n2 , com n1 , n2 Z+. Como trata-se de um

quadrado, obviamente teremos n1 = n2 . Como n1 inteiro podemos decompor este lado
em n1 segmentos de 1 unidade e procedendo de forma anloga para n2 . Tracemos agora
retas transversais a n1 , passando por cada ponto de diviso. Tracemos tambm retas
transversais a n2 e passando tambm pelos seus pontos de diviso. Notemos que essas
retas transversais a n1 e n2 sero tambm transversais entre si formando quadrados de
1ua, perfazendo todo o quadrado Q2 .

Figura 2.4: reas comensurveis

17
 Podemos perceber na figura 2.4, n1 quadrados de 1 unidade de lado percorrendo o
segmento n1 de Q2 e n2 quadrados tambm de 1 unidade de lado percorrendo o segmento
n2 de Q2 . Fazendo o produto dos quadrados unitrios justapostos em n1 e n2 teremos

n1 = n2 = n1 n2 = n1 n1 = (n1 )2

Com isso, podemos dizer que dado um quadrado Q2 de lado n, com n Z+, podemos
decompor este em n2 quadrados unitrios justapostos.

Pode ocorrer que o quadrado Q1 no seja suficiente para perfazer o quadrado Q2 . Seja
ento um quadrado Q0 de lado r0 com r0 < 1, ou seja, um quadrado Q0 cujo lado r0 seja
menor que o lado do quadrado unitrio Q1 . Se pudermos decompor o lado de Q1 em r1
partes de r0 , teremos ento que o lado de Q0 ser dado por

1
r0 r1 = 1 = r0 =
r1

Temos assim que a rea de Q0 ser dada por

2
(1)2

1 1 1
r0 = = =
r1 r1 (r1 )2 r1

1
Fazendo r1
= c, temos que a rea de Q0 = c2 .

Sendo assim, se pudermos decompor o quadrado Q1 em r partes de c2 e tambm o

quadrado Q2 em s partes de c2 , teremos que a rea de Q0 ser submltipla da rea de Q1
e Q2 , com

rea de Q1 = rc2 e rea de Q2 = sc2

18
 Figura 2.5: rea de Q0 submltipla da rea de Q1 e Q2

portanto, Q1 e Q2 so ditos comensurveis.

Fixadas as ideias de comprimento e rea comensurveis, podemos afirmar que duas

m
grandezas de mesma espcie A e B esto entre si na razo n se existe um segmento s de
tal forma que

A = ms e B = ns (2.6)

ou seja, se existe um segmento s que esteja contido um nmero m de vezes em A e um

nmero n de vezes em B, com m, n Z+, ento A e B so grandezas comensurveis entre
si. Isto nos leva seguinte definio:

Definio 2.3. Dado duas grandezas comensurveis de mesma espcie A e B, dizemos

m
que A est para B na razo n , se e somente se, nA = mB.

obvio que a igualdade nA = nA verdadeira. Usando (2.6) direita desta ltima

igualdade, obtemos
nA = n(ms)

usando as propriedades comutativa e associativa direita da igualdade, chegamos em

nA = m(ns)

por (2.6) vemos que ns = B, portanto temos

nA = mB

19
2.3 O incomensurvel

Existem vrias controvrsias a respeito do surgimento do primeiro nmero irracional.

Alguns relatam que seria 5 devido soluo da equao a : x = x : (a x) que resulta

51
em que a razo entre o lado de um pentgono regular com sua diagonal. Outros
2

atribuem a 3 que a razo entre a diagonal de um cubo com uma de suas arestas. Mas

uma justificativa bastante plausvel que tenha sido 2. Este nmero teria surgido quando
um pitagrico chamado Hipasus de Metapontum tentava achar a diagonal de um quadrado
de lado 1 (quadrado unitrio). Ele teria usado para isso o prprio Teorema de Pitgoras,
chegando em d2 = 2, onde d a diagonal do quadrado. Todos a partir dai, tentaram achar
um nmero cujo quadrado resultava em 2, mas sem sucesso.

Seguiu-se ento que no pde ser encontrado uma medida de referncia que fosse capaz
de mensurar o lado e a diagonal de um quadrado simultaneamente, ou seja, no existe um
submltiplo que possa mensurar a diagonal de um quadrado com seu lado. Aristteles faz
uma referncia para a prova da incomensurabilidade da diagonal do quadrado com seu
lado fazendo meno aos nmeros pares e impares.

Para uma prova mais contundente e levando em considerao as menes de Aristteles,

consideremos d e l como sendo a diagonal e o lado de um quadrado respectivamente e
vamos supor tambm que sejam comensurveis, ou seja, que exista um submltiplo que
d p p
mea simultaneamente os dois comprimentos. Logo, teremos l
= q
onde q
so inteiros
irredutveis. Do Teorema de Pitgoras temos que d2 = l2 + l2 , multiplicando esta expresso
2 2
2
pelo inverso de l2 obtemos dl2 = 2ll2 = dl = 2, onde temos

 2  2
d p p2
= = 2 =2
l q q

temos ento p2 = 2q 2 . Como p2 igual a duas vezes uma constante inteira qualquer,
p
segue-se que p2 par, logo p par, mas q
so inteiros irredutveis, portanto q deve ser mpar.
Se p par podemos escreve-lo como sendo p = 2r, r Z, ento de p2 = 2q2 obtemos
4r2 = 2q 2 = 2r2 = q 2 . Com isso vemos que q 2 par, logo q par, mas mostramos
anteriormente que q era mpar e um inteiro no pode ser par e mpar ao mesmo tempo,
logo a afirmao de que a diagonal e o lado do quadrado so comensurveis falsa.

Essa descoberta (do incomensurvel) lapsou as teorias com base em propores, como

20
o Teorema de Tales que trata de propores entre os lados formado por trs paralelas inter-
ceptadas por duas transversais. Como definir proporo entre grandezas de mesma espcie
quando no se pode achar um submltiplo que seja comum a ambas? Alguns anos mais
tarde, Eudoxo de Cnido formulou uma das mais importantes teorias do campo matemtico,
que define igualdade de razes mesmo que as grandezas fossem incomensurveis.

2.4 A Teoria das Propores

m
A definio 2.3 de que grandezas A e B esto entre si na razo n , se e somente se,
nA = mB vlido somente se A for comensurvel com B. No caso incomensurvel esta
ultima igualdade impossvel. Eudoxo procurava achar uma soluo para definir razes
equivalentes mesmo elas sendo incomensurveis entre si. Assim, Dados A, B, C e D e
nmeros inteiros quaisquer m e n possvel verificar trs casos,

nA > mB, nA = mB, nA < mB e nC > mD, nC = mD, nC < mD

Eudoxo brilhantemente testou e definiu, sem se preocupar com valores numricos sendo
estes inteiros ou irracionais, mas focando nas grandezas em si, mesmo elas no sendo um
nmero, a igualdade de grandezas A, B, C e D dado quaisquer m e n, levando definio
seguinte.

Definio 2.4. Dados quatro grandezas A, B, C e D, dizemos que A est para B assim
A C
como C est para D, ou seja, B
= D
, se quaisquer que sejam m e n, tivermos

nA < mB nC < mD (2.7)

nA = mB nC = mD (2.8)

nA > mB nC > mD (2.9)

21
 Com esta definio podemos mostrar que o teorema de Tales vlido mesmo para
segmentos incomensurveis, como podemos verificar no artigo de Geraldo vila [2].

Segue-se que, dado um segmento AB, podemos particiona-lo m vezes em tamanhos

proporcionais a um segmento s, sendo ento AB = ms. Seja um outro segmento BC e
da mesma forma o particionamos em n partes proporcionais ao mesmo segmento s. Se o
segmento AB for comensurvel com BC ento o ponto S estar exatamente em C. Caso
contrrio, poderemos ter dois casos. Ou S estar entre B e C e teremos BC > BS ou
ento, S estar alm de C e teremos BC < BS, em ambos os casos com AB comensurvel
com BS.

Consideremos o primeiro caso em que BC > BS conforme mostra a figura 2.61 .

Figura 2.6: Teorema de Tales com segmentos incomensurveis

Neste caso, teremos que o segmento s ir perfazer o segmento BS, de sorte que teremos
AB = ms e BS = ns, logo teremos que

AB m
= = n AB = m BS
BS n

Temos ento a seguinte relao

n AB = m BS < m BC (2.10)
1
Figura inspirada no artigo Eudoxo, Dedekind, nmeros reais e ensino de Matemtica de Geraldo
vila, publicado na Revista do Professor de Matemtica, v. 7, p. 5-10, 1985

22
 Como podemos ver na figura 2.6, traado o segmento SS 0 paralelo a CF . De modo
anlogo, usando o mesmo raciocnio anterior, chegaremos em

DE m
= = n DE = m ES 0
ES 0 n

o que nos d

n DE = m ES 0 < m EF (2.11)

De (2.10) e (2.11) chegamos em

n AB < m BC = n DE < m EF

De forma recproca mostramos que

n DE < m EF = n AB < m BC

Isto nos mostra finalmente que

n AB < m BC n DE < m EF

O raciocnio anlogo para mostrarmos o caso BC < BS que nos dar o resultado
seguinte

n AB > m BC n DE > m EF

Como pudemos verificar, a teoria das propores de Eudoxo fez com que teoremas
envolvendo propores como o importante Teorema de Tales voltasse a ter validade mesmo
no caso incomensurvel.

23
Captulo 3

O Mtodo de Exausto de Eudoxo

Eudoxo, com sua teoria das propores, conseguiu superar o problema do incomensurvel
m
mostrando que grandezas de mesma espcie esto entre si na razo n
mesmo que essas
grandezas no tenham submltiplos em comum. Mas restava ainda definir uma maneira
de determinar reas de grandezas irregulares ou como diz Boyer (1974, p. 67) restava um
problema no resolvido, o da comparao de configuraes curvas e retilneas. O papiro
de Ahmes mostra como achar a rea de figuras regulares, transformando-as em retngulos
e calculando o produto de sua base pelo seu lado (usando somas sucessivas) como era o
caso do tringulo issceles ou do trapzio regular. Mas apenas uma intuio era dada para
se achar a rea do crculo pois no era possvel transforma-lo em um retngulo.

Diante dessa problemtica, Eudoxo desenvolveu um mtodo que consistia em achar

uma aproximao para um determinado valor exato, sendo essa aproximao um valor
to perto do valor exato quanto se queira. Esse mtodo foi chamado muito tempo depois
de Mtodo de Exausto de Eudoxo. Este mtodo foi to brilhante que considerado o
marco inicial do desenvolvimento do clculo integral, conforme diz Boyer (1974, p. 67)

Segundo Arquimedes foi Eudoxo quem forneceu o lema que hoje tem o
nome de Arquimedes, s vezes chamado axioma de Arquimedes e que
serviu de base para o mtodo de exausto, o equivalente grego do clculo
integral. O lema ou axioma, diz que, dadas duas grandezas que tem uma
razo (isto , nenhuma delas sendo zero), pode-se achar um mltiplo de
qualquer delas que seja maior que a outra. Esse enunciado eliminava um
nebuloso argumento sobre segmentos de reta indivisveis, ou infinitsimos
fixos, que s vezes aparecia.

24
 Ainda conforme Boyer (1974, p. 67)

Se de uma grandeza qualquer subtrairmos uma parte no menor que sua

metade e do resto novamente subtrai-se no menos que sua metade e se
esse processo de subtrao continuado, finalmente restar uma grandeza
menor que qualquer grandeza de mesma espcie.

O Axioma de Eudoxo, enunciado acima, pode ser explicado da seguinte maneira:

Seja G uma grandeza qualquer e  uma grandeza fixada previamente da mesma espcie
1
de G (por exemplo duas reas). Seja tambm uma razo r de tal forma que 2
6 r < 1.
Subtraindo uma parte no menor que a metade de G, teremos

G Gr = G1 ,

G1 o que resta de G. Operando matematicamente obtemos

G Gr = G1 = G1 = G(1 r).

De G1 , subtramos novamente uma parte no menor que sua metade e teremos

G1 G1 r = G2 ,

G2 agora o que restou de G1 . Temos ento

G2 = G1 (1 r),

mas G1 = G(1 r) ento temos

G2 = G(1 r)(1 r) = G2 = G(1 r)2 .

Procedendo da mesma forma para G2 , teremos

G2 G2 r = G3 = G3 = G2 (1 r),

25
como G2 = G(1 r)2 , temos

G3 = G(1 r)2 (1 r) = G3 = G(1 r)3 .

Continuando o processo chegaremos em

Gn = G(1 r)n

1 1
Como r maior ou igual a 2
e menor que 1, temos que 0 < 1 r 6 2
. Com isso,
se aumentarmos n, (1 r)n ir tender a zero, ento podemos aumentar n at termos
Gn = G(1 r)n <  com  podendo ser to pequeno quanto se queira.

O conceito de limite foi introduzido muitos anos depois (j que na poca de Eudoxo, os
gregos ainda no possuam o conceito de nmero real) resultando na formulao moderna
que segue,

lim G(1 r)n = 0

n

Com o mtodo de Exausto, Arquimedes pde determinar com rigor de exatido a

rea da circunferncia, alm de poder demonstrar outros resultados.

3.1 A rea do crculo dada por Arquimedes

Foi mostrado rapidamente que no papiro de Ahmes existe indcios da tentativa dos
egpcios de se chegar rea do crculo baseando-se na comparao do mesmo com polgonos.
Eles chegaram a uma preciso de aproximadamente 3,16 para . A deficincia do mtodo
egpcio que eles no tinham o conceito de nmeros reais alm de no terem a ideia de
limite.

Uma das questes que mostra a genialidade de Eudoxo em seu mtodo de exausto
a ideia intuitiva de limite mesmo sem o conhecimento dos nmeros reais. Essa ideia
era dada indiretamente, visto que ainda naquela poca os gregos no tinham os conceitos
diretos de limite e de nmero real. Arquimedes utiliza ento, o mtodo de Eudoxo em um
de seus mecanismos para descobrir a razo entre o comprimento de um crculo de raio 1 e

26
seu dimetro, e chega a uma preciso to prxima quanto se queira da rea do crculo. O
mtodo se d da maneira que segue.

Dado um crculo C de raio r, Arquimedes inscreve em C um polgono P com 6 lados,

em seguida, forma-se segmentos a partir dos pontos mdios dos arcos compreendidos entre
os vrtices de P inscrito em C e forma tringulos, dobrando assim a quantidade de lados
do polgono P e consequentemente diminuindo os espaos entre P e C. Arquimedes ento,
procede de forma anloga para um polgono P1 s que agora circunscrito em C. Conforme
foi dobrando a quantidade de lados, Arquimedes chega a 96 lados para P e P1 o que
podemos considerar uma preciso para de 3, 14084507 < < 3, 142857143.

Figura 3.1: Mtodo de Exausto aplicado por Arquimedes no crculo

Para a rea do crculo, Arquimedes calcula as reas dos polgonos P e P1 com seus 96
lados e define um limite superior e outro inferior, concluindo que a rea do crculo situa-se
entre esses dois limites. Arquimedes mostrou que para se chegar a um valor mais prximo
da rea do crculo bastava aumentar o nmero de lados dos polgonos inscrito e circunscrito
neste crculo, ou seja, quanto mais se aumentar o nmero de lados de um polgono inscrito
e/ou circunscrito em um crculo, mais prximo se chega da rea do mesmo.

A partir do mtodo de exausto de Eudoxo unido com o mtodo de Arquimedes,

estabelecido uma inovao na matemtica que deixa de visar a preciso da igualdade para
buscar a preciso da aproximao, o que podemos considerar ser a ideia primitiva do
clculo integral.

27
3.2 O nmero

Os gregos, assim como Arquimedes, buscaram inmeros mecanismos para se chegar a

um nmero que era a razo entre o comprimento do crculo com seu dimetro. O mtodo
de Arquimedes aliado ao mtodo de exausto de Eudoxo, que inscrevia um polgono
regular no crculo de raio 1 e dobrando-se os lados desse polgono, o permetro do mesmo
aproximava-se do comprimento do crculo, foi o que mais se aproximou desse nmero ainda
desconhecido.

Utilizando o mtodo de exausto de Eudoxo, aliado ao mtodo de Arquimedes e ainda

auxiliado pelo teorema de Pitgoras, descreveremos um mecanismo para se determinar
o permetro de um polgono regular P inscrito em uma circunferncia de raio r, usando
como referncia [7].

Seja um polgono regular P inscrito em uma circunferncia C de raio r e sejam tambm

as seguintes medidas conforme a figura abaixo:

Figura 3.2: Mecanismo para o permetro do polgono P inscrito na circunferncia de raio r

Temos que ln ser o lado do polgono P de n lados e Sn ser o somatrio de todas as

medidas dos lados l2n que chamaremos de permetro de P .

28
 Considere o tringulo ACD. Pelo teorema de Pitgoras temos

ln 2


(l2n)2 = 2 + x2 (3.1)

Considerando agora o tringulo AOC temos

ln 2
2


r = 2 + (r x)2 (3.2)

De (3.2) temos que

ln 2


r2 = 2 + r2 2rx + x2,
2
x2 2rx + (ln4) = 0,

temos que esta ltima expresso, uma expresso quadrtica cujas razes so dadas por
q
(ln)2
2r 4r2 4 4
x1,2 = ,
s2  
2 (ln)2
4 r 4
2r
x1,2 = 2 q 2 ,
2
x1,2 = r r2 (ln)
4

Se considerarmos a soma

q
2
x = r + r2 (ln)
4

teremos que o segmento CD = x ser maior que o raio r, o que absurdo como podemos
ver na figura (3.2). Logo, consideramos apenas a diferena

29
 q
(ln)2
x = r r2 4
(3.3)

Substituindo agora (3.3) em (3.1) obtemos

 q 2
ln 2 (ln)2
2


(l2n ) = 2 + r r2 4 ,

2 q
2 ln 2
= ln2 + r2 2r r2 ln2 + r2


(l2n )2 2 ,
q
2
(l2n )2 = 2r 2r r2 ln2 ,
2
r q
(ln)2
l2n = 2r2 2r r2 4 ,
r q
2 2
l2n = 2r2 2r 4r (ln)
4 ,
q p
l2n = 2r2 2r2 4r2 (ln)2 ,

onde chegamos finalmente a

q p
l2n = 2r2 r 4r2 (ln)2 (3.4)

Para exemplificarmos, partiremos de um polgono de 4 lados (n = 4) inscrito em uma

circunferncia de raio r,

Figura 3.3: Quadrado inscrito na circunferncia de raio r

30
 teremos ento que
(l4 )2 = r2 + r2 ,
(l4 )2 = 2r2
Usando esta ltima igualdade em (3.4) temos

p
l8 = 2r2 r 4r2 2r2 ,
p
l8 = 2r2 r 2r2 ,
p
l8 = 2r2 r2 2,
p
l8 = r 2 2

que a expresso para a medida do lado de um polgono regular de 8 lados inscrito na

circunferncia de raio r.

Figura 3.4: Polgono de 8 lados inscrito na circunferncia de raio r

31
 Substituindo agora l8 em (3.4), (n = 8), obtemos
s r  p 2
l16 = 2r2 r 4r2 r 2 2 ,
r q
l16 = 2r2
r 4r2 r2 (2 2),

q p
l16 = 2r r 4r2 2r2 + r2 2,
2

q p
l16 = 2r2 r 2r2 + r2 2,

q p
l16 = 2r2 r2 2 + 2,

q p
l16 = r 2 2+ 2

que a expresso para a medida do lado de um polgono regular de 16 lados inscrito na

circunferncia C de raio r.

Se fizermos o processo anlogo mais uma vez, obteremos a expresso

r

q p
l32 = r 2 2+ 2+ 2

para o lado do polgono regular com 32 lados.

q p
A tabela (3.1) abaixo ilustra o padro para k iteraes, o que nos d 2 + 2 + 2+ ,
e assim por diante k vezes, com k + 2 = n e n > 3, partindo inicialmente de um polgono
regular de 8 lados (2n ).

k + 2 = n,rn > 3 para l2n

q p
k n l2n padro para 2 + 2 + 2 + + 2 k vezes
p
1 3 l8 rq2 2
p
2 4 l16 r 2 2+ 2
r

q p
3 5 l32 r 2 2+ 2+ 2
.. .. .. ..
. . . .s
r

q p
k n l2n r 2 2 + 2 + 2 + + 2

Tabela 3.1: Padro para a expresso do polgono de l2n lados

32
 Para um ltimo exemplo, testemos a expresso (3.4) para l4096 (10 iteraes), com
r = 1, para um polgono com 4096 lados, onde obteremos a expresso

v v
u u v
u u u v v
u u u u u v
u u u u u u v
u u u u u u s r
u

u u u u u u u q
u u u t
= t2 t2 + t2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 + 2 = 0, 00153398,
t
l4096 u u t t

logo, o permetro de P ser

Sn = 4096 l4096 = 6, 28318469,

D = 2r

agora, fazemos o quociente de Sn por D que o dimetro da circunferncia C

Sn
= 3, 141592,
D

este quociente com aproximao correta at a 6a casa decimal o que chamamos de .

33
Captulo 4

Introduo as funes da Linguagem de

programao C

Com o advento da tecnologia computacional, o que por sua vez se deu devido as muitas
ideias e conceitos estabelecidos pelos pensadores antigos e contemporneos, muitas teorias
puderam ser testadas e/ou provadas, ou mesmo aperfeioadas, teoremas e mtodos puderam
ser visualizados de forma dinmica para valores extremamente grandes ou pequenos e tudo
isso de forma rpida e eficaz se comparado com esforo humano.

A inveno do transistor e das linguagens de programao foram o marco da evoluo

da prpria tecnologia computacional que transformou o velho ENIAC1 nos notebooks que
usamos em nossos escritrios hoje.

4.1 Funes de entrada e sada de dados

Para iniciarmos um estudo breve das funes da linguagem de programao C, pre-

cisamos primeiramente saber que todas as funes em C so seguidas de parnteses (),
que indica ao comando anterior a estes, que pode ou no receber parmetros. Alm disso,
temos a funo principal main(){}, onde todas as outras funes e/ou bloco de instrues
a serem executadas, devem estar dentro das chaves. Vejamos a seguinte estrutura:
1
Electronic Numerical Integrator and Computer - ENIAC - Considerado o primeiro computador
eletrnico digital da histria, a comunicao era feita atravs de combinaes de lmpadas acesas e
apagadas.

34
1 # include < stdio .h >
2 main () {
3 /* todo o codigo eh escrito aqui . */
4 }

Na linha 1, temos o comando include, que precedido de cerquilha #, que indica

a insero das bibliotecas necessrias para reconhecer as funes e demais instrues,
lembrando que funo em programao so todos os comandos ou bloco de comandos que
executam aes. Na linha 2, temos a funo principal, onde todo o algoritmo executvel
deve ser escrito. Na linha 3, temos um comentrio que pode ser escrito entre os comandos
/* e */, que mostra onde o algoritmo ser escrito.

Uma observao a ser feita referente acentuao da lngua portuguesa, onde

necessrio comandos especiais para que a linguagem C os reconhea, no sero tratados
pois o foco deste captulo somente nas funes.

4.1.1 A funo printf()

O comando printf(), uma funo que exibe informaes. Ela responsvel pela
interao do computador com o usurio atravs de textos. Todos os textos a serem
mostrados devem ser escritos dentro da funo printf() e entre aspas duplas ( ). Vejamos
o seguinte cdigo:

1 # include < stdio .h >

2 main () {
3 printf ( " Exibindo um texto qualquer . " ) ;
4 }

O algoritmo acima nos d a seguinte sada:

35
 Notemos que a funo printf() nos retornou exatamente o texto que digitamos.

4.1.2 A funo scanf()

Vimos resumidamente que a funo printf() responsvel por exibir dados e informa-
es2 na tela do computador, ou seja, exibe a sada de informaes.

Para podermos interagir com o computador e passar dados ao mesmo para que sejam
processados, utilizamos em C o comando scanf(). ele que responsvel por ler as
informaes que digitamos no teclado. Para que possamos compreender melhor a funo
scanf(), precisamos analisar o conceito de varivel em computao.

Varivel

Podemos entender variveis em linguagem de programao fazendo a seguinte analogia:

Imaginemos que varivel um recipiente onde colocamos objetos, mas cada recipiente
recebe somente um tipo de objeto. Por exemplo, um cesto pode conter objetos slidos mas
no pode conter lquidos. Em programao, cada varivel deve ser alocada em um espao
diferente na memria e para fazermos isso precisamos informar ao computador o tipo de
2
Em informtica, dados so tratados como informaes brutas e informao so informaes ps
processadas pelo computador, ou seja, o resultado final.

36
 dado a ser tratado.

Para alocarmos nmeros em variveis, existem os tipos int, que armazena nmeros
inteiros e o tipo float que armazena nmeros reais. H ainda o tipo double, que armazena
nmeros reais com uma grande quantidade de casas decimais. Para exemplificarmos melhor,
seguimos com um algoritmo simples que soma dois nmeros informados pelo usurio, usando
em conjunto as funes printf() e scanf().

1 # include < stdio .h >

2 main () {
3 int numero1 , numero2 , numero3 ;
4 printf ( " Digite o primeiro numero : " ) ;
5 scanf ( " % d " , & numero1 ) ;
6 printf ( " \ n Digite o segundo numero : " ) ;
7 scanf ( " % d " , & numero2 ) ;
8 numero3 = numero1 + numero2 ;
9 printf ( " \ n Temos que % d + % d = % d . " , numero1 , numero2 , numero3 ) ;
10 }

Para este algoritmo, temos a seguinte sada:

Na linha 3, so declaradas trs variveis do tipo int (numero1, numero2 e numero3),

ou seja, informamos que o computador receber trs nmeros inteiros. A linha 4 pede ao

37
usurio atravs da funo printf() que insira o primeiro nmero (foi digitado 5) e na
linha linha 5, a funo scanf() l o nmero digitado como sendo do tipo inteiro atravs
do comando %d, guardando-o na varivel numero1 pelo comando &numero1. A linha
6 e 7 so anlogas, pedindo outro nmero ao usurio e lendo este nmero (foi digitado 8).
O smbolo \n indica funo printf() que deve ser pulado uma linha. Na linha 8 feito
o clculo da soma dos dois nmeros digitados (5 e 8), sendo esta soma atribuda varivel
numero3. Notemos que o smbolo de atribuio feito com o smbolo =, ou seja, todos
os valores que estiverem direita da igualdade sero armazenados na varivel esquerda.
Se quisermos comparar valores, usamos os smbolos mostrados na lista a seguir.

== para igualdade;

< para menor que;

<= para menor ou igual a;

> para maior que;

>= para maior ou igual a;

!= para diferente;

Na linha 9, temos a sada do resultado, exibindo a soma %d + %d = %d, onde

cada um desses smbolos so substitudos pelos valores numero1, numero2 e numero3
respectivamente, todos eles dentro da funo printf().

4.2 Funes condicionais

Funes condicionais so funes responsveis por tomadas de decises atravs de

comparaes de valores que informamos previamente para o computador.

4.2.1 As funes if() e else

As duas principais funes condicionais em C so if() (se) e else (seno), ou seja, se

for verdade a condio do if() ser executado todo o bloco de instrues nas chaves do

38
 if, agora, se a condio do if for falsa, ser executada as instrues contidas no else. O
comando else no leva parnteses pois se no for verdade a condio do if(), s poder
ocorrer o else, portanto, no necessrio parmetros. Para entendermos melhor, vejamos
o algoritmo que informa se um nmero positivo, negativo, ou nenhum dos dois.

1 # include < stdio .h >

2 main () {
3 int numero ;
4 printf ( " Digite um numero inteiro : " ) ;
5 scanf ( " % d " , & numero ) ;
6 if ( numero >0)
7 {
8 printf ( " \ n % d eh POSITIVO . " , numero ) ;
9 }
10 else
11 {
12 if ( numero ==0)
13 {
14 printf ( " \ n % d nao eh positivo nem negativo . " , numero ) ;
15 }
16 else
17 {
18 printf ( " \ n % d eh NEGATIVO . " , numero ) ;
19 }
20 }
21 }

Para o algoritmo acima podemos ter trs sadas:

39
Sada I:

Sada II:

Sada III:

40
 Na sada I, foi digitado o nmero 5, que por sua vez foi guardado na varivel numero
do tipo int (inteiro), declarado previamente na linha 3. A partir da linha 6, a funo
if() testa se o nmero guardado na varivel numero maior que zero.

1 if ( numero >0)
2 {
3 printf ( " \ n % d eh POSITIVO . " , numero ) ;
4 }

Como o teste verdadeiro, executado a instruo dentro das chaves, que informar na
tela do terminal que o nmero digitado POSITIVO. Todo o resto do cdigo ignorado.

Na sada II, foi digitado o nmero 0, como o teste do if na linha 6 retornar falso, ento
s h duas possibilidades, igual a zero, ou negativo. Estas duas possibilidades esto dentro
da condio da funo else na linha 10, onde no bloco de cdigo dentro de suas chaves,
testado novamente a condio do nmero digitado. Na linha 12 o teste retorna verdadeiro
e executado toda a instruo da linha 14, correspondente ao if em execuo.

1 if ( numero ==0)
2 {
3 printf ( " \ n % d nao eh positivo nem negativo . " , numero ) ;
4 }

O restante do cdigo ignorado.

J na sada III, digitado o nmero -3 que testado no primeiro if da linha 6, retornando

falso, em seguida testado as outras duas possibilidades dentro do else da linha 10. Ao
retornar falso no segundo if da linha 12, resta somente uma possibilidade para o nmero
digitado, ou seja, que ele seja negativo. Ento executado o ltimo else na linha 16 que
executar a instruo da linha 18, indicando que o nmero NEGATIVO.

1 else
2 {
3 printf ( " \ n % d eh NEGATIVO . " , numero ) ;
4 }

41
 4.3 Funes de looping ou repetio

As funes de looping ou de repetio so responsveis por automatizar contagens,

somatrios, produtrios, etc. Digamos que haja a necessidade de desenvolver um algoritmo
para contar at 10, podemos facilmente, atravs da funo printf(), escrever de 1 a 10.
Mas se precisarmos contar at 1.000.000, seria invivel escrever essa quantidade de printf.
Para isso usamos as estruturas de repetio.

4.3.1 A funo while()

Geralmente, a funo while() (enquanto) usada para controlar o fim de um looping

de forma interativa com o usurio, onde o looping s termina quando o mesmo informa o
comando necessrio para o fim. Vejamos um exemplo simples de looping com interao do
usurio.

1 # include < stdio .h >

2 main () {
3 int numero , controle ;
4 controle = 0;
5 while ( controle !=1) {
6 printf ( " \ n Digite um numero inteiro : " ) ;
7 scanf ( " % d " , & numero ) ;
8 printf ( " \ n Voce digitou o numero % d . " , numero ) ;
9 printf ( " \ n \ n Digite 1 para finalizar ou 0 para continuar : " ) ;
10 scanf ( " % d " , & controle ) ;
11 }
12 }

O algoritmo teve a seguinte sada com a interao do usurio:

42
 Podemos notar que na linha 4, atribudo zero varivel controle. Na linha 5, a
funo while() far o algoritmo se repetir enquanto a varivel controle for diferente de
1, definido pelo smbolo !=. Notemos tambm que o looping ir executar independente
do valor atribudo varivel controle desde que a mesma no seja 1.

1 while ( controle !=1) {

Na sada, o programa nos pede um nmero inteiro e digitado 5. Em seguida nos

informado que digitamos 5. Depois o programa nos informa para digitarmos 1 para
finalizar ou 0 para continuar. Ao digitarmos 0, o programa torna a repetir as instrues
anteriores, pedindo um nmero inteiro e retornando a informao deste nmero digitado
(neste caso o nmero 2). Poderamos digitar qualquer valor diferente de zero que o looping
continuaria. Ao digitarmos 1, como vemos na ltima linha executvel da sada, o comando
while retorna falso para a condio controle != 1 e finaliza a repetio do bloco de cdigo.

4.3.2 A funo for()

Diferente da funo while, a funo for() nos retorna um looping sem interao com o
usurio, ou seja, no possvel controlar o fim da repetio de instrues interativamente.
No for, s possvel indicar onde comea o looping e onde vai terminar, utilizando para isso
a tcnica de incrementao. Lembrando que podemos substituir a funo for() pela funo
while() usando tambm o incremento, mas o contrrio no possvel em alguns casos.
Vejamos um exemplo de algoritmo que imprime uma simples tabuada de multiplicao.

43
1 # include < stdio .h >
2 main () {
3 int i , numero ;
4 printf ( " \ n Digite um numero inteiro : " ) ;
5 scanf ( " % d " , & numero ) ;
6 for ( i =1; i <=10; i = i +1) {
7 printf ( " \ n % d * %2 d = %2 d " , numero , i , numero * i ) ;
8 }
9 }

Teremos a sada seguinte.

Foi digitado o nmero 5, este nmero ser multiplicado por todas as iteraes de i
incrementado em 1 unidade.

Na linha 6, temos a funo for com trs parmetros separados por ponto e vrgula (;).

1 for ( i =1; i <=10; i = i +1) {

O primeiro parmetro (i=1), onde a varivel i recebe o valor 1 onde o looping

inicia. O segundo parmetro (i<=10) onde o looping termina e o terceiro parmetro o
incremento da varivel i (i = i+1).

O incremento se d da seguinte maneira: i recebe o valor 1 e o bloco de cdigo

executado, em seguida, i receber a soma dele mesmo com 1 o que resultar em 2, ento
com i agora recebendo 2, o looping inicia novamente, isso se repete at i receber 10, que

44
 ser o ltimo looping. Quando i valer 11, a condio do segundo parmetro do for retorna
falso e o looping termina. Assim, a funo printf dentro do for ser executada dez vezes,
uma abaixo da anterior pelo comando \n conforme a incrementao de i,

1 printf ( " \ n % d * %2 d = %2 d " , numero , i , numero * i ) ;

onde %d * %2d = %2d ser substituido pelos valores numero, i e o produto

numero*i. No comando %2d, o nmero 2 serve para reservar duas casas decimais, assim
taremos alinhados os nmeros de 1 a 10 e o produto que vai de 5 a 50.

4.4 Aproximao da rea do crculo atravs de mtodos

computacionais

Aps esta introduo bsica das funes da linguagem de programao C, utilizaremos

recursos computacionais para mostrarmos a veracidade e eficcia do mtodo de Arquimedes
associado ao mtodo de exausto, que comprova visualmente que a rea de um polgono
inscrito em um crculo aproxima-se da rea do mesmo conforme aumentam-se seus lados.

Seja ento an a rea de um polgono Pn e ac a rea do crculo C de raio r. Inscrevemos

em C um polgono P1 com rea a1 . Como temos espaos entre P1 e C, ento temos a1 < ac .
Dobramos ento os lados de P1 ligando os vrtices de P1 aos pontos mdios dos arcos
definidos pelos prprios vrtices de P1 .

Figura 4.1: Polgono inscrito em crculo

Este processo nos dar um outro polgono P2 de rea a2 com a1 < a2 visto que

45
aumentamos seus lados. Mas, como ainda sobra espao entre P2 e C temos que a2 < ac e
teremos a sequncia a1 < a2 < ac . Se fizermos o mesmo processo para P2 teremos um P3
com a2 < a3 e consequentemente a1 < a2 < a3 < ac . Se continuarmos o processo teremos
a sequncia

a1 < a2 < a3 < < an < an+1 < < ac , (4.1)

isso nos mostra que a rea de C definida como sendo

lim an
n

pois a rea de todos os polgonos Pn ser sempre menor que a rea do crculo C limitando
a sequncia (4.1), o que nos mostra que an no pode crescer de forma indefinida. Para
sabermos a rea an do polgono Pn , basta calcularmos todos os tringulos issceles formados
pelos vrtices dos lados com o ponto do seu centro como podemos ver na figura 4.2.

Figura 4.2: rea do polgono inscrito em um crculo

Analisando a figura acima, vemos que o nmero de tringulos issceles tn igual ao

nmeros de lados do polgono regular Pn , e como o nmero de seus lados dado por 2n
com n > 2, temos que o nmero de tringulos tn dado tambm por 2n , n > 2.

46
 A rea de tn dada por 12 ln hn com ln sendo o lado de Pn e hn a bissetriz do ngulo
360
oposto a ln . Temos tambm que o ngulo dado por 2n
, sendo 2n , o nmero de
tringulos issceles tn . Usando as propriedades trigonomtricas temos os valores para ln e
hn como segue.

   
180 ln 180
sin = = ln = 2r sin , (4.2)
2n 2r 2n

   
180 hn 180
cos = = hn = r cos , (4.3)
2n r 2n

temos ento que a rea an do polgono Pn dada por

 
1
an = ln hn 2n ,
2

usando (4.2) e (4.3) chegamos em

" #
180


2r sin 2n 180
an = r cos 2n ,
2 2n

o que finalmente nos d

    
2 180 180
an = r sin cos 2n . (4.4)
2n 2n

Utilizando a linguagem de programao C, faremos um algoritmo que aproxime a rea

an do polgono Pn da rea ac do crculo C, mostrando ainda o erro de aproximao de
 = 10k , k N, entre an e ac, ilustrando o rigor do mtodo de exausto de Eudoxo
utilizado na construo de Arquimedes para a rea do crculo. Construiremos o algoritmo
usando uma estrutura de repetio com o auxlio da funo for(), para que seja exibida
uma tabela com as aproximaes da seguinte maneira:

47
1 # include < stdio .h >
2 # include < stdlib .h >
3 # include < math .h >
4 int main ( void ) {
5 int r , n , Lp ;
6 double rad , erro ;
7 double Ap , Ac , seno , cosseno , pi = 3.141592653589793;
8 printf ( " \ n Area do poligono inscrito em um circulo de raio 1. " ) ;
9 printf ( " \ n \ n Lados do poligono dado por 2^ n com 2 <= n <=28. " ) ;
10 printf ( " \ n \ n Erro de aproximacao de 10^( -15) . \ n \ n " ) ;
11 /* resultados impressos em tabela */
12 printf ( " n | Lp | Ap | Ac | erro ( Ac - Ap ) \ n " ) ;
13 printf ( " - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ n " ) ;
14 for ( n =2; n <=28; n = n +1) {
15 /* calculo */
16 r =1;
17 Ac = pi * r * r ;
18 Lp = pow (2 , n ) ;
19 rad = pi / Lp ; /* pi / Lp eh o resultado de --> rad =((180/ Lp ) * pi ) /180 */
20 seno = sin ( rad ) ;
21 cosseno = cos ( rad ) ;
22 Ap = ( pow (r ,2) * seno * cosseno ) * Lp ;
23 erro = Ac - Ap ;
24 printf ( " % 2 d | %9 d | %.15 lf | %.15 lf | %.15 lf \ n " ,n , Lp , Ap , Ac , erro ) ;
25 printf ( " - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ n " ) ;
26 } /* fim do laco for */
27 system ( " pause " ) ;
28 return 0;
29 }

O algoritmo acima nos dar a seguinte sada:

48
49
 Explicando o algoritmo temos, na declarao de variveis, r que corresponde o raio da
circunferncia, n que corresponde ao nmero de lados ou de tringulos issceles do polgono
dado por 2n . Quanto maior o valor de n inserido, maior o nmero de lados/tringulos.

Na parte que corresponde ao clculo, temos Lp que define o nmero de lados/tringulos

do polgono Pn sendo Lp = 2n . Em seguida temos rad = /Lp que dado a partir da
relao

180
= rad 180 = ,
2n
180
que a transformao do ngulo 2n
em radianos.

Em seguida temos o clculo da rea Ac do crculo C de raio r e o clculo da rea Ap

do polgono Pn dado pela expresso (4.4) que equivalente ao cdigo

1 A_ { p } = ( pow (r ,2) * seno * cosseno ) * L_ { p };

Por fim, temos o erro dado por erro = Ac Ap . Este erro de 10k leva em considerao
as limitaes de processamento e limita k 6 15. Para finalizar o cdigo, temos a exibio
dos resultados que so: o raio e a rea de C, o nmero de lados e a rea de Pn e o erro
de aproximao das reas entre Pn e C. Notemos que as funes printf que nomeiam
superiormente as colunas, bem como a linha que separa esta legenda do resto da tabela,
esto fora do looping dado pelo comando for. Isso ocorre para que no se repita pois
precisamos que a legenda aparea uma nica vez. Ao contrario disso, temos todo o bloco
de instrues e os clculos, assim como o restante das funes printf, todas dentro do
looping para que sejam repetidas 27 (n comea em 2) vezes como mostrado na sada.

Executando o programa para r = 1 e variando n no intervalo 2 6 n 6 28 chegamos

nos resultados aproximados com preciso de 15 casas decimais, como podemos visualizar
melhor na tabela seguinte:

50
 Aproximao da rea de Pn para a rea de C com 15 casas decimais

n lados do polgono rea do polgono (2n ) rea do crculo (r = 1) erro

2 4 2 3,141592653589793 1,141592653589793

3 8 2,828427124746190 3,141592653589793 0,313165528843603

4 16 3,061467458920718 3,141592653589793 0,080125194669075

5 32 3,121445152258052 3,141592653589793 0,020147501331741

6 64 3,136548490545939 3,141592653589793 0,005044163043854

7 128 3,140331156954753 3,141592653589793 0,001261496635040

8 256 3,141277250932772 3,141592653589793 0,000315402657021

9 512 3,141513801144301 3,141592653589793 0,000078852445492

10 1024 3,141572940367091 3,141592653589793 0,000019713222702

11 2048 3,141587725277160 3,141592653589793 0,000004928312634

12 4096 3,141591421511200 3,141592653589793 0,000001232078593

13 8192 3,141592345570118 3,141592653589793 0,000000308019676

14 16384 3,141592576584873 3,141592653589793 0,000000077004921

15 32678 3,141592634338563 3,141592653589793 0,000000019251230

16 65536 3,141592648776986 3,141592653589793 0,000000004812807

17 131072 3,141592652386591 3,141592653589793 0,000000001203202

18 262144 3,141592653288992 3,141592653589793 0,000000000300801

19 524288 3,141592653514593 3,141592653589793 0,000000000075200

20 1048576 3,141592653570993 3,141592653589793 0,000000000018800

21 2097152 3,141592653585093 3,141592653589793 0,000000000004700

22 4194304 3,141592653588618 3,141592653589793 0,000000000001175

23 8388608 3,141592653589500 3,141592653589793 0,000000000000294

24 16777216 3,141592653589720 3,141592653589793 0,000000000000073

25 33554432 3,141592653589775 3,141592653589793 0,000000000000018

26 67108864 3,141592653589788 3,141592653589793 0,000000000000005

27 134217728 3,141592653589792 3,141592653589793 0,000000000000001

28 2684354568 3,141592653589792 3,141592653589793 0,000000000000000

Tabela 4.1: Aproximao da rea de Pn para a rea de C com 15 casas decimais

51
Consideraes finais

Vimos ao longo deste trabalho o quo importante foram os mtodos de Eudoxo para
o desenvolvimento da matemtica. Alm disso, o mtodo de exausto mostrou-se de
fundamental importncia para que fosse possvel determinar reas de figuras irregulares,
nos dando a noo de aproximao ao invs da busca pela exatido.

Para os pensadores antigos como Arquimedes, a busca de uma aproximao para a

rea do crculo atravs de polgonos, com um erro to pequeno quanto se queira, fez surgir
o princpio da exigncia por maior rigidez ao se provar teoremas e mtodos, o que fez com
que o pensamento matemtico voltasse a se reestruturar e um novo comeo para uma
matemtica mais crtica e precisa em suas demonstraes comeou a surgir.

Este trabalho limita-se at os mtodos de Arquimedes, mas outros brilhantes pensadores

como Pierre de Fermat, Isaac Newton, Leibniz, Riemann e outros, tiveram participaes
muito importantes para chegarmos ao clculo integral que temos hoje, todos usando como
princpio, o mtodo de exausto de Eudoxo.

Uma possvel extenso deste trabalho seria mostrar as contribuies de pensadores

alm de Arquimedes para a desenvolvimento do clculo integral, como por exemplo o
mtodo para determinar a rea sob uma curva, de Pierre de Fermat, onde podemos verificar
claramente a aplicao do mtodo de exausto de Eudoxo.

52
Referncias Bibliogrficas

[1] BOYER, Carl, Benjamin. Histria da matemtica. Traduo: Elza F. Gomide. So

Paulo: Edgard Blucher, 1974.

[2] VILA, Geraldo. Eudoxo, Dedekind, nmeros reais e ensino de Matemtica. Revista
do Professor de Matemtica, v. 7, p. 5-10, 1985.

[3] ALVARENGA, Mauro Lopes. O mtodo de exaustao e sua contribui-

ao para o desenvolvimento do conhecimento matemtico. Disponvel em:
<https://www.ucb.br/sites/100/103/TCC/12006/MauroLopesAlvarenga.pdf>.
Acesso em, v. 01, 2016.

[4] Carvalho, Snia Pinto. A rea e o permetro de um crculo. Disponvel em:

<http://www.emis.ams.org/journals/em/docs/coloquios/SE-1.02.pdf> (2011) Acesso
em, v. 02, 2016.

[5] LIMA, E. L.. Medida e forma em Geometria. Rio de Janeiro: IMPA, 1997.

[6] EUCLIDES. Os elementos. So Paulo: Unesp, 2009.

[7] BARBOSA, Joo Lucas Marques. Geometria Euclidiana plana. Coleo do Professor
de Matemtica. Rio de Janeiro: SBM, 1995.

53