2015 IsraelCarleyDaSilva

Universidade de Braslia
Instituto de Cincias Exatas

Departamento de Matemtica
Programa de Mestrado Prossional em
Matemtica em Rede Nacional
Recorrncias: uma abordagem sobre sequncias
recursivas para aplicaes no Ensino Mdio
Israel Carley da Silva
Braslia
2015
Israel Carley da Silva
Recorrncias: uma abordagem sobre sequncias
recursivas para aplicaes no Ensino Mdio
Dissertao apresentada ao Departamento de

Matemtica da Universidade de Braslia, como
parte dos requisitos do Programa de Mestrado
Prossional em Matemtica em Rede Nacional -
PROFMAT, para obteno do grau de Mestre.
Orientador: Prof. Dr. Helder de Carvalho Matos
Braslia
2015
Todos os direitos reservados. Proibido a reproduo total ou parcial desse trabalho sem
a autorizao da Universidade, do autor e do orientador.
Israel Carley da Silva graduou-se em Matemtica pela Universidade de Pernambuco,

especializou-se em Educao Matemtica pela Universidade Federal de Rondnia e atua
como professor na Secretaria de Educao do Distrito Federal.

O livro da natureza foi escrito ex-
clusivamente com guras e smbolos
matemticos. Galileu Galilei
Agradecimentos
Agradeo primeiramente ao Eterno, o Grande Esprito manifestado em todas as coisas
como inteligncia innita do Universo por nos presentear com essa linguagem to bela: a
Matemtica.
Agradeo a minha me Marli pelo apoio incondicional em todos os momentos. A
minha lha Fernanda pelo imenso carinho e sorriso revigorante. A minha irm Caline,
pelas colaboraes valiosas. Ao meu pai, Fernando, s minhas irms e irmos pelo auxlio
prestado e palavras de incentivo.
Ao Dr. Helder, meu orientador, pelas dicas importantes para o desenvolvimento desse
trabalho. Aos professores do Departamento de Matemtica da Universidade de Braslia que
colaboraram com seus grandes ensinamentos nas disciplinas do curso. Aos amigos e amigas
do PROFMAT pelas inmeras contribuies durante os estudos, pelos longos perodos que
passamos estudando, independentemente de dia, hora ou lugar.
Agradeo CAPES pelo apoio nanceiro durante a elaborao desse trabalho.
Secretaria de Educao do Distrito Federal pelo perodo a mim concedido para dedicao ao
curso do mestrado. Aos alunos que me auxiliaram na produo desse trabalho, acreditando
na proposta e desenvolvendo parte essencial da pesquisa. Aos colegas professores com os
quais trabalho. Agradeo a todos os entes que direta ou indiretamente nos ajudaram,
auxiliando nos trabalhos relacionados ao curso.
iii
Dedicatria
Dedico esse trabalho a minha me Marli e

minha lha Fernanda.
iv
Resumo
Neste trabalho apresentamos uma abordagem sobre sequncias recursivas, ou simples-
mente recorrncias. Discorremos sobre recorrncias lineares, principalmente as de primeira
e segunda ordem, estudando solues e apresentando propriedades e fazendo paralelos com
algumas sequncias comuns ao cotidiano do estudante de Matemtica. Apresentamos tam-
bm, casos clssicos desse tipo de sequncias como os nmeros de Fibonacci e de Lucas;
os nmeros gurados: poligonais e piramidais; e ainda, aplicaes em reas como a Com-
binatria e Matemtica Financeira.
No trabalho ainda abordamos uma proposta de exerccios a alunos do Ensino Mdio.
Relatamos a experincia de atividades em sala de aula, as diculdades encontradas, resul-
tados apresentados, bem como os relatos das impresses que os alunos tiveram ao estudar
esse tema.
Palavras-Chaves: Recorrncias; sequncias numricas; nmeros de Fibonacci; nmeros
gurados.
v
Abstract
We present in this paper an approach to recursive sequences, or simply recurrences. We
discuss linear recurrences, especially the rst and second order, studying solutions and pre-
senting properties and making parallels with some common sequences to the mathematics
student daily. We also present, classics examples of such sequences as Fibonacci numbers
and Lucas numbers, the gured numbers: polygonal and pyramidal, and also applications
in areas as Combinatory and Mathematical Finance.
At work even we approach a proposed exercises to high school students. We report the
activities of experience in the classroom, the diculties encountered, the results, as well
as the reports of the impressions that the students had to study this subject.
Keywords: Recurrences; numerical sequences; Fibonacci numbers; gurate numbers.
vi
Sumrio
Introduo 1
1 Fundamentao Terica sobre Recorrncias 4

1.1 Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Recorrncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
a
1.3 Recorrncias lineares homogneas de 1 ordem . . . . . . . . . . . . . . . . 7
a
1.4 Recorrncias lineares no-homogneas de 1 ordem . . . . . . . . . . . . . . 10
1.5 Transformao da recorrncia xn+1 = g(n)xn + h(n) em yn+1 = yn + f (n) . 13

a
1.6 Recorrncias Lineares de 1 Ordem com Coecientes Constantes . . . . . . 14
2 Recorrncias Lineares de 2a Ordem 17

a
2.1 Recorrncias Lineares de 2 Ordem Homogneas de Coecientes Constantes 17
2.1.1 Caso 6= . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.2 Caso = . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Recorrncias da Forma: xn+2 + pxn+1 + qxn = f (n) . . . . . . . . . . . . . 26
2.3 Recorrncias Lineares de Ordem k . . . . . . . . . . . . . . . . . . . . . . . 30
3 Exemplos Clssicos de Recorrncias 35

3.0.1 Princpio da Induo Finita . . . . . . . . . . . . . . . . . . . . . . 35
3.1 A Torre de Hani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2 Combinaes de Elementos Geomtricos . . . . . . . . . . . . . . . . . . . 39
3.3 Combinatria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.1 Permutaes Simples . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2 Permutaes Caticas . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4 A Sequncia de Fibonacci . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.5 Os Nmeros de Lucas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
vii
4 Um Pouco Alm das Progresses 54
4.1 Somas Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Progresses Aritmticas de Ordem k . . . . . . . . . . . . . . . . . . . . . 57
4.3 O Problema dos Nmeros Poligonais . . . . . . . . . . . . . . . . . . . . . 59
4.4 Nmeros Piramidais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5 Aplicaes de Recorrncias no Ensino Mdio 65

5.1 Metodologia das Aplicaes em Sala de Aula . . . . . . . . . . . . . . . . . 65
5.2 Problemas Propostos Envolvendo Recorrncias . . . . . . . . . . . . . . . . 70
5.3 Anlise de Alunos Sobre Algumas Questes . . . . . . . . . . . . . . . . . 79
Consideraes Finais 82
Referncias 84
Introduo
Esse trabalho trata do estudo das sequncias numricas. Mais precisamente aquelas
em que os termos so obtidas por meio de uma regra matemtica aplicada aos termos
anteriores. Essas sequncias sero denidas como recorrncias.
Analisando alguns livros didticos, [7], [12], [19], utilizados no Ensino Mdio no Brasil,
observamos que os autores tratam rapidamente de sequncias numricas em geral. O
assunto apresentado para dar base ao estudo das progresses aritmticas e progresses
geomtricas, comumente chamadas de PA e PG, respectivamente. Esses so os exemplos
mais comuns ao aluno do Ensino Mdio e s vezes os nicos a serem abordados como
sequncias. Nesse trabalho tentaremos expandir essa viso apresentando outros casos que
podem ser explorados em sala de aula.
Esse trabalho uma alternativa expanso do estudo desse tema, no qual faremos
propostas de exerccios para serem trabalhados com os alunos. Apresentaremos um pouco
da experincia obtida com o tema em trs turmas do segundo ano do Ensino Mdio em
uma escola pblica do Distrito Federal.
No primeiro captulo faremos as primeiras denies. Discorreremos sobre detalhes de
recorrncias lineares de primeira ordem, dentre as quais estaro as conhecidas PA e PG.
No captulo seguinte, apresentaremos uma abordagem sobre recorrncias lineares de
segunda ordem. Pouco exploradas nos livros didticos, essas recorrncias, como veremos,
fazem um paralelo com equaes polinomiais. E as solues que encontraremos podem
estimular o interesse tambm pelo estudo das razes de equaes polinomiais.
O terceiro captulo trar exemplos clssicos de aplicaes das recorrncias, como a
Combinatria e a famosa sequncia de Fibonacci. Muito conhecida dos professores, mas
pouco explorada na Educao Bsica, a sequncia de Fibonacci sempre um atrativo para

Introduo 2
o estudo de sequncias, haja visto suas muitas propriedades matemticas. Alm disso, essa
sequncia pode ser observada em padres da natureza e seres vivos.
O quarto captulo uma expanso do estudo das progresses aritmticas. Trataremos
das progresses de segunda ordem, fazendo uma generalizao para as de ordens superiores.
Como aplicaes veremos o exemplo dos nmeros gurados, dentre eles os triangulares que
podem ajudar a resolver muitos outros problemas.
No quinto e ltimo captulo faremos propostas de exerccios a serem trabalhados com
alunos do Ensino Mdio. Apresentaremos relatos de aulas em que o assunto desse trabalho
foi exposto, discutido e estudado. Alm disso, vamos relatar as experincias dos alunos,
suas impresses pessoais sobre o tema, as anlises de determinados problemas sob a tica
discente e as principais diculdades que eles apresentam ao estudar recorrncias.
Justicamos a escolha desse tema mediante a grande necessidade de se explorar reas
da Matemtica no muito difundidas nas salas de aula da Educao Bsica, como so as
recorrncias. Desejamos proporcionar aos estudantes a descoberta e o aprimoramento de
diversas habilidades, como est previsto nos Parmetros Curriculares Nacionais (1998):
O ensino de Matemtica deve garantir o desenvolvimento de

capacidades como: observao, estabelecimento de relaes, co-
municao (diferentes linguagens), argumentao e validao
de processos e o estmulo s formas de raciocnio como intui-
o, induo, deduo, analogia e estimativa. ([5], p.56)
A partir dessa reexo, percebemos que o estudo das recorrncias pode ser voltado para
a melhoria da capacidade de observao e para o desenvolvimento de habilidades. Dentre
elas, comunicao e argumentao podem despertar nos estudantes da Educao Bsica,
e mais especicamente no Ensino Mdio, o interesse e o amadurecimento da resoluo de
problemas. Esse princpio descrito nos Parmetros Curriculares Nacionais (2002):
A resoluo de problemas pea central para o ensino de ma-

temtica, pois o pensar e o fazer se mobilizam e se desenvolvem
quando o indivduo est engajado ativamente no enfrentamento
de desaos. Esta competncia no se desenvolve quando pro-
pomos apenas exerccios de aplicao de conceitos e tcnicas
matemticas, pois, neste caso, o que est em ao uma sim-
ples transposio analgica: o aluno busca na memria um
exerccio semelhante e desenvolve passos anlogos aos daquela
situao, o que no garante que seja capaz de usar seus co-
nhecimentos em situaes diferentes ou mais complexas. ([6],
p.112)
Introduo 3
Com este trabalho e as reexes dos exemplos propostos temos o objetivo de instruir
e elencar mtodos, caminhos e exemplos de como promover o ensino de recorrncias no
Ensino Mdio. Queremos ampliar a gama de possibilidades da Matemtica no processo de
ensino-aprendizagem desse pblico. A proposta destinada a um estudo mais aprofundado,
para as aulas nas quais se possa trabalhar temas diversicados, ou ainda, para treinamento
de olimpadas nas escolas.

Captulo
1
Fundamentao Terica sobre
Recorrncias
Primeiramente faz-se necessrio denir algumas expresses que aparecero no decorrer
do trabalho.
1.1 Sequncias
Sejam R o conjunto dos nmeros reais e N = {1, 2, 3, 4, ...} o conjunto dos nmeros
naturais.
Denio 1.1.1. Seja x : N R uma funo, onde cada nN associa-se a um nmero
real x(n). A lista dos valores x(1), x(2), x(3), ... , x(n) , ... chamada sequncia de
nmeros reais.
De modo geral, a sequncia de nmeros reais ser indicada por seus valores de forma
ordenada. Esses valores so denominados termos da sequncia:
X = ( x(1), x(2), x(3), ..., x(n), ...)
Neste trabalho denotaremos a sequncia X por (xn ) e xn indicar o n-simo termo da
sequncia. Portanto:
X = (xn ) = (x1 , x2 , x3 , ..., xn , ...)
Em alguns casos apresentados no trabalho a sequncia partir de um termo x0 . Ento,
nesses casos a posio n de cada termo ser dada pelos nmeros do conjunto Z+ , o conjunto
dos nmeros inteiros no-negativos.
1.2 Recorrncias 5
1.2 Recorrncias
Denio 1.2.1. Uma sequncia dita recorrente, ou simplesmente recorrncia, quando
a partir de um certo termo, todos os termos so dados em funo do(s) termo(s) ante-
rior(es).
As recorrncias podem ser apresentadas dos seguintes modos:
Atravs de uma equao de recorrncia que, a partir de um certo termo, determina
cada termo posterior em funo dos anteriores. Por exemplo: Uma sequncia cujo primeiro
termo x1 = 1 e cada termo a partir do segundo dado por:
xn = 2xn1 + 2, (xn ) = (1, 4, 10, 22, 46, ...).
Atravs de uma expresso, ou frmula fechada, que associa o termo xn a cada
nmero natural n. Por exemplo:
xn = 3n + 2, (xn ) = (5, 8, 11, 14, 17, ...).
Primeiramente, devemos observar que uma mesma relao de recorrncia pode gerar
innitas sequncias distintas. Logo, para que uma sequncia seja descrita numericamente,
a partir da relao de recorrncia, necessrio que sejam informados os primeiros termos
a partir dos quais os demais elementos sero obtidos.
Tambm importante notar que nem toda sequncia de nmeros reais apresenta uma
regra bem denida ou conhecida. Alm disso, h sequncias que possuem uma certa regra,
porm, no se pode denir, ou no se deniu, uma equao associada a ela. Neste caso,
a sequncia pode ser apresentada por meio de uma propriedade comum a todos os seus
termos. Como por exemplo: A sequncia dos nmeros primos, (xn ) = (2, 3, 5, 7, 11, 13, ...).
As equaes de recorrncias podem ser classicadas de acordo com a sua ordem, com
a homogeneidade e linearidade.
Denio 1.2.2. A ordem de uma recorrncia a diferena entre o maior e o menor dos
ndices dos termos de sua equao.
xn3 a
A equao xn = , com n 5 representa uma recorrncia de 4 ordem, haja visto
xn4
a diferena n (n 4) = 4.
1.2 Recorrncias 6
Denio 1.2.3. Uma recorrncia dita homognea quando cada termo depende ex-
clusivamente dos anteriores. Em contrapartida, uma recorrncia dita no-homognea
quando alm de depender dos termos anteriores, cada elemento da sequncia tambm est
em funo de um termo independente.
Podemos citar, como exemplos, que a equao xn+2 = 2xn+1 + xn representa uma
recorrncia homognea, ao passo que a equao xn+1 = 3xn + 1 representa uma recorrncia
no-homognea.
As recorrncias ainda podem ser caracterizadas como lineares e no-lineares.
Denio 1.2.4. Uma sequncia (xn ) possui equao de recorrncia linear de ordem k se
estiver escrita na forma:
xn+k = f1 (n)xn+k1 + f2 (n)xn+k2 + ... + fk (n)xn + fk+1 (n),
onde fi (n) uma funo em n com iN e 1 i k + 1, e ainda fk 6= 0.
fcil ver que se fk+1 (n) = 0 a recorrncia linear homognea, e no caso fk+1 (n) 6= 0
a recorrncia linear no-homognea.
Observemos, a partir da denio 1.2.4., que as equaes xn+3 = nxn+2 + 2xn e
xn+1 = xn + 2n representam recorrncias lineares.
xn+1
As equaes xn+2 = e xn+1 = (xn )2 representam recorrncias no-lineares.
xn
Denio 1.2.5. Resolver uma equao de recorrncia encontrar uma frmula fechada
para a recorrncia. Ou seja, encontrar uma expresso que permita determinar cada xn em
funo apenas de n, sem necessidade de se conhecer os termos anteriores. Essa expresso
dita soluo da recorrncia.
Nas seces seguintes, veremos alguns exemplos de resoluo de recorrncias lineares de

a a
1 ordem, e no prximo captulo discorreremos sobre as de 2 ordem. Alguns dos exemplos
remetem a casos clssicos de recorrncias, vistos na Educao Bsica no Brasil, mesmo que
no sejam tratados como tal. Entre as recorrncias mais comuns trataremos das sequncias
denominadas progresses aritmticas e geomtricas. Nesse trabalho, daremos nfase a sua
formao recursiva e certas propriedades a elas peculiares.

a
1.3 Recorrncias lineares homogneas de 1 ordem 7
1.3 Recorrncias lineares homogneas de 1a ordem

Denio 1.3.1. a
Uma recorrncia linear de 1 ordem expressa xn+1 em funo de xn , ela
ser linear se, e somente se, sua equao for da forma:
xn+1 = g(n)xn + h(n), com g(n) 6= 0, n N.
Se h(n) = 0 temos uma recorrncia linear homognea de 1a ordem e, no caso contrrio,
se h(n) 6= 0 temos uma recorrncia linear no-homognea de 1a ordem.
As equaes xn+1 = 3xn + n2 e xn+1 = nxn representam recorrncias lineares de 1a

3 a
ordem. A equao xn+1 = (xn ) representa uma recorrncia de 1 ordem, porm no-linear.
Exemplo 1.3.1. Resolver a recorrncia: xn+1 = g(n)xn .

Variando os valores de n, temos:
x2 = g(1)x1
x3 = g(2)x2
x4 = g(3)x3
.
.
.
xn = g(n 1)xn1
o o
Multiplicando os termos dos 1 e 2 membros das equaes, e efetuando as devidas
simplicaes, temos:
n1
Y
xn = x 1 g(i)
i=1
Exemplo 1.3.2. Resolver a recorrncia: xn+1 = q xn , onde q uma constante real,
g(n) = q, n N.
Variando os valores de n, temos:
x2 = qx1
x3 = qx2
x4 = qx3
.
.
.
xn = qxn1
o o
simplicaes, temos:
n1
Y
xn = x1 q ou simplesmente: xn = x1 q n1
i=1
a
Esta recorrncia caracteriza a famosa progresso geomtrica. Cada sequncia assim
caracterizada tem seus termos determinados se forem denidos o valor do elemento inicial
x1 e o valor da constante q.
Denio 1.3.2. Progresso Geomtrica uma sequncia recorrente (xn ), com valores
xn+1
no-nulos, onde o quociente constante, para todo n N. Esta constante q , tal que
xn
q R {0} chamada de razo da progresso geomtrica.
Usaremos a abreviao PG para simplicar a expresso progresso geomtrica.
Como podemos ver em ([7], p. 318), ([12], p. 226) e ([19], p. 229) comum nos livros
didticos de Ensino Mdio no Brasil os autores adotarem a notao (an ) para a sequncia,
n1
q para a razo da PG e an = a1 q para a soluo da recorrncia, chamada nos livros
de frmula do termo geral da PG. A opo pela varivel x ou a, ou outra letra qualquer
uma simples escolha de notao, que no afeta o resultado do estudo.
Proposio 1.3.1. Seja Sn a soma dos nprimeiros termos

nde uma
PG. Se a razo q = 1,
q 1
ento, Sn = n x1 . E, se a razo q 6= 1, ento, Sn = x1 .
q1
Prova: Os n primeiros termos de uma PG (xn ) so: (x1 , x1 q, x1 q 2 , ..., x1 q n1 ).
Assim, a soma Sn denida como Sn = x1 + x1 q + x1 q 2 + ... + x1 q n1 .
Primeiramente, queremos provar que se q = 1, ento, Sn = n x1 .
Substituindo q = 1, chegamos soma Sn = x1 + x1 + x1 + ... + x1 , onde x1 contado n

vezes. Da, segue que, Sn = n x1 .
qn 1

Agora, queremos provar que se q 6= 1, ento, Sn = x1 .
q1
Multiplicando Sn pela constante q, temos:
Sn q = x1 q + x1 q 2 + x1 q 3 + ... + x1 q n .
Observemos agora a diferena Sn q Sn :
Sn q Sn = (x1 q + x1 q 2 + x1 q 3 + ... + x1 q n ) (x1 + x1 q + x1 q 2 + ... + x1 q n1 )
Subtraindo os n termos dos dois parnteses, chegamos ao resultado simplicado:

a
qn 1

n n
Sn q Sn = x1 q x1 = Sn (q 1) = x1 (q 1) = Sn = x1
q1
Com isso, conclumos o que queramos provar.
Proposio 1.3.2. Se a razo da PG qR tal que 0 < |q| < 1, ento a soma dos n
primeiros termos dessa PG converge para
x1
Sn = .
1q
qn 1

Prova: Sabemos que se q 6= 1, ento S n = x1 . Podemos reescrever esta
q1
igualdade de forma que:
1 qn

Sn = x1 .
1q
Sabemos do Clculo que se 0 < |q| < 1, temos que qn converge para zero quando n
tende ao innito, ou seja:
Se 0 < |q| < 1, ento lim q n = 0.

n
Logo,
1 qn

10 x1
lim Sn = lim x1 = x1 =
n n 1q 1q 1q

Exemplo 1.3.3. Resolver a recorrncia: xn+1 = nxn .

