Você está na página 1de 16

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
(O

Enquanto os conjuntos constituem um meio auxiliar, os nmeros so um dos dois objetos principais de que se ocupa a Matemtica. 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

(Onde se entender e

perceber, perceber

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

X X,

um conjunto de nmeros naturais (isto ,

1X

e se, alm disso, o sucessor de todo elemento ento

X N). de X ainda

pertence a

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 A partir de um certo ponto,

sucessor de dois chama-se trs, etc.

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 Por

10

1000

?).

Deve car claro que o conjunto

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. multitude de unidades. Nmero uma

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)

uma propriedade relativa ao nmero natural

n.

Supo-

nhamos que i)

P (1) n

vlida;

ii) Para todo onde

n N,

a validez de

P (n)

implica a validez de

P (n ),

o sucessor de

n. n. X
o conjunto dos nmeros naturais

Ento

P (n)

vlida qualquer que seja o nmero natural

Com efeito, se chamarmos de

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. 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 = 1, n = 2, n = 3
para todo

Mas preciso ter cuidado com

Ela pressupe que

P (n) P (n )

N.

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

faz corresponder a soma

n+p

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 ser designado

n + 1.
Quanto ao produto, pe-se

np

a soma de

parcelas

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

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

dos nmeros naturais termina

m < n. m
menor do que

m, n N, n

diz-se que

n,

e escreve-se

m < n,

para signicar que existe algum

p N

tal que

(Isto quer dizer que

o sucessor do sucessor... do

n = m + p. sucessor de m, o

ato de tomar o sucessor sendo iterado

vezes.)

Nmeros Naturais

13

A relao

m<n

tem as seguintes propriedades:

Transitividade: Se Tricotomia:

m<n

n<p

ento

m < p.

alternativas:

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


Dados e

uma, e somente uma, das

Monotonicidade:

m+p<n+p

m < n mp < np.


Se

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.

Queremos provar a validez, para todo nmero natural

n,

da igualdade

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

n = 1, P (1)

se resume a armar que

P (n)

verdadeira para um certo valor de

n,

somamos

1 = 1. 2n + 1

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 .

14

MA12 - Unidade 1

Mas esta ltima igualdade

P (n + 1).

Logo

P (n) P (n + 1). n.

Assim,

P (n)

vale para todo

n N.

Podemos ento armar que a soma dos

primeiros nmeros mpares igual ao quadrado de

Exemplo 2. (Usando boa-ordenao.)


mero natural

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

ento o produto Assim,

mn

pertence a

X.

Seja

o comple-

X.

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

nas demonstraes por boa-ordenao). vazio, haveria um menor elemento

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.

Exerccios
1.
Dado o nmero natural propriedades:

a, seja Y N um conjunto com as seguintes (1) a Y ; (2) n Y n+1 Y . Prove que Y contm

Nmeros Naturais

15

todos os nmeros naturais maiores do que ou iguais a considere o conjunto naturais

a.

(Sugesto:

X = Ia Y ,

onde

a,

e prove, por induo, que

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

dos nmeros

2.

Use o exerccio anterior para provar que

2n

para todo

n
3.

e, em seguida, que

n2 < 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
tais que

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

16

MA12 - Unidade 1

6.

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

natural pequeno. 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.

7.

Use a distributividade para calcular

diferentes e em seguida use a lei do

(m+n)(1+1) de duas maneiras corte para concluir que 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
Seja ordenao.)

8.

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

9.

10.

Use induo para provar que

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