Universidade Federal do Rio Grande do Norte

Centro de Ciências Exatas e da Terra

Departamento de Matemática
Mestrado Prossional em Matemática em Rede Nacional - PROFMAT

Quadratura da Parábola:Uma
Abordagem Possível para o Ensino
de Somas Innitas. †

por

Josieldes Marques dos Santos

sob orientação do

Prof. Dr. Fagner Lemos de Santana

Trabalho de conclusão de curso apresentado

ao Corpo Docente do Mestrado Prossional
em Matemática em Rede Nacional PROFMAT
CCET-UFRN, como requisito parcial para ob-
tenção do título de Mestre em Matemática.
Dezembro/2014
Natal - RN
†
O presente trabalho foi realizado com apoio nanceiro da CAPES.
 Quadratura da Parábola:Uma
Abordagem Possível para o Ensino
de Somas Innitas.
por

Josieldes Marques Dos Santos

Trabalho de conclusão de curso apresentado ao Corpo Docente do Mestrado Pro-
ssional em Matemática em Rede Nacional PROFMAT CCET-UFRN, como requisito
parcial para obtenção do título de Mestre em Matemática.

Área de Concentração: Séries.

Aprovado por:

Prof. Dr. Fagner Lemos de Santana - UFRN (Orientador)

Prof.Dr. Fabiana Tristão de Santana - UFRN (Membro Externo)

Prof. Dr. Walter Batista Dos Santos - UFG (Membro Externo)

Dezembro/2014
iii
Dedicatória

 Dedico este trabalho a pessoa mais importante da

minha vida: minha lha, Letícia. O simples fato de

poder olhar para ela todas as manhãs é suciente para

me fazer uma pessoa melhor a cada dia.

Agradecimentos

Inicio meus agradecimentos por Deus, por me amparar nas diculdades, por me

dá força para seguir sempre em frente, e por colocar no meu caminho pessoas tão

especiais, sem as quais certamente não teria dado conta!

Ao meu orientador prof. Dr. Fagner Lemos de Santana, por está sempre

disponível, por todo apoio e também por ter me ajudado integralmente durante

todo o processo. Sem tal ajuda esse trabalho não teria a mesma qualidade.

Aos meus pais, José Paulo dos Santos e Gilvanda Marques dos Santos,
meu innito agradecimento. Sempre acreditaram em mim, e sempre me incentivaram

a dar o meu melhor e a nunca desistir dos meus objetivos.

A minha irmã, Jâmiza, pois, ao seu modo, sempre se orgulhou de mim, e sempre

acreditou no meu potencial mesmo quando nem eu mesmo acreditava.

Queria agradecer aos meus amigos, ou melhor, irmãos, Jamerson Fernando e

Bruno Thiago, pela ajuda dada nas horas de sufoco, pela generosidade em com-
partilhar conhecimento, e por não me deixarem fraquejar ao longo desses dois anos.

Não poderia esquecer dos demais colegas de PROFMAT: Antônio Roberto, Mar-

cio, Almir, Rosângela, Marco Lira, Marcelo, Roberto Fagner e Venício. Obrigado

pela atenção e pela força dadas através do companherismo, sempre que precisei.

A todos os professores que ministraram aulas no PROFMAT na UFRN, pela de-

dicação destinada ao ensino e aprendizagem nas disciplinas ministradas, em especial

aos professores Ronaldo e Débora que de fato deram contribuições extremamente

v
signicativas para minha formação como matemático.

A minha lha Letícia e a minha esposa Kaline pela paciência, por terem aceito
se privar muitas vezes da minha companhia (pela compreensão que tiveram nos

momentos em que tive que car só) e por me impulsionarem a buscar vida nova a

cada dia.
  Nenhum outro problema afetou tão profundamente o

espírito do homem; nenhuma outra ideia tão fertilmente

estimulou seu intelecto; nenhum outro conceito necessita

de maior esclarecimento do que o innito

David Hilbert

(1862-1943)
Resumo

Neste trabalho apresentamos o tratado da quadratura da parábola, o qual trata

do cálculo da área de um segmento de parábola que foi feito por Arquimedes. Para

isso, são necessárias considerações sobre sequências e séries, com os quais podemos

introduzir a ideia de processos innitos (ou do conceito de innito) para alunos do

ensino básico.

Palavras chave: Innito, séries, quadratúra da parábola, Arquimedes

viii
Abstract

This dissertation presents the quadrature of the parabola treaty, which deals with

the calculation of the area of a parabolic segment,which was made by Archimedes.

For this, considerations on sequences and series are necessary, with which we can

introduce the idea of innite processes (or the concept of innity) for elementary

school students.

Keywords: Innity, series, quadrature of the parabola, Archimedes

ix
Sumário

1 Introdução 1

2 Sequência de Números Reais e seus Limites 4

2.1 Sequência de Números Reais . . . . . . . . . . . . . . . . . . . . . . . 4

2.2 A ideia de Limite de uma Sequência . . . . . . . . . . . . . . . . . . . 7

3 Séries 12
3.1 Denições . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3.2 Somas Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3.3 Soma dos termos de uma Série geométrica . . . . . . . . . . . . . . . 14

3.4 Noção intuitiva de Séries convergentes . . . . . . . . . . . . . . . . . 15

3.5 Série Harmônica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3.6 História do xadrez . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

4 Método de Exaustão 19
4.1 Eudóxio e o método de exaustão . . . . . . . . . . . . . . . . . . . . . 19

4.2 Volume da pirâmide pelo método de Exaustão . . . . . . . . . . . . . 23

5 Quadratura da Parábola 27
5.1 Conceitos Notáveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

5.2 Parábolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

5.3 Triângulos de Arquimedes . . . . . . . . . . . . . . . . . . . . . . . . 36

x
 5.4 Quadratura da Parábola e o Método de Exaustão . . . . . . . . . . . 40

5.5 Método de Dupla redução ao absurdo . . . . . . . . . . . . . . . . . . 40

Referências Bibliográcas 45

xi
Capítulo 1

Introdução

Exemplos de somas innitas surgem muito cedo, ainda no ensino fundamental,

no estudo de dízimas periódicas. Com efeito, uma dízima como 0, 555 . . . nada mais

é do que uma série geométrica innita. Veja:

 
1 1 1
0, 555 · · · = 5 × 0, 111 · · · = 5 + + + ...
10 100 1000
   1 
1 1 1 10 5
=5 + 2 + 3 + ... = 5 1 = .
10 10 10 1 − 10 9
Sendo a segunda igualdade obtida da fórmula da soma dos termos de uma progressão

geométrica innita. Quando se ensina essas dízimas, usa-se o seguinte procedimento,

no qual a soma innita não aparece explicitamente:

5
x = 0, 555 · · · ⇒ 10x = 5, 555 · · · = 5 + 0, 555 · · · = 5 + x ⇒ 9x = 5 ⇒ x =
9
No ensino médio volta-se a falar sobre somas innitas, sendo que agora, após

formalizado o conceito de progressões geométricas, é apresentada ao aluno uma fór-

mula que permite calcular a soma de innitos termos de uma progressão geométrica

quando a razão q é um número real entre −1 e 1. A ideia ingénua e não crítica

de soma innita não costuma perturbar o estudante que logo associa a adição com

quantidade nita de termos. Ao analisar os termos um a um, ele percebe que esses

1
vão cando menores e cada vez mais próximos de zero, o que leva a interpretar

que a soma desses termos a partir de uma certa quantidade não interfere muito no

resultado nal, que por sua vez, se aproxima cada vez mais de um número real.

O problema é que a operação de adição só faz sentido quando aplicada a um par

de números reais. Porém, devido à propriedade associativa em R, podemos efetuar

uma soma de 3, 4, 5, . . . , 100 ou mais números, sem incorrer em erros. Por exemplo,

podemos obter a soma 2+4+8 como 2 + 4 + 8 = (2 + 4) + 8 , ou então como

2 + 4 + 8 = 2 + (4 + 8), o resultado é o mesmo. Porém, encarar somas innitas

nos mesmos moldes das somas nitas, usando as propriedades das operações, pode

nos levar a diculdades e conclusões equivocadas. Como bem ilustra um exemplo

simples, dado pela chamada série de grandi.

+∞
(−1)n
P
S = 1 − 1 + 1 − 1 + 1 − 1 + ··· =
n=0

Utilizando a propriedade associativa de forma conveniente podemos obter os seguin-

tes resultados:

a) S = (1 − 1) + (1 − 1) + (1 − 1) + (1 − 1) + · · · = 0
b) S = 1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + · · · = 1
c) S = 1 − (1 − 1 + 1 − 1 + 1 − 1 + . . . ) ⇒ S = 1 − S ⇒ 2S = 1 ⇒ S = 1/2
Como decidir então o resultado? S = 0, 1 ou 1/2? Se o leitor tem uma compre-

