MA12 - Unidade 1

Nmeros Naturais
Semana de 04/04 a 10/04

Deus criou os nmeros naturais. O resto obra dos homens.

Leopold Kronecker

Introduo

Enquanto os conjuntos constituem um meio auxiliar, os nmeros so

um dos dois objetos principais de que se ocupa a Matemtica.

(O

outro o espao, junto com as guras geomtricas nele contidas.)

Nmeros so entes abstratos, desenvolvidos pelo homem como modelos que permitem contar e medir, portanto avaliar as diferentes
quantidades de uma grandeza.
Os compndios tradicionais dizem o seguinte:

MA12 - Unidade 1

Nmero o resultado da comparao entre uma grandeza e a

unidade.

Se a grandeza discreta, essa comparao chama-se uma

contagem e o resultado um nmero inteiro; se a grandeza contnua,

a comparao chama-se uma medio e o resultado um nmero real.

Nos padres atuais de rigor matemtico, o trecho acima no pode
ser considerado como uma denio matemtica, pois faz uso de ideias
(como grandeza, unidade, discreta, contnua) e processos (como comparao) de signicado no estabelecido. Entretanto, todas as palavras
que nela aparecem possuem um sentido bastante claro na linguagem
do dia-a-dia. Por isso, embora no sirva para demonstrar teoremas a
partir dela, a denio tradicional tem o grande mrito de nos revelar
para que servem e por qual motivo foram inventados os nmeros. Isto
muito mais do que se pode dizer sobre a denio que encontramos
no nosso dicionrio mais conhecido e festejado, conforme reproduzimos
a seguir.

Nmero.

[Do lat. numeru.] S.m. 1. Mat. O conjunto de todos

os conjuntos equivalentes a um conjunto dado.

Discutiremos este ponto logo mais, quando tratarmos de nmeros
cardinais.

No momento, parece oportuno fazer uma pequena pausa

para uma observao.

2 Comentrio: Denies, Axiomas, etc.

Conforme dissemos no Captulo 1, uma denio matemtica uma
conveno que consiste usar um nome, ou uma sentena breve, para
designar um objeto ou uma propriedade, cuja descrio normalmente
exigiria o emprego de uma sentena mais longa.
denies, como exemplo:

Vejamos algumas

Nmeros Naturais

ngulo a gura formada por duas semi-retas que tm a mesma

origem.

Primos entre si so dois ou mais nmeros naturais cujo nico

divisor comum a unidade.

Mas nem sempre foi assim.

Euclides, por exemplo, comea os

Elementos com uma srie de denies, das quais selecionamos

as seguintes:

Linha um comprimento sem largura.

Superfcie o que possui comprimento e largura somente.

Quando uma reta corta outra formando ngulos adjacentes iguais,

cada um desses ngulos chama-se reto e as retas se dizem perpendiculares.

As denies de ngulo e de nmeros primos entre si, dadas acima,

bem como as denies de ngulo reto e retas perpendiculares dadas
por Euclides, so corretas. Elas atendem aos padres atuais de preciso e objetividade. Por outro lado, nas denies de linha e superfcie, Euclides visa apenas oferecer ao seu leitor uma imagem intuitiva
desses conceitos.

Elas podem servir para ilustrar o pensamento ge-

omtrico mas no so utilizveis nos raciocnios matemticos porque

so formuladas em termos vagos e imprecisos.
Na apresentao de uma teoria matemtica, toda denio faz uso
de termos especcos, os quais foram denidos usando outros termos,
e assim sucessivamente. Este processo iterativo leva a trs possibilidades:
a) Continua indenidamente, cada denio dependendo de outras
anteriores, sem nunca chegar ao m.

MA12 - Unidade 1

b) Conduz a uma circularidade, como nos dicionrios.

v, por exemplo: compreender
entender

perceber, perceber

(Onde se
entender e

compreender.)

c) Termina numa palavra, ou num conjunto de palavras (de preferncia dotadas de conotaes intuitivas simples) que no so denidas,
isto , que so tomadas como representativas de conceitos primitivos.
Exemplos: ponto, reta, conjunto.
Evidentemente, as alternativas a) e b) acima citadas no convm
Matemtica. A alternativa c) a adotada. Se prestarmos ateno,
veremos que foi assim que aprendemos a falar.

