1

Universidade Federal da Paraba

Departamento de Matemtica
Ps-Graduao em Matemtica
TCC
EVOLUO NO CLCULO DE REAS DE FIGURAS PLANAS
DE ARQUIMEDES A NEWTON
MESTRANDO: AURILIO DA SILVA GUEDES
ORIENTADOR: PROF. Dr. CARLOS BOCKER
CO-ORIENTADOR: PROF. MSc. GILMAR OTVIO CORREIA
2013
Captulo 1
Desenvolvimento dos conceitos de reas de guras simples: tringulos,
quadrilteros e polgonos em geral.
UMA ABORDAGEM HISTRICA
Ao pensar na origem do conceito de rea me pergunto se esse conceito teria
sido construdo pelo homem ou se, assim como o senso numrico, um conceito
inerente ao ser humano, antes mesmo que ele pudesse ter conscincia disso.
H indcios histricos de que ocorreram sociedades avanadas, que se instalaram
ao longo dos rios Nilo, no Egito, Tigre e Eufrates, na Mesopotmia, Indo e
Ganges, no centro-sul da sia e, Huang ho e Yangtz na sia oriental. Essas so-
ciedades, conhecidas por suas habilidades em engenharia, drenagem de pntanos
e irrigao, construram obras de defesa contra inundaes, grandes edifcios e estru-
turas por meio de projetos que requeriam muita geometria prtica.
1
Essas civilizaes foram responsveis pelo desenvolvimento de muitas tecnolo-
gias e consequentemente de conhecimentos matemticos, tais como o clculo de
um calendrio adequado e a elaborao de um sistema de pesos e medidas para ser
utilizado na colheita, armazenamento e distribuio de alimentos.
Alguns dos principais documentos histricos atestam os conhecimentos ge-
omtricos das antigas civilizaes atravs dos papiros de Moscou ( ou Golenishev )
e Rhind ( ou Ahmes ), datados de 1850 e 1650 a.C. , respectivamente.
Anlises desses papiros constataram que os egpcios tinham vrios conhecimen-
tos geomtricos e resolviam problemas relacionados geometria. De acordo com
EVES ( 1995, p.75 ), vinte e seis dos 110 problemas dos papiros de Moscou e
Rhind so geomtricos. E segundo BOYER ( 1974, p.13 ), o papiro Ahmes contm
alguns problemas geomtricos, como o problema 51, que mostra o clculo da rea
de um tringulo issceles atravs da multiplicao da metade da medida da altura, e
o problema 52 que trata da rea do trapzio issceles de modo semelhante.
H tambm indcios de que egpcios e babilnios dispunham de mtodos ecientes
para o clculo da rea do crculo e conheciam regras gerais para calcular a rea de
tringulos, retngulos e trapzios, e as utilizavam para calcular, de forma aprox-
imada, as medidas dos terrenos cultivados, mesmo quando tinham a forma
de guras mais complexas. Em geral a unidade de medida utilizada era um
quadrado, mas em algumas situaes a estratgia utilizada era decompor a super-
fcie em tringulos ou retngulos e calcular a sua rea como a soma das reas das
regies resultantes desta decomposio.
No se sabe ao certo porque o quadrado foi escolhido para unidade de rea,
talvez por ser a gura plana mais simples. Dentre as muitas verses apresentadas,
uma delas que a escolha foi inspirada pela maneira de se tecer uma cesta, arte
que precedeu a ao. Outra, que foi o resultado do uso de ladrilhos de mosaicos
hindus e chineses ou sugeridas pelos padres quadriculados que decoravam a
cermica produzida pelos babilnios.
Na Grcia antiga, por volta de 300 a.C. , o gemetra grego Euclides produzia
sua obra prima intitulada Os Elementos, que reuniu de modo sistematizado os
principais conhecimentos de seus precursores. A maior parte do contedo da
obra se refere geometria, entretanto tambm contempla teoria dos nmeros e
lgebra elementar ou geomtrica. Essa obra tem grande inuncia na forma como
tratamos a geometria nos currculos escolares da educao bsica.
Na obra de Euclides, a ideia de rea est associada ao conceito de igualdade en-
tre guras ( equivalncia ). Isto pode ser observado quando enuncia que tringulos
com bases iguais, situados entre as mesmas paralelas so guras iguais ( equiva-
lentes ), e que paralelogramos com bases iguais situadas entre as mesmas par-
alelas tambm so guras iguais. Ou seja, duas guras so equivalentes quando tm
a mesma grandeza ( ou mesma rea ).
2
ALGUNS CONCEITOS DE REA
1. A rea o lugar ocupado por uma superfcie.
2. rea um conceito matemtico que pode ser denida como quantidade de
espao bidimensional, ou seja, de superfcie. ( WIKIPDIA ).
3. rea uma extenso de espao compreendida dentro de certos limites; superf-
cie. ( INFOPDIA )
4. rea de uma superfcie limitada o nmero real positivo associado superfcie
de tal forma que:
5. As superfcies equivalentes esto associadas a reas iguais e reciprocamente.
6. A uma soma de superfcies est associada uma rea que a soma das reas das
superfcies parcelas.
7. Se uma superfcie est contida em outra, ento sua rea menor ( ou igual )
do que a rea da outra. ( GELSON IEZZI )
Nos atuais parmetros escolares do Brasil, prevalece o conceito de rea como
grandeza, assim, vejo um bom conceito de rea como o saber matemtico que
permite comparar e medir uma superfcie. Falando em superfcie, vou me referir a
uma poro do plano limitada por uma gura plana. Medir uma superfcie signica
obter um nmero que represente a poro do plano ocupada por essa regio. Essa
medida chamada de rea.
Assim, para medir a superfcie de uma regio necessrio uma outra superfcie como
unidade de medida e vericar quantas vezes essa unidade cabe dentro dessa regio
a ser medida Em geral, toma-se um quadrado como unidade de medida e o nmero
de vezes obtido a rea da regio medida. Outro recurso utilizado a decomposio
de uma gura em outras cujas reas sejam conhecidas.
Essas estratgias tm suas origens nos antigos modos de medir, mas podem ser
escritas em linguagem formal, como em LIMA ( 1991, p.21 ), atravs das seguintes
propriedades:
1. Polgonos regulares tm reas iguais.
2. Se P um quadrado com lado unitrio, ento a rea de P igual a 1.
3
3. Se P uma gura plana que pode ser decomposta em n polgonos P
1
,P
2
,...,P
n
,
tais que dois quaisquer deles tm em comum no mximo alguns lados, ento
a rea de P a soma das reas dos polgonos P
i
.
A partir dessas ideias vamos apresentar modos de determinar as reas de algumas
guras planas. Para tanto, assumiremos como unidade de medida um quadrado
cujo lado mede uma unidade de comprimento ( u.c. ), que ser chamado de
quadrado unitrio. Assim, a rea desse quadrado unitrio ser igual a uma unidade
de rea ( u.a. ).
REA DO RETNGULO
O retngulo o quadriltero que possui quatro ngulos retos e lados opostos parale-
los.
Teorema: Dado um retngulo de lados e racionais ou no, sua rea .
Demonstrao: Para ver isso, dividiremos a prova em duas partes. A primeira
supor que e so racionais positivos, isto ,
onde e so inteiros positivos. De , segue-se que
A grandeza a medida comum dos dois lados. Assim,
podemos reescrever as expresses dada em por
Para concluir este caso, subdividimos o retngulo em pequenos quadrados de
lado , cuja rea de cada quadrado . Observe que o nmero total
desses quadrados dado por
A ltima igualdade foi obtida usando . Logo, a rea do retngulo igual ao
nmero total de quadradinhos vezes a rea de cada quadradinho, ou seja,
4
S = N
1
m
2
= m
1
n
2
m
2
n
1

1
m
2
=
m
1
n
2
m
2
n
1
n
2
1
n
2
2
=
m
1
n
1