ensão bem estabelecida sobre séries concluiria facilmente que nenhum dos resultados

poderia estar correto uma vez que essa soma trata-se de uma série divergente.

Percebemos assim que o professor deve tomar um certo cuidado ao trabalhar com

esse tema, pois, é o primeiro contato que o aluno tem com as ideias de convergência

e innito. O problema é que mesmo os licenciados em matemática, que são os

professores destes alunos, revelam em sua maioria certa inabilidade em trabalhar

com somas innitas, se limitando a mera reprodução do que os livros de matemática

do ensino médio trazem sobre esse assunto.

2
 Essa dissertação assim se justica como um agente provocador dessa temática,

tendo como principal objetivo despertar o interesse do leitor às várias perspectivas

pelas quais as somas innitas podem ser avaliadas e como foram encaradas ao longo

da história. Para isso, vamos nos valer de um problema clássico, a quadrátura

da parábola, um dos primeiros problemas sobre somas innitas, que curiosamente,

parece ser pouco conhecido nos dias de hoje, além de estender o conceito de adição

para uma innidade de números e denir o que signica tal soma. Chamaremos

estas somas innitas de séries.

3
Capítulo 2

Sequência de Números Reais e seus

Limites

O conceito de limite é o mais fundamental do Cálculo Diferencial e Integral, pois é

nele que se baseiam na Matemática atual as denições de convergência, divergência,

continuidade, derivada e integral.

Embora fundamental, esse conceito demorou mais de dois milênios para nal-

mente ser rigorosamente denido pelos matemáticos do século XIX. Nesse capítulo

será apresentada a noção de limite sob sua forma mais simples, o limite de uma

sequência. Para mais detalhes sobre este assunto recomendamos [9].

2.1 Sequência de Números Reais

A ideia de sequências de números reais é a de escolher números reais e colocá-los

em uma determinada ordem (com possibilidade de repetição), ou seja, sabemos qual

deles é o primeiro, o segundo, etc. Essa ideia é representada matematicamente na

denição abaixo:

Denição 2.1.1 (Conceito de sequência) Uma sequência de números reais é uma

4
2.1. SEQUÊNCIA DE NÚMEROS REAIS

função x:N→R que a cada número natural n associa um número real xn = x(n),
chamado o n-ésimo termo da sequência.

Escreve-se (x1 , x2 , x3 , x4 , . . . , xn , . . . ) ou (xn )n∈N , ou simplesmente (xn ), para in-

dicar a sequência cujo n-ésimo termo é xn . [9]

Não confunda a sequência (xn ) com o conjunto {x1 , x2 , x3 , x4 , . . . , xn , . . . } dos

seus termos. Por exemplo, a sequência (1, 1, . . . , 1, . . . ) não é o mesmo que o conjunto
{1}. Ou então: as sequências (0, 1, 0, 1, . . . ) e (0, 0, 1, 0, 0, 1, . . . ) são diferentes mas

o conjunto dos seus termos é o mesmo, igual a {0, 1}. O conjunto dos termos de

uma sequência (xn ) é o conjunto imagem da função x : N → R.

Exemplo 2.1.1 A sequência (1, 2, 1, 2, 1, 2, . . . ) corresponde à função x(n) = 1 se

n é impar e x(n) = 2 se n é par; o conjunto de seus termos é o conjunto X = {1, 2}.

Em geral, chamaremos de constante uma sequência (xn ) tal que xn = k , ∀n ∈ N,

onde k é uma constante xada. Em outras palavras, uma sequência é constante

quando o conjunto dos seus termos é unitário.

As sequências podem ser classicadas como limitadas ou ilimitadas. As sequên-

cias limitadas podem ser subdivididas em sequências limitadas superiormente

e limitadas inferiormente. Uma sequência (xn ) diz-se limitada superiormente

(respectivamente inferiormente ) quando existe c ∈ R tal que xn ≤ c (respectiva-

mente x n ≥ c) para todo n ∈ N. Diz-se que a sequência (xn ) é limitada quando ela

é limitada superiormente e inferiormente. Isto equivale a dizer que existe k>0 tal

que |xn | ≤ k para todo n ∈ N. Quando uma sequência não é limitada (inferiormente

ou superiormente) diremos que é ilimitada (inferiormente ou superiormente).

Exemplo 2.1.2 Se a>1 então a sequência (a, a2 , . . . , an , . . . ) é limitada inferior-

mente porém não superiormente. Para vericar que esta sequência é ilimitada supe-

riormente, vamos usar a desigualdade de Bernoulli, a qual diz que (1 + x)n > 1+nx,
∀n ∈ N e ∀x > −1. A demonstração dessa desigualdade é feita por indução e pode

5
2.1. SEQUÊNCIA DE NÚMEROS REAIS

ser encontrada em [9] . Como a > 1, podemos escrever a = 1 + x, com x > 0

Assim, pela desigualdade de Bernoulli, temos an = (1 + x)n > 1 + nx. Dado k∈R
k 1
com k > 0, existe n0 ∈ N tal que n0 > , logo n0 x > k ⇒ 1 + no x > k ⇒
x
an0 = (1 + x)n0 . Resumindo, provamos que para qualquer número real k > 0, existe

n0 ∈ N; an0 > k . Isso signica que a sequência an é ilimitada superiormente. Por

outro lado, multiplicando ambos os membros da desigualdade 1<a por an obtemos

an < an+1 . Segue-se que a < an para todo n ∈ N. Logo (an ) é limitada inferiormente
por a.
 
1 2 n n
Exemplo 2.1.3 A sequência , ,..., ,..., é limitada pois an = =
2 3 n+1 n+1
1
1 é limitada inferiormente por 0 e superiormente por 1.
1+ n

Denição 2.1.2 (Sequência crescente) Uma sequência (xn ) será dita crescente

se xn < xn+1 para todo n ∈ N. Diremos que a sequência é não decrescente se

xn+1 ≥ xn para todo n ∈ N.

Denição 2.1.3 (Sequência decrescente) Uma sequência (xn ) será dita decres-

cente se xn+1 < xn para todo n ∈ N. Diremos que a sequência é não crescente, se

xn+1 ≤ xn para todo n ∈ N.

Exemplo 2.1.4 A sequência (1, 2, 3, 4, . . . , n, . . . ) é uma sequência crescente pois

n = xn < xn+1 = n + 1 já a sequência 1, 41 , 16

1 1


, . . . , 4n−1 ,... é uma sequência
1 1 1
decrescente pois xn = > n+1 −1 = n+1 = xn+1 .
4n−1 4 .4 4 −1

As sequências crescentes, não-decrescentes, decrescentes ou não-crescentes são

chamadas de sequências monótonas.

1 usamos aqui um fato fundamental sobre o conjunto dos números naturais, a saber, que N é

um conjunto ilimitado superiormente, ou seja, dado A ∈ R com A > 0 , existe n0 ∈ N tal que

n0 > A.

6
2.2. A IDEIA DE LIMITE DE UMA SEQUÊNCIA

Exemplo 2.1.5 Seja a ∈ R. Consideremos a sequência (a, a2 , a3 , a4 , . . . , an , . . . , )

das potências de a, com expoente n inteiro positivo. Se a = 0 ou a = 1, tem-se

evidentemente uma sequência constante. Se 0 < a < 1, a sequência é decrescente e

limitada. Com efeito, multiplicando ambos os membros da desigualdade a<1 pelo

número positivo an obtemos an+1 < an , o que nos leva a conlusão que cada termo da

sequência é menor do que o termo anterior, logo a sequência é decrescente. Como

todos os seus termos são positivos temos 0 < an < 1 para todo n. Consideremos

agora o caso −1 < a < 0. Então a sequência (an ) não é mais monótona (seus termos
são alternadamente positivos e negativos) mas ainda é limitada pois |an | = |a|n , com

0 < |a| < 1. O caso a = −1 é trivial; a sequência (an ) é (−1, 1, −1, 1, . . . ). Quando

a>1 Obtem-se uma sequência crescente. Finalmente, quando a < −1, a sequência

(an ) não é monótona (pois seus termos são alternadamente positivos e negativos) e

é ilimitada superiormente e inferiormente.

2.2 A ideia de Limite de uma Sequência

1


Vamos analisar a sequência . É fácil perceber que a sequência é decrescente
2n
1 1
com todos os seus termos positivos , ou seja,dado n>m , tem-se que 0< 2n
< 2m
.

− 1019 , 1019


Consideremos, agora, um intervalo de centro zero e raio pequeno, digamos ,

1 1 1 1
que, convenhamos, é muito pequeno. Agora, como
230
= 1073741824
< 109
< 229
=
1 1
∈ − 1019 , 1019


536870912
, vemos que 30
2
. Na verdade, como para todo n ≥ 30 temos
1 1 1
∈ − 1019 , 1019 .