Numerosas palavras

nos foram apresentadas sem denio e permanecem at hoje em nosso

vocabulrio como conceitos primitivos, que aprendemos a usar por
imitao e experincia.
Para poder empregar os conceitos primitivos adequadamente, necessrio dispor de um conjunto de princpios ou regras que disciplinem
sua utilizao e estabeleam suas propriedades.

Tais princpios so

chamados axiomas ou postulados. Assim como os conceitos primitivos

so objetos que no se denem, os axiomas so proposies que no
se demonstram.
Uma vez feita a lista dos conceitos primitivos e enunciados os axiomas de uma teoria matemtica, todas as demais noes devem ser
denidas e as armaes seguintes devem ser demonstradas.
Nisto consiste o chamado mtodo axiomtico.

As proposies a

serem demonstradas chamam-se teoremas e suas consequncias imediatas so denominadas corolrios. Uma proposio auxiliar, usada na
demonstrao de um teorema, chamada um lema.

Nmeros Naturais

Ser um axioma ou ser um teorema no uma caracterstica intrnseca de uma proposio. Dependendo da preferncia de quem organiza a apresentao da teoria, uma determinada proposio pode
ser adotada como axioma ou ento provada como teorema, a partir de
outra proposio que a substituiu na lista dos axiomas.
Na seo seguinte, veremos um resumo da teoria matemtica dos
nmeros naturais, onde os conceitos primitivos so nmero natural
e sucessor e os axiomas so os de Peano.
Do ponto de vista do ensino a nvel do segundo grau, no tem cabimento expor a Matemtica sob forma axiomtica. Mas necessrio
que o professor saiba que ela pode ser organizada sob a forma acima
delineada. Uma linha de equilbrio a ser seguida na sala de aula deve
basear-se nos seguintes preceitos:
1.

Nunca dar explicaes falsas sob o pretexto de que os alunos

ainda no tm maturidade para entender a verdade. (Isto seria como

dizer a uma criana que os bebs so trazidos pela cegonha.) Exemplo:
innito um nmero muito grande. Para outro exemplo, vide RPM
29, pgs. 13-19.
2. No insistir em detalhes formais para justicar armaes que,
alm de verdadeiras, so intuitivamente bvias e aceitas por todos
sem discusso nem dvidas.

Exemplo: o segmento de reta que une

um ponto interior a um ponto exterior de uma circunferncia tem

exatamente um ponto em comum com essa circunferncia.
Em contraposio, fatos importantes cuja veracidade no evidente, como o Teorema de Pitgoras ou a Frmula de Euler para
poliedros convexos, devem ser demonstrados (at mesmo de vrias
formas diferentes).

MA12 - Unidade 1

Excetuam-se, naturalmente, demonstraes longas, elaboradas ou

que faam uso de noes e resultados acima do alcance dos estudantes
desse nvel (como o Teorema Fundamental da lgebra, por exemplo).
Provar o bvio transmite a falsa impresso de que a Matemtica
intil. Por outro lado, usar argumentos elegantes e convincentes para
demonstrar resultados inesperados uma maneira de exibir sua fora e
sua beleza. As demonstraes, quando objetivas e bem apresentadas,
contribuem para desenvolver o raciocnio, o esprito crtico, a maturidade e ajudam a entender o encadeamento lgico das proposies
matemticas.
3.

Ter sempre em mente que, embora a Matemtica possa ser

cultivada por si mesma, como um todo coerente, de elevado padro

intelectual, formado por conceitos e proposies de natureza abstrata,
sua presena no currculo escolar no se deve apenas ao valor dos seus
mtodos para a formao mental dos jovens.
A importncia social da Matemtica provm de que ela fornece
modelos para analisar situaes da vida real.

Assim, por exemplos,

conjuntos so o modelo para disciplinar o raciocnio lgico, nmeros

