1

Nmeros Naturais
Sumrio
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 2

1.2 O Conjunto dos Nmeros Naturais . . . . . . . . . . 3

1.3 O Axioma da Induo . . . . . . . . . . . . . . . . . 4

1.4 As Duas Operaes: Adio e Multiplicao . . . . 5

1.5 A Ordenao nos Nmeros Naturais . . . . . . . . . 6

1.6 Exerccios Recomendados . . . . . . . . . . . . . . . 8

1.7 Textos Complementares . . . . . . . . . . . . . . . . 10

1
1.1 Introduo

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

Leopold Kronecker

Enquanto os conjuntos constituem um meio auxiliar, os nmeros so um dos dois

objetos principais de que se ocupa a Matemtica. O outro objeto o espao,

juntamente com as guras geomtricas nele contidas. Os nmeros so objetos

abstratos que foram desenvolvidos pelo homem para servir como modelos que

permitem contar e medir e, portanto avaliar as diferentes quantidades de uma

grandeza.

Os compndios tradicionais dizem o seguinte:

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 consi-

derado como uma denio matemtica, pois faz uso de idias (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 encon-

tramos 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.

+ Para Saber Mais - Comentrios sobre Denies e axiomas - Cli-

que para ler

 Nmeros Naturais Unidade 1

+ Na Sala de Aula - Reexes sobre a sala de aula - Clique para ler

1.2 O Conjunto dos Nmeros Naturais

Lentamente, medida em que se civilizava, a humanidade apoderou-se 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 reexs, 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 N 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,

0 0
quando n, n N, dizer que n o sucessor de n signica que n0 vem logo depois
0
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 pelo smbolo

1, que no sucessor de nenhum outro;

d) Seja X um conjunto de nmeros naturais (isto , X N). 1 X e se,

Se

alm disso, o sucessor de todo elemento de X ainda pertence a X , ento

X = N.

3
Unidade 1 O Axioma da Induo

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.

+ Para Saber Mais - Sobre o sistema de numerao - Clique para ler

+ Para Saber Mais - Um comentrio gramatical - Clique para ler

+ Na Sala de Aula - Uma recomendao - Clique para ler

1.3 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) uma propriedade relativa ao nmero natural n. Suponhamos que

i) P (1) vlida;

ii) Para todo n N, a validez de P (n) implica a validez de P (n0 ), onde n0 o

sucessor de n.
Ento P (n) vlida qualquer que seja o nmero natural n.

Com efeito, se chamarmos de X o conjunto dos nmeros naturais n para

os quais P (n) vlida, veremos que:

1 X em virtude de (i); e que
n X n0 X em virtude de (ii).

Logo, pelo axioma da induo, conclumos que X = N.

Definio 1 Esta formulao do Axioma da Induo chamada de Princpio de Induo

Matemtica

4
 Nmeros Naturais Unidade 1

+ Para Saber Mais - Cuidado! - Clique para ler

1.4 As Duas Operaes: Adio e Multipli-

cao

Entre os nmeros naturais esto denidas duas operaes fundamentais:

a adio, que aos nmeros n, p N faz corresponder a soma n+p e a

multiplicao, que lhes associa o produto np.

A soma 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.

De agora em diante, o sucessor do nmero natural n ser designado por

n + 1.
Quanto ao produto, pe-se n1 = n por denio e, quando p 6= 1, np a

soma de p parcelas iguais a n.

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.

Adio: n+1 = sucessor de n

n + (p + 1) = (n + p) + 1 . Esta ltima
e

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.

Multiplicao: n1 = 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 propriedades de associatividade, comutatividade e distributividade.

As demonstraes so feitas por induo. (Voltaremos ao assunto na Unidade

5 de MA12, onde mais detalhes sero apresentados.)

5
Unidade 1 A Ordenao nos Nmeros Naturais

1.5 A Ordenao nos Nmeros Naturais

Nossa breve descrio do conjunto N dos nmeros naturais termina com a

relao de ordem m < n.

