A rea e o permetro de um crculo

Snia Pinto de Carvalho

Universidade Federal de Minas Gerais
1
o
Colquio da Regio Sudeste
Abril de 2011
Prefcio
Oestudo do permetro e da rea de umcrculo constitui-se, na vida escolar, no nosso
primeiro encontro de verdade com a ideia de innito. Entretanto, apesar da delicadeza
do problema - ou talvez exatamente por causa dela - o que nos normalmente
apresentado so duas frmulas, 2R e R
2
, sem maiores comentrios. A proposta
deste minicurso ir no sentido contrrio e explorar o forte vnculo existente entre
a estrutura da reta real e a denio e o clculo do permetro e da rea do crculo.
Adotaremos um enfoque predominantemente histrico para enfatizar as diculdades
inerentes ao entendimento desta estrutura e ressaltar as ideias que esto por trs destas
denies.
Este tema j foi trabalhado por mim em uma disciplina optativa Tpicos de
Matemtica: comprimentos, volumes e reas, ofertada por duas vezes para o Curso
de Licenciatura em Matemtica da UFMG. A montagem desta disciplina, e hoje
deste minicurso, resultado de muitos anos de estudo e de ensino, principalmente
das disciplinas Histria das Cincias Exatas, Clculo I, Anlise Real, Iniciao
Matemtica e Matemtica e Escola III, que trata dos conceitos de geometria nos ensinos
fundamental e mdio.
Gostaria de agradecer aos alunos que cursaram estas disciplinas por me ensinarem
muitas coisas e me ajudarem a organizar as ideias.
Gostaria de agradecer tambm aos professores Armando Neves, Bernardo Borges
de Lima e Fbio Brochero que, ao longo dos dois semestres onde a disciplina foi
ofertada, trouxeram novas ideias e discusses sobre , rea e comprimento do crculo.
Finalmente, meus agradecimentos aos professores Gabriel Franco, que teve a
pacincia de fazer quase todas as guras que acompanham este texto, e Rodrigo
Simes que transformou a penltima verso deste texto em outro muito melhor.
iii
Sumrio
Prefcio iii
1 O aparecimento dos irracionais 1
2 Quantos pontos h num segmento de reta? 7
3 O Mtodo de Exausto 11
4 A rea de um crculo 15
4.1 A constante universal dos crculos . . . . . . . . . . . . . . . . . . . . . . 15
4.2 Polgonos circunscritos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5 O permetro de um crculo 21
6 Que polgonos podemos usar? 25
6.1 O caso da rea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
6.2 O caso do permetro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
6.3 Nem tudo que reluz ouro . . . . . . . . . . . . . . . . . . . . . . . . . . 29
7 rea e permetro do crculo nos livros didticos 31
8 irracional 37
9 Algumas maneiras de estimar 41
9.1 Medindo crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
9.2 Jogando dardos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
9.3 Aproximando por polgonos . . . . . . . . . . . . . . . . . . . . . . . . . . 45
9.4 Usando funes trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . 46
9.5 Usando sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
9.6 Ainda hoje... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Referncias Bibliogrcas 51
v
Captulo 1
O aparecimento dos irracionais
Tales, Anaximandro, Anaxmenes e Herclito so os representantes mais ilustres
da Escola Jnica, escola losca assim chamada por sua localizao na Jnia, uma
colnia grega na sia Menor.
Numa perspectiva geral, as ideias desenvolvidas pela escola jnica permitiram
a passagem das explicaes mticas, dadas pelas culturas egpcia e babilnica,
para novas explicaes de origem e funcionamento do Universo que dispensavam
a interveno ou planicao dos deuses"[2]. Com esta passagem acontece
simultaneamente (e necessariamente?) o nascimento do esprito matemtico, que vai
do sculo VI ao III a.C, sendo Tales de Mileto (625-545 a.C.) seu primeiro artce.
No h nenhuma dvida de que os gregos aprenderam muito com os egpcios
e os babilnicos. Sabe-se que Tales andou pelo Egito e pela Babilnia, por razes
comerciais, e aprendeu muita geometria e astronomia nestas viagens. Contudo a
geometria que os gregos fazem tem algo de novo em relao s geometrias egpcia
e babilnica. Estas ltimas eram geometrias prticas, empricas, visando o uso e os
clculos necessrios a este uso, como volumes, reas, comprimentos. Os desenhos
so considerados por seu valor esttico e prtico. A planta de uma casa representa
exatamente a casa e o desenho de uma pirmide corresponde pirmide.
J para os gregos, os desenhos so considerados como um conjunto de pontos no
espao, ligados entre si por linhas. Inovadoramente, eles passam a estudar relaes
abstratas entre grandezas de um desenho, j por si abstrato. O raciocnio pode ser
levado sem consideraes numricas. Os relatos que temos de Tales dizem que ele
trabalhou com a igualdade dos ngulos da base de um tringulo issceles, com a
bisseco de um crculo por qualquer dimetro, com a congruncia de tringulos
tendo um lado e dois ngulos adjacentes iguais (o famoso ALA). Podem ser dele
as armaes de que todo ngulo inscrito num semi-crculo reto"ou a soma dos
ngulos internos de um tringulo dois retos".
Tales porm vai ainda mais longe. O raciocnio tpico de babilnicos e egpcios
pode ser descrito da seguinte forma: notamos que algo verdadeiro cada vez
que o observamos. Ento passamos a admitir que ser verdadeiro toda vez que
observarmos." Este tipo de raciocnio chamado de raciocnio indutivo
1
e ns o
usamos muito em diversos ramos do conhecimento.
Tales segue por outro caminho: ele tenta mostrar que armaes pouco evidentes
1
no confundir esta induo (losca) com a induo matemtica.
1
2 Captulo 1: O aparecimento dos irracionais
podem ser deduzidas de outras que todos concordam serem verdades e, assim, as
pouco evidentes tornam-se verdade. Este raciocnio o que se chama de deduo.
Por exemplo, Tales usa este raciocnio dedutivo para convencer os outros gregos,
sempre cticos e incrdulos, de que os ngulos da base de um tringulo issceles so
iguais. A idia : se traarmos a bissetriz do ngulo compreendido entre os dois lados
iguais de um tringulo issceles, obteremos dois tringulos que tm dois lados iguais
e um lado em comum e que os ngulos formados so iguais, pois traamos a bissetriz.
Ora, todos concordam que estes dois novos tringulos so iguais. Assim, os ngulos
da base sero iguais.
Desta maneira, Tales trabalha com uma geometria de linhas e ngulos, abstrata,
sem medidas, tentando provar as armaes com o mtodo da deduo.
Apesar de ter apontado para a possibilidade de deduzir resultados menos bvios
de armaes de mais fcil aceitao, ele no pretendeu derivar todos os teoremas de
umconjunto nico de proposies, como fazemos hoje. Quemvemtentar construir um
sistema coerente no qual todos os teoremas sejam deduzidos de uns poucos axiomas
explicitamente armados so os membros da Escola Pitagrica.
Tales morre entre 550 e 540 a.C. Pitgoras, se existiu mesmo, nasceu entre 580 e
570 a.C. perto de Mileto, na ilha de Samos, indo mais tarde para Crtona, no sul da
Itlia. Em Crtona, fundou uma escola (sociedade, irmandade, seita, comunidade - na
verdade no temos uma palavra boa para descrever o que Pitgoras fundou) fechada,
baseada na propriedade comum, inclusive do conhecimento, na igualdade dos sexos
2
e numa disciplina estrita.
Essa sociedade cientca. Essa irmandade mstica. Nela, a fuso cincia e mito,
razo e f, se d sem problemas.
Eles acreditavam na transmigrao das almas, isto , que as almas se reencarnam
em homens, bichos ou plantas, de acordo com seu grau de evoluo. E que era preciso
se puricar para se chegar perfeio. Para eles, a puricao - catarsis - vem atravs
do conhecimento puro da contemplao passiva. A contemplao priorizada com
relao ao. O mundo sensvel considerado menos verdadeiro do que o mundo
da mente e, para encontrar a verdade, eles se voltam para o mundo ideal contido na
mente.
Qual ser a essncia deste mundo? Eles observam que fenmenos
qualitativamente distintos exibem as mesmas propriedades matemticas "[15],
partindo, supe-se, da descoberta de que a harmonia da msica dada por uma
2
a comunidade pitagrica das poucas da histria onde as mulheres eram aceitas em igualdade com
os homens. Pelo menos 28 mulheres so classicadas entre os pitagricos, sendo a mais famosa Theano,
professora e que escreveu tratados sobre fsica, matemtica e medicina.
3
proporo estabelecida entre o comprimento das cordas. Ento, a essncia do mundo
so nmeros e relaes numricas.
Resumindo, eles estabeleceram dois princpios:
1. A natureza construida de acordo com princpios matemticos;
2. As relaes numricas delineam, unicam e revelam a ordem da natureza, ou
seja, o cosmos (a ordem e a beleza do universo) tem sua origem nos nmeros.
bom ressaltar que hoje ns temos uma abstrao dos nmeros que os primeiros
pitagricos no tinham. Para eles os nmeros eram s os nmeros naturais e eram
os pontos ou partculas que compem a matria, a menor parte possvel de cada coisa.
claro que comuma losoa destas, eles vo estudar matemtica. E o que se espera
que desenvolvam a aritmtica, que a parte da matemtica que estuda os nmeros
inteiros. Mas eles desenvolvemprincipalmente a geometria pois os nmeros, para eles,
traduziam propriedades msticas e propriedades de forma. Por exemplo, 1 a essncia
das coisas, 4 o nmero perfeito, e logo a alma humana, 5 a cor, 6 o frio, 7 a mente, a
sade e a luz, 8 o amor e a amizade.
Os nmeros tambm eram classicados em pares e mpares e tambm em
triangulares, quadrados, etc. 3 triangular, 6 triangular, 9 quadrado, como
representado na gura.
Esta maneira de se servir do espao para representar os nmeros teve grande
utilidade na aritmtica pitagrica. Por exemplo, ao observarmos a gura abaixo
notamos que 1 + 3 = 2
2
, 1 + 3 + 5 = 3
2
, 1 + 3 + 5 + 7 = 4
2
, de onde podemos
inferir que 1 + 3 + 5 + ... + (2n + 1) deve ser igual a (n + 1)
2
para todo valor de n (
para ns hoje a certeza da igualdade s pode ser garantida por uma demonstrao
3
).
1+3= 2
2
1+3+5= 3
2
1+3+5+7= 4
2
Alm desta representao discreta dos nmeros, eles tambm os interpretavam em
termos de grandezas geomtricas: comprimento, permetro, rea, volume. Assim, 3x2
a rea do retngulo de lados 3 e 2 e 3+2 o semi-permetro deste retngulo, ou seja, a
soma dos comprimentos colocando-os lado a lado.
3
A demonstrao de hoje de que 1 + 3 + 5 + ... + (2n + 1) = (n + 1)
2
feita por induo. fcil
provar para n = 1, pois 1 + 3 = 4 = 2
2
. Suponhamos por induo que a frmula seja vlida para
n 1, i.e., 1 + 3 + 5 + ... + (2(n 1) + 1) = 1 + 3 + 5 + ... + (2n 1) = n
2
. Tomando n temos
1 +3 +5 +... + (2n +1) = 1 +3 +5 +... + (2n 1) + (2n +1) = n
2
+ (2n +1) = (n +1)
2
.
4 Captulo 1: O aparecimento dos irracionais
As fraes aparecem com o signicado de razo e proporo entre grandezas.
Por exemplo, dois segmentos de comprimentos a e b tem a razo de 2 para 3 se
2b = b + b tem o mesmo tamanho que 3a = a + a + a. Tambm dizemos que a e b
so comensurveis, na razo de 2 para 3.
A ideia de que o ponto a menor poro da matria, o tamanho a partir do qual
no se pode mais dividir, vai colocar a escola Pitagrica numa posio complicada. Se
os pontos so a menor poro ento um segmento de reta como um colar de contas:
contm um nmero, talvez enorme, mas nito, de pontos enleirados, que compem
o segmento. Chamemos de n este nmero. O comprimento do segmento ter que ser,
ento, um mltiplo de n.
Dados dois segmentos distintos, com n e m pontos, respectivamente, a razo entre
seus comprimentos tem que ser a mesma que entre n e m. Ou seja, dois segmentos
so sempre o que chamamos de comensurveis: m cpias do primeiro tem o mesmo
comprimento que n cpias do segundo.
Veio ento o grande golpe contra a escola pitagrica: aplicando o Teorema de
Pitgoras"
4
ao clculo da diagonal do quadrado de lado comcomprimento 1, chegaram
ao no nmero, ao indizvel, ao incomensurvel, ao irracional

