Parte - I

1
Conceitos
Preliminares

Este primeiro captulo contm uma breve descrio de alguns dos principais resultados que
sero utilizados no transcorrer dos outros captulos. Os conceitos de derivada e integral
esto entre os mais importantes e desempenham papel fundamental na construo de
modelos matemticos e estatsticos.

1.1 Conjuntos Numricos

Denotamos por , o conjunto dos nmeros naturais:

= { 0, 1, 2, 3, 4, 5, K } .

O conjunto dos nmeros inteiros dado por:

= { , -3, -2, -1, 0, 1, 2, 3, } .
 p
Os nmeros que podem ser escritos na forma , sendo q 0 e p, q so denominados
q
nmeros racionais e denotados por .
p
= x x = , p, q , q 0
q
p
Os nmeros que no podem ser escritos na forma de uma frao , sendo q 0 e p, q
q
so denominados nmeros irracionais e aqui sero denotados por I .

A unio dos conjuntos dos nmeros racionais e dos nmeros irracionais resulta no conjunto
denominado de nmeros reais sendo denotado por .
= I .

Descries de alguns conjuntos numricos:

i. = { 1, 2,3, 4,5,K } , o conjunto dos naturais sem o zero.
*

ii. = { K , -4, -3, -2, -1, 1, 2, 3, 4,K } , o conjunto dos inteiros sem o zero.
*

iii. + = { 0,1, 2,3, 4,5,K } , o conjunto dos inteiros no negativos.

iv. + = { 1, 2,3, 4,5,K } , o conjunto dos inteiros no negativos sem o zero.
*

v. - = { K , -4, -3, -2, -1, 0} , o conjunto dos inteiros no positivos.

vi. - = { K , -4, -3, -2, -1} , o conjunto dos inteiros no positivos sem o zero.
*

vii. * , o conjunto dos racionais sem o zero.

viii. + , o conjunto dos racionais no negativos.
*
ix. + , o conjunto dos racionais no negativos sem o zero.
*
x. - , o conjunto dos racionais no positivos sem o zero.

1.2 Limite

Seja f ( x ) uma funo definida sobre um intervalo aberto contendo x = a , sendo que
f ( a ) no necessariamente precisa estar definida. O nmero L chamado o limite da
funo f ( x ) quando x a se e somente se, para todo e > 0 , existe d > 0 tal que
f ( x ) - L < e sempre que 0 < x - a < d .

A seguir so apresentadas algumas propriedades do limite, esta propriedades so bem

conhecidas e exploradas. No vamos provar nenhuma dessas propriedades, porm cabe
uma observao sobre a aplicao do limite s funes. Observado as propriedades abaixo
fcil verificar como o limite acopla-se diretamente funo, independente da operao
aritmtica que se esteja realizando entre funes.
Considere que existam os limites
lim f ( x ) = L e lim g ( x ) = M ,
x a x a

dessa forma temos que:

p
f ( x) lim f ( x ) = Lp , onde p um nmero real
p

i. lim
x a = xa
ii. lim cf ( x ) = c lim f ( x ) = cL , onde c uma constante
x a x a

iii. lim f ( x ) g ( x )
= lim f ( x ) lim g ( x ) = L M
x a x a x a

iv. lim f ( x ) .g ( x )
= lim f ( x ) .lim g ( x ) = L.M
x a x a x a

f ( x ) lim f ( x) L
v. lim = x a =
x a g ( x ) g ( x) M
lim
x a

vi. lim c = c ,
x a
onde c uma constante

1.3 Nmero e

Um dos principais limites em matemtica aquele que define o nmero e. o nico

nmero tal que o valor e x igual a inclinao de sua reta tangente para todo x. um
nmero irracional, ou seja no pode ser expresso como a razo de dois nmeros inteiros.
Aparece a primeira vez em um trabalho de 1618 de John Napier. Euler foi quem introduziu
a letra e para denominar o valor desse nmero.
n
1
e = lim 1 + .
n
n

John Napier
Matemtico escocs que viveu entre 1550 e 1617. Foi quem descobriu os logaritmos, que se
constituem em uma ferramenta fundamental para resoluo de contas, lgebra e aritmtica.
Os logaritmos aparecem no trabalho de 1614 intitulado Mirifici Logarithmorum Canonis
Descriptio. Napier foi contemporneo de Shakespeare, Cames e Francis Bacon.

O valor de e com algumas casas depois da vrgula mostrado a seguir:

e = 2,71828182845904523536028747135266249775724709369995957496696762772407663035354
759457138217852516642742746639193200305992181741359662904357290033429526059563073

1.4 Nmero

uma das principais constantes matemticas, sendo representado pela letra grega p (pi).
Este nmero obtido a partir da constatao de que a razo do comprimento de qualquer
circunferncia Euclidiana com seu dimetro sempre a mesma. Assim como o nmero e,
p tambm um nmero irracional.

O valor de com algumas casas depois da vrgula mostrado a seguir:

p =3,141592653589793238462643383279502884197169399375105820974944592307816406286208
9986280348253421170679821480865132823066470938446095505822317253594081284811174502
1.5 Derivada

O clculo de derivadas e integrais, constitui-se na base do que convencionou-se chamar de

Clculo Diferencial e Integral. Vrios matemticos contriburam para a construo do
Clculo Diferencial, sendo atribudo a Leibniz e a Newton, no sculo XVII, as principais
descobertas e aplicaes que influenciaram todo o desenvolvimento posterior.

Isaac Newton
Newton ... o ... Newton.
Nasceu em Lincolnshire na Inglaterra, no Natal de 1642 pelo Calendrio Juliano, ou 4 de
Janeiro de 1643 pelo Calendrio Gregoriano. Acesse manuscritos de Isaac Newton em
http://cudl.lib.cam.ac.uk/collections/newton.

A derivada de uma funo definida como:

f ( x + h) - f ( x)
D1 f ( x ) = lim ,
h 0 h
(1)

se este limite existir.

Para produzir a n-sima derivada da funo precisamos realizar a iterao 1 desta operao n
vezes. Por exemplo, para a segunda derivada teremos que:
f&( x + h ) - f&( x )
D 2 f ( x ) = lim ,
h 0 h
f ( x + h + h ) - f ( x + h ) f ( x + h ) - f ( x )
-
D 2 f ( x ) = lim h h ,
h 0
h

1
Iterao: Ato de iterar, repetio. Processo de resoluo de uma de uma equao mediante uma sequncia
de operaes em que o objeto de cada uma o resultado da que a precede (AURLIO, 1994).
Interao: Ao que se exerce mutuamente entre duas ou mais coisas, ou duas ou mais pessoas; ao
recproca (AURLIO, 1994).
 f ( x + h + h ) - f ( x + h ) - f ( x + h ) + f ( x )

