Nmeros Naturais:

Axiomas de Peano e Princpio da Induo

Lcio Fassarella
October 22, 2010
Abstract
Breve texto sobre os nmeros naturais, seguido de uma lista de problemas focalizando o uso do Princpio da Induo.
1 Nmeros Naturais
Intuitivamente, podemos dizer que nmeros so medidas de grandezas. Considerando que as grandezas podem ser discretas
(que podem ser contadas) ou contnuas (que no podem ser contadas), denimos os nmeros naturais como sendo medidas
de grandezas discretas;
1
nas palavras de Leonard Euler:
Nmero o resultado da comparao de duas grandezas da mesma espcie, sendo uma tomada como unidade.
L. Euler, Elements of Algebra, 1765
Essa denio intuitiva de nmero natural boa porque traduz em palavras nossa experincia cotidiana de contagem,
resumindo o que podemos dizer com base no senso comum; entretanto, a denio no satisfaz os critrios de preciso e rigor,
caractersticos da matemtica contempornea; tambm no serve para desenvolvermos uma teoria dos nmeros naturais no
padro axiomtico-dedutivo. Para a Matemtica, interessa uma rigorosa teoria axiomtica-dedutiva dos nmeros naturais
porque isso signica tanto o aprofundamento de nossa compreenso quanto a organizao lgica dos conceitos e propriedades
desses nmeros, o que nos possibilita a invertigao de propriedades sutis (que no so evidentes ou so contra-intuitivas) e
tambm permite aplicaes em contextos inusitados.
Os Axiomas de Peano so uma pequena coleo de fatos bsicos e intuitivos sobre os nmeros naturais. Essencialmente,
esses axiomas formalizam a idia de que todos os nmeros naturais podem ser obtidos a partir do nmero 1 pela soma sucessiva
da unidade (i.e., que todo nmero natural pode ser escrito na forma n = 1 + 1 + + 1). Apesar de sua simplicidade, os
Axiomas de Peano fundamentam uma teoria satisfatria dos nmeros naturais porque podemos denir ou deduzir a partir deles
todos os conceitos e demais propriedades que conhecemos acerca desses nmeros, dentre os quais destacam-se as operaes
de adio e multiplicao, a relao de ordem, o Princpio da Boa Ordenao e o Princpio das Gavetas.
Vale observar que a descoberta nem sempre diz respeito a um novo objeto: pode ser uma nova maneira de olhar para algo
j conhecido por todos. Realmente, o mrito de Peano deve-se mais descoberta de que seus axiomas so sucientes para
caracterizar satisfatoriamente o conjunto dos nmeros naturais do que na prpria descoberta dos axiomas os quais podem
at ser considerados intuitivamente bvios e conhecidos por todos aqueles que um dia aprenderam a contar. Correspondendo
a isso, as diculdades do estudante confrontado pela primeira vez com os Axiomas de Peano no est tanto no entendimento
desses axiomas, seno na compreenso das suas nalidades e usos e tambm na apreenso das tcnicas matemticas associadas.
Recomendo os seguintes textos elementares sobre os nmeros naturais na perspectiva dos Axiomas de Peano:
- Daniel Cordeiro de Morais Filho, Um Convite Matemtica: fundamentos lgicos com tcnicas de demonstrao, notas
histricas e curiosidades 3a. edio, Campina GrandePB: Editora Fbrica de Ensino, 2010.
- Geraldo vila, Anlise Matemtica para Licenciatura 2a. edio, So PauloSP: Editora Edgard Blcher, 2005.
Tratamentos modernos dos nmeros naturais podem ser encontradas nas seguintes referncias (o livro de Jacy Monteiro
apresenta uma axiomtica para os nmeros naturais diferente daquela de Peano):
- Jamil Ferreira, A Construo dos Nmeros, SBM, 2010
- E.L. Lima, Curso de Anlise - volume 1 (Projeto Euclides), IMPA,1992
- E.L. Lima, O Princpio da Induo, Revista Eureka
- L.H. Jacy Monteiro, Elementos de lgebra, Ao Livro Tcnico, 1970
1
Destacamos que essas denies intuitivas para nmero e nmero natural so adequadas para o ensino elementar de matemtica, ainda que
no sejam sucientes para uma abordagem rigorosa e minunciosa desses conceitos.
1
1.1 Axiomas de Peano
No que segue, um cuidado importante para evitar confuses est em distinguir claramente os signicados das palavras nmero
e numeral : nmero a medida de uma quantidade ou o elemento de um conjunto (numrico); numeral o nome ou o smbolo
utilizado para designar um nmero.
2
Axiomas de Peano
O conjunto dos nmeros naturais N um conjunto que possui uma funo s : N N, chamada funo
sucessor, que possui as seguintes propriedades:
(P1) A funo sucessor injetiva:
n; m N; s (n) = s (m) =n = m
(P2) Existe um nmero natural 1 N, chamado um, que no sucessor de nenhum outro nmero natural:
1 = s (N)
(P3) Princpio da Induo: se um subconjunto M N contem o nmero natural 1 bem como o sucessor de
todos os seus elementos (i.e.: s (M) M), ento M = N:
M N; S (M) M; 1 M =M = N
A ao da funo sucessor s sobre os nmeros naturais tambm denotada por:
s (n) =: n + 1 ; \n N
Salientamos que essa notao compatvel com a denio e com a notao da operao de adio de nmeros naturais; alm
disso, ela expressa objetivamente o signicado intuitivo da funo sucessor.
O Princpio da Induo uma caracterstica muito importante do conjunto dos nmeros naturais, pois serve tanto como
tcnica de demonstrao de identidades e propriedades envolvendo os nmeros naturais quanto serve para denirmos conceitos
e funes com domnio em N. Abaixo, enunciamos explicitamente as verses do Princpio da Induo para provar propriedades
dos nmeros naturais e para denir funes em N.
Princpio da Induo (enunciado de modo til para provar propriedades dos nmeros naturais):
Se P uma propriedade dos nmeros naturais tal que:
i) P vlida para um nmero natural n
0
N;
ii) A validade de P para n N implica na validade de P para o sucessor n + 1 N
Ento a propriedade P vale para todos os nmeros naturais n N tais que n _ n
0
.
Princpio da Induo (enunciado de modo til para denir funes sobre nmeros naturais):
Seja X um conjunto qualquer e seja P um procedimento tal que:
Para n N, xados valores x
1
; :::; x
n
X, ento P especica um nico valor para x
n+1
, denotado por
P x
1
; :::x
n