2.
Oraciocnio que zeramfoi: como dois segmentos so sempre comensurveis ento
existem m e n nmeros inteiros tais que m vezes o comprimento da diagonal ser igual
a n vezes o comprimento do lado, ou seja, m

2 = n 1. Podemos supor que n e m

so primos entre si, pois seno dividiramos a igualdade pelo fator comum. Elevando
ao quadrado tem-se que 2m
2
= n
2
e assim n
2
um nmero par.
Por outro lado, se p um nmero mpar, p = 2q + 1 e p
2
= 4q
2
+ 2q + 1 =
2(2q
2
+ q) +1, isto , p
2
tambm mpar. Como n
2
par, n no pode ser mpar, pois se
o fosse, seu quadrado seria mpar. Logo n um nmero par, isto , n = 2j para algum
inteiro j.
Como n par e me n so primos entre si, mtemque ser mpar, pois seno 2 seria um
fator comum. Mas 2m
2
= n
2
= (2j)
2
= 2(2j
2
), ou seja, o quadrado de m par e logo
m no pode ser mpar. Isto diz que h algo de errado no comeo deste raciocnio, ou
seja, no est certo que m

2 = n 1. Logo, os dois segmentos (lado e diagonal) no

so comensurveis (ou, numa linguagem moderna,

2 no uma frao, um nmero

racional).
Os pitagricos se depararam ento com um comprimento, algo desenhvel e
existente, que no estava em proporo com as outras linhas da gura! Isto foi uma
verdadeira paulada na losoa deles.
Os pitagricos conseguiramdar a volta por cima e a escola sobreviveu ao golpe. Ela
possuia a elstica adaptabilidade de todos os sistemas ideolgicos verdadeiramente
grandes"[17]. O grande golpe mesmo foi a dissoluo da Irmandade por volta de 500
a.C. As causas da dissoluo variam de autor para autor. A.Koestler [17] acha que tem
a ver com os princpios igualitrios e a prtica comunista da ordem, a emancipao
das mulheres e a doutrina quase monotesta". J Hull [14] acha que foram o poder e os
objetivos polticos dessa sociedade to bem organizada que assustaram aos governos
das outras cidades.
4
o famoso Teorema de Pitgoras j era conhecido dos egpcios, pelo menos no caso 3,4,5 e dos
babilnicos, que possuam tabelas de nmeros que vericavam a relao dada pelo teorema. Pitgoras
tambm o conhecia, mas no se sabe como o demonstrou.
5
Seja como for, a inuncia da Escola Pitagrica se faz sentir at hoje. Palavras como
losoa e harmonia foram inventadas por eles. O adjetivo racional vem da losoa
pitagrica. E expresses como quadrado de um nmero, cubo de um nmero, nos
levam sua maneira de pensar.
Dentro da cincia e da histria da cincia, vale ressaltar que:
na cincia os pitagricos criaram a possibilidade de lidar com quantidades
fsicas, reduzindo-as a medidas e a nmeros"[2];
na matemtica, estabeleceram o mtodo de prova a partir de postulados, usando
o raciocnio dedutivo;
na losoa, a postura de que a realidade se encontra no mundo da mente vai, um
pouco mais tarde, fazer a cabea de Plato e sobrevive at hoje.
Captulo 2
Quantos pontos h num segmento de
reta?
O problema colocado pela descoberta dos irracionais pelos pitagricos me parece
bem denido por Arnold Reymond [25]:O realismo aritmtico, ingenuamente
proclamado pelos pitagricos, foi derrubado pela descoberta de que, num quadrado, a
diagonal e o lado so incomensurveis. Se o espao nmero ou razo entre nmeros,
esta descoberta desconcertante. Os pitagricos, semdvida, no pretendemavaliar o
nmero de pontos que compem, de fato, um segmento de reta, mas armam que este
nmero existe e que forosamente inteiro, j que o ponto indivisvel. Entre duas
retas de comprimentos diferentes A e B, deve ento existir uma relao A/B na qual A
e B, representando uma soma de pontos, so necessariamente dois nmeros inteiros."
1
No fundo, o que os pitagricos armam que um segmento de reta no pode ser
innitamente divisvel. Ele s pode ser dividido at se chegar em sua parte menor,
indivisvel: o ponto.
O tempo passa, a Irmandade Pitagrica foi destruda, mas continuam existindo
seguidores de suas idias. Atenas torna-se o centro cultural do mundo grego, surgindo
a a Escola dos Sostas, da palavra grega soa que signica sabedoria. Eles do aulas
de retrica, matemtica, losoa e astronomia e so os primeiros a aceitar pagamento
pelas aulas ministradas.
Os principais sostas, do ponto de vista da matemtica, so Hipcrates de Quis
(430 a.C.), que no deve ser confundido com seu homnimo mdico, Antifonte,
contemporneo de Hipcrates, e Hpias de Elis, que nasceu por volta de 460 a.C. Eles
trabalhavam em geometria, com construes com rgua e compasso, essencialmente
em cima de trs problemas:
a trisseco do ngulo, isto , dividir um ngulo dado em 3 partes iguais;
a duplicao do cubo, isto , determinar a aresta de um cubo cujo volume seja o
dobro de um cubo dado;
a quadratura do crculo, isto , determinar o lado do quadrado cuja rea seja a de
um crculo dado.
Apesar dos sostas teremfeito muitas coisas, aqui discutiremos apenas umtrabalho
de Antifonte relacionado com a quadratura do crculo. Ele nos ajudar a compreender
1
em francs no original
7
8 Captulo 2: Quantos pontos h num segmento de reta?
como se colocou, denitivamente, na histria da matemtica a questo de saber a
natureza dos pontos em um segmento de reta.
Achar o lado do quadrado de mesma rea que um crculo apenas uma maneira
grega de dizer que queremos calcular a rea do crculo. Antifonte parece ter
raciocinado da seguinte maneira: sei calcular a rea polgonos regulares, pois sabemos
calcular a rea de tringulos e podemos decompor qualquer polgono em tringulos.
Ento isso que devo usar para tentar quadrar o crculo.
Assim, Antifonte bolou" o seguinte mtodo: tome um crculo e inscreva nele um
quadrado. Sobre cada lado do quadrado, coloque um tringulo issceles cujos vrtices
esto sobre o crculo, obtendo um octgono. Continue o processo sobre os lados do
octgono. E faa sempre do mesmo jeito.
Pensou Antifonte: se um segmento de reta tem um nmero nito de pontos, ento um
crculo tambm ter um nmero nito de pontos. Este nmero de pontos ser ento
o maior nmero de lados que posso ter num polgono inscrito num crculo. Sendo
assim, um crculo um polgono regular com um nmero (grande) de lados e como sei
quadrar qualquer polgono, sei quadrar um crculo!
2
Esta soluo apresentada por Antifonte vai causar muita polmica. Aceit-la
signica aceitar que umarco de crculo coincide comum segmento de reta. No aceit-
la implica assumir a innita divisibilidade de uma linha, pois poderemos sempre
tomar o ponto mdio do arco de crculo e traar um polgono com um nmero maior
de lados.
exatamente em cima desta polmica que Zeno de Elia (450 a.C.), discpulo
de Parmnides, vem defender a posio de seu mestre. Parmnides armava que o
movimento no existe, que seria mera aparncia e Zeno cria seus famosos paradoxos
com o intuito de provar esta armao.
Suponhamos, dizia Zeno, a innita divisibilidade da reta. Para irmos de umponto
a outro temos que passar pelo ponto mdio. Se existem innitos pontos mdios...
nunca chegaremos ao m do segmento (este paradoxo enunciado por Zeno como a
histria de Aquiles e o estdio).
Temos ento que supor que uma reta no pode ser dividida innitamente, se
acreditamos na realidade do movimento.
2
Repare que, para Antifonte, os pontos dos extremos dos lados do polgono (os vrtices) so
diferentes dos pontos que formam o prprio segmento. Isto talvez se deva ao fato da inspirao para a
geometria abstrata dos gregos vir da astronomia - nas constelaes, os vrtices so as estrelas e os lados
so segmentos que imaginamos existir, mas no existem de verdade no cu. Logo, os vrtices e os lados
so de natureza distinta.
9
Tomemos, pois, uma echa em movimento durante um certo intervalo de tempo
T. J que o movimento existe, este intervalo de tempo T s ter um nmero nito
de instantes. Em cada instante, a echa estar parada, como numa fotograa. Como
uma coleo nita de echas paradas no pode estar em movimento conclumos que o
movimento no existe! Ele s uma iluso dos nossos sentidos.
3
.
Zeno criou um problema srio para a matemtica, que s ser resolvido muito
mais tarde, no sculo XIX: a questo do contnuo (um segmento de reta tem que ser
algo contnuo, no pode ser um ponto e depois outro ponto e assim por diante), ligada
questo do innito.
Uma primeira resposta foi dada por Eudoxo (408-355 a.C.), que supe a innita
divisibilidade da reta e cria o Mtodo de Exausto" para calcular a rea do crculo.
Ele usa a mesma idia de Antifonte s que, ao supor que o segmento de reta pode ser
dividido innitamente, arma que os polgonos se aproximam do crculo mas nunca
coincidem com ele. Isto implica que no se pode calcular a rea do crculo com um
nmero nito de clculos. Eudoxo cria seu mtodo para dar conta deste problema,
como veremos no prximo captulo.
Como arma C.H.Edwards Jr., em [10] :A chave do sucesso de Eudoxo (como
acontece quase sempre na matemtica) foi a boa formulao de uma denio de
proporcionalidade entre razes de grandezas geomtricas".
3
Se pensarmos como funciona o cinema em pelcula de celulide entenderemos melhor o que dizia
Zeno: em cada instante, temos uma fotograa e tudo est parado. Mas ao passar as fotograas pela
mquina de projeo, temos a impresso de que as coisas se movem.
Captulo 3
O Mtodo de Exausto
Neste captulo apresentamos a brilhante soluo de Eudoxo para o problema de se
calcular a rea de um crculo. A principal fonte usada o livro de C.H.Edwards [10].
Usaremos nossas notao e linguagem modernas.
Eudoxo comea propondo a seguinte denio de grandezas proporcionais:
Denio 3.1 Sejam dadas quatro grandezas a, b, c e d e suas razes
a
b
e
c
d
.
Temos que
a
b
=
c
d
se, para toda frao
m
n
, acontece um dos seguintes casos:
ou
m
n
<
a
b
e
m
n
<
c
d
, isto , ou a frao menor que ambas;
ou
m
n
=
a
b
e
m
n
=
c
d
isto , ou a frao igual a ambas;
ou
m
n
>
a
b
e
m
n
>
c
d
isto , ou a frao maior que ambas.
Ou seja, se
a
b
=
c
d
no podemos ter uma frao que separe
a
b
de
c
d
, que esteja entre
as duas.
A ideia intuitiva que parece estar por trs desta denio : tome um nmero real
a. As fraes
m
n
se dividem em trs grupos: as que so menores, as que so iguais e as
maiores que a:
L
a
=
m
n
< a, I
a
=
m
n
= a, U
a
=
m
n
> a.
Esta maneira de ver os nmeros reais vai inspirar a denio de nmero real dada por
Dedekind (1831-1916), os chamados cortes de Dedekind
1
.
Usando esta ideia e o fato de que o conjunto dos naturais no limitado
superiormente, podemos concluir dois resultados:
Teorema 3.2 Dado um nmero real a > 0 existe um inteiro n
0
> 0 tal que
1
n
0
< a.
Demonstrao: A prova deste resultado simples, pois dado a existem trs opes
para uma frao
1
n
. Podemos ter
1
n
< a e ento achamos o resultado. Podemos ter
1
n
= a e assim
1
n+1
< a e achamos o que queramos.
1
Uma boa referncia para ver como isto feito o livro do Spivak [28].
11
12 Captulo 3: O Mtodo de Exausto
Suponhamos ento, por absurdo, que estes dois casos no possam acontecer. Ento
1
n
> a para todo nmero inteiro positivo n. Teremos que n <
1
a
, n > 0 ou seja, o
conjunto dos naturais limitado, o que absurdo.
Logo, existe n
0
tal que
1
n
0
< a. 2
O prximo resultado conhecido como o Princpio de Arquimedes e ser
fundamental no raciocnio de Eudoxo para achar a rea do crculo:
Teorema 3.3 Dados dois nmeros reais positivos a e b existe um nmero inteiro positivo n tal
que na > b.
Demonstrao: Para prov-lo basta aplicar o teorema 3.2 ao nmero
a
b
. 2
Para calcular reas os gregos partem de dois princpios, onde a(S) signica a rea
de uma gura S:
1. se a gura S est contida numa gura T ento a(S) a(T).
2. se a gura R a unio das guras S e T, sem superposio de reas, ento
a(R) = a(S) + a(T).
Se S no um polgono, aplicam a ideia de Antifonte de tomar uma sequncia de
polgonos P
1
, P
2
, P
3
, ... que preenchem ou exaurem S.
No fundo, esto quase que tomando lim
n
a(P
n
) para obter a rea a(S). Mas gregos
no tomam limites. Muito ao contrrio, eles tm uma certa averso ao innito. No
conseguem montar uma estrutura lgica que d conta desta questo.
Ser preciso ento calcular" o limite com um nmero nito de passos. com esta
perspectiva que Eudoxo inventa o Mtodo da Exausto", que se encontra no livro X
dos Elementos de Euclides [13]:
Duas grandezas desiguais sendo dadas, se da maior for tirada uma grandeza maior do que
sua metade e este processo for repetido continuadamente, sobrar uma grandeza menor do que
a menor grandeza dada.
Traduzindo em matematiqus" moderno:
Teorema 3.4 Sejam M
0
e duas grandezas, com M
0
> . Tomamos M
1
= M
0
x, onde
x >
1
2
M
0
, ou seja, M
1
<
1
2
M
0
. Depois tomamos M
2
= M
1
y, onde y >
1
2
M
1
, ou seja,
M
2
<
1
2
M
1
. E assim sucessivamente de modo a termos uma sequncia M
0
, M
1
, M
2
, ..., onde
M
1
<
1
2
M
0
, M
2
<
1
2
M
1
, etc. Ento existe um N tal que M
N
< .
Demonstrao: A prova deste resultado depende do Princpio de Arquimedes. Como
M
0
> , existe N inteiro positivo tal que (N + 1) > M
0
. claro que N + 1 2 e
segue-se que
1
2
(N +1) .
Temos ento que (N +1) = N + > M
0
ou seja
N > M
0
M
0

