Observação

Baseado na descrição dos dois itens do enunciado de

http://br.answers.yahoo.com/question/index;_ylt=AvXhiJY5jHXL5x0JZ0lhoofJ6gt.;_ylv=3?qid=20101022172757AAZqMUD , pode-se
perceber que n dos 2 itens do problema é um número natural.

Resolução do item (a)

[A1] (cálculo para obtenção da fórmula fechada)
Sejam a1 = 2, a2 = 4, a3 = 6, …, an - 1 = (n - 1) ∙ 2 e an = n ∙ 2 e os termos de uma seqüência
numérica e S (n) a soma dos termos. Dá para se observar que:
 a2 = a1 + 2, a3 = a2 + 2, … e an = an - 1 + 2
Com , obtém-se (favor ver [A2] em caso de necessidade de prova) que:
 am = m ∙ 2 para todo número natural m ∈ {1, 2, …, n - 1, n}
Com , para todo número natural m ∈ {1, 2, …, n - 1, n}, nota-se que:
am + an - m + 1 = m ∙ 2 + (n - m + 1) ∙ 2 = m ∙ 2 + n ∙ 2 - m ∙ 2 + 2 ⇒
 am + an - m + 1 = n ∙ 2 + 2
[ou seja, o valor da soma de 2 termos de índices que juntos somam n + 1
só depende de n, mas não de m ( ou seja, é independente de ambas as posições)]
Então, com , obtém-se o valor de S (n):
S (n) + S (n) = (a1 + a2 + a3 + … + an - 2 + an - 1 + an) + (an + an - 1 + an - 2 + … + a3 + a2 + a1) =
(a1 + an) + (a2 + an - 1) + (a3 + an - 2) + … +(an - 2 + a3) + (an - 1 + a2) + (an + a1) ⇒
2 ∙ S (n) = n ∙ (n ∙ 2 + 2) = n2 ∙ 2 + n ∙ 2 (por serem n somas do tipo ) ⇒ S (n) = n2 + n
Portanto, a fórmula fechada está calculada: 2 + 4 + 6 + … + (n - 1) ∙ 2 + n ∙ 2 = n2 + n
[A2] (prova de que m ∙ 2 = am para todo número natural m ≥ 1)
Usa-se o princípio da indução completa () para a demonstração da prova.
([i] da indução)
Supondo-se o caso de m = 1, tem-se que: 1 ∙ 2 = 2 = a1
([ii] da indução)
Supõe-se agora que: m ∙ 2 = am é válido para m = k ≥ 0 ⇔  k ∙ 2 = ak
Necessita-se calcular o valor de m ∙ 2 para m = k + 1. Com  e , obtém-se que:
(k + 1) ∙ 2 = k ∙ 2 + 2 = ak + 2 = ak + 1
Então m ∙ 2 = am é também válido para m = k + 1.
[A3] (verificação opcional do resultado anterior através de sua comparação com o da fórmula de )
n ∙[2 ∙ 2 n – 1∙ 2]
S (n) = = n ∙ 2 + n2 - n = n2 + n
2

Resolução do item (b)

[B1] (cálculo para obtenção da fórmula fechada)
Sejam a1 = 2, a2 = 5, a3 = 8, …, an - 1 = n ∙ 3 - 4 e an = n ∙ 3 - 1 e os termos de uma seqüência
numérica e S (n) a soma dos termos. Dá para se observar que:
 a2 = a1 + 3, a3 = a2 + 3, … e an = an - 1 + 3
Com , obtém-se (favor ver [B2] em caso de necessidade de prova) que:
 am = m ∙ 3 - 1 para todo número natural m ∈ {1, 2, …, n - 1, n}

1 de 3
 Com , para todo número natural m ∈ {1, 2, …, n - 1, n}, nota-se que:
am + an - m + 1 = m ∙ 3 - 1 + (n - m + 1) ∙ 3 - 1 = m ∙ 3 - 1 + n ∙ 3 - m ∙ 3 + 3 -1 ⇒
 am + an - m + 1 = n ∙ 3 + 1
