Professional Documents
Culture Documents
Braslia
2015
Israel Carley da Silva
Braslia
2015
Todos os direitos reservados. Proibido a reproduo total ou parcial desse trabalho sem
como inteligncia innita do Universo por nos presentear com essa linguagem to bela: a
Matemtica.
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
Ao Dr. Helder, meu orientador, pelas dicas importantes para o desenvolvimento desse
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
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
quais trabalho. Agradeo a todos os entes que direta ou indiretamente nos ajudaram,
iii
Dedicatria
iv
Resumo
bm, casos clssicos desse tipo de sequncias como os nmeros de Fibonacci e de Lucas;
tados apresentados, bem como os relatos das impresses que os alunos tiveram ao estudar
esse tema.
gurados.
v
Abstract
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
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.
vi
Sumrio
Introduo 1
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
2.1.1 Caso 6= . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.2 Caso = . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3 Combinatria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
vii
4 Um Pouco Alm das Progresses 54
4.1 Somas Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
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
Analisando alguns livros didticos, [7], [12], [19], utilizados no Ensino Mdio no Brasil,
assunto apresentado para dar base ao estudo das progresses aritmticas e progresses
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
Esse trabalho uma alternativa expanso do estudo desse tema, no qual faremos
da experincia obtida com o tema em trs turmas do segundo ano do Ensino Mdio em
segunda ordem. Pouco exploradas nos livros didticos, essas recorrncias, como veremos,
o estudo de sequncias, haja visto suas muitas propriedades matemticas. Alm disso, essa
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
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
diversas habilidades, como est previsto nos Parmetros Curriculares Nacionais (1998):
A partir dessa reexo, percebemos que o estudo das recorrncias pode ser voltado para
Com este trabalho e as reexes dos exemplos propostos temos o objetivo de instruir
para as aulas nas quais se possa trabalhar temas diversicados, ou ainda, para treinamento
1
Fundamentao Terica sobre
Recorrncias
do trabalho.
1.1 Sequncias
Sejam R o conjunto dos nmeros reais e N = {1, 2, 3, 4, ...} o conjunto dos nmeros
naturais.
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
sequncia. Portanto:
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).
cada termo posterior em funo dos anteriores. Por exemplo: Uma sequncia cujo primeiro
Primeiramente, devemos observar que uma mesma relao de recorrncia pode gerar
innitas sequncias distintas. Logo, para que uma sequncia seja descrita numericamente,
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
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-
quando alm de depender dos termos anteriores, cada elemento da sequncia tambm est
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.
Denio 1.2.4. Uma sequncia (xn ) possui equao de recorrncia linear de ordem k se
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.
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
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
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
g(n) = q, n N.
Variando os valores de n, temos:
x2 = qx1
x3 = qx2
x4 = qx3
.
.
.
xn = qxn1
o o
Multiplicando os termos dos 1 e 2 membros das equaes, e efetuando as devidas
simplicaes, temos:
n1
Y
xn = x1 q ou simplesmente: xn = x1 q n1
i=1
a
1.3 Recorrncias lineares homogneas de 1 ordem 8
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.
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
qn 1
Agora, queremos provar que se q 6= 1, ento, Sn = x1 .
q1
Sn q = x1 q + x1 q 2 + x1 q 3 + ... + x1 q n .
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:
Logo,
1 qn
10 x1
lim Sn = lim x1 = x1 =
n n 1q 1q 1q
x2 = 1 x1
x3 = 2 x2
x4 = 3 x3
.
.
.
xn = (n 1) xn1
o o
Multiplicando os termos dos 1 e 2 membros das equaes, e efetuando as devidas
simplicaes, temos:
n1
Y
xn = x1 i ou apenas: xn = x1 (n 1)!
i=1
xn = (n 1)!.
a
1.4 Recorrncias lineares no-homogneas de 1 ordem 10
Os casos de mais simples resoluo so aqueles onde g(n) = 1. Vejamos alguns exemplos:
x2 = x1 + h(1)
x3 = x2 + h(2)
x4 = x3 + h(3)
.
.
.
xn = xn1 + h(n 1)
n1
X
xn = x1 + h(i)
i=1
x2 = x1 + 2 1
x3 = x2 + 2 2
x4 = x3 + 2 3
.
.
.
xn = xn1 + 2n1
x1 = 1, obtemos:
xn = 1 + 21 + 22 + 23 + ... + 2n1
2n 1
xn = 1 = xn = 2n 1
21
a
1.4 Recorrncias lineares no-homogneas de 1 ordem 11
x2 = x1 + r
x3 = x2 + r
x4 = x3 + r
.
.
.
xn = xn1 + r
xn = x1 + (n 1) r
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
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
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
1.4 Recorrncias lineares no-homogneas de 1 ordem 12
2 Sn = (1 + n) + (1 + n) + ... + (1 + n) + (1 + n)
2 Sn = (1 + n) + (1 + n) + ... + (1 + n) + (1 + n) = 2 Sn = n (n + 1) =
n (n + 1)
Sn =
2
razo. Ento:
(x1 + xn ) n
Sn =
2
Prova: Os n primeiros termos de uma PA (xn ) so:
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
xn+1 = xn + f (n).
h(n)
yn+1 = yn + .
g(n) an
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
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)
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
yn = y1 + 1 21n = yn = 3 21n .
3n yn+1 = 3n yn + 3n = yn+1 = yn + 1
Segue que:
y2 = y1 + 1
y3 = y2 + 1
y4 = y3 + 1
.
.
.
yn = yn1 + 1
yn = y1 + (n 1) = yn = n + 1.
Nessa subseco, o caso que mais nos interessa caracterizar em termos de a e b quando
a 6= 1 e b 6= 0.
yn+1 + k = 2 yn + 2k + 3 = yn+1 = 2 yn + k + 3
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.
b b
k+ = 0 = k =
a1 1a
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.
dois termos da sequncia e substituir seus valores na expresso geral da soluo. Com isso,
1.5.3.
( (
A 211 + B = x1 A+B =2
=
A 221 + B = x2 2A + B = 7
2
Recorrncias Lineares de 2a Ordem
a
Apresentaremos neste captulo as caracterizaes de recorrncias lineares de 2 ordem.
tipo de sequncia. No nal do captulo, usaremos alguns dos resultados obtidos para
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:
b = .
Veremos a seguir, como encontrar a soluo de uma recorrncia cujos valores iniciais
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
yn = 4yn1 = yn = y1 4n1 .
Portanto:
zn = 2zn1 = zn = z1 2n1 .
Ento:
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.
dessa forma.
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:
(x1 x0 )n (x0 x1 ) n
( )xn = (x1 x0 )n (x1 x0 ) n = xn = +
( ) ( )
a
2.1 Recorrncias Lineares de 2 Ordem Homogneas de Coecientes Constantes 20
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.
sejam as constantes A e B .
An (2 + p + q) + B n ( 2 + p + q) = 0.
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
(
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
(
A + B = x1
A2 + B 2 = x2
2 x1 x2 x2 2 x1
Ou seja, A= e B= .
( ) ( )
temos que z1 = z2 = 0.
escritas de maneira que se possa evitar clculos com nmeros complexos. Veremos a seguir
conjugado, a saber: z2 = a bi. De acordo com ([8], p. 154), escrevendo essas razes na
= (cos + isen) e = (cos isen), onde = a2 + b 2
h n n i
xn = 2n Acos + Bsen
4 4
x = 2 Acos + Bsen = 2
h i
2
2 2
1 Abraham De Moivre (1667-1754), matemtico francs ([3], p. 312).
a
2.1 Recorrncias Lineares de 2 Ordem Homogneas de Coecientes Constantes 23
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
O exemplo a seguir apresenta um caso de razes iguais. Logo aps a resoluo, vamos
Denindo xn = 3n zn temos:
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)
dada por
xn = 3n1 (3 n).
a
2.1 Recorrncias Lineares de 2 Ordem Homogneas de Coecientes Constantes 24
Vamos generalizar essa resoluo para todas as recorrncias lineares de segunda ordem,
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 .
a
2.1 Recorrncias Lineares de 2 Ordem Homogneas de Coecientes Constantes 25
(
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
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
n 4n
n 2n
xn = 4 = xn = 4n
2 2
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.
Teorema 2.5. Se an uma soluo da recorrncia xn+2 + pxn+1 + qxn = f (n), ento a
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.
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.
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
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
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
5 178 n n 3 3n
xn = (1)n + 6 + .
7 525 10 100 12
2.2 Recorrncias da Forma: xn+2 + pxn+1 + qxn = f (n) 28
Soluo: xn = an + zn .
A soluo da recorrncia da forma
2
A equao caracterstica da recorrncia homognea x 5x + 6 = 0 cujas razes so
denir que tipo de funo zn . Vamos supor, assim como no exemplo anterior, que zn
= 2Cn 3C + 2D = n + 3n
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 .
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
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
valor de x20 .
xn = A 2n + B (1)n 2n 5.
x0 = A + B 5 = 3 = A + B = 8
x1 = A 2 B 2 5 = 7 = A B = 6 2.
(
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
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
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
Como j vimos, se f (n) = 0 a recorrncia dita homognea, caso contrrio ser no-
homognea.
Fazendo as mudanas adequadas de seus coecientes, essa equao pode-se ser reescrita
Neste captulo vimos que a soluo de uma recorrncia linear homognea de segunda
de qualquer ordem.
xn = C1 1n + C2 2n + C3 3n + + Ck kn , com Ci constantes, iN e 1 i k.
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
1 2 3 k
2
1
22 32 k2
Y
V = 13 23 33 k3 = (j i )
. . . .. .
.. .
.
.
. . .
.
1i<jk
k
2k 3k kk
1
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,
2 Em homenagem a Alexandre-Thephile Vandermonde (1735-1796), matemtico francs.
2.3 Recorrncias Lineares de Ordem k 33
xk + q1 xk1 + + qk1 x + qk = 0.
que x0 = 0, x1 = 1 e x2 = 2.
chegamos s razes 1 = 3, 2 = 1 e 3 = 1.
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, . . .).
o 2.1.2 e aplicamos o que [14] nos sugere: multiplicar um dos termos com razes mltiplas
e 3 = 2.
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 .
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
3
Exemplos Clssicos de Recorrncias
Neste captulo veremos alguns dos exemplos de recorrncias mais comuns. Analisaremos
esses exemplos, usando os conceitos sobre recorrncia que foram apresentados nos primeiros
([13], p. 37) arma que ela base de um eciente mtodo de demonstrao de proposies
vemos o comentrio de que a ideia anloga ao que conhecemos por efeito domin . Essa
Sobre o Princpio da Induo Finita, ([13], p. 37) o descreve como o axioma da indu-
([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;
O cenrio do jogo consiste em trs eixos verticais como ilustrado na Figura 1; e discos de
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
especco, para transportarmos uma pilha de trs discos para outro eixo so necessrios,
O jogo A Torre de Hani pode ser usado por professores que desejam melhorar e
mulas. um jogo simples, de fcil entendimento, e pode ser aplicado em diferentes nveis
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.
3.1 A Torre de Hani 38
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.
= 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.
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
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:
3.2 Combinaes de Elementos Geomtricos 39
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
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
intervalos extinguem a regio por onde passam, dividindo-a em duas novas regies.
3.2 Combinaes de Elementos Geomtricos 40
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
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
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-
Exemplo 3.2.2. Diviso do Plano por n Crculos: Qual o maior nmero de re-
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
x1 = 2
x2 = x1 + 2
x3 = x2 + 4
x4 = x3 + 6
.
.
.
xn = xn1 + 2(n 1)
3.3 Combinatria
3.3.1 Permutaes Simples
x2 = 2x1
x3 = 3x2
x4 = 4x3
.
.
.
xn = nxn1
soluo:
xn = 2 3 4 ... n = xn = n!
partir da, as possibilidades se tornam muito numerosas, de tal forma que precisamos
2
A seguir, reproduziremos como relatado em [10] e [17], o modo como Leonard Euler
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
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.
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,
xn = (n 1)(xn1 + xn2 )
2 Leonard Euler (1707-1783), matemtico alemo
3.3 Combinatria 44
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,
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!
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!
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-
1 1 1 1 n 1
(n + 1)xn = (n + 1)n! + + ... + (1)
2! 3! 4! 5! n!
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)!
1 1 1 1 1 n 1
xn = n! 1 + + + ... + (1)
1! 2! 3! 4! 5! (n)!
3.4 A Sequncia de Fibonacci 47
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
nestes lugares diversas culturas e familiarizando-se com a Matemtica rabe, que era ento
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
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
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
3.4 A Sequncia de Fibonacci 48
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
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
segunda ordem tal que: Fn+2 = Fn+1 + Fn , com F1 = F2 = 1. Vamos resolver a equao
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
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
!n !n
1 1+ 5 1 1 5
Fn =
5 2 5 2
3.4 A Sequncia de Fibonacci 49
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.
Idade Mdia at os dias atuais. Nesta seco vamos analisar algumas dessas propriedades.
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.
Mas, pela prpria relao de recorrncia: Fn+2 +Fn+1 = Fn+3 . Assim, podemos vericar
que:
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.
3.4 A Sequncia de Fibonacci 50
A seguir apresentaremos uma proposio que generaliza esse resultado para toda sequn-
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.
n
X
xi = xn+2 x2
i=1
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 .
Mas, pela prpria relao de recorrncia: xn+2 + xn+1 = xn+3 . Assim, podemos vericar
que:
n
X
xi = xn+2 x2
i=1
3.5 Os Nmeros de Lucas 51
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,
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
Uma vez que a equao de recorrncia igual de Fibonacci, podemos armar que a
!n !n
1+ 5 1 5
Ln = A +B .
2 2
! !
1+ 5 1 5
A +B =1
2 2
!2 !2
1+ 5 1 5
A +B =3
2 2
!n !n
1+ 5 1 5
Ln = +
2 2
4 Franois douard Anatole Lucas (1842-1891), matemtico francs.
3.5 Os Nmeros de Lucas 52
(Fn ) = (1, 1, 2, 3, 5, 8, 13, 21, ...) e (Ln ) = (1, 3, 4, 7, 11, 18, 29, 47, ...)
L2 = F1 + F3 , L3 = F2 + F4 , L4 = F3 + F5 , L5 = F4 + F6 , L6 = F5 + F7 , ...
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
Observemos que pela hiptese de induo e pelo fato de ser vlido at um natural n
temos:
Ln+1 = Fn + Fn+2
3.5 Os Nmeros de Lucas 53
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
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
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
vamos expandir um pouco os conceitos at agora vistos sobre a PA. As denies, teoremas
embasamento terico, apresentaremos alguns problemas comuns onde esses conceitos sero
utilizados.
n
X
ik = 1k + 2k + 3k + ... + nk
i=1
n
X
P (i)
i=1
Nessa seco vamos apresentar alguns resultados de somas de polinmios que sero
n
X
2 2 2 2
1 + 2 + 3 + ... + n = k2
k=1
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.
Teorema 4.1. n
X
m m m m
1 + 2 + 3 + ... + n = km
k=1
um polinmio de grau (m + 1) em n.
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
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
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
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
Segue da denio que uma sequncia (xn ) uma progresso geomtrica se, e somente
as diferenas entre cada termo e o anterior formam uma progresso aritmtica de ordem
(k 1).
(a) A sequncia (xn ) = (1, 3, 6, 10, 15, 21, 28, ...) uma PA de segunda ordem pois as
(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
lado, a PA de primeira ordem (xn ) tem como seu termo geral o polinmio x1 + (n 1) r
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
polinmio de grau k = 2 em n.
Suponhamos agora que a armao do teorema seja verdadeira para todo k natural tal
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.
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:
n
X n(n + 1)(2n 5)
k(k 2) =
k=1
6
ordens. Esses nmeros gurados podem ser representados por relaes de recorrncias.
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.
4.3 O Problema dos Nmeros Poligonais 60
Cada sequncia denominada de acordo com o polgono da qual se origina. Por exem-
As guras a seguir nos ajudam a visualizar como as sequncias dos nmeros poligonais
se formam.
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
no-nulas. possvel notar tambm que os padres de crescimento das sequncias podem
Em (Tn ): (Tn ) = (2, 3, 4, 5, ...), cuja razo 1. Em (Qn ): (Qn ) = (3, 5, 7, 9, ...), cuja
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.
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
lados acrescentados, para que no se contem duas vezes. Devem ser subtrados (k 3)
vrtices.
xn = xn1 + (k 2) n (k 3)
De posse desse resultado podemos escrever a soluo do termo geral de (xn ) para uma
teorema 4.1, que a expresso do termo geral de uma progresso aritmtica de segunda
so constantes arbitrrias. Alm disso, temos que o primeiro termo de cada sequncia
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:
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
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
sucessivamente so nmeros obtidos pela soma dos n primeiros nmeros poligonais, res-
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
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
soluo encontrada na ltima seco temos que os primeiros quatros nmeros poligonais
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
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
4.4 Nmeros Piramidais 64
5
Aplicaes de Recorrncias no Ensino
Mdio
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-
em sequncias dadas.
Alm dos exerccios e das solues propostas pelo autor, vamos expor relatos dos
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-
uma escola pblica do Distrito Federal. O processo de aplicao do tema das sequncias
perodo de aplicao houve evaso escolar e ndice de faltas excessivas, acima de 50%, por
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
semanal ao longo de quatro meses com cada uma das trs turmas participantes.
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,
Nos primeiros trs encontros em cada turma participante, apresentamos alguns exem-
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
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
tes, segundo as Orientaes Curriculares para o Ensino Mdio (2006), conforme o trecho a
seguir relatado:
A grande maioria dos estudantes respondeu que nunca havia estudado esse contedo.
nha sido apresentado no ano anterior. Nesses primeiros encontros apresentamos tambm a
aos alunos algumas listas de exerccios que objetivavam a descoberta da lei de recorrncia
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
apreendemos que a grande maioria dos estudantes apresentou muita diculdade em reali-
melhoria do pensamento algbrico. Sobre essa questo BECHER (2009) dene que:
zadas e em pequenos grupos para esclarecer o passo a passo necessrio para que os alunos
do pacote Microsoft Oce. A apresentao era bem vista por parte dos alunos, porm a
tica funcionando. Ficamos, portanto, com a visualizao em um aparelho apenas, mas que
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
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
Nos ltimos encontros debatemos sobre umas questes que foram respondidas acerca
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
o raciocnio lgico. Segundo eles, esse desenvolvimento possibilitou uma maior capacidade
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
(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
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
mamos que esses temas, apesar de no serem muito explorados nas aulas de Matemtica,
vas de vestibulares para faculdades como o IME (Instituto Militar de Engenharia) e o ITA
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.
x1 = 1 e x2 = 2.
mos, ento o aumento do grau do polinmio fazendo zn = nC . Mais uma vez, subs-
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:
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-
2016 sem fazer movimentaes. Qual ser o saldo da aplicao ao nal desse prazo?
Fazendo n = 13, usando a calculadora para calcular (1, 01)12 , o saldo em janeiro de
Observao: Essa aplicao ctcia s faria jus a obteno de algum lucro, um investi-
dos nmeros de Fibonacci. Tratamos dessa sequncia no terceiro captulo, onde descreve-
!n !n
1 1+ 5 1 1 5
Fn = .
5 2 5 2
(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
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
(F1 )2 = F1 F2
(F2 )2 = F2 F3 F1 F2
(F3 )2 = F3 F4 F2 F3
.
.
.
n
X
(Fk )2 = Fn Fn+1
k=1
(b) A soma dos n primeiros termos com ndices mpares da sequncia de Fibonacci
n
X
F2k1 = F2n
k=1
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
obteremos:
5.2 Problemas Propostos Envolvendo Recorrncias 74
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:
(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
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:
5.2 Problemas Propostos Envolvendo Recorrncias 75
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
.
.
.
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
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
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
encontrar as solues:
n(n 1) n(n + 1)
yn = 1 + e zn =
2 2
5.2 Problemas Propostos Envolvendo Recorrncias 76
Prosseguindo com a resoluo da recorrncia (xn ), temos que cada termo xn a soma
(yn + zn ) n
Aplicando ento o resultado da Proposio 1.4.2. temos xn = .
2
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
n3 + n
Aplicando a soluo que encontramos xn = , obtemos:
2
x10 = 505, x20 = 4010 e x100 = 500050.
Exerccio 5.1.5. Encontrar uma soluo para a expresso do termo geral da soma dos
13 + 23 + 33 + 43 + ... + n3
Soluo: Pelo Teorema 4.2 a expresso da soma dos n primeiros cubos naturais um
e A 6= 0.
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
5.2 Problemas Propostos Envolvendo Recorrncias 77
1 1 1
Resolvendo o sistema encontramos os valores: A= , B = , C = e D = E = 0.
4 2 4
a frmula da soma nos n primeiros quadrados perfeitos, vamos descrever uma soluo al-
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
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
5.2 Problemas Propostos Envolvendo Recorrncias 78
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.
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,
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
algbrico e as noes intuitivas que o ajudaro nas diversas reas do conhecimento, e con-
(xn ) = {1, 2, 6, 13, 23, 36, 52, 71, ...}, o aluno A apontou que
Observando a sequncia
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-
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
x1 = 1
x 2 = x1 + 1
x3 = x2 + 4
x4 = x3 + 7
.
.
.
xn = xn1 + 3(n 1) 2
xn = 1 + (1 + 4 + 7 + + 3(n 1) 2).
5.3 Anlise de Alunos Sobre Algumas Questes 80
(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.
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
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
triangulares.
13 + 23 + 33 + 43 + ... + n3
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
Para n= 1, casobase da induo, vericamos a validade j que o primeiro cubo natural
2
1(1 + 1)
1 e que = 1.
2
mostrar que P (n) = P (n + 1). Ou seja, que usando a hiptese de induo mostremos que
2
3 3 3 3 3 n(n + 1)
3
1 + 2 + 3 + 4 + ... + n + (n + 1) = + (n + 1)3
2
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
Esse trabalho teve como objetivo apresentar uma proposta de estudo das recorrncias.
geomtricas que, como vimos no corpo desse trabalho, na maioria dos livros didticos so
currculos na maioria das escolas de Ensino Mdio, o tema das recorrncias pode ser de
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
especcos, como as Combinaes. Essas relaes podem chamar a ateno dos alunos
bonacci. Os estudantes mais interessados em Matemtica a conhecem por lerem sobre ela
com recorrncias em escolas pblicas tem o potencial de tornar-se til sob vrios aspectos.
trabalho o avano obtido por muitos alunos que puderam ter acesso a um tema s vezes
estudado durante alguns meses, e em um nico encontro semanal, com outros exerccios
Consideraes Finais 83
que for possvel, e que os professores de Matemtica estimulem seus alunos quanto a essas
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
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.
a
[3] BOYER, Carl B. Histria da Matemtica. Traduo: Elza F. Gomide. 2 ed. So
[4] BRASIL. Orientaes Curriculares para o Ensino Mdio : Cincias da Natureza, Ma-
Bsica, 2006.
1998.
[6] BRASIL, Secretaria de Educao Mdia e Tecnolgica. PCN+ Ensino Mdio - Ori-
2011.
2011.
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-
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.
[20] POOLE, David. lgebra Linear. Traduo: Martha Salerno Monteiro et. al. So Paulo:
Thomson, 2006.
PUCRS, 2005.
[22] STEWART, Iam. Almanaque das Curiosidades Matemticas. Traduo: Diego Alfaro.