1
2
(N +1) > M
0

1
2
M
0
=
1
2
M
0
> M
1
,
13
ou seja, (N + 1) > M
0
implica que N > M
1
. Continuando o raciocnio, vemos
que N > M
1
implica que (N 1) = N M
1

1
2
M
1
> M
2
, e assim
sucessivamente at chegarmos em > M
N
. 2
Eudoxo assume que um segmento de reta pode ser innitamente dividido. Logo
um crculo no um polgono de muitos lados. O mtodo de exausto ento usado
para mostrar o seguinte resultado:
Teorema 3.5 Dado um crculo C e um erro , existe um polgono regular P, inscrito em C tal
que a(C) a(P) < .
Demonstrao: Comecemos com um quadrado P
0
= EFGH e tomemos a grandeza
M
0
= a(C) a(P
0
). Tomemos agora P
1
o octgno construdo sobre os pontos mdios e
M
1
= a(C) a(P
1
) e assim sucessivamente, obtendo as sequncias P
0
, P
1
, P
2
, ..., P
n
, ...,
onde P
n
tem 2
n+2
lados e M
n
= a(C) a(P
n
).
Precisamos mostrar que M
n
M
n+1
>
1
2
M
n
e logo M
n+1
<
1
2
M
n
, de modo que,
pelo mtodo da exausto, existe N tal que a(C) a(P
N
) < .
K
E
E
F
F
H
G
Anotando por

EKF a rea entre a corda EKF e o crculo temos
M
0
M
1
= a(C) a(P
0
) a(C) + a(P
1
) = a(P
1
) a(P
0
)
= 4a(EFK) = 2a(EE
/
FF
/
) > 2a(

EKF)
2a(

EKF) =
1
2
4a(

EKF) =
1
2
(a(C) a(P
0
)) =
1
2
M
0
Logo
M
0
M
1
>
1
2
M
0
.
O mesmo raciocnio mostra que
M
n
M
n+1
= a(P
n+1
) a(P
n
) >
1
2
(a(C) a(P
n
)) =
1
2
M
n
e concluimos que existe N tal que a(C) a(P
N
) < . 2
Usando o mtodo de exausto, os gregos vo determinar a rea do crculo. No livro
XII dos Elementos de Euclides [13] encontramos o seguinte teorema:
14 Captulo 3: O Mtodo de Exausto
Teorema 3.6 Dados dois crculos C
1
e C
2
de raios r
1
e r
2
ento a razo entre suas reas a
mesma que a razo entre as reas dos quadrados de lados r
1
e r
2
, ou seja
a(C
1
)
a(C
2
)
=
r
2
1
r
2
2
. (1)
Demonstrao: Para as quatro grandezas a(C
1
), a(C
2
), r
1
e r
2
temos 3 opes:
ou
a(C
1
)
a(C
2
)
=
r
2
1
r
2
2
ou
a(C
1
)
a(C
2
)
>
r
2
1
r
2
2
ou
a(C
1
)
a(C
2
)
<
r
2
1
r
2
2
.
Se provarmos que as duas ltimas no valem, o teorema estar provado (este um
tpico modo de demonstrao dos gregos, chamado de dupla reduo ao absurdo).
Suponhamos primeiro que
a(C
1
)
a(C
2
)
<
r
2
1
r
2
2
ou a(C
2
) >
a(C
1
)r
2
2
r
2
1
= S
e seja = a(C
2
) S > 0. Pelo resultado anterior, existe umpolgono regular P
2
inscrito
em C
2
tal que a(C
2
) a(P
2
) < = a(C
2
) S. Logo, a(P
2
) > S.
Seja P
1
um polgono regular, inscrito em C
1
e semelhante a P
2
. No difcil mostrar
que
a(P
1
)
a(P
2
)
=
r
2
1
r
2
2
=
a(C
1
)
S
.
Segue-se que
S
a(P
2
)
=
a(C
1
)
a(P
1
)
> 1.
Logo, a(P
2
) < S, o que um absurdo. Assim, a hiptese de que
a(C
1
)
a(C
2
)
<
r
2
1
r
2
2
falsa.
Invertendo os papis dos dois crculos, vemos que a outra desigualdade tambm
falsa e obtemos
a(C
1
)
a(C
2
)
=
r
2
1
r
2
2
como desejado. 2
Repare que os gregos no acham uma frmula para o clculo da rea do crculo.
Eles no fazem o que ns fazemos, que reescrever a equao (1) como:
a(C
1
)
r
2
1
=
a(C
2
)
r
2
2
e chamar de o valor comum da razo entre a rea e o quadrado do raio de um crculo
qualquer. Os gregos no podiam faz-lo porque (1) uma proporo entre reas e no
uma igualdade numrica.
Captulo 4
A rea de um crculo
4.1 A constante universal dos crculos
Neste captulo vamos provar de novo, mas agora usando ideas e conceitos mais
novos, o resultado de Eudoxo e Euclides de que, dados dois crculos C
1
e C
2
de raios
r
1
e r
2
, a razo entre suas reas a mesma que a razo entre as reas dos quadrados de
lados r
1
e r
2
, ou seja, que
a(C
1
)
a(C
2
)
=
r
2
1
r
2
2
.
Vamos usar a proposta de Antifonte, isto , ir tomando polgonos com cada vez
mais lados, de maneira a estar cada vez mais perto da rea do crculo.
Dado um crculo C de raio R, comeamos o processo construindo um quadrado
inscrito. Tomando o ponto mdio de cada arco ligando dois vrtices construmos
um octgono inscrito e assim sucessivamente vamos construindo polgonos regulares
inscritos p
n
com 2
n
lados, n 2. Temos que p
2
o quadrado inscrito, p
3
o octgono,
p
4
o polgono regular inscrito com 2
4
= 16 lados (um hexadecgono) e assim por
diante.
Seja a
n
a rea de p
n
. Por construo temos que
0 < a
2
< a
3
< a
4
< . . . < a
n
< a
n+1
< . . . (1)
A rea a(C) do crculo denida como sendo o lim
n
a
n
se este limite existir, ou seja, se
este processo innito nos fornecer um nmero.
15
16 Captulo 4: A rea de um crculo
Ora, a sequncia a
2
, a
3
, a
4
, . . . , a
n
, . . . crescente , como mostra a relao (1), e
s tem duas opes: ou cresce, cresce, cresce, sem parar, ou, ao aumentarmos o n,
chegamos cada vez mais perto de um nmero, o que garantir que o limite existe.
Tomemos ento o quadrado P
2
circunscrito ao crculo. Temos que sua rea, (2R)
2
,
maior do que a rea de qualquer polgono inscrito. Logo
0 < a
2
< a
3
< a
4
< . . . < a
n
< a
n+1
< . . . < 4R
2
e a sequncia a
n
no pode crescer indenidamente. Logo lim
n
a
n
existe e a(C) um
nmero bem denido, vericando a(C) 4R
2
.
Para calcularmos este limite, observemos que o polgono regular inscrito p
n
tem 2
n
lados e logo a unio de 2
n
tringulos issceles idnticos. Chamemos o comprimento
do lado de l
n
e de h
n
a altura relativa ao lado. Como o ngulo do vrtice oposto ao
lado do polgono vale
360
2
n
e usando as denies de seno (cateto oposto/hipotenusa)
e cosseno (cateto adjacente/hipotenusa) obtemos
l
n
= 2Rsen
_
180
2
n
_
e h
n
= Rcos
_
180
2
n
_
.
Assim
a
n
= 2
n
_
1
2
l
n
h
n
_
= 2
n
R
2
sen
_
180
2
n
_
cos
_
180
2
n
_
,
a rea do crculo
a(C) = lim
n
_
2
n
R
2
sen
_
180
2
n
_
cos
_
180
2
n
__
e como
lim
n
cos
_
180
2
n
_
= cos
_
lim
n
_
180
2
n
__
= 1
temos que
a(C) = R
2
lim
n
_
2
n
sen
_
180
2
n
__
. (2)
Se um crculo C
1
tem raio R
1
ento a
n
= 2
n
R
2
1
sen
_
180
2
n
_
cos
_
180
2
n
_
e sua rea
a(C
1
) = R
2
1
lim
n
_
2
n
sen
_
180
2
n
__
.
4.2: Polgonos circunscritos 17
Para um crculo C
2
de raio R
2
, a rea a(C
2
) = R
2
2
lim
n
_
2
n
sen
_
180
2
n
__
.
Logo
a(C
1
)
R
2
1
= lim
n
2
n
sen
180
2
n
=
a(C
2
)
R
2
2
,
ou seja,
a(C)
R
2
d sempre o mesmo nmero, qualquer que seja o crculo.
Esta constante universal dos crculos, o nmero lim
n
_
2
n
sen
_
180
2
n
__
=
a(C)
R
2

