NMEROS PRIMOS: TPICOS MATEMTICOS

POR: RAFAEL PREREIRA DE MELO

Instituto Federal do Rio Grande do Norte

Enviado para publicao no site www.somatematica.com.br

RESUMO
Neste trabalho feito um estudo sobre os nmeros primos, citando alguns
dos problemas sem solues deste tpico, teoremas e resultados importantes a eles
relacionados. Com o intuito de enfatizar os rigores matemticos, muitas vezes
deixados de lado.

INTRODUO
Ao estudarmos os nmeros primos nos anos iniciais da educao bsica, na
maioria das vezes, somos apresentados a esse Tpico da Matemtica por sua
definio: Um nmero inteiro n, maior do que um, cujos os nicos divisores
positivos so o prprio n e a unidade chamado de nmero primo. Se o
inteiro n maior do que um no primo, diremos que ele composto.

Questes envolvendo os nmeros primos surgiram na Matemtica, desde o

tempo de Pitgoras, passando por Euclides e chegando aos nossos dias com muitas
perguntas que ainda no foram respondidas (conjecturas).

Segundo [BOYER, 1996], durante parte da histria, grandes matemticos,

como Euclides de Alexandria (360 a.C. - 295 a.C.), Pierre de Fermat (1601 - 1665),
Leonhard Euler (1707 - 1783), Carl Friedrich Gauss (1777 - 1855) e Georg Friedrich
Bernhard Riemann (1826 - 1866), entre outros, desenvolveram pesquisas
envolvendo teorias dos nmeros, particularmente os nmeros primos. E seus
trabalhos acabaram por estruturar esse ramo da matemtica e por influenciar vrias
outras reas, como por exemplo, a matemtica computacional.

Sero discutidos alguns teoremas que envolvem os nmeros primos, como a

infinitude dos nmeros primos, o Pequeno teorema de Fermat e os testes de
primalidade como o Crivo de Eraststenes, teorema de Wilson entre outros.
Apresentaremos tambm quatro conjecturas sobre nmeros primos.

Teoremas e Testes
Existem vrios resultados acerca dos nmeros primos que tem fundamental
importncia no desenvolvimento da Teoria dos Nmeros. Neste artigo mostraremos
alguns desses resultados.

1. A infinitude dos nmeros primo

0
 Teorema 1: Existem infinitos nmeros primos.

Antes de demonstrarmos a infinitude dos nmeros primos, apresentaremos

um lema.

Lema 1: O menor divisor inteiro positivo de um nmero natura maior do que

1 um nmero primo.

Demonstrao: Sejam ,N>1e . Temos

, pois

Pelo Principio da Boa Ordenao, o conjunto A possui um menor elemento p.

O nmero p um nmero primo, caso contraio p = ab, onde b > a> 1,dai , logo
, contrariando o fato de que p o elemento de A.

Demonstrao1(Euclides): Suponhamos que exista um nmero finito de

nmeros primos, a saber, . Consideremos agora o nmero
. Como N > 1, existe um primo p que divide N, portanto
para algum i, dai , logo p divide 1 que um absurdo.

Outra demonstrao da infinitude dos nmeros primos foi feita por Christian
Goldbach (1690 - 1764) em uma carta escrita para Euler. Em sua demonstrao
Goldbach apresenta uma sequncia infinita de nmeros naturais,
sendo eles dois a dois primos entre si (ou seja, o MDC de dois nmeros quaisquer
dessa sequencia igual a um).

Para esta demonstrao, apresentaremos, antes, dois lemas a respeito dos

nmeros de Fermat.

Um nmero de Fermat um nmero inteiro positivo na forma: ,

sendo n um nmero inteiro positivo.

Lema 2:Se o m-simo (m 1) nmero de Fermat, ento

.

Demonstrao: Se um nmero de Fermat, ento . Logo,

Usaremos induo sobre m.

Demonstraremos que:

i) A igualdade vlida para m = 1, pois .

1
 ii) Supondo que a igualdade vlida para m, iremos mostrar
