Página 1 de 1

Indução Matemática em Sequências

MensagemEnviado: Ter Dez 06, 2016 17:11
por AntonioFValleneto
Esse é um exercício, onde tem que se verificar se são válidas as afirmações e estou com um pouco de dificuldade.

. Mostre utilizando inducao se as seguintes propriedades sao validas para
um n qualquer:
a) 1²+ 3² + 5² + ... + (2n + 1)² = (n + 1)(2n + 1)(2n + 3)/3

Onde n e inteiro e n >= 1

Re: Indução Matemática em Sequências

MensagemEnviado: Qui Dez 08, 2016 20:02
por DanielFerreira
Olá Antônio, seja bem-vindo!

De acordo com o princípio da indução finita e o enunciado, a igualdade deverá ser verdadeira \mathsf{\forall n \in \mathbb{Z}^{*}_{+}}; ou seja, \mathsf{n = {1, 2, 3, 4,...}}.

Desse modo, a igualdade deverá ser válida para \underline{\mathsf{n = 1}} - elemento mínimo. Vejamos:

\\ \mathsf{1^2 + 3^2 + 5^2 + ... + (2n + 1)^2 = \frac{(n + 1)(2n + 1)(2n + 3)}{3}} \\\\\\ \mathsf{1^2 = \frac{(1 + 1)(2 \cdot 1 + 1)(2 \cdot 1 + 3)}{3}} \\\\\\ \mathsf{1 = \frac{2 \cdot 3 \cdot 5}{3}} \\\\\\ \mathsf{1 = 10}

Ora, como podes notar, isto é um absurdo. Portanto, a afirmativa é falsa!!

Re: Indução Matemática em Sequências

MensagemEnviado: Sáb Dez 10, 2016 11:27
por AntonioFValleneto
Olá Daniel, obrigado,

Esse exercício foi dado como tarefa, falei com o professor, e tinha um erro: não é n >= 1, e sim n > 1, acho então que considera o 1² mas o n inicial é 3², assim se fizer aquele cálculo vai achar S = 10, que é 1² + 3². Se estou correto.

Abraço!

Re: Indução Matemática em Sequências

MensagemEnviado: Sáb Dez 10, 2016 17:40
por DanielFerreira
Boa tarde, Antônio!

Há um erro na verificação que fiz (1º post).

Observei o seguinte: a lei de formação da soma é dada por \mathsf{(2n + 1)^2}; ora, o primeiro termo é determinado substituindo "n" por zero, veja:

\\ \mathsf{(2n + 1)^2 =} \\ \mathsf{(2 \cdot 0 + 1)^2 =} \\ \mathsf{(0 + 1)^2 =} \\ \mathsf{1^2}

E, se substituíres "n" por zero na expressão do lado direito da igualdade, perceberás que é verdadeira.

Por conseguinte, tomei n = 1. Daí,

\\ \mathsf{(2n + 1)^2 =} \\ \mathsf{(2 + 1)^2 =} \\ \mathsf{3^2}

Uma vez que, não faz mui sentido ter n = 0, aplicamos a seguinte estratégia: passe o termo \mathsf{1^2} para o outro lado da igualdade. Desse modo, poderemos ter \mathsf{n \geq 1}.

Tomemos como hipótese que a igualdade seja verdadeira para \mathsf{n = k}, com \mathsf{k \in \mathbb{Z}^*}; então,

\mathsf{3^2 + 5^2 + 7^2 + ... + (2k + 1)^2 = \frac{(k + 1) \cdot (2k + 1) \cdot (2k + 3)}{3} - 1^2}

Isto posto, sabemos do Princípio da Indução Finita (1ª forma) que a igualdade será válida se \underline{\mathsf{n = k + 1}}. Ou seja,

\mathsf{3^2 + ... + (2k + 1)^2 + (2 \cdot (k + 1) + 1)^2 = \frac{((k + 1) + 1) \cdot (2 \cdot (k + 1) + 1) \cdot (2 \cdot (k + 1) + 3)}{3} - 1}

\mathsf{3^2 + 5^2 + 7^2 + ... + (2k + 1)^2 + (2k + {3})^2 = \frac{(k + 2) \cdot (2k + 3) \cdot (2k + 5)}{3} - {1}}

É a tese de indução!!

Agora, devemos prová-la. Segue, da hipótese que:

\\ \mathsf{\underbrace{\mathsf{3^2 + 5^2 + 7^2 + ... + (2k + 1)^2}}_{hip\acute{o}tese} + (2k + 3)^2 =} \\\\\\ \mathsf{\left [ \frac{(k + 1)(2k + 1)(2k + 3)}{3} - 1 \right ] + (2k + 3)^2 =} \\\\\\ \mathsf{\frac{(k + 1)(2k + 1)(2k + 3)}{3} + (2k + 3)^2 - 1 =} \\\\\\ \mathsf{(2k + 3) \cdot \left [ \frac{(k + 1)(2k + 1)}{3} + (2k + 3) \right ] - 1 =}

\\ \mathsf{(2k + 3) \cdot \left ( \frac{2k^2 + k + 2k + 1 + 6k + 9}{3} \right ) - 1 =} \\\\\\ \mathsf{(2k + 3) \cdot \frac{2k^2 + 9k + 10}{3} - 1 =} \\\\\\ \mathsf{(2k + 3) \cdot \frac{2k^2 + 4k + 5k + 10}{3} - 1 =} \\\\\\ \mathsf{(2k + 3) \cdot \frac{2k(k + 2) + 5(k + 2)}{3} - 1 =}

\\ \mathsf{(2k + 3) \cdot \frac{(k + 2) \cdot \left [ 2k + 5 \right ]}{3} - 1 =} \\\\\\ \mathsf{\frac{(2k + 3) \cdot (k + 2) \cdot \left (2k + 5) \right ]}{3} - 1}

Ufa! Repare que isto (acima) corresponde à tese!

Como queríamos demonstrar!

Re: Indução Matemática em Sequências

MensagemEnviado: Seg Dez 12, 2016 09:30
por AntonioFValleneto
Bom dia Daniel,

Muito interessante, e também muito obrigado, realmente é para um 'ufa' no final.

Abraço Antônio.