m
2
n
2
= ab
Para o caso em que e so irracionais, usamos o fato de que existem sequncias
de racionais e tais que
Seja a rea do retngulo de lados e . Sendo esses lados racionais,
pelo item anterior, temos . Denindo:
mostraremos que com e irracionais. De fato, usando as expresses
, temos:
REA DO QUADRADO
Como o quadrado pode ser denido como um retngulo que possui todos os lados
iguais, sua rea pode ser obtida de modo anlogo a rea do retngulo.
Um quadrado Q cujo lado tem como medida a unidades de comprimento, pode
ser recoberto por a.a ou a
2
quadrados unitrios, cada um deles com rea 1.
Assim, podemos expressar a rea do quadrado Q , cujo lado mede a da seguinte
forma:
rea do quadrado Q = a
2
REA DO PARALELOGRAMO
O paralelogramo o quadriltero que tem lados opostos paralelos, assim como o
retngulo. Entretanto, ao tentarmos sobrepor quadrados unitrios para obter sua
rea, nos deparamos com algumas limitaes, pois os seus ngulos internos podem
no ser retos.
5
Para denir a rea do paralelogramo recorremos decomposio, de modo a compar-
la com outra rea j conhecida, no caso o retngulo.
Em um paralelogramo, quando se toma um de seus lados como base, chama-se
altura do paralelogramo distncia entre essa base e o seu lado oposto.
No paralelogramo ABCD, tomando-se AB como base de medida a , o segmento
EF, de medida b , representa a sua altura.
Para obter a rea do paralelogramo efetuamos um corte ao longo de sua altura
EF, e em seguida recompomos as partes de modo a formar um retngulo.
O retngulo formado tem as dimenses a e b , e sua rea dada por a.b . Assim,
podemos dizer que a rea do paralelogramo corresponde ao produto do compri-
mento de uma de suas bases pelo comprimento da altura correspondente.
REA DO TRINGULO
A rea do tringulo pode ser obtida diretamente a partir da rea do paralelogramo,
visto que todo tringulos congruentes tm mesma rea, e todo paralelogramo pode
ser decomposto em dois tringulos congruentes.
No tringulo ABC e no paralelogramo ABCD, a base AB tem medida b e a altura
correspondente CE tem medida a.
A rea de ABCD = a.b , e os tringulos ABC e BCD so congruentes, portanto
a rea do tringulo ABC a metade da rea de ABCD. Ou ainda, a rea de um
tringulo a metade do produto da medida de uma base pela metade da altura
correspondente.
rea do tringulo ABC =
1
2
a b
6
rea de um tringulo equiltero
Considerando o tringulo equiltero ABC de lado l e altura h , vamos calcular
primeiro o valor de h , aplicando o teorema de Pitgoras no tringulo ADB:
l
2
= h
2
+
_
l
2
_
2
l
2
= h
2
+
l
2
4
4l
2
= 4h
2
+ l
2
4h
2
= 3l
2
h
2
=
3l
2
4
h =
l

3
2
Como a rea do tringulo dada por A =
1
2
l h , segue-se que :
A =
1
2
l
l

3
2
A =
l
2

3
4
Frmula de Heron
Essa frmula bastante usada para calcular a rea de um tringulo conhecendo-se
a medida dos seus lados.
Considere-se o seguinte tringulo de vrtices , ngulos internos ( )
e lados .
A frmula de Hero da rea de um tringulo :
em que o semipermetro do tringulo:
Deduo:
7
Seja a altura do tringulo ABC traada sobre o lado . O ponto ,
projeco do vrtice sobre o lado , divide-o em dois segmentos
e , tais que . O teorema de Pitgoras aplicado ao
tringulo ACP traduz-se em
e aplicado ao tringulo BCP em
Como , pelo que
Substituindo e em vem:
donde
Eliminando em , tem-se sucessivamente
Chamando ao semi-permetro do tringulo , vem
e
8
A altura ento igual a :
e a rea do tringulo ABC :
REA DE UM POLGONO CONVEXO QUALQUER
Conhecidas as reas do retngulo, quadrado, paralelogramo e tringulo, podemos
utiliz-las para obter a rea de um polgono qualquer, subdividindo-o em guras
cuja rea j sabemos calcular. A rea do polgono que se quer encontrar ser a soma
das reas das guras em que este foi subdividido.
Tomemos primeiro como exemplo um trapzio ABCD.
Consideremos as bases AB = b
1
e CD = b
2
e a altura do trapzio DE = a .
O segmento de reta AD divide o trapzio nos tringulos ABD e ACD, com bases
b
1
e b
2
respectivamente, e mesma altura a
.
A rea do trapzio a soma das reas
dos dois tringulos:
rea do trapzio ABCD =
ab
1
2
+
ab
2
2
=
a(b
1
+b
2
)
2
Agora, tomemos como segundo exemplo um losango ABCD.
No losango ABCD, consideremos as diagonais AC = d
1
e BD = d
2
. Note que
a diagonal AC subdivide o losango em dois tringulos congruentes, ABC e ACD,
com base comum AC = d
1
e alturas BO e DO iguais a =
d
2
2
9
Desse modo, a rea do losango ser dada por :
rea do losango ABCD = 2
_
d
1