a validade para m+1> 1. Multiplicando os dois membros da
expresso,
por temos:

Logo, a igualdade vlido para todo

Lema 3: Os nmeros de Fermat (para n 0) so, dois a dois

primos entre si.

Demonstrao: Pelo Lema 1, . Se , n < m,

divide . Se tivssemos um nmero p primo que dividisse e , ento p
dividiria , portanto dividiria o 2, mas como p primo, p = 2, que um
absurdo, j que todos os nmeros de Fermat so mpares.

Considerando o Lema2, apresentaremos outra demonstrao do Teorema 1.

Demonstrao 2: Seja o menor divisor positivo de ; i = 0, 1, 2, ... .

Ento a sequncia formada por primos e infinita, uma vez que
so primos entre si, logo existem infinitos primos.

Outra demonstrao interessante a respeito da infinidade dos nmeros

primos que existem infinitos nmeros primos da forma 6k+5.

Para a demonstrao vamos usar a seguinte proposio e o teorema.

Proposio 1: Se a, b, c, m e n so inteiros, e ento .

Demonstrao: Se ento e . Multiplicando as duas

equaes por m e n respectivamente teremos e . Somando
as duas equaes membro a membro obtemos , o que
nos diz que

Demonstrao 3 (do teorema 1): Quando dividimos um nmero qualquer

por 6, temos os possveis restos: 0,1,2,3,4,5; ou seja, podemos escrever um inteiro
da seguinte forma: 6k, 6k+1, 6k+2, 6k+3, 6k+4, 6k+5.

Se p primo e diferente de 3, ento p da forma 6k+1 ou 6k+5. Vamos

supor que exista uma quantidade finita de nmeros primos da forma 6k+5, ento
nmeros primos, considere , pela proposio 1,
temos que P no divisvel por nenhum , para todo , pois se
ento , que um absurdo, pois teria que dividir 5. Portanto, P
primo e no se tem mais nada a provar ou P possui algum fator primo da forma
6k+5, pois se todos os fatores de p fossem da forma 6k+1 implicaria que o produto
dos fatores continuaria 6k+1, que uma contradio pela hiptese de P.
2
 2. Teorema Fundamental da Aritmtica

Esse teorema, um dos mais importantes da Teoria dos Nmeros

encontrado nos Elementos de Euclides.

Teorema 2: (Teorema Fundamental da Aritmtica). Todo nmero natural

maior do que 1ou primo ou se escreve de modo nico (exceto pela ordem dos
fatores) como um produto de nmeros primos.

Demonstrao: Seja n , se n for primo no h nada a ser demonstrado.

Suponhamos que n seja composto. Tomemos ( > 1) o menor divisor positivo de
n; primo, logo .

Se for primo demonstrao estar completa. Se no, tomemos como

o menor fator inteiro positivo de . Ento primo, logo n = . . .

Aplicando o processo acima um nmero finito de vezes, obtemos n como o

produto de primos. Como no necessariamente todos os fatores sero distintos,
podemos ter fatores repetidos.

Para mostrar a unicidade, usaremos induo sobre n. Para n = 2 essa

afirmao verdadeira.

Agora suponha que para todos os nmeros inteiros maiores que 1 e

menores que n seja verdadeira a unicidade. Vamos provar que ela verdadeira para
n.

Se n for primo, j est provado.

Suponha, ento, que n composto, e que tenha duas formas de fatorao,

ou seja, .

Vamos mostra que r = s e que . Como divide n, ento divide

, e como todos so primos, divide algum .

Sem perda de generalidade podemos dizer que . Como os dois

nmeros so primos, temos que . Portanto . Temos que

1 < < n, pela hiptese de induo as duas fatoraes so idnticas, logo, s = r,

portanto cada termo igual a .

3. Pequeno Teorema de Fermat

Apresentaremos a demonstrao do pequeno teorema de Fermat. Antes

demonstraremos um lema.

3
 Lema 4: Se p um nmero primo, os nmeros , onde 0 < i < p, todos