Ento, dado um valor x

0
X, existe uma nica funo
f : N X
tal que
f (1) = x
1
e f (n + 1) = P f (1) ; :::; f (x
n
) ; \n N
Destaco a seguinte terminologia: funo (ou sequncia) denida recursivamente uma funo (ou sequncia) que
denida por induo.
2
Vale destacar que a incluso ou excluso do nmero 0 (zero) no conjunto dos nmeros naturais uma questo de convenincia ou mesmo gosto.
Aqui, no consideramos o nmero 0 (zero) como elemento do conjunto dos nmeros naturais.
2
2 Problemas
Problem 1 Prove as seguintes identidades, usando induo matemtica:
3
1. 1 + 2 + ::: + n =
n(n+1)
2
; \n N
2. 2 + 4 + ::: + 2n = n(n + 1) ; \n N
3. 1 + 3 + 5 + ::: + (2n 1) = n
2
; \n N
4. 1
2
+ 2
2
+ ::: + n
2
=
n(n+1)(2n+1)
6
; \n N
5. 1
3
+ 2
3
+ ::: + n
3
=

n(n+1)
2

2
; \n N
6. n
3
=
h
n(n+1)
2
i
2

h
n(n1)
2
i
2
; \n N
7. Para r R; r ,= 1:
1 + r + ::: + r
n
=
r
n+1
1
r 1
; \n N
8. Para r R; r ,= 1:
1 + 2r + 3r
2
+ ::: + nr
n1
=
nr
n+1
(n + 1) r
n
+ 1
(1 r)
2
; n N
9. Desigualdade de Bernoulli:
(1 + x)
n
_ 1 + nx ; \n N; \x R (x _ 1)
Problem 2 Frmula para a soma parcial de uma PA
4
: sejam a
0
; r R e
a
n
= a
0
+ nr ; \n N
Ento,
a
0
+ a
1
+ ::: + a
n
= (n + 1) a
0
+
n(n + 1)
2
r
Problem 3 Frmula para a soma dos termos de uma PG
5
: sejam a
0
; q R e
a
n
= a
0
q
n
; \n N
Ento,
a
0
+ a
1
+ ::: + a
n
= a
0
r
n+1
1
r 1
Problem 4 Deduza a frmula sugerida pela seguinte tabela, expresse-a numa notao matemtica adequada e demonstre-a:
6
1 = 1
3 + 5 = 8
7 + 9 + 11 = 27
13 + 15 + 17 + 19 = 64
21 + 23 + 25 + 27 + 29 = 125
Problem 5 Prove por induo que os seguintes nmeros so irracionais:
i)
s
2 +
r
2 +
q
2 + ::: +
_
2
| {z }
n razes
ii)
2
s
2 +
3
r
3 +
4
q
4 + ::: +
n+1
_
n + 1
| {z }
n razes
3
Um exerccio interessante consiste em adivinhar as frmulas ao invs de apenas provar que so verdadeiras. Muitas vezes, a adivinhao das
frmulas mais difcil do que a prova de sua veracidade...
Destaques:
i) Os exerccios 1, 3 e 5 possuem provas geomtricas apresentadas em: G.F. Simmons, Clculo com Geometria Analtica, Volume I, Editora
McGraw Hill Ltda., So Paulo, 1987: Apndice D.1, p.758-770;
ii) Perceba que o tem 1 serve para provar o tem 2 e vice-versa;
iii) Perceba que para os tens 1, 2 e 3, quaisquer dois deles servem para provar o terceiro;
iv) Perceba que o tem 5 serve para provar o tem 6 e vice-versa.
4
Existe uma prova no-indutiva para a soma parcial de uma PA. Tente obt-la.
5
Existe uma prova no-indutiva para a soma parcial de uma PG. Tente obt-la.
6
Extraido (com modicaes) de: G. Polya, A Arte de Resolver Problemas, Rio de Janeiro, 2006: Editora Intercincia: p.189
3
Problem 6 Considere a funo f : N N denida recursivamente pelas condies abaixo e determine o valor de f (1993):
i) f (1) = 1
ii) f (2n) = 2f (n) + 1 se n _ 1
iii) f (f (n)) = 4n + 1 se n _ 2
Problem 7 Considere uma funo f : N N tal que f(n + 1) > f(n) para todo n N. Admitindo que f(f(n)) = 3n para
todo n N, determine o valor de f(1995).
Problem 8 Prove o Algoritmo da Diviso de Euclides: Para todo par de nmeros naturais m e n, existem existem
nmeros naturais q e r nicos tais que
m = qn + r ; 0 _ r _ n 1
onde o caso r = 0 signica que o nmero m um mltiplo do nmero n.
Problem 9 Prove o Princpio Fundamental da Contagem (Princpio Multiplicativo): Se um acontecimento A
pode ocorrer de m maneiras diferentes e se, para cada uma das m maneiras possveis de ocorrncias de A, um segundo
acontecimento B pode ocorrer de n maneiras diferentes, ento o nmero de maneiras de ocorrer o acontecimento A seguido
do acontecimento B mn.
Problem 10 Prove o Princpio Fundamental da Contagem Extendido: Se um acontecimento A
i
pode ocorrer de
m
i
maneiras diferentes para (i = 1; 2; :::; n), ento o nmero de maneiras diferentes que a sequncia (A
1
, A
2
, ..., A
n
) de n
acontecimentos sucessivos pode ocorrer igual a m
1
m
2
::: m
n
.
Problem 11 Prove o Pequeno Teorema de Fermat: Se p um inteiro primo, ento para todo inteiro positivo n, vale
n
p
= nmod(p).
Problem 12 Sobre Polinmios, prove que:
Se C uma raiz do polinmio p (x) , ento (x ) divide p (x)
Conclua que o nmero de razes de um polinmio (contando multiplicidades) sempre menor ou igual ao grau do polinmio.
7;8
7
Um polinmio d (x) divide um polinmio p (x) quando existe um polinmio q (x) tal que:
p (x) = q (x) d (x)
8
Sugesto: faa induo sobre o grau de p (x) usando convenientemente o fato de que (x ) obviamente divide (x )
n
, para todo n 2 N

