Hipótese de indução: supor que [tex]p(k)[/tex] é válido, para um [tex]k[/tex] inteiro [tex]k \geq 1[/tex], ou seja: [tex]1\cdot 2 + 2 \cdot 2^2 + \dots + k \cdot 2^k = 2 + (k-1) \cdot 2^{k+1}[/tex]
Passo indutivo: demonstrar que também é válido para [tex]p(k+1)[/tex], e que [tex]p(k) \Longrightarrow p(k+1)[/tex] :
Como a proposição é válida para [tex]k=1[/tex], e como dado um [tex]k[/tex] qualquer [tex]k+1[/tex] também é válido, se pode afirmar que vale para todos os naturais.
2 votes Thanks 3
gabrielcguimaraes
Coloco no final então que é em conta de ser válido para o elemento mínimo do conjunto dos naturais, 1?
Lukyo
Então o mais adequado seria: Como a proposição é válida para k = 1 e dado um k ≥ 1 qualquer, vale também para k + 1, logo vale para todos os naturais.
Lukyo
O k é qualquer mas deve incluir o 1 (caso estejamos trabalhando com naturais sem o zero, podemos omitir o k ≥ 1, pois como k é qualquer natural, subentende-se que ele posse assumir o valor 1)
Lukyo
...subentende-se que ele pode* assumir o valor 1)
Lista de comentários
Verified answer
Demonstração:
Verifiquemos, inicialmente, se a propriedade é válida para [tex]n = 1[/tex]:
[tex]1\,.\,2^1 = 2 + (1 - 1)\,.\,2^{1+1}\\\\1\,.\,2 = 2 + 0\,.\,4\\\\2 = 2[/tex]
Assim, [tex]p(1)[/tex] é válida.
Em seguida, admitamos, por hipótese, [tex]p(k)[/tex], isto é:
[tex]1\,.\,2+2\,.\,2^2+3\,.\,2^3+...+k\,.\,2^k = 2 +(k-1)\,.\,2^{k+1}[/tex]
para algum [tex]k[/tex] genérico, [tex]k \geq 1.[/tex]
Verifiquemos, por fim, se [tex]p(k)[/tex] implica [tex]p(k+1):[/tex]
Tese:
[tex]1\,.\,2+2\,.\,2^2+3\,.\,2^3+...+k\,.\,2^k + (k+1)\,.\,2^{k+1} = 2 +[(k+1)-1]\,.\,2^{(k+1)+1}[/tex]
[tex]1\,.\,2+2\,.\,2^2+3\,.\,2^3+...+k\,.\,2^k + (k+1)\,.\,2^{k+1} = \\\\= 2 + (k-1)\,.\,2^{k+1} + (k+1)\,.\,2^{k+1}\\\\= 2 + 2^{k+1}(k-1+k+1)\\\\= 2 + 2^{k+1}(2k)\\\\= 2 + k\,.\,2^{k+2}\\\\= 2 + [(k+1)-1]\,.\,2^{(k+1)+1}[/tex]
Portanto,
[tex]p(1);[/tex]
[tex]p(k)[/tex], [tex]k \geq 1[/tex] ⇒ [tex]p(k+1);[/tex]
donde se infere que [tex]p(n)[/tex] é válida, ∀ [tex]n[/tex] ∈ N.
Caso base: [tex]p(1)[/tex] :
[tex]p(1) = 2+ (1-1) \cdot 2^{1+1}\\p(1) = 2[/tex]
Hipótese de indução: supor que [tex]p(k)[/tex] é válido, para um [tex]k[/tex] inteiro [tex]k \geq 1[/tex], ou seja:
[tex]1\cdot 2 + 2 \cdot 2^2 + \dots + k \cdot 2^k = 2 + (k-1) \cdot 2^{k+1}[/tex]
Passo indutivo: demonstrar que também é válido para [tex]p(k+1)[/tex], e que [tex]p(k) \Longrightarrow p(k+1)[/tex] :
[tex]p(k+1) = 1\cdot 2 + 2 \cdot 2^2 + \dots + k \cdot 2^k + (k+1) \cdot 2^{k+1}[/tex]
Que, pela hipótese, nos permite reescrever os termos iniciais por termos de [tex]p(k)[/tex]:
[tex]p(k+1) = 2 + (k-1) \cdot 2^{k+1} + (k+1) \cdot 2^{k+1}\\p(k+1) = 2 + (k-1 + k + 1) \cdot 2^{k+1}\\p(k+1) = 2 + 2k \cdot 2^{k+1}\\p(k+1) = 2 + k \cdot 2^{k+2}\\p(k+1) = 2 + ((k+1) - 1) \cdot 2^{(k+1)+1}[/tex]
O que é válido.
Como a proposição é válida para [tex]k=1[/tex], e como dado um [tex]k[/tex] qualquer [tex]k+1[/tex] também é válido, se pode afirmar que vale para todos os naturais.