naturais so o modelo para contagem e nmeros reais so o modelo
para medida; funes ans servem de modelo para situaes, como
o movimento uniforme, em que os acrscimos da funo so proporcionais aos acrscimos da varivel independente. E assim por diante.
Todos os tpicos deste livro so abordados sob o seguinte lema: a
Matemtica fornece modelos abstratos para serem utilizados em situaes concretas, do dia-a-dia e das Cincias.

Para poder empregar

estes modelos necessrio vericar, em cada caso, que as hipteses

que lhe servem de base so satisfeitas.

Nmeros Naturais

3 O Conjunto dos Nmeros Naturais

Lentamente, medida em que se civilizava, a humanidade apoderouse desse modelo abstrato de contagem (um, dois, trs, quatro, ...) que
so os nmeros naturais. Foi uma evoluo demorada. As tribos mais
rudimentares contam apenas um, dois, muitos. A lngua inglesa ainda
guarda um resqucio desse estgio na palavra thrice, que tanto pode
signicar trs vezes como muito ou extremamente.
As necessidades provocadas por um sistema social cada vez mais
complexo e as longas reexes, possveis graas disponibilidade de
tempo trazida pelo progresso econmico, conduziram, atravs dos sculos, ao aperfeioamento do extraordinrio instrumento de avaliao
que o conjunto dos nmeros naturais.
Decorridos muitos milnios, podemos hoje descrever concisa e precisamente o conjunto

dos nmeros naturais, valendo-nos da notvel

sntese feita pelo matemtico italiano Giuseppe Peano no limiar do

sculo 20.

N um conjunto, cujos elementos so chamados nmeros naturais.

A essncia da caracterizao de N reside na palavra sucessor. Intuitivamente, quando n, n N, dizer que n o sucessor de n signica
que n vem logo depois de n, no havendo outros nmeros naturais entre n e n . Evidentemente, esta explicao apenas substitui sucessor
por logo depois, portanto no uma denio. O termo primitivo
sucessor no denido explicitamente. Seu uso e suas propriedades
so regidos por algumas regras, abaixo enumeradas:
a) Todo nmero natural tem um nico sucessor;
b) Nmeros naturais diferentes tm sucessores diferentes;
c) Existe um nico nmero natural, chamado um e representado

MA12 - Unidade 1

pelo smbolo 1, que no sucessor de nenhum outro;

d) Seja
Se

1X

pertence a

e se, alm disso, o sucessor de todo elemento

X,

X N).
de X ainda

um conjunto de nmeros naturais (isto ,

ento

X = N.

As armaes a), b), c) e d) acima so conhecidas como os axiomas

de Peano.

Tudo o que se sabe sobre os nmeros naturais pode ser

demonstrado como consequncia desses axiomas.

Um engenhoso processo, chamado sistema de numerao decima l,

permite representar todos os nmeros naturais com o auxlio dos smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8 e 9. Alm disso, os primeiros nmeros
naturais tm nomes:

o sucessor do nmero um chama se dois, o

sucessor de dois chama-se trs, etc.

A partir de um certo ponto,

esses nomes tornam-se muito complicados, sendo prefervel abrir mo

deles e designar os grandes nmeros por sua representao decimal.
(Na realidade, os nmeros muito grandes no possuem nomes.
exemplo, como se chamaria o nmero

Deve car claro que o conjunto

1000

10

Por

?).

N = {1, 2, 3, . . .} dos nmeros natu-

rais uma sequncia de objetos abstratos que, em princpio, so vazios

de signicado. Cada um desses objetos (um nmero natural) possui
apenas um lugar determinado nesta sequncia. Nenhuma outra propriedade lhe serve de denio. Todo nmero tem um sucessor (nico)
e, com exceo de 1, tem tambm um nico antecessor (nmero do
qual sucessor).

Vistos desta maneira, podemos dizer que os nmeros naturais so

nmeros ordinais : 1 o primeiro, 2 o segundo, etc.

Nmeros Naturais

Um Pequeno Comentrio Gramatical