D 2 f ( x ) = lim h ,
h 0
h



f ( x + 2h ) - 2 f ( x + h ) + f ( x )
D 2 f ( x ) = lim .
h 0
h2

Para obter a terceira derivada a partir da definio, fazemos:

f&( x + h ) - &
& f&( x )
D 3 f ( x ) = lim ,
h 0 h
f ( x + h + 2h ) - 2 f ( x + h + h ) + f ( x + h ) f ( x + 2h ) - 2 f ( x + h ) + f ( x )
2
-
D f ( x ) = lim
2 h h2 ,
h 0
h



f ( x + 3h ) - 2 f ( x + 2h ) + f ( x + h ) - f ( x + 2h ) + 2 f ( x + h ) - f ( x )

D 2 f ( x ) = lim h2 ,
h 0
h



f ( x + 3h ) - 3 f ( x + 2h ) + 3 f ( x + h ) - f ( x )
D 2 f ( x ) = lim .
h 0
h3

Podemos generalizar o procedimento, dessa forma tem-se que:

d n f ( x) n
k n
Dn f ( x ) = n
= lim h -n
( -1) f ( x + ( n - k ) h ) .
dx h 0
k =0 k
(2)

Sendo que o caso n = 0 tambm est includo nesse resultado. O processo de obter a
derivada de uma funo tambm chamado de diferenciao.

Gottfried Wilhelm von Leibniz

Nasceu em Leipzig na Alemanha, a 1. De Julho de 1646. creditado a Leibniz e a Newton
a construo dos alicerces do Clculo Diferencial e Integral. Desenvolveu notaes e
conceitos matemticos que so usados at hoje. Acesse trabalhos de Gottfried Wilhelm von
Leibniz em www.nlb-hannover.de/Leibniz/ Leibnizarchiv.

Existem vrias notaes para derivada, e muitas vezes elas so utilizadas ao mesmo tempo
em algumas demonstraes e construes de modelos, a Tabela 1 apresentada as notaes
mais utilizadas.

Notaes para Primeira Derivada

 d dy
f ( x ) ou Notao do Leibniz
dx dx
f ( x ) ou f Notao do Lagrange
f&( x ) ou f& Notao do Newton
Dx f ( x ) ou Dx y Notao do Euler
D1 f ( x ) Aparece em vrios textos de matemtica
fx Aparece em vrios textos de economia
Tabela 1 Diferentes notaes para representar a primeira derivada.
1.6 Regras de diferenciao

A seguir so apresentadas as principais regras de diferenciao, a partir da utilizao da

definio apresentada em (1). Para todas as regras existem, obviamente, formas mais
sofisticadas e que levam em conta consideraes tcnicas detalhadas. Aqui, as regras sero
obtidas de maneira mais simples, porm com o mesmo resultado.

1.6.1 Derivada de uma constante

Considere uma funo f ( x ) igual a uma constante c. Como trata-se de uma constante,
alterando o valor de x no altera o valor de f ( x ) . Ou seja, aplicando a x um incremento h
resulta em f ( x + h ) = c . Portanto, a derivada de c com relao a x dada por:
f ( x + h) - f ( x )
( x ) = lim
f , c-c
h 0 h ( x ) = lim
f ,
h 0 h
0
( x ) = lim
f
h 0 h
,

( x ) = lim 0,
f
h 0

( x ) = 0.
f
(3)

1.6.2 Regra da Potncia

Considere f ( x ) = x , a derivada de f ( x ) com relao a x dada por:
n

( x + h)
n
- xn
( x)
f = lim .
h 0 h
(4)

Do binmio de Newton, sabemos que:

n
n n -k k
( x + h ) =
n
x h
k =0 k
(5)
onde,
n n!
=
k k !( n - k ) !
(6)

e
n ! = n. ( n - 1) . ( n - 2 ) . ( n - 3 ) K 4.3.2.1 .
(7)

Dessa forma,
n
n n - k k n n n n n n

k =0 k
x h = x n + x n -1h + x n - 2h 2 + K + xh n -1 +
0 1 2 n - 1 n
h

n! n! n! n! n!
= xn + x n -1h + x n-2 h2 + K + xh n -1 + hn
0!( n - 0 ) ! 1!( n - 1) ! 2!( n - 2 ) ! ( n - 1) !
n
- ( n - 1)
!
n !( n - n ) !
n ( n - 1) n - 2 2
= x n + nx n -1h + x h + K + nxh n -1 + hn .
2!
Portanto, substituindo este resultado em (4) temos:
n n ( n - 1) n - 2 2
x + nx n -1h + x h + K + nxh n -1 + h n - x n
2! ,
( x ) = lim
f
h 0 h
n ( n - 1) n - 2 2
nx n -1h + x h + K + nxh n -1 + h n
2! ,
( x ) = lim
f
h 0 h
n -1 n ( n - 1) n- 2
( x ) = lim
f nx + x h + K + nxh n- 2 + h n-1 ,
h 0
2!
n ( n - 1) n - 2
f( x ) = nx n-1 + lim +
x h + K + nxh n - 2 + h n -1 ,
h 0
2!
f( x ) = nx .
n -1

(8)

1.6.3 Funo Multiplicada por Constante

Considere uma funo g ( x ) = cf ( x ) , para determinarmos a derivada de g ( x ) com relao
a x, temos pela definio de derivada que:
g ( x + h) - g ( x)
g ( x ) = lim ,
h 0 h
cf ( x + h ) - cf ( x )
g ( x ) = lim ,
h 0 h
f ( x + h) - f ( x)
g ( x ) = c lim ,
h 0 h
 ( x ) = cf
g ( x) .
(9)

1.6.4 Regra da Soma e da Subtrao

Considere uma funo s ( x ) , dada pela soma ou pela subtrao de f ( x ) e g ( x ) , ou seja
s ( x ) = f ( x ) g ( x ) . Vamos construir a derivada da soma de duas funes, o caso da
subtrao anlogo.
s ( x + h) - s ( x)
s ( x ) = lim
h 0 h

sendo que
s ( x + h) = f ( x + h) + g ( x + h)

ento,
f ( x + h) + g ( x + h) - f ( x ) + g ( x )
,
( x ) = lim
s
h 0 h
f ( x + h) - f ( x) + g ( x + h) - g ( x)
( x)
s = lim ,
h 0 h
f ( x + h) - f ( x) g ( x + h) - g ( x)
( x)
s = lim + lim ,
h 0 h h 0 h
( x)
s = f ( x) + g ( x) .
(10)

1.6.5 Regra do Produto