o que convencionamos chamar de . Usando esta conveno, obtemos a tradicional
frmula
a(C) = R
2
.
4.2 Polgonos circunscritos
E se , em vez de tomarmos os polgonos inscritos, tivssemos pego polgonos
regulares circunscritos com 2
n
lados?
Como no caso dos polgonos inscritos, comeamos tomando umquadrado circunscrito
P
2
e recortamos de maneira a obter primeiro um octgono P
3
e assim por diante,
construindo polgonos regulares circunscritos P
n
com 2
n
lados.
Chamando de A
n
a rea de P
n
teremos, por construo, que
2R
2
= a
4
< . . . < A
n+1
< A
n
< . . . < A
4
< A
3
< A
2
= 4R
2
onde a
4
= 4R
2
a rea do quadrado inscrito no crculo. De maneira anloga ao caso
anterior, como a sequncia A
n
no pode decrescer indenidamente, lim
n
A
n
= A
existe e intuitivamente achamos que este limite tambm deveria ser a rea do crculo.
Para provar que realmente o devemos mostrar que lim
n
A
n
= lim
n
a
n
.
Sejam ento p
n
e P
n
os polgonos inscrito e circunscrito, respectivamente, com
2
n
lados. Cada um deles composto por 2
n
tringulos issceles, com alturas h
n
=
Rcos
180
2
n
(para o inscrito) e H
n
= R (para o circunscrito).
18 Captulo 4: A rea de um crculo
Como estes tringulos so semelhantes, teremos que a
n
e A
n
vericam
a
n
A
n
=
_
h
n
H
n
_
2
= cos
2
180
2
n
.
Logo,
lim
n
(A
n
a
n
) = lim
n
(A
n
A
n
cos
2
180
2
n
) = lim
n
A
n
(1 cos
2
180
2
n
) = 0
pois A
n
4R
2
e lim
n
cos
180
2
n
= 1.
E assim, lim
n
A
n
= lim
n
a
n
e a rea do crculo pode ser denida tomando-se
polgonos regulares de 2
n
lados, tanto inscritos quanto circunscritos.
Vamos terminar este captulo fazendo uma conta engraada. Pelo visto acima,
sabemos que a(C) = lim
n
A
n
4R
2
. Logo, usando a equao (2), temos que
lim
n
2
n
sen
180
2
n
=
a(C)
R
2
4.
Chamando
180
2
n
de x e lembrando que lim
x0
sen x
x
= 1 obtemos
180 = 180 lim
x0
sen x
x
= lim
n
2
n
sen
180
2
n
4, (3)
e como chamamos de o lim
n
2
n
sen
180
2
n
provamos que
= 180 4.
O que zemos de errado? O erro est em supor que lim
x0
sen x
x
= 1 qualquer que seja
a maneira como medimos o ngulo x. Este limite s vale 1 se o ngulo x estiver sendo
medido em radianos e nossos ngulos foram medidos em graus. Se um ngulo est
em graus, o que temos que fazer lembrar que sua medida y em radianos verica
y =
180

e que, mesmo tendo medidas diferentes, denem um mesmo ngulo e logo

o valor do seno o mesmo para os dois, ou seja, sen y = sen . Teremos ento que
sen y
y
=
sen
180

=

180
sen

4.2: Polgonos circunscritos 19

e
1 = lim
y0
sen y
y
= lim
0

180
sen

=

180
lim
0
sen

e logo lim
0
sen

=

180
quando o ngulo for medido em graus. A equao (3) se
escreve ento
lim
n
2
n
sen
180
2
n
= 180 lim
x0
sen x
x
= 180

180
= 4.
Captulo 5
O permetro de um crculo
Neste captulo vamos calcular o permetro de um crculo de raio R usando as
mesmas tcnicas do captulo anterior, ou seja, vamos aproximar o crculo por polgonos
regulares inscritos, com 2
n
lados, comeando pelo quadrado, passando ao octgono e
assim sucessivamente.
Sejam p
n
o polgono com 2
n
lados, l
n
o comprimento de cada um de seus lados e
c
n
= 2
n
l
n
seu permetro.
Para passarmos de p
n
a p
n+1
, tomamos como novos vrtices os pontos mdios de
cada arco de crculo que une dois vrtices consecutivos de p
n
.
Sabemos, da geometria elementar, que qualquer lado de um tringulo menor que
a soma dos outros dois. Temos ento que c
2
, o permetro do quadrado, maior que o
dimetro 2R.
Podemos concluir tambm que, qualquer que seja n 2, l
n
< 2l
n+1
e logo
c
n
= 2
n
l
n
< 2
n
2l
n+1
= 2
n+1
l
n+1
= c
n+1
.
21
22 Captulo 5: O permetro de um crculo
Temos ento que
2R < c
2
< c
3
< ... < c
n
< c
n+1
< ...,
ou seja, a sequncia c
n
positiva e estritamente crescente.
Tomemos agora P
n
, o polgono regular circunscrito com 2
n
lados. Seja L
n
o
comprimento do lado e seu permetro C
n
= 2
n
L
n
. Como L
n
> l
n
segue imediatamente
que C
n
> c
n
.
Por outro lado, para passarmos de P
n
a P
n+1
tomamos os segmentos que
tangenciam os pontos mdios de cada arco de crculo que une dois vrtices de P
n
,
como na gura, ao passar de P
2
a P
3
.
Mais uma vez, como qualquer lado de um tringulo menor que a soma dos outros
dois, teremos que
C
n+1
< C
n
< ... < C
2
e logo
c
n
< C
n
C
2
= 8R.
Assim
2R < c
2
< c
3
< ... < c
n
< c
n+1
< ... < 8R
o que nos garante que lim
n
c
n
existe e podemos denir o permetro de um crculo como
l(C) = lim
n
c
n
.
Se um crculo tem raio R
1
ento l
n
= 2R
1
sen
180
2
n
, c
n
= 2
n
2R
1
sen
180
2
n
e seu
permetro ser
l(C
1
) = 2R
1
lim
n
2
n
sen
180
2
n
.
23
Para um crculo de raio R
2
, o mesmo raciocnio nos d o permetro
l(C
2
) = 2R
2
lim
n
2
n
sen
180
2
n
.
Logo
l(C
1
)
2R
1
= lim
n
2
n
sen
180
2
n
=
l(C
2
)
2R
2
,
ou seja,
l(C)
2R
d sempre o mesmo nmero, qualquer que seja o crculo.
A notao para esta constante lim
n
2
n
sen
180
2
n
tambm a letra grega e temos a
frmula
l(C) = 2R.
No clculo da rea havamos obtido que
a(C)
R
2
= lim
n
2
n
sen
180
2
n
= , ou seja,
a constante obtida para a rea a mesma obtida para o permetro, ou, em outras
palavras, o da rea o mesmo do permetro.
O uso da letra grega para representar esta constante foi inicialmente proposto
pelo matemtico gals William Jones (1675-1749). A razo desta escolha ca bvia se
observarmos a histria: o famoso matemtico e cientista grego Arquimedes, no seu
tratado Da Medida do Crculo, designa o comprimento da circunferncia pela palavra
grega o (permetro). Em 1647, o matemtico ingls William Oughtred, e
depois outro matemtico tambmingls, Isaac Barrow, professor de Newton, abreviam
para o permetro de um crculo de raio R.
Em 1706, William Jones publica A New Introduction to Mathematics e usa a letra
no mais para designar o permetro de um crculo, mas para designar a razo entre
este e seu dimetro, como fazemos hoje.
Mas nemtodo mundo usava a mesma notao. Por exemplo, na mesma poca, Jean
Bernoulli usa a letra c para designar a mesma razo. Em 1737, Leonhard Euler retoma
o smbolo na sua obra sobre sries innitas Variae observationes circa series innitas.
A notoriedade de Euler e de suas obras impor denitivamente a notao para esta
constante.
Mas voltemos aos polgonos regulares circunscritos com 2
n
lados. J vimos que
0 < ... < C
n+1
< C
n
< ... < C
2
e logo a sequncia C
n
decrescente e limitada por
baixo. Pelo mesmo raciocnio anterior temos que lim
n
C
n
existe e podemos denir o
permetro do crculo por este limite. Chamemos de D este limite. Ser que este limite
D tambm mede o permetro do crculo, isto , D = l(C) = lim
n
c
n
?
Sabemos que l
n
= 2Rsen
180
2
n
e L
n
= 2Rtg
180
2
n
. Logo l
n
= L
n
cos
180
2
n
e c
n
=
C
n
cos
180
2
n
. Temos ento que C
n
c
n
= C
n
(1 cos
180
2
n
). Mas lim
n
C
n
= D e
lim
n
cos
180
2
n
= 1. Logo lim
n
(C
n
c
n
) = 0 e l(C) = D e o permetro de um crculo
pode ser denido tomando-se polgonos regulares de 2
n
lados, tanto inscritos quanto
circunscritos.
Captulo 6
Que polgonos podemos usar?
6.1 O caso da rea
No captulo 4 denimos e calculamos a rea do crculo usando polgonos regulares
com 2
n
lados. Se tivssemos pego outros polgonos, por exemplo polgonos inscritos
regulares mas com 3
m
lados, teramos obtido o mesmo resultado? Ou se fossem
inscritos mas no regulares? Ou uns inscritos e outros circunscritos?
Vamos aproveitar o que j sabemos para tentar responder a estas questes.
Comecemos com o seguinte resultado:
Lema 6.1 Seja R
n
uma sequncia de raios, com lim
n
R
n
= R. Ento a sequncia das reas
dos crculos com raio R
n
converge para a rea do crculo de raio R.
Demonstrao: A rea do crculo de raio R
n
a(C
n
) = R
2
n
. Tomando o limite temos
que
lim
n
a(C
n
) = lim
n
R
2
n
= lim
n
R
2
n
= ( lim
n
R
n
)
2
= R
2
,
que a rea a(C) do crculo de raio R. 2
Se pegarmos uma sequncia R
n
crescente, R
1
< R
2
< R
3
< . . ., com limite R, e
todos os crculos C
n
e C com o mesmo centro, teremos uma gura como a abaixo, onde
a sequncia de crculos C
n
se aproxima de C, vindo por dentro de C.
Poderamos tambm pegar crculos se aproximando por fora, tomando uma sequncia
R
n
decrescente e com limite R, e todos os crculos centrados todos no mesmo ponto. O
25
26 Captulo 6: Que polgonos podemos usar?
lema continuar vlido mesmo se tomarmos sequncias mais complicadas, alternando,
por exemplo, crculos se aproximando por dentro comoutros se aproximando por fora.
Isto posto, tomemos umpolgono regular inscrito p
n
com n lados e rea a
n
. Aecha
relativa a cada lado mede h
n
= Rcos
180
n
e logo podemos inscrever em p
n
um crculo
de raio R
n
= Rcos
180
n
.
Observemos que
lim
n
R
n
= lim
n
Rcos
180
n
= R lim
n
cos
180
n
= Rcos lim
n
180
n
= R
e como p
n
est compreendido entre o crculo de raio R
n
e o de raio R, sua rea a
n
satisfaz
R
2
n
< a
n
< R
2
.
Logo, tomando o limite, temos
R
2
= lim
n
R
2
n
lim
n
a
n
R
2
ou seja lim
n
a
n
= R
2
= a(C).
Concluso: obtemos a rea do crculo aproximando-o por polgonos regulares inscritos com um
nmero cada vez maior de lados, mas no precisando ser necessariamente potncias de 2, como
zemos no captulo 4.
Tomemos agora um polgono inscrito p
n
, com n lados e rea a
n
, mas que pode ser
regular ou no. A echa relativa a cada lado vai variar mas podemos escolher a menor
delas para ser o raio R
n
de um crculo que no ser mais inscrito em p
n
, mas estar
contido no polgono.
6.2: O caso do permetro 27
E, como antes, teremos R
2
n
< a
n
< R
2
. Se, para a sequncia de polgonos escolhida
tivermos que a sequncia das menores echas tende a R, o mesmo raciocnio que
zemos anteriormente valer e logo obteremos a rea do crculo como limite de reas
dos polgonos.
fcil ver que para que lim
n
R
n
= R preciso que o nmero de lados cresa. Mas
podemos ter polgonos com cada vez mais lados sem que esse limite seja vericado,
ou seja, sem que a rea dos polgonos preencha (exaura) a rea do crculo, como pode
ser visto no desenho abaixo, onde mantemos um lado xo e vamos subdividindo os
outros.
. . . . . .
Se em vez de polgonos inscritos, tivssemos pego circunscritos, faramos o mesmo
raciocnio, mas tomando crculos contendo os polgonos e cujos raios tendam ao raio
R do crculo inicial.
Podemos tambm pegar polgonos diferentes, como na gura abaixo, desde que ao
longo do processo a rea dos polgonos v tendendo para a rea do crculo, ou, usando
as ideias de Eudoxo no Mtodo de Exausto, desde que o que exceda ou o que falte v
cando cada vez menor e tendendo a zero.
. . . . . .
6.2 O caso do permetro
No captulo 5 denimos e calculamos o permetro l(C) de um crculo C de raio R
mostrando que, se c
2
n o permetro do polgono regular inscrito com 2
n
lados ento
lim
n
c
2
n = l(C).
O resultado ser o mesmo se tomarmos polgonos regulares inscritos com m lados,
no necessariamente potncias de 2. Para prov-lo, precisaremos de alguns outros
fatos.
Primeiramente, dado m 4, seja l
m
o comprimento do lado do polgono regular
inscrito de m lados, chamado de p
m
. Como vimos, l
m
= 2Rsen
180
m
e logo, se m
1
< m
2
ento l
m
1
< l
m
2
. Chamando por c
m
o permetro de p
m
temos que se m
1
< m
2
ento
c
m
1
= m
1
l
m
1
< m
2
l
m
2
< c
m
2
.
28 Captulo 6: Que polgonos podemos usar?
Temos tambmque c
m
< 8R, o permetro do quadrado circunscrito, para todo valor
de m > 4.
Dado um nmero inteiro m > 4, se n a parte inteira do nmero log
2
m ento n o
maior inteiro positivo tal que 2
n
m. Segue ento que l
2
n l
m
e c
2
n c
m
< 8R. Logo
l(C) = lim
n
c
2
n lim
m
c
m
= D < 8R.
Para provar que D = l(C) tomemos a sequncia P
m
dos polgonos regulares
circunscritos a C, com lado L
m
e permetro C
m
. Usando as mesmas ideias do captulo 5
e analogamente ao pargrafo anterior, podemos mostrar que c
2
n c
m
< C
m
C
2
n+1 e
l(C) = lim
n
c
2
n lim
m
c
m
= lim
m
C
m
lim
n
C
2
n+1 = l(C)
ou seja o permetro pode ser denido e calculado usando-se qualquer sequncia de polgonos
regulares, inscritos ou circunscritos, cujo nmero de lados cresa indenidamente com n.
Mas se quisermos usar outro tipo de polgonos, a coisa muda de gura. Retomemos
o ltimo exemplo da seo anterior: temos umsequncia de polgonos que se aproxima
do crculo, mas no so nem inscritos nem circuncritos.
. . . . . .
Cada um dos polgonos, independentemente do nmero n de lados, tem sempre
permetro c
n
= 8R. Assim, apesar da sequncia de polgonos se aproximar cada vez
mais do crculo, o lim
n
c
n
= 8R ,= l(C).
Como diz G. de la Roque Palis, [7], a frase:
Se uma sequncia de curvas C
n
se aproxima de uma curva C ento o limite
das medidas dos permetros das C
n
o permetro da curva limite C.
pode parecer evidente, mas cuidado pois nesta generalidade, ela falsa, como mostra
o exemplo acima.
Para o clculo do permetro no basta que a sequncia de polgonos aproxime o
crculo, como no caso do clculo da rea. Precisamos de condies muito mais fortes.
Em geral o que se pede o que vemos no Clculo quando calculamos comprimentos
de curvas fechadas usando a integral:
cada polgono p
n
seja inscrito em C, isto , que tenha todos os seus vrtices no
crculo;
o nmero de lados (ou de vrtices) cresa indenidamente com n;
o comprimento dos lados tenda a zero, quando n tende a innito.
Para qualquer sequncia de polgonos p
n
satisfazendo a estas 3 condies teremos que
l(C) = lim
n
c
n
, onde c
n
o permetro de p
n
.
6.3: Nem tudo que reluz ouro 29
6.3 Nem tudo que reluz ouro
Podemos ento denir e calcular o permetro de um crculo tomando sequncias de
polgonos inscritos vericando as condies da seo anteiror. Vamos agora examinar
mais um exemplo mostrando quo complicada (ou divertida) pode ser esta questo
de sequncias de polgonos convergindo para uma curva, no caso de polgonos
circunscritos.
Imagine que temos um pedao de papel quadrado, uma tesoura e que queiramos
recortar umcrculo. Oque primeiro nos vem cabea tentar construir uma sequncia
de polgonos circunscritos, comeando como quadrado que temos emmo, recortando
os cantos de modo a ir formando polgonos comcada vez mais lados. Acreditamos que,
depois de vrios recortes, obteremos um polgono com tantos lados que visualmente
no o diferenciaremos de um crculo.
Ora, o matemtico suio G. de Rham (1903-1990) estudou este tipo de processo,
construindo polgonos a partir de polgonos por recortes dos cantos e se perguntou
que curva ele obteria se executasse este processo indenidamente.
Partindo de umpolgono qualquer, ele bolou, entre outros, o seguinte processo, que
chamou de processo de trisseo: sobre cada lado tomamos os 2 pontos que dividem
o lado em 3 pedaos iguais e recortamos o polgono nestes pontos, obtendo assim um
novo polgono com mais lados.
e objetos retlineos por suaves. H a tambem um grande interesse da matem atica pura
em estudar propriedades dessa curvas e suas possveis generalizcoes alem do interesse
em areas mais especcas como sistemas din amicos. Como referencias veja [4], [6] e
[7].
2 Trisseccao de um Polgono
Nesta se cao estudaremos uma sequencia obtida pela iterac ao da func ao tris-
secc ao. Considere um polgono P formado por n lados. Em cada lado desse polgono
destacamos os pontos que o dividem em tres segmentos de igual comprimento. O
polgono P