Quando dizemos o nmero um, o nmero dois ou o nmero trs,
as palavras um, dois e trs so substantivos, pois so nomes de
objetos. Isto contrasta com o uso destas palavras em frases como um
ano, dois meses e trs dias, onde elas aparecem para dar a ideia de
nmero cardinal, isto , como resultados de contagens.

Nesta frase,

um, dois e trs no so substantivos. Pertencem a uma categoria

gramatical que, noutras lnguas (como francs, ingls e alemo, por
exemplo) chamada adjetivo numeral e que os gramticos brasileiros
e portugueses, h um par de dcadas, resolveram chamar de numeral
apenas. Este comentrio visa salientar a diferena entre os nmeros
naturais, olhados como elementos do conjunto

N,

e o seu emprego

como nmeros cardinais. Este segundo aspecto ser abordado no captulo seguinte.

Recomendao
1.

No se deve dar muita importncia eterna questo de saber se 0

(zero) deve ou no ser includo entre os nmeros naturais. (Vide Meu

Professor de Matemtica, pg.

150.)

Praticamente todos os livros

de Matemtica usados nas escolas brasileiras consideram 0 como o

primeiro nmero natural (consequentemente 1 o segundo, 2 o terceiro, etc).

Como se viu acima, no adotamos esse ponto-de-vista.

Trata-se, evidentemente, de uma questo de preferncia. Deve-se lembrar que o smbolo 0 (sob diferentes formas grcas) foi empregado
inicialmente pelos maias, posteriormente pelos hindus, difundido pelos
rabes e adotado no ocidente, no como um nmero e sim como um

10

MA12 - Unidade 1

algarismo, com o utilssimo objetivo de preencher uma casa decimal

vazia. (No caso dos maias, a base do sistema de numerao era 20, e
no 10.) De resto, a opo do nmero natural para iniciar a sequncia
no se limita a escolher entre 0 e 1. Frequentemente esquecemos que,
do mesmo modo que conhecemos e usamos o zero mas comeamos os
nmeros naturais com 1, a Matemtica grega, segundo apresentada
por Euclides, no considerava 1 como um nmero. Nos Elementos,
encontramos as seguintes denies:
Unidade aquilo pelo qual cada objeto um.

Nmero uma

multitude de unidades.

4 Destaque para o Axioma da Induo

O ltimo dos axiomas de Peano conhecido como o axioma da induo.

Ele a base de um eciente mtodo de demonstrao de

proposies referentes a nmeros naturais (demonstraes por induo,

ou por recorrncia). Enunciado sob a forma de propriedades em vez
de conjuntos, ele se formula assim:
Seja

P (n)

n.

Supo-

implica a validez de

P (n ),

uma propriedade relativa ao nmero natural

nhamos que
i)

P (1)

vlida;

ii) Para todo

onde

n N,

o sucessor de

Ento

P (n)

a validez de

n.

vlida qualquer que seja o nmero natural

Com efeito, se chamarmos de

P (n)

n.

o conjunto dos nmeros naturais

P (n) vlida, veremos que 1 e X em virtude de i) e

que n e X n X em virtude de ii). Logo, pelo axioma da induo,
conclumos que X = N.
para os quais

Nmeros Naturais

11

Recomendao
2.

O axioma da induo uma forma sagaz e operacional de dizer

que qualquer nmero natural

pode ser alcanado se partirmos de 1

e repetirmos sucientemente a operao de tomar o sucessor de um

nmero. Ele est presente (pelo menos de forma implcita) sempre que,
ao armarmos a veracidade de uma proposio referente aos nmeros
naturais, vericamos que ela verdadeira para
e dizemos e assim por diante....
esta ltima frase.

N.

n = 1, n = 2, n = 3

Mas preciso ter cuidado com

Ela pressupe que

P (n) P (n )

para todo

No nal deste captulo, apresentamos como exerccios algumas

proposies demonstrveis por recorrncia, bem como alguns curiosos

paradoxos que resultam do uso inadequado do axioma da induo.

5 Adio e Multiplicao
Entre os nmeros naturais esto denidas duas operaes fundamentais: a adio, que aos nmeros

n+p

n, p N

faz corresponder a soma

e a multiplicao, que lhes associa o produto

np.