Considere uma funo p ( x ) , dada pelo produto de duas funes f ( x ) e g ( x ) , ou seja
p ( x ) = f ( x ) .g ( x ) . A derivada de p ( x ) com relao a x dada por:
p ( x + h) - p ( x)
( x ) = lim
p
h 0 h

sendo que
p ( x + h ) = f ( x + h ) .g ( x + h )

dessa forma, teremos

f ( x + h ) . g ( x + h ) - f ( x ) .g ( x )
( x ) = lim
p .
h 0 h

Nesse ponto, importante destacar que seria interessante tentar expressar o limite acima em
termos de derivadas de f ( x ) e g ( x ) , para isso recorremos a seguinte manipulaco: somar
e subtrair a parcela f ( x + h ) g ( x ) do numerador. Ou seja,
 f ( x + h ) .g ( x + h ) - f ( x ) .g ( x ) + f ( x + h ) g ( x ) - f ( x + h ) g ( x )
( x ) = lim
p ,
h 0 h
f ( x + h ) - f ( x )
.g ( x ) + g ( x + h) - g ( x) . f ( x + h)
( x ) = lim
p ,
h 0 h
f ( x + h ) - f ( x )
.g ( x )
+ lim
g ( x + h) - g ( x) . f ( x + h)
( x ) = lim
p ,
h 0 h h 0 h
f ( x + h ) - f ( x )
lim g x + lim g ( x + h) - g ( x) . f ( x + h)
( x ) = lim
p ( ) lim f ( x + h ) .
h 0 h h 0 h 0 h h 0

Levando em conta que a funo f ( x ) contnua, temos que lim f ( x + h) = f ( x) .

h 0

Portanto,
p( x) = f
( x ) g ( x ) + g
( x) f ( x) . (11)

Considerando que f ( x ) e g ( x ) possam ser diferenciadas n vezes, a regra geral de Leibniz

para obteno da n-sima derivada de uma funo p ( x ) dada por p ( x ) = f ( x ) .g ( x )
definida como
dn dn
p ( x ) = f ( x ) .g ( x )
,
dx n dx n
dn n
n d n -k dk
f ( x ) . g ( x ) = n -k f ( x ) g ( x) .
dx n
k =0 k dx dx k

No Apndice apresentado um exemplo de utilizao da regra geral de Leibniz para o

produto de funes.

1.6.6 Regra do Quociente

Podemos determinar a derivada do quociente de duas funes atravs de duas maneiras
distintas, considerando as propriedades e manipulaes apresentadas at agora.
A primeira maneira leva em conta que so conhecidos os seguintes resultados:
d
f ( x ) g ( x ) ( x ) g ( x) + f ( x ) g
= f ( x)
dx

e
d n
dx
( x ) = nx n-1 .

Considerando uma funo k ( x ) , dada pelo quociente de duas funes f ( x ) e g ( x ) , ou

f ( x)
seja k ( x ) = , teremos
g ( x)
d d f ( x )
k ( x)

= ,
dx dx g ( x )

sendo g ( x ) 0 .

d f ( x ) d d
= f ( x ) g -1 ( x )
( x ) g -1 ( x ) + f ( x )
= f g -1 ( x )
,
dx g ( x ) dx dx
d f ( x )
( x ) g -1 ( x ) + f ( x )
= f - g -2 ( x ) g
( x)
,
dx g ( x )
d f ( x ) f ( x) - f ( x) g
( x)
= ,
dx g ( x ) g ( x ) g ( x)
2

d f ( x ) f
( x) g ( x ) - f ( x ) g
( x)
= ,
dx g ( x ) g ( x)
2
g ( x)
2

d f ( x ) f
( x) g ( x) - f ( x) g
( x)
= .
dx g ( x ) g ( x)
2

(12)

A segunda maneira leva em conta a aplicao da definio.

k ( x + h) - k ( x)
k( x ) = lim .
h 0 h

Sendo que,
f ( x + h)
k ( x + h) = .
g ( x + h)

Dessa forma,
f ( x + h) f ( x)
-
g ( x + h) g ( x) ,
k( x ) = lim
h 0 h
f ( x + h) g ( x) - f ( x ) g ( x + h)
k( x ) = lim .
h 0 hg ( x + h ) g ( x )

Nesse ponto, importante destacar que seria interessante tentar expressar o limite acima em
termos de derivadas de f ( x ) e g ( x ) , para isso recorremos a seguinte manipulao: somar
e subtrair a parcela f ( x ) g ( x ) do numerador. Ou seja,
f ( x + h) g ( x) - f ( x) g ( x + h) + f ( x) g ( x) - f ( x) g ( x)
( x ) = lim
k ,
h 0 hg ( x + h ) g ( x )
 f ( x + h ) - f ( x )
g ( x ) -
g ( x + h) - g ( x)
f ( x )
( x ) = lim
k ,
h 0 hg ( x + h ) g ( x )

f ( x + h ) - f ( x )
g ( x ) - lim g ( x + h) - g ( x)
f ( x )
( x ) = lim
k ,
h 0 hg ( x + h ) g ( x ) h 0 hg ( x + h ) g ( x )

f ( x + h ) - f ( x )
- lim g ( x + h) - g ( x)
f ( x )
( x ) = lim
k ,
h 0 hg ( x + h ) h 0 hg ( x + h ) g ( x )

f ( x + h ) - f ( x )
lim 1
- lim
g ( x + h) - g ( x)
f ( x ) lim 1
( x ) = lim
k
h 0 g ( x + h )
.
h 0 h h 0 h g ( x ) h0 g ( x + h )

Levando em conta que a funo g ( x ) contnua, temos que lim g ( x + h) = g ( x) .

h 0

Portanto,
1 f ( x) 1
( x) = f
k ( x ) lim ( x)
- g lim ,
h 0 g ( x + h) g ( x ) h 0 g ( x + h )
1 f ( x) 1
( x) = f
k ( x) ( x)
- g ,
g ( x) g ( x) g ( x)
( x) g ( x) - f ( x) g
f ( x)
( x) =
k .
g2 ( x)
(13)

A partir da frmula geral de Leibniz para obteno do produto de duas funes f ( x ) e

dn
g ( x ) , podemos construir tambm uma frmula geral para obter n ( )
f x g -1 ( x )
dx dada
por
dn f ( x ) n n d n -k d k -1
n - k
= f ( x ) g ( x) .
dx n g ( x ) k =0 k dx dx k

Essa frmula construda a partir da regra geral de Leibniz para o produto, porm
apresenta o inconveniente de obter a derivada de k-sima ordem de g ( x ) , dada por
d k -1
g ( x) .
dx k

1.6.7 Regra da Cadeia

Considere uma funo h ( x ) , dada pela composio de duas funes f ( x ) e g ( x ) , ou seja
h ( x) = g
f ( x )
. Aplicando a definio de derivada teremos
 h ( x + h) - h ( x)