e obtido atraves do polgono P unindo estes pontos conforme a gura
1.
Denicao 2.1. A este processo que a partir do polgono P se obtem o polgono P

chamamos de trisseccao.
Figura 1: Trissecc ao de um polgono P
Baseando-se em [1] consideraremos o caso particular em que o polgono inicial
P
0
e um quadrado. Por trissecc ao obtemos o polgono P
1
atraves de P
0
e ent ao, pelo
mesmo processo, obtemos P
2
atraves de P
1
. Repetindo este processo indenidamente
obtemos a sequencia (P
1
, P
2
, ..., P
n
, ...).
Dado um lado de P
n
destacamos os pontos A e B que o dividem em tres segmentos
iguais. Unindo A e B obtemos um lado de P
n+1
contido no lado destacado de P
n
.
2
De Rham provou que este processo, quando comeamos com um quadrado,
converge para uma curva fechada, mas que esta curva no um crculo
1
. Logo, no
qualquer jeito de recortar os cantos que nos dar um crculo no nal.
Isto nos mostra que a convergncia de sequncias de polgonos circunscritos ainda
mais complicada do que sonha a nossa v losoa, que pode ser muito diferente do
que o que se espera e que preciso tomar muito cuidado com estas questes, pois
podemos estar tomando sequncias que, apesar de nossas boas intenes e intuies,
no convirjam para a curva dada.
1
Uma demonstrao deste resultado pode ser encontrada na monograa de iniciao cientca de
Guilherme Henrique de Paula Reis [8].
Captulo 7
rea e permetro do crculo nos livros
didticos
Durante a realizao do I Colquio de Matemtica da Regio Sudeste em So Joo
del Rey, os participantes do minicurso O permetro e a rea de um crculo analisaram
alguns livros didticos, levando em considerao apenas o tema do minicurso. Os
textos que se seguem so o resultado deste trabalho. Os livros analisados esto
colocados em ordem cronolgica inversa (do mais atual ao mais antigo).
Tudo Matemtica, de Luiz Roberto Dante, Editora tica, 2004, 1
a
edio.
Nvel: 8
a
srie
Anlise feita por Cintia Aparecida Pinto Chaves, Gilsara Aparecida Leme, Mauro Junio
Prado e Felipe Otvio dos Santos, alunos de graduao em Matemtica na Universidade
Federal de So Joo del Rey, Minas Gerais.
O livro traz um captulo sobre circunferncias, crculos, arcos e cngruos dando
suporte ao estudo de permetro e rea do crculo. Ao longo de cada captulo
introduzido uma breve histria da matemtica sobre cada assunto. Os temas
so introduzidos com situaes problemas a partir das quais se desenvolvem as
frmulas e teorias.
No captulo sobre circunferncia o tema foi abordado adequadamente para a
faixa etria, porm de forma muito breve e consequentemente foram omitidos
alguns detalhes. A parte sobre rea de crculo traz uma idia de limite e dene
a rea atravs de aproximaes utilizando um quadrado circunscrito; desta
maneira, os alunos conseguem ter uma idia intuitiva da rea compreendendo
as frmulas.
O livro traz muitos exerccios, alguns contextualizados, que favorecem a
compreenso da matria.
Em geral o livro uma excelente referncia didtica, pois contempla o contedo
de permetro e rea da circunferncia satisfatoriamente.
31
32 Captulo 7: rea e permetro do crculo nos livros didticos
PROFMAT: projeto ocina de matemtica de Maria Ceclia Grasseschi, Maria
Capucho Andreta e Aparecida Borges dos Santos Silva, Editora FTD, 1999.
Nvel: 8
a
srie
Anlise feita por Fernanda Rodrigues Alves Costa (professora da E.M. Ver. Jos Ferreira
de Aguiar, em Contagem, MG e aluna do Curso de Especializao para Professores da
UFMG), Renata Rodrigues de Matos Oliveira (professora da E.M. Ver. Jos Ferreira
de Aguiar, em Contagem, MG), Regina Ferreira (professora da E.E. Agrotcnica Afonso
Queiroz, em Patos de Minas, MG, e tutora EAD pelas UFSJ e UNISA) e Maria Rachel
Alves (professora da Unimontes e da E.E. Irm Beata, em Montes Claros, MG).
O livro tem linguagem simples e apresenta os conceitos matemticos de forma
intuitiva, atravs de atividades orientadas recorrendo a prticas. O leitor
necessita de orientao para elaborar conceitos.
Ao nal do captulo as autoras propem o Amarrando as ideias atravs de
recortes histricos e da prtica.
A rea do crculo denida como a rea do tringulo de base 2R e altura R, o
que gerou grande discusso no grupo pela falta de rigor matemtico.
Anlise feita por Brian Diniz Amorim, aluno de graduao em Matemtica na
Universidade Federal de Minas Gerais, em Belo Horizonte.
Integrante de um projeto de matemtica, o livro tenta apresentar o contedo
particionado de forma ldica e com uma abordagem baseada em grande parte
emexerccios. Apresenta alguns desvios de contedo matemtica e no apresenta
linguagem matemtica minimamente rebuscada.
Atividades e jogos com o crculo de Marion Smoothey, Editora Scipione, 1998.
Anlise feita por Fernando Geraldo de Carvalho, aluno de graduao em Matemtica na
Universidade Federal de So Joo del Rey, Minas Gerais.
um livro bem ilustrado, interessante para a introduo de crculos. Uma
parte muito pequena deste livro pode ser aproveitada conforme o contedo
apresentado no mini curso ofertado neste I Colquio da Regional Sudeste.
Este livro muito interessante para o stimo ano, onde os alunos precisam
consolidar os conceitos.
Matemtica - Voc Constri de Maria Aparecida Barroso de Lima, Nicola Siani
Filho e Thales do Couto Filho, Editora Ediouro, 1997, 1
a
edio.
Nvel: 8
a
srie
Anlise feita por Cristiane Duarte, Geiziane Silva, Thssia Souza e Marianna Resende,
alunas de graduao em Matemtica na Universidade Federal de So Joo del Rey, Minas
Gerais.
Comrelao ao permetro, primeiro trabalha-se coma razo entre o comprimento
e o dimetro, vericando que o resultado sempre o mesmo; aproximadamente
3,14. A esse resultado do o nome de , ou seja,
C
d
= 3, 14 =
33
e conclui-se atravs de exerccio que
C = d = 2r = 2r.
Com relao a rea, atravs de exerccios chegam concluso de que quanto
maior o nmero de lados do polgono regular inscrito na circunferncia, mais seu
aptema se aproxima do raio da circunferncia e o permetro / rea do plgono
se aproxima do permetro / rea da circunferncia.
No caso de um octgono tem-se que o permetro do polgono 2p = 8l e logo o
semipermetro p = 4l. A rea do octgono ser ento A
p
= 8
la
2
= 4l a = p a,
ou seja, o semipermetro vezes o aptema.
Conclui-se ento a rea do crculo atravs da comparao com o polgono, ou
seja, A
c
= p a =
2r
2
a = r r = r
2
.
Matemtica e Realidade, de Gelson Iezzi, Osvaldo Dolce e Antnio Machado,
Editora Atual, 1996.
Nvel: 8
a
srie
Anlise feita por Brian Diniz Amorim, aluno de graduao em Matemtica na
Universidade Federal de Minas Gerais, em Belo Horizonte.
Com introdues ao contedo de forma muito breve, o livro apresenta uma
abordagem rpida, sem muita preocupao com a linguagem matemtica. ,
porm, excepcionalmente hbil em nmero de exerccios. Tambm separa o
contedo em rea e permetro.
Dentre todos os livros que analisei, considero a abordagem deste como a mais
completa para ensino fundamental.
Fundamentos da Matemtica Elementar de Osvaldo Dolce e Jos Nicolau
Pompeo, Editora Atual, 1993.
Nvel: 7
a
srie
Anlise feita por Ana Carolina Nicolau, aluna de graduao em Matemtica na
Universidade Federal de Minas Gerais, em Belo Horizonte.
A parte relativa ao permetro bem mais completa do que a parte relativa
rea do crculo. O permetro estimado pelo mtodo de comparar polgonos
inscritos e circunscritos. J para a rea no apresentada nenhuma demonstrao
- simplesmente admite-se que A = semipermetro raio, sem maiores
explicaes.
Uma observao interessante que a rea do setor circular igual rea do
tringulo de base igual ao arco e altura igual ao raio. Isso mostrado em
desenhos bem autoexplicativos.
O valor de estimado calculando a razo do permetro de polgonos inscritos e
o dimetro da circunferncia e depois comparando este valor com o encontrado
para polgonos circunscritos. Uma tabela com os valores encontrados para
polgonos com 4, 8, 16 e 32 lados apresentada, ressaltando-se que, quanto mais
lados, mais os valores se aproximam de .
34 Captulo 7: rea e permetro do crculo nos livros didticos
O primeiro captulo tratando do assunto no fala de permetro nem de rea,
mas de denies do crculo. Ele explica interior/exterior, corda, raio, dimetro,
tangente, secante, centro, s vezes com notaes que podem ser desconhecidas
para meninos de 7
a
srie.
Geometria: noes de matemtica de Aref Antar Neto, Nilton Lapa e Jos Luiz
Pereira, Volume 5, Editora Moderna, 1982, 1
a
edio.
Nvel: Segundo Grau.
Anlise feita por Brian Diniz Amorim, aluno de graduao em Matemtica na
Universidade Federal de Minas Gerais, em Belo Horizonte.
um livro especco de geometria e que trabalhado segundo a legislao
vigente em 1971. Vale relatar que na poca o ensino era estruturado de forma
prossionalizante no que se refere parte equivalente ao ensino mdio. Presume-
se que o livro era trabalhado comalunos de curso cientco ou prossionalizantes
na rea de exatas.
O livro introduz os contedos de forma bastante elaborada e procura enunciar
o contedo programtico. Primeiramente, aborda a circunferncia enquanto
espao geomtrico, para depois introduzir as noes de rea e permetro.
Considero o livro adequado e similar ao contedo trabalhado atualmente.
Preocupa-se com exerccios e traz uma abordagem de fcil entendimento.
Matemtica - Mtodo Moderno de Henrique Morandi, Editora Paulo Azevedo,
1971.
Nvel: Curso Mdio - ciclo ginasial (6
o
a 9
o
anos)
Anlise feita por Fernanda Rodrigues Alves Costa (professora da E.M. Ver. Jos Ferreira
de Aguiar, em Contagem, MG e aluna do Curso de Especializao para Professores da
UFMG), Renata Rodrigues de Matos Oliveira (professora da E.M. Ver. Jos Ferreira
de Aguiar, em Contagem, MG), Regina Ferreira (professora da E.E. Agrotcnica Afonso
Queiroz, em Patos de Minas, MG, e tutora EAD pelas UFSJ e UNISA) e Maria Rachel
Alves (professora da Unimontes e da E.E. Irm Beata, em Montes Claros, MG).
O livro apresenta um texto estruturado com linguagem simples e trabalha
conceitos matemticos com rigor, enunciando postulados, toremas e realizando
demonstraes. O leitor no precisa, necessariamente, de orientao no estudo
do contedo abordado.
Ao nal do captulo encontramos uma sequncia de exerccios de aplicao,
seguido de um recorte da histria da matemtica, sem remeter ao contedo
estudado.
Concluimos que este livro um material de apoio para alunos e professores,
apesar de utilizar recursos que no envolvem questes contextualizadas e
prticas.
Anlise feita por Brian Diniz Amorim, aluno de graduao em Matemtica na
Universidade Federal de Minas Gerais, em Belo Horizonte.
Pela reforma de Juscelino Kubistchek, de 1961, induzia-se no ciclo ginasial (5
a
a
8
a
sries), uma abordagem mais conteudista que na forma atual, o que pode ser
35
visto no somatrio dos contedos dos Ensinos Mdio e Fundamental enquanto
Educao Bsica. O livro, ao ministrar, o crculo e a circunferncia (permetro e
rea, respectivamente) enuncia o postulado, demonstra-o (mesmo que de forma
trivial) e expe demasiadamente a teoria, assim como, prope como adendo a
histria da matemtica.
Avalio que o material atualmente traria muito contedo, uma vez que a legislao
atual possibilita um trabalho de forma mais particionada com o aluno.
Captulo 8
irracional
Sabemos que os nmeros reais se dividem em duas categorias: os que so da forma
a
b
, com a e b nmeros inteiros, b ,= 0, chamados de racionais, e os que no so desta
forma e que, por contraposio, chamamos de irracionais. Observe que o denominador
b pode ser 1 e assim os nmeros inteiros so nmeros racionais.
Vimos no captulo 1 que os gregos j sabiam que