d
2
2
2
_
=
d
1
d
2
2
REA DE POLGONOS REGULARES
Um polgono chamado regular se todos os seus lados e todos os seus ngulos
internos so congruentes. Para se obter a rea de uma superfcie limitada por
um polgono regular, preciso considerar que todo polgono regular de lado l ,
pode ser dividido em n tringulos iguais, sendo n o nmero de lados do polgono.
Cada tringulo tem como base o lado l do polgono e altura igual ao aptema a do
polgono. Lembrando: Aptema de um polgono regular o segmento de reta que
une o centro desse polgono ao ponto mdio de qualquer um de seus lados.
Desse modo, a rea de um polgono regular pode ser obtida multiplicando-se a
rea de cada tringulo pelo nmero de lados n do polgono, o que resulta em:
rea do polgono = n
_
la
2
_
Sendo n.l = 2p ( permetro ), vem que :
rea do polgono =
2pa
2
rea do polgono = p.a , sendo p = semipermetro
Captulo 2
O mtodo de exausto de Arquimedes
UMA ABORDAGEM HISTRICA
10
Arquimedes (Arkhimedes), matemtico grego, nascido em Siracusa na Siclia em
287 a.C.. Estudou, desde jovem, em Alexandria (Egito) onde conviveu com os
grandes gemetras da poca. Habituado, com as costumes da sociedade aristocr-
tica em que vivia, a no valorizar o trabalho manual, procurando sempre uma
justicativa lgica para as concluses que obtinha dos engenhos mecnicos que con-
strua. As atividades de seu pai, o astrnomo Fdias, inuenciaram, sem dvida,
na vocao e formao cientca de Arquimedes.
Dotado de uma inteligncia prodigiosa, Arquimedes assimilou rapidamente
todos os conhecimentos adquiridos pela Humanidade at ao momento e, atravs
de uma admirvel srie de descobertas, ampliou-os grandemente.
Arquimedes proeminente matemtico e inventor grego, escreveu importantes
trabalhos sobre a geometria plana e slida, aritmtica e mecnica. Sem dvida o
maior gnio da Antigidade clssica e um dos maiores de todos os tempos, Ar-
quimedes rene todas as caractersticas que o imaginrio popular atribui a um
verdadeiro sbio.
Seus mtodos anteciparam o clculo integral, 2000 anos antes de ter sido in-
ventado por Newton e Leibniz. Arquimedes tambm provou que o volume de
uma esfera corresponde a dois teros do volume do cilindro circunscrito. Evi-
dentemente ele considerou este como seu maior feito, pois pediu que sua lpide
tivesse uma esfera circunscrita por um cilindro.
Em Geometria, o sbio teve o mrito de conceber mtodos gerais para calcu-
lar as reas de guras planas curvilneas e os volumes de slidos delimitados por
superfcies curvas. Aplicou tais sistemas a vrios casos particulares: esfera, ao
crculo, ao segmento de parbola, rea compreendida entre dois raios e dois pas-
sos sucessivos de uma espiral, aos segmentos esfricos, s superfcies geradas pelas
revolues em torno dos eixos principais dos retngulos (ou melhor, os cilindros), a
entidades geomtricas produzidas pela revoluo dos tringulos (ou seja, os cones),
das parbolas (parabolides), das hiprboles (hiperbolides) e das elipses (elipsides).
Arquimedes tinha, portanto, um sistema de clculo integral dois mil anos antes
de Newton e Leibniz.
Arquimedes no antecipa apenas o clculo integral. Ele pode ser tambm con-
siderado como precursor do clculo diferencial. Na verdade, uma das suas mais
conhecidas e importantes descobertas matemticas a construo da famosa espiral
de Arquimedes.
Alm disso, fez surgir a ideia de innitamente grande ao querer contar os
gros de areia da praia de Siracusa. Esta abordagem da ideia de innito surge
tambm numa das suas obras, onde se prope avaliar o nmero de gros de areia que
seria preciso para encher uma esfera grande como o Universo. Para resolver este
problema, teve de ultrapassar duas diculdades: a primeira, dar as dimenses
do universo; a segunda, criar um modo de escrever o nmero colossal dos gros
de areia. Tarefa tanto mais difcil quanto escrita grega dos nmeros s permitia
escrever nmeros inferiores mirade das mirades (100 000 000).
O MTODO DA EXAUSTO
Arquimedes tambm apresentou uma demonstrao da rea do crculo a partir do
mtodo da exausto, tambm conhecido por Princpio de Euxodo-Arquimedes, pois
tem como base a teoria das propores apresentada por Euxodo de Cnido ( 408
11
355 a.C. ) e Arquimedes de Siracura ( 287 212 a.C. ), que foi o matemtico
que mais explorou esse mtodo na antiguidade ( PINTO, 2004 ).
Euxodo dene uma teoria de propores que aplicvel tanto em grandezas
mensurveis quanto em grandezas incomensurveis, tornando ultrapassada a teoria
aritmtica dos pitagricos.
Para chegarmos na teoria das propores de Euxodo, vamos observar algumas
denies de Euclides :
Denio 3 do Livro V : Uma razo uma espcie de relao a respeito do tamanho
entre duas grandezas do mesmo tipo.
Denio 4 do Livro V : Diz-se que tem uma razo as grandezas que so capazes,
quando multiplicadas, de se exceder uma outra.
Denio 5 do Livro V : Diz-se que grandezas esto na mesma razo, a primeira
para a segunda e a terceira para quarta, quando, dados quaisquer equimltiplos
da primeira e da terceira e dados quaisquer equimltiplos da segunda e da quarta,
os primeiros equimltiplos simultaneamente excedem, so simultaneamente iguais
ou cam simultaneamente aqum dos ltimos. Esta denio consolidada na Denio
6, do mesmo Livro : Grandezas que tm a mesma razo dizem-se proporcionais.
As notao atual, que traduz as denies de Euclides, pode ser escrita da
seguinte forma :
a
b
=
c
d
se, e somente se, dados os inteiros m e n , sempre
que ma < nb, ento mc < nd ; ou se ma = nb , ento mc = nd ; ou se ma > nb ,
ento mc > nd. Note-se que a denio de Euxodo de igualdade de razes conduz-
nos ao processo de reduo ao mesmo denominador, pois :
a
b
=
c
d
se, e s se, ad
= bc , que no mais do que a multiplicao cruzada, usada hoje na manipulao de
fraes, o que formalmente no era feito pelos gregos poca de Euclides ( Boyer,
1996 ).
Do ponto de vista lgico, estas duas denies reduzem a noo de proporo en-
tre dois pares de grandezas homogneas noo de ordem entre mltiplos dessas
grandezas ( S, 2000 ).
Denio 7 do Livro V : Quando, dos equimltiplos, o mltiplo da primeira
grandeza excede o mltiplo da segunda, mas o mltiplo da terceira no excede o
mltiplo da quarta, diz-se que a primeira tem uma razo maior para segunda do
que a terceira para quarta. Esta denio signica que se para quaisquer dois
nmeros naturais m e n, quando for verdadeira a desigualdade ma > nb , e
quando for falsa a desigualdade mc > nd , ento diz-se que
a
b
>
c
d
( S, 2003 ).
Para nalizar essa breve passagem pela teoria das propores de Euxodo, de-
vemos falar na demonstrao, no caso de tringulos, da proposio 1 do Livro VI de
Euclides : Tringulos e paralelogramos sob a mesma altura esto entre si como
as suas bases, apresentada por S ( 2000), usando os equimltiplos, contornando
deste modo a incomensurabilidade que fez com que a demonstrao apresentada
pelos pitagricos deixasse de ser aceita.
Elementos X, 1 : Dadas duas grandezas desiguais, se da maior se subtrair
uma grandeza maior do que a sua metade, e do que sobrar uma grandeza maior
do que a sua metade, e se este processo for repetido continuamente, sobrar uma
grandeza menor do que a menor das grandezas dadas.
De fato. Consideremos a e b duas grandezas do mesmo tipo ( gura 1 ) e
suponha-se, sem perda de generalidade, que a > b. Atendendo denio 4 de
12
Elementos V, existe um nmero natural n , tal que n.b > a .
Nestas condies, tomemos as grandezas a e n.b ( gura 2 ). Se a a retirarmos
mais da metade, e a n.b retirarmos b ( que menos do que a metade de n.b ),
restam-nos duas grandezas: a
1
<
1
2
a e ( n 1 ).b , tais que ( n 1 ).b > a
1
( gura 3 ). Se, por um processo idntico ao anterior, a a
1
se retirar mais da
metade e a ( n 1 ).b retirar novamente b ( que menos do que metade de ( n
1 ).b ) caremos com duas grandezas: a
2
<
1
2
a
1
e ( n 2 ).b , tais que ( n
2 ).b > a
2
.
Ao m de ( n 2 ) passos, obtemos uma grandeza a
n2
tal que 2b > a
n2
.
Se a a
n2
mais da metade, e a 2b retirar b , sobra uma grandeza a
n1
tal que b
> a
n1
( pois a 2b retirou-se exatamente a metade ). Assim, ao m de ( n 1
) passos, obtm-se uma grandeza a
n1
menor do que b , a menor das grandezas
inicialmente dadas ( gura 4 ), o que prova o mtodo da exausto ( princpio de
Eudoxo-Arquimedes ).
No clculo de reas pode-se dizer que o mtodo da exausto consiste em buscar
aproximaes sucessivas da rea a ser medida, por falta e por excesso, a
partir de outras j conhecidas.
Chamaremos de S a rea da gura a seguir, cuja rea se deseja obter.
Chamaremos de A a rea do polgono interno a S, e de B a rea do polgono
externo a S.
13
Podemos dizer que a rea A a aproximao por falta e B a aproximao por
excesso da rea S. Ou seja:
A S B
O mtodo da exausto e a rea do crculo
Elementos XII, 2 : Crculos esto entre si como os quadrados sobre os dimetros.
Podemos reescrever Elementos XII, 2 da seguinte forma : A razo entre as reas
de dois crculos igual razo entre as reas de dois quadrados cujos lados so os
dimetros dos crculos.
Consideremos duas circunferncias de reas A e a , e dimetros D e d, respectiva-
mente, conforme gura abaixo.
Nestas condies, a proporo nos diz que :
A
a
=
D
2
d
2
Sejam R e r , tais que D = 2R e d = 2r . Assim, as reas das circunferncias sero
dadas por A =R
2
e a = r
2
, e as reas dos quadrados sero D
2
= ( 2R )
2
e d
2
= ( 2r )
2
.
Segue-se que :
A
a
=
D
2
d
2

R
2
r
2
=
(2R)
2
(2r)
2