que
n
< 30 , então
n
2 2 2
Isso nos mostra que a partir de um certo valor de n, a saber, n = 30, todos os

− 1019 , 1019


termos da sequência pertencem ao intervalo .

 Mostremos  agora que o que armamos acima não é restrito ao intervalo escolhido
1 1
− 9 , 9 . De fato, escolha arbitrariamente um número real r > 0 e considere
10 10
1 1
o intervalo (−r, r). Existe um número natural n0 ≥ 1 tal que n0 > , logo < r.
r n0

7
2.2. A IDEIA DE LIMITE DE UMA SEQUÊNCIA

1 1
Como 2n0 > n0 , segue-se que
2n0
< n0
< r.
1 1
Na verdade, como para todo n > n0 tem-se que
2n
< 2n0
, obtemos que para todo

1
n > n0 , 2n
< r.
Vemos, portanto, que a partir de um certo valor n0 de n, todos os termos da

sequência pertencem ao intervalo (−r, r). Como o número r>0 pode ser escolhido

arbitrariamente, vemos que não importa o quão pequeno ele seja, sempre existirá,

para essa escolha de r, um inteiro positivo n0 a partir do qual todos os termos da

sequência pertencerão ao intervalo (−r, r). É nesse sentido que entendemos que os

termos da sequência se aproximam de zero quando n cresce.

1
Figura 2.1: Dois números da sequência
2n

Denição 2.2.1 (Limite de uma sequência) Sejam (xn ) uma sequência de nú-

meros reais e l um número real. Dizemos que (xn ) converge para l, ou é convergente,
e escreve-se lim xn = l, quando para qualquer intervalo aberto I contendo l (por
n→∞
menor que ele seja) é possível encontrar um número natural n0 , de modo que xn ∈ I
para todo n > n0 .

Observação 2.2.1 Quando não existir um número l para o qual (xn ) convirja,

dizemos que a sequência (xn ) diverge, ou que é divergente.

Com o objetivo de tornar mais operacional a nossa denição de convergência,

note que, o intervalo I, contendo o número real l, pode ser tomado da forma (l −
r, l + r), onde r é um número real positivo. Portanto, dizer que xn converge para l ,

isto é, que lim xn = l, é o mesmo que dizer que para todo número real r > 0, existe
n→∞
um número natural n0 tal que para todo n > n0 tem-se que xn ∈ (l − r, l + r).

8
2.2. A IDEIA DE LIMITE DE UMA SEQUÊNCIA

Observemos ainda que a condição xn ∈ (l − r, l + r), para todo n > n0 , equivale

à |xn − l| < r para todo n > n0 . Em outras palavras:

A distância de xn a l se torna arbitrariamente pequena desde que n seja tomado

sucientemente grande.

É intuitivo o fato de uma sequência (xn ) não poder convergir para dois números

reais l1 e l2 distintos, pois, se este fosse o caso, poderíamos achar dois intervalos

abertos I1 e I2 disjuntos, contendo l1 e l2 , respectivamente, de tal modo que para

valores de n sucientemente grandes, os termos da sequência estariam dentro de cada

um desses intervalos, o que não é possível. A proposição abaixo apenas formaliza

esta argumentação. A demonstração dessa proposição pode ser vista em [9].

Proposição 2.2.1 (Unicidade do limite) Se existir um número real l tal que

lim xn = l, então ele é único.

n→∞

1
Exemplo 2.2.1 Mostre que lim xn = 0, onde xn = .
n

Solução
1
Dado r>0 arbitrário, podemos obter n0 ∈ N tal que n0 > . Então n > n0 ⇒
  r
1 1 1  1
< < r, ou seja, n > n0 ⇒  − 0 < r.
 Concluímos assim que lim =0
n n0 n n→∞ n

2n − 1
Exemplo 2.2.2 Mostre que lim xn = 0, onde xn = .
n

Solução
Primeiro vamos reescrever a sequência.

2n − 1 2n 1 1
xn = = − =2−
n n n n

Logo o limite é 2, pois cada vez que aumentamos o valor de n o resultado de

1
2− ca cada vez mais próximo de 2. De maneira mais formal observamos que
n

9
2.2. A IDEIA DE LIMITE DE UMA SEQUÊNCIA

1
dado r >0 arbitário, podemos obter um n0 ∈ N tal que n0 > . Isso nos leva a
r
concluir que:

1 1 1 1
n0 > ⇒ < r ⇒ − > −r ⇒ 2 − >2−r
r n0 n0 n0
1 1 1 1
Como n > n0 ⇒ < ⇒− >− e consequentemente:
n n0 n n0
1 1
2− >2− >2−r
n n0

.
1 1
Sabendo que n > 0, temos que 2− <2 e 2−r <2− < 2, por m, r > 0,
n n0
1
então 2 < 2+r e 2−r < 2− < 2 + r, logo xn ∈ (2 − r, 2) ⊂ (2 − r, 2 + r), e
n0
podemos concluir que |xn | < 2 + r, ou seja |xn − 2| < r.

Exemplo 2.2.3 Mostre que lim xn = 0, onde x n = an , com 0 < a < 1.

Solução Armamos que lim an = 0

n→∞
(quando 0 < a < 1). Com efeito, Dado

1
r > 0, como > 1, as potências de 1/a formam uma sequência crescente ilimitada
a  n
1 1 1 1
superiormente. Logo existe n0 ∈ N tal que n > n0 ⇒ > , ou seja , n >
a r a r
n n n
, isto é, a < r . Assim, n > n0 ⇒ |a − 0| < r , o que mostra ser lim a = 0.
n→∞
Limites possuem propriedades operatórias que tornam o seu cálculo mais fá-

cil. Na realidade, teremos poucas vezes que recorrer à denição para calcular um

determinado limite, bastando para isto utilizar as propriedades operatórias que esta-

beleceremos e alguns poucos limites fundamentais, esses, sim, na maioria das vezes,

serão determinados a partir da denição. O fato é que usando a denição de limite

para deduzir algumas de suas propriedades gerais, aumentaremos em muito o nosso

poder de cálculo.

Proposição 2.2.2 (Limite da soma) Se lim xn = l e lim yn = k , então lim (xn + yn ) =

n→∞ n→∞ n→∞
lim xn + lim yn = l + k .
n→∞ n→∞

10
2.2. A IDEIA DE LIMITE DE UMA SEQUÊNCIA

A proposição 2.2.2 estabelece a aditividade dos limites: para somar dois limites

que existem, podemos somar as duas sequências e calcular apenas o limite desta

soma. Este resultado é bastante natural, bastando-nos pensar o seguinte: se xn pode

ser tornado tão próximo de l quanto queiramos, desde que n seja sucientemente

grande e o mesmo ocorre com yn , então a soma xn +yn pode ser tornada tão próxima

de l+k quanto queiramos também. Uma propriedade análoga vale para a diferença

entre limites.As próximas proposições (2.2.3, 2.2.4 e 2.2.5) exploram o mesmo tipo

de propriedade para as operações de multiplicação, potenciação e divisão. Caso o

leitor deseje analisar as dememonstrações dessas proposições poderá encontrá-las

em [9].

Proposição 2.2.3 (Limite do produto) Se lim xn = l

n→∞
e lim yn = k ,
n→∞
então
  
lim (xn yn ) = lim xn lim yn = lk .
n→∞ n→∞ n→∞

Proposição 2.2.4 (Limite da potência) Se p≥1 é um inteiro, e lim xn = l,

n→∞
então lim (xn )p = lp .
n→∞

Proposição 2.2.5 (Limite do quociente) Se lim xn = l e lim yn = k

n→∞ n→∞
, com

xn lim xn l
yn 6= 0, para todo n ∈ N, e k 6= 0, então Se lim = n→∞ = .
n→∞ yn lim yn k
n→∞

11
Capítulo 3

Séries

No estudo das somas de séries, em particular, a soma dos innitos termos de uma

progressão geométrica no ensino médio, na maioria das escolas brasileiras, limita-se

tão somente a analisar os resultados dessas somas em progressões geométricas com

razão entre −1 e 1.
Acredita-se que o aluno sozinho seja capaz de construir múltiplas relações en-

tre os conceitos de somas com parcelas nitas e innitas. Contudo, se os conceitos

são apresentados de forma fragmentada, mesmo que de forma completa e aprofun-

dada, nada garante que o aluno estabeleça alguma signicação para ideias isoladas

e desconectadas umas das outras.

O professor precisa alertar seu aluno para o cuidado ao operar com somas de par-

celas innitas, mostrando que elas tanto podem convergir para um resultado como

podem divergir. No caso de convergir podemos associar a operações elementares

como soma e multiplicação o que não é possivel fazer se a série diverge.

12
3.1. DEFINIÇÕES

3.1 Denições
Denição 3.1.1 Dada uma sucessão de números reais (an )nN , chama-se série de

números reais ou série numérica a soma innita

