Prova por Indução Matemática:

Seja uma proposição P(n) para n ∈ Naturais = { 0, 1, 2, 3, ...},

ou Naturais = { 1, 2, 3, ...}
Deseja-se mostra que P(n) é válida para qualquer natural n.

TEM-SE que realizar dois passos:

1. Passo Base : mostrar que P(0) é verdadeira, ou que P(1) é verd.

2. Passo Indutivo : mostar que se P(k) é verd. então P(k+1) também
é verdadeira.

Exemplo 1: P(n) == [[ 1+2+3+ ... + n = n(n+1)/2 ]]

1. Passo Base : mostrar P(1) ==> 1 = 1(1+1)/2 ??? sim é verd.!!!

2. Passo Indut.: mostrar que P(k) --> P(k+1), ou seja mostrar que

Se 1+2+3+...+k = k(k+1)/2

Então 1+2+...+k+(k+1) = (k+1)((k+1) +1)/2

2a. Suponha que 1+2+3+...+k = k(k+1)/2 é verdadeiro (HIPOT. INDUÇÃO)

2.b pode-se somar (k+1) aos dois lados da equação 2a.

1+2+3+...+k + (k+1) = k(k+1)/2 + (k+1)
= k(k+1)/2 + 2(k+1)/2
= (k+1)(k+2)/2 = (k+1) ((k+1) +1)/2
2c. Logo se P(k) é verd. então P(k+1) também é.
Exemplo 2: Considere a soma dos n primeiros números ímpares

1 = 1
1+3 = 4
1+3+5 =9
1+3+5+7 = 16

1 + 3 + 5 + ... + (2n - 1) = n² <-- CONJECTURA !!!

Prova por inducão matemática finita

1. Passo Base [P(0)]:
mostrar que Soma{i=1..1} (2i - 1) = 1²

isso é verdade porque 1 = 1² !

2. Passo Indutivo [ P(k) --> P(k+1) ]: mostrar que

Soma {i=1..k} (2i-1) = k² implica em Soma{i=1..(k+1)} (2i-1) = (k+1)²

2a. Suponha que Soma {i=1..k} (2i-1) = k² (hipótese de indução, HI).

ou seja, 1 + 3 + 5 + ... + (2k-1) = k²

2b. Vamos somar o (k+1) número ímpar aos dois lados da HI. O (k+1)
número ímpar é 2(k+1) -1 = 2k + 2 -1 = 2k +1; tem-se:

1 + 3 + 5 + ... + (2k-1) + (2k+1) = k² + (2k+1)

Soma {i=1..(k+1)} (2i -1)

2c. Ou seja, a partir da HI tem-se que Soma{i=1..(k+1)} (2i-1) = (k+1)²,

sendo então que P(k) --> P(k+1)
Exemplo 3: Mostre que a inequação n < 2^n é verdadeira para n >= 0.

Prova por Indução Matemática Finita:

1. Passo base [ P(0) ]: No caso P(0) significa 0 < 2⁰ , que é verd.

pois 0 < 1 = 2⁰ !

2. Passo indutivo [ P(k) ---> P(k+1) ]:

Mostrar que [ k < 2^k ] ---> [ k+1 < 2^(k+1) ]

2a. Suponha que k < 2^k (HI, hipótese de indução).

2b. Vamos somar + 1 aos dois lados da HI. Tem-se:

k + 1 < 2^k + 1

2c. Considere que 1 <= 2^k , k >= 0,

que é verdadeiro por para o menor k, que
é k = 0 , tem-se que 1 <= 2^0 .

2d. Assim, usando 2^k no lugar de 1, no lado esquerdo da inequação,

pode-se dizer que:

k+1 < 2^k + 1 <= 2^k + 2^k = 2*2^k = 2^(k+1)

2e. Conclui-se então que se k<2^k então k+1 < 2^(k+1).

A partir do passo base e do passo indutivo tem-se que

n < 2^n , para todo natural n>=0.
 Exemplo 4: Mostre que n³ - n é divisível por 3, para n >= 0.

Nessa questão, iremos usar a forma 3m, m inteiro, para expressar

a forma geral de um número divisível por 3.

Prova por Indução Matemática Finita:

1. Passo Base : mostrar que P(0) é verdadeiro. Ou seja,

mostrar que 0³ - 0 é divisível por 3. O que é verdadeiro pois
0³ - 0 = 0 = 3.0 (nesse caso tem m=0).

2. Passo Indutivo: mostrar que P(k) --> P(k+1). Ou seja,

mostrar que k³ - k é div/3 --> (k+1)³ - (k+1) é div/3.

2a. Vamos inicialmente, desenvolver (k+1)³ - (k+1) :

(k+1)³ - (k+1) = (k³ + 3k² + 3k + 1) - k -1

= k³ - k + 3k² + 3k = k³ - k + 3(k² +k)

2b. Supondo que k³ - k é div/3 (HI), tem-se que k³ - k = 3m, para algum m.

2c. Assim (k+1)³ - (k+1) = k³ - k + 3(k² +k) = 3m + 3(k² + k) = 3 (m + k² +k)

o que mostra que (k+1)³ - (k+1) é div/3.

2d. Ou seja, P(k ) --> P(k+1).

Tendo mostrado o passo base e o indutivo, tem-se por inducao mat.

que n³ -n é div. por 3, para n>=0.