Matemtica A 11.

ano Limites de sucesses Jos Silvestre, 2008-01-08

Sucesses conceitos bsicos ........................................................................................................................................... 1

Definio de limite de uma sucesso................................................................................................................................... 2
Sucesso convergente para um nmero real................................................................................................................... 2
Sucesso com limite +................................................................................................................................................. 4
Sucesso com limite -.................................................................................................................................................. 5
Infinitamente grandes, infinitsimos, e outros casos particulares...................................................................................... 5
Proposies importantes sobre limites (existncia, unicidade, e outras)............................................................................... 6
Clculo de limites................................................................................................................................................................ 9
Limites imediatos: a sucesso identidade (n) e a sucesso constante.............................................................................. 9
Clculo de limites de sucesses obtidas a partir de outras atravs das operaes usuais .............................................. 10
Progresses aritmticas.................................................................................................................................................... 14
Progresses geomtricas.................................................................................................................................................. 16

Sucesses conceitos bsicos

Uma sucesso uma funo de domnio IN (conjunto dos nmeros naturais). Uma sucesso real uma
sucesso cujo conjunto de chegada IR ou est contido em IR.
Por vezes pode tomar-se para domnio de uma sucesso um conjunto da forma Z/ [a,+[ com a Z/
(correspondente aos nmeros inteiros relativos a comear em a ). O caso habitual corresponde a tomar a = 1 .
Estaremos sempre a considerar este caso; as definies e propriedades que sero enunciadas generalizam-se
facilmente a sucesses cujo domnio no comece no nmero 1.
Os elementos do domnio de uma sucesso (portanto os valores do argumento ou varivel independente da
sucesso) esto espaados de 1 em 1, e a seguir a um elemento h sempre outro (e portanto, vrios outros).
Podemos pensar nas sucesses como listas interminveis de nmeros. Nessa lista h-de haver um 1. termo, um 2.
termo, etc.. Se representarmos por n a varivel independente (argumento) da sucesso, e por u n a correspondente
imagem por meio da sucesso dada, ento o primeiro nmero da lista ser u1 , o segundo ser u2 , e assim
sucessivamente. O argumento n indica o nmero de ordem do correspondente termo da sucesso.
frequente usar as letras minsculas u, v, w, a, b, etc., para nomes de sucesses. A letra mais usada para
representar o argumento da sucesso a letra n, sendo tambm muito usadas as letras m, i, j, k, l, p, r, s, t. A
imagem do elemento n pela sucesso u pode ser representada por u n (notao especfica para as sucesses, que
nos ajuda a recordar que o seu domnio constitudo apenas por nmeros inteiros) ou u (n ) (a mesma notao que
usamos com quaisquer outras funes). Quando nos referimos a propriedades de toda a sucesso, e no apenas a
alguns dos teus termos, geralmente representamos a sucesso escrevendo o seu termo geral entre parnteses, por
exemplo (u n ) .
As operaes com funes (multiplicar uma funo por um nmero, somar um nmero a uma funo, somar
funes, multiplicar funes, dividir funes) aplicam-se do mesmo modo s sucesses. Em particular, a
sucesso u , simtrica de (u n ) , a sucesso cujos termos so simtricos dos de (u n ) (ou seja, trocamos o
sinal de todos os termos). Simbolicamente, ( u )n = (un )
Como funes que so (apesar do seu domnio mais restrito), as sucesses podem ser classificadas quanto sua
monotonia:
Uma sucesso diz-se crescente (ou, para alguns autores, crescente em sentido lato) se cada termo for
superior ou igual ao seu antecessor (excepto para o primeiro termo, que no tem antecessor). Diz-se portanto
que un crescente (em sentido lato) se, e apenas se, for verdadeira a seguinte implicao: se m e n so dois
nmeros inteiros tais que n > m , ento un um . Simbolicamente,

1
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

(m, n IN n > m ) un um
A definio de sucesso estritamente crescente anloga anterior, simplesmente substitui-se o sinal de
pelo sinal de > . Uma sucesso estritamente crescente no pode parar de crescer.
Diz-se que uma sucesso decrescente (em sentido lato ou em sentido estrito) se a sua simtrica for crescente
(tambm em sentido lato ou em sentido estrito, respectivamente).
Exemplificando: uma sucesso decrescente em sentido estrito se (m, n IN n > m ) un > um . Mas
un > um un < u m (se trocarmos o sinal a ambos os membros da desigualdade, devemos trocar o sentido
da prpria desigualdade). Portanto, a condio que uma sucesso (u n ) deve cumprir para ser estritamente
decrescente :
(m, n IN n > m ) un < um
Uma sucesso classificada como montona (em sentido lato ou em sentido estrito) se for crescente ou
decrescente (tambm em sentido lato ou em sentido estrito, respectivamente) em todo o domnio. Por exemplo:
a sucesso de termo geral un = n estritamente crescente (portanto estritamente montona), a sucesso de
termo geral vn = n 2 estritamente decrescente (portanto tambm estritamente montona), mas a sucesso de
termo geral wn = (n 100) no estritamente montona, pois o seu sentido de variao altera-se:
3

estritamente decrescente em {1,2,3,K ,100} mas estritamente crescente no conjunto {100, 101, 102, K} .
Uma sucesso diz-se majorada se existir um nmero real maior ou igual a todos os termos da sucesso; diz-se
minorada se existir um outro nmero real menor ou igual a todos os termos da sucesso.
Uma sucesso diz-se limitada se for simultaneamente majorada e minorada, ou seja, se todos os seus termos
estiverem enquadrados entre dois nmeros reais. Simbolicamente, (u n ) uma sucesso limitada se, e s se,
a un b
a ,bIR nIN
a <b

(leitura: existem dois nmeros reais a e b tais que, para qualquer nmero inteiro n , se verifica o seguinte: un
est compreendido entre a e b , em sentido lato).
Obviamente as desigualdades no estritas (), na definio, podiam ser substitudas por desigualdades
estritas (<), visto que, se a un b e > 0 , ento a < u n < b + : bastaria subtrair ao nmero a um
nmero maior que zero (mesmo que muito pequeno), e somar a b um nmero maior que zero, para que
passassem a ser vlidas as desigualdades estritas.

Definio de limite de uma sucesso

Sucesso convergente para um nmero real
Seja a um nmero real e (u n ) uma sucesso de nmeros reais. Diz-se que
(un ) tem limite a ,
ou que
o limite de (u n ) a
(simbolicamente lim un = a ),
ou ainda que
un converge (ou tende) para a
(simbolicamente un a )

2
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

se, e apenas se, para qualquer distncia estritamente positiva que fixemos, for possvel encontrar uma ordem p a
partir da qual todos os termos da sucesso distam do limite a menos do que . Simbolicamente,
lim un = a (n > p un a < )
> 0 pIN

(leitura: diz-se que o limite de u de n igual a a se, e apenas se, for verdadeira a seguinte afirmao: para qualquer
delta maior que zero, dever existir um nmero inteiro p, tal que, para todo o n maior que p, o mdulo da diferena
entre u de n e a seja menor do que delta).
Ser til no futuro reparar que u n a < equivalente a a < un < a + , o que corresponde a afirmar que un
est numa vizinhana do nmero a com raio .
Mais uma vez, as desigualdades estritas n > p e u n a < na definio podiam ser substitudas por
desigualdades no estritas ( e , respectivamente): o efeito que, para passar de uma definio para a
outra, seria necessrio somar ou subtrair uma unidade a p , ou seria necessrio tomar valores de
ligeiramente mais pequenos ou ligeiramente maiores.
Porm, h uma desigualdade na definio de limite que no pode deixar de ser estrita, que a > 0 : se na
definio substitussemos a condio > 0 pela condio 0 (ou seja: se tambm permitssemos que
fosse nulo), aconteceria uma de duas coisas:
- se mantivssemos a condio u n a < , nenhuma sucesso teria limite, pois u n a < impossvel
quando = 0 ;
- se substitussemos u n a < por u n a , s teriam limite as sucesses que fossem constantes a
seguir de uma certa ordem, pois u n a com = 0 implica u n a = 0 , o que s possvel se
un = a , e isto teria que acontecer para todo o n maior que p.
Nenhuma destas situaes nos interessa. O que nos interessa que un se aproxime cada vez mais de a ,
to prximo quanto se queira, mas sem ser obrigado a alguma vez chegar a a .
Exemplo:
Consideremos a sucesso (u n ) cujo termo de ordem n o maior nmero com (n-1) casas decimais cujo cubo
menor ou igual a 7.
Cada termo desta sucesso pode ser obtido por tentativa e erro:
u1 = 1 , porque u1 tem que ter 1-1=0 casas decimais, e 13 = 1 7 mas 23 = 8 > 7 ;
u2 = 1,9 , porque u2 tem que ter 2-1=1 casa decimal, e (1,9 ) = 6,859 7 mas (2,0) = 8 > 7 ;
3 3

u3 = 1,91 , porque (1,91) = 6,967871 7 mas (1,92) = 7,077888 > 7 ;

3 3

u4 = 1.912 , porque (1,912) = 6.989782528 7 mas (1,913) = 7.000755497 > 7 ;

3 3

e assim sucessivamente: em cada etapa determina-se o algarismo seguinte por tentativa e erro, conservando todos
os algarismos j calculados nas etapas anteriores.
J deves ter percebido que aquilo que procuramos, ao construir esta sucesso, determinar o valor da raiz cbica
de 7, a qual , por definio, igual ao nmero cujo cubo 7. Em cada etapa obtemos um valor aproximado da raiz
cbica de 7. E sabemos qual o erro mximo cometido em cada aproximao? Sim, sabemos! Pela forma como a
sucesso est construda, temos a certeza de que
un 3 7 < u n + 101 n
( un + 101 n o nmero que resulta de aumentar em uma unidade o ltimo algarismo de un . Se un o maior
nmero com (n-1) casas decimais cujo cubo menor ou igual a 7, ento, garantidamente, se somarmos um

3
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

algarismo ltima casa decimal obteremos um nmero cujo cubo j no menor ou igual a 7, e portanto ter que
ser maior que 7. Mas se (un + 101n ) > 7 ento un + 101n = 3 un + 101n
3
( )
3
> 3 7 , que uma das desigualdades
usadas no enquadramento acima.)
3
Decompondo o enquadramento nas duas desigualdades que o constituem, e subtraindo 7 a ambos os membros
de cada uma das desigualdades, verificamos que
un 3 7 0 0 < un 3 7 + 101 n
donde
un 3 7 0 101n < u n 3 7
o que, condensando novamente as duas desigualdades num s enquadramento, toma o aspecto
101n < u n 3 7 0
donde se conclui que
u n 3 7 < 101 n .

Concluso: un um valor aproximado de 3

7 a menos de 101 n . E como 101 n pode ser tornado to pequeno
quanto se queira, podemos obter um valor aproximado 3 7 to prximo do verdadeiro valor quanto se queira: basta
fazer o n suficientemente grande, ou seja, basta acrescentar um nmero suficiente de algarismos por tentativa e
erro.
Dizemos que a sucesso (u n ) converge para 3
7 , e essa convergncia d-nos a garantia de que, para obter um
3
valor suficientemente aproximado de 7 (por exemplo com erro inferior a 0,0011), basta tomar um termo de ordem
suficientemente elevada (para um erro inferior a 0,001 deveremos considerar o termo de ordem 4 ou superior). No
entanto, por este processo nunca vamos obter o valor exacto de 3 7 , simplesmente porque todos os termos da
sucesso so nmeros racionais (dzimas finitas, ou infinitas peridicas, representam sempre nmeros racionais), e
3
7 um nmero irracional. A sucesso (u n ) aproxima-se de 3 7 cada vez mais, mas nenhum dos seus termos
3 3
igual a 7 : apenas o limite da sucesso 7.
Uma sucesso diz-se convergente se convergir para um nmero real (nos termos da definio de limite acima
enunciada).

Sucesso com limite +

Uma sucesso tem limite a se estiver muito perto de a a partir de uma certa ordem. Estar perto do nmero a ,
quando a um nmero real, tem um significado muito simples: a distncia ao nmero a (ou seja: o valor absoluto
da diferena entre o nmero que estamos a considerar por exemplo um certo termo un e o nmero de
referncia a ) deve ser inferior a um certo nmero pequeno . Simbolicamente, u n a < . Mas como se
calcula a distncia a +? Como se define estar muito perto de + a partir de uma certa ordem? O nosso conceito
intuitivo de infinito o de algo inalcanvel, portanto qualquer nmero real h de estar a uma distncia infinita do
infinito: por mais que andemos a caminho do infinito, h sempre uma distncia infinita ainda por percorrer.
Vamos definir o limite + por uma via diferente. Estar perto do inalcanvel dever ser sinnimo de estar longe do
alcanvel; estar mais perto do inalcanvel corresponder a estar mais longe do alcanvel. E qual o nmero

1 Podemos, por exemplo, pretender determinar a medida do lado da aresta de um tanque cbico, com preciso ao milmetro, sabendo que o

cubo tem um volume de 7m3. O pedreiro no precisa de conhecer o valor exacto do comprimento da aresta; um valor aproximado ao
milmetro chega e sobra!
4
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

mais alcanvel, mais prximo, o mais pequeno, a referncia? , obviamente, o zero. Ento, dizer que uma
sucesso se aproxima de + tanto quanto ns queiramos corresponde a dizer que essa sucesso se afasta do
zero tanto quanto ns queiramos, ou seja, que a sucesso toma valores to grandes quanto ns queiramos. Em
termos mais rigorosos,
para qualquer nmero M IR dever existir uma ordem p IN a partir da qual todos os termos da sucesso so
maiores do que M . Simbolicamente,
lim u n = + (n > p un > M )
M IR pIN

(leitura: o limite de uma sucesso (u n ) mais infinito se e s se para qualquer nmero real M existir um
nmero inteiro p nas seguintes condies: a todo o nmero inteiro n maior que p dever corresponder um
termo da sucesso (u n ) maior do que M .)2

Sucesso com limite -

De forma anloga ao limite + se definiria o limite -:
lim u n = (n > p un < M )
M IR pIN

(para qualquer nmero real M dever existir uma ordem a partir da qual todos os valores da sucesso so menores
do que M ). No entanto, obtm-se uma definio equivalente, mas mais compacta e menos redundante, do seguinte
modo:
lim u n = lim( u n ) = +
O limite de uma sucesso (u n ) menos infinito se e s se o limite da sua simtrica mais infinito.

Infinitamente grandes, infinitsimos, e outros casos particulares

Diz-se que e representa-se se
(un ) um infinitamente grande un + , ou lim u n = + (j definido).
positivo lim u n = +
(un ) um infinitamente grande un , ou lim u n = (j definido), ou
negativo lim u n = equivalentemente, se ( u n ) for um
infinitamente grande positivo.
(un ) um infinitamente grande un ( u ) for um infinitamente grande
n
em mdulo3 (Apenas alguns autores utilizam esta positivo, isto , se
notao.4) lim u n = +

2Ambas as desigualdades estritas da definio de limite + podem ser substitudas por desigualdades no estritas, e em vez de
[ [ ] [
considerarmos todos os M IR basta considerarmos apenas um qualquer intervalo b,+ ou b,+ . Porqu? Porque o mesmo
p que verifica (n > p un > M ) quando M = b , tambm verifica a mesma condio quando M < b , ou seja: para
M ] , b] fica tambm garantida a existncia da ordem p exigida pela definio.
3 Se uma sucesso um infinitamente grande positivo ou um infinitamente grande negativo, tambm um infinitamente grande em mdulo,

mas a reciproca no verdadeira: um infinitamente grande em mdulo pode no tender para + nem para , pois pode saltar
inmeras vezes de valores positivos para valores negativos e vice-versa.
5
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

(un ) um infinitsimo un 0 , ou lim un = 0 (j definido)

lim un = 0
(un ) tende para zero por valores un 0 + , ou lim un = 0 , e
positivos lim u n = 0 + todos os termos da sucesso a
partir de certa ordem so
positivos (pode haver termos
negativos, mas em nmero
finito)
(un ) tende para zero por valores un 0 , ou lim un = 0 , e
negativos lim u n = 0 todos os termos da sucesso a
partir de certa ordem so
negativos [comentrio
semelhante]
(un ) tende para a por valores un a + , ou lim un = a , e
maiores que a lim u n = a + todos os termos da sucesso a
partir de certa ordem so
maiores que a []
(un ) tende para a por valores un a , ou lim un = a , e
menores que a lim u n = a todos os termos da sucesso a
partir de certa ordem so
menores que a []

Proposies importantes sobre limites (existncia, unicidade, e outras)

Todas as sucesses convergentes so limitadas.
Demonstrao:
Se uma sucesso convergente, existe um nmero real a tal que
(n > p a < un < a )
> 0 pIN

(ver definio de limite, alterada de acordo com o comentrio feito imediatamente a seguir). Em particular, existe
uma ordem p a partir da qual a 1 < un < a + 1 . Para trs ficam os termos u1 , u2 , K, u p , que constituem um
conjunto finito, o qual tem mximo e mnimo. Sejam ento L = min{u1 , u 2 ,K, u p } e M = max{u1 , u2 ,K, u p };
para qualquer n {1,2,K, p} tem-se L un M .

4 Desaconselho o uso da notao un , e ainda desaconselho mais a notao lim un = . No faz sentido dizer que o limite de
uma sucesso igual a infinito, porque no faz muito sentido considerar um objecto matemtico chamado infinito ( ), s assim, sem
lhe atribuir um sinal algbrico.
Uma das principais propriedades do conjunto dos nmeros reais a existncia de uma relao de ordem, e se introduzirmos um nmero
infinito (sem sinal) perderemos essa relao de ordem, pois se o infinito no tem sinal, no sabemos como o comparar com os nmeros
reais: no sabemos se h-de ser maior que todos os nmeros reais ou menor que todos eles.
Faz muito mais sentido estender o conjunto dos nmeros reais acrescentando-lhe dois novos elementos, mais infinito + (maior do que
qualquer nmero real) e menos infinito (menor que qualquer nmero real, e menor que + ).
6
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

Sejam agora = min (a 1, L ) o menor dos dois valores a 1 ou L , e = max (a + 1, L ) . Estas definies e
os enquadramentos j obtidos permitem-nos afirmar que un para qualquer n natural, ou seja, que todos
os termos da sucesso esto enquadrados entre os nmeros reais e , que o mesmo que dizer que a
sucesso (u n ) limitada.
Se uma sucesso um infinitamente grande5, no limitada; equivalentemente6: uma sucesso limitada
no pode ser um infinitamente grande.7
Demonstrao:
Se (u n ) limitada, existem e tais que < un < para qualquer n . Consequente, definindo
M = max{ , } ter-se- u n < M para qualquer n . Consequentemente, no existe uma ordem p a partir da
qual se tenha u n > M como exige a definio infinitamente grande. Conclumos assim que (u n ) no pode ser
um infinitamente grande.
Se uma sucesso tem limite + (respectivamente ), todos os termos a partir de certa ordem so
positivos (respectivamente negativos). Alm disso, a sucesso minorada (a partir de certa ordem) por um
nmero estritamente positivo (respectivamente, majorada a partir de certa ordem por um nmero
estritamente negativo).
Esta propriedade extrai-se directamente das definies dos limites + e , considerando o valor de
M apropriado a cada caso.
As propriedades acima referidas ajudam-nos a demonstrar a
unicidade do limite: o limite de uma sucesso, se existir, nico.
Demonstrao (por reduo ao absurdo):
Suponhamos que esta afirmao falsa, ou seja, que existe uma sucesso (u n ) admitindo dois limites distintos.
H que considerar vrias situaes possveis:
1) os dois limites so dois nmeros reais a e b;
2) um dos limites um nmero real a, o outro + ;
3) um dos limites um nmero real a, o outro ;
4) um dos limites , o outro + .
Vamos considerar cuidadosamente o caso 1, ou seja, vamos provar que ele no pode ocorrer (recorde-se que o
que queremos provar que o limite nico, ou seja, que no podem existir dois limites distintos).
Se a e b so dois nmeros reais distintos, obrigatoriamente um deles menor do que o outro; chamemos ento
a ao menor dos limites e b ao maior. Como a<b, a diferena b-a positiva (b-a mais no do que a distncia
ba
entre os dois nmeros), e o nmero = tambm positivo. Ento, pela definio de limite, tem que haver
3
uma ordem p1 a partir da qual a < un < a + e uma ordem p2 a partir da qual b < un < b + . Seja
agora p a maior das duas ordens p1 e p2 ; a partir da ordem p ambos os enquadramentos sero vlidos, e a
partir deles deduzimos que b < u n < a + , donde resulta que b < a + , ou equivalentemente,