Substituindo os valores de n, temos:
x2 = 1 x1
x3 = 2 x2
x4 = 3 x3
.
.
.
xn = (n 1) xn1
o o
simplicaes, temos:
n1
Y
xn = x1 i ou apenas: xn = x1 (n 1)!
i=1
Observemos, neste ltimo exemplo, que a recorrncia s car numericamente denida
se for arbitrado um valor para x1 . Por exemplo, se x1 = 1 ento a soluo da recorrncia
xn = (n 1)!.
a
1.4 Recorrncias lineares no-homogneas de 1 ordem 10
1.4 Recorrncias lineares no-homogneas de 1a ordem

a
As recorrncias lineares no-homogneas de 1 ordem so da forma:
xn+1 = g(n)xn + h(n), onde g(n) 6= 0 e h(n) 6= 0, n N.
Os casos de mais simples resoluo so aqueles onde g(n) = 1. Vejamos alguns exemplos:
Exemplo 1.4.1. Resolver a recorrncia: xn+1 = xn + h(n), n N.

Temos:
x2 = x1 + h(1)
x3 = x2 + h(2)
x4 = x3 + h(3)
.
.
.
xn = xn1 + h(n 1)
Somando os termos das equaes, e simplicando devidamente, obtemos:
n1
X
xn = x1 + h(i)
i=1
Exemplo 1.4.2. Resolver a recorrncia: xn+1 = xn + 2n , x1 = 1.

Temos:
x2 = x1 + 2 1
x3 = x2 + 2 2
x4 = x3 + 2 3
.
.
.
xn = xn1 + 2n1
Somando os termos das equaes, fazendo as devidas simplicaes e substituindo-se
x1 = 1, obtemos:
xn = 1 + 21 + 22 + 23 + ... + 2n1
Observemos que o resultado a soma de n termos de uma PG onde x1 = 1 e q = 2.
Portanto, aplicando o resultado da Proposio 1.3.1., chegamos soluo:
2n 1

xn = 1 = xn = 2n 1
21
a
Exemplo 1.4.3. Resolver a recorrncia: xn+1 = xn + r, n N e r R {0}.

Temos:
x2 = x1 + r
x3 = x2 + r
x4 = x3 + r
.
.
.
xn = xn1 + r
Somando os termos das equaes, fazendo as devidas simplicaes, obtemos:
xn = x1 + (n 1) r
Esta recorrncia caracteriza a famosa progresso aritmtica. Cada sequncia assim
caracterizada tem seus termos determinados se forem arbitrados o valor do elemento inicial
x1 e o valor da constante r.
Denio 1.4.1. Progresso Aritmtica uma sequncia recorrente (xn ) onde a diferena
xn+1 xn constante, para todo n N. Esta constante r, tal que r R chamada de
razo da progresso aritmtica.
Usaremos a abreviao PA para simplicar a expresso progresso aritmtica.
Como vimos no comentrio acerca da PG, ao observarmos ([7], p. 300), ([12], p. 216)
e ([19], p. 218), tambm comum, entre os autores brasileiros, a adoo da notao (an )
para a sequncia, r para a razo da PA e an = a1 + (n 1) r para a soluo da recorrncia,
chamada nos livros de frmula do termo geral da PA.
A seguir veremos a denio de uma frmula fechada para a soma dos n primeiros
nmeros naturais. Essa frmula ser importante para provarmos outros resultados que
aparecero no decorrer desse trabalho.
Proposio 1.4.1. Seja Sn soma dos n primeiros nmeros naturais. Se,
n (n + 1)
Sn = 1 + 2 + 3 + ... + (n 1) + n ento, Sn = .
2
Prova: Pela comutatividade da adio, podemos escrever a soma Sn como:
Sn = 1 + 2 + 3 + ... + (n 2) + (n 1) + n, ou
Sn = n + (n 1) + (n 2) + ... + 3 + 2 + 1
a
Somando as duas equaes, obtemos:
2 Sn = (1 + n) + (1 + n) + ... + (1 + n) + (1 + n)
Como temos n parcelas em cada soma, ento temos n parcelas iguais a (n + 1) na
equao acima. Logo:
2 Sn = (1 + n) + (1 + n) + ... + (1 + n) + (1 + n) = 2 Sn = n (n + 1) =
n (n + 1)
Sn =
2

Proposio 1.4.2. Seja Sn a soma dos n primeiros termos de uma PA e r R a sua
razo. Ento:
(x1 + xn ) n
Sn =
2
Prova: Os n primeiros termos de uma PA (xn ) so:
(x1 , x1 + r, x1 + 2r, ..., x1 + (n 1) r).
Assim, a soma Sn pode ser escrita como Sn = x1 + x1 + r + x1 + 2r + ... + x1 + (n 1) r.
Temos n parcelas iguais a x1 , assim:
n1
X
Sn = n x1 + r i
i=1
n (n + 1)
Usando a soluo da Proposio 1.4.1., Sn = e substituindo a expresso
2
xn = x1 + (n 1) r, obtida no Exemplo 1.4.3., temos:

n (n 1)
Sn = n x1 + r
2
2 n x1 + n (n 1) r
= Sn =
2
n x1 + n x1 + n (n 1) r
= Sn =
2
(x1 + x1 + (n 1) r) n
= Sn =
2
(x1 + xn ) n
= Sn =
2

1.5 Transformao da recorrncia xn+1 = g(n)xn + h(n) em yn+1 = yn + f (n) 13
1.5 Transformao da recorrncia xn+1 = g(n)xn + h(n) em

yn+1 = yn + f (n)
a
Podemos transformar qualquer recorrncia linear de 1 ordem em uma outra da forma
xn+1 = xn + f (n).
Teorema 1.5.1. Se an uma soluo no-nula de zn+1 = g(n)zn , g(n) 6= 0, n N, ento

a substituio x n = an y n transforma a recorrncia xn+1 = g(n)xn + h(n) em
h(n)
yn+1 = yn + .
g(n) an
Demonstrao: A substituio x n = an y n transforma xn+1 = g(n)xn + h(n) em
an+1 yn+1 = g(n)an yn + h(n).
Mas, an+1 = g(n)an , pois por hiptese an uma soluo no-nula de zn+1 = g(n)zn .
Da a equao se transforma em:
h(n)
g(n)an yn+1 = g(n)an yn + h(n) yn+1 = yn +
g(n) an

Exemplo 1.5.1. Resolver a recorrncia: xn+1 = 2xn + 1, x1 = 2.
Uma soluo no-nula de zn+1 = 2zn an = 2n1 . Fazendo a substituio xn = 2n1 yn ,

obtemos:
1
2n yn+1 = 2n yn + 1 = yn+1 = yn +
2n
Variando os valores de n, segue que:
y2 = y1 + 21
y3 = y2 + 22
y4 = y3 + 23
.
.
.
yn = yn1 + 2(n1)
Somando as equaes, temos:
n1
1 2 3 (n1) 1 (21 ) 1
yn = y1 + 2 +2 +2 + ... + 2 = yn = y1 + 2 1
2 1
= yn = y1 + 1 21n
a
1.6 Recorrncias Lineares de 1 Ordem com Coecientes Constantes 14
Como xn = 2n1 yn e x1 = 2, temos que: x1 = y1 = 2. Portanto,
yn = y1 + 1 21n = yn = 3 21n .
Logo, se xn = 2n1 yn ento xn = 2n1 [3 21n ] = 3 2n1 1.
A soluo de xn+1 = 2xn + 1, x1 = 2 xn = 3 2n1 1.
Exemplo 1.5.2. Resolver a recorrncia: xn+1 = 3xn + 3n , x1 = 2.

Uma soluo no-nula de zn+1 = 3zn an = 3n1 . Fazendo a substituio xn = 3n1 yn ,
obtemos:
3n yn+1 = 3n yn + 3n = yn+1 = yn + 1
Segue que:
y2 = y1 + 1
y3 = y2 + 1
y4 = y3 + 1
.
.
.
yn = yn1 + 1
Somando as equaes, temos yn = y1 + (n 1).
Como xn = 3n1 yn e x1 = 2, temos que: x1 = y1 = 2. Portanto,
yn = y1 + (n 1) = yn = n + 1.
Logo, se xn = 3n1 yn ento xn = 3n1 (n + 1) = 3n1 n + 3n1 = 3n1 (n + 1)
A soluo de xn+1 = 3xn + 3n , x1 = 2 xn = 3n1 (n + 1).
1.6 Recorrncias Lineares de 1a Ordem com Coecientes

Constantes
Seja a recorrncia xn+1 = g(n)xn + h(n). Vejamos uma caracterizao das solues
desse tipo de recorrncia quando g(n) e h(n) so constantes reais. Temos xn+1 = axn + b,
com a, b R e a 6= 0. Podemos observar os seguintes casos:

a
Se a=1 e b 6= 0 a sequncia uma PA de razo b. E como vimos no Exemplo 1.4.3.
o termo geral dado por xn = x1 + (n 1) b, n N.
Se a = 1 e b = 0, a sequncia constante com termo geral dado por xn = x1 , n N.
Se a 6= 1 e b = 0 a sequncia uma PG de razo a. E como vimos no Exemplo 1.3.2.

n1
o termo geral dado por xn = x1 a , n N.
Nessa subseco, o caso que mais nos interessa caracterizar em termos de a e b quando
a 6= 1 e b 6= 0.
Exemplo 1.5.3. Resolver a recorrncia: xn+1 = 2xn + 3, x1 = 2.
Soluo: Fazendo xn = yn + k, k R, obtemos:
yn+1 + k = 2 yn + 2k + 3 = yn+1 = 2 yn + k + 3
Fazendo k+3=0 tem-se k = 3. Segue que a equao yn+1 = 2 yn , que caracteriza
uma PG de razo 2, tem como soluo, yn = 2n1 y1 .
Mas como xn = yn + k , k = 3 e x1 = 2, ento temos:
xn k = 2n1 (x1 k) = xn + 3 = 2n1 (x1 + 3) = xn = 5 2n1 3
Observando os Exemplos 1.5.1 e 1.5.3, onde os coecientes so constantes, podemos
inferir que as recorrncias da forma xn+1 = axn + b tm solues que atendem a um mesmo
formato. A seguir vamos generalizar esse caso e obter uma forma para a soluo dessas
recorrncias.
Proposio 1.6.1. xn+1 = axn + b uma recorrncia linear de 1a ordem

Seja a equao
no-homognea, com coecientes constantes a e b, a, b R, onde a 6= 0, a 6= 1 e b 6= 0.
Podemos encontrar, neste caso, a soluo da recorrncia

em funo das constantes a e b e
b b
do termo x1 . Alm disso, a soluo dada por xn = x1 an1 + .
1a 1a
Prova: xn = yn + k, k R a equao xn+1 = a xn + b transforma-se em
Fazendo
yn+1 + k = a (yn + k) + b. Reagrupando os termos da equao, obtemos:

b
yn+1 +k = ayn +ak+b = yn+1 = ayn +(a 1)k+b = yn+1 = ayn +(a1) k +
a1
Queremos, a partir da, obter o valor de k para que yn+1 = a yn . Assim:

a

b b
k+ = 0 = k =
a1 1a
A sequncia yn+1 = a yn tem como soluo yn = y1 an1 . Como xn = y n + k , segue
n1 b b
que xn k = (x1 k) a . Fazendo a substituio k = , temos: xn =
1a 1a
b
x1 an1 . Consequentemente, chegamos a soluo:
1a

b b
xn = x1 an1 + .
1a 1a
Corolrio 1.6.1. A soluo de uma recorrncia linear de 1a ordem (xn ) que possui equao
na forma xn+1 = axn + b, onde a 6= 1 e b 6= 0 dada por: xn = A an1 + B , onde A e B
so constantes reais.
Portanto, para encontrar a soluo da equao em questo suciente saber o valor de
dois termos da sequncia e substituir seus valores na expresso geral da soluo. Com isso,
pode se formar um sistema de equaes em A e B.
Observao: Vamos utilizar o Corolrio 1.6.1 para encontrar a soluo do Exemplo
1.5.3.
Se xn+1 = 2xn + 3, com x1 = 2, ento x2 = 7. Se a soluo da forma xn = A 2n1 + B ,

