AMI (2015/2016)

Dept. Matemtica
FCT/UNL

NFMM

Mtodo de Induo
Matemtica

AMI (2015/2016)
Dept. Matemtica
FCT/UNL

NFMM

A teoria dos nmeros naturais

pode ser deduzida de
trs axiomas
(axiomas de Peano)

pag. 2

AMI (2015/2016)
Dept. Matemtica
FCT/UNL

NFMM

So dados, como objectos no definidos:

Um conjunto, , cujos elementos so chamados nmeros naturais

Uma funo s :

(para cada n, s(n) o sucessor de n).

pag. 3

AMI (2015/2016)
Dept. Matemtica
FCT/UNL

NFMM

A funo s satisfaz os seguintes axiomas:

P1. s injectiva.
P2.

\ s

tem um s elemento.

P3. (Princpio de induo) Se X

1 X
n, n X s n X
ento

um subconjunto tal que

X .
pag. 4

AMI (2015/2016)
Dept. Matemtica
FCT/UNL

NFMM

Princpio de induo
O princpio de induo pode tambm ser enunciado da seguinte
maneira:
Seja P uma propriedade referente a nmeros naturais. Se 1 gozar da
propriedade P e se, do facto de um nmero natural n gozar da propriedade P
puder-se concluir que n+1 goza da propriedade P ento todos os nmeros
naturais gozam dessa propriedade.

pag. 5

AMI (2015/2016)
Dept. Matemtica
FCT/UNL

NFMM

Princpio de induo (exemplo de aplicao)

Vamos demonstrar o seguinte teorema usando o princpio de induo.

TEOREMA:
n

k n
k 1

1 n
, n
2

pag. 6