Dados m, n N, diz-se m menor do que n, e escreve-se m < n,
que

para signicar que existe algum p N tal que n = m + p. (Isto quer dizer

que n o sucessor do sucessor... do sucessor de m, o ato de tomar o sucessor

sendo iterado p vezes.)

A relao m < n tem as seguintes propriedades:

Transitividade: Se m<n e n<p ento m < p.

Tricotomia: m, n N,
Dados vale uma, e somente uma, das alternativas:

m = n, m < n ou n < m.

Monotonicidade: Se m < n ento, para qualquer p N, tem-se m+p < n+p

e mp < np.

Boa-ordenao: Todo subconjunto no-vazioX N possui um menor ele-

mento. Isto signica que existe um elemento m0 X que menor do que

todos os demais elementos de X . A boa-ordenao 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 desi-

gualdades. Por isso, somente agora apresentamos um deles, seguido de uma

demonstrao por boa-ordenao.

Exemplo 1. Queremos provar a validez, para todo nmero natural n, da

igualdade

P (n) : 1 + 3 + 5 + . . . + (2n 1) = n2
Usaremos induo. Para n = 1, P (1) se resume a armar que 1 = 1. Supondo

P (n) verdadeira para um certo valor de n, somamos 2n+1 a ambos os membros

da igualdade acima, obtendo

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

6
 Nmeros Naturais Unidade 1

ou seja:

1 + 3 + 5 + . . . + [2(n + 1) 1] = (n + 1)2 .
Mas esta ltima igualdade P (n + 1). Logo P (n) P (n + 1). Assim, P (n)
vale para todo n N. Podemos ento armar que a soma dos n primeiros

nmeros mpares igual ao quadrado de n.

Exemplo 2. (Usando boa-ordenao.) Lembremos que um nmero natural

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 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 X o conjunto dos nmeros naturais

que so primos ou produtos de fatores primos. Observemos que se m e n

pertencem a X ento o produto mn pertence a X . Seja Y o complementar

de X . Assim, Y o conjunto dos nmeros naturais que no so primos nem

so produtos de fatores primos. Queremos provar que Y vazio. Isto ser

feito por reduo ao absurdo (como sempre se d nas demonstraes por boa-

ordenao). Com efeito, se Y no fosse vazio, haveria um menor elemento

aY. a pertenceriam a X . Como a

Ento todos os nmeros menores do que

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.

7
Unidade 1 Exerccios Recomendados

1.6 Exerccios Recomendados

1. Dado o nmero natural a, seja Y N um conjunto com as seguintes

propriedades:

(1) aY;
(2) n Y n + 1 Y .

Prove que Y contm todos os nmeros naturais maiores do que ou iguais

a a.

(Sugesto: considere o conjunto X = Ia Y , onde Ia o conjunto dos nmeros

naturais 6 a, e prove, por induo, que X = N.)

2. Use o exerccio anterior para provar que 2n + 1 6 2n para todo n>2 e,

em seguida, que n2 < 2n para todo n > 5.

3. Complete os detalhes da seguinte demonstrao do Princpio de Boa

Ordenao: Seja A N um conjunto que no possui um menor ele-

mento. Considere o conjunto X formado pelos nmeros naturais n tais

que 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.

4. Prove, por induo, que

 n + 1 n
6n
n
para todo n>3 e conclua da que a sequncia

3

4
1, 2, 3, 4 . . .

decrescente a partir do terceiro termo.

5. Prove, por induo, que

n(n + 1)(2n + 1)
1 + 2 2 + 3 2 + + n2 = .
6
6. Critique a seguinte argumentao: Quer-se provar que todo nmero natu-

ral pequeno. Evidentemente, 1 um nmero pequeno. Alm disso, se 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.

8
 Nmeros Naturais Unidade 1

7. Use a distributividade para calcular (m + n)(1 + 1) de duas maneiras

diferentes e em seguida use a lei do corte para concluir que m+n = n+m.
8. Seja X N um conjunto no-vazio, com a seguinte propriedade: para
qualquer n N, se todos os nmeros naturais menores do que n perten-

