SlideShare una empresa de Scribd logo
1 de 9
Descargar para leer sin conexión
MA12 - Unidade 1
N´meros Naturais
u
Paulo Cezar Pinto Carvalho
PROFMAT - SBM

February 25, 2013
Os N´meros Naturais
u

N´meros Naturais: modelo abstrato para contagem.
u
N = {1, 2, 3, ...}
Uma descri¸˜o precisa e concisa de N ´ dada pelos Axiomas
ca
e
de Peano.
No¸˜o fundamental: a de sucessor de um n´mero natural (ou
ca
u
seja, o n´mero que, intuitivamente, vem logo depois dele).
u

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 2/9
Os Axiomas de Peano

a) Todo n´mero natural tem um unico sucessor;
u
´
b) N´meros naturais diferentes tˆm sucessores diferentes;
u
e
c) Existe um unico n´mero natural, chamado um e representado
´
u
pelo s´
ımbolo 1, que n˜o ´ sucessor de nenhum outro;
a e
d) Seja X um conjunto de n´meros naturais (isto ´, X ⊂ N). Se
u
e
1 ∈ X e se, al´m disso, o sucessor de todo elemento de X
e
ainda pertence a X , ent˜o X = N.
a

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 3/9
O Axioma da Indu¸˜o
ca

O ultimo dos axiomas de Peano ´ conhecido como Axioma da
´
e
Indu¸˜o e ´ a base para um m´todo de demonstra¸˜o para
ca
e
e
ca
propriedades relativas aos n´meros naturais (demonstra¸˜es
u
co
por indu¸˜o).
ca
Seja P(n) uma propriedade relativa ao n´mero natural n.
u
Suponhamos que:
i) P(1) ´ v´lida;
e a
ii) Para todo n ∈ N, a validez de P(n) implica a validez de P(n ),
onde n ´ o sucessor de n.
e

Ent˜o P(n) ´ v´lida qualquer que seja o n´mero natural n.
a
e a
u

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 4/9
As Duas Opera¸˜es: Adi¸˜o e Multiplica¸˜o
co
ca
ca

A soma n + p ´ o n´mero natural que se obt´m a partir de n
e
u
e
aplicando-se p vezes seguidas a opera¸˜o de tomar o sucessor.
ca
Em particular, n + 1 ´ o sucessor de n, n + 2 ´ o sucessor do
e
e
sucessor de n, etc.
Quanto ao produto, p˜e-se n · 1 = n por defini¸˜o e, quando
o
ca
p = 1, np ´ a soma de p parcelas iguais a n.
e
Entretanto, at´ que saibamos utilizar os n´meros naturais
e
u
para efetuar contagens, n˜o tem sentido falar em “p vezes” e
a
“p parcelas”.
Por esta raz˜o, ´ preciso definir estas opera¸˜es por indu¸˜o.
a e
co
ca

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 5/9
Usando indu¸˜o para definir as opera¸˜es
ca
co

Adi¸˜o:
ca
n + 1 = sucessor de n
n + (p + 1) = (n + p) + 1 .

Multiplica¸˜o:
ca
n·1=n
n(p + 1) = np + n.

As propriedades destas opera¸˜es (comutativa, associativa,
co
etc) podem ser demonstradas por indu¸˜o.
ca

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 6/9
A Ordena¸˜o nos N´meros Naturais
ca
u
Dados m, n ∈ N, diz-se que m ´ menor do que n, e escreve-se
e
m < n, para significar que existe algum p ∈ N tal que
n = m + p.
Propriedades:
Transitividade: Se m < n e n < p ent˜o m < p.
a
Tricotomia: Dados m, n ∈ N, vale uma, e somente uma, das
alternativas: m = n, m < n ou n < m.
Monotonicidade: Se m < n ent˜o, para qualquer p ∈ N,
a
tem-se m + p < n + p e mp < np.
Boa-ordena¸˜o: Todo subconjunto n˜o-vazio X ⊂ N possui
ca
a
um menor elemento.