( x ) = lim
h ,
h 0 h
g f ( x + h )
- g f ( x )
.
( x ) = lim
h
h 0 h

Nesse ponto, importante destacar que seria interessante tentar expressar o limite acima em
termo de uma derivada para f ( x ) ou g ( x ) , para isso considere a seguinte substituio
r = f ( x)

e
t = f ( x + h) - f ( x) .

Isso permite escrever f ( x + h ) da seguinte forma

f ( x + h) = r + t .

Assim, teremos que

g ( r + t) - g ( r)
h( x ) = lim .
h 0 h

t
Multiplicando o limite acima por ficamos com
t
g ( r +t) - g ( r) t
( x ) = lim
h . ,
h 0 h t
g ( r +t) - g ( r) t
( x)
h = lim . ,
h 0 t h
g ( r + t ) - g ( r ) f ( x + h) - f ( x)
( x)
h = lim . ,
h 0 t h
g ( r + t) - g ( r) f ( x + h) - f ( x)
( x)
h = lim lim .
h 0 t h 0 h
(14)

Para expressar o primeiro limite de (14) como uma derivada da funo g, preciso verificar
se t tende a zero quando h tende a zero. Sabemos que
t = f ( x + h) - f ( x) ,

e que a funo f ( x ) contnua, sendo assim

lim t = lim f ( x + h) - f ( x)
= 0 .
h 0 h 0

Ou seja, podemos considerar que t tende a zero quando h tende a zero. Voltando em (14),
pode-se escrever ento, que
 g ( r + t) - g ( r) f ( x + h) - f ( x)
( x ) = lim
h lim ,
t 0 t h 0 h
( x) = g
h ( r) f ( x) ,
h( x ) = g
f ( x ) ( x) .
f
(15)

1.6.8 Regra da Cadeia para Potncias

Considere a funo
h( x) =
f ( x )
n
,

sendo n, um nmero real. Aplicando a regra da cadeia tem-se que h ( x ) uma funo
composta do tipo
h ( x) = g
f ( x )
.

Sendo assim,
h( x ) = g
f ( x ) ( x) ,
f
n -1
h( x) = n
f ( x ) ( x) .
f
(16)

Considerando que f ( x ) e g ( x ) possam ser diferenciadas n vezes, a frmula geral de Fa

di Bruno para obteno da n-sima derivada de uma funo h ( x ) dada por
h ( x) = g
f ( x )
definida como
kn
( x ) f
( x) K f ( n ) ( x )
k1 k2
dn n! f
n
g
f ( x)
= g ( b)
f ( x)
,
dx k1 ! k2 !K kn ! 1! 2! n!

sendo
n = k1 + 2k2 + K + nkn ,

essa soma sendo realizada para todas as diferentes solues dadas pelos inteiros no
negativos k1 , k2 , K , kn .

f ( x )
( b)
A ordem da derivada em g dada por
b = k1 + k2 + K + kn .

A frmula geral de Fa di Bruno tambm pode ser escrita como

 ki
dn n! f ( x)
n ( i)
g f ( x ) = g ( b)
f ( x ) . (17)
dx
n k1 !k2 !K kn !
i =1 i !

Francesco Fa di Bruno
Nasceu em 29 de maro de 1825 em Alexandria, viveu at 27 de maro de 1888. Em 1853
deixa a carreira militar e ingressa na Sorbonne tendo como colega de classe Hermite e um
de seus professores Cauchy. Em 1876 torna-se padre. Entre suas contribuies para a
matemtica destacam-se resultados de seus estudos sobre funes elpticas.

No Apndice apresentado um exemplo de utilizao da frmula geral de Fa di Bruno,

para o caso de n igual a 3.

1.6.9 Derivada do Seno

Para determinar a derivada do seno, so necessrios alguns resultados preliminares, tais
como o Teorema do Confronto, o valor do limite de seno de x sobre x quando x tende a zero
e algumas relaes trigonomtricas.

Teorema do Confronto: Sejam f, g e h funes que satisfazem g ( x ) f ( x ) h ( x ) para

todo x em algum intervalo aberto que contenha um ponto a, considerando a possvel
exceo de que as desigualdades no precisam ser vlidas nesse ponto a. Se g e h tiverem o
mesmo limite quando x tende a a, digamos lim g ( x ) = lim h ( x ) = L , ento f tambm tem
x a x a

esse limite quando x tende a a, isto , lim f ( x) = L .

x a

Uma vez que foi enunciado o Teorema do Confronto, considere a circunferncia

trigonomtrica mostrada na Figura 1, sendo OI = OR = 1 .

Da Figura 1, podemos identificar os tringulos

T e OTR
OIR e o setor circular OIR
. Esta a forma
I mais comum para demonstrar um importante
resultado do clculo de limites, dado por
senx
lim =1.
x
x 0 x
O Facilmente pode-se verificar que
M R
senx = IM
cos x = OM
TR TR
tgx = = = TR
OR 1

Figura 1 Crculo Trigonomtrico.

possvel identificar as seguintes relaes de reas para os tringulos:

 OR.IM 1.senx
=
AOIR = ,
2 2
OR.TR 1.tgx
AOTR
= = .
2 2

No caso do setor circular a rea dada por:

( )
2
x.p OR x.OR x .
AABC = = =
2p OR 2 2

Por construo, as reas descritas acima dos tringulos OIR
e OTR e do setor circular
, apresentam a seguinte relao
OIR
< OIR
OIR < OTR .

Ou seja,
senx x tgx
< < .
2 2 2
(18)

Da forma como estas relaes foram construdas, poderia-se fazer o mesmo considerando-
se o quarto quadrante, com o inconveniente de algumas mudanas de sinais. Para tornar a
demonstrao mais geral ser usado o valor absoluto de cada uma das parcelas da
desigualdade (18). Assim,
senx x tgx
< < .
2 2 2

Multiplicando-se por 2 resulta em

senx < x < tgx .

Como o interesse avaliar o limite de senx x , o prximo passo multiplicar cada parcela
por 1 senx , ou seja
senx x tgx
< < ,
senx senx senx

e
x 1
1< < .
senx cos x

invertendo, as parcelas h a necessidade de mudar o sinal da desigualdade, dessa forma

senx
1> > cos x .
x
Pode-se verificar que, independente de considerar-se o primeiro ou o quarto quadrante para
a demonstrao cos x ser positivo, e senx x tambm ter sinal positivo, portanto pode-se
remover o mdulo.
senx
1> > cos x .
x

Resta agora aplicar o limite com x tendendo a zero a cada uma das parcelas,
senx
lim1 > lim > lim cos x .
x 0 x 0 x x 0