divisveis por p.

Demonstrao: Para a demonstrao, basta usar a definio .

. Portanto , com .

Temos que se , ento ou , j que p um nmero primo.

, implica que para algum j, onde , o que no acontece.
Portanto p divide .

Teorema 3: (Pequeno teorema de Fermat): Se p um nmero primo, ento

p divide o nmero , para todo nmero natural a.

Demonstrao: Usaremos induo sobre a.

i. Para a = 1 o resultado valido.

ii. Supondo que o resultado vlido para a, vamos mostrar
que tambm vlido para a + 1. Usando o desenvolvimento do
binmio de newton,

Pelo Lema 3 e pela hiptese de induo, o segundo membro da igualdade

acima divisvel por p, logo o teorema vlido para todo . Por tanto
, que outra forma de apresentar o Pequeno
teorema de Fermat.

4. Crivo de Eraststenes

O crivo de Eraststenes, um mtodo eficaz para determinar quais nmeros

so primos dentro de um intervalo de 1 ate n, onde n um nmero inteiro positivo. O
prximo Teorema nos diz que para determinarmos todos os primos de intervalo de 1
ate n basta marcar (crivar) os mltiplos dos primos menores que

Teorema 4: Se n no primo, ento n possui, necessariamente, um fator

primo menor que ou igual a

Demonstrao: Se n composto ento onde .

Portanto tem que ser menor ou igual a , caso contrario, .
Portanto, pelo teorema fundamental da aritmtica, possui algum fator primo p que
deve ser menor ou igual a . Logo se p divide , ento divide n.
4
 5. A distribuio dos nmeros primo

Saber a localizao exata dos nmeros primos, ou descobrir uma frmula

que os determine, foi o objetivo de muitos matemticos ao longo da histria, estando
entre eles o matemtico alemo Johann Carl Friedrich Gauss. Porm, em vez de
somente tentar localizar os nmeros, ele comeou a pensar em quantos primos
existiam em um dado intervalo de nmeros. Acredita-se que esse interesse surgiu
aps ele se deparar com um livro de logaritmo que continha, na contracapa, um
tabela de nmeros primos, onde ele percebeu uma possvel regularidade nos
intervalos de um primo para outro. BOYER [p 372].

Gauss estudou uma funo, que posteriormente foi denotada de ,

definida como a quantidade de primos p, com p x. Assim, para x = 10, temos que
; para x = 20, temos que ; e para x = 100, (Veja

Crivo de Eraststenes, figura 1, captulo 1). Assim , a probabilidade de um

elemento do conjunto {1,2,3,...,x} ser primo.

Usando mtodos computacionais possvel construir uma tabela que

analise o comportamento dessa proporo, observe a tabela 1.

Tabela 1: proporo de
X primos at x
10 4 2,5
Uma 100 25 4,0 tabela dessas foi
desenvolvida por 1.000 168 6,0 Gauss, mas em
menor proporo, 10.000 1.229 8,1 devida a
dificuldade de 100.000 trabalhar com
9.592 10,4
nmeros muito grandes. Foi
1.000.000 78.498 12,7
percebido que na medida em que se
10.000.000 664.579 15,0
multiplicava um nmero por dez,
proporo de 100.000.000 5.761.455 17,4 primos era
adicionado 1.000.000.000 50.847.534 19,7 aproximadamente
o valor de 2,3. 10.000.000.000 455.052.51122,0 Ento, Gauss
buscou trabalhar com uma funo muito conhecida e fcil que transformasse
multiplicao em soma, a funo logartmica. Logo, pensou em uma base a de modo
que:

Observando seus dados, concluiu que essa base

poderia ser o nmero e, logo:

5
 Na figura 2, observamos um grfico das duas funes e vemos que existe
uma real semelhana no comportamento das duas funes no intervalo dado,
embora exista diferena em relao continuidade. Observa-se que, na estimativa

feita por Gauss, na medida em que os valores aumentam, a curva da funo vai
ficando bem abaixo da funo .