ento podemos escrever o sistema de equaes:
( (
A 211 + B = x1 A+B =2
=
A 221 + B = x2 2A + B = 7
Subtraindo a primeira da segunda equao obtemos: A=5 e por conseguinte B = 3.
De fato, a soluo da recorrncia xn+1 = 2xn + 3, com x1 = 2 xn = 5 2n1 3.

Captulo
2
Recorrncias Lineares de 2a Ordem
a
Apresentaremos neste captulo as caracterizaes de recorrncias lineares de 2 ordem.
Discorreremos sobre a equao caracterstica associada s suas equaes. A partir da,
vamos generalizar alguns resultados fundamentais, a m de facilitar as resolues desse
tipo de sequncia. No nal do captulo, usaremos alguns dos resultados obtidos para
expandi-los s recorrncias lineares de ordens superiores a dois.
Denio 2.0.1. a
Uma recorrncia linear dita de 2 ordem quando cada termo denido
pela equao de recorrncia depende dos dois termos imediatamente anteriores a ele.
a
Uma recorrncia linear de 2 ordem dada por:
xn+2 = f (n) xn+1 + g(n) xn + h(n),
onde g(n) uma funo no-nula. Se h(n) = 0 ento a recorrncia homognea, e se
h(n) 6= 0 ento ela ser no-homognea.
2.1 Recorrncias Lineares de 2a Ordem Homogneas de

Coecientes Constantes
Consideremos a equao de recorrncia xn+2 = a xn+1 + b xn , onde a e b so constantes
reais, com b 6= 0. Para cada equao dessa forma vamos associar uma equao do 2o grau,
x2 = a x + b, que chamaremos equao caracterstica da recorrncia. Denotaremos por
e as razes da equao caracterstica. Como b 6= 0 temos que zero no raiz da equao
caracterstica. Ou seja, se b 6= 0 ento 6= 0 e 6= 0.

a
Dada a equao x 2 = a x + b, temos que se e so suas razes, ento a = + e
b = .
Veremos a seguir, como encontrar a soluo de uma recorrncia cujos valores iniciais
so x0 e x1 e cuja equao seja da forma:
xn+2 = ( + ) xn+1 xn
2.1.1 Caso 6=
Primeiramente vejamos um exemplo particular de uma recorrncia linear de segunda
ordem com coecientes constantes. Depois vamos generalizar o modelo da resoluo para
quaisquer recorrncias com essas caractersticas.
Exemplo 2.1.1. Encontrar a soluo da recorrncia
xn = 6xn1 8xn2 , n 2, com x0 = 2 e x1 = 5
Soluo: Primeiramente, observamos que na equao caracterstica x2 = 6x 8 as
razes so 2 e 4. A partir da, podemos reescrever a equao de recorrncia. E assim,
xn = (2 + 4)xn1 (2 4)xn2 = xn 2xn1 = 4(xn1 2xn2 ).
Denindo yn = (xn 2xn1 ), obtemos:
yn = 4yn1 = yn = y1 4n1 .
Portanto:
xn 2xn1 = (x1 2x0 ) 4n1 = xn 2xn1 = 4n1 (1)
De modo anlogo, temos que:
xn = (2 + 4)xn1 (2 4)xn2 = xn 4xn1 = 2(xn1 4xn2 ).
Denindo agora zn = (xn 4xn1 ), obtemos:
zn = 2zn1 = zn = z1 2n1 .
Ento:
xn 4xn1 = (x1 4x0 ) 2n1 = xn 4xn1 = 3 2n1 (2)

a
Multiplicando a equao (1) por 4 e a equao (2) por 2, temos:
(I) 4xn 8xn1 = 4n

(II) 2xn 8xn1 = 3 2n
Fazendo (I) (II), chegamos soluo da recorrncia:
4n + 3 2n
2xn = 4n + 3 2n = xn =
2
Podemos generalizar essa resoluo. E ento teremos uma forma para a soluo geral
das recorrncias lineares de segunda ordem, para o caso em que as razes da equao
caracterstica so distintas.
Considere a equao de recorrncia: xn+2 = (+)xn+1 xn , onde (+) e () so

coecientes constantes e 6= . Vamos encontrar uma soluo geral para as recorrncias
dessa forma.
Para isso, primeiramente observemos que:
xn+2 = ( + )xn+1 xn = xn+2 xn+1 = (xn+1 xn ) (1)
Se denirmos uma sequncia (yn ) tal que yn = xn xn1 , temos a partir de (1) que:
yn+2 = xn+2 xn+1 ou yn+2 = yn+1 , que caracteriza uma PG de razo e portanto, tem
n1
como uma soluo yn = y1 . Logo:
yn = y1 n1 = xn xn1 = (x1 x0 ) n1 (2)
De modo anlogo temos:
xn+2 = ( + )xn+1 xn = xn+2 xn+1 = (xn+1 xn ).
Denindo uma sequncia (zn ) tal que zn = xn+1 xn , temos que:
zn+2 = zn+1 = zn = z1 n1 = xn xn1 = (x1 x0 )n1 (3)
Multiplicando a equao (2) por e a equao (3) por obtemos:
(I) xn xn1 = (x1 x0 ) n

(II) xn xn1 = (x1 x0 )n
Fazendo (II) (I):
(x1 x0 )n (x0 x1 ) n
( )xn = (x1 x0 )n (x1 x0 ) n = xn = +
( ) ( )
a
Portanto, a soluo da recorrncia xn+2 = ( + )xn+1 xn , quando 6= , dada
por:
(x1 x0 )n (x0 x1 ) n
xn = + .

Por denio,
,
os termos , x0 ex1 so nmeros reais e 6= . Logo, deduzimos que
x1 x0 x0 x1
os termos: e tambm so constantes reais. O Teorema a seguir

comprova essa deduo.
Teorema 2.1. Se as razes da equao caracterstica x2 +px+q = 0 so e , com 6= ,

ento xn = A n + B n soluo da recorrncia xn+2 + pxn+1 + qxn = 0, quaisquer que
sejam as constantes A e B .
Prova: Substituindoxn = A n + B n na recorrncia xn+2 + pxn+1 + qxn = 0,

obtemos: An+2 + B n+2 + pAn+1 + pB n+1 + qAn + qB n = 0. Agrupando os termos
dessa equao temos:
An (2 + p + q) + B n ( 2 + p + q) = 0.
Mas, por hiptese e so razes de x2 + px + q = 0, portanto:
An 0 + B n 0 = 0, A e B.
Podemos, a partir desse ltimo teorema, armar que basta conhecer o valor de dois
termos de uma recorrncia da forma: xn+2 + pxn+1 + qxn = 0, onde e so razes reais
da equao caracterstica, com 6= , para encontrar a sua soluo. Podemos resolver um
sistema de equaes para encontrar os valores de A e B na soluo.
xn+2 = 2xn+1 + 3xn , n Z+ , com x0 = 2 e x1 = 1.
Soluo: Primeiramente, a recorrncia equivale a xn+2 2xn1 3xn2 = 0, cuja

2
equao caracterstica x 2x 3 = 0 e tem como razes 3 e 1. A soluo da recorrncia
n n
da forma xn = A + B , onde e so razes reais da equao caracterstica. Segue
n n
da que a soluo da forma: xn = A 3 + B (1) .
Como, x0 = 2 e x1 = 1, obtemos o sistema de equaes:

a
(
2=A+B
1 = 3A B
3 5
Somando as duas equaes temos que: 4A = 3 e assim: A= e B= .
4 4
3n+1 + 5 (1)n
Portanto, a soluo da recorrncia xn = .
4
Teorema 2.2. Se as razes de x2 + px + q = 0 so e , com 6= , ento todas as

solues da recorrncia xn+2 + pxn+1 + qxn = 0 so da forma xn = An + B n , onde A e
B so constantes.
Prova: Seja xn uma soluo qualquer de xn+2 + pxn+1 + qxn = 0.

Determinamos as constantes A e B, que sejam solues do sistema:
(
A + B = x1
A2 + B 2 = x2
2 x1 x2 x2 2 x1
Ou seja, A= e B= .
( ) ( )
Sabemos que possvel pois 6= , 6= 0 e 6= 0.
Armamos por hiptese que xn = An + B n , n N. Seja zn = xn An B n ,

vamos mostrar que zn = 0, para todo n N. Temos:
zn+2 + pzn+1 + qzn = xn+2 + pxn+1 + qxn An (2 + p + q) B n ( 2 + p + q)
e so razes da equao caracterstica x2 +px+q = 0, ento An (2 +p+q) = 0

Se
n 2
e B ( + p + q) = 0. E como, por hiptese, xn soluo de xn+2 + pxn+1 + qxn = 0
2 2
temos que zn+2 + pzn+1 + qzn = 0. Alm disso, como: A + B = x1 e A + B = x2 ,
temos que z1 = z2 = 0.
Mas, se zn+2 + pzn+1 + qzn = 0 e z1 = z2 = 0, ento zn = 0, n N.
Encontramos um problema a mais se as razes e forem complexas. Na soluo

n n
xn = A + B , encontrada nessa seco, as constantes arbitrrias A e B podem ser
escritas de maneira que se possa evitar clculos com nmeros complexos. Veremos a seguir
os passos de como proceder nesse caso.

a
Um nmero complexo da forma z = a + bi, com a, b R e onde i a unidade

2
imaginria, tal que i = 1. Sejam e razes complexas da equao caracterstica.
Elas so nmeros complexos conjugados. Sendo assim, um certo z1 = a + bi, e seu
conjugado, a saber: z2 = a bi. De acordo com ([8], p. 154), escrevendo essas razes na
forma trigonomtrica, teremos:

= (cos + isen) e = (cos isen), onde = a2 + b 2
Na forma trigonomtrica o mdulo do nmero complexo e o argumento tal que

a b
cos = e sen = .

1
Ainda segundo ([8], p. 156) a frmula de De Moivre representa a potncia de um
nmero complexo, da forma como vemos a seguir:
n = n (cos(n) + isen(n)) e n = n (cos(n) isen(n))
Portanto, xn = An + B n = n [(A + B)cos(n) + i(A B)sen(n)].
Fazendo (A + B) e i(A B) as novas constantes arbitrrias, A0 e B0, a soluo pode
ser escrita da forma:
xn = n [A0 cos(n) + B 0 sen(n)]
Exemplo 2.1.3. Encontrar a soluo da recorrncia xn+2 2xn+1 + 2xn = 0. Depois
encontrar uma soluo quando x1 = 1 e x2 = 2 forem os termos iniciais da recorrncia.
Soluo: x2 2x + 2 = 0 e tem como razes 1 + i e 1 i,

A equao caracterstica

que so nmeros complexos de mdulo = 2 e argumento principal = . A soluo da
n
4
recorrncia da forma xn = [Acos(n)+Bsen(n)]. Segue da que a soluo a equao:
h n n i
xn = 2n Acos + Bsen
4 4
No caso especco em que x1 = 1 e x2 = 2 so os termos iniciais da recorrncia, podemos

encontrar as constantes A e B atravs do sistema de equaes:
h i
x 1 = 2 Acos + Bsen =1

4 4
x = 2 Acos + Bsen = 2

h i
2
2 2
1 Abraham De Moivre (1667-1754), matemtico francs ([3], p. 312).
a
Resolvendo o sistema, obtemos: A+B =1 e 2B = 2. Assim, A=0 e B = 1.
Portanto, a soluo da recorrncia xn+2 2xn+1 + 2xn = 0, com x1 = 1 e x2 = 2 a
equao:
n
xn = 2n sen
4
2.1.2 Caso =
Ainda considerando as recorrncias da forma: xn+2 = a xn+1 + b xn , onde a e b so
constantes reais, podemos nos perguntar:
E quando as razes da equao caracterstica forem iguais?
O exemplo a seguir apresenta um caso de razes iguais. Logo aps a resoluo, vamos
generalizar para quaisquer equaes com essa caracterstica.
xn+2 6xn+1 + 9xn = 0, n Z+ , com x0 = 1 e x1 = 2.
Soluo: Primeiramente, observemos que:
xn+2 6xn+1 + 9xn = 0 = xn+2 3xn+1 = 3 (xn+1 3xn ).
Fazendo yn = xn 3xn1 , temos:
yn+2 = 3yn+1 = yn = y1 3n1 = xn 3xn1 = (x1 3x0 ) 3n1 .
Denindo xn = 3n zn temos:
3n zn 3n zn1 = (3z1 3z0 ) 3n1 = zn zn1 = z1 z0
Visto que zn uma PA de razo z1 z0 , segue da que:
xn x1 x1
= zn = z0 + n(z1 z0 ) = n
= x0 + n( x0 ) = xn = x0 3n + n( x0 ) 3n
3 3 3
= xn = 3n n 3n1 = xn = 3n1 (3 n)
Portanto, a soluo da recorrncia xn+2 6xn+1 + 9xn = 0, com x0 = 1 e x1 = 2,
dada por
xn = 3n1 (3 n).
a
Vamos generalizar essa resoluo para todas as recorrncias lineares de segunda ordem,
com coecientes constantes, cuja equao caracterstica possui razes iguais.
Considere a equao xn+2 = ( + )xn+1 xn , = . Isso equivale a dizer

com
2
que a equao caracterstica tem razes iguais e pode ser escrita como xn+2 = 2xn+1 xn .
Portanto,
xn+2 = 2xn+1 2 xn = xn+2 xn+1 = (xn+1 xn )
Denindo yn = xn xn1 , teremos:
yn+2 = yn+1 = yn = y1 n1 = xn xn1 = (x1 x0 ) n1 .
Denindo outra sequncia (zn ) de modo que xn = n zn , obtemos da ltima equao:
n zn n zn1 = (z1 z0 ) n1 = zn zn1 = z1 z0
Mas, zn zn1 = z1 z0 caracteriza uma PA de razo z1 z0 . Da, zn = z0 +n(z1 z0 ).

E portanto,
xn x
1

n
x
1

zn = z0 + n (z1 z0 ) = = x 0 + n x 0 = x n = x 0 + n x 0 n .
n
Com o resultado que obtivemos para o caso = , podemos generalizar as solues
das recorrncias xn+2 ( + )xn+1 + xn = 0. As solues nesse caso so da forma
xn = A n + n B n .
Teorema 2.3. Se as razes de x2 + px + q = 0 so iguais, tais que = = r, ento

n n
an = A r + n B r soluo da recorrncia xn+2 + pxn+1 + qxn = 0, quaisquer que
sejam os valores das constantes A e B.
p
Prova: Se as razes so iguais ento r= . Substituindo an = A r n + n B r n na
2
recorrncia xn+2 + pxn+1 + qxn = 0, obtemos:
A rn+2 + (n + 2) B rn+2 + p (A rn+1 + (n + 1) B rn+1 ) + q (A rn + n B rn ) = 0.
Agrupando os termos temos que:
Arn (r2 +pr+q)+Bnrn (r2 +pr+q)+Brn+1 (2r+p) = Arn 0+Bnrn 0+Brn+1 0 = 0.

a
Teorema 2.4. Se as razes de x2 + px + q = 0 so iguais, = = r, ento todas as

solues da recorrncia xn+2 + pxn+1 + qxn = 0 so da forma an = A rn + B n rn , com
A e B constantes.
Prova: Seja yn uma soluo qualquer de xn+2 + pxn+1 + qxn = 0. Da A e B so as
solues do sistema de equaes:
(
A r + B r = y1
A r2 + 2B r2 = y2
y1 y2 y2 r y1
Ou seja, A=2 2 e B= . Isso possvel pois r 6= 0.
r r r2
Armamos que yn = A rn + n B rn , para todo n N, o que provar o teorema. De

fato, seja zn = yn A rn n B rn . Mostraremos que zn = 0, para todo n N. Temos:
zn+2 + pzn+1 + qzn =
(yn+2 + pyn+1 + qyn ) A rn (r2 + pr + q) n B rn (r2 + pr + q) B rn+1 (2r + p).
Nessa soma, temos que (yn+2 + pyn+1 + qyn ) = 0, pois yn soluo da recorrncia em
2
questo; como r raiz da equao x + px + q = 0 a segunda e terceira parcela se igualam
n+1
a zero; e B r (2r + p) tambm igual a zero, pois 2r + p = 0, j que = = r e
p
assim r = . Ento, zn+2 + pzn+1 + qzn = 0.
2
A r + B r = y1 e A r2 + 2B r2 = y2 ,
Alm disso, como temos z1 = z2 = 0. Mas, se
zn+2 + pzn+1 + qzn = 0, ento zn = 0, para todo n N.
Exemplo 2.1.5. xn+2 8xn+1 + 16xn = 0, n Z+ , tem a

A recorrncia equao
2
x 8x + 16 = 0 como equao caracterstica. As razes so = = 4, portanto todas as
n n
solues da recorrncia so da forma xn = A 4 + B n 4 .
Observemos um caso particular da recorrncia xn+2 8xn+1 + 16xn = 0, quando x0 = 1

e x1 = 2.
Como todas as solues da recorrncia so da forma xn = A 4n + B n 4n podemos
escrever o sistema de equaes que resulta na sequncia lgica:

A=1

0 0
A4 +B04 =1 A=1

= =
B = 1

A 41 + B 1 41 = 2 4A + 4B = 2

2
2.2 Recorrncias da Forma: xn+2 + pxn+1 + qxn = f (n) 26
Substitumos os valores das constantes A e B e obtemos:
n 4n

n 2n
xn = 4 = xn = 4n
2 2
Descrevendo os primeiros termos dessa recorrncia, temos
( xn ) = (1, 2, 0, 32, 256, 1536, 8192, . . .).
2.2 Recorrncias da Forma: xn+2 + pxn+1 + qxn = f (n)

Nessa seco vamos sistematizar as solues das recorrncias lineares no-homogneas
de segunda ordem, onde os coecientes da parte homognea so constantes. Essas recor-
rncias so da forma: xn+2 + pxn+1 + qxn = f (n), com p, q R, q 6= 0 e f (n) uma funo
no-nula.
A seguir enunciaremos um teorema encontrado em ([14], p. 79) e ([16] p. 87-88) que
mostra um processo para resolver equaes dessa forma.
Teorema 2.5. Se an uma soluo da recorrncia xn+2 + pxn+1 + qxn = f (n), ento a
substituio xn = an + yn transforma a recorrncia em yn+2 + pyn+1 + qyn = 0.
Prova: Substituindo xn por an + y n na recorrncia em questo, temos:
(an+2 + pan+1 + qan ) + (yn+2 + pyn+1 + qyn ) = f (n) (I)
Por hiptese,an uma soluo de xn+2 + pxn+1 + qxn = f (n), isso implica na igualdade:
an+2 + pan+1 + qan = f (n). Logo, a equao (I) equivale a yn+2 + pyn+1 + qyn = 0.
Por este teorema, a soluo de uma recorrncia no-homognea uma soma de duas
parcelas. Vimos na seco anterior como determinar a soluo de uma equao homognea.
A soluo da equao no-homognea ser determinada por meio de tentativas.
Vejamos alguns exemplos de recorrncias da forma xn+2 +pxn+1 +qxn = f (n), nos quais
observaremos diversas situaes que enfrentamos ao tentarmos solucionar uma recorrncia
no-homognea.
Exemplo 2.2.1. Resolver a equao de recorrncia: xn+2 5xn+1 6xn = n + 3n .
Soluo: A soluo da recorrncia da forma xn = an + zn .

A equao caracterstica da recorrncia homognea x2 5x 6 = 0 cujas razes so

n n
= 1 e = 6. Segue que a soluo da parte homognea an = A (1) + B 6 .
Devemos agora determinar uma soluo particular para uma funo (zn ) na recorrncia
n
xn+2 5xn+1 6xn = n + 3 , para que quando substituirmos zn em xn+2 5xn+1 6xn
n
obtenhamos n+3 . O problema denir que tipo de funo zn . Observando a recorrncia
n + 3n podemos supor intuitivamente que zn a soma de um polinmio de 1o grau com

n
uma exponencial de base 3. Da, zn = Cn + D + E 3 .
Substitumos zn em xn+2 5xn+1 6xn = n + 3n e obtemos:
C(n + 2) + D + E 3n+2 5 (C(n + 1) + D + E 3n+1 ) 6 (Cn + D + E 3n ) = n + 3n
= 10Cn 3C 10D 12E 3n = n + 3n
Com isso, temos que: 10C = 1, 3C 10D = 0 e 12E = 1, ou seja:
1 3 1
C= , D = e E= .
10 100 12
n n n 3 3n
Portanto, a soluo da recorrncia dada xn = A (1) + B 6 + .
10 100 12
importante lembrar que se forem determinados dois termos da sequncia, como por
exemplo, x0 e x1 que iniciam a sequncia, podemos calcular as constantes A e B. E depois
disso, descrever todos os termos da recorrncia com a soluo encontrada.
n 3 3n
Por exemplo, na recorrncia xn = A (1)n + B 6n + , quando x0 = 1
10 100 12
e x1 = 1, podemos escrever o sistema de equaes:
0 3 30 632

0 0

A (1) + B 6 + =1
A+B =

10 100 12
600
=
A + 6B = 792
1
A (1)1 + B 61 1 + 3 3 = 1

10 100 12 600
1424 178 3000 5

Somando as equaes, chegamos s igualdades: B= = e A= = .
4200 525 4200 7
Portanto, a soluo da recorrncia :
5 178 n n 3 3n
xn = (1)n + 6 + .
7 525 10 100 12
Exemplo 2.2.2. Resolver a equao de recorrncia: xn+2 5xn+1 + 6xn = n + 3n .
Soluo: xn = an + zn .
A soluo da recorrncia da forma
2
A equao caracterstica da recorrncia homognea x 5x + 6 = 0 cujas razes so
= 2 e = 3. Segue que a soluo da parte homognea an = A 2n + B 3n .
Devemos agora determinar uma soluo particular para zn na recorrncia em questo,
para que quando substituirmos zn em xn+2 5xn+1 + 6xn obtenhamos n + 3n . Precisamos
denir que tipo de funo zn . Vamos supor, assim como no exemplo anterior, que zn
da forma zn = Cn + D + E 3n . Mas, substituindo zn em xn+2 5xn+1 + 6xn temos:
C(n + 2) + D + E 3n+2 5 (C(n + 1) + D + E 3n+1 ) + 6 (Cn + D + E 3n ) = n + 3n
= 2Cn 3C + 2D = n + 3n
Essa uma igualdade impossvel. Pois a soluo encontrada independe de E, e assim

n
zn no da forma zn = Cn + D + E 3 . A soluo suposta no tem como dar certo,
n
pois queremos obter constantes C e D , tais que Cn + D = n e um termo E 3 , para
n n
igualar a 3 . Mas, E 3 uma soluo da homognea, com A = 0 e B = E , substituindo-
n
a na equao encontramos um termo nulo e no uma exponencial que se possa igualar a 3 .
Para solucionar esse impasse, ([14], p. 81) arma que sempre quando algum bloco no
atender as expectativas, seja feita uma correo aumentando o grau, isto , multiplicando
o bloco por n. Fazendo isso, tentemos portanto uma soluo da forma zn = Cn+D+En3n .
Substituindo novamente obtemos: 2Cn 3C + 2D + 3E 3n = n + 3n .
Com isso, temos que: 2C = 1, 3C + 2D = 0 e 3E = 1, ou seja,
1 3 1
C= , D = e E= .
2 4 3
Portanto, a soluo da recorrncia dada
n 3 n 3n
xn = A 2n + B 3n + + + .
2 4 3
Essa equao nos apresenta uma classe com innitas recorrncias. Vejamos um caso
particular dessa recorrncia quando tivermos x0 = 1 e x1 = 1, sendo esses os dois valores
iniciais. Para calcular as constantes A e B, escrevemos o sistema de equaes:

0 3 0 30 1

0 0

A 2 + B 3 + + + =1
A+B =

2 4 3
4
=
2A + 3B = 5
1
A 21 + B 31 + 1 + 3 + 1 3 = 1

2 4 3 4
7
Resolvendo o sistema, chegamos s igualdades: A=2eB= . E portanto, a soluo
4
da recorrncia nesse caso :
7 n n 3 n 3n
xn = 2 2n 3 + + + .
4 2 4 3
Exemplo 2.2.3. Apresentar uma equao para o termo geral da sequncia denida
por xn+2 = 2xn + 5, com x0 = 3 e x1 = 7. Atravs da soluo encontrada apresentar o
valor de x20 .
Soluo: A equao caracterstica da parte homognea x2 2 = 0 .

As razes dessa equao so = 2 e = 2. Segue que a soluo da parte

homognea an = A 2n + B (1)n 2n .
Determinemos uma soluo particular xn+2 2xn = 5.

zn da equao Observando
a equao fcil ver que zn um polinmio constante. Tentemos zn = C e fazendo a
substituio na equao xn+2 2xn = 5, obtemos: C = 5.
J que a soluo da recorrncia xn a soma an + zn , vemos que a soluo procurada

xn = A 2n + B (1)n 2n 5.
Atribuindo os valores dados: x0 = 3 e x1 = 7. Vamos calcular as constantes A e B:
x0 = A + B 5 = 3 = A + B = 8

x1 = A 2 B 2 5 = 7 = A B = 6 2.
Resolvendo o sistema de equaes:
(
A+B =8

AB =6 2

Encontramos as constantes A = 4 + 3 2 e B = 4 3 2. Logo, a soluo :

xn = (4 + 3 2) 2n + (4 3 2) (1)n 2n 5.
2.3 Recorrncias Lineares de Ordem k 30
Para encontrarmos o valor de x20 , calculemos:

x20 = (4 + 3 2) 220 + (4 3 2) (1)20 220 5

= x20 = (4 + 3 2) 210 + (4 3 2) (1)20 210 5

= x20 = 4 210 + 3 2 210 + 4 210 3 2 210 5
= x20 = 8 210 5 = 8 1024 5 = 8187.
Portanto, x20 = 8187.
2.3 Recorrncias Lineares de Ordem k

Os resultados que encontramos nas primeiras seces desse captulo podem ser genera-
lizados para recorrncias lineares de qualquer ordem.
Podemos expandir o conceito de equao caracterstica. De modo geral, para cada
recorrncia linear de ordem k de equaoxn+k + q1 xn+k1 + . . . + qk1 xn+1 + qk xn = 0,

k k1
com qk 6= 0 tem-se o polinmio caracterstico x + q1 x + . . . + qk1 x + qk e a equao
xk + q1 xk1 + . . . + qk1 x + qk = 0 denominada equao caracterstica.
Denio 2.3.1. Uma recorrncia linear dita de ordem k quando cada termo da sequn-
cia recorrente obtido a partir dos k termos imediatamente anteriores a ele. Tal recorrncia
tem como equao uma da forma:
xn+k = g1 (n)xn+k1 + g2 (n)xn+k2 + g3 (n)xn+k3 + + gk (n)xn + f (n),
onde gk (n) uma funo no nula.
Como j vimos, se f (n) = 0 a recorrncia dita homognea, caso contrrio ser no-
homognea.
Quando as funes gi (n), com 1 i k, so constantes e f (n) = 0, a recorrncia pode
ser escrita da forma:
xn+k = q1 xn+k1 + q2 xn+k2 + q3 xn+k3 + + qk xn .

Fazendo as mudanas adequadas de seus coecientes, essa equao pode-se ser reescrita
da forma: xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0, com qk 6= 0. E, conforme vimos na

k k1
seco 2.1, associada a ela a equao caracterstica x + q1 x + + qk1 x + qk = 0.
Neste captulo vimos que a soluo de uma recorrncia linear homognea de segunda
ordem tem como soluo: xn = A n + B n , onde e so razes de sua equao carac-
terstica. A seguir, expandiremos esse conceito para as recorrncias lineares homogneas
de qualquer ordem.
Teorema 2.6. Se 1 , 2 , 3 , . . . , k1 , k so razes da equao caracterstica
xk + q1 xk1 + + qk1 x + qk = 0, ento xn = C1 1n + C2 2n + C3 3n + + Ck kn
soluo da recorrncia para quaisquer valores de Ci , i N e 1 i k.
Prova: Substituindo xn = C1 1n + C2 2n + C3 3n + + Ck kn na equao de recorrncia

xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0 e agrupando convenientemente os termos,
obtemos:
C1 1nk (1k + q1 1k1 + q2 1k2 + + qk ) + C2 2nk (2k + q1 2k1 + q2 2k2 + + qk ) +

+ Ck knk (kk + q1 kk1 + q2 kk2 + + qk ) = 0
Mas, 1 , 2 , 3 , . . . , k1 , k so razes da equao xk + q1 xk1 + + qk1 x + qk = 0,

isso implica que:
C1 1nk 0 + C2 2nk 0 + + Ck knk 0 = 0
Teorema 2.7. 1 , 2 , 3 , . . . , k1 , k so razes distintas e no nulas da equao ca-

Se
k k1
racterstica x + q1 x + + qk1 x + qk = 0, ento todas as solues da recorrncia
xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0 so da forma:
xn = C1 1n + C2 2n + C3 3n + + Ck kn , com Ci constantes, iN e 1 i k.
Prova: Seja an uma soluo qualquer da recorrncia:
xn+k + q1 xn+k1 + q2 xn+k2 + qk1 xn+1 + qk xn = 0.

Pelo Teorema 2.6 podemos formar um sistema de equaes:

a1 = C1 1 + C2 2 + C3 3 + + Ck k
2 2 2 2
a2 = C1 1 + C2 2 + C3 3 + + Ck k

a3 = C1 13 + C2 23 + C3 33 + + Ck k3
.

.

.

a = C k + C k + C k + + C k

k 1 1 2 2 3 3 k k
Esse sistema tem soluo. Como vemos em ([20], p. 263), se as razes 1 , 2 , 3 , . . . , k

so distintas e no-nulas, ento o determinante V, representado abaixo, no-nulo. Ainda
2
de acordo com [20], o chamado determinante de Vandermonde tem seu valor dado por:

1 2 3 k
2
1
22 32 k2
Y
V = 13 23 33 k3 = (j i )

. . . .. .

.. .
.
.
. . .
.
1i<jk

k
2k 3k kk

1
Seja zn = an C1 1n C2 2n C3 3n Ck kn . Vamos provar que zn = 0, para todo
n, o que provar o teorema.
Substituindo zn na equao xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0, temos que:
zn+k + q1 zn+k1 + + qk1 zn+1 + qk zn =

(an+k + q1 an+k1 + q2 an+k2 + qk1 an+1 + qk an )
C1 1 (1 + q1 1k1 + q2 1k2 + + qk ) C2 2nk (2k + q1 2k1 + q2 2k2 + + qk )
nk k
Ck knk (kk + q1 kk1 + q2 kk2 + + qk ) = 0.
O primeiro parntese igual a zero visto que an soluo de
xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0
e os demais parnteses so iguais a zero porque 1 , 2 , 3 , . . . , k1 , k so razes da equa-

k k1
o x + q1 x + + qk1 x + qk = 0.
Como C1 1 + C2 2 + C3 3 + + Ck k = a1 e C1 12 + C2 22 + C3 32 + + Ck k2 = a2 ,
temos que z1 = z2 = 0. Portanto,
se zn+k + q1 zn+k1 + + qk1 zn+1 + qk zn = 0 e z1 = z2 = 0, ento zn = 0 para todo n.

2 Em homenagem a Alexandre-Thephile Vandermonde (1735-1796), matemtico francs.
A complexidade da soluo de uma recorrncia da forma:
xn+k + q1 xn+k1 + + qk1 xn+1 + qk xn = 0, com qk 6= 0
aumenta conforme for maior tambm a complexidade da soluo da equao caracterstica:
xk + q1 xk1 + + qk1 x + qk = 0.
Exemplo 2.3.1. Resolver a equao de recorrncia: xn+3 = 3xn+2 + xn+1 3xn , n 0.

Depois, de posse da soluo geral, vamos encontrar a equao dessa recorrncia no caso em
que x0 = 0, x1 = 1 e x2 = 2.
Soluo: xn+3 3xn+2 xn+1 + 3xn = 0 e

A recorrncia pode ser reescrita como
3 2
associamos a ela a equao caracterstica x 3x x + 3 = 0. Reagrupando os termos
convenientemente obtemos (x 3)(x + 1)(x 1) = 0. Resolvendo a equao caracterstica
chegamos s razes 1 = 3, 2 = 1 e 3 = 1.
Aplicando o Teorema 2.7 as solues da recorrncia xn+3 3xn+2 xn+1 + 3xn = 0 so

da forma xn = A1n + B2n + n
C3 . Da, substituindo as razes encontradas, obtemos:
xn = A 3n + B (1)n + C , onde A, B e C so constantes arbitrrias.
Agora vamos encontrar a soluo particular no caso em que x0 = 0, x1 = 1 e x2 = 2

so os termos iniciais dessa recorrncia. Podemos escrever o sistema:

A+B+C =0

3A B + C = 1

9A + B + C = 2

1 1
Resolvendo esse sistema obtemos A = , B = e C = 0. Consequentemente a
4 4
soluo da recorrncia nesse caso ser:
3n + (1)n+1

1 n 1
xn = 3 + (1)n = xn = .
4 4 4
Descrevendo os primeiros termos da recorrncia, temos (xn ) = (0, 1, 2, 7, 20, 61, 182, . . .).
Em caso de multiplicidade de razes, expandimos o conceito que vericamos na subsec-
o 2.1.2 e aplicamos o que [14] nos sugere: multiplicar um dos termos com razes mltiplas
por n. Vejamos um exemplo no qual poderemos aplicar essa tcnica.

Exemplo 2.3.2. Resolver a equao de recorrncia: xn+3 = 2xn+2 + 4xn+1 8xn ,

n 0, onde x0 = 0, x1 = 1 e x2 = 2.
Soluo: xn+3 2xn+2 4xn+1 + 8xn = 0 e

A recorrncia pode ser reescrita como
3 2
associamos a ela a equao caracterstica x 2x 4x + 8 = 0. Reagrupando os termos
convenientemente obtemos (x2)(x2)(x+2) = 0. Assim chegamos s razes 1 = 2 = 2
e 3 = 2.
Aplicando o Teorema 2.7 as solues da recorrncia xn+3 2xn+2 4xn+1 + 8xn = 0 so

da forma xn = A1n + B2n + C3n . Mas, ao montarmos o sistema com os valores iniciais
teramos um problema no qual o sistema no teria soluo nica. Nesse caso, usaremos a
tcnica sugerida por [14] de multiplicarmos porn uma das parcelas da soluo com a mesma
n n n
raiz. Nesse exemplo, como 1 = 2 = a soluo ser da forma: xn = A +nB +C3 .
Substituindo as razes encontradas, obtemos:
xn = A 2n + n B 2n + C (2)n , ou ainda: xn = 2n [A + n B + C (1)n ]
onde A, B e C so constantes arbitrrias.
Agora vamos encontrar a soluo particular no caso em que x0 = 0, x1 = 1 e x2 = 2

so os termos iniciais dessa recorrncia. Podemos escrever o sistema:

A+C =0

2A + 2B 2C = 1

4A + 8B + 4C = 2

1 1 1
Resolvendo esse sistema obtemos A = , B = e C = . Consequentemente a
8 4 8
soluo da recorrncia nesse caso ser:
1 n (1)n+1

1 n 1 n 1 n n
xn = 2 + n 2 (2) = xn = 2 + +
8 4 8 8 4 8
n+1

2n + 1 + (1)
xn = 2n = xn = 2n3 (2n + 1 + (1)n+1 )
8
Descrevendo numericamente essa recorrncia, temos
(xn ) = (0, 1, 2, 8, 16, 48, 96, 256, 512, . . .).

Captulo
3
Exemplos Clssicos de Recorrncias
Neste captulo veremos alguns dos exemplos de recorrncias mais comuns. Analisaremos
seus aspectos e procuraremos encontrar solues para diversos problemas relacionados a
esses exemplos, usando os conceitos sobre recorrncia que foram apresentados nos primeiros
captulos. Porm, antes de discorrer sobre tais exemplos, apresentaremos o Princpio da
Induo Finita, que nos ajudar a raticar algumas solues encontradas.
3.0.1 Princpio da Induo Finita
O Princpio da Induo Finita um recurso matemtico para vericar a validade de
um resultado, cuja equao est em funo de n, n N . Ao discorrer sobre esse princpio,
([13], p. 37) arma que ela base de um eciente mtodo de demonstrao de proposies
referentes a nmeros naturais.
O Princpio da Induo Finita est associado ideia de recorrncia. Na referncia [11]
vemos o comentrio de que a ideia anloga ao que conhecemos por efeito domin . Essa
analogia comentada da seguinte maneira:
Imaginemos uma leira de peas de domin, onde a quantidade

de peas razoavelmente grande. A disposio tal que se a
primeira pea tomba, ela derruba a prxima pea e, o fato
de uma pea tombar, faz com que a pea da frente tambm
tombe. Assim, fcil concluir que todas as peas desta leira
de domins tombaro. ([11], 2008, p. 81)
Sobre o Princpio da Induo Finita, ([13], p. 37) o descreve como o axioma da indu-
o. A seguir descreveremos o Princpio da Induo conforme est denido na referncia
([13], p. 37).
3.1 A Torre de Hani 36
Denio 3.0.2. Seja P (n) uma funo proposicional relativa a nmero natural n. Su-
ponhamos que:
i) P (1) vlida;
ii) Para todo n N, a validade de P (n) implica a validade de P (n + 1).

Ento, P (n) vlida para todo n N.
De fato, se chamarmos de X o conjunto dos nmeros naturais n para os quais P (n)

vlida, veremos que 1 X em virtude de i) e que em virtude de ii) se n X, ento
(n + 1) X . Logo, pelo axioma da induo, conclumos que X = N.
3.1 A Torre de Hani

1
De acordo com [18] a Torre de Hani um jogo inventado por douard Lucas em 1882.
O cenrio do jogo consiste em trs eixos verticais como ilustrado na Figura 1; e discos de
dimetros diferentes, alocados inicialmente em um dos eixos em ordem crescente de tama-
nho, de cima para baixo. As regras incluem que apenas um disco seja movido em cada
passo e que em qualquer situao os discos com dimetros menores sempre estejam sobre
os de dimetros maiores. O objetivo do jogo mover a pilha de discos do eixo inicial para
outro, usando para isso o menor nmero de movimentos possvel. Ao m dos movimentos
a pilha deve estar em outro eixo, na mesma ordem crescente de tamanho da congurao
inicial.
As guras a seguir nos ajudam a entender a posio inicial e a movimentao dos discos
no jogo. O exemplo representado na Figura 1 corresponde ao modelo da disposio inicial
de uma pilha com trs discos.
Figura 3.1.1. Torre de Hani
Na Figura 2 ilustraremos o modo com so realizados os movimentos do jogo. Nesse caso
especco, para transportarmos uma pilha de trs discos para outro eixo so necessrios,
no mnimo, sete movimentos.
1 Franois douard Anatole Lucas (1842-1891), matemtico francs.

Figura 3.1.2. Movimentos na Torre de Hani
O jogo A Torre de Hani pode ser usado por professores que desejam melhorar e
desenvolver o pensamento cognitivo de seus alunos, na procura de padres matemticos e
solues generalizadas. Pode ser aplicado em pequenos grupos ou individualmente, para
proporcionar a observao de algoritmos matemticos e em que se fundamentam suas fr-
mulas. um jogo simples, de fcil entendimento, e pode ser aplicado em diferentes nveis
de ensino e faixas etrias.
Diante da problemtica desse jogo, e em face do presente estudo de recorrncias ime-
diato fazermos o seguinte questionamento:
Qual o nmero mnimo de movimentos para se transportar n discos de um eixo para
outro na Torre de Hani?
Soluo: Consideremos os eixos I, II e III e que no jogo se mova a pilha de discos de I
para III. Primeiramente, observemos que para n = 1 o nmero de movimentos 1. De fato,
para mover um disco do eixo I para o eixo III basta apenas um nico movimento. Para
n = 2, temos que mover o disco menor para o eixo auxiliar central, mover o disco maior
para o eixo III e nalmente mover o disco menor para sobre o disco maior, totalizando
trs movimentos.
Seja, portanto, xn o nmero de movimentos para mudar uma torre de n discos do eixo
I para o eixo III. possvel expressar xn em funo de xn1 . Se temosn discos no eixo I,
sabemos que precisamos mover n1 discos para o eixo central usando xn1 movimentos.
Depois, movemos o disco maior para o eixo III e logo aps, procedemos a movimentao
dos n 1 discos do eixo central para seu destino nal usando novamente os xn1 movimen-
tos para isso necessrio. Portanto, movemos os n discos usando 2 xn1 + 1 movimentos.
Assim, chegamos equao xn = 2xn1 + 1, onde xn o nmero de movimentos necessrios
para mover os n discos da Torre de Hani.
Resolvendo a equao da recorrncia xn = 2xn1 + 1,

x1 = 1. Conforme vimos
com
n1
no primeiro captulo, a soluo da recorrncia da forma xn = 2 + , com e
constantes. Como x1 = 1 e x2 = 3, temos que + = 1 e 2 + = 3, assim = 2 e
= 1. Logo, xn = 2n 1.
Portanto, para mover n discos da Torre de Hani de um eixo para outro so necessrios
n
2 1 movimentos.
J provamos, no primeiro captulo, a veracidade da soluo da recorrncia xn = 2xn1 +1

dada que xn = 2n 1. Mas, vamos supor que de posse apenas da soluo, o estudioso
da Torre de Hani queira determinar que o nmero mnimo para o movimento de n discos
seja realmente 2n 1. Assim, ele pode evocar o Princpio da Induo Finita para provar
que a proposio verdadeira.
Proposio 3.1.1. O nmero de movimentos necessrios para se mover n discos na
Torre de Hani 2n 1. Da, P (n) = 2n 1.
Prova: Vamos demonstrar a armao por induo em n. Primeiro, vemos se verdade

1
para n = 1. De fato, P (1) = 2 1 = 1, e haja visto que para movimentar um disco
necessrio um nico movimento. Temos que P (1) verdadeiro.
Agora, supomos por hiptese que P (n) seja vlida at um certo n natural. Queremos
agora provar que P (n) implica P (n+1). Para que sejam movimentados n+1 discos do eixo
I ao III necessrio mover n discos para o eixo central usando, pela hiptese de induo:
2n 1 movimentos, a seguir o disco de maior dimetro movimentado para o eixo III em

um movimento e logo aps, faz-se a movimentao dos n discos do eixo central para o eixo
n
III, usando-se, novamente pela hiptese de induo: 2 1 movimentos. Assim, para mover
n + 1 discos na Torre de Hani so necessrios: (2n 1) + 1 + (2n 1) = 2 2n 1 = 2n+1 1.

n+1
Portanto, P (n+1) = 2 1. E se, P (n) implica P (n+1), ento a proposio P (n) = 2n 1
verdadeira para todo n N.

3.2 Combinaes de Elementos Geomtricos 39
3.2 Combinaes de Elementos Geomtricos

Podemos observar exemplos de recorrncias em problemas da Geometria. Nesse cap-
tulo, no qual descrevemos alguns exemplos gerais de aplicao da ideia das recorrncias em
diversos temas matemticos, vamos discorrer sobre dois problemas relativos Geometria.
Exemplo 3.2.1. Diviso do Plano por n Retas: Qual o maior nmero de partes
em que um plano pode ser dividido por n retas?
Soluo: Primeiramente, observemos que o maior nmero de partes obtida quando
os pontos de interseco entre as retas so todos distintos. Seja xn o nmero de partes
em que o plano dividido por n retas concorrentes quando os pontos de concorrncia so
distintos. A primeira situao que para n=1 temos x1 = 2 , pois uma reta divide um
plano em duas regies, uma de cada lado da reta. A partir da, para atender as condies
requeridas e obtermos o maior nmero de novas regies possveis, cada reta acrescentada
deve intersectar todas as retas j existentes. A gura a seguir ilustra os primeiros estgios
dessa diviso recorrente.
Figura 3.2.1. Diviso do Plano em Retas
Suponhamos que n 1 retas concorrentes entre si esto presentes no plano, dividindo-o

em xn1 partes. Acrescentando uma reta t que intersecte todas as n 1 j existentes, os
n 1 pontos de interseco determinaro n intervalos na reta. Cada intervalo corresponde

a exatamente uma regio que ela atravessa dentre as xn1 j existentes. Assim, esses
intervalos extinguem a regio por onde passam, dividindo-a em duas novas regies.
Portanto, a reta t elimina n regies ao mesmo tempo em que gera mais 2n regies.
Com isso, obtemos a equao de recorrncia: xn = xn1 n + 2n, que equivale a equao
xn = xn1 + n.
Resolvendo a equao xn = xn1 + n, com x1 = 2 e x0 = 1:
x1 = 1 + 1
x2 = x1 + 2
x3 = x2 + 3
x4 = x3 + 4
.
.
.
xn = xn1 + n
Somando as equaes e simplicando adequadamente, obtemos:
n
X n(n + 1)
xn = 1 + i = xn = 1 +
i=1
2
n(n + 1)
Portanto, n retas podem dividir o plano em no mximo: xn = 1 + regies.
2
Proposio 3.2.1. O maior nmero de regies em que o plano ca dividido por n retas
n(n + 1)
dado por 1+ .
2
n(n + 1)
Prova: Vamos demonstrar a proposio P (n) = 1 + por induo em n.
2
Primeiro, vericamos a validade para o caso base da induo n = 1. De fato, P (1)

1(1 + 1)
verdadeira. Pois P (1) = 1 + = 2, haja visto que uma reta divide o plano em
2
duas regies.
Agora, supomos por hiptese que P (n) seja vlida at um certo n natural. Queremos
agora provar que P (n) implica P (n + 1). Supondo que j existam n retas no plano, ao
acrescentarmos uma reta nova, que intersecte as outras em n pontos, essa reta car divi-
dida em n + 1 intervalos. Cada um desses intervalos passa por n + 1 regies, anteriormente
determinadas, eliminando-as e dividindo-as em duas. Essa nova reta acrescenta n + 1

n(n + 1)
regies s j existentes, que por hiptese so 1 + . Portanto,
2
n(n + 1) n(n + 1) 2(n + 1) (n + 1)(n + 2)
P (n + 1) = 1 + + (n + 1) = 1 + + =1+ .
2 2 2 2
n(n + 1)
E se, P (n) implica P (n + 1), ento a proposio P (n) = 1 + verdadeira para
2
todo n N.
Exemplo 3.2.2. Diviso do Plano por n Crculos: Qual o maior nmero de re-
gies em que o plano pode ser dividido por n crculos?
A gura seguinte ilustra os primeiros estgios da diviso do plano em crculos.
Figura 3.2.2. Diviso do Plano em Crculos
Soluo: Seja n o nmero de crculos no plano e xn o nmero mximo de regies em

que o plano dividido por eles. Observemos que x1 = 2, pois um crculo divide o plano
em duas regies, uma exterior e outra interior a ele. A partir da, cada crculo que se
acrescenta pode ser dividido em no mximo 2n arcos pelos n arcos j existentes. Cada
um destes arcos subdivide em duas partes uma regio existente, determinando assim 2n
regies. Assim, a equao recursiva no nmero mximo de regies determinadas por n
crculos dada por xn+1 = xn + 2n.

Resolvendo a recorrncia:
x1 = 2
x2 = x1 + 2
x3 = x2 + 4
x4 = x3 + 6
.
.
.
xn = xn1 + 2(n 1)
Somando-se as equaes e fazendo as simplicaes adequadas, obtemos:
xn = 2 + (2 + 4 + 6 + ... + 2(n 1)).

3.3 Combinatria 42
A soma (2 + 4 + 6 + ... + 2(n 1)) a soma dos (n 1) primeiros termos da PA cujo

(x1 + xn ) n
primeiro termo e razo so iguais a 2. Usando a frmula: Sn = , obtemos:
2
(2 + 2(n 1)) (n 1) 2n (n 1)
S= = S = = S = n2 n.
2 2
Segue que a soluo da recorrncia xn = n2 n + 2.
Portanto, o nmero mximo de regies que n crculos divide o plano n2 n + 2.
3.3 Combinatria
3.3.1 Permutaes Simples
Denominaremos o termo permutao simples como o arranjo de n elementos distintos

em n posies. Assim, formulamos a questo:
De quantos modos n elementos distintos podem ocupar n posies?
Soluo: Podemos representar por xn o nmero de permutaes com n elementos
distintos e por xn1 o nmero de permutaes de n 1 elementos distintos. Fazendo todas
as permutaes de n1 elementos distintos, podemos posicionar um novo elemento em
n lugares diferentes. A saber: antes de cada um dos n 1 elementos, que implica em

n 1 posies ou no m da lista anterior desses n 1 elementos. Segue que o nmero
de permutaes de n elementos distintos pode ser expressado pela equao de recorrncia:
xn = n xn1 . Resolvendo a equao:
x2 = 2x1
x3 = 3x2
x4 = 4x3
.
.
.
xn = nxn1
Multiplicando telescopicamente as equaes e fazendo as devidas adequaes, temos a
soluo:
xn = 2 3 4 ... n = xn = n!
Portanto, n elementos distintos podem ocupar n posies de n! modos diferentes.

3.3 Combinatria 43
3.3.2 Permutaes Caticas
Suponhamos agora que queiramos reposicionar n elementos distintos em n posies,
porm que nenhum dos elementos ocupe a sua posio original.
Denio 3.3.1. Permutao catica ou desarranjo a permutao dos elementos
a1 , a2 , a3 , ..., an em n posies em que nenhum elemento ai , i 1, 2, 3, ..., n ocupa sua
posio original, ou seja, a i-sima posio.
Seja xn o nmero de permutaes caticas. n = 1, temos somente um ele-

Quando
mento e no existe modo de desarranj-lo, portanto x1 = 0. Quando n = 2, podemos
desarranjar os elementos a1 e a2 apenas de um modo: a2 a1 . Assim, x2 = 1. Quando n = 3,
podemos permutar os elementos a1 , a2 e a3 de 3! = 6 maneiras: a1 a2 a3 , a1 a3 a2 , a2 a1 a3 ,
a2 a3 a1 , a3 a1 a2 e a3 a2 a1 das quais apenas a2 a3 a1 e a3 a1 a2 so desarranjos. Portanto, x3 = 2.

Prosseguindo com a anlise de casos particulares, podemos vericar que x4 = 9 e x5 = 44.
partir da, as possibilidades se tornam muito numerosas, de tal forma que precisamos
deduzir matematicamente a lei de formao de xn .
2
A seguir, reproduziremos como relatado em [10] e [17], o modo como Leonard Euler
raciocinou a deduo do valor de xn . Seja a1 , a2 , a3 , a4 , a5 , ...

n ele- um arranjo inicial de
mentos. Rearranjando-os de modo que nenhum retorne sua posio original, existem n1
opes para a primeira posio, j que nela no pode estar o a1 . Suponha que o primeiro
elemento seja a2 . Assim, xn ser dado pelo produto do nmero de variaes das demais
letras por n 1, j que existem n 1 opes para o a1 . Sendo a2 a primeiro elemento de
um desarranjo, temos duas possibilidades:
1. O segundo elemento a1 . Nesse caso, precisamos rearranjar os n2 elementos res-
tantes de modo que nenhum volte sua posio de origem. Ora, esse o mesmo problema
do qual partimos, reduzido de dois elementos, havendo portanto, xn2 formas de faz-lo.
2. O segundo elemento no a1 . O problema agora rearranjar os n1 elementos
restantes que caro direita de a2 , isso pode ser feito de xn1 maneiras.
Como os rearranjos das duas alternativas pertencem a conjuntos disjuntos, temos que,
quando a2 o primeiro elemento, existem xn1 + xn2 desarranjos possveis. Como h n1

opes para o primeiro elemento, temos:
xn = (n 1)(xn1 + xn2 )
2 Leonard Euler (1707-1783), matemtico alemo
3.3 Combinatria 44
Obtivemos uma equao de recorrncia que resolve o problema. Porm, precisamos
resolver a equao de modo a fornecer xn em funo de n unicamente.
Fazendo n=3 em xn , temos:
x3 = 2(x2 + x1 ) = x3 = 2x2 + 2x1
Podemos reescrever a expresso de modo a obter:
x3 = (x2 + 3x2 ) + 2x1 = x3 3x2 = x2 + 2x1 = x3 3x2 = (x2 2x1 )
Analogamente, para n=4 e n = 5, temos:
x4 4x3 = (x3 3x2 )

x5 5x4 = (x4 4x3 )
Logo, temos para todo n 3, n N:
x3 3x2 = (x2 2x1 )

x4 4x3 = (x3 3x2 )
x5 5x4 = (x4 4x3 )
.
.
.
xn nxn1 = (xn1 (n 1)xn2 )
Multiplicando essas n2 igualdade, obtemos:
(x3 3x2 )(x4 4x3 )(x5 5x4 ) (xn nxn1 ) =

(1)n2 (x2 2x1 )(x3 3x2 )(x4 4x3 ) (xn1 (n 1)xn2 )
= xn nxn1 = (1)n2 (x2 2x1 )
Como (1)n2 = (1)n , n Z e x2 2x1 = 1 2 0 = 1, podemos escrever a equao

de recorrncia:
xn nxn1 = (1)n = xn = nxn1 + (1)n , n 3
Notemos que xn = nxn1 + (1)n verdadeira para n = 2. De fato, vimos como caso
2
particular que x2 = 1 e por outro lado x2 = 2x1 + (1) = 2 0 + 1 = 1. Observemos ainda,
que o mesmo no ocorre para n = 1, pois para x1 = 0, teramos:
x1 = 1 x0 + (1)1 = 1 0 1 = 1 6= 0 que um absurdo.

3.3 Combinatria 45
Da igualdade xn = nxn1 + (1)n , n 2, podemos obter:
x2 = 2x1 + 1 = 2 0 + 1 = 1
x3 = 3x2 1 = 3 1 1
x4 = 4x3 + 1 = 4(3 1 1) + 1 = 4 3 4 + 1
x5 = 5x4 1 = 5(4 3 4 + 1) 1 = 5 4 3 5 4 + 5 1
x6 = 6x5 + 1 = 6(5 4 3 5 4 + 5 1) + 1 = 6 5 4 3 6 5 4 + 6 5 6 + 1
Observemos que:

1
1 = 2!
2!
1 1
3 1 1 = 3!
2! 3!
1 1 1
4 3 4 + 1 = 4! +
2! 3! 4!
1 1 1 1
5 4 3 5 4 + 5 1 = 5! +
2! 3! 4! 5!
1 1 1 1 1
6 5 4 3 6 5 4 + 6 5 6 + 1 = 6! + + .
2! 3! 4! 5! 6!
E segue dessa observao que:

1
x2 = 2!
2!
1 1
x3 = 3!
2! 3!
1 1 1
x4 = 4! +
2! 3! 4!
1 1 1 1
x5 = 5! +
2! 3! 4! 5!
1 1 1 1 1
x6 = 6! + + .
2! 3! 4! 5! 6!
Podemos ento formular a proposio a seguir.
Proposio 3.3.1. Seja xn o nmero de permutaes caticas, ento:

1 1 1 1 n 1
xn = n! + + ... + (1) , n 2
2! 3! 4! 5! n!
Prova: Vamos provar a armao por induo em n. De fato, a proposio vlida
para o caso base da induo n = 2, pois:

3.3 Combinatria 46

1
x2 = 2! = 1.
2!
Suponhamos agora que a proposio, que temos por hiptese, seja vlida at um certo
natural n, ou seja:

1 1 1 1 1
xn = n! + + ... + (1)n
2! 3! 4! 5! n!
Queremos agora provar que a proposio P (n) implica P (n + 1). Para isso, multiplica-
mos ambos os membros da igualdade por (n + 1), o que nos fornece:

1 1 1 1 n 1
(n + 1)xn = (n + 1)n! + + ... + (1)
2! 3! 4! 5! n!
Obtivemos anteriormente a equao xn = nxn1 + (1)n que descreve a recorrncia do
problema em questo nesse tpico. E, portanto:
xn = nxn1 + (1)n = xn+1 = (n + 1)xn + (1)n+1 = (n + 1)xn = xn+1 (1)n+1 .

Assim,

n+1 1 1 1 1 n 1
xn+1 (1) = (n + 1)n! + + ... + (1)
2! 3! 4! 5! n!

1 1 1 1 1
= xn+1 = (n + 1)! + + ... + (1)n + (1)n+1
2! 3! 4! 5! n!

1 1 1 1 n 1 (n + 1)!
= xn+1 = (n + 1)! + + ... + (1) + (1)n+1
2! 3! 4! 5! n! (n + 1)!

1 1 1 1 1
= xn+1 = (n + 1)! + + ... + (1)n+1
2! 3! 4! 5! (n + 1)!
Com isso, provamos que a proposio P (n):

1 1 1 1 1
xn = n! + + ... + (1)n , n 2 verdadeira.
2! 3! 4! 5! n!
Lembrando do caso particular que x1 = 0 podemos, nalmente, denir para todo n 1

que:

1 1 1 1 1 n 1
xn = n! 1 + + + ... + (1)
1! 2! 3! 4! 5! (n)!
3.4 A Sequncia de Fibonacci 47
3.4 A Sequncia de Fibonacci

Quando se trata de sequncias recursivas, um dos exemplos mais famosos e conhecidos
entre os professores de Matemtica a sequncia de Fibonacci. Nascido em Pisa, na Itlia,
Leonardo Fibonacci (1170-1240), tambm conhecido como Leonardo Pisano ou Leonardo
de Pisa, de acordo com ([3], p. 186) foi sem dvida o matemtico mais original e capaz do
mundo cristo medieval . Ainda segundo [3], seu pai foi um importante mercador de Pisa
e representava os interesses comerciais de sua cidade em Bugia, na atual Arglia, norte da
frica. Devido s viagens do pai, Leonardo percorreu todo o Mediterrneo, conhecendo
nestes lugares diversas culturas e familiarizando-se com a Matemtica rabe, que era ento
mais desenvolvida do que a Matemtica da Europa.
Conhecendo a cultura rabe, Leonardo impressionou-se com os algarismos indo-arbicos,
e considerava mais vantajoso utiliz-los em comparao aos sistemas numricos ento usa-
dos na Europa para registrar os nmeros e operar com eles. Tornou-se um dos responsveis
pela divulgao do sistema de numerao decimal na Europa, por meio de seu livro Liber
Abaci escrito em 1202. Neste livro, Fibonacci apresentou um tratamento da Aritmtica e
da lgebra Elementar. Entre os problemas deste livro est o dos coelhos: Quantos pares
de coelhos sero produzidos num ano, partir de um nico casal, se cada casal procria a
cada ms um novo casal que se torna produtivo depois de dois meses? Podemos visualizar
na tabela a seguir como a sequncia do problema em questo se forma.
Tabela 3.3.1 - O problema dos coelhos de Fibonacci
o o
N de Meses (n) Indicao da Reproduo dos Casais N de Casais (Fn )
1 C1 1
2 C1 1
C1
3 2
C2
C1 C2
4 3
C3
C1 C2 C3
5 5
C4 C5
C1 C2 C3 C4 C5
6 8
C6 C7 C8
Consideremos que os coelhos no morrem, tal problema d a origem mundialmente
famosa sequncia de Fibonacci , que indica a quantidade de casais existentes em cada ms:
(Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...). Ao longo dos sculos vericou-se que essa
sequncia possui propriedades belas e signicativas. ([3], p. 186) relata que a sequncia
se aplica tambm a questes de lotaxia e crescimento orgnico.
Observemos a sequncia (Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...). fcil ver que
a relao de recorrncia dada, partir do terceiro ms, pela soma do nmero de casais
dos dois meses anteriores. Ou seja, Fn+2 = Fn+1 + Fn , com F1 = F2 = 1.
Podemos denir a sequncia de Fibonacci por uma recorrncia linear homognea de
segunda ordem tal que: Fn+2 = Fn+1 + Fn , com F1 = F2 = 1. Vamos resolver a equao
de recorrncia a m de encontrar uma frmula fechada que possibilite determinar qualquer
termo da sequncia.
Soluo: A equao da recorrncia pode ser reescrita como Fn+2 Fn+1 Fn = 0, cuja
2
equao caracterstica x x 1 = 0, que por sua vez tem como razes:

1+ 5 1 5
= e = .
2 2
As solues de uma recorrncia com tal expresso so da forma:
!n !n
1+ 5 1 5
Fn = A +B .
2 2
Alm disso, a sequncia de Fibonacci tem F1 = F2 = 1 . E assim podemos montar o
sistema:
! !
1+ 5 1 5
A +B =1

2 2

!2 !2
1+ 5 1 5
A +B =1

2 2
1 1
Resolvendo o sistema chegamos s constantes A= e B = .
5 5
Portanto, a soluo da recorrncia dada por:
!n !n
1 1+ 5 1 1 5
Fn =
5 2 5 2
3
Esta frmula conhecida por frmula de Binet , que a descobriu em 1843.
Observemos que o resultado obtido uma soluo para um caso particular da recor-
rncia xn+2 = xn+1 + xn . Caso esse, que nessa seco chamamos de sequncia de Fibonacci.
Os nmeros de Fibonacci tem muitas propriedades que so temas de estudos desde a
Idade Mdia at os dias atuais. Nesta seco vamos analisar algumas dessas propriedades.
Proposio 3.4.1. A soma dos n primeiros nmeros de Fibonacci igual ao (n+2)-simo
nmero de Fibonacci menos uma unidade.
Prova: Vamos provar por induo em n o que queremos demonstrar:
n
X
Fi = Fn+2 1
i=1
Primeiro vejamos o caso base da induo. Para n=1 a propriedade verdadeira pois:
F1 = F3 1 = 2 1 = 1.
Supondo que a propriedade seja vlida at um certo n, vamos provar que verdadeira
para n + 1, ou seja, que P (n) implica P (n + 1), que provar o que queremos. Temos que:
F1 + F2 + F3 + ... + Fn = Fn+2 1.
Se somarmos Fn+1 aos dois lados da igualdade, obteremos:
F1 + F2 + F3 + ... + Fn + Fn+1 = Fn+2 + Fn+1 1.
Mas, pela prpria relao de recorrncia: Fn+2 +Fn+1 = Fn+3 . Assim, podemos vericar
que:
F1 + F2 + F3 + ... + Fn + Fn+1 = Fn+3 1.
Portanto, P (n) implica P (n + 1) e pelo Princpio da Induo Finita podemos armar
que verdadeira a proposio:
n
X
Fi = Fn+2 1
i=1

3 Jacques Philippe Marie Binet (1786-1856), matemtico francs que foi um dos precursores no estudo
dos fundamentos da teoria matricial.
A seguir apresentaremos uma proposio que generaliza esse resultado para toda sequn-
cia que tem como relao de recorrncia a equao xn+2 = xn+1 + xn .
Proposio 3.4.2. Seja (xn ) uma sequncia tal que xn+2 = xn+1 + xn , para todo n N.
A soma dos n primeiros termos de (xn ) igual ao (n+2)-simo termo menos o segundo
termo.
Prova: Vamos provar por induo em n o que queremos demonstrar:
n
X
xi = xn+2 x2
i=1
Vericando o caso base da induo, para n=1 a propriedade verdadeira pois:
x1 + x2 = x3 = x1 = x3 x2
Supondo que a propriedade seja vlida at um certo n, vamos provar que verdadeira
para n + 1, ou seja, que P (n) P (n + 1), que provar o que queremos. Temos que:
x1 + x2 + x3 + ... + xn = xn+2 x2 .
Se somarmos xn+1 aos dois lados da igualdade, obteremos:
x1 + x2 + x3 + ... + xn + xn+1 = xn+2 + xn+1 x2 .
Mas, pela prpria relao de recorrncia: xn+2 + xn+1 = xn+3 . Assim, podemos vericar
que:
x1 + x2 + x3 + ... + xn + xn+1 = xn+3 x2 .
Como P (n) P (n + 1) podemos armar que verdadeira a proposio:
n
X
xi = xn+2 x2
i=1

3.5 Os Nmeros de Lucas 51
3.5 Os Nmeros de Lucas

A equao de recorrncia xn+2 = xn+1 + xn representa uma classe de innitas sequn-
cias. Como pudemos ver na seco 1.2 uma sequncia car numericamente denida se
forem informados os primeiros termos, a partir dos quais a equao construir a recorrncia.
4
Ao matemtico francs, douard Lucas atribuda uma sequncia recursiva que aqui
denotaremos por (Ln ). Essa sequncia possui a mesma equao da sequncia de Fibonacci,
porm os termos iniciais so: L1 = 1 e L2 = 3. Tendo vivido sculos depois de Leonardo
Fibonacci, Lucas estudou as propriedades da famosa sequncia. Foi o prprio Lucas que
batizou a sequncia do problema dos coelhos com o nome do autor do Liber Abaci. Ele
passou a estudar o comportamento da recorrncia se ela comeasse com outros valores,
comprovando que de fato algumas das propriedades se mantm.
Seguindo a lei de recorrncia Ln+2 = Ln+1 + Ln e atribuindo os valores L1 = 1 e L2 = 3,

a sequncia de Lucas ca descrita numericamente da seguinte maneira:
(Ln ) = (1, 3, 4, 7, 11, 18, 29, 47, ...)
Uma vez que a equao de recorrncia igual de Fibonacci, podemos armar que a
soluo tambm ser da forma:
!n !n
1+ 5 1 5
Ln = A +B .
2 2
Alm disso, a sequncia de Lucas tem como valores iniciais os nmeros L1 = 1 e L2 = 3.

Logo, podemos montar o sistema:
! !
1+ 5 1 5
A +B =1

2 2

!2 !2
1+ 5 1 5
A +B =3

2 2
Resolvendo o sistema chegamos s constantes A=1 e B = 1.
Portanto, o termo geral da sequncia de Lucas dado por:
!n !n
1+ 5 1 5
Ln = +
2 2
4 Franois douard Anatole Lucas (1842-1891), matemtico francs.
Agora vamos observar se h alguma relao entre as duas sequncias:
(Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, ...) e (Ln ) = (1, 3, 4, 7, 11, 18, 29, 47, ...)
Analisando as duas recorrncias podemos notar um padro a partir do segundo nmero
de Lucas. Podemos ver que:
L2 = F1 + F3 , L3 = F2 + F4 , L4 = F3 + F5 , L5 = F4 + F6 , L6 = F5 + F7 , ...
A partir dessas observaes podemos formular a Proposio a seguir, a qual provaremos
com o Princpio da Induo.
Proposio 3.5.1. Os nmeros de Lucas e os nmeros de Fibonacci se relacionam sob a
frmula:
Ln = Fn1 + Fn+1 , n 2
Prova: Para o caso base da induo n=2 temos que a Proposio vlida. De fato:
L2 = F1 + F3 = 3 = 1 + 2.
Agora supomos que a proposio seja vlida at um certo n natural. Queremos mos-
trar que a validade de P (n) implica na validade de P (n + 1). Ou seja, que o fato de
Ln = Fn1 + Fn+1 ser vlido at um certo n implica em Ln+1 = Fn + Fn+2 .
Observemos que pela hiptese de induo e pelo fato de ser vlido at um natural n
temos:
Ln = Fn1 + Fn+1 (I)
Ln1 = Fn2 + Fn (II)
Somando as equaes (I) e (II), temos que:
Ln + Ln1 = Fn1 + Fn2 + Fn+1 + Fn
E pela lei de recorrncia das duas sequncias:
Ln+1 = Fn + Fn+2
Portanto, a proposio vlida para todo n natural.

Consideremos agora as solues que encontramos nesse captulo para as sequncias de
Fibonacci e de Lucas:
!n !n !n !n
1 1+ 5 1 1 5 1+ 5 1 5
Fn = e Ln = +
5 2 5 2 2 2

1+ 5 1 5
Fazendo: = e = podemos expressar essas frmulas do seguinte
2 2
modo:
1
Fn = (n n ) e Ln = n + n
5
Outra prova para a relao: Ln = Fn1 + Fn+1
Para prosseguirmos com a prova importante saber que:
2
1 + 5 2 (1 + 5) + 4 5 + 5
( + 1 ) = + = = = 5
2 1+ 5 2(1 + 5) 1+ 5
2
1 1 5 2 (1 5) + 4 5 5
( + ) = + = = = 5
2 1 5 2(1 5) 1 5
Procedendo a prova, a partir das seguintes igualdades, temos:
1 1
Fn1 + Fn+1 = (n1 n1 ) + (n+1 n+1 )
5 5
1
= [n ( + 1 ) n ( + 1 )]
5
1
= n 5 n ( 5)
5
1
= n 5 + n 5
5
= n + n
= Ln

Captulo
4
Um Pouco Alm das Progresses
Vimos no primeiro captulo a formao recursiva de dois dos exemplos mais comuns
nos livros didticos no Brasil. De fato, ao analisarmos trs dos principais autores, [7], [12]
e [19] vemos que eles, no captulo sobre sequncias, tratam quase que exclusivamente das
progresses aritmtica e geomtrica, ou, simplesmente, PA e PG. No decorrer desse captulo
vamos expandir um pouco os conceitos at agora vistos sobre a PA. As denies, teoremas
e demonstraes desta seco baseiam-se fortemente no terceiro captulo de [17]. Aps o
embasamento terico, apresentaremos alguns problemas comuns onde esses conceitos sero
utilizados.
4.1 Somas Polinomiais

Consideremos as somas da forma:
n
X
ik = 1k + 2k + 3k + ... + nk
i=1
De modo geral, consideremos a soma
n
X
P (i)
i=1
onde P (i) um polinmio em i.
Nessa seco vamos apresentar alguns resultados de somas de polinmios que sero
teis na resoluo de diversos problemas cujas solues sejam recursivas.

4.1 Somas Polinomiais 55
Exemplo 4.1.1. Seja a soma dos n primeiros quadrados inteiros positivos:
n
X
2 2 2 2
1 + 2 + 3 + ... + n = k2
k=1
Essa soma pode ser calculada do seguinte modo:
n
X n
X n
X n
X n
X
3 3 2
(k + 1) = k +3 k +3 k+ 1
k=1 k=1 k=1 k=1 k=1
n
X n
X
3
As somas (k +1) e k3 possuem vrios termos em comum e sobre as duas ltimas
k=1 k=1
sabemos o resultado:
n
X n
X
3 3 3 3 3
(k + 1) = 2 + 3 + 4 + ... + (n + 1) e k 3 = 13 + 23 + 33 + ... + n3
k=1 k=1
n n
X n(n + 1) X
k= e 1=n
k=1
2 k=1
Segue que:
n
3 3
X n(n + 1)
(n + 1) = 1 + 3 k2 + 3 +n
k=1
2
n
X
= 6 k 2 = 2(n + 1)3 3n(n + 1) 2n 2
k=1
n
X
= 6 k 2 = 2(n + 1)3 3n(n + 1) 2(n + 1)
k=1
n
X
= 6 k 2 = (n + 1)(2(n + 1)2 3n 2)
k=1
n
X n(n + 1)(2n + 1)
= k2 =
k=1
6
n(n + 1)(2n + 1)
Portanto, temos que 12 + 22 + 32 + ... + n2 = .
6
n(n + 1)(2n + 1) 2n3 + 3n2 + n
A soma 12 + 22 + 32 + ... + n2 dada por P (n) = =
6 6
corresponde a um polinmio de terceiro grau em n.
O prximo teorema generaliza essa ltima armao.

4.1 Somas Polinomiais 56
Teorema 4.1. n
X
m m m m
1 + 2 + 3 + ... + n = km
k=1
um polinmio de grau (m + 1) em n.
Prova: Provaremos por induo em m.

Para o caso base da induo m=1 a proposio vlida. De fato, como j mostramos
m(m + 1)
no primeiro captulo (Proposio 1.4.1.) a soma 1 + 2 + 3 + ... + m = para todo
2
m(m + 1)
m natural. E a expresso um polinmio de grau 2 em m.
2
Suponhamos agora que o termo geral da soma 1m +2m +3m +...+nm seja um polinmio
de grau (m + 1) em n, para todo m natural tal que m 1, 2, 3, ..., p. Queremos mostrar
n
X
que essa armao vlida para m = p + 1, ou seja, que k p+1 um polinmio de grau
k=1
(p + 2) em n.
Observemos que (k + 1)p+2 = k p+2 + (p + 2)k p+1 + Q(k), onde Q(k) um polinmio de
grau p em k. Segue que:
n
X n
X n
X
(k + 1)p+2 = k p+2 + (p + 2) k p+1 + F (n),
k=1 k=1 k=1
onde, pela hiptese de induo, F (n) um polinmio de grau (p + 1) em k. Simpli-
cando adequadamente a expresso eliminado os termos comuns das duas primeiras somas,
obtemos:
n
X
(n + 1)p+2 = 1 + (p + 2) k p+1 + F (n)
k=1
n
X (n + 1)p+2 1 F (n)
= k p+1 =
k=1
p+2
que um polinmio de grau (p + 2) em n.
Finalmente, como P (m) implica P (m + 1) podemos armar que a expresso geral da
soma 1m + 2m + 3m + ... + nm forma um polinmio de grau (m + 1) em n.

n
Corolrio 4.1.
X
Se F um polinmio de grau m, ento F (k) um polinmio de grau
k=1
(m + 1) em n.
4.2 Progresses Aritmticas de Ordem k 57
4.2 Progresses Aritmticas de Ordem k

Denio 4.2.1. O operador dito operador diferena denido por xn = xn+1 xn .
Segue da denio que uma sequncia (xn ) uma progresso geomtrica se, e somente
se, (xn ) = (xn+1 xn ) constante.
Denio 4.2.2. Uma progresso aritmtica dita de segunda ordem se as diferenas
xn = xn+1 xn formam uma progresso aritmtica de razo no-nula.
De modo geral, uma progresso aritmtica de ordem k (k 2) uma sequncia na qual
as diferenas entre cada termo e o anterior formam uma progresso aritmtica de ordem
(k 1).
Como exemplos podemos citar:
(a) A sequncia (xn ) = (1, 3, 6, 10, 15, 21, 28, ...) uma PA de segunda ordem pois as
diferenas xn+1 xn formam a PA (2, 3, 4, 5, 6, 7, ...).
(b) A sequncia (xn ) = (2, 3, 8, 20, 42, 77, 128, 198, ...) uma PA de terceira ordem,
j que as diferenas xn+1 xn formam a sequncia (yn ) = (1, 5, 12, 22, 35, 51, 70, ...) que
por sua vez uma PA de segunda ordem pois as diferenas yn+1 yn formam a PA
(4, 7, 10, 13, 16, 19, ...).
Um caso a ser observado: Seja a sequncia cujo termo de ordem n a soma Sn =

x1 + x2 + ... + xn dos n primeiros termos de uma progresso aritmtica de ordem k. A
sequncia (Sn ) uma PA de ordem k + 1, j que se aplicarmos o operador diferena,
teremos: Sn = Sn+1 Sn = xn+1 que dene, portanto uma PA de ordem k .
Teorema 4.2. Toda sequncia na qual o termo de ordem n um polinmio em n, de grau
k, uma progresso aritmtica de ordem k e, reciprocamente, se (xn ) uma progresso
aritmtica de ordem k, ento (xn ) um polinmio de grau k em n. Assim,
xn = a1 nk + a2 nk1 + ... + ak n + ak+1 (xn ) PA de ordem k.
Prova: Vamos proceder a prova por induo sobre k.
Para o caso base da induo, k = 1, vemos que:
xn = an + b (xn ) PA de primeira ordem.

4.2 Progresses Aritmticas de Ordem k 58
De fato, aplicando o operador diferena: xn = xn+1 xn = (a(n + 1) + b) (an + b)

obtemos a constante a 6= 0, que a razo da PA de primeira ordem. Por outro
a, com
lado, a PA de primeira ordem (xn ) tem como seu termo geral o polinmio x1 + (n 1) r
que um polinmio de grau 1 em n, quando a razo r no-nula.
Para k=2 temos que se xn = an2 + bn + c, com a 6= 0, ento:
xn = xn+1 xn = a(n + 1)2 + b(n + 1) + c (an2 + bn + c) = 2an + (a + b).
E, se xn um polinmio de primeiro grau em n ento, (xn ) uma PA de ordem k = 2.
Por outro lado, se (xn ) uma PA de segunda ordem ento, a sequncia yn = xn uma
PA de primeira ordem de razo no-nula, conforme a Denio 4.2.2. E pelo Corolrio 4.1.
Xn
a soma yi um polinmio de grau k = 2. Como yn = xn , temos:
i=1
y1 + y2 + ... + yn1 + yn = (x2 x1 ) + (x3 x2 ) + ... + (xn xn1 ) + (xn+1 xn ) = xn+1 x1
E portanto, se xn+1 x1 um polinmio de grau k=2 em n, ento xn tambm um
polinmio de grau k = 2 em n.
J demonstramos para o caso base k=1 e tambm para k = 2.
Suponhamos agora que a armao do teorema seja verdadeira para todo k natural tal
que k 1, 2, 3, ..., p. Queremos mostrar que o teorema verdadeiro para k = p + 1.
Se (xn ) uma progresso aritmtica de ordem p + 1, entoyn = xn = xn+1 xn

uma progresso aritmtica de ordem p e, pela hiptese de induo, yn um polinmio de
Xn
grau p em n. Ento, yk = xn+1 x1 um polinmio de grau p+1 em n, conforme o
k=1
Corolrio 4.1.
Por outro lado, se xn p + 1 em n, ento (xn ) um polinmio

um polinmio de grau
de grau p em n. Pela hiptese de induo, (xn ) uma progresso aritmtica de ordem
p, ou seja, (xn ) uma progresso aritmtica de ordem p + 1.
Exemplo 4.2.1. Encontrar a soluo da soma:
n
X
k(k 2)
k=1
4.3 O Problema dos Nmeros Poligonais 59
Soluo: Pelo Teorema 4.2. a sequncia denida por xn = n(n2) uma PA de ordem
2, j que o termo geral um polinmio de grau 2. Logo, a soma Sn de seus n primeiros
termos dene uma PA de ordem 3, conforme o Corolrio 4.1.
Portanto, aplicando a volta do Teorema 4.2, a expresso do termo geral de Sn dada

por um polinmio de grau 3, ou seja, Sn = an3 + bn2 + cn + d, com a 6= 0 e a, b, c, d sendo
constantes reais. Podemos, escrever o sistema de equaes:

a + b + c + d = 1

8a + 4b + 2c + d = 1

27a + 9b + 3c + d = 2

64a + 16b + 4c + d = 10
1 1 5
Resolvendo o sistema encontramos a= , b = , c = e d = 0. Substituindo as
3 2 6
constantes encontradas, temos:
1 1 5 2n3 3n2 5n n(n + 1)(2n 5)

Sn = n3 n2 n = =
3 2 6 6 6
Portanto,
n
X n(n + 1)(2n 5)
k(k 2) =
k=1
6
4.3 O Problema dos Nmeros Poligonais

Na Escola de Pitgoras, os pitagricos atribuam propriedades aos nmeros. Entre es-
sas haviam os nmeros gurados, que so exemplos de progresses aritmticas de vrias
ordens. Esses nmeros gurados podem ser representados por relaes de recorrncias.
Os nmeros poligonais so exemplos de nmeros gurados os quais correspondem
quantidade de pontos arranjados de modo a formar um polgono regular. A sequncia
obtida recursivamente iniciando-se de um nico ponto. O segundo termo da sequncia
obtido acrescentando-se (k 1) pontos de modo que os k pontos acumulados formem um
polgono regular de k vrtices e portanto, k lados. partir da, cada termo da sequncia
dado pela quantidade de pontos do polgono com k lados que sobreposto ao polgono
anterior onde dois de seus lados coincidem, e a cada lado possui um ponto a mais do que
o polgono anterior.
Cada sequncia denominada de acordo com o polgono da qual se origina. Por exem-
plo, se o polgono um tringulo, a sequncia dita nmeros triangulares; se o polgono
um quadrado, d-se origem aos nmeros quadrados, e assim sucessivamente.
As guras a seguir nos ajudam a visualizar como as sequncias dos nmeros poligonais
se formam.
Observando as guras e obedecendo as informaes da formao recursiva de cada
sequncia podemos descrever numericamente as primeiras recorrncias de nmeros poli-
gonais. Denotaremos nesse trabalho a sequncia dos triangulares por (Tn ), os quadrados
por (Qn ), os pentagonais por (Pn ), os hexagonais por (Hn ), os heptagonais por (Hpn ),
os octogonais por (On ), os eneagonais por (Nn ) e os decagonais por (Dn ). Descrevendo
numericamente as sequncias vemos que:
(Tn ) = (1, 3, 6, 10, 15, ...)

(Qn ) = (1, 4, 9, 16, 25, ...)
(Pn ) = (1, 5, 12, 22, 35, ...).
Podemos notar intuitivamente que essas sequncias so progresses aritmticas de se-
gunda ordem, j que as diferenas xn+1 xn formam progresses aritmticas de razo
no-nulas. possvel notar tambm que os padres de crescimento das sequncias podem
ser aferidos, pois temos as progresses formadas pelas diferenas:
Em (Tn ): (Tn ) = (2, 3, 4, 5, ...), cuja razo 1. Em (Qn ): (Qn ) = (3, 5, 7, 9, ...), cuja
razo 2. Em (Pn ): (Pn ) = (4, 7, 10, 13, ...), cuja razo 3.
Com base nessas observaes vamos fazer a seguir uma proposio, a qual demonstrare-
mos para que possamos estabelecer a soluo para um termo geral seja qual for o polgono
original da sequncia.
Proposio 4.3.1. k N, k 3, o nmero de vrtices do polgono que origina a

Seja
sequncia de nmeros poligonais. Se (xn ) a sequncia do nmero de pontos que formam
o polgono de k vrtices, ento (xn ) uma progresso aritmtica de segunda ordem.
Demonstrao:
Primeiramente observemos que para formarmos a gura seguinte em cada sequncia
temos que acrescentar (k 2) lados, haja visto que dois dos lados do polgono anterior
coincidem com dois dos lados da nova gura. Ao construirmos a n-sima gura estaremos
acrescentando (k 2) n pontos. Mas, necessrio subtrair desse nmero os vrtices dos
lados acrescentados, para que no se contem duas vezes. Devem ser subtrados (k 3)
vrtices.
Assim, o nmero de pontos acrescentados a uma gura para formar a prxima (k

2) n (k 3). Ento temos a equao de recorrncia:
xn = xn1 + (k 2) n (k 3)
Aplicando o operador diferena , temos que xn = xn xn1 = (k 2) n (k 3). E
como k um valor constante em cada sequncia, as diferenas entre os termos consecutivos
formam uma progresso aritmtica.
De posse desse resultado podemos escrever a soluo do termo geral de (xn ) para uma
sequncia de nmeros k-gonais, onde k o nmero de vrtices do polgono. Sabemos, do
teorema 4.1, que a expresso do termo geral de uma progresso aritmtica de segunda
ordem um polinmio de segundo grau. Assim, xn = An2 + Bn + C , onde A, B e C

4.4 Nmeros Piramidais 62
so constantes arbitrrias. Alm disso, temos que o primeiro termo de cada sequncia
1, o segundo termo k e o terceiro termo 3k 3. Podemos assim escrever o sistema de
equaes:

A+B+C =1

4A + 2B + C = k

9A + 3B + C = 3k 3

k2 4k
Resolvendo os sistema chegamos s constantes: A= , B = e C = 0. Por-
2 2
tanto, a expresso do termo geral dos nmeros k-gonais dada por:
k2 2 4k
xn = n + n
2 2
Agrupando os termos de forma conveniente podemos escrever:
n[(k 2)n (k 4)]

xn =
2
A Tabela 4.3.1 nos apresenta os termos iniciais das primeiras sequncias de nmeros
poligonais.
Tabela 4.3.1. Nmeros Poligonais
Termo Geral x1 x2 x3 x4 x5 x6 x7 x8 x9
n(n + 1)
Triangulares Tn = 1 3 6 10 15 21 28 36 45
2
Quadrados Qn = n2 1 4 9 16 25 36 49 64 81
n(3n 1)
Pentagonais Pn = 1 5 12 22 35 51 70 92 117
2
n(4n 2)
Hexagonais Hn = 1 6 15 28 45 66 91 120 153
2
n(5n 3)
Heptagonais Hpn = 1 7 18 34 55 81 112 148 189
2
n(6n 4)
Octogonais On = 1 8 21 40 65 96 133 176 225
2
n(7n 5)
Eneagonais Nn = 1 9 24 46 75 111 154 204 261
2
n(8n 6)
Decagonais Dn = 1 10 27 52 85 126 175 232 297
2
4.4 Nmeros Piramidais

Os nmeros piramidais so aqueles gurados em representao espacial. Podem ser
representados por esferas ou cubos sobrepostos de modo a formarem pirmides no espao,

formando camadas sucessivas, cuja quantidade em cada camada correspondem aos nme-
ros poligonais. Os arranjos obtidos pela sobreposio sero classicados de acordo com o
polgono que d origem sequncia piramidal. Desta forma, temos os nmeros piramidais
de base triangular, quadrada, pentagonal, hexagonal e assim sucessivamente.
Denio 4.4.1. Nmeros piramidais de base triangular, quadrada, pentagonal e assim
sucessivamente so nmeros obtidos pela soma dos n primeiros nmeros poligonais, res-
pectivamente triangulares, quadrados, pentagonais, e assim sucessivamente.
Tendo em vista tal denio consequente concluir que as sequncias dos nmeros
piramidais so progresses aritmticas de terceira ordem, uma vez que as diferenas entre
seus termos consecutivos formam sequncias de nmeros poligonais que, como vimos, so
progresses aritmticas de segunda ordem.
Sendo a sequncia dos nmeros piramidais uma progresso aritmtica de terceira ordem,
pelo teorema 4.1, a expresso do termo geral um polinmio do terceiro grau, ou seja, da
forma: xn = An3 + Bn2 + Cn + D, onde A, B, C e D so constantes reais e A 6= 0. Pela
soluo encontrada na ltima seco temos que os primeiros quatros nmeros poligonais
so 1, k , 3k 3 e 6k 8, onde k o nmero de vrtices e lados do polgono que d origem
sequncia. Do mesmo modo, as sequncias dos nmeros piramidais se desenvolvero de
acordo com o polgono da base com k lados. Segue da denio que os quatro primeiros
nmeros piramidais so 1, k + 1, 4k 2 e 10k 10. Com base nessas informaes podemos
escrever o seguinte sistema:

A+B+C +D =1

8A + 4B + 2C + D = k + 1

27A + 9B + 3C + D = 4k 2

64A + 16B + 4C + D = 10k 10
k2 1 5k
Resolvendo o sistema temos: A= , B = , C = e D = 0. Assim, a soluo
6 2 6
do termo geral dos nmeros piramidais dada por:

k2 1 5k
xn = n + n2 +
3
n
6 2 6
Ou ainda:
n
xn = [(k 2)n2 + 3n + 5 k]
6
A prxima tabela apresenta os termos iniciais das primeiras sequncias piramidais de
acordo com o polgono da base da pirmide.
Tabela 4.4.1 Nmeros Piramidais
Base Termo Geral x1 x2 x3 x4 x5 x6 x7 x8

n(n + 1)(n + 2)
Triangular xn = 1 4 10 20 35 56 84 120
6
n(n + 1)(2n + 1)
Quadrada xn = 1 5 14 30 55 91 140 204
6
n2 (n + 1)
Pentagonal xn = 1 6 18 40 75 126 196 288
2
n(n + 1)(4n 1)
Hexagonal xn = 1 7 22 50 95 161 252 372
6
n(n + 1)(5n 2)
Heptagonal xn = 1 8 26 60 115 196 308 456
6
n(n + 1)(6n 3)
Octogonal xn = 1 9 30 70 135 231 364 540
6
n(n + 1)(7n 4)
Eneagonal xn = 1 10 34 80 155 266 420 624
6
n(n + 1)(8n 5)
Decagonal xn = 1 11 38 90 175 301 476 708
6
Captulo
5
Aplicaes de Recorrncias no Ensino
Mdio
Neste captulo apresentaremos a experincia de um trabalho sobre as recorrncias com
alunos de uma escola pblica do Ensino Mdio no Distrito Federal. Abordaremos alguns
exerccios apresentados aos alunos e que exploram o conhecimento das recorrncias e o uso
das solues encontradas nos captulos anteriores. Entre os objetivos das atividades sub-
metidas aos alunos estavam a explorao do pensamento algbrico e a procura de padres
em sequncias dadas.
Alm dos exerccios e das solues propostas pelo autor, vamos expor relatos dos
alunos. Eles relataram suas percepes dos problemas, as diculdades encontradas, e em
alguns casos, solues alternativas para um mesmo problema. Quando trabalhamos o tema
das recorrncias com os alunos esperamos que pela observao dos problemas eles possam
enxergar uma forma recursiva, uma sequncia embutida, assim estimularem o desenvolvi-
mento do raciocnio e o exerccio da percepo matemtica.
5.1 Metodologia das Aplicaes em Sala de Aula

o
O trabalho foi realizado com alunos do 2 ano do Ensino Mdio da Educao Bsica de
uma escola pblica do Distrito Federal. O processo de aplicao do tema das sequncias
numricas em sala de aula ocorreu em trs turmas, que denominaremos A, B e C. Na turma
A havia 37 alunos, na turma B, 37 e na turma C, 35. No total, 109 alunos participaram
desse processo. Os participantes estavam na faixa etria dos 15 e 16 anos. Durante o
perodo de aplicao houve evaso escolar e ndice de faltas excessivas, acima de 50%, por
parte de 12 dos 109 alunos.

5.1 Metodologia das Aplicaes em Sala de Aula 66
O projeto em questo foi aplicado durante as aulas de um componente curricular deno-
minado Projeto Interdisciplinar, especco da grade acadmica da Secretaria de Educao
do Distrito Federal. Esse componente possibilita ao professor desempenhar trabalhos sobre
temas diversicados, tais como Redao, Filosoa, Cidadania e mltiplos temas transver-
sais. Quando cabe a um professor de Matemtica este componente, esse pode atuar com
temas matemticos para complementao e reviso de contedos.
Para desenvolver a aplicao do tema de sequncias numricas tivemos um encontro
semanal ao longo de quatro meses com cada uma das trs turmas participantes.
Alguns exemplos do escopo metodolgico da aplicao do contedo de sequncias num-
ricas foram as aulas expositivas e a realizao de debates em pequenos grupos e com toda a
turma, nas quais fomentamos discusses e a troca de ideias acerca do tema, principalmente
no que tocava a procura por padres e modelos recursivos. Durante as aulas expositivas,
alm das apresentaes discursivas, propusemos a realizao de vrias listas de exerccios,
expusemos imagens e guras que remetiam s recorrncias.
Abordamos basicamente trs linhas de pensamento e discusso, sendo a primeira voltada
anlise das recorrncias propriamente ditas, a segunda estava relacionada identicao
de padres de formao dessas sequncias e a terceira caracterizada pela descrio alg-
brica das sequncias analisadas.
Nos primeiros trs encontros em cada turma participante, apresentamos alguns exem-
plos de sequncias descritas numericamente com o intuito de que os alunos encontrassem o
padro de formao dessas sequncias. Como por exemplo, encontrar o padro de formao
das sequncias: (1, 2, 5, 14, 41, 122, 365, ...) e (1, 1, 2, 3, 5, 8, 13, 21, 34, ...). Esses exerccios
representaram o primeiro contato dos estudantes com a temtica de sequncias numricas,
visto que segundo o que responderam em questionrio, apenas dez dos alunos haviam estu-
dado sequncias numricas na escola. Exerccios aplicados com esse propsito constituem
um importante instrumento para o desenvolvimento do pensamento algbrico dos estudan-
tes, segundo as Orientaes Curriculares para o Ensino Mdio (2006), conforme o trecho a
seguir relatado:
[...] colocar os alunos em um processo de aprendizagem que va-

lorize o raciocnio matemtico nos aspectos de formular ques-
tes, perguntar-se sobre a existncia de soluo, estabelecer hi-
pteses e tirar concluses, apresentar exemplos e contraexem-
plos, generalizar situaes, abstrair regularidades, criar mode-
los, argumentar com fundamentao lgico-dedutiva. ([4], p.
70)
A grande maioria dos estudantes respondeu que nunca havia estudado esse contedo.
Apesar de os componentes curriculares de progresso aritmtica e geomtrica constiturem

o
parte do programa curricular do 1 ano do Ensino Mdio, segundo eles, o tema no ti-
nha sido apresentado no ano anterior. Nesses primeiros encontros apresentamos tambm a
notvel sequncia de Fibonacci, atravs da explanao de exemplos descritos e da apresen-
tao de imagens. A sequncia de Fibonacci, bem como os demais exemplos de sequncias
apresentados, estimulam o pensamento algbrico, conforme preconiza PORTANOVA et al.
(2005) quando relata o seguinte:
O pensamento algbrico desenvolvido a partir de estudos

bsicos empreendidos na rea da aritmtica, uma vez que o
aluno j perceba a existncia de diferentes conjuntos numricos
e das operaes possveis de se realizar entre os seus elementos.
([21], p. 24)
A partir da inicializao do estmulo do pensamento algbrico, nos trs encontros se-
guintes com as turmas participantes do projeto, comeamos a trabalhar sistematicamente
a escrita algbrica das sequncias. Introduzimos as noes de equaes de recorrncias li-
neares de primeira, segunda e terceira ordem, homogneas e no homogneas. Propusemos
aos alunos algumas listas de exerccios que objetivavam a descoberta da lei de recorrncia
e a descrio numrica das sequncias a partir de equaes de recorrncias.
Como exemplo de exerccios propostos, pedimos que:
a) Escrevessem os prximos trs termos da sequncia: (1, 2, 4, 7, 11, 16, ...).
b) Descrevessem numericamente os oito primeiros termos de sequncias dadas as equa-
es de recorrncia. Como por exemplo: xn+2 = 2xn+1 xn + 3, com x1 = 1 e x2 = 2 e