+∞
P
a1 + a2 + a3 + · · · + an + · · · = an
n=1

Observação 3.1.1 Os números a1 , a2 , . . . chamam-se termos da série numérica e

o n-ésimo termo an é designado por termo geral da série.

Em resumo, uma série é uma soma s = a1 +a2 +· · ·+an +. . . com um número in-

nito de parcelas. Para que isso faça sentido, poremos s = lim (a1 + a2 + · · · + an ).
n→∞
Como todo limite, este pode existir ou não. Por isso há séries convergentes e séries

divergentes. Aprender a distinguir umas das outras é a principal nalidade dessa

seção. Naturalmente, não podemos somar um a um, os innitos termos de uma série,

o que podemos fazer é somar cada vez mais parcelas, avaliando se ao acrescentar

mais termos, a soma vai se aproximando de um valor real.

3.2 Somas Parciais

+∞
P
Consideremos a série a1 + a2 + a3 + · · · + an + · · · = an e vamos formar uma
n=1
sequência {Sn } de somas da seguinte maneira:

S1 = a1

S 2 = a1 + a2

S3 = a1 + a2 + a3

...

13
3.3. SOMA DOS TERMOS DE UMA SÉRIE GEOMÉTRICA

n
X
Sn = a1 + a2 + a3 + · · · + an = Sn−1 + an = ak
k=1

A sequência (Sn ) é chamada de sequência das somas parciais da série e Sn é

chamado de n-ésima soma parcial.

Se a diferença |S − Sn |, onde S ∈ R, puder ser feita menor do que qualquer

número positivo, desde que se faça n sucientemente grande dizemos que S é a

soma da série. Em linguagem mais formal temos que dado r > 0, existe um índice

N tal que, para n > N , é verdade que |S − Sn | < r. Em outras palavras, S é a soma

da série quando lim (Sn ) = S .

n→∞

Observação 3.2.1 Quando uma série admite uma soma S, essa é classicada como

convergente. Caso contrário, se o lim (Sn ) não existe ou é innito a série é diver-
n→∞
gente.

Esse procedimento é importantíssimo pois não somamos uma innidade de par-

celas. As somas Sn são nitas, já que n é nito. Elas são valores aproximados do

que chamamos soma da série. O que a denição diz é que o erro que se comete ao

tomar Sn no lugar de S pode ser feito tão pequeno quanto queriamos, desde de que

façamos n sucientemente grande.

3.3 Soma dos termos de uma Série geométrica

∞
a + ar + ar2 + ar3 + · · · + arn−1 + . . . arn−1 ,
P
A série ou em que cada termo se
n=1
obtém do precedente multiplicando-o por uma constante r (a razão ) designa-se por

série geométrica.

Seja Sn a n-ésima soma parcial temos:

Sn = a + ar + ar2 + ar3 + · · · + arn−1 (3.1)

14
3.4. NOÇÃO INTUITIVA DE SÉRIES CONVERGENTES

Caso r = 1, temos que Sn = na. Caso r 6= 1, multiplicando Sn por r temos:

rSn = ar + ar2 + ar3 + +ar4 + · · · + arn−1 + arn (3.2)

subtraindo 3.1 de 3.2, encontramos:

a (rn − 1)
rSn − Sn = arn − a ⇒ Sn (r − 1) = a (rn − 1) ⇒ Sn =
(r − 1)
Se 0 < r < 1, temos que lim rn = 0 (exemplo 2.2.3), logo concluímos que:
x→∞

∞
X a (rn − 1) a
arn−1 = lim =
x→∞ (r − 1) 1−r
n=1

3.4 Noção intuitiva de Séries convergentes

Um primeiro exemplo  
1 1
Tomemos a sucessão geométrica de termo geral a1 = e r= :
2 2
1
PN 1 1 1 1 1 1 1 1 − 2N 1
= + 2 + 3 + 4 + ··· + N = × =1− N
n=1 2
n 2 2 2 2 2 2 1 2
1−
2
O que acontece a esta igualdade se tomarmos o limite N → +∞?
Tem-se:

PN 1 1
lim SN = lim n
= lim 1 − N = 1
N →+∞ N →+∞ n=1 2 x→+∞ 2

Isto signica que, de certa forma, se somarmos a innidade de parcelas.

1 1 1 1 1 1 1
+ + + · · · + 100 + 101 + · · · + 1000 + 1001 + . . .
2 4 8 2 2 2 2

não obtemos uma quantidade innita como poderíamos pensar. Obtemos sim-

plesmente o valor 1. Escrevemos:

+∞
 
P 1
=1
n=1 2n

15
3.5. SÉRIE HARMÔNICA

Este resultado não é assim tão espantoso. É verdade que estamos num certo sentido

a somar uma innidade de parcelas estritamente positivas. Mas também é verdade

que essas parcelas são cada vez menores. Aliás, este resultado é muito fácil de

perceber intuitivamente: obtém-se uma boa ilustração desta igualdade tomando um

segmento de comprimento 1 e dividindo-o sucessivamente ao meio.

Figura 3.1: representação geométrica

3.5 Série Harmônica

O raciocínio intuitivo visto na seção anterior nem sempre dá certo (como ocorre

com grande parte dos raciocínios deste tipo em matemática). Vamos analisar o caso

da chamada série harmônica abaixo:

∞
X 1 1 1 1 1
= 1 + + + + ··· + + ...
n=1
n 2 3 4 n
Como as parcelas (positivas) a serem somadas são cada vez menores e tendendo

a 0,
a intuição nos levaria a acreditar que tal série seria convergente, o que não é
P2n 1 1 1 1 1
verdade. Considere apenas as somas parciais: S2n = = 1+ + + + +
   k
k=1  2 3 4  5
1 1 1 1 1 1 1 1 1 1 1 1
+ . . . n−1 + . . . n . E note que: + > + = ; + + + >
6
 2 2  3 4 4 4 2  5 6 7 8
1 1 1 1 1 1 1 1 1 1
+ + + = ; . . . ; n−1 + n−1 + ··· + n > n + ··· + n =
8 8 8 8 2 2 +1 2 +2  2 2 2
1 1 1 1 1 1 n
, Assim: S2n > 1 + + + +···+ = 1+n e como 1 + não é limitada
2 2 2 2 2 2 2
superiormente, então S2n também não é e, portanto, Sn não é limitada e, sendo

assim, diverge.

16
3.6. HISTÓRIA DO XADREZ

1
Como cada parcela entre parênteses é maior ou igual a , temos que a soma de
2
1
todas as parcelas pode ser minorada por uma innidade de parcelas iguais a , que
2
tem soma innita. Por isso é importante conhecer formalmente o conceito de séries

convergentes para entender o que ocorre em casos como este.

3.6 História do xadrez

Segundo a lenda que justica a origem da criação do xadrez, o jogo teria sido

criado com o objetivo de curar a depressão de um rei. Esse teria cado tão encantado

com o jogo que ofereceu ao inventor a recompensa que ele quisesse. O inventor

aparentemente pediu pouco. Apenas um tabuleiro cheio de trigo, mas de modo

que na primeira casa houvesse um grão, na segunda, dois, na terceira, quatro, e

assim sucessivamente, dobrando a quantidade de grãos até a casa 64. Lenda ou não,

essa história é um excelente recurso didático: além de evidenciar a velocidade de

crescimento de uma função exponencial, é um excelente exercício de somatório de

progressões geométricas.

1 + 2 + 22 + 23 + 24 + · · · + 263

Ao ser sugerido a um aluno que calculasse o débito do rei, esse chegaria ao

resultado 264 − 1, o que seria quase 18 quintilhões de grãos (o número 1 seguido

de 20 zeros). Uma quantidade espantosamente alta.

Em [4] é sugerido uma resposta a tal pedido: seria oferecido ao inventor do jogo

uma oferta ainda mais generosa. No lugar de um tabuleiro com 64 casas, seria

oferecido um tabuleiro com um número innito de casas. Assim a nova dívida seria:

S = 1 + 2 + 22 + 23 + 24 + · · · + 263 + 264 + 265 + . . .

Esse pagamento seria feito da seguinte forma: O que lhe havia sido proposto seria

17
3.6. HISTÓRIA DO XADREZ

pago em dobro, ou seja,

2s = 2 1 + 2 + 22 + 23 + 24 + · · · + 263 + 264 + 265 + . . .

Desde que o inventor desse como troco o que havia sido conbinado inicialmente.

Intuitivamente essa operação não teria problema uma vez que o valor (D ) da dívida

real para o inventor seria D = 2S − S . Curiosamente, ao ser feito novamente o

cálculo da dívida do rei :

2 + 22 + 23 + 24 + · · · + 263 + 264 + 265 + . . .

2s − s =

1 + 2 + 22 + 23 + 24 + · · · + 263 + 264 + 265 + . . .

−