Sabendo que lim1 = 1 e lim cos x = 1 , tem-se

x0 x 0

senx
1 > lim >1.
x 0 x

Do Teorema do Confronto, pode-se finalmente concluir que

senx
lim =1.
x 0 x
(19)

Este resultado mostrado em (19) utilizado em diversas demonstraes e constitui-se em

um dos principais limites do Clculo Diferencial.

Muitas vezes so necessrias algumas relaes trigonomtricas que envolvem seno e co-
seno para a construo de derivadas de algumas funes. Dados os arcos x e y, considere
x + y = p e x - y = q , o que resulta em x = ( p + q ) 2 e y = ( p - q ) 2 . Dessa forma,
podemos construir as seguintes relaes trigonomtricas:

i. senp = senx cos y + seny cos x

ii. senq = senx cos y - seny cos x
p+q p-q
iii. senp + senq = 2senx cos y = 2sen cos
2 2
p-q p+q
iv. senp - senq = 2seny cos x = 2sen cos
2 2
v. cos p = cos x cos y - sen xsen y
vi. cos q = cos x cos y + senxseny
p+q p-q
vii. cos p + cos q = 2cos x cos y = 2 cos cos
2 2
p+q p-q
viii. cos p - cos q = -2senxseny = -2sen sen
2 2

Os resultados apresentados at aqui fornecem os subsdios necessrios para determinar a

derivada de senx a partir da definio de derivada. Portanto, sendo f ( x ) = senx , teremos
que:
sen ( x + h ) - senx
( x ) = lim
f .
h 0 h
(20)

O numerador do limite (20) pode ser reescrito utilizando o resultado (iv), o que produz
x+h- x x+h+x
2sen cos
2 2 ,
f( x ) = lim
h 0 h
h 2x + h
2sen cos
f( x ) = lim 2 2 ,
h 0 h
h
sen
f( x ) = 2 lim 2 lim cos 2 x + h ,
h 0 h h 0 2

h
sen senx
para poder expressar o limite 2 na forma do limite fundamental lim = 1,
lim x 0 x
h
h 0

podemos realizar a seguinte manipulao

h
sen
( x ) = 2 lim
f 2 lim cos 2 x + h ,
h 0 h h 0 2
2
2
h
sen
2
( x ) = lim
f 2 lim cos 2 x + h
2 h 0 h h 0 2 ,
14 2 4 23
=1
2x + h
( x ) = lim cos
f ,
h 0 2
( x ) = cos x .
f
(21)

1.6.10 Derivada do Cosseno

Considere f ( x ) = cos x , pela definio a derivada de f ( x ) dada por
cos ( x + h ) - cos x
( x ) = lim
f .
h 0 h
(22)

O numerador do limite (22) pode ser reescrito utilizando o resultado (viii) das relaes
trigonomtricas, o que produz
 x+h+x x+h-x
-2sen sen
2 2 ,
( x ) = lim
f
h 0 h
2x + h h
-2sen sen
( x ) = lim
f 2 2,
h 0 h
h
sen
2x + h 2,
( x ) = -2 lim
f sen lim
h 0 2 h 0 h

h
sen senx
para poder expressar o limite 2 na forma do limite fundamental lim = 1,
lim x 0 x
h
h 0

podemos realizar a seguinte manipulao

h
sen
2x + h 2,
( x ) = -2 lim
f sen lim
h
h 0 2 h 0
2
2
h
sen
2 2x + h 2
( x ) = - limsen
f lim
h ,
2 h 0 2 h 0

14 2 4 23
=1
2x + h
f( x ) = - lim sen ,
h 0 2
f( x ) = -senx .
(23)

1.6.11 Derivada de lnx

Considere f ( x ) = ln x , onde ln denota o logaritmo tomando como base o nmero e, ou seja
log e . Algumas propriedades do logaritmo so:
i. log a b = b log a
ii. log ( a.b ) = log a + log b
a
iii. log = log a - log b
b
iv. log a a = 1 .

Pela definio a derivada de f ( x ) dada por

ln ( x + h ) - ln x
( x ) = lim
f ,
h 0 h
 x+h
ln
( x ) = lim
f x ,
h 0 h
1 x+h
( x ) = lim
f
h 0 h
ln .
x

Tal como na obteno na derivada da funo exponencial e x a idia aqui tentar

transformar o limite do logaritmo para facilitar a obteno do resultado. Sendo assim,
podemos escrever
1 h
f( x ) = lim
h 0 h
ln 1 + ,
x
1 x h
f( x ) = lim
h 0 h x
ln 1 + ,
x
1 x h
f( x ) = lim ln 1 + ,
x h 0 h x
x
1 hh
( x ) = lim
f 1 + ,
ln
x h0 x
x
h

1 1
( x ) = lim
f 1+
ln ,
x h0 x

h

x

h

1 1
( x ) = ln lim
f 1+
.
x h0 x

h

x
1 h
O limite lim 1+ exatamente aquele que define o nmero e, portanto
h 0
x h
1
f( x ) = ln e ,
x
1
f( x) = .
x
(24)

1.6.12 Derivada de ex
Considere f ( x ) = e , pela definio a derivada de f ( x ) dada por
x

e( x + h ) - e x
( x ) = lim
f ,
h 0 h
 e x eh - e x
( x ) = lim
f ,
h 0 h
e x ( eh - 1)
f( ) h 0
x = lim ,
h
eh - 1
f( x ) = e x lim .
h 0 h
(25)

Para determinar o valor do limite lim

h 0
( eh - 1) h , considere a seguinte substituio
1 1 1
t= e h - 1 = h = ln
1 + .
e -1
h
t t

Para escrevermos o limite lim

h 0
( eh - 1) h em termos da nova varivel t, preciso verificar o
1
comportamento de t quando h tende a zero. Para isso considere t = , quando h tende a
e -1
h

zero a parcela e h tende a um, o que implica que t tender a infinito. Sendo assim,
1
eh - 1 t 1 1 1
lim lim = lim = lim =
h 0 h t 1 t 1 t 1 t
1 t
.
1+
ln 1+
t.ln ln 1 + ln lim 1 +
t t t t
t

t
1
O limite lim 1 + exatamente aquele que define o nmero e, portanto
t
t
1 1
= =1
1 ln et
.
ln lim 1 +
t
t

Aplicando este resultado em (25) tem-se que

f( x ) = ex .
(26)

1.7 Funo Contnua

Dizemos que a funo f contnua num ponto a, se as seguintes condies forem

satisfeitas:
i. f est definida no ponto a;
ii. lim f ( x ) existe;
x a
iii. lim f ( x) = f ( a) .
x a

1.8 Regra de LHpital