Figura 1: Grfico conjunto de (x) e x/lnx.

O matemtico francs Jacques Hadamard (1865 1963) e o belga C. J. de

la Vall-Poussin (1866 1962), aproximadamente 1896, provaram que as curvas

das funes e so assintoticamente iguais, ou seja:

Este importante resultado ficou conhecido como Teorema dos Nmeros

Primos, que no ser demonstrado neste trabalho devido a sua complexidade, mas
se encontra no apndice do livro Teoria dos nmeros: um passeio com primos
e outros nmeros familiares pelo mundo inteiro do autor Fbio Brochero
Martinez. A distribuio dos primos discutida em detalhes nos livros Hardy e Wright
1994, Cap. XXII e Ingham 1932.

6. Teste de primalidade

Atualmente existem mais de uma centena de testes de primalidade, cada um

deles com uma fundamentao terica diferente. Um destes testes o chamado
Teorema de Wilson. Esse teorema foi atribudo a John Wilson (1741 1793), mas
foi provado, pela primeira vez pelo matemtico italiano J. L. Lagrange (1736 1813).

Teorema 5: (Teorema de Wilson) p primo se, e somente se,

Antes de demonstrarmos este teorema, apresentaremos uma proposio.

Proposio 2: Seja p > 2 um primo e seja 2 a (p2). Ento existe um

nico b {2, . . . , p2} tal que . Alm disso, a b.

6
 Demonstrao: A congruncia possui uma nica soluo
. Necessariamente b 1 e b p 1, pois .
Portanto 2 b p 2.

Agora vamos demonstrar o Teorema de Wilson.

Demonstrao: Escrevemos o conjunto {2, 3,..., p 2} sob os aspectos da