2 irracional. Vamos mostrar
neste captulo que tambm o . Apresentaremos aqui a demonstrao dada por
Niven, em 1947 [20], que feita por reduo ao absurdo.
Suponhamos que =
a
b
, com a e b inteiros, b ,= 0. Podemos tomar a > 0 e b > 0,
pois sendo a constante dos crculos, maior que o dimetro de um crculo de raio
1, que vale 2, e menor que a rea de um quadrado circunscrito a este crculo, que vale
(2R)
2
, ou seja 4, no nosso caso. Melhor dizendo, temos 2 < < 4.
Dado um nmero inteiro positivo n, sejam
f (x) =
x
n
(a bx)
n
n!
e
F(x) = f (x)
d
2
f
dx
2
(x) +
d
4
f
dx
4
(x) + . . . + (1)
n
d
2n
f
dx
2n
(x).
Lema 8.1
_

0
f (x) sen x dx = F(0) + F().
Demonstrao: Derivando duas vezes o polinmio F(x), obtemos
d
2
F
dx
2
+ F(x) = f (x),
pois o polinmio f (x) tem grau 2n e logo
d
2n+2
f
dx
2n+2
(x) identicamente nulo.
Temos ento que
d
dx
_
dF
dx
sen x F(x) cos x
_
=
d
2
F
dx
2
sen x +
dF
dx
cos x
dF
dx
cos x + F(x) sen x
=
_
d
2
F
dx
2
+ F(x)
_
sen x
= f (x) sen x
37
38 Captulo 8: irracional
Pelo Teorema Fundamental do Clculo teremos ento que
_

0
f (x) sen x dx =
_
dF
dx
sen x F(x) cos x
_

0
=
dF
dx
() sen F() cos
dF
dx
(0) sen0 + F(0) cos 0
= F(0) + F()
2
Lema 8.2 F(0) + F() um nmero inteiro.
Demonstrao: Fazendo a expanso temos que (a bx)
n
= c
0
+ c
1
x + c
2
x
2
+ . . . +
c
n
x
n
, onde cada c
k
, k = 1, 2, . . . , n, um nmero inteiro, pois a e b so nmeros inteiros.
Ento
f (x) =
c
0
n!
x
n
+
c
1
n!
x
n+1
+ . . .
c
n
n!
x
2n
e assim
d
k
f
dx
k
(0) = 0 se k < n
d
k
f
dx
k
(0) =
k!
n!
c
k
se n k 2n
o que mostra que
d
k
f
dx
k
(0) um nmero inteiro.
Por outro lado
f ( x) = f (
a
b
x) =
_
a
b
x
_
n
_
a b(
a
b
x)
_
n
n!
= f (x).
Derivando temos que
(1)
k
d
k
f
dx
k
( x) =
d
k
f
dx
k
(x),
logo
d
k
f
dx
k
() =
d
k
f
dx
k
(0) e tambm um nmero inteiro.
Concluimos ento que F(0), F() e sua soma so nmeros inteiros. 2
Precisamos ainda de mais um resultado:
Lema 8.3 Seja c um nmero real positivo. Ento lim
n
c
n
n!
= 0.
Demonstrao: Dado o nmero c > 0, existe um inteiro positivo n
0
tal que c < n
0
, ou,
reescrevendo,
c
n
0
< 1.
Tomemos ento n > n
0
. Temos que
c
n
n!
=
c.c.c . . . c
1.2.3 . . . (n
0
1)n
0
(n
0
+1) . . . n
=
_
c
1
_ _
c
2
_ _
c
3
_
. . .
_
c
n
0
1
__
c
n
0
__
c
n
0
+1
_
. . .
_
c
n
_
.
39
Denotemos K =
_
c
1
_ _
c
2
_ _
c
3
_
. . .
_
c
n
0
1
_
. Lembrando que
c
n
0
>
c
j
se j > n
0
temos
0
c
n
n!
= K
_
c
n
0
__
c
n
0
+1
_
. . .
_
c
n
_
K
_
c
n
0
__
c
n
0
_
. . .
_
c
n
0
_
= K
_
c
n
0
_
nn
0
e como
c
n
0
< 1
0 lim
n
c
n
n!
lim
n
K
_
c
n
0
_
nn
0
= 0
o que mostra que lim
n
c
n
n!
= 0. 2
Vamos ento provar nosso resultado principal:
Teorema 8.4 um nmero irracional
Demonstrao: Suponhamos, como acima, que racional, isto , =
a
b
, com a e b
inteiros positivos, b ,= 0.
Para 0 < x < =
a
b
temos que 0 < sen x < 1 e 0 < x(a bx) < a. Logo
_