A boa-ordena¸˜o pode muitas vezes substituir com vantagem
ca
a indu¸˜o como m´todo de prova de resultados referentes a
ca
e
n´meros naturais.
u

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 7/9
Exemplo: uma demonstra¸˜o por indu¸˜o
ca
ca
Provar a validez, para todo n´mero natural n, da igualdade
u
P(n) : 1 + 3 + 5 + . . . + (2n − 1) = n2
Para n = 1, P(1) se resume a afirmar 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,
ou seja:
1 + 3 + 5 + . . . + [2(n + 1) − 1] = (n + 1)2 .
Mas esta ultima igualdade ´ P(n + 1). Logo
´
e
P(n) ⇒ P(n + 1). Assim, P(n) vale para todo n ∈ N.

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 8/9
Exemplo: uma demonstra¸˜o por boa ordena¸˜o
ca
ca
Provar que todo n´mero natural ´ primo ou ´ um produto de
u
e
e
fatores primos
Seja X o conjunto dos n´meros naturais que s˜o primos ou
u
a
produtos de fatores primos. Observemos que se m e n
pertencem a X ent˜o o produto mn pertence a X . Seja Y o
a
complementar de X . Assim, Y ´ o conjunto dos n´meros
e
u
naturais que n˜o s˜o primos nem s˜o produtos de fatores
a a
a
primos. Queremos provar que Y ´ vazio. Com efeito, se Y
e
n˜o fosse vazio, haveria um menor elemento a ∈ Y . Ent˜o
a
a
todos os n´meros menores do que a pertenceriam a X . Como
u
a n˜o ´ primo, ter-se-ia a = m · n, com m < a e n < a, logo
a e
m ∈ X e n ∈ X . Sendo assim, mn ∈ X . Mas mn = a, o que
daria a ∈ X , uma contradi¸˜o. Segue-se que Y = ∅ ,
ca
concluindo a demonstra¸˜o.
ca

PROFMAT - SBM

MA12 - Unidade 1 , N´meros Naturais
u

slide 9/9

Más contenido relacionado

La actualidad más candente

Aula 7 profmat - numeros primos e especiais - 06 10-17
Aula 7   profmat - numeros primos e especiais - 06 10-17Aula 7   profmat - numeros primos e especiais - 06 10-17
Aula 7 profmat - numeros primos e especiais - 06 10-17Aline Guedes
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com resMaths Tutoring
 
Aplicações da Indução
Aplicações da InduçãoAplicações da Indução
Aplicações da InduçãoLuciana Martino
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematicawab030
 
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...Antonio Claudio Lage Buffara
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica iiwab030
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoDelacyr Ferreira
 
Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremasCarlos Campani
 
Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Jedson Guedes
 
Sucessoes, séries 20/21
Sucessoes, séries 20/21Sucessoes, séries 20/21
Sucessoes, séries 20/21Maths Tutoring
 
Aula 6 - Profmat - Numeros Primos - 08 09-17
Aula 6 - Profmat - Numeros Primos -  08 09-17Aula 6 - Profmat - Numeros Primos -  08 09-17
Aula 6 - Profmat - Numeros Primos - 08 09-17Aline Guedes
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasUlrich Schiel
 
01 primeira avaliação_de_teoria_dos_números
01 primeira avaliação_de_teoria_dos_números01 primeira avaliação_de_teoria_dos_números
01 primeira avaliação_de_teoria_dos_númerosWilson Miranda
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipiowab030
 

La actualidad más candente (20)

Aula 7 profmat - numeros primos e especiais - 06 10-17
Aula 7   profmat - numeros primos e especiais - 06 10-17Aula 7   profmat - numeros primos e especiais - 06 10-17
Aula 7 profmat - numeros primos e especiais - 06 10-17
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com res
 
Aplicações da Indução
Aplicações da InduçãoAplicações da Indução
Aplicações da Indução
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...
ANTONIO CLAUDIO LAGE BUFFARA RESPONDE: QUESTÕES PUC-RIO - SÉRIE DOS INVERSOS ...
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
Número normal
Número normalNúmero normal
Número normal
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
 
Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremas
 
Calculo de potencias
Calculo de potenciasCalculo de potencias
Calculo de potencias
 
Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)
 
Sucessoes, séries 20/21
Sucessoes, séries 20/21Sucessoes, séries 20/21
Sucessoes, séries 20/21
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemática
 
Aula 6 - Profmat - Numeros Primos - 08 09-17
Aula 6 - Profmat - Numeros Primos -  08 09-17Aula 6 - Profmat - Numeros Primos -  08 09-17
Aula 6 - Profmat - Numeros Primos - 08 09-17
 
Lista de integração
Lista de integraçãoLista de integração
Lista de integração
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
P2 calculo i_ (5)
P2 calculo i_ (5)P2 calculo i_ (5)
P2 calculo i_ (5)
 
01 primeira avaliação_de_teoria_dos_números
01 primeira avaliação_de_teoria_dos_números01 primeira avaliação_de_teoria_dos_números
01 primeira avaliação_de_teoria_dos_números
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 

Similar a Resumo1

Resumo de matemática estratégia
Resumo de matemática   estratégiaResumo de matemática   estratégia
Resumo de matemática estratégiaRafael A Sczepanski
 
Aula 6 Números primos.pdf
Aula 6 Números primos.pdfAula 6 Números primos.pdf
Aula 6 Números primos.pdferivangrangeiro
 