n
xn+1 = xn + 3 , com x1 = 1. Paralelamente, exercitamos com os alunos o processo inverso:
atravs da observao da sequncia a posterior deduo das equaes correspondentes.
Como por exemplo: Indicar uma equao de recorrncia da sequncia: (1, 2, 4, 7, 11, 16, ...).
Nessa etapa em particular, vericamos que, apesar de haver limitaes por boa parte
dos alunos, eles foram capazes de identicar e descobrir padres de formao das sequncias
numricas. Entre as limitaes podemos citar a falta, ou ainda, as falhas dos pr-requisitos
necessrios para a compreenso lgico-matemtica e at mesmo a falta de envolvimento,
empenho e habilidade em compreender de cada aluno particularmente. Nesse contexto,
apreendemos que a grande maioria dos estudantes apresentou muita diculdade em reali-
zar a descrio das equaes dadas as sequncias numricas.

Mesmo em vista das diculdades, prosseguimos com o trabalho objetivando sempre a
melhoria do pensamento algbrico. Sobre essa questo BECHER (2009) dene que:
[...] o pensamento algbrico consiste em um conjunto de habi-

lidades cognitivas que contemplam a representao, a resoluo
de problemas, as operaes e anlises matemticas de situaes
tendo as ideias e conceitos algbricos como seu referencial.
([2], p. 22)
A partir da identicao dos problemas, realizamos algumas intervenes individuali-
zadas e em pequenos grupos para esclarecer o passo a passo necessrio para que os alunos
conseguissem descrever algebricamente as sequncias. Para isso, utilizamos o modelo da
tutoria, onde alguns estudantes multiplicadores participavam como monitores de outros
alunos com maiores diculdades, na tentativa de atingirmos os objetivos das orientaes e
do esclarecimento acerca do tema e minimizarmos as dvidas. Apresentamos tambm, em
um notebook a formao de sequncias em planilhas eletrnicas, no Microsoft Excel 2010
do pacote Microsoft Oce. A apresentao era bem vista por parte dos alunos, porm a
ampliao da participao com computadores esbarrou na falta de laboratrio de inform-
tica funcionando. Ficamos, portanto, com a visualizao em um aparelho apenas, mas que
foi de grande valia para a experincia.
Ao longo do curso desse projeto, abrimos espao para a realizao de avaliaes, as
quais foram desenvolvidas atravs de trabalhos individuais e em grupos em sala de aula
e por meio de listas de exerccios a serem respondidas em momentos extra-classe, possi-
bilitando aos alunos pensarem com mais tempo e menos presso. A partir das avaliaes
realizadas, pudemos concluir que em duas das turmas participantes obtivemos um bom
retorno, conforme o esperado. Contudo, uma turma de alunos apresentou certa rejeio
em relao ao tema proposto, os estudantes dessa turma apresentaram maior resistncia
ao trabalho e recuaram diante das diculdades, ao contrrio das demais turmas que se
sentiram estimuladas pelo desao da novidade e pela diculdade do tema. Aferimos das
avaliaes o ndice de aprovao nas atividades propostas, onde espervamos uma mdia
mnima de 50%. A turma A apresentou um ndice de 83,8% de aprovao, na turma B
o ndice foi de 94,6% e na turma C, onde no houve grande envolvimento, o ndice de
aprovao foi de 48,5%.
Aps as primeiras avaliaes, estudamos nos encontros subsequentes sequncias como
a das somas dos primeiros n nmeros naturais, os nmeros triangulares e quadrados; a
sistematizao das progresses aritmticas e geomtricas (PA e PG).

