1

Nmeros Naturais
Sumrio
1.1 1.2 1.3 1.4 1.5 1.6 1.7 Introduo . . . . . . . . . . . . . . . . . . . . . . . 2 3 4 5 6 8 10 O Conjunto dos Nmeros Naturais . . . . . . . . . . O Axioma da Induo . . . . . . . . . . . . . . . . . As Duas Operaes: Adio e Multiplicao . . . .

A Ordenao nos Nmeros Naturais . . . . . . . . . Exerccios Recomendados . . . . . . . . . . . . . . . Textos Complementares . . . . . . . . . . . . . . . .

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

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

dos nmeros naturais, valendo-nos da notvel sntese feita pelo

matemtico italiano Giuseppe Peano no limiar do sculo 20.

um conjunto, cujos elementos so chamados nmeros naturais.

essncia da caracterizao de quando de

reside na palavra sucessor. Intuitivamente,

n, n N, dizer que n

o sucessor de

n,

no havendo outros nmeros naturais

n signica que n vem logo depois 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) b) c) d)

Todo nmero natural tem um nico sucessor; Nmeros naturais diferentes tm sucessores diferentes; Existe um nico nmero natural, chamado um e representado pelo smbolo 1, que no sucessor de nenhum outro; Seja

um conjunto de nmeros naturais (isto ,

alm disso,

1 X e se, o sucessor de todo elemento de X ainda pertence a X , ento

Se

X N).

X = N.

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 i)

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

vlida;

Suponhamos que

P (1)

ii) Para todo sucessor de Ento

n N,

a validez de

P (n)

implica a validez de

P (n ), n.

onde

n.
vlida qualquer que seja o nmero natural

P (n)

Com efeito, se chamarmos de os quais

o conjunto dos nmeros naturais

para

P (n) vlida, veremos que: 1 X em virtude de (i); e que n X n 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

Nmeros Naturais

Unidade 1

 Para Saber Mais - Cuidado!

1.4

- Clique para ler

As Duas Operaes: Adio e Multiplicao

Entre os nmeros naturais esto denidas duas operaes fundamentais: a adio, que aos nmeros
multiplicao,

n, p N

faz corresponder a soma

n+p

e a

que lhes associa o produto

np. n
aplicando-se Em particular,

A soma

n+p

o nmero natural que se obtm a partir de

vezes seguidas a operao de tomar o sucessor.

n+1

sucessor de

n, n + 2

o sucessor do sucessor de

n,

etc. Por exemplo, tem-se

2+2=4 n + 1.

simplesmente porque

o sucessor do sucessor de

2.

De agora em diante, o sucessor do nmero natural

ser designado por

Quanto ao produto, pe-se soma de

n1 = n

por denio e, quando

p = 1, np

parcelas iguais a

n. n + p e o produto np tm mesmo os signicados

Entretanto, at que

Em ltima anlise, a soma

que lhes so atribudos pelas explicaes dadas acima.

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 + (p + 1) = (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. 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
Adio:

n+1

= sucessor de

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

Unidade 1

A Ordenao nos Nmeros Naturais

1.5 A Ordenao nos Nmeros Naturais
N
dos nmeros naturais termina com a

Nossa breve descrio do conjunto relao de ordem Dados

m < n. m, n N, diz-se

para signicar que que

o sucessor

m menor do que n, e escreve-se m < n, existe algum p N tal que n = m + p. (Isto quer dizer do sucessor... do sucessor de m, o ato de tomar o sucessor
que as seguintes propriedades: e

sendo iterado A relao

p vezes.) m < n tem

Se

Transitividade:

m<n

n<p

ento

m < p.

Tricotomia:

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

vale uma, e somente uma, das alternativas:

Monotonicidade:

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

mp < np.
Todo subconjunto no-vazio

Boa-ordenao:

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

Queremos provar a validez, para todo nmero natural

n,

da

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,

Nmeros Naturais

Unidade 1

ou seja:

1 + 3 + 5 + . . . + [2(n + 1) 1] = (n + 1)2 .
Mas esta ltima igualdade vale para todo

P (n + 1).

Logo

P (n) P (n + 1).

Assim,

P (n)

n N.

Podemos ento armar que a soma dos

primeiros

nmeros mpares igual ao quadrado de

n.
Lembremos que um nmero natural

Exemplo 2. (Usando boa-ordenao.)

p chama-se primo

quando no pode ser expresso como produto

nmeros naturais, a menos que um deles seja igual a 1 (e o isto equivale a dizer que os fatores

p = mn de dois outro igual a p);

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

o conjunto dos nmeros naturais Observemos que se Seja

que so primos ou produtos de fatores primos. pertencem a de

X ento o produto mn pertence a X . X . Assim, Y o conjunto dos nmeros naturais

o complementar

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 boaordenao). Com efeito, se

