Verified answer

Resposta:

a)

Dado que [tex]f(0) = 0[/tex] e [tex]f(n+ 1) = 2\cdot f(2) + 3, \forall \,n \in \math{N},[/tex] temos:

[tex]f(1) = 2 \cdot f(0) + 3 = 2 \cdot 0 + 3 = 3;\\\\f(2) = 2 \cdot f(1) + 3 = 2 \cdot 3 + 3 = 9;\\\\f(3) = 2 \cdot f(2) + 3 = 2 \cdot 9 + 3 = 21;\\\\f(4) = 2 \cdot f(3) + 3 = 2 \cdot 21 + 3 = 45;\\\\...[/tex]

Perceba que:

[tex]f(1) = 2\cdot f(0)+ 3;\\\\f(2) = 2 \cdot f(1) + 3 = 2 \left(2\cdot f(0)+ 3 \right) + 3 = 2^2 \cdot f(0) + 3(2 + 1);\\\\f(3) = 2 \cdot f(2) +3 = 2 \left(2^2 \cdot f(0) + 2 \cdot 3 + 3 \right) + 3 = 2^3 \cdot f(0) + 3(2^2 + 2 + 1);\\\\...[/tex]

Isto sugere que:

[tex]f(n) = 2^n \cdot f(0) + 3 \left(2^{n-1} + 2^{n-2} + ... + 2 + 1 \right)\\\\\Longleftrightarrow f(n) = 2^n \cdot 0 + 3 \left(2^{n-1} + 2^{n-2} + ... + 2 + 1 \right)\\\\\Longleftrightarrow f(n) = 3 \left(2^{n-1} + 2^{n-2} + ... + 2 + 1 \right)[/tex]

O termo entre parênteses é a soma de uma progressão geométrica de [tex]n[/tex] termos, que são as potências de 2 com expoente variando de [tex]0[/tex] a [tex]n-1[/tex].

A soma [tex]S[/tex] de uma P.G. finita é dada por:

[tex]S = \frac{a_1 \cdot \left(q^n - 1 \right)}{q - 1}\\\\\Longleftrightarrow S = \frac{1 \cdot (2^n - 1)}{2 - 1}\\\\\Longleftrightarrow S = 2^n - 1.[/tex]

Assim:

[tex]\boxed{f(n) = 3 \left( 2^n -1 \right), \forall \,n \in \math{N}.}[/tex]

b)

Provemos a fórmula descoberta por meio do Princípio da Indução Finita.

Inicialmente, verifiquemos que a fórmula é verdadeira para [tex]n = 0:[/tex]

[tex]f(0) = 3\left(2^0 - 1 \right) = 3 \left(1 - 1 \right) = 3 \cdot 0 = 0.[/tex]

Em seguida, assumamos, por hipótese, que a fórmula é verdadeira para algum [tex]k \in \math{N}, k \geq 0:[/tex]

[tex]f(k) = 3 \left( 2^k - 1 \right).[/tex]

Ora, pela definição dada, e utilizando a hipótese acima, temos:

[tex]f(k + 1) = 2\cdot f(k) + 3\\\\\Longleftrightarrow f(k+1) = 2 \cdot 3 \left(2^k - 1 \right) + 3\\\\\Longleftrightarrow f(k+1) = 3 \left( 2^{k+1} - 2 \right) + 3\\\\\Longleftrightarrow f(k+1) = 3 \left( 2^{k+1} - 2 + 1 \right)\\\\\Longleftrightarrow f(k+1) = 3 \left(2^{k+1} - 1 \right).[/tex]

Chegando à fórmula descoberta para [tex]n = k + 1.[/tex]

Em resumo:

[tex]f(0);\\\\f(k) \Rightarrow f(k+1), \forall \, k \in \math{N}, k \geq 0.[/tex]

Logo, a fórmula é verdadeira para todo número natural, Q.E.D.