proposio 2: Para todo existe um nico com
e a b. podemos reordenar o conjunto {2, 3,..., p 2} = {
, onde
. Portanto

Decorre do Teorema de Wilson, em que p primo se, e somente se,

, pois:

7. Teste de Lucas-Lehmer

Outro teste, que considerado um dos mais eficientes, segundo o Great

Internet Mersenne Prime Search (GIMPS) (projeto que busca encontra o maior
nmero primo), o chamado teste de Lucas-Lehmer. Elaborado originalmente pelo
matemtico francs douard Lucas (1842 1891) que foi o criador do jogo
matemtico Torre de Hanoi e melhorado pelo matemtico americano D. H. Lehmer
(1905 -1991).

Antes de apresentarmos o teste de Lucas-Lehmer, precisamos definir o que

o nmero de Mersenne.

Um nmero da forma , sendo q um nmero primo chamado

de nmero de Mersenne.

Outro fator importante para apresentarmos esse teste, obtermos uma

sequncia de inteiros positivos , definida recursivamente por e

Mostraremos, em primeiro lugar, que os inteiros dessa sequncia podem ser

escritos como potncias de nmeros irracionais.

Seja e . Vamos mostrar essa recorrncia por induo

em n que .

i. Para n = 0 o resultado verdadeiro, pois

ii. Supondo que para n 1, seja verdade, vamos provar para n.

7
 Elevando os dois membros ao quadrado, temos

Como , temos que

. (por definio)

Teste de Lucas-Lehmer: Seja p um primo positivo. O nmero de Mersenne

M(p) primo se, e somente se, .

A demonstrao desse teste no ser apresentada neste trabalho, mas essa

demonstrao pode ser encontrada em [Bressoud 1989, Teorema 11.10, p. 175].
Contudo, iremos exemplificar o teste de Lucas.

Ex: Vamos testar a primalidade do nmero de Mersenne .

Temos, ,
portanto , logo primo.

Embora esse teste seja um pouco mais difcil de provar, ele muito fcil de
implementar e de usar. Como foi dito no inicio desta seo, esse teste a base para
o clculo dos primos de Mersenne da GIMPS. Esse projeto no produz nenhum
avano conceitual em termos de nmeros primos e em relao teoria dos
nmeros, uma mera curiosidade. Permite, porm, uma viso ampla sobre a
distribuio dos nmeros primos em termos dimensionais. J para a computao
algbrica um avano considervel, em termos conceituais e tcnicos, com a
utilizao de computao distribuda, criando e desenvolvendo novas tcnicas.

Para obter os programas do GIMPS, basta visitar o site

(http://www.mersenne.org/) que oferece programas de graa (com cdigo fonte) de
modo que qualquer pessoa pode se juntar busca por primos de Mersenne
gigantescos.

CONJECTURAS
No podemos encerra essa parte do estudo dos nmeros primos (estudo das
definies, teorias e formalizao do contedo) sem tentar explicar o que a faz to
interessante que Gauss a chama de rainha da matemtica. A histria mostrou
muitas teorias acerca dos Nmeros Primos, muitos deles, como vimos
anteriormente, de fundamental importncia para o desenvolvimento da Teoria dos
Nmeros. Outras teorias que foram apresentadas no puderam ser demonstradas,
8
ou seja, no se sabe se so verdadeiras ou no. Para essas teorias chamamos de
Conjecturas. Uma conjectura matemtica uma proposio que muitos matemticos
acham que deve ser verdadeira, porm, ainda no conseguiram prov-la.

Apresentaremos quatro conjecturas matemticas cujos enunciados so

extremamente simples.

(1) Conjetura de Goldbach: todo nmero inteiro par maior que 2 a soma
de dois primos;
(2) Conjectura de Catalan: no existem dois inteiros consecutivos, alm de
8 e 9, que so potncias de inteiros;
(3) Conjectura dos primos gmeos: existem infinitos primos p para os
quais tambm primo;
(4) Nmeros de Fermat: todo nmero na forma so nmeros
primos.

1. Conjetura de Goldbach

A Conjectura de Goldbach diz que todo nmero inteiro par maior que 2 igual
a soma de dois nmeros primos. Vrios matemticos j verificaram milhares de
somas tento essa hiptese verdadeira. Mas para que a conjectura vire um teorema
preciso que encontre uma prova que assegure que para qualquer nmero par pode
ser escrito como soma de dois primos. A proposio muito simples, mas, at hoje,
ningum conseguiu demonstr-la.

Christian Goldbach nasceu em 1690 na cidade de Knigsberg, na Prssia e

viveu at 1764. Goldbach era membro da Academia Imperial de So Petersburgo,
onde atuou como professor de matemtica e histria. Foi ministro do Exterior na
Rssia, em 1742.

Em matemtica, estudou teoria dos nmeros, teoria das curvas, sries

infinitas e integrao de equaes diferenciais. Sua contribuio mais famosa foi
exatamente a conjectura de Goldbach, que foi proposta em uma carta que escreveu
a outro matemtico, Leonhard Euler.

Muito matemticos apresentaram tentativas de se demonstrar essa

conjectura. Iremos apresentar uma dessas tentativas e mostrar os erros ocorridos
nesta demonstrao.

Demonstrao: Vimos que, , representa todos os nmeros

pares maiores que 2.

Comm < n+ 1, m par.(1)

Note que n + 1 impar ..(2). Pois no nos interessa saber o resultado

quando n + 1 par. Isso quer dizer que existe tal que e
so primos (VIDE PROVA ABAIXO), o que encerra a demonstrao.

9
 PROPOSIO: Seja x um nmero composto impar. Ento, existe,
par, tal que (x + k) e (x k) so primos.

DEMONSTRAO: Sabemos que .No ser

diferente com os nmeros (x + k) e (x k). Ento, temos:

Logo, (x + k) e (x k) so primos entre si. Mas eles so impares; ento,

temos o caso particular de serem primos ambos, quer dizer, existe k tal que (x + k) e
(x k) so primos.

Observe que inicialmente, em (1), o autor da demonstrao apenas cita que

m par no explicitando a que conjunto m pertence, mais ainda quando n = 1,
temos n + 1 = 2 e como m < n + 1e m par deveramos ter um nmero par menor que
2.

No incio da demonstrao o n tomado como qualquer , em (2), utiliza

apenas a hiptese de que (n + 1) impar, mas isso implica n ser sempre par, assim
na demonstrao apresentada esto excludos os nmeros pares da forma 2n + 2,
com n mpar.

Notemos que em (3), tomado que , porm

isso s ocorre quando esses nmeros so primos entre si, o que algo que deve ser
mostrado.

Contudo fica evidente que existem erros de lgica matemtica nesta

demonstrao, o que a torna invlida.

Goldbach props ainda outra conjectura, A conjectura fraca de Goldbach:

Todo nmero mpar maior que 7 pode ser expresso como soma de
trs nmeros primos mpares.

Esta conjectura recebe o nome de "fraca", pois a conjectura de Goldbach que

citamos acima, se demonstrada, demonstraria automaticamente a conjectura fraca
de Goldbach. Isto porque se cada nmero par maior ou igual a 4 a soma de dois
primos, s somarmos 3 aos nmeros pares maiores ou iguais a 4 para produzir os
nmeros mpares maiores que 7.

Esta conjectura ainda no foi demonstrada, mas se tm conseguido avanos

importantes. Em 1923, Godfrey Harold Hardy e John Edensor Littlewood mostraram
que, assumindo a Hiptese generalizada de Riemann, a conjectura fraca de
Goldbach verdadeira para todos nmeros mpares suficientemente grandes.
Em 1937, o matemtico Ivan Matvyevich Vinogradov eliminou a dependncia da
10
hiptese de Riemann e provou diretamente que todos os nmeros impares
suficientemente grandes podem ser expressos como a soma de trs primos.

Atualmente, com o auxilio de computadores alguns matemticos tentam

verificar a veracidade da Conjectura de Goldbach para todos os nmeros at 10.
Com a tecnologia atual a previso para terminar a verificao de 20 anos.

2. Conjectura de Catalan

A Conjectura de Catalan diz que no existem dois inteiros consecutivos, alm

de 8 e 9, que so potncias (de inteiros), ou seja, a equao , onde a e
b so nmeros inteiros maiores ou iguais a 2 e x e y inteiros positivos, possuem
somente uma soluo. Proposta em 1844 pelo matemtico belga Eugne Charles
Catalan (1814 1894).

Considere a sequncia a seguir:

4, 8, 9, 16, 25, 27, 36, 49, 64, 81, 100, 121, 125, 128, . . . .

Catalan percebeu que nesta sequncia de nmeros inteiros maiores que 1,

com quadrados, cubos e potncias perfeitas, os nicos nmeros consecutivos so
o 8 = 23 e 9 = 32. As primeiras perguntas sugeridas foram: Existem outros pares de
inteiros nesta sequncia? Quantos? Finitos? Infinitos?

A conjectura afirma que 23 e 32 o nico par de potncias consecutivas. Ou

seja, que a nica soluo para os nmeros naturais de

xa yb = 1, para x, a, y, b> 1 x = 3, a = 2, y = 2, b = 3.

Essa conjectura que por 153 anos permaneceu sem soluo desafiando os
melhores matemticos, sendo demonstrado em abril de 2002 pelo matemtico
romeno Preda V. Mihailescu (nascido em 23 de maio de 1955) e publicado no Jornal
de Crelle em 2004. Por tanto a conjectura teve que mudar de nome, passando a ser
conhecida por Teorema de Mihailescu.

3. Conjectura dos primos gmeos

A conjectura dos primos gmeos diz que existem infinitos primos p para os
quais tambm primo, ou seja, x y = 2, onde x e y so primos gmeos. Por
exemplo: 3 e 5, 5 e 7, 11 e 13, 17 e 19, 29 e 31, ... .

Essa conjectura poderia ser provada atravs de uma frmula que baseia-se
no principio de que todo par maior que dois a soma de dois primos (conjectura de
Goldbach)

Considerando um nmero real, par, representado por 2x baseando-se na

frmula tem-se que onde e representam nmeros primos
quaisquer. Da frmula temos que , reorganizando a equao temos
que .
11
 Digamos que seja um nmero inteiro par igual a 12, para determinarmos
outros nmeros primos gmeos, atravs dele teramos que usar um primo gmeo j
conhecido como, por exemplo, o nmero 5, na formula ficaria da seguinte forma:
ou obtendo como 7 um outro primo gmeo.

Recentemente essa conjectura tambm teve que mudar de conjectura para

teorema, pois a pesquisa de Yitang Zhang, chins da Universidade de Hampshire,
provou que os nmeros primos gmeos so infinitos, como postulava a teoria
de 1849 do francs Alphonse de Polignac.

4. Nmeros de Fermat

Como vimos anteriormente nmero de Fermat um nmero inteiro positivo na

forma:

Fermat lanou a conjectura, em uma carta escrita para Mersenne, que esses
nmeros eram primos. Mais tarde Leonard Euler provou que no era assim; para n =
5 obtinha-se um nmero composto:

At hoje s so conhecidos cinco nmeros primos de Fermat, e no se sabe

se h mais ou no.

Os nmeros de Fermat de ordem 5 at 32, bem como, nmeros enormes

como e so comprovadamente compostos.

Algumas questes acerca dos nmeros de Fermat continuam sem

demonstraes, como:

Sero infinitos os nmeros primos de Fermat?

Se so finitos, quanto sero?
Se so infinitos, sero os nmeros compostos finitos?

Muitos matemticos ainda tentam provar essas conjecturas, com isso

algumas propriedades foram desenvolvidas acerca dos nmeros de Fermat:

Todo nmero de Fermat composto pode ser decomposto em fatores

primos na forma , com k inteiro positivo;
12
 Apresentamos no Captulo 2 que dois nmeros de Fermat distintos
so primos entre si;

Se um nmero primo, ento o polgono regular de lados pode

ser construdo com rgua e compasso;

Um nmero de Fermat igual ao produto de todos os anteriores mais 2.

Vamos mostrar esta propriedade por induo:

Vale para , pois .

Agora, se ele vale para , ento ele vale para :

Os nmeros de Fermat ainda despertam muito interesse a vrios matemticos

por varias razes. O pedigree destes nmeros uma delas. Eles tm uma longa
histria, e muitos matemticos importantes j trabalharam no problema. Alm disto,
so uma boa fonte de exemplos de nmeros grandes e difceis de fatorar, timo para
testar um novo algoritmo de fatorao.

CONSIDERAES FINAIS
Esta pesquisa objetivou fazer uma reviso bibliogrfica dos nmeros primos
a partir Matemtica terica, como a infinitude dos nmeros primos, que nos permite
buscar esses nmeros muito grandes. Nos permitiu assegurar o rigor matemtico
necessrio para o desenvolvimento de outras reas.

Acreditando ser possvel e necessria diminuio da distncia entre o

aluno e a matemtica, observamos a importncia da explorao de vrias
metodologias que auxiliem no ensino da matemtica. A histria dos nmeros primos
e criptografia podem ajudar os alunos na sua concentrao e compreenso da
definio do assunto, mas nunca podemos deixar de lado o rigor e a beleza dos
teoremas matemticos.

BIBLIOGRAFIA

EUCLIDES. Os Elementos. Traduo de Irineu Bicudo. So Paulo:

Unesp, 2009.

http://teses.eps.ufsc.br/defesa/pdf/16712.pdf: acesso em:20 jul. 2013.

13
 GIMPS (2008). Mersenne prime search. Disponvel em:
<http://www.mersenne.org/>. Acesso em: 20 jul. 2013.

HEFEZ, A. Elementos de Aritmtica. Sociedade Brasileira de Matemtica,

Textos Universitrios, 2006.

OLIVEIRA. Filipe. Introduo Teoria dos Nmeros. Universidade

Nova de Lisboa.

SANTOS, Jos Plnio de Oliveira. Introduo teoria dos nmeros, 3.

ed. - Rio de Janeiro: IMPA, 2010.

14