no fosse vazio, haveria um menor elemento

aY.

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.
Ento todos os nmeros menores do que

Unidade 1

Exerccios Recomendados
1.6 Exerccios Recomendados
Dado o nmero natural propriedades:

1.

a,

seja

Y N

um conjunto com as seguintes

aY; (2) n Y n + 1 Y . Prove que Y contm todos os nmeros naturais maiores do que ou iguais a a.
(1)
(Sugesto: considere o conjunto naturais

X = Ia Y , X = N.)

onde

Ia

o conjunto dos nmeros

a,

e prove, por induo, que

2. 3.

Use o exerccio anterior para provar que em seguida, que

n2 < 2n

para todo

2n + 1 5.

2n

para todo

e,

Complete os detalhes da seguinte demonstrao do Princpio de Boa Ordenao: Seja

A N

um conjunto que no possui um menor ele-

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.
mento. Considere o conjunto

4.

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 n

6.

Critique a seguinte argumentao: Quer-se provar que todo nmero natural pequeno. Evidentemente, 1 um nmero pequeno. Alm disso, se for pequeno,

n+1

tambm o ser, pois no se torna grande um nmero Logo, por induo,

pequeno simplesmente somando-lhe uma unidade. todo nmero natural pequeno.

Nmeros Naturais
7. 8.

Unidade 1

Use a distributividade para calcular

(m + n)(1 + 1)

de duas maneiras

diferentes e em seguida use a lei do corte para concluir que Seja

m+n = n+m.

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 ordenao.)
Seja

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.
Use induo para provar que

10.

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

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

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 Matemtica, 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 sentada por Euclides, no considerava encontramos as seguintes denies: Unidade aquilo pelo qual cada objeto um. Nmero uma multitude de unidades.

1, a Matemtica grega, segundo apre1 como um nmero. Nos Elementos,

12

Nmeros Naturais

Unidade 1

Comentrios sobre Denies e axiomas

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.

Para Saber Mais

ngulo

a gura formada por duas semirretas que tm a mesma origem. so dois ou mais nmeros naturais cujo nico divisor

Primos entre si

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. o que possui comprimento e largura somente.

Superfcie

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 sucessivamente. 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 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.
postulados.

Tais princpios so chamados axiomas ou

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. demonstradas chamam-se
teoremas

As proposies a serem imediatas so

suas

consequncias

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

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 Deve car claro que o

Para Saber Mais

101000 ?). 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 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.

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

nais. Este segundo aspecto ser abordado no captulo seguinte.

16

Nmeros Naturais

Unidade 1

Cuidado!
O axioma da induo uma forma sagaz e operacional de dizer que qualquer nmero natural

Para Saber Mais

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 proposio referente aos nmeros naturais, vericamos que ela verdadeira para

n = 1, n = 2, n = 3 n N.

e dizemos e assim por diante....

Mas preciso ter para todo

cuidado com esta ltima frase. Ela pressupe que

P (n) P (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