Considere as funes f ( x ) , g ( x ) e h ( x ) , tal que

lim f ( x ) = 0 ,
x c

(27)
lim g ( x ) = 0 ,
x c

(28)

e
f ( x)
h ( x) = .
g ( x)
(29)

Dos limites (27) e (28) e pelo fato de que estamos considerando funes contnuas temos
que f ( c ) = g ( c ) = 0 , dessa forma, podemos escrever
f ( x) - f ( c)
h ( x) = .
g ( x) - g ( c)
(30)

Multiplicando o numerador e o denominador de (30) por 1 ( x - c ) produz

f ( x) - f ( c)
h ( x) = x-c .
g ( x) - g ( c)
x-c

Aplicando o limite dos dois lados de (30) resulta em

f ( x) - f ( c)
lim h ( x ) = lim x-c
x c x c g ( x ) - g ( c )
,

x-c
f ( x) - f ( c)
lim
lim h ( x ) =
x c x-c .
x c g ( x) - g ( c)
lim
x c x-c

Portanto,
lim h ( x ) =
( x)
f
.
x c ( x)
g
(31)

Esse resultado tambm vlido para os casos em que temos os limites

lim f ( x ) = ,
x c

e
lim g ( x ) = .
x c

Guillaume Franois Antoine Marqus de LHpital

Matemtico francs que nasceu em Paris em 2 de Fevereiro de 1704. A regra de LHpital
que leva o nome do Marqus apareceu em 1696 no seu livro Analyse des Infiniment Petits.
Tambm considerado como um dos primeiros matemticos a ter resolvido o problema da
Brachistochrone2 proposto por Johann Bernoulli.

1.9 Integrao

Inicialmente a integral pode ser considerada sob dois aspectos, o primeiro est relacionado
com a determinao de antiderivadas das funes, e o segundo a aplicao da tcnica de
integrao para clculo da rea sob o grfico de uma funo. A integral indefinida de uma
funo, ou antiderivada de f ( x ) dada por
f ( x ) dx = F ( x ) + C

(32)

sendo que C chamada de constante de integrao, dessa forma

F ( x) = f ( x) .
A integral definida surge como tcnica para determinar a rea sob o grfico de uma funo,
em um intervalo [ a, b ] , consiste na soma de reas cada vez menores sob o grfico da
funo, para que a preciso seja cada vez maior. Essa soma, tambm conhecida como soma
de Riemann, representada pelo limite
n f ( x1 ) Dx + f ( x2 ) Dx + f ( x3 ) Dx + K + f ( xn ) Dx
lim

2
Este problema foi proposto em 1696 por Johann Bernoulli, basicamente diz o seguinte: considere dois
pontos A e B dados em um plano vertical, com o ponto A estando acima do ponto B. Feito isso, encontre a
curva AB de tal forma que uma partcula viaje do ponto A para o ponto B no menor tempo possvel. Em
grego brachistos quer dizer o menor e chronos significa tempo.
ou
n
lim f ( xi ) Dx .
n
i =1

(33)

Sendo que o intervalo [ a, b ] foi dividido em subintervalos de comprimentos iguais a

Dx = ( b - a ) n , e o limite mostrado em (33) chamado de integral definida da funo f de
a at b e representada por
b
f ( x ) dx .
a
(34)

Algumas propriedades da integral definida so mostradas a seguir.

b b
i. cf ( x ) dx = c f ( x ) dx ,
a a
onde c uma constante
b b b
ii. f ( x ) g ( x )

a
dx = f ( x ) dx
a a
g ( x ) dx

onde ( a < c < b )

b c b
iii. f ( x ) dx = f ( x ) dx + f ( x ) dx ,
a a c
a
iv. f ( x ) dx = 0
a
b a
v. f ( x ) dx = - f ( x ) dx
a b

O smbolo , denominado como smbolo da integral, uma forma alongada da letra S e foi
utilizada inicialmente por Leibniz.

O Teorema Fundamental do Clculo garante o seguinte resultado

b
f ( x ) dx = F ( b ) - F ( a ) ,
a
(35)

( x ) = f ( x ) . Antes de prosseguir ao
onde F uma antiderivada qualquer de f, ou seja, F
Teorema Fundamental do Clculo importante considerar o resultado fornecido pelo
Teorema do Valor Mdio.

1.10 Teorema do Valor Mdio

Seja f uma funo contnua no intervalo [ a, b ] , ento existe um ponto c entre a e b tal que:
1 b
f ( c) = f ( x ) dx .
b-a
a

(36)
Para demonstrar o resultado apresentado em (36) considere uma partio regular de ordem
n do intervalo [ a, b ] , dada por { a = x1 , x2 , x3 ,K , xn = b} . A mdia dos n valores
f ( x1 ) , f ( x2 ) , f ( x3 ) ,K , f ( xn ) da funo f , denotada por f xn , obtida da seguinte forma:
n

f ( x1 ) + f ( x2 ) + f ( x3 ) + K + f ( xn ) f ( x ) . i
f =
x
n
= i =1

n n
(37)

Para obtermos a mdia de todos os valores de f sobre o intervalo [ a, b ] , tomamos o limite

fazendo n tender a infinito, o que resulta no valor mdio de f em [ a, b ] , denotado por f :
n

f ( x ) . i
f = lim i =1
n n
(38)

Chamando de Dx o valor da diviso do comprimento do intervalo [ a, b ] pelo nmero de

parties n, temos que:
b-a
Dx = .
n

Sendo assim, podemos reescrever (37) como:

b - a f ( x1 ) + f ( x2 ) + f ( x3 ) + K + f ( xn )
f xn = ,
b-a n
1 b-a b-a b-a b-a
f xn = f ( x1 ) + f ( x2 ) + f ( x3 ) + K + f ( xn ) ,
b-a n n n n

1 n
f xn = f ( xi ) Dx .
b - a i =1
(39)

Aplicando o limite com n tendendo ao infinito em (39) produzimos:

1 n
lim f xn = lim f ( xi ) Dx ,
n n b - a
i =1
n
1
f = lim f ( xi ) Dx ,
b - a n i =1

dado que f uma funo contnua no intervalo [ a, b ] e sabendo que a soma de Riemann se
aproxima da integral definida, implica ento que:
1 b
f ( x ) dx .
b-a
f =
a
(40)

Agora, considere a Figura 2a e a Figura 2b. Para que a rea A1 seja igual a A2 devemos
ter:
A1 = A2 ,
b
f ( c ) ( b - a ) = f ( x ) dx ,
a
1 b
f ( c) = f ( x ) dx ,
( b - a) a

portanto, f ( c ) , a mdia dos valores f ( xi ) , igual a f , o valor mdio de f em [ a, b ] , ou

