Ir ao conteúdo principal

Seção 4.1 Introdução

Muitas sequências são definidas recursivamente (isto é, por recorrência), ou seja, por intermédio de uma regra que permite calcular qualquer termo em função dos antecessores.

Exemplo 4.1.1.

A sequência (xn) dos números naturais ímpares pode ser definida por
xn+1=xn+2, (n1),  com  x1=1.

Exemplo 4.1.2.

Qualquer progressão aritmética (xn) de razão r e o primeiro termo a pode ser definida por
xn+1=xn+r, (n1),  com  x1=a.

Exemplo 4.1.3.

Qualquer progressão geométrica (xn) de razão q e o primeiro termo a pode ser definida por
xn+1=q×xn, (n1),  com  x1=a.

Exemplo 4.1.4.

A sequência (Fn), dita de Fibonacci, cujos termos são 1,1,2,3,5, e na qual cada termo é a soma dos dois imediatamente anteriores, é definida por
Fn+2=Fn+1+Fn, (n0),  com  F1=F2=1.

Nota 4.1.5.

Observe que uma recorrência por si só, não define uma sequência. Para que a sequência fique perfeitamente determinada é necessário também o conhecimento dos primeiros termos.
Observe que, no Exemplo 4.1.1, no Exemplo 4.1.2 e no Exemplo 4.1.3, temos recorrências de primeira ordem, isto é, cada termo é expresso em função do antecessor imediato, e que, no Exemplo 4.1.4, temos uma recorrência de segunda ordem, ou seja, cada termo é expresso em função dos dois antecessores imediatos.

Exemplo 4.1.6.

Quantas são as sequências de 10 termos, pertencentes a {0,1,2}, que não possuem dois termos consecutivos iguais a 0?
Solução.
Chamando de xn o número de tais sequências com n termos, o valor de xn+2 será a soma das seguintes quantidades:
  1. O número de sequências de n+2 termos que começam por 1 e não possuem dois zeros consecutivos. Isto é precisamente igual a xn+1, pois se o primeiro termo é 1, para formar a sequência basta determinar os termos a partir do segundo, o que pode ser feito de xn+1 modos.
  2. O número de sequências de n+2 termos que começam por 2 e não possuem dois zeros consecutivos. Analogamente, isto é igual a xn+1.
  3. O número de sequências de n+2 termos que começam por 0 e não possuem dois zeros consecutivos. Se o primeiro termo é zero, temos dois modos de escolher o segundo termo (1 ou 2) e, escolhido o segundo termo, temos xn modos de escolher os demais. Há, pois, 2xn sequências começadas em 0.
Logo, xn+2=2xn+1+2xn.
Observe que x1=3, pois, as sequências só possuem um termo, e este termo pode ser qualquer valor do conjunto {0,1,2}.
Para obter x2, vamos determinar todas as sequências com dois termos que não possuem dois zeros consecutivos:
(0,1),(0,2),(1,0),(2,0),(1,1),(1,2),(2,1),(2,2).
Portanto x2=8.
Agora vamos usar o Sage para mostrar que o valor de x10 é 24960.

Exemplo 4.1.7.

Seja Dn o número de permutações caóticas de 1,2,,n, isto é, o número de permutações simples de 1,2,,n, nas quais nenhum elemento ocupa o seu lugar primitivo. Mostre que, se n3,
Dn=(n1)×(Dn1+Dn2).
Vamos separar as permutações caóticas de 1,2,3,,n em dois casos.
1º caso: permutações caóticas em que o elemento que ocupa o primeiro lugar tem seu lugar original ocupado pelo 1.
Como temos n1 elementos, diferentes do 1, para cada um deles podemos colocar o elemento na 1ª posição e o número 1 na posição deste número, ou seja, temos n1 maneiras de fazer isto. Depois disto, os outros elementos podem ser distribuídos de Dn2 formas.
2º caso: permutações caóticas em que o elemento que ocupa o primeiro lugar não tem seu lugar original ocupado pelo 1.
Temos n1 formas de escolher o elemento que ocupará o primeiro lugar, já que o número 1 não pode ocupar esta posição. Depois disto precisamos contar o número de maneiras de distribuir (de forma caótica) os n1 elementos nos n1 lugares, de forma que o número 1 não fique na posição original do número que está na 1ª posição. Para contar esta quantidade, podemos contar o número de permutações caóticas desses n1 elementos organizados da seguinte maneira: coloque os n2 elementos em suas posições originais e o número 1 na posição do elemento que está na 1ª posição. O número dessas permutações caóticas é Dn1.
Como os dois casos são excludentes e cobrem todas as possibilidades, pelo princípio aditivo, temos
Dn=(n1)×Dn2+(n1)×Dn1=(n1)×(Dn1+Dn2).