5 Sem outra indicao, toma-se infinitamente grande como sinnimo de infinitamente grande em mdulo, o que tambm inclui os casos

infinitamente grande positivo e infinitamente grande negativo.

6 Os dois enunciados so contra-recprocos um do outro, por isso so logicamente equivalentes.

7 Os dois enunciados (antes e depois da palavra reciprocamente) so equivalentes. Se no estiver convencido, pergunte-me, ou recorde a

Lgica que estudou em Filosofia no 11. ano.

7
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

ba
b a < 2 . Substituindo nesta desigualdade pela expresso que o define, = , conclumos que
3
ba <
2
(b a ) 3(b a ) < 2(b a ) b a < 0 . Ento deveremos ter simultaneamente b a > 0 (pela
3
forma como os dois limites foram ordenados, chamando-se a ao menor deles) e b a < 0 (em resultado dos
clculos que efectumos), o que absurdo. Ento, tambm a nossa hiptese de partida absurda, ou seja, a
sucesso (u n ) no pode ter dois limites reais distintos.
A demonstrao de que os restantes trs casos conduzem a um absurdo faz-se de forma ainda mais simples.
Nos casos 2 e 3, basta notar que, se a sucesso converge para um nmero real, limitada, pelo que no pode
ser um infinitamente grande. No caso 4, basta reparar que, se o limite fosse simultaneamente + e , todos
os termos a partir de certa ordem teriam que ser simultaneamente positivos e negativos, o que impossvel.
Se existe limite de uma sucesso (quer esse limite seja um nmero real, + , ou ), todas as suas
subsucesses8 tm o mesmo limite. Equivalentemente, se uma sucesso admite duas subsucesses com
limites diferentes, ento no existe limite da sucesso.
Existncia de limite: qualquer sucesso real montona9 e limitada convergente (isto , tm limite, e esse
limite um nmero real). Para estar nestas condies, basta que a sucesso seja
- crescente majorada, ou
- decrescente minorada.
Esta propriedade deduz-se do axioma do supremo: todo o conjunto majorado10 de nmeros reais tem
supremo11. Dos axiomas que definem o conjunto dos nmeros reais, este o nico que no observado
tambm pelos nmeros racionais. Assim, pode dizer-se que a grande diferena entre o conjunto de nmeros
racionais e o conjunto dos nmeros reais que algumas sucesses montonas e limitadas de nmeros racionais
no tm limite no conjunto dos nmeros racionais.
Um exemplo disso a sucesso (u n ) construda no exemplo da pgina 3: crescente e majorada (pelo nmero
2, por exemplo), logo convergente em IR ; mas o limite 7 , que um nmero irracional; e o limite nico,
portanto a sucesso no pode ter um limite racional.
Sejam (u n ) e (vn ) duas sucesses, e suponha-se que possvel igualar as duas sucesses suprimindo
um nmero finito de termos a cada uma delas (no obrigatoriamente o mesmo nmero de elementos em
ambas). Ento (u n ) tem limite se, e apenas se, (vn ) tem limite, e os limites coincidem.
Exemplo:

8 Dada uma sucesso (un ) , uma subsucesso de (un ) uma nova sucesso que se obtm seleccionando apenas alguns termos de
(un ) , em nmero infinito e pela ordem em que surgem na sucesso (un ) . Assim, por exemplo, a sucesso dos nmeros pares, a dos
nmeros primos, a dos quadrados perfeitos (comeando em 1), a das potncias de 10 (comeando em 1), etc., so todas subsucesses da
sucesso dos nmeros naturais.
9 Em sentido lato; no necessrio que sejam estritamente montonas.

10 Um conjunto diz-se majorado se tiver pelo menos um majorante, ou seja, se existir um nmero real maior ou igual que todos os elementos

do conjunto.
11 Para demonstrar que toda a sucesso crescente e majorada tem limite, considera-se o contradomnio da sucesso, que um conjunto

majorado de nmeros reais, e demonstra-se que o limite da sucesso igual ao supremo desse conjunto, isto , ao menor dos majorantes.
Para uma sucesso (u n ) decrescente e minorada, usa-se o velho truque: considera-se a sucesso ( u n ) , que crescente e majorada,
e que j sabemos que tem limite; da retira-se concluses acerca do limite de (u n ) .
8
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

Consideremos as sucesses de termo geral un = n 2 , vn = n 3 e wn = n . Se suprimirmos os dois primeiros

termos de (u n ) e os primeiros trs termos de (vn ) , obtemos em ambos os casos a sucesso (wn ) , cujo limite
+ . Logo, lim u n = lim vn = lim wn = + .
Esta propriedade muito importante, pois muitas vezes a aplicao de outras proposies s possvel aps
suprimirmos alguns termos s sucesses intervenientes.
Exemplo:
1
A sucesso de termo geral un = limitada (todos os termos esto compreendidos entre 0 e 2) mas no
n 3,5
montona: crescente em {1,2,3} e decrescente em {4,5,K} . Assim, no podemos aplicar directamente a
proposio que nos diz que as sucesses montonas e limitadas so convergentes. Porm, se suprimirmos os
primeiros trs termos de (u n ) , obtemos uma nova sucesso (wn ) de termo geral wn =
1
, que monnona e
n 0,5
limitada, e por isso convergente. Logo, (u n ) tambm convergente, tendo o mesmo limite que (wn ) .
Se (u n vn ) isto , se cada termo da sucesso (u n ) menor ou igual que o termo correspondente da
nIN

sucesso (vn ) e existem lim un e lim vn , ento lim un lim vn .

Teorema da sucesso enquadrada:
Se (u n vn wn ) , e as sucesses (u n ) e (wn ) tm o mesmo limite em IR = IR { ,+} , ento a
nIN

sucesso (vn ) tem o mesmo limite.

Se (u n ) um infinitsimo, ento u n um infinitsimo no-negativo, e ( un ) tambm um infinitsimo.
Comparao de infinitsimos:
Se (u n ) um infinitsimo e a partir de certa ordem vn un , ento (vn ) tambm um infinitsimo.
(Consequncia imediata das duas propriedades anteriores.)
Comparao de infinitamente grandes positivos:
Se (u n ) um infinitamente grande positivo e todos os termos de (vn ) , a partir de certa ordem, so maiores
ou iguais que os termos correspondentes de (u n ) , ento (vn ) tambm um infinitamente grande positivo.
Se (u n ) um infinitamente grande negativo e todos os termos de (vn ) , a partir de certa ordem, so menores
ou iguais que os termos correspondentes de (u n ) , ento (vn ) tambm um infinitamente grande negativo.

Clculo de limites
Limites imediatos: a sucesso identidade (n) e a sucesso constante
lim n = +
O limite da sucesso identidade, un : n a n , mais infinito.
Demonstrao (resumida):
Pretende-se provar que, para qualquer nmero real M , existe uma ordem p a partir da qual todos os termos da
sucesso de termo geral un = n so maiores do que M . Intuitivamente, basta tomar p igual ao primeiro
nmero inteiro maior que M : se n > p (por hiptese, na definio de limite) e p > M , ento n > M , que o
mesmo que dizer un > M .

9
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

lim(a ) = a , qualquer que seja o nmero real a . Em linguagem corrente,

o limite de uma sucesso constante igual prpria constante.
Demonstrao (resumida):
Basta notar que, se un = a para qualquer valor de n , ento tem-se sempre u n a = 0 , portanto a condio
u n a < vlida para todo o n qualquer que seja o nmero positivo .

Clculo de limites de sucesses obtidas a partir de outras atravs das operaes usuais

Soma de duas sucesses

Se un a e vn b (onde a, b IR = IR { ,+} ), e a soma a + b est definida em IR , ento
(un + vn ) a + b , ou seja: o limite da soma de duas sucesses igual soma dos limites respectivos, se
estes existirem e se a sua soma estiver definida.
Quando a e b um nmero real, sabemos que a soma est definida, e sabemos calcul-la. H, porm, um novo
detalhe: a indicao do sentido pelo qual um limite alcanado (se por valores inferiores ou por valores superiores).
bastante intuitivo que
Se e ento
un a + vn b + (un + vn ) (a + b )+
un a vn b (un + vn ) (a + b )
Se uma das sucesses tende para o seu limite por valores superiores e a outra por valores inferiores, ou se falta
essa informao a respeito de uma das sucesses, nada podemos afimar quanto ao sentido da aproximao da
sucesso soma.
As grandes dvidas no clculo do limite da soma de duas sucesses podem surgir quando pelo menos um dos
limites + ou . A aplicam-se as seguintes extenses da soma de nmeros ( a representa um nmero real
qualquer):
a + (+ ) = + ;
(+ ) + (+ ) = +(estas duas regras podem condensar-se numa s, generalizando: a soma de um
infinitamente grande positivo com uma sucesso minorada ainda um infinitamente grande positivo);
a + ( ) = ;
( ) + ( ) = (estas duas regras podem condensar-se numa s, generalizando: a soma de um
infinitamente grande negativo com uma sucesso majorada ainda um infinitamente grande negativo).
No est definido + (diz-se que uma indeterminao), porque, se uma das sucesses for um
infinitamente grande positivo e a outra for um infinitamente grande negativo, a soma das duas sucesses pode ser
qualquer coisa:
- um infinitamente grande positivo: por exemplo un = n 2 , vn = n ;
- um infinitamente grande negativo: por exemplo un = n 2 , vn = n ;
- um infinitamente grande em mdulo: por exemplo un = n 2 + ( 1) n , vn = n 2 + ( 1) n ;
n n

- uma sucesso convergente: por exemplo un = n + 2 , vn = n + 2 ;

- uma sucesso oscilante limitada: por exemplo un = n + ( 1) , vn = n + ( 1) ;
n n

10
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

- uma sucesso que nem um infinitamente grande nem limitada: por exemplo un = n 2 + n 1 + ( 1) , ( n
)
(
vn = n 2 + n 1 + ( 1) .
n
)
Caso particular da proposio anterior: se un a , ento (u n + b ) a + b , quaisquer que sejam a IR e
b IR . Ou seja: se somarmos uma constante a uma sucesso, o limite vem somado da mesma
constante.
Outras situaes (bastante intuitivas) em que podemos determinar o limite da soma:
Se e ento
(un ) minorada vn + (un + vn ) + (j referido)
(un ) majorada vn (un + vn ) (j referido)
(un ) limitada vn ( um infinitamente grande (un + vn ) ( tambm um
em mdulo) infinitamente grande em mdulo)

Produto de duas sucesses

Se un a e vn b (onde a,b IR = IR { ,+} ), e o produto a b est definido em IR , ento
(un vn ) ab , ou seja: o limite do produto de duas sucesses igual ao produto dos limites respectivos,
se estes existirem e se o seu produto estiver definido.
Mais uma vez, as dvidas na aplicao desta regra surgem quando um dos limites infinito. Aplicam-se nesses
casos as seguintes regras ( a e b representam nmeros reais, eventualmente com algumas restries indicadas
junto deles):
(+ ) (+ ) = + (+ ) ( ) =
( ) ( ) = +
_________________________________________________________________________________________
a (+ ) = + ; a (+ ) = ;
(>0 ) (< 0 )

a ( ) = ; a ( ) = + ;
(>0 ) (< 0 )

a 0+ = 0+ ; a 0+ = 0 ;
(>0 ) (< 0 )

a 0 = 0 ; a 0 = 0+ ;
(>0 ) (< 0 )
_________________________________________________________________________________________
= (ab ) = (ab )
+ + +
a+ b a+ b
(> 0 ) (>0 ) ( > 0 ) (< 0 )

= (ab ) = (ab )
+ +
a b a+ b
(< 0 ) (< 0 ) (< 0 ) (< 0 )

= (ab ) = (ab )
+
a b a b
(> 0 ) (>0 ) ( > 0 ) (< 0 )
_________________________________________________________________________________________
No esto definidos 0 (+ ) , 0 ( ) , 0 (indeterminaes), porque, se uma das sucesses for um
infinitamente grande e a outra for um infinitsimo, o produto das duas sucesses pode ser qualquer coisa:
1
- um infinitamente grande: por exemplo un = n 2 , vn = (neste exemplo trata-se de um infinitamente grande
n

11
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

positivo);
2
- uma sucesso convergente: por exemplo un = n + 2 , vn = ;
n

- uma sucesso oscilante limitada: por exemplo un = n , vn =

( 1)n ;
n
1 + ( 1)
n
- uma sucesso que nem um infinitamente grande nem limitada: por exemplo un = n 2 , vn = .
n
Caso particular da proposio anterior: se un a , ento (b un ) ba , quaisquer que sejam a IR e
b IR excepto se a { ,+} e simultaneamente b = 0 . Ou seja: se multiplicarmos uma sucesso por
uma constante, o limite vem multiplicado pela mesma constante, excepto no caso de o limite ser infinito e
a constante ser zero (indeteminao).
Outras situaes em que podemos determinar o limite o produto:
Se e ento
(un ) limitada vn 0 (un vn ) 0
( un ) vn ( um infinitamente grande (un vn ) ( tambm um
>0 n> p
pIN em mdulo) infinitamente grande em mdulo)
(a partir de uma certa ordem p o
valor absoluto de un nunca desce
abaixo de um certo valor positivo )
(un ) minorada por um nmero vn + (un vn ) +
estritamente positivo (excepto, (a regra (+ ) (+ ) = + ea
possivelmente, num nmero finito de
regra a (+ ) = + so
termos) ( >0 )
consequncia desta propriedade)
(un ) minorada por um nmero vn (un vn )
estritamente positivo (excepto, (a regra (+ ) ( ) = ea
possivelmente, num nmero finito de
regra a ( ) = so
termos) ( >0 )
consequncia desta propriedade)
(un ) majorada por um nmero vn + (un vn )
estritamente negativo (excepto, (a regra a (+ ) =
possivelmente, num nmero finito de (<0 )
termos) consequncia desta propriedade)
(un ) majorada por um nmero vn (un vn ) +
estritamente negativo (excepto, (a regra ( ) ( ) = + e a
regra a ( ) = + so
possivelmente, num nmero finito de
termos) (<0 )
consequncia desta propriedade)

Inverso de uma sucesso

Se
un a (onde a IR ),

12
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

o inverso de a (ou seja 1 / a ) est definido em IR , e

(un ) possui no mximo um nmero finito de termos nulos,
ento (1 / u n ) 1 / a , ou seja: o limite do inverso de uma sucesso igual ao inverso do limite dessa
sucesso, se este limite existir e se o seu inverso estiver definido.
As dvidas surgem quando o limite infinito ou zero. Nesses casos, valem as seguintes regras:
1 / 0 = (o inverso de um infinitsimo um infinitamente grande em mdulo; ateno que a sucesso apenas
pode ter um nmero finito de termos nulos)
1 / 0 + = + (se, adicionalmente, soubermos que o zero aproximado por valores positivos, podemos afirmar
que o inverso da sucesso um infinitamente grande positivo)
1 / 0 =
1 / = 0 (o inverso de um infinitamente grande um infinitsimo)
1 / + = 0+
1 / = 0

Potncia de uma sucesso

Se un a (onde a IR ), e k um nmero natural,
ento (u n ) a k , ou seja: o limite da potncia de ndice natural de uma sucesso igual potncia do
k

limite da sucesso, se este limite existir.

Neste clculo valem as seguintes regras:
(+ )k = + qualquer que seja o nmero natural k;
( )k = se k for um nmero natural mpar;
( )k = + se k for um nmero natural par;
(a )
k
(
= ak )

se a for um nmero real e k for um nmero natural mpar;
(a )
k
= (a k
) se a for um nmero real estritamente positivo e k for um nmero natural par;

(a )
k
= (a k +
) se a for um nmero real no-positivo (i.e. negativo ou nulo) e k for um nmero natural par;

(a )
+ k
= (a k +
) se a for um nmero real e k for um nmero natural mpar;
(a )
+ k
= (a k +
) se a for um nmero real no-negativo (i.e. positivo ou nulo) e k for um nmero natural par;

(a )
+ k
= (a k
) se a for um nmero real estritamente negativo e k for um nmero natural par.

Raz de ndice r de uma sucesso

Se
r um nmero inteiro mpar, e
un a (onde a IR ),
ento r un r a , ou seja: o limite da raz de ndice mpar de uma sucesso igual raz do seu limite, se
este limite existir. Neste clculo, considera-se que r
+ = + e r
= .

13
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

Se, alm disso, for conhecido que un a + (respectivamente, un a ), ento r un ( a)

r
+

(respectivamente r un ( a ) ).
r

Se
r um nmero inteiro mpar, e
un ,
ento un , ou seja: o limite da raz de ndice mpar de um infinitamente grande em mdulo ainda
r

um infinitamente grande em mdulo.

Se
r um nmero inteiro par, e
un a (onde a IR + ),
ento run r a , ou seja: o limite da raz de ndice par de uma sucesso igual raz do seu limite, se
este limite existir e for um nmero estritamente positivo.
Se, alm disso, for conhecido que un a + (respectivamente, un a ), ento r un ( a)
r
+

(respectivamente r un ( a ) ).
r

Se un + , e r um nmero inteiro par,

ento run + , ou seja: a raz de ndice par de um infinitamente grande positivo ainda um
infinitamente grande positivo.
Se
r um nmero inteiro par,
un 0 , e
un 0 (excepto, possivelmente, num nmero finito de termos),
ento r un 0 , ou seja: o limite de um infinitsimo no-negativo (excepto, possivelmente, num nmero
finito de termos) ainda um infinitsimo (cujos termos so todos no-negativos).

Progresses aritmticas
Uma sucesso (u n ) constitui uma progresso aritmtica se a diferena entre quaisquer dois termos
consecutivos constante, isto , se existe um nmero real r tal que
(un +1 u n = r ) .
nIN

Ao nmero r d-se o nome de razo da progresso aritmtica.

Termo geral:
O termo geral de uma progresso aritmtica de razo r
un = u1 + (n 1) r
Demonstrao:
A demonstrao de que determinada afirmao vlida para qualquer nmero natural, faz-se geralmente por
induo: prova-se que essa afirmao vlida quando n = 1 , e seguidamente prova-se que, sempre que a
propriedade vlida para um certo nmero inteiro m , tambm vlida para o nmero inteiro seguinte
( n = m + 1 ). esse o processo que agora utilizaremos.

14
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

A verificao da igualdade quando n = 1 trivial: u1 = u1 + (1 1) r equivalente a u1 = u1 + 0 , que

obviamente verdadeiro.
Consideremos agora que a igualdade vlida para um certo inteiro m , ou seja, que um = u1 + (m 1) r (a
chamada hiptese de induo). Seja n = m + 1 . Por definio de progresso aritmtica, sabemos que
un = um + r . Considerando a hiptese de induo, verificamos que
un = u1 + (m 1) r + r = u1 + ((m + 1) 1) r = u1 + (n 1) r
donde se conclui que o termo de ordem n = m + 1 tambm ser dado por un = u1 + (n 1) r .

Conclumos que a relao un = u1 + (n 1) r vlida quando n = 1 e hereditria; consequentemente, vlida

para qualquer nmero natural n .
Soma dos primeiros n termos:
Seja (u n ) uma progresso aritmtica. A soma dos seus primeiros n termos, que se representa por S n ,
dada por
u +u
Sn = n 1 n .
2
Demonstrao (por induo):
Quando n = 1 , estamos a somar um nico termo, e a soma igual a esse termo, u1 . Portanto,
2u u +u
S1 = u1 = 1 = 1 1 1 , o que mostra que a frmula do enunciado vlida quando n = 1 .
2 2
Suponhamos agora que a frmula vlida para um certo inteiro m , ou seja, que a soma dos primeiros m
u +u
termos da sucesso dada por S m = m 1 m . Se representarmos por r a razo da progresso aritmtica,
2
podemos usar o conhecimento de que um = u1 + (m 1) r para concluir que
u + u + (m 1) r m (m 1) r
Sm = m 1 1 = m u1 + .
2 2
Seja n = m + 1 . A soma dos primeiros n termos resulta de adicionar a S m o novo termo, ou seja,
m (m 1) r
S n = S m + u n = m u1 + + (u1 + (n 1) r ) =
2
m (m 1) r m 2 r
= (m + 1) u1 + + =
2 2
m (m 1 + 2 ) r 2u m n r
= n u1 + = n 1 + =
2 2 2
u + u + (n 1) r u +u
= n 1 1 = n 1 n
2 2
u1 + u n
Confirmamos assim a validade da frmula S n = n para n = m + 1 . A igualdade vlida para n = 1 e
2
hereditria, logo vlida para qualquer nmero natural n .
Uma progresso aritmtica (u n ) , de razo r , tem por limite
u1 (primeiro termo da sucesso), se r = 0 (sucesso constante);

15
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

+ , se r > 0 ;
, se r < 0 .
Demonstrao:
lim u n = lim(u1 + (n 1) r ) = lim((u1 r ) + n r ) =
= (u1 r ) + lim(n r )
Se r = 0 , (n r ) a sucesso constante igual a zero, e o seu limite igual ao seu valor constante (zero). Nesse
caso, lim un = (u1 0 ) + 0 = u1 .
Se r > 0 , podemos prosseguir o clculo, usando as regras para as somas e produtos envolvendo infinitos:
lim u n = (u1 r ) + r lim(n ) = (u1 r ) + r (+ ) =
.
= (u1 r ) + = +
Do mesmo modo, se r < 0 ,
lim u n = (u1 r ) + r lim(n ) = (u1 r ) + r (+ ) =
.
= (u1 r ) + ( ) =

Progresses geomtricas
Uma sucesso (u n ) constitui uma progresso geomtrica se cada termo (excepto o primeiro) resultar de
multiplicar o anterior por uma certa constante real r . Simbolicamente
(u n+1 = r un ) .
nIN

Ao nmero r d-se o nome de razo da progresso geomtrica.

Termo geral:
O termo geral de uma progresso geomtrica de razo r 0
un = u1 r n1 .
Se a razo da progresso geomtrica 0 , esta expresso permanece vlida para todos os termos excepto o
primeiro termo, u1 , que pode tomar qualquer valor.
Demonstrao:
A igualdade pode ser facilmente verificada para n = 1 (no caso em que r 0 ) e para n = 2 (em todos os
casos). Seja ento m 2 , e admitamos que um = u1 r m 1 . Seja n = m + 1 .
Da definio de progresso geomtrica, articulada com a hiptese de induo, resulta que
un = um r = u1 r m 1 r = u1 r (m +1)1 = u1 r n 1

o que mostra que a relao un = u1 r n1 se mantm vlida para n = m + 1 . Provmos que a validade desta
relao hereditria e vlida para n = 2 ; consequentemente, ser vlida para qualquer n 2 . Quando r 0
a igualdade un = u1 r n1 tambm vlida quando n = 1 , portanto vlida para qualquer nmero natural n .

Qualquer progresso geomtrica com razo 1 constante.

Demonstrao:
Aplicando o resultado anterior, verificamos que un = u1 r n 1 = u1 1n 1 = u1 1n 1 = u1 .

16
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

Sendo constante, a progresso geomtrica de razo 1 um caso particular da progresso aritmtica (corresponde a
uma razo aritmtica de razo 0). As razes aritmticas j foram estudadas. Consequentemente, no que se segue
ser sempre excludo o caso r = 1 .
Soma dos primeiros n termos:
Seja (u n ) uma progresso geomtrica de razo r 1 . A soma dos seus primeiros n termos, que se
representa por S n , dada por
1 r n
S n = u1 .
1 r
Demonstrao (por induo):
Quando n = 1 , estamos a somar um nico termo, e a soma igual a esse termo, u1 . Portanto,
1 r1
S1 = u1 = u1 , o que mostra que a frmula do enunciado vlida quando n = 1 .
1 r
Suponhamos agora que a frmula vlida para um certo inteiro m , ou seja, que a soma dos primeiros m
1 rm
termos da sucesso dada por S m = u1 . Seja n = m + 1 . A soma dos primeiros n termos resulta de
1 r
adicionar a S m o novo termo, ou seja,

1 r m
S n = S m + u n = u1 + u1 r n 1 =
1 r
1 r m
r (1 r )
m
1 r m + r m r m +1
= u1 + = u1 =
1 r 1 r 1 r
1 r n
= u1
1 r
1 r n
Confirmamos assim a validade da frmula S n = u1 para n = m + 1 . A igualdade vlida para n = 1 e
1 r
hereditria, logo vlida para qualquer nmero natural n .
Seja (u n ) uma progresso geomtrica de razo r . Determinemos o seu limite:
Se ento

(1) u1 = 0 lim un = 0

(2) r < 1 e u1 0 (un ) no tem limite: um infinitamente grande em mdulo

(3) r = 1 e u1 0 (un ) no tem limite: uma sucesso oscilante limitada
(4) r = 0 lim un = 0

(5) 0 < r < 1 lim un = 0

(6) r = 1 lim un = u1

(7) r > 1 e u1 > 0 lim un = +

17
Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

(8) r > 1 e u1 < 0 lim un =

Demonstrao:
(1) Se u1 = 0 , ento u2 = r u1 = r 0 = 0 ; u3 = r 0 = 0 ; e assim sucessivamente (a demonstrao rigorosa
far-se-ia por induo).
(2) Seja (u n ) uma progresso geomtrica de razo r < 1 e u1 0 . Seja (vn ) a sucesso dos termos de
ordem mpar de (u n ) , e (wn ) a sucesso dos termos de ordem par de (u n ) . Facilmente se mostra que v1 = u1 ,
w1 = r u1 , e (vn ) e (wn ) so progresses geomtrias de razo r 2 > 1 .
Como r < 0 e u1 0 , um dos nmeros {u1 , r u1} ser positivo e o outro ser negativo. Consequentemente,
uma das sucesses (vn ) ou (wn ) estar nas condies de (7) e ter limite + , e a outra sucesso estar nas
condies de (8) e ter limite . Conclumos que (u n ) no pode ter limite, uma vez que admite duas
subsucesses com limites distintos.

= r > 1 , logo a sucesso ( u n ) est nas condies de (7), e constitui um

u n +1
No entanto, u1 > 0 e
un
infinitamente grande positivo, o que, por definio, significa que (u n ) um infinitamente grande em mdulo.

(3) Neste caso os termos de ordem mpar de (u n ) constituem uma subsucesso constantemente igual a u1 (cujo
limite u1 ), e os termos de ordem par constituem uma subsucesso constantemente igual a u1 (cujo limite
u1 ). Por hiptese u1 0 , logo u1 u1 . Conclumos assim que a sucesso (u n ) admite duas subsucesses
com limites distintos, portanto no pode ter limite.
(4) J vimos que, se r = 0 , todos os termos da sucesso a partir do primeiro so nulos. Ento, suprimindo o
primeiro termo, obtemos uma sucesso constante, cujo limite igual prpria constante, zero neste caso.
Tambm sabemos que a sucesso que se obtm suprimindo a (u n ) um nmero finito de termos tem limite se, e
apenas se, (u n ) tem limite, e os limites das duas sucesses so iguais. Conclumos assim que lim un = 0 .

(5) J sabemos que un = u1 r n1 . Para provar que un 0 basta provar que r n 1 0 . Como
n 1 n 1 n 1
r r n1 r , apenas necessitamos de provar que r 0 , ou seja, apenas necessitamos de
considerar r positivo. Assim, na restante demonstrao do caso (5), r representar sempre um nmero
estritamente compreendido entre 0 e 1.
r 1 1 k +1
Seja k > , (o que equivalente a 1 + < ), e considere-se as sucesses vn = r n 1 e wn = . Tem-
1 r k r k +n
k +1
se que v1 = r 0 = 1 e w1 = = 1 , consequentemente podemos afirmar que v1 w1 . Para provar que
k +1
vn wn por induo, s nos falta provar que esta propriedade hereditria. Assim, suponhamos que
nIN

vm wm (com m 1 ), e seja n = m + 1 .

w
vn = r vm r wm = r m wn .
wn

18
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

wm
Se conseguirmos provar que r
1 , poderemos concluir que vn wn .
wn
w 1 k +1 k +1 1
r m 1 wm wm +1
wn r k + m k + m +1 r
k + m +1 1 1 1
1+
k +m r k +m r
1 1 1
e esta ltima desigualdade verdadeira, pois 1 + < 1 + < pela forma como k foi definido. Conclumos
k +m k r
portanto que a desigualdade vn wn verdadeira para qualquer n inteiro.
Acontece que
k +1
= (k + 1)
1
lim wn = lim =
k +n k + lim(n )

= (k + 1) = (k + 1) = (k + 1) 0 = 0
1 1
k + (+ ) +
e portanto (vn ) est enquadrada por duas sucesses com limite zero: a sucesso constantemente igual a zero, e
a sucesso (wn ) . Pelo teorema da sucesso enquadrada, conclumos que lim vn = 0 , donde
lim u n = u1 lim vn = u1 0 = 0 .
(6) Quando r = 1 , (u n ) constantemente igual a u1 , logo converge para u1 .

1
(7) Se (u n ) uma progresso geomtrica de razo r > 1 e u1 > 0 , ento vn = uma progresso
un

geomtrica de razo ]0;1[ e v1 = > 0 . Por (5) conclumos que lim vn = 0 ; e como todos os elementos de
1 1
r u1
(vn ) so positivos, podemos ser mais especficos e afirmar que lim vn = 0+ . Consequentemente,
1 1 1
lim un = lim = = = +.
vn lim vn 0+
(8) Se (u n ) uma progresso geomtrica de razo r > 1 e u1 < 0 , ento (vn = un ) uma progresso
geomtrica de razo r > 1 e v1 = u1 > 0 . Por (7) conclumos que lim vn = + , logo

lim u n = lim( vn ) = ( 1) lim vn 1 = ( 1) (+ ) = .

Caso particular: sucesso exponencial.

Seja (u n ) a sucesso de termo geral un = r n .
Se ento

r < 1 (un ) no tem limite: um infinitamente grande em mdulo

r = 1 (un ) no tem limite: uma sucesso oscilante limitada

19
 Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

r <1 lim un = 0

r =1 lim un = 1

r >1 lim un = +

Demonstrao: a partir dos casos apropriados da tabela anterior, fazendo u1 = r .

Soma de todos os termos de uma progresso geomtrica:
Seja (u n ) uma progresso geomtrica de razo r 1 . A soma de todos os seus termos definida como
1 rn
S = lim S n = lim u1 , caso este limite exista. Assim,
1 r
Se ento

(1) u1 = 0 S =0

(2) r < 1 e u1 0 S no est definida

(3) r = 1 e u1 0 S no est definida

(4) r < 1 1
S = u1
1 r
(5) r > 1 e u1 > 0 S = +

(6) r > 1 e u1 < 0 S =

Demonstrao:
(1) Se u1 = 0 todos os termos so nulos, S n a sucesso constantemente nula, logo S = lim S n = lim(0 ) = 0 .

u1
(
1 r 1 + r
n
) se n mpar
(2) S n =
u1
( )
1 r =
n

1 r u
1 1 r
1 r
( n
) se n par

Seja (vn ) a sucesso dos termos de ordem mpar de (S n ) , e (wn ) a sucesso dos termos de ordem par de

(S n ) . Cada uma delas consiste no produto de um factor constante no-nulo u1 por uma sucesso que tende
1 r
para + no caso de (vn ) e para no caso de (wn ) . Logo, uma das sucesses (vn ) ou (wn ) ter limite
+ e a outra ter limite . Consequentemente, no existe limite de (S n ) .

(3) S n =
u1
[ ] u se n mpar
1 + ( 1) = 1
n 1

2 0 se n mpar
Seja (vn ) a sucesso dos termos de ordem mpar de (S n ) , e (wn ) a sucesso dos termos de ordem par de
(S n ) . lim vn = u1 e lim wn = 0 , e por hiptese u1 0 , logo as sucesses (vn ) e (wn ) tm limites distintos.
Verificamos que (S n ) admite duas subsucesses com limites distintos, logo no tem limite.

20
Matemtica A 11. ano Limites de sucesses Jos Silvestre, 2008-01-08

1 rn
(4) S = lim u1 =
1 r
u1
1 r
( )
lim 1 r n =
u1
1 r
[ ( )]
1 lim r n =

= 1 (1 0 ) =
u u1
1 r 1 r

(5) S = (K) =
u1
1 r
[ ]
1 lim(r n ) = 1 [1 (+ )] = u1
u
1 r
1
( ) = u1 (+ ) =
1 r
= +
(6) S = u1 (+ ) = .

21