Nos ltimos encontros debatemos sobre umas questes que foram respondidas acerca
da experincia com esse trabalho. Quando questionados quanto a capacidade de percepo
de padres numricos, perguntamos se era ruim ou pssima, regular, boa ou tima; os
resultados do questionrio: 3% ruim ou pssima percepo, 3% tima percepo, 37% boa
percepo e 57% percepo regular.
Fizemos outras indagaes a respeito do estudo, as quais os alunos responderam aberta
e discursivamente. Solicitamos tambm que no se identicassem na folha do questionrio.
Perguntados sobre as principais diculdades encontradas no estudo, os alunos relataram a
diculdade de interpretao, raciocnio e a falta de interesse. Mas as respostas mais recor-
rentes ao questionrio foram a respeito das frmulas e descrio algbrica, a qual um aluno
se referiu como: a mistura de letras com nmeros. Os que responderam foram unnimes
na opinio de que deveriam ser trabalhados mais exerccios sobre a procura de padres nas
aulas de Matemtica. Relataram tambm que atravs do estudo de sequncias melhoraram
o raciocnio lgico. Segundo eles, esse desenvolvimento possibilitou uma maior capacidade
na resoluo de problemas, inclusive de problemas que no esto diretamente relacionados
com as sequncias numricas.
No m do questionrio pedimos para que eles descrevessem sua experincia com o es-
tudo de recorrncias. 20% dos alunos deixaram em branco essa parte e no expuseram
sua experincia. Os que responderam, relataram que a experincia foi boa e produtiva.
Que tiveram diculdades no incio pelo desconhecimento do assunto, porm o mesmo foi
cando mais simples e interessante a medida que conheciam fatos novos e aprendiam com
os exerccios. Alguns descreveram que conseguiram entender melhor questes da OBMEP
(Olimpada Brasileira de Matemtica para Escolas Pblicas), prova que realizaram durante
o curso das aplicaes dessas atividades. Embora no fosse o principal objetivo, podemos
sugerir que esse estudo de recorrncias seja trabalhado com turmas da Educao Bsica
que estejam se preparando para Olimpadas.
Nos ltimos dias do processo de aplicao, tivemos encontros com um grupo de seis
alunos, que apresentaram melhores desempenhos nas atividades propostas. Fizemos expo-
sio de exerccios mais complexos como a deduo das frmulas da soma dos n primeiros
quadrados e n primeiros cubos naturais; e, propriedades da sequncia de Fibonacci. Infor-
mamos que esses temas, apesar de no serem muito explorados nas aulas de Matemtica,
esto presentes em questes de olimpadas nacionais e internacionais, assim como em pro-
vas de vestibulares para faculdades como o IME (Instituto Militar de Engenharia) e o ITA
(Instituto Tecnolgico de Aeronutica).