seja:
1 b
f ( c) = f = f ( x ) dx .
( b - a)
a

(41)

f(x)
f(c) f(x)
f(c)

a c b a c b
A1 = f ( c ) ( b - a ) b
A2 = f ( x ) dx
a
(a) (b)
Figura 2 (a) rea A1 e (b) rea A2 .

1.11 Teorema Fundamental do Clculo

Na primeira parte do Teorema Fundamental do Clculo consideramos uma integral do tipo

b
f ( t ) dt .
a
(42)

Podemos fixar o limite inferior e variar o limite superior, de tal forma que a integral (42)
agora expressa como
 x
f ( t ) dt ,
a
(43)

sendo que x pertence ao intervalo [a, b], ou seja, x pode variar de a (limite inferior) at b
(limite superior). Chamando essa nova integral de I ( x ) temos
x
I ( x ) = f ( t ) dt .
a
(44)

Tomando por hiptese que f seja uma funo contnua, ento temos que I : [ a, b ] .
Indicamos a derivada de I ( x ) por
d d x
I ( x ) = f ( t ) dt ,
dx dx a

( x ) pela definio, da seguinte forma

podemos obter I
I ( x + h) - I ( x)
( x ) = lim
I .
h 0 h

Sendo assim,
x+h x
f ( t ) dt - f ( t ) dt
( x ) = lim
I a , a
h 0 h
x x+h x
f ( t ) dt + f ( t ) dt - f ( t ) dt
( x ) = lim
I a x , a
h 0 h

o que resulta em
x+h
f ( t ) dt
( x ) = lim
I x .
h 0 h

Para realizar a prxima operao necessrio fazer uso do Teorema do Valor Mdio, o que
significa dizer que, sendo f uma funo contnua no intervalo [x, x + h] podemos escrever
x+h
f ( t ) dt = ( x + h - x ) f ( x%) ,
x

sendo x%um valor situado no intervalo [x, x + h]. Dessa forma, temos que
x+h

lim
f ( t ) dt = lim hf ( x%) ,
x
h 0 h h 0 h

ou
I( x ) = lim f ( x%) .
h 0
Nesse ponto importante observar que estando x%situado no intervalo [x, x + h], quando
h 0 , ento temos que x%se aproxima de x. Ou seja,
I( x) = f ( x) .
Na segunda parte do Teorema Fundamental do Clculo, escrevemos uma funo primitiva
mais geral denominada de F ( x ) , tal que
F ( x) = I ( x) + c ,
(45)

a
sendo c uma constante. Do resultado anterior podemos escrever que I ( a ) = f ( t ) dt = 0 e
a

que I ( b ) = f ( t ) dt , dessa forma construmos a diferena F ( b ) - F ( a ) produzindo

b

F ( b) - F ( a ) = I ( b) + c -
I ( a) + c
,
F ( b) - F ( a ) = I ( b) + c - I ( a ) - c ,
F ( b) - F ( a ) = I ( b) - I ( a) ,
b a
F ( b ) - F ( a ) = f ( t ) dt - f ( t ) dt ,
a a
b
F ( b ) - F ( a ) = f ( t ) dt - 0 .
a

Portanto,
b
f ( t ) dt = F ( b ) - F ( a ) .
a
(46)

1.12 Sries de Taylor e de MacLaurin

A seguir so apresentadas duas ferramentas importantes para representao de funes que

podem ser escritas em termos de srie de potncias. No caso da srie de Taylor tem-se que,
se uma funo f pode ser escrita na forma de srie de potncias em um ponto a, ento

f ( x ) = cn ( x - a ) ,
n
x-a < R .
n =0

(47)

Sendo que os coeficientes cn so dados por

f ( n) ( a )
cn = .
n!
(48)
Substituindo (48) em (47) temos que f ( x ) pode ser escrita como

f ( n) ( a )
f ( x) = ( x - a) ,
n

n=0 n!

que chamada de Srie de Taylor.

Brook Taylor
Matemtico ingls que viveu entre 1685 e 1731. reconhecido por contribuies
fundamentais na construo do clculo diferencial e integral, entre elas destacam-se o
clculo das diferenas finitas e as sries infinitas. Dois de seus principais trabalhos foram
publicados em 1715: Methodus Incrementorum Directa et Inversa e Linear Perspective.

O caso particular em que realizamos a expanso para a = 0 chamado de Srie de

MacLaurin.

f ( n) ( 0) n
f ( x) = x .
n =0 n!
(49)

Ou seja,

f ( x ) = f ( 0) +
f( 0)
x+
f
( 0) 2 f
x +

( 0 ) 3 f ( 4) ( 0 ) 4 f ( 5) ( 0 ) 5
x + x + x +K
1! 2! 3! 4! 5!
(50)

Colin MacLaurin
Nasceu na cidade de Kilmodan na Esccia em 27 de Fevereiro de 1698. Publicou vrios
trabalhos, sendo considerado mais importante o Treatise of Fluxions publicado em 1742.
Inventou a notao d n y dx n . Em 1695 foi indagado por LHpital sobre o que acontece no
caso de n ser igual a . Ou seja, discutem o conceito de derivada fracionria.

A seguir so apresentadas algumas expanses para funes que aparecem de forma

recorrente durante a construo de modelos matemticos e estatsticos.

i. f ( x ) = e
x

x x 2 x3 x 4 x5
e = 1 + + + + + +K
x

1! 2! 3! 4! 5!

xn
ex =
n =0 n !
(51)

ii. f ( x ) = senx
 x3 x 5 x 7 x 9
senx = x - + - + -K
3! 5! 7! 9!

x 2 n +1
senx = ( -1)
n

n =0 ( 2n + 1) !

x2
senx = x 1- 2 2
n =1 n p

(52)

iii. f ( x ) = cos x
x 2 x 4 x 6 x8
cosx = 1 - + - + -K
2! 4! 6! 8!
2n
n x
cosx = ( -1)
n =0 ( 2n ) !
4x2
cosx = 1-
n =1 ( 2n - 1) p
2 2

(53)
iv. f ( x ) = tgx
x 3 2 x 5 17 x 7 62 x 9
tgx = x + + + + -K
3 15 315 2835
(54)

1
v. f ( x ) =
1- x
1
= 1 + x + x 2 + x3 + x 4 + x 5 + x 6 K
1- x
n
1
= x n
1 - x n=0
(55)

vi. f ( x ) = ln ( 1 + x )
x 2 x 3 x 4 x5
ln ( 1 + x ) = x - + - + -K
2 3 4 5
( -1)
n +1

ln ( 1 + x ) = xn
n =1 n
(56)

e x - e- x e2 x - 1
vii. f ( x ) = senhx = =
2 2e x
 x3 x5 x7 x9