informações sobre as probabilidades.docx
informações sobre as probabilidades.docxinformações sobre as probabilidades.docx
informações sobre as probabilidades.docxAnaFilipa962412
 
Aula 7 MA14 PROFMAT CPII
Aula 7 MA14 PROFMAT CPIIAula 7 MA14 PROFMAT CPII
Aula 7 MA14 PROFMAT CPIILuciana Martino
 
Análise combinatória I
Análise combinatória IAnálise combinatória I
Análise combinatória IEverton Moraes
 
Equação de Recorrência - I (Otimização)
Equação de Recorrência - I (Otimização)Equação de Recorrência - I (Otimização)
Equação de Recorrência - I (Otimização)Jedson Guedes
 
06 eac proj vest mat módulo 1 noções de probabilidade
06 eac proj vest mat módulo 1 noções de probabilidade06 eac proj vest mat módulo 1 noções de probabilidade
06 eac proj vest mat módulo 1 noções de probabilidadecon_seguir
 
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento AmostralTécnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento AmostralAnselmo Alves de Sousa
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosWallysson Mendes
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalosSérgio de Castro
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosWallysson Mendes
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalosFelipe Renan
 
Metódos de Pesquisa em C
Metódos de Pesquisa em CMetódos de Pesquisa em C
Metódos de Pesquisa em Crodolfoeyalana
 
Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1Carlos Campani
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos iPaulo Martins
 

Similar a Resumo1 (20)

Resumo de matemática estratégia
Resumo de matemática   estratégiaResumo de matemática   estratégia
Resumo de matemática estratégia
 
Resumo2
Resumo2Resumo2
Resumo2
 
Aula 6 Números primos.pdf
Aula 6 Números primos.pdfAula 6 Números primos.pdf
Aula 6 Números primos.pdf
 
informações sobre as probabilidades.docx
informações sobre as probabilidades.docxinformações sobre as probabilidades.docx
informações sobre as probabilidades.docx
 
Aula 7 MA14 PROFMAT CPII
Aula 7 MA14 PROFMAT CPIIAula 7 MA14 PROFMAT CPII
Aula 7 MA14 PROFMAT CPII
 
Acartomante urgente
Acartomante urgenteAcartomante urgente
Acartomante urgente
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
Análise combinatória I
Análise combinatória IAnálise combinatória I
Análise combinatória I
 
Equação de Recorrência - I (Otimização)
Equação de Recorrência - I (Otimização)Equação de Recorrência - I (Otimização)
Equação de Recorrência - I (Otimização)
 
Caracterização dos inteiros
Caracterização dos inteirosCaracterização dos inteiros
Caracterização dos inteiros
 
06 eac proj vest mat módulo 1 noções de probabilidade
06 eac proj vest mat módulo 1 noções de probabilidade06 eac proj vest mat módulo 1 noções de probabilidade
06 eac proj vest mat módulo 1 noções de probabilidade
 
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento AmostralTécnicas de Amostragem - Aula #2 - Planejamento Amostral
Técnicas de Amostragem - Aula #2 - Planejamento Amostral
 
Pequeno teorema de fermat
Pequeno teorema de fermatPequeno teorema de fermat
Pequeno teorema de fermat
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
Lógica, conjuntos e intervalos
Lógica, conjuntos e intervalosLógica, conjuntos e intervalos
Lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos01 lógica, conjuntos e intervalos
01 lógica, conjuntos e intervalos
 
Metódos de Pesquisa em C
Metódos de Pesquisa em CMetódos de Pesquisa em C
Metódos de Pesquisa em C
 
Lista de exercícios 1
Lista de exercícios 1Lista de exercícios 1
Lista de exercícios 1
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos i
 