R
2
r
2
=
R
2
r
2
ok !
Demonstrao por absurdo ( Euclides )
Consideremos dois crculos de reas A e a , e dimetros D e d, respectivamente.
Suponhamos que a proposio falsa, ento o crculo de rea A est para uma certa
rea X ( diferente de a ) assim como D
2
est para d
2
, ou seja,
A
X
=
D
2
d
2
.
Temos dois casos a considerar : X < a ou X > a .
14
Consideremos o caso X < a . Vamos aplicar o mtodo da exausto ( Elementos
X, 1 ) s quantidades a e a X ( a > a X ). Para isso inscreveremos no crculo
de rea a um quadrado, e chamaremos de E, F, G e H os seus vrtices ( gura 6 ).
Se pelos pontos E, F, G e H traarmos retas tangentes ao crculo, obteremos
um quadrado ( gura 7 ) cuja rea facilmente se verica ser o dobro da do
quadrado inicial, pelo que a rea deste ltimo ser superior a metade da rea do
crculo. Consideremos agora os pontos K, L, M e N, pontos mdios de cada um
dos arcos EF, FG, GH e HE, respectivamente, e tracemos os segmentos de reta
que unem os pontos K, L, M e N com os extremos dos arcos de que eles so
pontos mdios ( gura 8 ).
Se por K traarmos a tangente ao crculo obtemos o retngulo EEFF ( gura 9
) cuja rea ser o dobro da do tringulo EFK, o que signica que esta ltima ser
superior a metade da rea do segmento de crculo EFK, o que anlogo com cada
um dos tringulos FNG, GMH e HLE ( gura 8 ).
Continuando este processo de inscrever polgonos no crculo, acabaremos obtendo,
15
pelo princpio de Euxodo-Arquimedes, um polgono cuja rea chamaremos de p ,
subtrada a a ( rea do crculo ) resultar numa quantidade inferior a a X , ou
seja , a p < a X . Ento, podemos concluir que p > X . Consideremos o
polgono semelhante aquele, mas inscrito no crculo de dimetro D. Seja P a rea
deste ltimo polgono. Ento,
P
p
=
D
2
d
2
, o que j foi provado tambm por Euclides
em Elementos XII, 1.
Estamos supondo tambm que
D
2
d
2
=
A
X
, logo
P
p
=
A
X
. Porm P < A , sendo P a
rea de um polgono inscrito num crculo de rea A, onde p < X , sendo contrrio
ao que tnhamos visto.
Logo, a hiptese de ser X < a no se poder vericar.
O caso X > a reduz-se ao anterior trocando o papel dos crculos de rea A e a .
De fato,
A
X
=
D
2
d
2
equivalente a
X
A
=
d
2
D
2
, e existir uma certa rea Y , tal que
X
A
=
a
Y
.
De X > a, conclui-se que Y < a , estando assim reduzidos ao caso anterior.
Logo X > a leva tambm a uma contradio. Portanto, temos que X = a , como
queramos demonstrar.
O mtodo da exausto no um mtodo de descoberta, mas sim de prova e demon-
strao. Antes de aplic-lo preciso conhecer o resultado que se quer provar. No
caso da rea do crculo, Arquimedes j considerava a seguinte equivalncia :
Um crculo equivale ( em rea ) a um tringulo retngulo que tem altura igual ao
seu raio e a base igual ao comprimento da sua circunferncia.
Em notao atual, essa equivalncia pode ser escrita da seguinte forma:
rea do crculo =
(2r)r
2
. Ou ainda,
rea do crculo = r
2
O mtodo da exausto pode ser aplicado para demonstrar essa igualdade. Para
tanto, consideremos C a rea do crculo, e T a rea do tringulo, e desse modo temos
trs possibilidades de comparao entre essas reas : C > T , C < T ou C = T.
Faremos aproximaes da rea do crculo, por falta e por excesso, atravs de pol-
gonos regulares inscritos e circunscritos, e mostraremos que as duas primeiras
possibilidades so absurdas , concluindo ento que C = T.
1 caso : C > T
Temos ento duas grandezas de mesma natureza ( rea ), C e C T , s quais
aplicaremos o mtodo da exausto. Vamos retirar da maior que C, um quadrado
inscrito cuja rea P
1
, que maior do que a metade da rea de C . A rea restante
ser C P
1
.
16
Repetindo o processo, da rea restante C P
1
, vamos retirar quatro tringulos
issceles, que correspondem a uma parte maior do que sua metade.
Notemos que a rea dos tringulos somada rea do quadrado P
1
retirado anteri-
ormente, corresponde rea de um octgono regular, cuja rea chamaremos de P
2
.
Segue-se que a rea restante ser ento C P
2
.
Repetindo este processo um nmero nito de vezes, obteremos um polgono regular
de rea P
n
inscrito no crculo C, tal que a rea restante ser C P
n
menor do que
as duas reas C e C T consideradas inicialmente. Assim, como C P
n
< C
T , conclumos que T < P
n
.
2 caso : C < T
Consideremos agora P
1
a rea do quadrado circunscrito ao crculo C . Usaremos
o mtodo da exausto s grandezas T C , que a menor delas, e P
1
, um quadrado
circunscrito ao crculo C .
Do quadrado P
1
subtramos a rea do crculo C, que maior do que a metade da
rea do quadrado. A rea restante ser P
1
C .
Repetindo o processo, da rea restante P
1
C , vamos retirar quatro tringulos
issceles, que maior do que a sua metade.
17
Notemos que a rea restante corresponde diferena entre a rea do octgono regular
circunscrito e a rea de C . Chamando de P
2
a rea do octgono, a rea restante
pode ser representada por P
2
C .
Repetindo este processo um nmero nito de vezes, obteremos um polgono regular
de rea P
n
circunscrito ao crculo C, tal que a rea restante ser P
n
C menor
do que as duas reas consideradas inicialmente. Assim, como P
n
C < T C ,
conclumos que P
n
< T .
Por outro lado, considerando que P
n
um polgono regular circunscrito ao crculo
C , pode-se armar que o aptema a de P
n
maior do que o raio r do crculo C,
e que o permetro P do polgono regular P
n
maior do que o comprimento C da
circunferncia. Assim , segue-se que
aP
2
>
rC
2
.
Ocorre que
aP
2
corresponde rea do polgono regular circunscrito P
n
e
rC
2
corre-
sponde rea do tringulo T , o que nos leva a P
n
> T . Isso mostra que a concluso
anterior P
n
< T , absurda e nesse caso, tambm absurda a armativa inicial C
< T .
Lembrando das trs possibilidades apresentadas no inicialmente nesta demon-
strao, C > T , C < T e C = T , como o 1 e o 2 caso so absurdos, podemos
concluir que C = T , ou seja , a rea do crculo = r
2
.
O mtodo da exausto e a rea de segmentos parablicos
Nessa parte desse TCC, quero vericar o mtodo de Arquimedes e a sua funcional-
idade para determinar a rea de um segmento parablico. No caso, utilizarei a
soma de Riemann junto com a teoria de limite no innito para comprovar os
resultados obtidos por Arquimedes no sculo II a.C..
1. Vamos decompor o segmento da parbola contido em um quadrado de 1
cm de lado, em duas partes, e caremos com a gura 1:
18
Figura 1 Segmento de parbola dividido em duas partes
Clculos:
1.
1
2

_
1
2
_
2
=
1
8
2.
1
2
1
2
=
1
2
Logo,
1
2
+
1
8
=
5
8
= 0, 625 cm
2
1. Agora, decompondo em trs partes, temos a gura 2:
19
Figura 2 Segmento de parbola dividido em trs partes
Clculos:
1.
1
3

_
1
3
_
2
=
1
27
2.
1
3

_
2
3
_
3
=
4
27
3.
1
3
1
3
=
1
3
Logo,
1
27
+
4
27
=
1
3
=
14
27
= 0, 518 cm
2
Usando induo, chegaremos numa frmula que nos permitir calcular a rea do
segmento de parbola. Assim, decompondo o segmento de parbola em n partes,
n natural, teremos:
S
n
=
_
1
n

_
1
n
_
2
_
+
_
1
n

_
2
n
_
2
_
+
_
1
n

_
3
n
_
2
_
+...+
_
1
n

_
n
n
_
2
_
S
n
=
1
n

_
1
n
2
_
(1
2
+2
2
+3
2
+...+n
2
)
Agora, vamos provar que 1
2
+ 2
2
+ 3
2
+ ... + n
2
=
n(n+1)(2n+1)
6
Para n = 1 , temos que:
1(1+1)(21+1)
6
=
123
6
= 1. OK !
Supor que vale para algum n, e provar que vale para n + 1 .
1
2
+ 2
2
+ 3
2
+ ... + n
2
+ (n + 1)
2
=
(n + 1) (n + 2) (2n + 3)
6
.
20
n (n + 1) (2n + 1)
6
+ (n + 1)
2
=
n (n + 1) (2n + 1) + 6 (n + 1)
2
6
=
(n + 1) [n (2n + 1) + 6 (n + 1)]
6
=
(n + 1)
_
2n
2
+ 7n + 6

6
=
(n + 1)
_
2 (n + 2)
_
n +
3
2
_
6
=
(n + 1) (n + 2) (2n + 3)
6
Tomando n sucientemente grande, n ( n tendendo ao innito )
, teremos:
S
n
= lim
n
(n + 1) (2n + 1)
6n
2
S
n
= lim
n
_
1
6

n + 1
n