n + p o nmero natural que se obtm a partir de n

aplicando-se p vezes seguidas a operao de tomar o sucessor. Em
particular, n + 1 o sucessor de n, n + 2 o sucessor do sucessor de n,
etc. Por exemplo, tem-se 2+2 = 4 simplesmente porque 4 o sucessor
do sucessor de 2.
A soma

De agora em diante, o sucessor do nmero natural

por

n + 1.
n 1 = n por denio e, quando p = 1,
iguais a n.

Quanto ao produto, pe-se

np

n ser designado

a soma de

parcelas

12

MA12 - Unidade 1

Em ltima anlise, a soma

n+p

e o produto

np

tm mesmo os

signicados que lhes so atribudos pelas explicaes dadas acima.

Entretanto, at que saibamos utilizar os nmeros naturais para efetuar
contagens, no tem sentido falar em  p vezes e  p parcelas. Por isso,
as operaes fundamentais devem ser denidas por induo, como se
segue.

n+1 = sucessor de n e n+(p+l) = (n+p)+1 . Esta ltima

igualdade diz que se sabemos somar p a todos os nmeros naturais n,
sabemos tambm somar p + 1: a soma n + (p + 1) simplesmente o
sucessor (n + p) + 1 de n + p . O axioma da induo garante que a
soma n + p est denida para quaisquer n, p N.
Adio:

n 1 = n e n(p + 1) = np + n. Ou seja: multiplicar um nmero n por 1 no o altera. E se sabemos multiplicar

todos os nmeros naturais n por p, sabemos tambm multiplic-los
por p + 1: basta tomar n(p + 1) = np + n. Por induo, sabemos multiplicar todo n por qualquer p. Estas operaes gozam das conhecidas
Multiplicao:

propriedades de associatividade, comutatividade e distributividade.

As demonstraes so feitas por induo. (Voltaremos ao assunto na
Unidade 5 de MA12, onde mais detalhes seo apresentados.)

6 Ordem Entre os Nmeros Naturais

Nossa breve descrio do conjunto
com a relao de ordem
Dados

m < n,

m, n N,

dos nmeros naturais termina

m < n.

diz-se que

menor do que

para signicar que existe algum

(Isto quer dizer que

p N

vezes.)

e escreve-se

n = m + p.
sucessor de m, o

tal que

o sucessor do sucessor... do

ato de tomar o sucessor sendo iterado

n,

Nmeros Naturais

A relao

m<n

13

tem as seguintes propriedades:

Transitividade: Se

n<p

ento

m, n N, vale
m = n, m < n ou n < m.
Dados

Tricotomia:

alternativas:

m<n

m < n
mp < np.

Monotonicidade:

m+p<n+p

Se

m < p.

uma, e somente uma, das

ento, para qualquer

p N,

tem-se

X N possui um
menor elemento. Isto signica que existe um elemento m0 X que
menor do que todos os demais elementos de X . A boa-ordenao
Boa-ordenao:

Todo subconjunto no-vazio

pode muitas vezes substituir com vantagem a induo como mtodo

de prova de resultados referentes a nmeros naturais.
So muito raros e pouco interessantes os exemplos de demonstrao
por induo que podem ser dados sem usar as operaes fundamentais
e as desigualdades. Por isso, somente agora apresentamos um deles,
seguido de uma demonstrao por boa-ordenao.

Exemplo 1.

n,

Queremos provar a validez, para todo nmero natural

da igualdade

P (n) : 1 + 3 + 5 + . . . + (2n 1) = n2
Usaremos induo. Para
Supondo

P (n)

n = 1, P (1)

se resume a armar que

verdadeira para um certo valor de

n,

somamos

a ambos os membros da igualdade acima, obtendo

1 + 3 + 5 + . . . + (2n 1) + (2n + 1) = n2 + 2n + 1,
ou seja:

1 + 3 + 5 + . . . + [2(n + 1) 1] = (n + 1)2 .

1 = 1.
2n + 1

14

MA12 - Unidade 1

Mas esta ltima igualdade

P (n)

vale para todo

n N.

P (n + 1).

Logo