0
f (x) sen x dx
(a)
n
n!
.
Mas, como lim
n
(a)
n
n!
= 0, podemos tomar n sucientemente grande de modo que

(a)
n
n!
< 1 e assim teremos 0 < F(0) + F() < 1, sendo F(0) + F() um nmero
inteiro, o que no possvel.
Logo, irracional. 2
Captulo 9
Algumas maneiras de estimar
O nmero pi irracional e nunca poderemos conhec-lo integralmente atravs
de sua expanso decimal. Entretanto, perguntas simples como quanto de material
necessrio para fazer uma lata de leo ou quanto de tecido precisamos para fazer uma
saia god so respondidas usando-se a rea e o permetro do crculo, precisando desta
forma do valor de .
Fenmenos como a rbita de satlites no cu, o movimento de engrenagens, o
crescimento de uma colnia de bactrias, que envolvem simetria circular ou esfrica,
faro uso do em alguma etapa de seu estudo ou construo.
Estes e outros exemplos nos dizem que preciso conhecer um valor estimado de
que possamos usar.
Desde cedo, na histria do conhecimento humano, encontramos estimativas de :
os antigos babilnicos, via de regra, calculavam a rea de um crculo multiplicando
por 3 o quadrado do raio, mas em uma tabuleta, datada de entre 1900 e 1680 aC,
encontramos o valor 3,125. No Papiro de Rhind (Egito, 1650 aC) encontramos uma
frmula que nos d o valor de como 3,1605. A partir da, e ao longo dos sculos,
foram desenvolvidas muitas tcnicas e ideias para calcular mais e mais decimais de .
Ora, do ponto de vista do uso prtico, 20 decimais depois da vrgula mais do que
suciente. Mas, mesmo depois desta meta ter sido atingida, as pessoas continuaram
tentando ampliar o nmero de decimais.
A razo de tal procura, pelo menos por alguns sculos, mais conceitual do que
prtica. Quando pegamos uma frao e tentamos escrev-la com a notao decimal,
temos, antes da vrgula, a quantidade correspondendo parte inteira do nmero
e, depois da vrgula, duas possibilidades: ou temos um tanto de dgitos e depois
a expanso para, ou caimos numa dzima peridica, que, por denio, no tem
m. Por exemplo
71
4
= 17, 75 corresponde ao primeiro caso enquanto que
71
13
=
5, 461538461538... corresponde ao segundo
1
.
J os irracionais, como ou

2, tem uma expanso decimal innita e no-
peridica. Assim, quando dizemos que = 3, 141592 estamos cometendo um erro:
3, 141592 e mais innitos nmeros depois deste 2. O nmero 3, 141592 aproxima o
valor de , mas s isso.
Mas isto sabemos hoje, pois temos uma demonstrao de que irracional. At
1
Um livro muito bonito, onde podemos encontrar a demonstrao deste e de outros fatos
interessantes sobre os nmeros reais I.Niven [21]
41
42 Captulo 9: Algumas maneiras de estimar
1671, quando Lambert faz a primeira prova deste fato, as pessoas calculavam decimais
e decimais de na tentativa de ver se em algum momento a sequncia de dgitos
obtida comeava a se repetir. Se repetisse, seria uma evidncia forte de que era uma
frao (repare que poderia repetir por um certo tempo e depois deixar de faz-lo).
Mas porque, ainda hoje, apesar de sabermos que irracional, as pessoas
continuam a calcular mais e mais decimais de ? Kanada e seus colaboradores, por
exemplo, calcularam 1.241.100.000.000 decimais de em 2002.
Por um lado, calculamos porque podemos. Com computadores cada vez mais
rpidos e potentes, pode-se calcular cada vez mais decimais. Tambm h o desao
de se bolar algoritmos cada vez mais rpidos e ecientes. O clculo de 100.265
decimais de em 1961 precisou de 105.000 operaes aritmticas, segundo J.F.Porto
da Silveira [23]. J o algoritmo inventado em 1984 pelos irmos Borwein, obteve os
mesmos dgitos com apenas 112 operaes.
Uma vez que se tem bons algoritmos, eles passam a ser usados para testar e
comparar o desempenho de novos softwares e computadores.
Talvez o mais intrigante, contudo, seja poder ver se a conjectura sobre a distribuio
aleatria dos dgitos na expanso decimal de parece correta. O que se imagina que
um dgito tem a mesma probabilidade de aparecer na expanso de do que qualquer
outro. Assim, ao calcularmos as decimais deveramos encontrar basicamente a mesma
frequncia para qualquer dgito e, que quanto mais casas decimais tivermos, melhor
deve ser esta estimativa. Ora, em 1999, examinando 200 bilhes de casas decimais
de , Kanada e Takahashi obtiveram o seguinte nmero de ocorrncias, que parece
concordar com a conjectura:
Dgito Nmero de ocorrncias
0 20.000.030.841
1 19.999.914.711
2 20.000.136.978
3 20.000.069.393
4 19.999.921.691
5 19.999.917.053
6 19.999.881.515
7 19.999.967.594
8 20.000.291.044
9 19.999.869.180
A seguir apresentamos algumas maneiras de se estimar . H muitas referncias
interessantes sobre este assunto, como por exemplo [3], [6], [23], [24].
9.1 Medindo crculos
Pela prpria denio de , pensamos imediatamente em calcul-lo usando
crculos. Uma maneira prtica" de estimarmos seu valor tomar muitos objetos
redondos, com tamanhos diferentes, medir o permetro e o dimetro de cada um deles
e calcular a razo entre estas duas medidas. Depois, faz-se a mdia das razes obtidas.
9.1: Medindo crculos 43
Esta mdia deve ser uma aproximao de . Nas muitas vezes que utilizamos este
mtodo, obtivemos sempre algo da ordem de 3,2.
Esse mtodo, apesar de (ou talvez exatamente por) ser simples, tem uma srie de
problemas: os crculos usados so realmente crculos? O que medimos era realmente
o dimetro?
Fora estes problemas da ordem do concreto, temos erros decorrentes da prpria
maneira de medir. Todo instrumento de medida tem um erro. Por exemplo, se
medirmos o dimetro e o permetro com uma ta mtrica graduada em centmetros,
sempre teremos umerro de 0,5 cm, o que signica que a diferena entre o valor real e
o valor estimado no excede 0,5 cm. A foto abaixo ilustra este caso: ao medir a largura
de uma caixa, vemos que est entre 15 e 16 cm. Estimamos um valor de 15,3 cm, pois
estamos mais perto de 15 do que de 16 e o erro cometido no excede 0,5 cm.
Suponhamos ento que acabamos de medir umpermetro e umdimetro e achamos
CC, para o permetro, e DD, para o dimetro, onde C e D so os erros dados
pelo instrumento de medida.
O valor EXATO de seria
C
D
. Ento o erro que podemos estar cometendo ser
o valor calculado menos o valor exato. Olhando o maior e menor erros cometidos
possveis temos
C
D

C C
D +D

C +C
DD

C
D
.
Ora
C +C
DD
=
C
D
_
1 +
C
C
1
D
D
_
.
Como o erro D menor que o valor de D,
D
D
< 1. Logo, usando a soma de uma PG
com razo menor do que 1 temos
1
1
D
D
= 1 +
D
D
+ . . .
44 Captulo 9: Algumas maneiras de estimar
e assim
C +C
DD
=
C
D
_
1 +
C
C
_
_
1
1
D
D
_
=
C
D
_
1 +
C
C
__
1 +
D
D
+ . . .
_
=
C
D
+
1
D
C +
C
D
2
D + . . .
Fazendo contas anlogas, obtemos tambm que
C C
D +D
=
C
D
_
1
C
C
_
_
1
1 +
D
D
_
=
C
D
_
1
C
C
__
1 +
D
D
+ . . .
_
=
C
D

1
D
C
C
D
2
D + . . .
Logo
C
D

C C
D +D
=
1
D
C +
C
D
2
D + . . .
C +C
DD

C
D
=
1
D
C +
C
D
2
D + . . .
e o erro relativo ser estimado pela soma dos erros relativos das duas medidas:

C
C
+
D
D
.
Assim, se usamos sempre a mesma ta mtrica, ou a mesma rgua, pequenos crculos
daro um erro maior do que os grandes...
Existem outros mtodos concretos para estimar a partir da rea ou do permetro:
podemos por exemplo estimar a rea medindo a quantidade de tinta necessria para
pintar o crculo, ou pesando crculos feitos com material com densidade conhecida e
depois dividir este valor pelo raio ao quadrado. Mas enfrentaremos sempre os mesmos
problemas: no temos como saber se o que chamamos de crculo realmente um
crculo e sempre teremos um erro de medida dado pelo instrumento usado.
9.2 Jogando dardos
Uma outra maneira concreta de estimar consiste em construir um alvo quadrado
de lado L e marcar, dentro dele, um crculo circunscrito, com raio L. Se jogarmos um
nmero muito grande de dardos no alvo teremos:
nmero de dardos que acertaram o crculo
total de dardos que acertaram o alvo

rea do crculo
rea do quadrado
=
L
2
4L
2
=

4
9.3: Aproximando por polgonos 45
e assim basta contarmos quantos dardos atingiram o alvo quadrado e quantos
atingiram o crculo para estimarmos .
claro que continuamos com todos os problemas ligados aos mtodos concretos:
no sabemos se o quadrado realmente um quadrado, nem se o crculo realmente
um crculo e no podemos armar que os eventos (lugar onde o dardo atingiu) so
realmente aleatrios e independentes....
Existem muitas variantes deste mtodo: usar um gerador de nmeros aleatrios
num computador, contar estrelas em uma regio dada do cu, dentre tantos outros.
So todos ligados ao que chamamos de Mtodo de Monte Carlo.
Um mtodo um pouco mais elaborado, mas que tambm se baseia em mtodos
estatsticos, o conhecido como a Agulha de Buffon". H inmeras referncias
tratando deste mtodo, como por exemplo o livro de J-P. Delahaye [6].
9.3 Aproximando por polgonos
Como calculamos a rea e o permetro usando aproximaes por polgonos,
de se esperar que muitos mtodos para calcular utilizem polgonos inscritos ou
circunscritos.
Um mtodo muito usado ao longo da histria consiste em tomar o hexgono
inscrito em um crculo e supor que o permetro do hexgono aproxima bem o do
crculo. Obtem-se 2R 6R e logo 3.
Arquimedes (287 aC- 212 aC) melhora este mtodo determinando uma frmula
que lhe permite calcular o permetro de polgonos com muitos lados. Seu mtodo
consiste em: toma-se umcrculo de raio 1 e inscreve-se umpolgono regular de n lados.
Seja l
n
o comprimento do lado e 1 x o comprimento da echa relativa a este lado.
Ao compararmos estas medidas com o lado l
2n
do polgono de 2n lados temos que
x
2
+
_
l
n
2
_
2
= l
2
2n
(1)
(1 x)
2
+
_
l
n
2
_
2
= 1 (2)
de onde tiramos que 2x = l
2
2n
. Substituindo em (1) obtemos
l
4
2n
4
+
l
2
n
4
l
2
2n
= 0 l
4
2n
4l
2
2n
+ l
2
n
= 0 (l
4
2n
4l
2
2n
+4) 4 + l
2
n
= 0
46 Captulo 9: Algumas maneiras de estimar
Como o raio do crculo 1, l
n
< 2 para todo n e logo 4 l
2
n
> 0, podemos concluir que
l
2
2n
2 =
_
4 l
2
n
.
Por outro lado, ainda porque o raio 1, l
4
=