= −1 + (2 − 2) + 22 − 22 + 23 − 23 + 24 − 24 + . . .

+ 263 − 263 + 264 − 264 + 265 − 265 + . . .

⇒ D = −1

todas as demais parcelas (innitas) são canceladas. No nal das contas, o pobre

criador do xadrez acabou ainda devendo um grão (−1) de trigo ao rei. É claro que tal

artifício não faz justiça à sagacidade original da história. O problema dessa solução é

estender, sem maiores cuidados, para somas innitas, processos sabidamente válidos

para somas nitas.

Um fato curioso é que esse problema foi apresentado a minha turma de mes-

trado (Profmat) e nenhum dos meus colegas percebeu alguma coisa errada com as

operações realizadas ao longo desse problema.

18
Capítulo 4

Método de Exaustão

4.1 Eudóxio e o método de exaustão

O método de exaustão é também conhecido por Princípio de Eudóxio-Arquimedes,

por ter na sua base a teoria das proporções apresentada por Eudóxio de Cnido (408-

355 a. C.) e por Arquimedes de Siracusa (287-212 a.C.) ter sido o matemático que

maior visibilidade lhe deu.[12]

Eudoxo apresentou a sua teoria das proporções como modo de ultrapassar as

limitações na matemática grega evidenciadas com a descoberta dos incomensuráveis,

que deitava por terra a teoria das proporções dos pitagóricos. Arquimedes aplicou

o método de exaustão para provar inúmeros resultados relativos a comprimentos,

áreas e volumes de diversas guras geométricas e também ao cálculo de centros de

gravidade.

O método de exaustão é o fundamento de um dos processos essenciais do cálculo

innitesimal. No entanto, enquanto no cálculo se soma um número innito de parce-

las, Arquimedes nunca considerou que as somas tivessem uma innidade de termos.

Para poder denir uma soma de uma série innita seria necessário desenvolver o

conceito de número real que os gregos não possuíam. Não é, pois, correto falar

19
4.1. EUDÓXIO E O MÉTODO DE EXAUSTÃO

do método de exaustão como um processo geométrico de passagem para o limite.

A noção de limite pressupõe a consideração do innito que esteve sempre excluída

da matemática grega, mesmo em Arquimedes. Mas, no entanto, o seu trabalho foi,

provavelmente, o mais forte incentivo para o desenvolvimento posterior das ideias de

limite e de innito no século XIX. De fato, os trabalhos de Arquimedes constituíram

a principal fonte de inspiração para a geometria do século XVII que desempenhou

um papel importante no desenvolvimento do cálculo innitesimal.

a c
Denição 4.1.1 Sejam dadas quatro grandezas a, b, c e d e suas razões e .
a c m b d
Temos que = se, para toda fração , acontece um dos seguintes casos:
b d n
m a m c
• Ou < e < , isto é, a fração é menor que ambas;
n b n d
m a m c
• Ou = e = isto é, a fração é igual a ambas;
n b n d
m a m c
• Ou > e > isto é, a fração é maior que ambas.
n b n d
a c a c
Ou seja, se = não podemos ter uma fração que esteja entre e .
b d b d
Usando esta ideia e o fato de que o conjunto dos naturais não é limitado superi-

ormente, podemos concluir dois resultados:

Teorema 4.1.1 Dado um número real a > 0 existe um inteiro n0 > 0 tal que
1
< a.
n0

Demonstração: A prova deste resultado é simples, pois dado n ∈ N existem três

1 1
opções para uma fração
n
. Podemos ter
n
< a, e então nada há a provar. Podemos

1 1
ter
n
=a e assim
n+1
< a. Suponhamos então, por absurdo, que estes dois casos

1
não possam acontecer. Então
n
>a para todo número inteiro positivo n. Teremos
1
que n< ; ∀n ∈ N ou seja, o conjunto dos naturais é limitado superiormente, o que
a
1
é um absurdo. Logo, existe n0 tal que < a.
n0

20
4.1. EUDÓXIO E O MÉTODO DE EXAUSTÃO

Teorema 4.1.2 (princípio de Arquimedes) Dados dois números reais positivos

a e b existe um número inteiro positivo n tal que na > b.

a
Demonstração: Dado o número , pelo teorema 4.1.1, existe um número
b
1 a
natural n0 tal que < , o que nos leva concluir que n0 a > b
n0 b

Observação 4.1.1 O teorema 4.1.2 (princípio de Arquimedes) pode ser expresso

de forma equivalente como segue: Dados dois números reais positivos a e b existe
b
um número natural n tal que <a
n

Em resumo, o princípio de Arquimedes argumenta que quando duas grandezas

são desiguais, é possível achar um múltiplo de qualquer uma delas que seja maior

que a outra. Essa ideia serviu de norte para a demonstração do metodo de Exaustão.

Esse método tem por base o seguinte teorema:

Teorema 4.1.3 Dadas duas grandezas distintas, se da maior se subtrai mais que

sua metade, e do restante mais que sua metade, e assim por diante, acabará sobrando

uma grandeza menor do que a menor das grandezas dadas.

Demonstração: Considere a e b duas grandezas do mesmo tipo (gura 4.1) e

suponha, sem perda de generalidade, que a > b. De acordo com o teorema 4.1.2

Existe um número natural n, tal que nb > a. Nestas condições tomemos as grandezas

Figura 4.1: nb > a

a e nb. Se de a retirarmos mais do que sua metade e de nb retirarmos b (que é

21
4.1. EUDÓXIO E O MÉTODO DE EXAUSTÃO

1
menos que metade de nb), restam-nos duas grandezas a1 < a e (n − 1)b, tais que
2
(n − 1)b > a1 .

Figura 4.2: (n − 1)b > a1

Se, por um processo idêntico ao anterior, de a1 retirarmos mais do que sua metade
e de(n−1)b retirarmos novamente b (que é menos que metade de (n−1)b ) caremos
1
com duas grandezas a2 < a1 e (n − 2)b, tais que (n − 2)b > a2 .
2
Ao m de (n − 2) passos, obtemos uma grandeza an−2 tal que 2b > an−2 . Se

de an−2 retirarmos mais que sua metade e de 2b retirar b sobra uma grandeza an−1
tal que b > an−1 (pois a 2b retirou-se exatamente a metade). Assim, ao m de

(n − 1) passos, obtém-se uma grandeza an−1 menor do que b, a menor das grandezas
inicialmente dadas, o que prova o princípio de Eudoxo-Arquimedes.

Observação 4.1.2 O teorema pode ser provado de forma semelhante mesmo se as

partes subtraídas forem iguais às metades.

Para darmos uma pálida ideia do que é o método de exaustão, nome dado no

século XVII por Gregório de S. Vicente, vamos apresentar a demonstração da fórmula

do volume de uma pirâmide, resultado bem conhecido da geometria espacial, nos

apropriando desse método.

22
4.2. VOLUME DA PIRÂMIDE PELO MÉTODO DE EXAUSTÃO

4.2 Volume da pirâmide pelo método de Exaustão

Essa demonstração parte da premissa de que o volume de um prisma é conhecido.

Trata-se de uma construção interessante de prismas internos a pirâmides.

Seja ABCD uma pirâmide de base triangular. Vamos construir dois prismas

também de base triangular no interior dessa pirâmide.

• O primeiro prisma que vamos analisar é formado pelos vértices E , F , G, H ,

I, respectivos pontos médios dos segmentos AC , CB , BD, AD e AB , e pelo

vértice B.

Figura 4.3: Prisma 1

1
Observe que a área do triângulo ∆F BG equivale a da área do triângulo ∆CBD
4
1 1
(
2
da base vezes
2
da altura ), cuja área chamaremos de S.

1 1 1
Vprisma1 = S h = Sh
4 2 8

• O outro prisma é formado pelos vértices E , F , G, H , D e J, ponto médio do

lado CD.

Observe que esse prisma equivale a metade de um paralelepípedo com área da

base igual a metade da área do triângulo ∆ABC e sua altura é igual a metade

da altura da pirâmide.

23
4.2. VOLUME DA PIRÂMIDE PELO MÉTODO DE EXAUSTÃO

Figura 4.4: Prisma 2

 
1 1 1 1
Vprisma2 = S h = Sh
2 2 2 8

Somando o volume dos dois prismas temos:

1 1 1
V1 = Sh + Sh = Sh.
8 8 4
Chamamos essa etapa de V1 pois, vamos repetir esse processo sucessivamente,

onde em cada etapa n iremos obter um Vn .

Figura 4.5: Representação de V1

Perceba que ao fazer tal construção surgem duas pirâmides menores, AIEH e

EF CJ , que são semelhantes a pirâmide ABCD e congruentes entre si. Notemos

24
4.2. VOLUME DA PIRÂMIDE PELO MÉTODO DE EXAUSTÃO

que AIEH é congruente a pirâmide IBF G e esta por sua vez está contida no prisma
IEHBF G (prisma 1). De modo análogo EF CJ é congruente a HGJD e esta por