P (n) P (n + 1).

Assim,

Podemos ento armar que a soma dos

primeiros nmeros mpares igual ao quadrado de

Exemplo 2. (Usando boa-ordenao.)

n.

Lembremos que um n-

p chama-se primo quando no pode ser expresso como

produto p = mn de dois nmeros naturais, a menos que um deles seja
igual a 1 (e o outro igual a p); isto equivale a dizer que os fatores m, n
no podem ser ambos menores do que p. Um resultado fundamental
mero natural

em Aritmtica diz que todo nmero natural primo ou um produto

de fatores primos. Provaremos isto por boa ordenao. Usaremos a
linguagem de conjuntos. Seja

o conjunto dos nmeros naturais que

so primos ou produtos de fatores primos. Observemos que se

pertencem a
mentar de

X.

ento o produto
Assim,

mn

pertence a

X.

Seja

o comple-

o conjunto dos nmeros naturais que no

so primos nem so produtos de fatores primos. Queremos provar que

vazio. Isto ser feito por reduo ao absurdo (como sempre se d

nas demonstraes por boa-ordenao).

Com efeito, se

no fosse

a Y . Ento todos os nmeros

menores do que a pertenceriam a X . Como a no primo, ter-se-ia
a = m n, com m < a e n < a, logo m X e n X . Sendo assim,
mn X . Mas mn = a, o que daria a X , uma contradio. Segue-se
que Y = , concluindo a demonstrao.

vazio, haveria um menor elemento

Exerccios
1.

a, seja Y N um conjunto com as seguintes

(1) a Y ; (2) n Y n+1 Y . Prove que Y contm

Dado o nmero natural

propriedades:

Nmeros Naturais

15

todos os nmeros naturais maiores do que ou iguais a

considere o conjunto
naturais

2.

n
3.

a,

X = Ia U Y ,

onde

e prove, por induo, que

a.

Ia o conjunto
X = N.)
2n + 1
n 5.

Use o exerccio anterior para provar que

e, em seguida, que

n2 < 2n

para todo

(Sugesto:

dos nmeros

2n

para todo

Complete os detalhes da seguinte demonstrao do Princpio de

Boa Ordenao: Seja

elemento.

AN

um conjunto que no possui um menor

Considere o conjunto

formado pelos nmeros naturais

1, 2, ..., n no pertencem a A. Observe que 1 X e, alm

disso, se n X ento todos os elementos de A so
n + 1. Como
n + 1 no pode ser o menor elemento de A, conclua que n + 1 X .
Logo, por induo, segue-se que X = N. Portanto A vazio.
n

4.

tais que

Prove, por induo, que

n+1
n
para todo

e conclua da que a sequncia

3
4
1, 2, 3, 4 . . .
decrescente a partir do terceiro termo.

5.

Prove, por induo, que

1 + 2 2 + 3 2 + + n2 =

n(n + 1)(2n + 1)
.
6

MA12 - Unidade 1

16

6.

Critique a seguinte argumentao: Quer-se provar que todo nmero

natural pequeno.
disso, se

Evidentemente, 1 um nmero pequeno.

Alm

n for pequeno, n + 1 tambm o ser, pois no se torna grande

um nmero pequeno simplesmente somando-lhe uma unidade. Logo,

por induo, todo nmero natural pequeno.

7.

(m+n)(1+1) de duas maneiras

corte para concluir que m + n =

Use a distributividade para calcular

diferentes e em seguida use a lei do

n + m.
8.

X N um conjunto no-vazio, com a seguinte propriedade:

para qualquer n N, se todos os nmeros naturais menores do que
n pertencem a X ento n X . Prove que X = N. (Sugesto : boa
Seja

ordenao.)

9.

P (n) uma propriedade relativa ao nmero natural n. Suponha

que P (1), P (2) so verdadeiras e que, para qualquer n N, a verdade
de P (n) e P (n + 1) implica a verdade de P (n + 2). Prove que P (n)
verdadeira para todo n N.
Seja

10.

Use induo para provar que

1
13 + 23 + 33 + + n3 = n2 (n + 1)2 .
4