senhx = x + + + + +K
6 120 5040 362880

1
senhx = x 2 n +1
n = 0 ( 2n + 1) !

x2
senhx = x 1+ 2 2
n =1 n p

(57)

e x + e- x e2 x + 1
viii. f ( x ) = cosh x = =
2 2e x
x2 x4 x6 x8
coshx = 1 + + + + +K
2 24 720 40320

1 2n
coshx = x
n = 0 ( 2n ) !

4x2
coshx = 1+
n =1 ( 2n - 1) p
2 2

(58)

senhx e x - e - x e 2 x - 1
ix. f ( x ) = tg h x = = =
cosh x e x + e - x e2 x + 1
x 3 2 x 5 17 x 7 62 x 9
tg h x = x - + - + +K
3 15 315 2835
(59)

e x + e- x e2 x + 1
x. f ( x ) = cotg h x = =
e x - e- x e2 x - 1
1 x x3 2x5 x7
cotg h x = + - + - +K
x 3 45 945 4725
(60)

1.13 Sries Aritmticas e Geomtricas

1.13.1 Sries Aritmticas

Considere a srie S n dada por

S n = a1 + a2 + a3 + K + an -1 + an
(61)
sendo que, a1 o primeiro termo da srie e r a razo pela qual cada termo seguinte da
srie somado. Ou seja,
a1 = a1

a2 = a1 + r

a3 = a1 + 2r
M

an = a1 + ( n - 1) r.

Considerando, ak e an - k +1 dois termos equidistantes dos extremos, temos

ak = a1 + ( k - 1) r

e
( n - k + 1) - 1
an - k +1 = a1 +
r ,
an - k +1 = a1 + ( n - k ) r.

Dessa forma,
ak + an - k +1 = a1 + ( k - 1) r + a1 + ( n - k ) r ,
( k - 1) + ( n - k )
ak + an - k +1 = 2a1 +
r ,
ak + an - k +1 = a1 + a1 + ( n - 1) r ,
ak + an - k +1 = a1 + an .

Para obter uma expresso mais compacta para representar S n podemos fazer a seguinte
operao:
S n = a1 + a2 + a3 + K + an -2 + an -1 + an
+
S n = an + an -1 + an - 2 + K + a3 + a2 + a1 ,

em que o resultado dado por

2Sn = ( a1 + an ) + ( a2 + an -1 ) + K + ( an - 2 + a3 ) + ( an -1 + a2 ) + ( an + a1 ) .
(62)

Como a1 + an = a2 + an -1 = a3 + an - 2 = K = ak + an -k +1 temos
2 S n = ( a1 + an ) + ( a1 + an ) + K + ( a1 + an ) + ( a1 + an ) + ( a1 + an ) ,
2 S n = n ( a1 + an ) .

Portanto,
n ( a1 + an )
Sn = .
2
1.13.2 Sries Geomtricas
Considere a srie S n dada por
S n = a1 + a2 + a3 + K + an -1 + an ,
(63)

sendo que, a1 o primeiro termo da srie e q a razo pela qual cada termo seguinte da
srie multiplicado. Ou seja,
a1 = a1
a = a .q
2 1

M
an = a1.q n -1

Para obter uma expresso mais compacta para representar S n podemos fazer a seguinte
operao:
qSn = qa1 + qa2 + qa3 + K + qan -1 + qan ,

ou
qS n = a2 + a3 + K + an + qan .
(64)

Subtraindo (64) de (63) resulta em

S n - qS n = a1 - qan ,
S n ( 1 - q ) = a1 - qan ,
a1 - qan a - qq n -1a1 a - q n a1 a ( 1 - qn ) ,
Sn = Sn = 1 Sn = 1 Sn = 1
1- q 1- q 1- q 1- q
a1 ( q n - 1)
Sn = .
q -1
(65)

A soma (63) ser

i. convergente se -1 < q < 1 ;
ii. diveregente se q -1 ou q 1 .

No caso de uma soma com infinitos termos em que -1 < q < 1 , temos
a1 ( q n - 1)
lim S n = lim ,
n n q -1
a1q n a
lim S n = lim - lim 1 ,
n n q - 1 n q - 1
 a1 a
lim S n = lim q n - 1 ,
n q - 1 n q -1
a
lim S n = 0 - 1 , porque - < q < 1 , ento lim qn = 0 .
n q -1 n

Portanto, no caso de uma soma infinita onde -1 < q < 1 teremos

a
S = lim Sn = 1 .
n 1- q

Para o caso seguinte, considere uma progresso geomtrica finita constituda dos seguintes
termos ( a1 , a2 , a3 ,K , ak ,K , an -k +1 ,K , an -2 , an -1 , an ) .
Uma propriedade dessa progresso geomtrica a de que os pares de termos equidistantes
dos extremos dada por
a1an = a2 an -1 = a3an -2 = K = ak an - k +1 .

Em uma progresso geomtrica de forma geral podemos escrever

ak = a1.q k -1 ,
(66)

ou
an - k +1 = a1.q n - k .
(67)

Multiplicando (66) por (67) temos

ak an -k +1 = a1.q k -1a1.q n - k = a1a1q n -1 = a1an .
(68)

Agora, considerando o produto dos n primeiros termos de uma progresso geomtrica,

denotada por Pn temos
Pn = a1.a2 .a3 . K .an .

Podemos escrever o quadrado Pn da seguinte forma:

Pn = a1.a2 .a3 . K an - 2 .an -1.an
Pn = an .an -1.an -2 . K .a3 .a2 .a1 multiplicando
Pn2 = ( a1an ) ( a2 an -1 ) ( a3an -3 ) K ( an - 2 a3 ) ( an -1a2 ) ( an a1 ) .

Considerando o resultado obtido para termos equidistantes, podemos escrever que

Pn2 = ( a1an ) ( a1an ) ( a1an ) K ( a1an ) ( a1an ) ( a1an ) ,

Pn = ( a1an ) .
n
Se todos os termos da progresso geomtrica forem positivos temos
( a1an )
n
Pn = .
(69)

Tambm podemos escrever o produto de n termos de uma progresso geomtrica da

seguinte forma
Pn = a1.a2 .a3 . K .an ,
Pn = a1. ( a1q ) . ( a1q 2 ) . K . ( a1q n -1 ) ,
Pn = ( a1.a1.a1. K .a1 ) . ( q.q 2 .q 3. K .q n -1 ) ,

ou
Pn = a1n .q1+ 2+3+K + n -1 .
(70)

Como o expoente de q uma progresso aritmtica com razo igual a 1, podemos escrever
a frmula do produto de uma progresso geomtrica como
n ( n -1)

Pn = a1n .q 2 .
(71)