sua vez está contida no prisma EF IHGD (prisma 2).

Repetindo o processo utilizado na pirâmide ABCD para as pirâmides AIEH e

EF CJ , resultantes da primeira etapa, iremos encontrar quatro prismas com volume

1
igual a Sh.
64

Figura 4.6: Pirâmide e método da exaustação

Somando esses volumes temos:

1 1 1 1 4 1
V2 = Sh + Sh + Sh + Sh = Sh = Sh.
64 64 64 64 64 16

Podemos repetir esse procedimento agora indenidamente, onde em cada etapa

n teremos:
 n
1
Vn = Sh
4
sendo que em cada etapa o número de prismas formados será o dobro do número de

prismas da etapa anterior. Como o volume dos prismas construidos em cada etapa

é maior do que o volume das pirâmides resultantes de cada uma dessas, podemos

fazer a diferença entre o volume da pirâmide ABCD e a soma dos volumes dos

prismas se tornar tão pequena quanto queiramos, caracterizando assim um processo

de exaustão.

25
4.2. VOLUME DA PIRÂMIDE PELO MÉTODO DE EXAUSTÃO

Somando essas etapas teremos o volume da pirâmide.

∞
 n
P 1 1 1 1  1  1
Vpirâmide = Sh = Sh + Sh + Sh + · · · = 1−4 1 Sh = Sh
n=1 4 4 4 4 4 3
Perceba que mesmo para uma pirâmide com outras bases podemos utilizar a mesma

fórmula, uma vez que podemos seccionar em várias pirâmides de base triangular.

Figura 4.7: Volume de uma pirâmide qualquer

1 1 1 1
Vpirâmide = S1 h + S2 h + S3 h + · · · + Sn h
3 3 3 3
1
Vpirâmide = (S1 + S2 + S3 + · · · + Sn ) h
|3 {z }
S
1
Vpirâmide = Sh
3

26
Capítulo 5

Quadratura da Parábola

No tratado A quadratura da Parábola [6], Arquimedes realizou outra das suas

espetaculares proezas, ao mostrar como se calcular a área de um segmento qualquer

de parábola, região delimitada por um arco de parábola e pelo segmento que une as

extremidades de tal arco.

Figura 5.1: Segmento parabólico

O que ele provou foi que a área do segmento de parábola AB assim denido é

igual a 4/3 da área do triângulo ∆AP B , onde P é o ponto de cruzamento da parábola

27
5.1. CONCEITOS NOTÁVEIS

com a reta paralela ao eixo passando pelo ponto M, médio de AB (note que, em

geral, P não é o vértice da parábola). Trata-se de um resultado inesperado e nada

intuitivo, obtido por articuladas combinações da geometria euclidiana.

O método proposto por Arquimedes para quadrar uma parábola baseia-se em

três pontos:

1. Um teorema, o qual chamaremos de Teorema preliminar .

2. As propriedades elementares de uma parábola.

3. Triângulos construídos por retas tangentes e segmentos internos a parábola,

os triângulos de Arquimedes, os quais deniremos com mais detalhes ao longo

do texto.

5.1 Conceitos Notáveis

Nesta seção vamos relembrar alguns conceitos e demonstrar alguns teoremas da

geometria plana essenciais para a demonstração desse tratado.

Denição 5.1.1 (Mediatriz) Denomina-se mediatriz de um segmento de reta, a

reta perpendicular ao segmento que passa pelo seu ponto médio.

Figura 5.2: Mediatriz

Na gura abaixo, M é ponto médio do segmento AB e m é a mediatriz de AB .

28
5.1. CONCEITOS NOTÁVEIS

Proposição 5.1.1 todo ponto da mediatriz equidista dos extremos do segmento.

Demonstração: Seja P um ponto qualquer da mediatriz do segmento AB .

Temos que AM = M B (por construção), que BM cP = 90◦
cP = AM (ângulo reto),

e que MP é um lado comum aos triângulos ∆AM P e ∆BM P , logo, pelo caso de

congruência LAL esses triângulos são congruentes e por conseqüência AP = P B .

Proposição 5.1.2 Só os pontos da mediatriz equidistam dos extremos desse seg-

mento.

Demonstração: Seja E um ponto qualquer do plano, tal que EA = EB , vamos

provar que E pertence à mediatriz de AB . De fato, ligando E ao ponto médio de

AB formamos dois triângulos: ∆AM E e ∆BM E .

Figura 5.3: Unicidade da mediatriz

Temos que AM = M B (por construção), AE = EB (por hipótese) e EM é

um lado comum aos triângulos ∆AM E e ∆BM E . Pelo caso de congruência LLL esses

triângulos são congruentes o que nos leva a conluir que os ângulos AM

cE e BM
cE são

retos, uma vez que são congruentes e adjacentes suplementares. Assim a reta EM
é perpendicular ao segmento AB passando pelo seu ponto médio. Pela unicidade

da perpendicular temos que EM = m, o que nos leva a concluir que E pertence à

mediatriz m de AB .

29
5.1. CONCEITOS NOTÁVEIS

Observação 5.1.1 O ponto de encontro das mediatrizes de um triângulo é chamado

de circuncentro. Ele é o centro da circunferência na qual o triângulo está inscrito.

Figura 5.4: circuncentro

Teorema 5.1.1 (Base Média) Se por M , ponto médio de AB num triângulo ∆ABC ,
traçamos uma reta r paralela ao lado BC , esta encontra o lado AC , necesariamente,

no seu ponto médio.

Demonstração: Seja N o ponto médio de AC . Trace uma semi-reta pelo ponto

C, paralela ao lado AB , a qual encontrará r num ponto D. Como mostra a gura

5.5 abaixo.

Figura 5.5: base média de um triângulo

Então, o quadrilátero M BCD é um paralelogramo, pois seus lados são paralelos,

logo M B = CD. Sabemos por hipótese que AM = M B , sendo assim AM = CD.

30
5.1. CONCEITOS NOTÁVEIS

Observe que os ângulos AM

cN e C DN
b são alternos internos e os ângulos AN
bM e

DN
bC são opostos pelo vértice. Pelo caso de congruência ALA os triângulos ∆AM N
e ∆CDN são congruentes logo AN = N C . Assim N é o ponto médio de AC .

Corolário 5.1.1 O segmento que une os pontos médios de dois lados de um triân-

gulo é paralelo ao terceiro lado, e sua medida é igual à metade da medida do terceiro

lado.

Demonstração: De acordo com o teorema anterior, sabemos que M N = BC

e os triângulos ∆AM N e ∆CDN são congruentes. como M BCD é um paralelogramo
MN
temos que BC = M D = 2M N , ou seja, BC =
2

Teorema 5.1.2 A reta que passa pelo ponto médio de um dos lados não-paralelos

de um trapézio e é paralela as suas bases passa pelo ponto médio do outro lado não

-paralelo.

Figura 5.6: Reta paralela as bases do trapézio

Demonstração: Considere o trapézio ABCD e a reta r que passa pelo ponto

M1 ponto médio do lado AD e paralela as bases AB e CD. Sejam E e F, projeções

ortogonais de M2 , que é o ponto de interseção entre r e BC , e o ponto C, respecti-

vamente.Perceba que EM2 = AM1 = F C = M1 D e os ângulos E BM

b 2 e FM
c2 C são

31
5.2. PARÁBOLAS

congruentes. Como os triângulos ∆BEM2 e ∆F M2 C são retângulos temos pelo caso

ALA que eles são congruentes o que nos leva a concluir que M2 é ponto médio de

BC .

5.2 Parábolas
Para calcular a área de um segmento parabólico Arquimedes demonstrou impor-

tantes teoremas e proposições, que foram fundamentais para a realização de seus

cálculos. Para compreender essas proposições, começaremos essa seção relembrando

conceitos mais elementares intrísecos as parábolas.

Denição 5.2.1 (Conceito de Parábola) Seja d uma reta e F um ponto fora

desta. Chamamos parábola ϕ de diretriz d e foco F o conjunto dos pontos P (x, y)

tais que a distância de P a F é igual a distância de P a d.

Figura 5.7: elementos da parábola

Observe que na gura acima aparecem outros elementos da parábola além da

diretriz e do foco. são eles:

32
5.2. PARÁBOLAS

• eixo: reta que passa pelo foco e e perpendicular a diretriz

• vértice (V ): ponto do eixo que pertence a parábola, isto é, ponto médio do

segmento determinado pelo foco e o ponto de interseção entre a diretriz e o

eixo;.

A parábola corresponde ao lugar geométrico dos pontos do plano que equidistam

de um ponto xo (foco) e de uma reta (diretriz). Observe que uma parábola separa

os demais pontos do plano em duas regiões: uma, onde cada ponto tem distância ao

interior da curva) e outra onde a distância