Resumo1

  • 1. MA12 - Unidade 1 N´meros Naturais u Paulo Cezar Pinto Carvalho PROFMAT - SBM February 25, 2013
  • 2. Os N´meros Naturais u N´meros Naturais: modelo abstrato para contagem. u N = {1, 2, 3, ...} Uma descri¸˜o precisa e concisa de N ´ dada pelos Axiomas ca e de Peano. No¸˜o fundamental: a de sucessor de um n´mero natural (ou ca u seja, o n´mero que, intuitivamente, vem logo depois dele). u PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 2/9
  • 3. Os Axiomas de Peano a) Todo n´mero natural tem um unico sucessor; u ´ b) N´meros naturais diferentes tˆm sucessores diferentes; u e c) Existe um unico n´mero natural, chamado um e representado ´ u pelo s´ ımbolo 1, que n˜o ´ sucessor de nenhum outro; a e d) Seja X um conjunto de n´meros naturais (isto ´, X ⊂ N). Se u e 1 ∈ X e se, al´m disso, o sucessor de todo elemento de X e ainda pertence a X , ent˜o X = N. a PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 3/9
  • 4. O Axioma da Indu¸˜o ca O ultimo dos axiomas de Peano ´ conhecido como Axioma da ´ e Indu¸˜o e ´ a base para um m´todo de demonstra¸˜o para ca e e ca propriedades relativas aos n´meros naturais (demonstra¸˜es u co por indu¸˜o). ca Seja P(n) uma propriedade relativa ao n´mero natural n. u Suponhamos que: i) P(1) ´ v´lida; e a ii) Para todo n ∈ N, a validez de P(n) implica a validez de P(n ), onde n ´ o sucessor de n. e Ent˜o P(n) ´ v´lida qualquer que seja o n´mero natural n. a e a u PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 4/9
  • 5. As Duas Opera¸˜es: Adi¸˜o e Multiplica¸˜o co ca ca A soma n + p ´ o n´mero natural que se obt´m a partir de n e u e aplicando-se p vezes seguidas a opera¸˜o de tomar o sucessor. ca Em particular, n + 1 ´ o sucessor de n, n + 2 ´ o sucessor do e e sucessor de n, etc. Quanto ao produto, p˜e-se n · 1 = n por defini¸˜o e, quando o ca p = 1, np ´ a soma de p parcelas iguais a n. e Entretanto, at´ que saibamos utilizar os n´meros naturais e u para efetuar contagens, n˜o tem sentido falar em “p vezes” e a “p parcelas”. Por esta raz˜o, ´ preciso definir estas opera¸˜es por indu¸˜o. a e co ca PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 5/9
  • 6. Usando indu¸˜o para definir as opera¸˜es ca co Adi¸˜o: ca n + 1 = sucessor de n n + (p + 1) = (n + p) + 1 . Multiplica¸˜o: ca n·1=n n(p + 1) = np + n. As propriedades destas opera¸˜es (comutativa, associativa, co etc) podem ser demonstradas por indu¸˜o. ca PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 6/9
  • 7. A Ordena¸˜o nos N´meros Naturais ca u Dados m, n ∈ N, diz-se que m ´ menor do que n, e escreve-se e m < n, para significar que existe algum p ∈ N tal que n = m + p. Propriedades: Transitividade: Se m < n e n < p ent˜o m < p. a Tricotomia: Dados m, n ∈ N, vale uma, e somente uma, das alternativas: m = n, m < n ou n < m. Monotonicidade: Se m < n ent˜o, para qualquer p ∈ N, a tem-se m + p < n + p e mp < np. Boa-ordena¸˜o: Todo subconjunto n˜o-vazio X ⊂ N possui ca a um menor elemento. A boa-ordena¸˜o pode muitas vezes substituir com vantagem ca a indu¸˜o como m´todo de prova de resultados referentes a ca e n´meros naturais. u PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 7/9
  • 8. Exemplo: uma demonstra¸˜o por indu¸˜o ca ca Provar a validez, para todo n´mero natural n, da igualdade u P(n) : 1 + 3 + 5 + . . . + (2n − 1) = n2 Para n = 1, P(1) se resume a afirmar 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, ou seja: 1 + 3 + 5 + . . . + [2(n + 1) − 1] = (n + 1)2 . Mas esta ultima igualdade ´ P(n + 1). Logo ´ e P(n) ⇒ P(n + 1). Assim, P(n) vale para todo n ∈ N. PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 8/9
  • 9. Exemplo: uma demonstra¸˜o por boa ordena¸˜o ca ca Provar que todo n´mero natural ´ primo ou ´ um produto de u e e fatores primos Seja X o conjunto dos n´meros naturais que s˜o primos ou u a produtos de fatores primos. Observemos que se m e n pertencem a X ent˜o o produto mn pertence a X . Seja Y o a complementar de X . Assim, Y ´ o conjunto dos n´meros e u naturais que n˜o s˜o primos nem s˜o produtos de fatores a a a primos. Queremos provar que Y ´ vazio. Com efeito, se Y e n˜o fosse vazio, haveria um menor elemento a ∈ Y . Ent˜o a a todos os n´meros menores do que a pertenceriam a X . Como u a n˜o ´ primo, ter-se-ia a = m · n, com m < a e n < a, logo a e m ∈ X e n ∈ X . Sendo assim, mn ∈ X . Mas mn = a, o que daria a ∈ X , uma contradi¸˜o. Segue-se que Y = ∅ , ca concluindo a demonstra¸˜o. ca PROFMAT - SBM MA12 - Unidade 1 , N´meros Naturais u slide 9/9