2, l
6
= 1 e l
2n
< l
6
= 1 se n > 4. Assim,
l
2
2n
2 < 0 e
l
2
2n
2 =
_
4 l
2
n
l
2n
=
_
2
_
4 l
2
n
.
Mas l
2n
> 0, pois a medida do comprimento do lado de um polgono. Ento
l
2n
=
_
2
_
4 l
2
n
e o permetro do polgono com 2n lados
p
2n
= 2n
_
2
_
4 l
2
n
.
Podemos ento usar esta frmula, como fez Arquimedes, para aproximar
p
2n
2
.
Nmero 2n de lados l
2n
p
2n
2
6 1 3
12
_
2
_
4 l
2
6
6
_
2

3 3, 1058
24
_
2
_
4 l
2
12
12
_
2
_
2 +

3 3, 1326
Vemos que se tomarmos um polgono regular inscrito com 24 lados obtemos a
estimativa 3, 1326.
9.4 Usando funes trigonomtricas
No captulo 4 vimos que
= lim
n
2
n
sen
180
2
n
.
Para facilitar nossa vida, vamos chamar 2
n
sen
180
2
n
de x
n
. Temos ento que
x
4
= 4 sen
180
4
= 4

2
2
.
9.5: Usando sries 47
Para calcular x
8
= 8 sen
180
8
observemos primeiro que

2
2
= sen
180
4
= sen2
180
8
= 2 sen
180
8
cos
180
8

2
2
= cos
180
4
= cos 2
180
8
= cos
2
180
8
sen
2
180
8
de onde obtemos que sen
180
8
=

2
2
. Logo
x
8
= 4
_
2

2 3, 0614
De maneira anloga obtemos
x
16
= 2
3
_
2
_
2 +

2 3, 1214
e assim por diante, obtendo
x
2
n = 2
n1

_
2

2 +
_
2
_
2 + + (1)
n

2
na qual temos n 1 razes quadradas.
claro que quanto maior o n, mais perto de estar x
2
n. Por volta de 480 dC, o
matemtico chins Tsu Chung Chi usou esta frmula para calcular com 7 decimais
certas (calculando mais de 13 raizes quadradas a mo!).
9.5 Usando sries
Com o advento do Clculo, aparecem novas formas para estimar . Por exemplo,
sabe-se que para se x um nmero entre 1 e 1 ento
d
dx
arctan x =
1
1 + x
2
= 1 x
2
+ x
4
x
6
+ . . . =

n=0
(1)
n
x
2n
Como a srie

n=0
(1)
n
x
2n
converge absolutamente se 1 < x < 1, podemos integr-la
termo a termo neste intevalo e logo se z satisfaz 1 < z < 1 temos
arctan z = arctan z arctan0 =
_
z
0
1
1 + x
2
dx
=
_
z
0
(1 x
2
+ x
4
x
6
+ . . .)dx = (x
x
3
3
+
x
5
5

x
7
7
+ . . . )
x=z
x=0
=

n=0
(1)
n
z
2n+1
2n +1
.
48 Captulo 9: Algumas maneiras de estimar
Sejam a = arctan
1
2
e b = arctan
1
3
. Temos
tan(a + b) =
tan a +tan b
1 tan a tan b
=
1
2
+
1
3
1
1
2

1
3
= 1,
logo a + b =

4
ou seja

4
= arctan
1
2
+arctan
1
3
.
Usando a expanso em srie de arctan, obtemos
= 4
_
1
2

(
1
2
)
3
3
+
(
1
2
)
5
5
+ . . . +
1
3

(
1
3
)
3
3
+
(
1
3
)
5
5
+ . . .
_
.
Se somarmos alguns termos desta srie conseguiremos uma estimativa para . Mas
quantos termos temos que somar para garantir que temos, por exemplo,pelo menos 2
decimais corretas, depois da vrgula?
Para responder esta pergunta precisaremos fazer mais umas continhas. Seja c um
nmero tal que 0 c < 1. Ento
arctan c =

n=0
(1)
n
c
2n+1
2n +1
.
Chamemos de S
k
a soma dos k primeiros termos desta srie, isto ,
S
k
=
k

n=0
(1)
n
c
2n+1
2n +1
.
Temos ento que
[ arctan c S
k
[ =

n=k+1
(1)
n
c
2n+1
2n +1

_
c
2k+3
2k +3

c
2k+5
2k +5
+
c
2k+7
2k +7
. . .
_

=
_
c
2k+3
2k +3
_

1
2k +3
2k +5
c
2
+
2k +3
2k +7
c
4
+ . . .

<
_
c
2k+3
2k +3
_
_
1 + c
2
+ c
4
+ . . .
_
=
_
c
2k+3
2k +3
_
_
1
1 c
2
_
.
Vamos aplicar esta estimativa de erro ao caso anterior. Se ao calcularmos o erro
cometido e obtivermos que erro=[valor exato-valor estimado[ < 10
3
= 0, 001 ento
o valor estimado ser igual ao valor exato at a segunda decimal depois da vrgula.
Queremos ento achar um nmero a ser csomado que garanta que o erro cometido
que menor do que 10
3
.
Se somarmos os N primeiros termos da srie de arctan
1
2
obtemos a estimativa de
erro
[ arctan
1
2
S
N
[ <
_
(
1
2
)
2N+3
2N +3
__
1
1 (
1
2
)
2
_
=
1
3(2N +3)2
2N+1
.
9.6: Ainda hoje... 49
Somando os M primeiros termos da srie de arctan
1
3
obtemos
[ arctan
1
3
S
M
[ <
_
(
1
3
)
2M+3
2M +3
__
1
1 (
1
3
)
2
_
=
1
8(2M +3)3
2M
.
Precisamos ento saber quantos termos (valores de N e M) devemos calcular em cada
srie para que
[ arctan
1
2
S
N
[ <
10
3
2
e [ arctan
1
3
S
M
[ <
10
3
2
(3)
de modo que a soma car menor do que 10
3
, que o que queremos.
fcil ver que se tomarmos N = 3 e M = 2, as desigualdades em (3) so satisfeitas.
Logo basta somar 3 termos da primeira srie e 2 da segunda para termos certeza de
pelo menos duas decimais de .
Este mtodo foi inventado por G.Leibniz (1646-1716) e aperfeioado por J.Machin
(1686?-1751), em 1706. Ele s um exemplo do poder das sries para o clculo de .
Existem muitos outros mtodos, que podem ser vistos nos livros de Delahaye [6] ou de
Posamentier [24] ou no stio na internet de Porto da Silveira [23], por exemplo.
9.6 Ainda hoje...
Aprocura de mtodos cada vez mais rpidos e ecientes para se calcular continua
at hoje. Cada vez temos sries com convergncia mais rpida, mtodos numricos
mais conveis e potentes e mquinas com cada vez mais velocidade de computao.
Por exemplo, em fevereiro de 2010, F. Bellard anuncia em seu stio na internet [1]
ter calculado 2699999990000 decimais de usando a srie de Chudnovsky
1

= 12

n=0
(1)
n
(6n)!(A + Bn)
(n!)
3
(3n)!C
3n+3/2
com A = 13591409, B = 545140134 e C = 640320, um potente algoritmo numrico
desenvolvido por ele e um PC standard, acom Core i7 CPU de 2.93 GHz, gastando no
total, incluindo a vericao das contas, 131 dias.
E, com certeza, ainda aparecero muitos outros algoritmos calculando mais e mais
decimais de .
Referncias Bibliogrcas
[1] F. Bellard: disponvel em http://bellard.org/pi/pi2700e9/
[2] J.D. Bernal: Cincia na Histria, 1
o
volume, Livros Horizonte Ltda, Lisboa, 1975.
[3] D. Blatner: The Joy of , Walker & Company, 1999.
[4] F. Cajori: A History of Mathematics, The MacMillan Co, NY, 1924.
[5] R.Courant: Differential and Integral Calculus, vols 1 e 2, Blackie and Son Limited,
1962
[6] J-P. Delahaye: Le fascinant nombre , Pour la Science, Ed. Belin, 1977.
[7] G. de la Roque Palis: Comprimento da Circunferncia no Ensino Elementar, RPM
14, 29-37.
[8] G.H. de Paula Reis, Uma Curva de G. de Rham e os Nmeros Didicos, 2010,
disponvel em www.mat.ufg.br/docentes/ronaldo.
[9] O.A.W. Dilke: Mathematics and measurement, British Museum Publications,
1991.
[10] C.H. Edwards Jr.: The Historical Development of the Calculus, Springer-Verlag,
Ny, 1982.
[11] D.G. Figueiredo: Anlise I, LTC, 1996
[12] E. Helm: The vibrating string of the pythagoreans, ScienticAmerican, 217(6),
1967
[13] T.L. Heath (transl): The Thirteen Books of the Elements, Dover , 1956.
[14] L.W.H. Hull: Historia y Filosoa de la Ciencia, Ed. Ariel, Barcelona, 1973.
[15] M. Kline: Mathematics - the loss of certainty, Oxford Univ. Press, NY, 1980.
[16] M. Kline: Mathematics in the Western Culture, G.Allen and Unwin Ltda, Londres,
1954.
[17] A. Koestler: Os sonmbulos, IBASA, So Paulo, 1961.
[18] E.L. Lima: Medida e Forma em Geometria, comprimento, rea, volume e
semelhana, Col. Professor de Matemtica, SBM, 1991
51
52 Referncias Bibliogrcas
[19] J.L.Marques Barbosa: Geometria Euclidiana Plana, Col. Professor de Matemtica,
SBM.
[20] I. Niven: A simple proof that is irrational, Bull. AMS 53 (6), p. 509, 1947.
[21] I. Niven: Nmeros: racionais e irracionais. Coleo Fundamentos da Matemtica
Elementar, Sociedade Brasileira de Matemtica, 1961.
[22] E. Noel(org.): Le Matin des Mathmaticiens, Ed.Belin, Paris, 1985.
[23] J.F. Porto da Silveira: Clculo das Constantes Elementares Clssicas: o caso do Pi,
2001, disponvel em em http://www.mat.ufrgs.br/portosil/aplcom1a.html.
[24] A.S. Posamentier, I.Lehmann: : A Biography of the Worlds Most Mysterious
Number, Prometheus Books, 2004.
[25] A. Reymond: Histoire des Sciences Exactes et Naturelles dans lAntiquit Greco
Romaine, PUF, Paris, 1955.
[26] J.Roche: The Mathematics of Measurement, Springer 1998
[27] G.F.Simmons: Clculo com Geometria Analtica, vols 1 e 2, McGraw-Hill, 1987
[28] M. Spivak: Calculus, Ed. Publish or Perish, 4
a
edio 2008.
[29] S.B.A. Viana: Sobre Pitgoras e pitagricos, Rev. Kriterion, 20, 1973/74.