5.2 Problemas Propostos Envolvendo Recorrncias 70
Ressaltamos que a foram respeitadas as percepes particulares. Sobre esse leque de
possibilidades interpretativas, FIORENTINI (1993) comenta:
[...] no existe uma nica forma de se expressar o pensamento

algbrico. Ele pode expressar-se atravs da linguagem natural,
atravs da linguagem aritmtica, atravs da linguagem geom-
trica ou atravs da criao de uma linguagem especca para
esse m, isto , atravs de uma linguagem algbrica, de natu-
reza estritamente simblica. ([9], p. 88)
Nas seguintes subseces apresentaremos alguns dos exerccios propostos, os quais ex-
pusemos e resolvemos para estimular o desao da ampliao de ideias por parte dos alunos.
Estes zeram suas observaes que tambm destacaremos a seguir.
5.2 Problemas Propostos Envolvendo Recorrncias

Problema 5.1.1. Sequncias Recursivas
Exerccio 5.1.1. Encontrar a soluo da recorrncia: xn+2 = 2xn+1 xn + 3, onde
x1 = 1 e x2 = 2.
Soluo: xn+2 2xn+1 + xn = 3 e a soluo um

A equao pode ser reescrita como
2
certo xn = an + zn . A equao caracterstica x 2x + 1 = 0, cujas razes so iguais,
= = 1. Assim, a soluo da parte homognea da forma an = A + nB , com A e B