cem a X ento n X . Prove que X = N. (Sugesto : boa ordenao.)

9. Seja 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.

10. Use induo para provar que

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

9
 Unidade 1 Textos Complementares

1.7 Textos Complementares

Na Sala de Aula Reexes sobre a sala de aula

Do ponto de vista do ensino em nvel do ensino mdio, 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).

Excetuam-se, naturalmente, demonstraes longas, elaboradas ou que fa-

am uso de noes e resultados acima do alcance dos estudantes desse nvel

(como o Teorema Fundamental da Algebra, por exemplo).

Provar o bvio transmite a falsa impresso de que a Matemtica intil. Por

outro lado, usar argumentos elegantes e convincentes para demonstrar resulta-

dos inesperados uma maneira de exibir sua fora e sua beleza. As demons-

traes, 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

10
 Nmeros Naturais Unidade 1

para analisar situaes da vida real. Assim, por exemplo, 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.

11
 Unidade 1 Textos Complementares

Na Sala de Aula Uma recomendao

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 Ma-

temtica, pg. 150.) Praticamente todos os livros de Matemtica usados nas

escolas brasileiras consideram 0 como o primeiro nmero natural (consequente-

mente 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 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. Frequente-

mente esquecemos que, do mesmo modo que conhecemos e usamos o zero mas

comeamos os nmeros naturais com 1, a Matemtica grega, segundo apre-

sentada 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.

12
 Nmeros Naturais Unidade 1

Comentrios sobre Denies e axiomas Para Saber Mais

Uma denio matemtica uma conveno que consiste usar um nome, ou

uma breve sentena, para designar um objeto ou uma propriedade, cuja descrio

normalmente exigiria o emprego de uma sentena mais longa. Vejamos algumas

denies, como exemplo.

ngulo a gura formada por duas semirretas 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 supercie, Euclides visa apenas oferecer ao

seu leitor uma imagem intuitiva desses conceitos. Elas podem servir para ilustrar

o pensamento geomtrico 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 sucessiva-

mente. Este processo iterativo leva a trs possibilidades:

a) Continua indenidamente, cada denio dependendo de outras anteriores,

sem nunca chegar ao m.

b) Conduz a uma circularidade, como nos dicionrios. (Onde se v, por exemplo:

compreender perceber, perceber entender e entender compreender.)

13
Unidade 1 Textos Complementares

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 Ma-

temtica. 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.

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.

A seguir 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.

14
 Nmeros Naturais Unidade 1

Sobre o sistema de numerao Para Saber Mais

Um engenhoso processo, chamado sistema de numerao decimal, 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. Por exemplo,

como se chamaria o nmero 101000 ?).

Deve car claro que o conjunto N = {1, 2, 3, . . .} dos nmeros naturais

uma sequncia de objetos abstratos que, em princpio, so vazios de signicado.

Cada um desses objetos (um nmero natural) possui apenas um lugar determi-

nado 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.

15
 Unidade 1 Textos Complementares

Para Saber Mais Um 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 substanti-

vos. 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 cardi-

nais. Este segundo aspecto ser abordado no captulo seguinte.

16
 Nmeros Naturais Unidade 1

Cuidado! Para Saber Mais

O axioma da induo uma forma sagaz e operacional de dizer que qualquer

nmero natural n pode ser alcanado se partirmos de 1 e repetirmos suciente-

mente 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 pro-

posio referente aos nmeros naturais, vericamos que ela verdadeira para

n = 1, n = 2, n = 3 e dizemos e assim por diante.... Mas preciso ter

cuidado com esta ltima frase. Ela pressupe que P (n) P (n0 ) para todo

n N. No nal deste captulo, apresentamos como exerccios algumas propo-

sies demonstrveis por recorrncia, bem como alguns curiosos paradoxos que

resultam do uso inadequado do axioma da induo.

17
Unidade 1 Textos Complementares

18