[ou seja, o valor da soma de 2 termos de índices que juntos somam n + 1
só depende de n, mas não de m ( ou seja, é independente de ambas as posições)]
Então, com , obtém-se o valor de S (n):
S (n) + S (n) = (a1 + a2 + a3 + … + an - 2 + an - 1 + an) + (an + an - 1 + an - 2 + … + a3 + a2 + a1) =
(a1 + an) + (a2 + an - 1) + (a3 + an - 2) + … +(an - 2 + a3) + (an - 1 + a2) + (an + a1) ⇒
n2 ∙ 3n
2 ∙ S (n) = n ∙ (n ∙ 3 + 1) = n2 ∙ 3 + n (por serem n somas do tipo ) ⇒ S (n) =
2
Portanto, a fórmula fechada está calculada:
3∙ n2n
2 + 5 + 8 + … +(n ∙ 3 - 4) + (n ∙ 3 - 1) =
2
[B2] (prova de que m ∙ 3 - 1 = am para todo número natural m ≥ 1)
Usa-se o princípio da indução completa () para a demonstração da prova.
([i] da indução)
Supondo-se o caso de m = 1, tem-se que: 1 ∙ 3 - 1 = 2 = a1
([ii] da indução)
Supõe-se agora que: m ∙ 3 - 1 = am é válido para m = k ≥ 0 ⇔  k ∙ 3 - 1 = ak
Necessita-se calcular o valor de m ∙ 3 - 1 para m = k + 1. Com  e , obtém-se que:
(k + 1) ∙ 3 - 1 = k ∙ 3 - 1 + 3 = ak + 3 = ak + 1
Então m ∙ 3 - 1 = am é também válido para m = k + 1.
[B3] (verificação opcional do resultado anterior através de sua comparação com o da fórmula de )
n ∙[2 ∙ 2 n – 1∙ 3] n ∙ 4n 2 ∙ 3 – n ∙ 3 3∙ n2n
S (n) = = =
2 2 2

Aproveito p/ sugerir q matemática e qq outra matéria é mais fácil de ser estudada se tivermos QI
maior; um modo gratuito de garantir q nosso QI não diminua é mudar nosso estilo de vida p/ um
mais feliz, saudável e saboroso  : http://www.youtube.com/watch?
v=Xe_oNnBAtcs&cnl_tv=Supreme Master TV (informações da Mensa Internacional — a maior e
mais antiga sociedade que reúne pessoas com alto QI do mundo — exibidas em um canal de TV
global via satélite q traz entrevistas sobre vários temas importantes c/ renomados especialistas
locais, regionais, nacionais ou até internacionais dos vários cantos do mundo),
http://www.youtube.com/watch?v=U4lgWORL6Oc e http://www.youtube.com/watch?v=7x-
UgndYFrA, lembrando q, por exemplo, mercúrio é um elemento encontrado em concentrações
preocupantes em peixes e pode causar falhas de memória, dificuldade de prestar atenção, etc e até
efeito desastroso no sistema nervoso. E, p/ quem gosta do planeta (beleza natural, etc) e das
conquistas humanas (artes, conhecimento, etc), há outro vídeo do mesmo canal com msg importante
de pessoas influentes e bem-sucedidas: http://www.youtube.com/watch?v=6q4ynXjr4h4 ou (só em
inglês — até pessoal de Hollywood) http://www.youtube.com/watch?v=UneYgIsTjwQ.

Fim!

2 de 3
 Fonte

Foi usado o título Números: uma Introdução à Matemática (edição de 1991, apostila
disponível em http://loja.brasilmix.com.br/produtos_descricao.asp?
lang=pt_BR&codigo_produto=21), cujas principais partes usadas são citadas a seguir:

 enunciado do colorário [3.2] — para descrever o princípio da indução completa na sua 1ª

forma (a rigor, as relações mencionadas nesse colorário poderiam/deveriam ser provadas antes
de serem utilizadas, contudo se o colorário não foi apresentado formalmente em alguma aula,
talvez não haja necessidade de mencionar o colorário, dependendo das circunstâncias como as
relações desse colorário foram obtidas ou apresentadas, por exemplo, apenas durante resolução
de algum exercício ou em alguma vaga menção como propriedades a serem aceitas e entendidas
como “naturais” e até “óbvias”).
Seja a um inteiro dado. Suponhamos que, para cada inteiro n ≥ a está dada uma
afirmação A(n) de forma tal que:
[i] A(a) é verdadeira;
[ii] se, para um inteiro k ≥ a, A(k) é verdadeira, então é verdadeira.
Então a afirmação A(n) é verdadeira para todo inteiro n ≥ a.
 cálculo da soma [3.4] dos termos de uma progressão aritmética — para descrever a fórmula
fechada (o uso dela é corriqueiro em certo período do nível médio e no nível superior).
Sejam a e r dois números inteiros. A soma dos n primeiros termos de uma progressão
aritmética com 1º termo a e a razão r é:
n ∙[2 ∙ an – 1∙ r ]
[i] a + (a + r) + … + [ a + ( n - 1) ∙ r] = .
2

3 de 3