2n + 1
n
_
S
n
= lim
n
_
1
6
1
1
n
2
1
n
_
S
n
= lim
n
_
1
6
1 2
_
=
2
6
=
1
3
Portanto, se dividirmos o segmento [ 0 , 1 ] em innitas partes, a rea de segmento
da parbola ser, aproximadamente,
1
3
da rea total do quadrado que contm esse
segmento de parbola. A concluso de Arquimedes que a rea de segmento de
parbola
1
3
da rea total do quadrado que a contm se sustenta tanto no campo
experimental quanto no terico.
O mtodo da exausto e a quadratura da parbola
Outra aplicao do mtodo da exausto na quadratura da parbola. Na matemtica
grega, o clculo de reas e volumes eram feitas por comparao com reas conhecidas,
como por exemplo, a rea do quadrado, j mencionada em pargrafos anteriores.
Quadratura ( ou quadrar ) era o nome dado a esse clculo. Medir uma gura
geomtrica, para os matemticos gregos, no era encontrar um nmero, mas sim
uma gura conhecida com o mesmo comprimento, rea ou volume da primeira.
Nessa linha de raciocnio, o que se coloca no o problema de calcular a medida
de uma rea, mas o problema de determinar a relao entre duas reas: a rea que
se quer determinar e uma rea j determinada. As seces cnicas eram conhecidas
havia mais de um sculo quando Arquimedes escreveu, mas nenhum progresso foi
feito no clculo de suas reas. A prova pelo mtodo de exausto longa e elaborada,
mas Arquimedes provou rigorosamente que a rea K de um segmento parablico
21
igual a quatro teros da rea de um tringulo T, tendo a mesma base e a mesma
altura do segmento parablico.
nesse tratado que encontramos o hoje usualmente chamado de axioma de Ar-
quimedes: Que o excesso pelo qual a maior de duas reas diferentes excede a
menor pode, sendo somada a si mesma, vir a exceder qualquer rea nita dada .
Isto basicamente o mesmo axioma da exausto que Arquimedes admitiu que um
lema semelhante a esse j era usado por gemetras antes, pois por seu uso que
demonstraram que crculos esto para si na razo dupla de seus dimetros, e que as
esferas esto entre si na razo tripla de seus dimetros; e ainda que toda pirmide
um tero do prisma de mesma base que a pirmide e mesma altura; tambm, que
todo cone um tero do cilindro de mesma base que o cone e mesma altura. (
Boyer, 1996 ).
Para demonstrar esse resultado, Arquimedes usa o mtodo de exausto. Inscreve
no segmento parablico um tringulo de mesma base e altura. A seguir, em cada
um dos segmentos parablicos resultantes, inscreve igualmente um tringulo, e
continua a inscrever tringulos nos segmentos parablicos resultantes em cada
etapa. Prova ento que para cada tringulo, os dois tringulos construdos sobre
seus lados tm rea total igual a
1
4
da rea do tringulo dado. Dessa forma ele ex-
aure o segmento parablico, removendo sucessivamente esses tringulos inscritos.
A rea total pode ser aproximada por uma soma de reas que, agrupadas ade-
quadamente, levam a uma progresso geomtrica em que cada termo, exceto o
primeiro,
1
4
do anterior. A soma de tal sso geomtrica
4
3
da rea do primeiro
termo. Cuidadosamente, Arquimedes mostra que a rea do segmento parablico
no pode exceder
4
3
da rea do primeiro tringulo inscrito e, da mesma forma, que
no pode ser menor do que esse valor. Assim sendo, Arquimedes chega concluso
desejada e, evitando a armadilha dos innitsimos e das operaes com limites,
atinge um nvel de rigor insuperado at o sculo XVIII.
Arquimedes dene o que signica base, altura e vrtice de um segmento de par-
bola: a base a reta que interrompe a parbola, a altura a perpendicular mxima
que pode ser traada da curva at a base, e o vrtice o ponto atravs do qual a
altura traada. As outras alturas dos outros tringulos traados so obtidas por
interseces da curva ( parbola ) com retas paralelas altura mxima da parbola.
Essas retas so traadas tendo como referncia de partida, os respectivos pontos
mdios em que foi dividida a base da parbola ( ver gura 1 ).
Esclarecido como formar o polgono inscrito na parbola, este polgono se aprox-
ima da parbola, isto , pode ser inscrito nesta um polgono de tal forma que
os segmentos restantes sejam menores do que qualquer grandeza determinada.
Arquimedes inscreve sucessivos tringulos no segmento de parbola, calcula a rea
desses tringulos e vai obtendo valores cada vez mais prximos do pretendido, so-
mando as reas dos sucessivos tringulos. Assim, demonstra que a rea do segmento
de parbola igual a
4
3
da rea do triangulo com a mesma base e altura do seg-
mento. No entanto, Arquimedes no prolonga as somas at o innito. Ele deduz
o seu valor demonstrando que no pode ser nem maioe, nem menor do que esses
4
3
. Segue-se que, nomeando as partes resultantes do processo de quadratura
da parbola temos: seja P o segmento de parbola e T
0
o tringulo inscrito ( ver
gura 1 ); nos dois segmentos restantes so inscritos outros dois tringulos, t
01
e
22
t
02
, de mesma base e altura. Seja a soma destes T
1
. Nos quatro segmentos de
parbola formado, so inscritos os tringulos t
11
, t
12
, t
13
, e t
14
, cuja soma T
2
.
Precisamos demonstrar, usando as propriedades da parbola, que T
1
=
T
0
4
,
T
2
=
T
1
4
e assim sucessivamente, ou seja, os pedaos que so acrescidos ao
tringulo no s se tornam cada vez mais menores, mas cada um igual a
1
4
do
anterior.
Para isso, considere a gura 2 . Por meio de convenientes rotaes e translaes pode-
mos supor que qualquer parbola assume a forma y = ax
2
, com a > 0. Suponha
o segmento parablico limitado pela reta y = b , com b > 0. Mostraremos que
T
1
=
T
0
4
( os demais tringulos seguem os mesmos clculos ).
Da gura 2, temos que : T
0
=
2b

b
a
2
= b
_
b
a
.
Em D , temos que :
x =
1
2

_
b
a
e y =
b
4
. Da , o ponto D = (
1
2

_
b
a
, y =
b
4
) .
A reta r passando pelos pontos A e C dada pela forma r : y = mx , onde A a
origem , m =
b

b
a
=
b

b
=

ab .
23
Seja s , a reta perpendicular r passando por D. Temos que s : y =
1
m
x +
k , ou seja , s : y =
x

ab
+ k . Como o ponto D ponto da reta, segue-se que
b
4
=

1
2

b
a

ab
+ k k =
2+ab
4a
.
Assim,s : y =
x

ab
+
2+ab
4a
.
O ponto F a interseco das retas r e s. Ou seja :

ab x =
x

ab
+
2+ab
4a
. Ou
ainda , x =
(2+ab)

ab
4a(1+ab)
.
Segue-se que y =

ab x =

ab
_
(2+ab)

ab
4a(1+ab)
_
=
b(2+ab)
4(1+ab)
.
Portanto, temos que F =
_
(2+ab)

ab
4a(1+ab)
,
b(2+ab)
4(1+ab)
_
.
Para calcular a rea do tringulo t
01
, encontraremos primeiro sua altura h , que
a distncia do ponto D ao ponto F :
h = d (D, F) =

_
_
(2 + ab)

ab
4a (1 + ab)

1
2

_
b
a
_
2
+
_
b (2 + ab)
4 (1 + ab)

b
4
_
2
.
Calculando h , teremos:
h
2
=
(2 + ab)
2
ab
16a
2
(1 + ab)
2

2 (2 + ab)

ab
4a (1 + ab)

1
2

_
b
a
+
1
4

b
a
+
b
2
(2 + ab)
2
16 (1 + ab)
2

2 b (2 + ab)
4 (1 + ab)

b
4
+
b
2
16
h
2
=
(2 + ab)
2
ab
16a
2
(1 + ab)
2

(2 + ab) b
4a (1 + ab)
+
b
4a
+
b
2
(2 + ab)
2
16 (1 + ab)
2

b
2
(2 + ab)
8 (1 + ab)
+
b
2
16
=
24
=
(2 + ab)
2
ab 4ab (1 + ab) (2 + ab) + 4ab (1 + ab)
2
+ a
2
b
2
(2 + ab)
2
2a
2
b
2
(1 + ab) (2 + ab) + a
2
b
2
(1 + ab)
2
16a
2
(1 + ab)
2
h
2
=
(2 + ab)
2

_
ab + a
2
b
2
_
+ (1 + ab)
2
_
4ab + a
2
b
2
_
+ (1 + ab) (2 + ab)
_
4ab 2a
2
b
2

16a
2
(1 + ab)
2
h
2
=
(2 + ab)
2
[ab (1 + ab)] + (1 + ab)
2
[ab (4 + ab)] + (1 + ab) (2 + ab) [2ab (2 + ab)]
16a
2
(1 + ab)
2
h
2
=
(1 + ab)
_
ab (2 + ab)
2
+ (1 + ab) ab (4 + ab) + (2 + ab)
2
(2ab)
_
16a
2
(1 + ab)
2
.
h
2
=
(1 + ab)
_
ab (2 + ab)
2
+ (1 + ab) ab (4 + ab)
_
16a
2
(1 + ab)
2
.
h
2
=
_
ab
_
(2 + ab)
2
+ (1 + ab) (4 + ab)
__
16a
2
(1 + ab)
h
2
=
b
_
4 4ab a
2
b
2
+ 4 + ab + 4ab + a
2
b
2
_
16a (1 + ab)
.
h
2
=
a b
2
16a (1 + ab)
.
Enm , temos que h vale
h =
b
4

1+ab
. A base do mesmo tringulo dada por :
d (A, C) =

_
_
_
b
a
_
2
+ b
2
=
_
b + ab
2
a
.
Assim, a rea do tringulo t
01
igual a :
A
t
01
=
1
2
_
b+ab
2
a

b
4

1+ab
. Da , a rea dos tringulos t
01
+ t
02
= T
1
, onde
T
1
=
_
b+ab
2
a

b
4

1+ab
=
b
4

_
b
a
=
T
0
4
.
O processo essencialmente o mesmo para provar que T
2
=
T
1
4
, T
4
=
T
2
4
, ... e
assim por diante.
Voltando ao clculo da rea do segmento parablico, basta perceber que o polgono
construdo ( gura 1 ) se aproxima efetivamente do segmento da parbola e que
T
0
+ T
1
+ T
2
+ T
4
+ ... + T
n
+ ... =
4
3
T
0
. Ou ainda , T
0
+
T
0
4
+
T
0
4
2
+
T
0
4
3
+
... +
T
0
4
n
...
4
3
T
0
.
Numa linguagem atual, repetindo o processo innitamente, teramos T
0

_
1 +
1
4
+
1
16
+ ... +
1
4
n
+ ...
_
=
T
0

n=0
1
4
n
= T
0

4
3
, pois a srie

n=0
1
4
n
converge para
4
3
, j que a soma
de uma progresso geomtrica innita de razo
1
4
. Sendo assim , como a soma dos
termos de uma P.G. innita de razo q , com 1 q 1 dada por S
n
=
a
1
1q
,
segue-se que : S
n
=
1
1
1
4
=
1
3
4
=
4
3
converge
importante ressaltar que mesmo no pensando em innito ( soma de innitos
termos ) em sua poca , Arquimedes encontra a soma exata da srie.
Captulo 3
Conceitos de limite de funo, funo contnua, derivada, primitiva e
integral denida, culminando com o Teorema Fundamental do Clculo
25
e sua aplicao para o clculo de reas de guras planas, cujo clculo no
seria possvel pelo mtodo de Arquimedes.
NOO INTUITIVA DE LIMITE
Uma relao f de A em B recebe o nome de funo denida em A com imagens em
B, ou aplicao de A em B se , e somente se , para todo x A existe um s y B,
tal que ( x , y ) f .
Seja a funo f(x) =
(2x+1)(x1)
(x1)
denida para todo x real e x diferente de 1. Se
x diferente de 1, podemos dividir o numerador e o denominador por x 1 ,
obtendo f ( x ) = 2x + 1.
Estudemos os valores da funo f quando x assume valores prximos de 1, mas
diferente de 1.
Atribuindo a x valores prximos de 1, porm menores do que 1 , temos:
x 0 0,5 0,75 0,9 0,99 0,999
f ( x ) 1 2 2,5 2,8 2,98 2,998
Se atribuirmos a x valores prximos de 1, porm maiores do que 1 , temos:
x 2 1,5 1,25 1,1 1,01 1,001
f ( x ) 5 4 3,5 3,2 3,02 3,002
Observemos que em ambas as tabelas, quando x se aproxima cada vez mais de
1, f ( x ) aproxima-se cada vez mais de 3, isto , quanto mais prximo de 1 estiver
x, tanto mais prximo de 3 estar f ( x ).
Notemos na primeira tabela que:
X = 0,9 f ( x ) = 2,8 , isto , x 1 = 0,1 f ( x ) 3 = 0,2
X = 0,99 f ( x ) = 2,98 , isto , x 1 = 0,01 f ( x ) 3 = 0,02
X = 0,999 f ( x ) = 2,998 , isto , x 1 = 0,001 f ( x ) 3 = 0,002
E a segunda tabela nos mostra que:
X = 1,1 f ( x ) = 3,2 , isto , x 1 = 0,1 f ( x ) 3 = 0,2
X = 1,01 f ( x ) = 3,02 , isto , x 1 = 0,01 f ( x ) 3 = 0,02
X = 1,001 f ( x ) = 3,002 , isto , x 1 = 0,001 f ( x ) 3 = 0,002
Portanto, pelas duas tabelas vemos que:
|x 1| = 0, 1 |f(x) 3| = 0, 2
26
|x 1| = 0, 01 |f(x) 3| = 0, 02
|x 1| = 0, 001 |f(x) 3| = 0, 002
Observemos que podemos tornar f ( x ) to prximo de 3 quanto desejarmos,
bastando para isso tornarmos x sucientemente prximo de 1.
Um outro modo de dizermos isto : podemos tornar o mdulo da diferena entre f
( x ) e 3 to pequeno quanto desejarmos, desde que tomemos o mdulo da diferena
entre x e 1 sucientemente pequeno.
DEFINIO DE FUNO CONTNUA
Sejam f e g funes de grcos
Observe que f e g se comportam de modo diferente em p; o grco de f no
apresenta salto em p , ao passo que o de g, sim. Queremos destacar uma
propriedade que nos permita distinguir tais comportamentos.
Vejamos as situaes apresentadas a seguir.
A funo f satisfaz em p a propriedade:
27
Para todo > 0 dado, existe > 0 (dependendo de ) , tal que f ( x ) permanece
entre f ( p ) e f ( p ) + quando x percorre o intervalo ] p , p + [ , com
x no domnio de f.
Ou de forma equivalente:
Para todo > 0 dado, existe > 0 (dependendo de ) , tal que , para todo x
D
f
,
p < x < p + f ( p ) < f ( x ) < f ( p ) + . (??)
Entretanto, a funo g no satisfaz em p tal propriedade:
Para o > 0 acima, no existe > 0 que torne verdadeira a armao
Para todo x D
f
, p < x < p + g ( p ) < g ( x ) < g ( p ) + .
Qualquer que seja o > 0 que se tome , quando x percorre o intervalo ] p , p
+ [ , g ( x ) no permanece entre g ( p ) e g ( p ) + .
A propriedade (??) distingue os comportamentos de f e g em p. Adotaremos a
propriedade (??) como denio de funo contnua em p.
Denio: Sejam f uma funo e p um ponto de seu domnio. Denimos:
f contnua em p para todo > 0 dado , existe > 0 (dependendo de ) , tal
que , para todo x D
f
, p < x < p + f ( p ) < f ( x ) < f ( p ) + .
Observao: Sabemos que |x p| < p < x < p + e |f(x) f(p)| <
f(p) < f(x) < f(p) + .
A denio anterior pode, ento , ser reescrita , em notao de mdulo , na seguinte
forma:
f contnua em p para todo > 0 dado , existe > 0 , tal que , para todo x
D
f
, |x p| < |f(x) f(p)| < .
Dizemos que f contnua em AD
f
, se for contnua em todo p A . Dizemos,
simplesmente, que f uma funo contnua em todo p de seu domnio.
EXEMPLO: Mostrar que f ( x ) = x
3
contnua em 1 .
28
Soluo: Precisamos mostrar que dado > 0, existe um intervalo aberto I, con-
tendo 1 , tal que x I f (??) < f ( x ) < f (??) + .
Resolvendo a inequao f (??) < f ( x ) < f (??) + , teremos:
f (??) < f ( x ) < f (??) + 1 < x
3
< 1 +
3

1 < x <
3

1 + .
Tomando-se I =]
3

1 ,
3

1 + [ , 1 I, x I f(??) < f(x) <

f(??) + .
Logo, f ( x ) = x
3
contnua em 1.
DEFINIO DE LIMITE
Sejam f uma funo e p um ponto do domnio de f ou extremidade de um dos
intervalos que compem o domnio de f. Consideremos as situaes a seguir:
29
Na situao (a) , f no est denida em p , mas existe L que satisfaz a propriedade:
1. Para todo > 0 dado , existe > 0 tal que , para todo x D
f
,
p < x < p + , x = p L < f(x) < L + (1)
Na situao (b) , f est denida em p , mas no contnua em p , entretanto existe L
satisfazendo (??) ; observe que neste caso a restrio x = p essencial. Na situao
( c ) , f contnua em p , assim L = f ( p ) satisfaz (??) . Finalmente, na situao
( d ) , no existe L satisfazendo (??) em p.
A propriedade (??) equivalente a:
1. Para todo > 0 dado , existe > 0 tal que , para todo x D
f
,
0 < |x p| < |f(x) L| <
Observe que 0 < |x p| < p < x < p + , x = p.
Vamos provar a seguir que existe no mximo um nmero L satisfazendo a pro-
priedade acima. De fato , suponhamos que L
1
e L
2
, satisfaam , em p , a
propriedade acima; ento , para todo > 0 dado , existem
1
> 0 e
2
> 0 tais
que:
0 < |x p| <
1
|f(x) L
1
| <
30
0 < |x p| <
2
|f(x) L
2
| < ; tomando-se = min {
1
,
2
} .
0 < |x p| < |f(x) L
1
| < e |f(x) L
2
| <
Das hipteses sobre p e sobre o domnio de f , segue que existe x
0
D
f
com 0 <
|x
0
p| < ; temos:
|L
1
L
2
| = |L
1
f(x
0
) + f(x
0
) L
2
| |L
1
f(x
0
)| +|f(x
0
) L
2
| .
Assim para todo > 0 ,
|L
1
L
2
| < 2.
De acordo com a denio a seguir , o nico nmero L ( caso exista ) satisfazendo
(??) o limite de f ( x ) , para x tendendo a p : lim
xp
f(x) = L .
Denio: Sejam f uma funo e p um ponto do domnio de f ou extremidade de
um dos intervalos de f . Dizemos que f tem limite L , em p , se , para todo > 0
dado, existir um > 0 tal que , para todo x D
f
,
0 < |x p| < |f(x) L| < .
Tal nmero L , que quando existe nico , ser indicado por lim
xp
f(x) .
Assim ,
lim
xp
f(x) = L
_
> 0 , > 0 tal que , para x D
f
,
0 < |x p| < |f(x) L| < .
.
31
Observaes.
1. Suponhamos f denida em p . Comparando as denies de limite e con-
tinuidade, resulta:
F contnua em p lim
xp
f(x) = f(p) .
1. O limite de f em p no depende do valor ( caso f esteja denida em p ) que
f assume em p, mas sim dos valores que f assume nos pontos prximos de
p . Quando estivermos interessados no limite de f em p, basta olharmos
para os valores que f assume num pequeno intervalo aberto contendo
p; o conceito de limite um conceito local.
2. Sejam f e g duas funes. Se existir r > 0 , tal que f ( x ) = g ( x ) para p
r < x < p + r , com x = p , e se lim
xp
g(x) existir , ento lim
xp
f(x) tambm
existir e lim
xp
f(x) = lim
xp
g(x) .
DEFINIO DE DERIVADA
Os problemas considerados fundamentais no desenvolvimento histrico do Clculo
Diferencial e Integral dizem respeito ao clculo de reas ( quadratura ) e do traado
de tangentes em um determinado ponto de uma curva.
Nos problemas de reas, tambm conhecidos como quadratura, Arquimedes utili-
zou o mtodo da exausto ( mencionado no captulo 2 dessa dissertao ).
J o problema da tangente diz respeito ao traado da reta tangente a uma curva
num determinado ponto. A diculdade de uma reta que passa pelo ponto no
traado da tangente reside no fato de se encontrar qual a inclinao da reta tan-
gente especicamente naquele ponto da curva, pois por um ponto pode-se traar
innitas retas.
32
Esses dois problemas ( quadratura e parbola ) aparentemente sem relao, deram
origem, respectivamente, a dois conceitos matemticos essenciais do Clculo: a
integral e a derivada.
Sejam f uma funo e p um ponto do seu domnio. Limites do tipo
lim
xp
f(x)f(p)
xp
ocorrem de modo natural tanto na Geometria quanto na Fsica.
Consideremos, por exemplo, o problema de denir reta tangente ao grco de f
no ponto ( p , f ( p ) ). Evidentemente, tal reta deve passar pelo ponto ( p , f
( p ) ); assim a reta tangente ca determinada se dissermos qual deve ser seu
coeciente angular. Consideremos, ento, a reta s
x
que passa pelos pontos ( p ,
f ( p ) ) e ( x , f ( x ) ).
Coeciente angular de s
x
=
f(x)f(p)
xp
.
Quando x tende a p, o coeciente angular de s
x
tende a f ( p ), onde:
f

(p) = lim
xp
f(x) f(p)
x p
.
Perceber que f ( p ) apenas uma notao para indicar o valor do limite acima.
Assim, a medida que x vai se aproximando de p , a reta s
x
vai tendendo para a
posio da reta T de equao:
y f ( p ) = f ( p ) ( x p ) (??)
33
natural, ento, denir a reta tangente em ( p , f ( p ) ) como sendo a reta de
equao (??) .
Suponhamos, agora, que s = f ( t ) seja a equao horria do movimento de uma
partcula vinculada a uma reta orientada na qual se escolheu uma origem. Isto
signica dizer que a funo f fornece a cada instante a abscissa ocupada pela
partcula na reta. A velocidade mdia da partcula entre os instantes t
0
e t denida
pelo quociente
f(t)f(t
0
)
tt
0
.
A velocidade ( instantnea ) da partcula no instante t
0
denida como sendo o
limite:
v (t
0
) = lim
tt
0
f(t) f(t
0
)
t t
0
.
Esses exemplos so sucientes para levar-nos a estudar de modo puramente ab-
strato as propriedades do limite: lim
xp
f(x)f(p)
xp
.
Derivada de uma funo
Denio. Sejam f uma funo e p um ponto de seu domnio. O limite lim
xp
f(x)f(p)
xp
quando existe e nito, denomina-se derivada de f em p, e indica-se por f ( p
). Assim, f

(p) = lim
xp
f(x)f(p)
xp
.
Se f admite derivada em p, ento diremos que f derivvel ou diferencivel em p. (
GUIDORIZZI,2008,p.137)
Dizemos que f derivvel ou diferencivel em A D
f
se for derivvel em cada
p A. Diremos, simplesmente, que f uma funo derivvel ou diferencivel se f for
derivvel em cada ponto de seu domnio.
Observao: Segue-se que, das propriedades dos limites que:
lim
xp
f(x) f(p)
x p
= lim
h0
f(p + h) f(p)
h
.
Assim,
f

(p) = lim
xp
f(x)f(p)
xp
ou f

(p) = lim
h0
f(p+h)f(p)
h
.
E conforme visto na introduo acima, a reta de equao:
y f ( p ) = f ( p ) ( x p )
por denio, a reta tangente ao grco de f no ponto ( p , f ( p ) ). Assim, a
derivada de f, em p , o coeciente angular da reta tangente ao grco de f no
ponto de abscissa p.
Aplicao. Seja f ( x ) = x
2
. Calcule f ( x ).
Soluo:
F ( x ) = lim
h0
f(x+h)f(x)
h
= lim
h0
f(x+h)
2
x
2
h
.
Como
(x+h)
2
x
2
h
=
2xh+h
2
h
= 2x + h , h = 0
Segue-se que f ( x ) = lim
h0
(2x + h) = 2x .
Portanto, se f ( x ) = x
2
f

(x) = 2x .
Deve-se observar que f ( x ) = 2x a frmula que fornece a derivada de f ( x )
= x
2
, em todo x real. Ento, se for preciso calcular por exemplo f (??) , basta
fazer:
34
f (??) = 2.5 = 10
DEFINIO DE PRIMITIVA
Seja f uma funo denida num intervalo I . Uma primitiva de f em I uma funo
F denida em I , tal que:
F( x ) = f ( x )
Para todo x em I. ( GUIDORIZZI,2008,p.290)
Exemplo 1: F ( x ) =
1
3
x
3
uma primitiva de f ( x ) = x
2
em , pois , para
todo x em , F

(x) =
_
1
3
x
3

= x
2
.
Observe que, para toda constante k , G ( x ) =
1
3
x
3
+ k tambm uma primitiva
de f ( x ) = x
2
.
Exemplo 2: Para toda constante k , F ( x ) = 2x + k primitiva , em , da
funo f ( x ) = 2 , pois F( x ) = ( 2x + k ) = 2 para todo x.
Sendo F uma primitiva de f em I , ento , para toda constante k , F ( x ) + k
, tambm , primitiva de f . Por outro lado , se duas funes tm derivadas iguais
num intervalo, elas diferem, neste intervalo, por uma constante. Segue que as
primitivas de f em I so as funes da forma F ( x ) + k , com k constante. Diremos
que y = F ( x ) + k , k constante , a famlia das primitivas de f em I .
A notao
_
f(x) dx ser usada para representar a famlia das primitivas de f .
_
f(x) dx = F ( x ) + k .
Na notao
_
f(x) dx , a funo denomina-se integrando. Uma primitiva de f
ser tambm, uma integral indenida de f. comum referir-se a
_
f(x) dx como
integral indenida de f.
Observao: O domnio da funo f que ocorre em
_
f(x) dx dever ser sempre um
intervalo; nos casos em que o domnio no for mencionado, car implcito que se
trata de um intervalo.
DEFINIO DE INTEGRAL DEFINIDA
Integral de Riemann: Denio
Sejam f uma funo denida em [ a , b ] e L um nmero real. Dizemos que

f(c
i
)x
i
tende a L, quando mx. x
i
0 , e escreveremos:
lim
mx. x
i
0
n

i=1
f(c
i
)x
i
= L
Se, para todo > 0 dado , existir um > 0 que s dependa de , mas no da
particular escolha de c
i
, tal que :

i=1
f(c
i
)x
i
L

<
para toda partio P de [ a , b ] com mx. x
i
< .
Tal nmero L , que quando existe nico, denomina-se integral ( de Riemann ) de
f em [ a , b ] , e indica-se por
_
b
a
f(x) dx . Ento, por denio , teremos que:
_
b
a
f(x) dx = lim
mx. x
i
0

n
i=1
f(c
i
)x
i
. ( GUIDORIZZI,2008,p.302)
35
Se
_
b
a
f(x) dx existe, ento dizemos que f integrvel ( segundo Riemann ) em [ a
, b ]. comum referirmo-nos
_
b
a
f(x) dx como integral denida de f em [ a , b
].
1 TEOREMA FUNDAMENTAL DO CLCULO
De acordo com a denio de integral, se f for integrvel em [ a , b ] , o valor do
limite:
lim
mx. x
i
0
n

i=1
f(c
i
)x
i
Ser sempre o mesmo, independentemente da escolha dos c
i
, e igual a
_
b
a
f(x) dx
. Assim, se, para uma particular escolha dos c
i
, tivermos:
lim
mx. x
i
0

n
i=1
f(c
i
)x
i
= L , ento teremos:
L =
_
b
a
f(x) dx .
Suponhamos agora, que f seja integrvel em [ a , b ] e que admita uma primitiva F
( x ) em [ a , b ], isto , F( x ) = f ( x ) em [ a , b ]. Seja P: a = x
0
<x
1
<x
2
<...<x
n
= b uma partio qualquer de [ a , b ]. J provamos que:
F ( b ) F ( a ) =

n
i=1
[F(x
i
) F(x
i1
)]
Segue, ento, pelo Teorema do Valor Mdio, que, para uma conveniente escolha
de c
i
em [ x
i1
, x
i
], teremos:
F ( b ) F ( a ) =

n
i=1
F

(c
i
)x
i
, ou ainda
F ( b ) F ( a ) =

n
i=1
f (c
i
)x
i
(??).
Se, para cada partio P de [ a , b ] , os c
i
forem escolhidos como em (??), teremos:
lim
mx. x
i
0

n
i=1
f(c
i
)x
i
= F ( b ) F ( a ) . E, portanto:
_
b
a
f(x) dx = F ( b ) F ( a ). Fica provado assim o 1 Teorema Fundamental
do Clculo :
Se f for integrvel em [ a , b ] e se F for uma primitiva de f em [ a , b ] , ento
_
b
a
f(x) dx = F ( b ) F ( a ). ( GUIDORIZZI,2008,p.306)
Aplicao: Calcule
_
2
1
x
2
dx .
Como a primitiva de x
2
F( x ) =
x
3
3
, e f contnua em [ 1 , 2 ] , segue-se que:
_
2
1
x
2
dx =
_
x
3
3
_
2
1
=
8
3

1
3
=
7
3
CLCULO DE REAS
Seja f contnua em [ a , b ], com f ( x ) 0 em [ a , b ]. Estamos interessados em
denir a rea do conjunto A do plano limitado pelas retas x = a , x = b , y = 0
e pelo grco de y = f ( x ) .
36
Seja, ento, P: a = x
0
<x
1
<x
2
<...<x
n
= b uma partio de [ a , b ] e sejam c
i
e c
i
em [ x
i1
, x
i
], tais que f (c
i
) o valor mnimo e f (c
i
) o valor mximo de f em [
x
i1
, x
i
].
Uma boa denio para a rea A dever implicar que a soma de Riemann

n
i=1
f(c
i
)x
i
seja uma aproximao por falta da rea de A, e que

n
i=1
f(c
i
)x
i
seja aprox-
imao por excesso , isto :

n
i=1
f(c
i
)x
i
rea A

n
i=1
f(c
i
)x
i
Como as somas de Riemann mencionadas tendem a
_
b
a
f(x) dx , quando mx
x
i
0 , nada mais natural do que denir rea de A por
rea A =
_
b
a
f(x) dx . ( GUIDORIZZI,2008,p.311)
Da mesma forma dene-se rea de A no caso em que f uma funo integrvel
qualquer, com f ( x ) 0 em [ a , b ].
APLICAES DO CLCULO DE REAS
1. Calcule a rea do conjunto do plano limitado pelas retas x = 0 , x = 1 , y
= 0 e pelo grco de f ( x ) = x
2
.
Soluo:
A =
_
1
0
x
2
dx =
_
x
3
3
_
1
0
=
1
3
37
1. Calcule a rea da regio limitada pelo grco de f ( x ) = x
3
, pelo eixo x e
pelas retas x = 1 e x = 1.
Soluo:
A =
_
0
1
x
3
dx +
_
1
0
x
3
dx =
1
4
+
1
4
=
1
2
Obs.:
_
1
1
x
3
dx =
_
x
4
4
_
1
1
= 0 =rea A
2
A
1
1. Calcule a rea da regio compreendida entre os grcos de y = x e y = x
2
,
com 0 x 2 .
Soluo: As curvas y = x e y = x
2
interceptam-se nos pontos de abscissas 0 e 1.
Ento:
A =
_
1
0
(x x
2
) dx +
_
2
1
(x
2
x) dx =
_
x
2
2

x
3
3
_
1
0
+
_
x
3
3

x
2
2
_
2
1
= 1.
38
Referncias bibliogrcas
BOYER, Carl B. Clculo tpicos de histria da matemtica para uso em sala de
aula. So Paulo: Atual Editora Ltda, 1995. V.6.
EVES, Howard. Great moments in mathematcs. Dolciani Mathematical
Exposition n 5, USA: The Mathematical association of American, 1983.
LIMA, Elon Lages. Medida e Forma em Geometria: comprimento, rea
volume e semelhana. Coleo do Professor de Matemtica. SBM. Rio de Janeiro,
1991.
PINTO, Joaquim Antonio P. Mtodo de Exausto dos Antigos: O Princpio de
Eudoxo-Arquimedes. Faculdade de Cincias da Universidade do Porto. Dison-
vel em http://www.prof2000.pt/j.pinto/vitae/textos/04 Met Exa Hist Analise
JPinto.pdf , acesso em fevereiro de 2013.
S, I.P. de ( 2010 ). A Magia da Matemtica: Atividades Investigativas,
Curiosidades e Histrias da Matemtica, Cincia Moderna, 3 edio.
IEZZI, Gelson; MURAKAMI, Carlos; MACHADO, Nilson Jos . Fundamentos
da matemtica elementar, 8: limites, derivadas e noes de integral. 6
edio So Paulo: Atual, 2005.
GUIDORIZZI, Hamilton Luiz. Um curso de clculo, volume 1 5 edio [
reimpr.]. Rio de Janeiro: LTC, 2008.
39