.
4
Problem 13 Prove que a proposio falsa e identique o erro na demonstrao por induo apresentada:
Proposio: Dado n N

, h 2
n
sequncias de 0s e 1s de comprimento n com a propriedade de que no possuem 1s
consecutivos, exceto possivelmente na ltima e penltima posies.
Prova por Induo (ERRADA): A proposio verdadeira para n = 1, pois h apenas duas sequncias com apenas um
elemento e ambas satisfazem a propriedade exigida essas sequncias so (0) e (1). Suponha que a proposio seja vlida
para um dado nmero natural n _ 1. Dada qualquer sequncia de 0s e 1s satisfazendo a propriedade exigida, acrescentando
0 ou 1 aps o ltimo elemento da sequncia obtemos duas sequncias distintas de comprimento n +1 que tambm satisfazem
a propriedade exigida, pois permitido que ela termine com 1s em sequncia na ltima e penltima posies. Com isso,
mostramos que o nmero de sequncias de 0s e 1s de comprimento n+1 satsifazendo a propriedade exigida 22
n
= 2
n+1
.
Pelo Princpio da Induo, concluimos que a proposio verdadeira para todo n _ 1.
Problem 14 Prove que a proposio falsa e identique o erro na demonstrao por induo apresentada:
Proposio. Todos os cavalos tm a mesma cor.
Prova por Induo (ERRADA): Dado n N