foco menor que sua distância à diretriz (

de cada ponto ao foco é maior que a distância à diretriz (exterior da curva).

Figura 5.8: Lugar Geométrico dos pontos interiores e exteriores à Parábola

Vamos também denir um procedimento geométrico para encontrar reta tangente

a parábola [5]. Lembramos que uma reta r é tangente a uma parábola em um ponto

P da mesma quando todos os pontos de r, com exceção do ponto P , estão no exterior

da parábola. Essa construção é um passo importante na determinação da área do

segmento parabólico. A ideia é simples - De um ponto P da parábola trace a sua

projeção ortogonal a reta diretriz, ligue esse ponto ao foco da parábola. A reta que

passa pelo ponto P e pelo ponto médio do segmento que possui como extremidades

o foco da parábola e a projeção ortogonal de P é necessáriamente a reta tangente a

33
5.2. PARÁBOLAS

parábola nesse ponto. veja a demonstração.

Proposição 5.2.1 (Tangente à parábola) Sejam P um ponto da parábola ϕ de

foco F e diretriz d, D a projeção ortogonal de P sobre a diretriz, e t a reta que passa

pelo ponto P e pelo ponto médio do segmento segmento F D. Temos que t é tangente

à parábola ϕ no ponto P sendo também a mediatriz do segmento FD e bissetriz do

ângulo DPbF .

Figura 5.9: Reta tangente a parábola

Demonstração: Seja M o ponto médio de FD temos que DM = M F , P F =

P D (denição de parábola), e P M é um lado comum dos triângulos ∆F P M e ∆DP M ,
logo, pelo caso de congruência LLL esses triângulos são congruentes. Perceba que os

ângulos DPbM e FM
cP são retos, pois são congruentes e adjacentes suplementares,

logo a reta t é mediatriz do lado F D e bissetriz do ângulo DPbF . Basta agora provar

que t é tangente a parábola no ponto P, ou seja, todos os demais pontos dessa reta

são exteriores a parábola. Para isso, tomemos agora Q um ponto qualquer da reta

34
5.2. PARÁBOLAS

t, distinto de P. Se D1 é projeção ortogonal do ponto Q na diretriz temos que o

triângulo ∆D1 QD é reto e que QD1 < QD (hipotenusa) e, portanto, QF = QD >

QD1 ou seja, Q é um ponto exterior à parábola. Logo, concluímos que a reta t é

tangente à parábola em P.

Teorema 5.2.1 (Preliminar) Sejam A e B dois pontos de uma parábola e O o

ponto de interseção entre as retas tangentes à parábola passando por esses pontos.

A reta que passa pelo ponto O e é paralela ao eixo da parábola passa pelo ponto

médio do segmento AB .

Demonstração:

Figura 5.10: Teorema preliminar

35
5.3. TRIÂNGULOS DE ARQUIMEDES

Sejam A1 e B1 as projeções ortogonais de A e B sobre a reta diretriz. Desta

forma, a reta r que passa pelo ponto médio M1 do segmento A1 F e pelo ponto A
é tangente a parábola no ponto A segundo a proposição 5.2.1. Da mesma forma a

reta s que passa pelo ponto médio M2 do segmento B1 F e pelo ponto B é tangente

a parábola no ponto B. Observe que r e s são mediatrizes do triângulo ∆A1 B1 F .

seja t uma reta paralela ao eixo da parábola e que passa por O, circuncentro do

triângulo ∆A1 B1 F , então t é perpendicular ao segmento A1 B1 , o que nos leva a

concluir que t também é mediatriz do triângulo ∆A1 B1 F , passando pelo ponto médio
M3 do segmento A1 B1 . Perceba ainda que AA1 B1 B é um trapézio, logo pelo teorema
5.1.2, t passa pelo ponto médio M do segmento AB .

5.3 Triângulos de Arquimedes

Denição 5.3.1 (Triângulo de Arquimedes) Seja O o ponto de interseção en-

tre as retas tangentes r e s relativas aos ponto A e B de uma parábola. O triângulo

∆ABO é denominado triângulo de Arquimedes relativo ao segmento de parábola AB .

Os triângulos de Arquimedes são de signicativa importância para o tratado Qua-

dratura da parábola. Eles são originados a partir do segmento de reta que delimita

o segmento parabólico e pelo ponto de interseção das retas tangentes aos extremos

desse segmento. Arquimedes percebeu que esses triângulos poderiam ser subdividi-

dos em quatro outros triângulos com áreas estratégicamente correlacionadas. Essas

subdivisões seriam repetidas sucessivas vezes e dariam origem a série:

∞
 n
P 1 1 1 1
=1+ + + + ...
n=0 4 4 16 64

Observe a seguinte construção:

Considere o triângulo de Arquimedes ∆ABO . A partir do ponto O em que as

tangentes se cruzam, trace uma paralela ao eixo. Segundo o Teorema 5.2.1, esta

36
5.3. TRIÂNGULOS DE ARQUIMEDES

Figura 5.11: Construção 1 - triângulos de arquimedes

paralela cortará o segmento AB em seu ponto médio M e a parábola num ponto P.

Trace por P a tangente u a parábola. Sendo C e D os pontos em que u corta as

retas r e s, respctivamente. Traçando-se por C uma paralela ao eixo, pelo Teorema

5.2.1 esta cortará o segmento AP em seu ponto médio k. De acordo com o Teorema

5.1.1, a paralela à base do triângulo ∆AP M que passa pelo ponto médio de AP passa,
0
também, pelo ponto médio do segmento AM , ou seja, M é ponto médio de AM . Da

mesma forma, traçando por D uma paralela ao eixo, essa interceptará o segmento
00
BP no seu ponto médio L, e o segmento MB no seu ponto médio M . Como o
0
segmento CM 0 é paralelo a base do triângulo ∆AOM e passa por M , ponto médio

de AM , então pelo Teorema 5.1.1, o segmento CM 0 corta AO no seu ponto médio

. Logo, C é o ponto médio de AO. De maneira análoga, temos que D é o ponto

médio de OB . Concluindo que a reta CD, ou seja u, passa pelos pontos médios dos

segmentos AO e OB do triângulo ∆ABO . De acordo com o corolário 5.1.1 o segmento

CD é paralelo a AB e igual a sua metade(base média). Além disso os triângulos

∆M 00 BD e ∆P DO são congruentes, o que nos leva a concluir que M 00 D = P O = M P ,

ou seja, P é ponto médio do segmento OM .

37
5.3. TRIÂNGULOS DE ARQUIMEDES

Sendo assim, a tangente CD e os segmentos P B e AP dividem o triângulo ∆AOB ,

cuja área chamaremos de S, em quatro triângulos:

Figura 5.12: Sub-divisões do Triângulo de Arquimedes

• O triângulo ∆AP B , interno a parábola, possui a mesma base de ∆AOB , cuja

área chamaremos de S0 , mas a altura de AP B é a metade da altura de AOB ,

S
logo área de ∆AP B é a metade da área do triângulo ∆AOB , ou seja, S0 = .
2
• Considere o triângulo ∆COD , externo a parábola. Perceba que a base do

triângulo ∆COD equivale a metade da base do triângulo AOB e sua altura

S S0
também equivale a metade da altura de ∆AOB , ou seja, ACOD = =
4 2
• Finalmente, considere os triângulos ∆AP C e ∆P BD que são triângulos de ar-

quimedes relativos aos segmentos de parábola AP e P B, respectivamente.

1
Perceba que a soma das suas áreas é igual a da área do triângulo ∆AOB .
4

38
5.3. TRIÂNGULOS DE ARQUIMEDES

AAOB = AAP B + ACOD + AAP C + AP BD

S S
S= + + AAP C + AP BD
2 4
S S0
AAP C + AP BD = =
4 2
0 00
Tome os pontos P e P em que CM 0 e DM 00 cortam a parábola. Temos que

o triângulo ∆AP 0 P é interno ao triângulo ∆AP C , assim como o triângulo ∆P P 00 B é

interno ao triângulo ∆P BD , temos que a soma das suas áreas equivale a metade da

soma das áreas dos triângulos ∆AP C e ∆P BD :

1 1 1 1 1 1
AAP 0 P + AP P 00 B = AACP + AP DB = (AACP + AP DB ) = × × AAP B = S0 .
2 2 2 2 2 4

Figura 5.13: Construção 2 - triângulos de arquimedes

Acabamos por provar que a soma das áreas dos triângulos ∆AP 0 P e ∆P P 00 B é um

quarto da área do triângulo ∆AP B (ver gura 5.13).

39
5.4. QUADRATURA DA PARÁBOLA E O MÉTODO DE EXAUSTÃO

5.4 Quadratura da Parábola e o Método de Exaus-

tão
O processo agora pode ser repetido indenidamente, onde em cada etapa soma-

mos áreas equivalentes a 1/4 das áreas agregadas na etapa anterior. O que nos leva

a uma sequência cujo termo geral an é igual a:

 n
an−1 1
an = = S0
4 4

Observação 5.4.1 an é a n-ésima etapa desse processo. É importante ressaltar

que quando destacamos do segmento de parábola o triângulo ∆AP B estamos retirando

mais da metade da área do segmento. Como isso se repete em cada etapa, o Teorema

4.1.3 (Eudóxio) permite armar que estamos em um processo de exaustão, ou seja,

a diferença entre a área do segmento e a soma das áreas dos sucessivos triângulos

pode ser feita tão pequena quanto queiramos.

Concluímos que a área do segmento parabólico AB é dada por :

∞  n
1 1 1 X 1
Aseg = S0 + S0 + 2 S0 + 3 S0 + · · · = S0
4 4 4 n=0
4

Hoje acostumados a somar progressões geométricas com innitos termos, diría-

4
mos imediatamente que a soma é S0 . Também é possível concluir que a área do
3
2
segmento parabólico é da área do triângulo ∆ABC . Arquimedes, entretanto, teve
3
que chegar ao mesmo resultado usando outro método, o qual ele chamou de dupla

redução ao absurdo [3].

5.5 Método de Dupla redução ao absurdo

Para entender o que Arquimedes fez, observe:

S n = S 0 + a1 + a2 + a3 + · · · + an

40
5.5. MÉTODO DE DUPLA REDUÇÃO AO ABSURDO

Como já sabemos, a área dos triângulos removidos em cada etapa somam 1/4 do

total das áreas dos triângulos removidos na etapa imediatamente anterior, ou seja:

an−1
an = , ou 4an = an−1
4
Para lidar com Sn , Arquimedes provou que se a ela adicionarmos 1/3 do último

termo an obtemos o número 4S0 /3, independente de n. Isso se faz notando que:

an 4an an−1
an + = =
3 3 3

Então,

an  an 
Sn + = (S0 + a1 + a2 + a3 + · · · + an−1 ) + an +
3 a an−13
n
Sn + = (S0 + a1 + a2 + a3 + · · · + an−1 ) +
3 3

Isto é,

an an−1
Sn + = Sn−1 +
3 3

Se substituirmos o índice n por n − 1, depois n − 2, etc, obteremos:

an an−1 an−2 S0
Sn + = Sn−1 + = Sn−2 + = · · · = S0 +
3 3 3 3
isto é:

an S0 4
Sn + = S0 + = S0
3 3 3
Estamos agora prontos para terminar a demonstração com a dupla redução ao

absurdo. Segundo [2] devemos explorar duas hipóteses:

4S0 4S0
hipótese 1: Vamos supor que Aseg > . Sendo assim dados Aseg e Aseg − ,
3 3
dois números reais e positivos, Pelo Teorema 4.1.3, depois de um certo número n de

etapas de remoções de triângulos, obteremos:

4S0 4S0 an 4
Aseg −Sn < Aseg − , logo Sn > . O que é um absurdo pois Sn + = S0 .
3 3 3 3

41
5.5. MÉTODO DE DUPLA REDUÇÃO AO ABSURDO

4S0 4S0
hipótese 2: Suponha agora que Aseg < . Assim, dados S0 e − Aseg , dois
3 3
S0 4S0
números reais positivos, Pelo Teorema 4.1.1 existe um n tal que < − Aseg ,
4n 3
S0 4S0
ou seja, existe um n an = n é menor
tal que do que − Aseg .
4 3
an 4S0 4S0 an
como já sabemos Sn + = , então − Sn = . Portanto podemos
3 3 3 3
facilmente concluir que:

4S0 an 4S0 4S0 4S0

− Sn = < an < − Aseg =⇒ − Sn < − Aseg
3 3 3 3 3
Esse resultado nos leva a concluir que Sn > Aseg , o que é um absurdo uma vez

que Sn constitui de sucessivas partições do segmento parabólico, ou seja, Sn < Aseg .

Com isso Arquimedes demonstrou que a área do segmento de parábola não pode ser
4S0
nem menor nem maior do que , logo deve ser igual a esse número.
3

42
Conclusão

Os gregos estiveram a um passo da construção do Cálculo dois séculos antes

de Cristo, sem ter ainda sequer uma linguagem algébrica simbólica [1], mas, foram

limitados pela falta de conhecimento sobre o innito. Assim como os gregos, mui-

tos alunos esbarram nas diculdades representadas pela linguaguem matemática do

Cálculo e pelo direcionamento limitado da noção de innito.

Ao estudar Sequências Numéricas, Progressões Aritméticas e Progressões Geo-

métricas, conteúdos estes que já fazem parte da base curricular do Ensino Médio,

percebemos que ainda é possível modicar o enfoque que hoje é dado a esses assun-

tos, facilitando a compreensão de alguns conceitos, em especial, os que fazem uso

da ideia de innito, e torná-los mais atrativos. O uso da História da Matemática

pode servir como uma ferramenta motivadora, além de dar uma nova forma de ver

e entender a matemática.

Ao compreender o problema da quadratura da parábola e outros problemas pro-

postos no trabalho conseguimos mostrar como se deu a evolução nos processos uti-

lizados para trabalhar com somas innitas, além de sinalizarmos para o cuidado

quando lidamos com essas somas. Caso divergente, alguns resultados não podem ser

obtidos utilizando operações que naturalmente dariam certo para uma quantidade

nita de parcelas a somar (olhar a Seção 3.6). Fazendo isso, além de desmisticar

que a Matemática é uma ciência pronta e acabada, ou seja, que ela está em constante

mudança, contribuímos para a consolidação da base conceitual dos alunos sobre o

43
5.5. MÉTODO DE DUPLA REDUÇÃO AO ABSURDO

uso de processos innitos, que é fator fundamental para o sucesso na aplicação em

qualquer outra área da Matemática.

Na nalização deste trabalho reforçamos a importância do professor ter domínio

sobre limites e séries para que assim ele possa conduzir o seu aluno a ter uma

concepção intuitiva correta sobre esses tópicos, permitindo que esse possa fugir de

eventuais contradições e diculdades ao ingressar no Ensino Superior.

44
Referências Bibliográcas

[1] Amadei, F. L.;O Innito: um obstáculo no estudo da Matemá-

tica. 2005. 122p. Dissertação (Mestrado em Educação Matemá-

tica) - PUC, p. 48 - 49, São Paulo, 2005. Disponível em: <

http://www.sapientia.pucsp.br//tde_busca/arquivo.php?codArquivo=1311 >

Acesso em: 14 jan. 2014.

[2] Ávila,Geraldo;Arquimedes, o rigor e o Método, SBM, pg. 39 - 41,

1991. Disponível em: < http://matematicauniversitaria.ime.usp.br/Conteudo

/n04/n04_Artigo_01.pdf>,Acesso em:22 Mar/2014.

[3] Ávila,Geraldo;Ainda as séries innitas,RPM 31, pg.9 - 10, 1991.

[4] Barco, Luiz ; Em Busca do Innito. Superinteressante, São Paulo, p. 65 - 65,

01 nov. 1988.

[5] Dorrie, H.;100 Great Problems of Elementary Mathematics, Their History and

Solution. Dover,1965.

[6] Garbi,Gilberto; A rainha das ciências, 3 e.d. Editora livraria da física, São

Paulo, 2006.

[7] Iezzi, G.; Murakami, C.; Machado, N.J. Fundamentos de matemática elementar.

Vol. 8 (Limites, Derivadas, Noções de Integral). 5a ed. São Paulo, Atual Editora,

1993.

45
Referências Bibliográficas

[8] Ifrah, G. Os Números: A História de uma grande invenção, p.333,7 ed. São

Paulo: Editora Globo S.A, 1994.

[9] Lima, Ellon Lages; Análise Real volume 1,8 e.d. IMPA, p. 37 - 45, Rio de

Janeiro, 2006.

[10] Mometti, A. L.; O Innito e as Metáforas no Ensino de Cálculo. 2007. 272p.

Tese (Doutorado em Educação Matemática)- PUC, São Paulo, 2007.

[11] Paranhos, P. J.; Innitos Enumeráveis e Não Enumeráveis. 2005.

122p. Dissertação (Mestrado PROFMAT) . UFF,Rio de Janeiro,2013.

Disponível em <http:bit.profmat-bm.org.br/xmlui/bitstream /han-

dle/123456789/506/2011_00401_PEDRO_JOL_PARANHOS.pdf ?sequence=1>

Acesso em 31 out. 2013.

[12] Vaccari, A.; Pacheco, E.R.; O Método de Exaustão em Textos de Histó-

ria da Matemática,Tese (Graduação de Matemática)-Universidade Estadual

do Centro-Oeste, Paraná, 2007. Disponível em: < http://www.academia.

edu/4619393/O_M> Acesso em:08 nov/2014.

46