sendo constantes arbitrrias.
Precisamos determinar uma soluo particular znxn+2 2xn+1 + xn = 3.

da equao
Para que a equao se iguale a 3, tentemos o polinmio constante zn = C . Mas, subs-
tituindo na equao chegamos a uma igualdade impossvel: C 2C + C = 3. Aplica-
mos, ento o aumento do grau do polinmio fazendo zn = nC . Mais uma vez, subs-
tituindo a suposta soluo zn na equao, chegamos a mais uma igualdade impossvel:
(n + 2)C 2(n + 1)C + nC = 3. Precisamos, aumentar o grau do polinmio, ainda mais

2
uma vez, fazendo, portanto: zn = n C .
Finalmente, fazendo a substituio: (n + 2)2 C 2(n + 1)2 C + n2 C = 3, agrupando
adequadamente os termos, chegamos igualdade:

3
n2 C + 4nC + 4C 2n2 C 4nC 2C + n2 C = 3 = 2C = 3 = C = .
2
3
A soluo da recorrncia xn a soma an + zn . Portanto, xn = A + nB + n2 .
2
Se, x1 = 1 e x2 = 2, ento:

A+B+ 3 =1
2
A + 2B + 6 = 2
7
Segue do sistema que A=3 e B= . E, portanto, a soluo procurada :
2
7n 3n2 3n2 7n + 6
xn = 3 + , ou seja: xn = .
2 2 2
Descrevendo numericamente os primeiros termos dessa recorrncia, temos:
(xn ) = {1, 2, 6, 13, 23, 36, 52, 71, ...}.
Problema 5.1.2. Aplicao em Matemtica Financeira
O exerccio a seguir nos d uma outra aplicao do estudo das recorrncias a Mate-
mtica Financeira. Nesse trabalho no trataremos desse tema diretamente, mas podemos
vericar um simples caso que resolveremos com os conhecimentos obtidos no primeiro ca-
ptulo.
Exerccio 5.1.2. Uma aplicao nanceira rende juros de 1% ao ms, porm a cada
ms, a partir do segundo cobrada uma taxa administrativa no valor de R$ 10,00. Consi-
dere que um investidor aplicou R$ 5000,00 de 02 de janeiro de 2015 at 02 de janeiro de
2016 sem fazer movimentaes. Qual ser o saldo da aplicao ao nal desse prazo?
Soluo: O rendimento segue uma recorrncia linear de 1

a
ordem, pois o saldo de um
ms depende do saldo do ms anterior. Alm disso, a recorrncia no-homognea pois
existe um termo independente do saldo, que a taxa administrativa.
Os dados do exerccio nos fornece uma recorrncia de equao xn+1 = 1, 01 xn 10,

onde x1 = 5000 e xn indica o saldo da aplicao no ms n.
Como os coecientes da equao so constantes reais, podemos usar o resultado do
Teorema 1.2. para encontrar a soluo.
A soluo da forma xn = an1 + , com e constantes. Basta conhecer dois
termos da sequncia e resolver o sistema em e .