, seja P (n) a proposio de que todos os elementos de um conjunto

arbitrrio de n cavalos tm a mesma cor. Trivialmente, P (1) verdadeiro. Dado n N

, suponha por hiptese de induo

que P (n) seja verdadeira. Seja S um conjunto arbitrrio de n + 1 cavalos. Removendo um cavalo de S, obtemos um
subconjunto de n cavalos; como P (n) verdadeira (por hiptese de induo), todos os cavalos remanescentes de S tm a
mesma cor; como o cavalo removido de S arbitrrio, concluimos que todos os cavalos de S tm a mesma cor. Como S
arbitrrio, isso signica que P (n + 1) verdadeira. Pelo Princpio de Induo, concluimos que P (n) verdadeira para todo
n N

. Isso implica que todos os cavalos tm a mesma cor.

Problem 15 Prove que a proposio verdadeira, mas que a demonstrao por induo apresentada est errada:
Proposio. A soma dos ntulos internos de um polgono regular de n _ 3 lados igual a (n 2) radianos.
Prova por Induo (ERRADA): Dado n N

; n _ 3, seja P (n) a proposio de que a soma dos ntulos internos de

um polgono regular de n lados igual a (n 2) radianos. P (3) verdadeira porque signica que a soma dos ngulos
internos de qualquer tringulo regular radianos, fato conhecido da Geometria Euclideana. Dado n N

; n _ 3, suponha
por hiptese de induo que P (n) seja verdadeira. Seja S um polgono regular de n + 1 lados. Substituindo dois segmentos
consecutivos de S por um nico segmento obtemos um polgono regular de n lados; como P (n) verdadeira (por hiptese de
induo), a soma dos ngulos internos desse novo polgono (n 2) radianos. Agora, retornando os segmentos removidos
de S adicionamos radianos soma dos ngulos internos, como se pode vericar. Concluimos que a soma dos ngulos
internos de S igual a (n + 1 2) = (n 2) + radianos. Como S um polgono arbitrrio de n+1 lados, isso signica
que P (n + 1) verdadeira. Pelo Princpio de Induo, concluimos que P (n) verdadeira para todo n N

; n _ 3. Isso
prova a proposio.
5
2.1 Solues
Solution 16 (Problema 4) O nmero na segunda coluna da n-sima linha (deduzimos) n
3
; a soma na primeira coluna
da n-sima linha da tabela consiste da sequncia de primos que comea com o primo p
n
e termina com o primo q
n
; usando
a frmula para soma de nmeros consecutivos, temos
p
n
= 2
n(n 1)
2
1 = n(n 1) 1 ; q
n
= 2
n(n + 1)
2
1 = n(n + 1) 1
Portanto, a n-sima linha da tabela sugere a seguinte identidade:
n
X
k=1
(n(n 1) + 2k 1) = n
3
; \n N
Prova por induo.
Caso n = 1: vericao imeditada!
Etapa de induo: suponha que a frmula seja vlida para n

N; ento deduzimos que ela tambm vlida para n

+1:
n+1
X
k=1
((n

+ 1) (n

+ 1 1) + 2k 1) =
n+1
X
k=1
((n

1 + 2) n

+ 2k 1)
=
n+1
X
k=1
(n

(n

1) + 2k 1 + 2n

)
=
n+1
X
k=1
(n

(n

1) + 2k 1) + 2
n+1
X
k=1
n

=
n
X
k=1
(n

(n

1) + 2k 1) + (n

(n

1) + 2 (n

+ 1) 1) + 2
n+1
X
k=1
n

= n
3

+ n
2

+ 2n

+ 2 1 + 2n

(n

+ 1)
= n
3

+ 3n
2

+ 3n

1
= (n

+ 1)
3
Pelo Princpio da Induo, provamos que a frmula verdadeira.
6