Livro de Matemática

Indução finita

A indução finita é uma técnica de demonstração matemática usada para provar que uma certa propriedade é verdadeira para todos os números naturais. Podemos usar como analogia uma fileira infinita de peças de dominó. Se dizemos que a primeira peça cai, com a garantia de que a queda de uma peça implica a queda da peça seguinte, teremos a certeza de que todas as peças cairão. Vejamos alguns exemplos:

Primeira Forma

Exemplo 1

Seja a ∈ N, e P uma propriedade, temos que:

  1. P(a) é verdadeira.
  2. Para k ≥ a, se P(k) é verdadeira, então P(k + 1) é verdadeira.

Nessas condições, P(n) é verdadeira para todo n ≥ a.

Exemplo 2

Seja a ∈ N, consideramos S o conjunto com as seguintes propriedades:

  1. a ∈ S.
  2. Para k ≥ a, se k ∈ S, então k + 1 ∈ S.

Nessas circunstâncias, S é o conjunto de todos os naturais maiores ou iguais a a.

Exemplos Resolvidos

  1. Dado n ∈ N, temos:

    0 + 1 + 2 + … + n =
    n (n + 1)
    2

    Primeiro devemos provar que a propriedade é verdadeira para o primeiro
    elemento, ou seja, o zero.

    0 =
    0 (0 + 1)
    2
    = 0

    Agora, assumimos que, para um k ∈ N a propriedade também é válida.
    Dessa forma temos:

    0 + 1 + 2 + … + k =
    k (k + 1)
    2

    Vamos agora provar a propriedade para um elemento k + 1. Já sabemos provar
    até um certo k.

    0 + 1 + 2 + … + k + k + 1 =
    k (k + 1)
    2
    + k + 1
    0 + 1 + 2 + … + k + k + 1 =
    k (k + 1)
    2
    +
    2 (k + 1)
    2
    0 + 1 + 2 + … + k + k + 1 =
    (k + 1)(k + 2)
    2
    0 + 1 + 2 + … + k + k + 1 =
    (k + 1)((k + 1) + 1)
    2