(
x1 = + = 5000
x2 = 1, 01 + = 5040
Fazendo x2 x1 , temos que 0, 01 = 40 = = 4000 e = 1000.
Assim, a soluo da recorrncia xn = 4000 (1, 01)n1 + 1000.
Seja janeiro/2015 o ms 1, fevereiro/2015 o ms 2, e assim sucessivamente at dezem-
bro/2015 o ms 12 e janeiro/2016 o ms 13 da aplicao.
Fazendo n = 13, usando a calculadora para calcular (1, 01)12 , o saldo em janeiro de
2016 ser de R$ 5507,30.
Observao: Essa aplicao ctcia s faria jus a obteno de algum lucro, um investi-
mento no valor acima de R$ 1000,00, devido cobrana da taxa.
Problema 5.1.3. Sobre os nmeros de Fibonacci
A seguir, teremos como exerccios propostos a demonstrao de algumas propriedades
dos nmeros de Fibonacci. Tratamos dessa sequncia no terceiro captulo, onde descreve-
mos sua equao de recorrncia: Fn+2 = Fn+1 + Fn , com F1 = F2 = 1.
Apresentamos uma soluo para o termo geral:
!n !n
1 1+ 5 1 1 5
Fn = .
5 2 5 2
Descrevendo numericamente seus primeiros termos, temos:
(Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, ...)
Exerccio 5.1.3. Seja a sequncia de Fibonacci (Fn ), como vimos no terceiro captulo,
tal que Fn+2 = Fn+1 +Fn , com F1 = F2 = 1. Vamos mostrar algumas de suas propriedades.
(a) A soma dos n primeiros quadrados dos nmeros de Fibonacci igual ao produto
entre o n-simo e o (n+1)-simo nmero de Fibonacci. Ou seja:
n
X
(Fk )2 = Fn Fn+1
k=1
Prova: Pela denio dos termos de Fibonacci temos que (F1 )2 = F1 F2 = 1 e que
para todo n 2, como Fn+1 = Fn + Fn1 :
(Fn )2 = Fn Fn = Fn (Fn+1 Fn1 ) = Fn Fn+1 Fn1 Fn

Por essa relao de recorrncia, podemos escrever as igualdades:
(F1 )2 = F1 F2
(F2 )2 = F2 F3 F1 F2
(F3 )2 = F3 F4 F2 F3
.
.
.
(Fn )2 = Fn Fn+1 Fn1 Fn
Somando-se os termos e efetuando-se as devidas operaes chegamos ao resultado:
n
X
(Fk )2 = Fn Fn+1
k=1
(b) A soma dos n primeiros termos com ndices mpares da sequncia de Fibonacci
igual ao 2n-simo nmero de Fibonacci. Ou seja:
n
X
F2k1 = F2n
k=1
Prova: Vamos provar pelo princpio de induo. Primeiramente, observemos que a
proposio verdadeira para o caso base da induo n = 1, pois temos F1 = F21 = F2 = 1.

Para n = 2, tambm vlida, uma vez que F1 + F3 = F4 = 3.
Agora, supomos que a proposio seja vlida para todo natural k {1, 2, 3, ..., n},
ento a prova estar completa se, a partir da hiptese de induo, vlida at um certo n,
a proposio for verdadeira tambm para (n + 1). Por hiptese, temos que a soma dos n
primeiros termos com ndice mpar :
F1 + F3 + F5 + ... + F2n1 = F2n
E se somarmos ambos os lados da igualdade o prximo termo dessa subsequncia,
obteremos:
F1 + F3 + F5 + ... + F2n1 + F2n+1 = F2n + F2n+1 = F2n+2 = F2(n+1)
A igualdade F2n +F2n+1 = F2n+2 provm da prpria relao de recorrncia de Fibonacci.

Visto que a validade de P (n) implica na validade de P (n + 1), podemos concluir a prova,
armando que a proposio verdadeira para todo n natural.

E se quisermos somar os n primeiros termos de Fibonacci com ndice par?
princpio, podemos observar que na soma F2 + F4 + F6 + ... + F2n o termo F2n igual
a soma F1 + F3 + F5 + ... + F2n1 , como provamos no item anterior. Ento, indutivo dizer
que:
F2 + F4 + F6 + ... + F2n2 + F2n = F1 + F2 + F3 + F4 + ... + F2n2 + F2n1
Vamos vericar esse fato no prximo item dessa lista.
(c) A soma dos n primeiros termos com ndices pares da sequncia de Fibonacci igual
a soma de todos os termos anteriores ao 2n-simo nmero de Fibonacci. Ou seja:
n
X 2n1
X
F2k = Fk
k=1 k=1
Prova: Vamos provar por induo em n. De fato, a proposio verdadeira para o

caso base da induo n = 1, pois temos F2 = F1 = 1. Para n = 2, tambm vlida, uma
vez que F2 + F4 = F1 + F2 + F3 = 4.
Supondo que a proposio seja vlida para todo natural k {1, 2, 3, ..., n}. Provaremos
que verdadeira para todo n natural se a validade de P (n) implicar na validade de P (n+1).
Partindo da hiptese de induo, a igualdade seguinte verdadeira at um certo n:
F2 + F4 + F6 + ... + F2n2 + F2n = F1 + F2 + F3 + F4 + ... + F2n2 + F2n1
Agora vamos somar ambos os lados da igualdade o prximo termo da subsequncia:
F2 + F4 + F6 + ... + F2n2 + F2n + F2n+2 = F1 + F2 + F3 + F4 + ... + F2n2 + F2n1 + F2n+2
Mas, pela relao de recorrncia de Fibonacci: F2n+2 = F2n+1 + F2n . Portanto, a
igualdade pode se reescrita:
F2 + F4 + F6 + ... + F2n + F2(n+1) = F1 + F2 + F3 + F4 + ... + F2n + F2(n+1)1
Como a igualdade verdadeira tambm para um k = n+1 temos que a proposio
verdadeira para todo n natural.

Problema 5.1.4. Sequncias dentro de outras sequncias
Exerccio 5.1.4. Encontrar uma soluo para a expresso do termo geral da sequncia
(xn ) = (1, 5, 15, 34, 65, 111, 175, ...) formada recursivamente conforme a ilustrao a seguir:
x1 =1
x2 =2+3
x3 =4+5+6
x4 = 7 + 8 + 9 + 10
x5 = 11 + 12 + 13 + 14 + 15
.
.
.
Soluo: Primeiramente devemos observar que o termo da n-sima linha a soma
de exatamente n nmeros naturais consecutivos, formando uma progresso aritmtica de
razo1. Como vimos na Proposio 1.4.2, a soma de n termos em PA dada pela frmula
(x1 + xn ) n
Sn = , onde x1 e xn so o primeiro e o ltimo termo, respectivamente.
2
O prximo passo da resoluo o destacamento de duas sequncias. A sequncia (yn )

dos primeiros termos de cada soma e a sequncia (zn ) dos ltimos termos de cada soma.
(xn ), onde cada termo possui na sua soma um nmero

Pela recursividade da recorrncia
natural a mais que na soma do termo anterior, podemos deduzir as sequncias (yn ) e (zn ).
Descrevendo os primeiros termos de cada uma delas, temos: (yn ) = (1, 2, 4, 7, 11, 16, ...) e
(zn ) = (1, 3, 6, 10, 15, 21, ...).
Precisamos encontrar as solues de (yn ) e (zn ). Vamos resolver cada recorrncia.
y1 = 1 z1 = 1
y2 = y1 + 1 z2 = z1 + 2
y3 = y2 + 2 z3 = z2 + 3
y4 = y3 + 3 z4 = z3 + 4
. .
. .
. .
yn = yn1 + (n 1) zn = zn1 + n
Fazemos a soma telescpica das equaes de cada recorrncia usando o resultado da
Proposio 1.4.1. para somar os nmeros naturais. Simplicamos adequadamente para
encontrar as solues:
n(n 1) n(n + 1)
yn = 1 + e zn =
2 2
Prosseguindo com a resoluo da recorrncia (xn ), temos que cada termo xn a soma
de n nmeros naturais consecutivos, onde o primeiro termo dessa soma yn e o ltimo zn .
(yn + zn ) n
Aplicando ento o resultado da Proposio 1.4.2. temos xn = .
2
Portanto a soluo xn dada por:

n(n 1) n(n + 1)
1+ + n
2 2 n (n2 + 1) n3 + n
xn = = xn = = xn =
2 2 2
Quando apresentamos esse exerccio aos alunos, solicitamos a princpio que eles encon-
trassem os termos x10 e x20 . Em seguida, para que fossem instigados a procurarem por
uma soluo mais prtica, pedimos que calculassem o valor de x100 . Depois que alguns
calcularam x10 e x20 do modo mais trabalhoso, desenvolvemos com eles a soluo desse
problema e reforamos a necessidade de sempre procurar uma soluo geral.
n3 + n
Aplicando a soluo que encontramos xn = , obtemos:
2
x10 = 505, x20 = 4010 e x100 = 500050.
Problema 5.1.5. Somas Polinomiais
Exerccio 5.1.5. Encontrar uma soluo para a expresso do termo geral da soma dos
n primeiros cubos de nmeros naturais:
13 + 23 + 33 + 43 + ... + n3
Soluo: Pelo Teorema 4.2 a expresso da soma dos n primeiros cubos naturais um
n. Ento, segundo o Teorema a soluo

polinmio do quarto grau em procurada da
4 3 2
forma: An + Bn + Cn + Dn + E , onde A, B, C, D e E so constantes reais arbitrrias
e A 6= 0.
Escrevendo o sistema de equaes para as primeiras cinco somas de cubos naturais,
temos:

A + B + C + D + E = 1

16A + 8B + 4C + 2D + E = 9
81A + 27B + 9C + 3D + E = 36

256A + 64B + 16C + 4D + E = 100

625A + 125B + 25C + 5D + E = 225
1 1 1
Resolvendo o sistema encontramos os valores: A= , B = , C = e D = E = 0.
4 2 4
Ento, a soma dos n primeiros cubos naturais dada por:

2
n4 n3 n2 n4 2n3 n2 n2 (n + 1)2

n(n + 1)
+ + = + + = =
4 2 4 4 4 4 4 2
Assim como procedemos no quarto captulo, quando usamos somatrios para encontrar
a frmula da soma nos n primeiros quadrados perfeitos, vamos descrever uma soluo al-
ternativa para o ltimo exerccio.
Outra soluo: Consideremos a igualdade dos somatrios:
n
X n
X n
X n
X n
X n
X
4 4 3 2
(k + 1) = k +4 k +6 k +4 k+ 1
k=1 k=1 k=1 k=1 k=1 k=1
n
X n
X
4
As somas (k + 1) e k4 possuem vrios termos em comum e as trs ltimas j
k=1 k=1
obtivemos o resultado durante o trabalho.
n
X n
X
4 4 4 4 4
(k + 1) = 2 + 3 + 4 + ... + (n + 1) e k 4 = 14 + 24 + 34 + ... + n4
k=1 k=1
n n n
X
2n(n + 1)(2n + 1) X n(n + 1) X
k = e k= e 1=n
k=1
6 k=1
2 k=1
Simplicando adequadamente, reescrevemos a igualdade:
n
4 4
X n(n + 1)(2n + 1) n(n + 1)
(n + 1) = 1 + 4 k3 + 6 +4 +n
k=1
6 2
n
X
= 4 k 3 = (n + 1)4 n(n + 1)(2n + 1) 2n(n + 1) (n + 1)
k=1
n
X
= 4 k 3 = (n + 1)4 (n + 1)[n(2n + 1) + 2n + 1]
k=1
n
X
= 4 k 3 = (n + 1)4 (n + 1)2 (2n + 1)
k=1
n
X
= 4 k 3 = (n + 1)2 [(n + 1)2 (2n + 1)]
k=1
n
X
= 4 k 3 = (n + 1)2 [n2 + 2n + 1 (2n + 1)]
k=1
n n n 2
n2 (n + 1)2

X
3 2 2
X
3
X
3 n(n + 1)
= 4 k = n (n + 1) = k = = k =
k=1 k=1
4 k=1
2
2
3 3 3 3 n(n + 1)
Portanto, temos que 1 + 2 + 3 + ... + n = . Esse um polinmio do
2
quarto grau em n.
Problema 5.1.6. Torre de Hani
Depois de apresentarmos aos alunos o exemplo da Torre de Hani, comentamos sobre
uma antiga lenda relatada por OLIVEIRA & FERNNDEZ (2012):
[...] Diz uma antiga lenda que na origem dos tempos, em um

templo de Hani, foram colocados 64 discos perfurados, de ouro
puro e de dimetros diferentes ao redor de trs hastes feitas de
diamantes. Muitos sacerdotes moviam os discos, respeitando as
seguintes regras: eles comeam empilhados em ordem crescente
de acordo com seu tamanho [...]. Os discos podem ser desloca-
dos de uma coluna para qualquer outra, sendo que nunca pode
ser colocado um disco maior em cima de um menor e a cada
segundo os sacerdotes movem um disco. Quando os sacerdotes
transportassem todos os discos de uma coluna para outra, o
mundo se acabaria. ([18], p. 223)
Diante da citao dessa lenda e da soluo encontrada de que para se mover n discos
n
no jogo so necessrios no mnimo 2 1 movimentos. Propomos ento, um problema que
pode ser comentado para se vericar o quo grande pode ser este nmero.
Suponhamos que a lenda fosse verdadeira e que os sacerdotes tivessem comeado o jogo
a dez mil anos, e ainda, que eles demorassem um segundo para fazer cada movimento,
quanto tempo ainda restaria ao planeta Terra?
Nessa situao hipottica sendo 64 discos a serem movimentados, obedecendo-se as
regras do jogo precisariam de no mnimo 264 1 movimentos para transportar toda a

64
pilha de discos. Sendo assim, demorariam 2 1 segundos, tempo este que equivale a
18.446.744.073.709.551.615 segundos, ou mais de 307 quatrilhes de minutos, ou mais de
5 quatrilhes de horas, ou ainda mais de 213,5 trilhes de dias, ou pouco mais de 584,5
bilhes de anos. Considerando que se passaram dez mil anos desde que comearam os
movimentos, ainda restaria a Terra cerca de 584.542.036.090 anos, 7 meses e 15 dias.

5.3 Anlise de Alunos Sobre Algumas Questes 79
5.3 Anlise de Alunos Sobre Algumas Questes

Propondo esses exerccios aos alunos podemos notar a percepo de vrias vises de
um mesmo problema. Essas observaes proporcionam ao aluno exercitar o pensamento
algbrico e as noes intuitivas que o ajudaro nas diversas reas do conhecimento, e con-
sequentemente, na melhor percepo do mundo que o cerca.
Relato sobre o Problema 5.1.1.
(xn ) = {1, 2, 6, 13, 23, 36, 52, 71, ...}, o aluno A apontou que
Observando a sequncia
x2 = x1 + 1, x3 = x2 + 4, x4 = x3 + 7, x5 = x4 + 10, x6 = x5 + 13, etc. Assim ele pde

identicar que a sequncia obtida pela equao do exerccio 4.1.1., apesar de ser uma re-
a a
corrncia de 2 ordem pode ser vista como uma de 1 ordem. Observemos que cada termo,
a partir do segundo, pode ser obtido somando-se o anterior a um elemento da progresso
aritmtica (an ) = (1, 4, 7, 10, 13, ...) cuja razo 3 e onde a1 = 1.
Aps apresentar sua observao foi proposto ao aluno: encontrar a equao da mesma
a
recorrncia, s que agora como uma de 1 ordem como observado; e em seguida que solu-
cionasse a equao encontrada, a m de comparar as solues. A seguir, reproduziremos
as respostas encontradas pelo aluno e discutidas com os demais em sala de aula.
Soluo do aluno: Vamos considerar a PA (1, 4, 7, 10, 13, ...), onde o termo geral dado
por: an = 1 + (n 1) 3, ou seja, an = 3n 2. A partir do segundo termo da recorrncia
xn , cada termo obtido pela soma do termo anterior com um elemento da referida PA, de
modo que: xn+1 = xn + an , a equao da recorrncia pode ser xn+1 = xn + 3n 2.
Resolvendo a equao, observando que os termos independentes, a partir do segundo
termo da recorrncia, formam uma PA de razo 3:
x1 = 1
x 2 = x1 + 1
x3 = x2 + 4
x4 = x3 + 7
.
.
.
xn = xn1 + 3(n 1) 2
Somando-se as equaes e simplicando adequadamente temos:
xn = 1 + (1 + 4 + 7 + + 3(n 1) 2).
(x1 + xn ) n
Somando os termos da PA usando o resultado Sn = , obtm-se:
2
(1 + 3(n 1) 2) (n 1) (3n 4) (n 1) 3n2 7n + 4
S= = S = = S =
2 2 2
Finalmente, substituindo o resultado da soma em xn chegamos soluo:
3n2 7n + 4 3n2 7n + 6
xn = 1 + = xn = .
2 2
Observemos que esta soluo a mesma encontrada no Exerccio 5.1.1.
Relato sobre o Problema 5.1.5.
Ao descrevermos juntamente com os alunos a sequncia das somas dos n primeiros cu-
bos naturais no Exerccio 5.1.4, alguns alunos puderam observar fatos relevantes. Tem
alguma coisa nessa sequncia. Os nmeros so quadrados perfeitos. observou o aluno
B. Ele se referia a (1, 9, 36, 100, 225, ...).
Ento ns comeamos a vericar quais quadrados, especicamente, l estavam pre-
sentes. Encontraram, portanto, os valores: 12 , 32 , 62 , 102 e 152 . Essa sequncia ns j
vimos em outras aulas! exclamou o aluno C. Depois de algumas observaes e tenta-
tivas de classicao, o aluno A lembrou: Esses so aqueles nmeros que vo formando
montinhos . Revisando as anotaes, os alunos vericaram que se tratava dos nmeros
triangulares.
Ento, sugerimos que formulassem uma expresso que caracterizasse a soma:
13 + 23 + 33 + 43 + ... + n3
E sob a orientao do professor descreveram que a soma dada pelo quadrado do
n-simo nmero triangular. Ou seja:
2
3 3 3 3 n(n + 1)
3
1 + 2 + 3 + 4 + ... + n =
2
Porm, os alunos foram indagados a respeito da validade desse resultado para todo
n natural, visto que s foram observados os cinco primeiros termos (1, 9, 36, 100, 225, ...).
Ento, foi-lhes apresentada a prova de tal armao pelo Princpio de Induo Finita. A
qual reproduziremos a seguir.

Prova por induo em n:

2
3 3 3 3 n(n + 1)
3
Seja a proposio P (n) : 1 + 2 + 3 + 4 + ... + n =
2
Para n= 1, casobase da induo, vericamos a validade j que o primeiro cubo natural
2
1(1 + 1)
1 e que = 1.
2
P (n) seja vlida para todo k = {1, 2, 3, 4, .., n}. Queremos

Suponhamos agora, que
mostrar que P (n) = P (n + 1). Ou seja, que usando a hiptese de induo mostremos que
a proposio verdadeira para um k = n + 1. De fato, partindo da hiptese e somando o
prximo cubo a ambos os lados da igualdade, obtemos:
2
3 3 3 3 3 n(n + 1)
3
1 + 2 + 3 + 4 + ... + n + (n + 1) = + (n + 1)3
2
Agrupando adequadamente os termos, chegamos sequncia lgica:
n2 (n + 1)2 + 4(n + 1)3 (n + 1)2 [n2 + 4(n + 1)] (n + 1)2 (n2 + 4n + 4)

= =
4 4 4
2
(n + 1)2 (n + 2)2

(n + 1)(n + 2)
= =
4 2
Portanto, como a validade de P (n) implica na validade de P (n + 1) temos que a pro-
posio verdadeira para todo n natural.
A observao de que a sequncia da soma dos cubos igual a dos quadrados dos nmeros
triangulares foi importante para que os alunos vissem a interligao entre recorrncias, que
a princpio so formadas partir de ideias diferentes.

Consideraes Finais
Esse trabalho teve como objetivo apresentar uma proposta de estudo das recorrncias.
Discorremos sobre vrios tipos de sequncias recursivas, exemplos clssicos e aplicaes
em diversas reas da Matemtica. Fomos alm da noo das progresses aritmticas e
geomtricas que, como vimos no corpo desse trabalho, na maioria dos livros didticos so
as nicas sequncias a serem exploradas sistematicamente. Apesar de no fazer parte dos
currculos na maioria das escolas de Ensino Mdio, o tema das recorrncias pode ser de
grande ajuda para se trabalhar o pensamento cognitivo dos alunos.
Exploramos as recorrncias lineares de primeira e segunda ordens. Apresentamos resul-
tados que nos deram suporte para resoluo de outros problemas relacionados a crescimento
recorrente. Tais resultados foram temas de aulas na aplicao externa do contedo desse
trabalho. Correlacionamos outras reas com as recorrncias, explorando problemas e casos
especcos, como as Combinaes. Essas relaes podem chamar a ateno dos alunos
quanto interligao de diversos ramos da Matemtica.
Mostramos tambm exemplos clssicos de recorrncias, como a famosa sequncia de Fi-
bonacci. Os estudantes mais interessados em Matemtica a conhecem por lerem sobre ela
em revistas [1], na Internet e em livros de curiosidades matemticas [22]. Nesse trabalho,
discorremos sobre propriedades desta sequncia e zemos um breve comentrio sobre os
nmeros de Lucas, estabelecendo inclusive, a relao entre as duas sequncias.
Atravs da experincia relatada no ltimo captulo, pudemos entender que o trabalho
com recorrncias em escolas pblicas tem o potencial de tornar-se til sob vrios aspectos.
Principalmente, no que tange ao exerccio da busca por modelos matemticos e a percep-
o algbrica para sistematizao dos modelos encontrados. Reforamos ao leitor desse
trabalho o avano obtido por muitos alunos que puderam ter acesso a um tema s vezes
reservado apenas a polos de treinamentos. Foi graticante a simples associao do tema
estudado durante alguns meses, e em um nico encontro semanal, com outros exerccios
Consideraes Finais 83
das aulas tradicionais de Matemtica, questes de Olimpada e revises para vestibulares.
Referenciamos com vrias citaes bibliogrcas a importncia de se dedicar tempo
observao, procura de padres, discusso acerca de resultados encontrados, intuio
e deduo de modelos matemticos. Sugerimos que a experincia seja repetida sempre
que for possvel, e que os professores de Matemtica estimulem seus alunos quanto a essas
atividades. Que os mesmos utilizem, como apresentamos nesse trabalho, as sequncias
numricas. Sugerimos ainda que o tema seja explorado sob a luz dos recursos computacio-
nais. Acreditamos que ser de grande proveito as ideias disponibilizadas nesse trabalho de
pesquisa.
Finalizamos ressaltando que esse trabalho sobre as recorrncias e suas aplicaes pode
ser uma excelente alternativa de estudo para professores da Educao Bsica, para temas
de cursos de formao docente, para alunos de graduao e ps-graduao, que desejem
expandir seu conhecimento. E, por conseguinte, melhorarmos os rumos da educao ma-
temtica no Brasil.
Referncias Bibliogrcas
[1] VILA, Geraldo. Retngulo ureo, Divises ureas e Sequencia de Fibonacci, Revista
o
do Professor de Matemtica, n 06. Rio de Janeiro: SBM, 2002.
[2] BECHER, E. L. Caractersticas do Pensamento Algbrico de Estudantes do 1

o ano do
Ensino Mdio. Dissertao (Mestrado em Educao Matemtica). Canoas, Universi-
dade Luterana do Brasil, 2009.
a
[3] BOYER, Carl B. Histria da Matemtica. Traduo: Elza F. Gomide. 2 ed. So
Paulo: Edgard Blcher, 1996.
[4] BRASIL. Orientaes Curriculares para o Ensino Mdio : Cincias da Natureza, Ma-
temtica e suas Tecnologias. Braslia: Ministrio da Educao, Secretaria de Educao
Bsica, 2006.
[5] BRASIL, Secretaria de Educao Fundamental. Parmetros Curriculares Nacionais :
Matemtica. Braslia: Ministrio da Educao/Secretaria de Educao Fundamental,
1998.
[6] BRASIL, Secretaria de Educao Mdia e Tecnolgica. PCN+ Ensino Mdio - Ori-
entaes Educacionais complementares aos Parmetros Curriculares Nacionais : Lin-
guagens, cdigos e suas tecnologias. Braslia: Ministrio da Educao/Secretaria de
Educao Mdia e Tecnolgica, 2002.
[7] DANTE, Luiz R. Matemtica: Contexto e Aplicaes : Volume 1. So Paulo: tica,
2011.
[8] DANTE, Luiz R. Matemtica: Contexto e Aplicaes : Volume 3. So Paulo: tica,
2011.
[9] FIORENTINI, D.; MIORIM, M. A.; MIGUEL, A. Contribuies para um repensar: a

o
educao algbrica elementar. Pro-Posies, Vol. 4, n 1, p.78-90, mar.1993. Campinas,
1993.
Referncias 85
[10] GARBI, Gilberto, Uma pequena prola de Euler, Revista do Professor de Matemtica,
o
n 50. Rio de Janeiro: SBM, 2002.
[11] GOMES, Olimpio R.; SILVA, Jhone C. Estruturas Algbricas para Licenciatura : In-
troduo Teoria dos Nmeros. Braslia: Edio do Autor, 2008.
a
[12] IEZZI, Gelson; et al. Matemtica: Cincia e Aplicaes : Volume 1. 4 ed. So Paulo:
Atual, 2006.
a
[13] LIMA, Elon L.; et al. A Matemtica do Ensino Mdio : Volume 1. 6 ed. Rio de Janeiro:
SBM, 2006.
a
[14] LIMA, Elon L.; et al. A Matemtica do Ensino Mdio : Volume 2. 6 ed. Rio de Janeiro:
SBM, 2006.
[15] MOREIRA, Carlos G.. Sequncias Recorrentes. Disponvel em:
http://www.bienasbm.ufba.br/M55.pdf . Acesso em 14/02/2014.
[16] MORGADO, Augusto C.; CARVALHO, Paulo C. P. Matemtica Discreta : Coleo
PROFMAT. Rio de Janeiro: SBM, 2014.
[17] MORGADO, Augusto C.; et al. Anlise Combinatria e Probabilidade, Coleo do
Professor de Matemtica. Rio de Janeiro, SBM, 1991.
[18] OLIVEIRA, Krerley I. M.; FERNNDEZ, Adn J. C. Iniciao Matemtica: um

a
curso com problemas e solues. 2 ed. Rio de Janeiro: SBM, 2012.
[19] PAIVA, Manoel. Matemtica Paiva : Volume 1. So Paulo: Moderna, 2009.
[20] POOLE, David. lgebra Linear. Traduo: Martha Salerno Monteiro et. al. So Paulo:
Thomson, 2006.
[21] PORTANOVA, Ruth. Um currculo de matemtica em movimento. Porto Alegre: EDI-
PUCRS, 2005.
[22] STEWART, Iam. Almanaque das Curiosidades Matemticas. Traduo: Diego Alfaro.
Rio de Janeiro: Zahar, 2008.

2015 IsraelCarleyDaSilva

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2015 IsraelCarleyDaSilva

Uploaded by

Copyright:

Available Formats

Universidade de Braslia

Instituto de Cincias Exatas

Recorrncias: uma abordagem sobre sequncias

recursivas para aplicaes no Ensino Mdio

Israel Carley da Silva

Recorrncias: uma abordagem sobre sequncias

recursivas para aplicaes no Ensino Mdio

Dissertao apresentada ao Departamento de

Orientador: Prof. Dr. Helder de Carvalho Matos

a autorizao da Universidade, do autor e do orientador.

Israel Carley da Silva graduou-se em Matemtica pela Universidade de Pernambuco,

como professor na Secretaria de Educao do Distrito Federal.

Agradeo primeiramente ao Eterno, o Grande Esprito manifestado em todas as coisas

Agradeo a minha me Marli pelo apoio incondicional em todos os momentos. A

prestado e palavras de incentivo.

trabalho. Aos professores do Departamento de Matemtica da Universidade de Braslia que

passamos estudando, independentemente de dia, hora ou lugar.

Agradeo CAPES pelo apoio nanceiro durante a elaborao desse trabalho.

na proposta e desenvolvendo parte essencial da pesquisa. Aos colegas professores com os

auxiliando nos trabalhos relacionados ao curso.

Dedico esse trabalho a minha me Marli e

Neste trabalho apresentamos uma abordagem sobre sequncias recursivas, ou simples-

mente recorrncias. Discorremos sobre recorrncias lineares, principalmente as de primeira

e segunda ordem, estudando solues e apresentando propriedades e fazendo paralelos com

algumas sequncias comuns ao cotidiano do estudante de Matemtica. Apresentamos tam-

os nmeros gurados: poligonais e piramidais; e ainda, aplicaes em reas como a Com-

binatria e Matemtica Financeira.

No trabalho ainda abordamos uma proposta de exerccios a alunos do Ensino Mdio.

Relatamos a experincia de atividades em sala de aula, as diculdades encontradas, resul-

Palavras-Chaves: Recorrncias; sequncias numricas; nmeros de Fibonacci; nmeros

We present in this paper an approach to recursive sequences, or simply recurrences. We

in areas as Combinatory and Mathematical Finance.

Keywords: Recurrences; numerical sequences; Fibonacci numbers; gurate numbers.

1 Fundamentao Terica sobre Recorrncias 4

1.5 Transformao da recorrncia xn+1 = g(n)xn + h(n) em yn+1 = yn + f (n) . 13

2 Recorrncias Lineares de 2a Ordem 17

2.2 Recorrncias da Forma: xn+2 + pxn+1 + qxn = f (n) . . . . . . . . . . . . . 26

2.3 Recorrncias Lineares de Ordem k . . . . . . . . . . . . . . . . . . . . . . . 30

3 Exemplos Clssicos de Recorrncias 35

3.1 A Torre de Hani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

3.2 Combinaes de Elementos Geomtricos . . . . . . . . . . . . . . . . . . . 39

3.3.1 Permutaes Simples . . . . . . . . . . . . . . . . . . . . . . . . . . 42

3.3.2 Permutaes Caticas . . . . . . . . . . . . . . . . . . . . . . . . . 43

3.4 A Sequncia de Fibonacci . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

3.5 Os Nmeros de Lucas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

4.2 Progresses Aritmticas de Ordem k . . . . . . . . . . . . . . . . . . . . . 57

4.3 O Problema dos Nmeros Poligonais . . . . . . . . . . . . . . . . . . . . . 59

4.4 Nmeros Piramidais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

5 Aplicaes de Recorrncias no Ensino Mdio 65

5.2 Problemas Propostos Envolvendo Recorrncias . . . . . . . . . . . . . . . . 70

5.3 Anlise de Alunos Sobre Algumas Questes . . . . . . . . . . . . . . . . . 79

anteriores. Essas sequncias sero denidas como recorrncias.

observamos que os autores tratam rapidamente de sequncias numricas em geral. O

geomtricas, comumente chamadas de PA e PG, respectivamente. Esses so os exemplos

podem ser explorados em sala de aula.

propostas de exerccios para serem trabalhados com os alunos. Apresentaremos um pouco

uma escola pblica do Distrito Federal.

No primeiro captulo faremos as primeiras denies. Discorreremos sobre detalhes de

recorrncias lineares de primeira ordem, dentre as quais estaro as conhecidas PA e PG.

No captulo seguinte, apresentaremos uma abordagem sobre recorrncias lineares de

fazem um paralelo com equaes polinomiais. E as solues que encontraremos podem

estimular o interesse tambm pelo estudo das razes de equaes polinomiais.

O terceiro captulo trar exemplos clssicos de aplicaes das recorrncias, como a

Agradeo CAPES pelo apoio nanceiro durante a elaborao desse trabalho.

os nmeros gurados: poligonais e piramidais; e ainda, aplicaes em reas como a Com-

Relatamos a experincia de atividades em sala de aula, as diculdades encontradas, resul-

Keywords: Recurrences; numerical sequences; Fibonacci numbers; gurate numbers.

anteriores. Essas sequncias sero denidas como recorrncias.

No primeiro captulo faremos as primeiras denies. Discorreremos sobre detalhes de

discente e as principais diculdades que eles apresentam ao estudar recorrncias.

Justicamos a escolha desse tema mediante a grande necessidade de se explorar reas

O ensino de Matemtica deve garantir o desenvolvimento de

e mais especicamente no Ensino Mdio, o interesse e o amadurecimento da resoluo de

A resoluo de problemas pea central para o ensino de ma-

Primeiramente faz-se necessrio denir algumas expresses que aparecero no decorrer

Denio 1.1.1. Seja x : N R uma funo, onde cada nN associa-se a um nmero

Atravs de uma expresso, ou frmula fechada, que associa o termo xn a cada

clusivamente dos anteriores. Em contrapartida, uma recorrncia dita no-homognea

Observemos, a partir da denio 1.2.4., que as equaes xn+3 = nxn+2 + 2xn e

Se h(n) = 0 temos uma recorrncia linear homognea de 1a ordem e, no caso contrrio,

se h(n) 6= 0 temos uma recorrncia linear no-homognea de 1a ordem.

Esta recorrncia caracteriza a famosa progresso geomtrica. Cada sequncia assim

Usaremos a abreviao PG para simplicar a expresso progresso geomtrica.

Subtraindo os n termos dos dois parnteses, chegamos ao resultado simplicado: