Universidade Estadual Paulista Jlio de Mesquita Filho

Instituto de Geocincias e Cincias Exatas

Campus de Rio Claro

Nmeros Primos e Divisibilidade: Estudo de

Propriedades

Cristina Helena Bovo Batista Dias

Dissertao apresentada ao Programa de PsGraduao  Mestrado Prossional em Matemtica em Rede Nacional (PROFMAT) como
requisito parcial para a obteno do grau de
Mestre

Orientadora

Profa.

Dra. Eliris Cristina Rizziolli

2013

512.7
D541n

Dias, Cristina Helena Bovo Batista

Nmeros Primos e Divisibilidade: Estudo de Propriedades/ Cristina Helena Bovo Batista Dias. - Rio Claro: [s.n.], 2013.
49 f.: tab.
Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas.
Orientadora: Eliris Cristina Rizziolli
1. Teoria dos Nmeros. 2. Conjetura de Goldbach. 3. Nmeros
Inteiros. 4. Fatoriais. I. Ttulo

Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP

Campus de Rio Claro/SP

TERMO DE APROVAO
Cristina Helena Bovo Batista Dias
Nmeros Primos e Divisibilidade: Estudo de Propriedades

Dissertao aprovada como requisito parcial para a obteno do grau de

Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica
em Rede Nacional (PROFMAT), pela seguinte banca examinadora:

Profa. Dra. Eliris Cristina Rizziolli

Orientadora

Prof. Dr. Aldicio Jos Miranda

Dpto. Matemtica UNIFAL-Alfenas/MG

Prof. Dr. Thiago de Melo

Dpto. Matemtica UNESP-Rio Claro/SP

Rio Claro, 28 de janeiro de 2013

Ao meu Deus, Jeov, aos meus pais,

ao meu querido esposo e aos meus lhos, minha me e irmos

Agradecimentos
Primeiramente, agradeo a Deus pela vida. A seguir, minha orientadora, Eliris,
aos membros da banca e, de modo geral, a todos os docentes e funcionrios do Departamento de Matemtica do IGCE, Rio Claro, por sua valiosa colaborao e apoio,
sem os quais este trabalho no teria sido realizado.

Em especial, agradeo ao Prof.

Dr. Henrique Lazari e ao Prof. Dr. Rmulo Campos Lins, por sua ajuda na elaborao do Captulo 5 desta dissertao. Agradeo, ainda, aos funcionrios da UNESP,
em especial, os que trabalham na Biblioteca, no Restaurante Universitrio e na Cantina que, dos bastidores, do suporte para que trabalhos como este sejam produzidos.
Finalmente, agradeo a meus pais, ao meu esposo e aos meus lhos, e a todos meus
familiares, amigos e irmos.

Resumo
O objetivo deste trabalho apresentar os fundamentos da divisibilidade, estudar as
propriedades dos nmeros primos, sua associao com fatoriais e com progresses aritmticas, alm de apresentar alguns resultados equivalentes Conjetura de Goldbach.

Palavras-chave:
Fatoriais.

Teoria dos Nmeros, Conjetura de Goldbach, Nmeros Inteiros,

Abstract
The objective of this paper is to present the fundamentals of divisibility, study the
properties of prime numbers, their association with factorials and arithmetic progressions, and present some results equivalent to Goldbach's Conjecture.

Keywords:

Number Theory, Goldbach's Conjecture, Integer Numbers, Factorial.

Lista de Tabelas
5.1

Tabela de Diferenas de Quadrados . . . . . . . . . . . . . . . . . . . .

45

Sumrio
1 Introduo

2 Nmeros Inteiros e Divisibilidade

11

3 Sobre Nmeros Primos

26

4 Nmeros Primos: Resultados e Aplicaes

33

4.1

Nmeros Primos e Fatoriais

. . . . . . . . . . . . . . . . . . . . . . . .

33

4.2

Nmeros Primos e Progresses Aritmticas . . . . . . . . . . . . . . . .

38

5 A Conjetura de Goldbach

40

6 Aplicao do Tema Divisibilidade em Sala de Aula

46

Referncias

49

1 Introduo
Este trabalho tem por objetivo analisar algumas das propriedades dos chamados
nmeros primos. Um nmero primo aquele que somente divisvel por um ou por si
mesmo. Um nmero inteiro
inteiro

tal que

divisvel por um nmero inteiro

quando existe um

n = qm.

Desde da Grcia Antiga os matemticos se interessam pelos nmeros primos: Quantos so?

Como se distribuem?

Como encontr-los?

Existe uma maneira simples de

saber se um nmero primo ou no? No decorrer dos sculos algumas destas perguntas
foram respondidas, outras ainda permanecem sem resposta at os dias atuais.
Algumas armaes sobre os nmeros primos foram comprovadas h muitos sculos.
O famoso matemtico Euclides demonstrou que existem innitos nmeros primos. O
matemtico Eratstenes inventou um mtodo, conhecido como Crivo de Eratstenes,
para montar uma lista de primos at um determinado nmero. No entanto, ao passo
que o nmero de elementos da lista aumenta, seu mtodo se torna cada vez mais
trabalhoso.
Por outro lado, outras armaes envolvendo os nmeros primos ainda no foram
demonstradas. Por exemplo, at hoje no se sabe como os nmeros primos se distribuem entre os nmeros compostos (os que no so primos), nem como descobrir, de
maneira simples, se um nmero primo ou no.

Por causa da diculdade na iden-

ticao de um nmero primo, sistemas de segurana online tm utilizado, durante

dcadas, nmeros primos para proteger senhas e outras informaes pessoais daqueles
que navegam pela internet.
Outra questo curiosa sobre com que frequncia um nmero primo aparece.
Quando se observa uma lista de primos se nota, num breve olhar, que existem diversos pares de nmeros primos que diferem por apenas duas unidades, tais como

5, 5 e 7, 11 e 13, 17 e 19,

entre outros. Tais primos so chamados primos gmeos e, at

hoje, no se sabe se existem innitos pares de primos gmeos ou no.

Ainda sobre este tpico, por volta de 1900, J. Hadamard e Ch. de la Valle-Poussin,
provaram, trabalhando independentemente, um resultado sobre a frequncia dos primos
conhecido como Teorema dos Nmeros Primos.

A demonstrao de tal Teorema foi

simplicada em 1949 por A. Selberg. No entanto, a distribuio dos nmeros primos

ainda bastante misteriosa e existem inmeros problemas associados a ela aguardando

10

uma demonstrao. Apresenta-se abaixo alguns dos mais famosos:

1. Existem innitos primos gmeos, ou seja, existem innitos pares de nmeros
primos que diferem por apenas duas unidades?
2. Sempre existe um primo entre
3. A sequncia de Ficonacci

n2

constitudas por

para todo natural

(1, 1, 2, 3, 5, 8, 13, ...)

4. Existem innitos primos da forma

5. verdade que, para todo

(n + 1)2

n > 0?

contm innitos nmeros primos?

n2 n + 41?

k 4, existe uma innidade de progresses aritmticas

nmeros primos?

Os dois problemas mais famosos relacionados aos nmeros primos e ainda em abertos so a Conjetura de Goldbach e a Hiptese de Riemman. A Conjetura de Goldbach
relaciona-se a uma carta que o matemtico Christian Goldbach escreveu a Leonhard
Euler, em 1742, armando que todo nmero natural par, maior ou igual a quatro,
pode ser escrito como a soma de dois nmeros primos.

Ivan Vinogradov, em 1937,

demonstrou uma variante mais fraca desta conjetura, a saber, que todo nmero mpar
sucientemente grande pode ser escrito como a soma de trs primos. A Conjetura de
Goldbach, no entanto, permanece sem demonstrao at hoje.

O melhor resultado

relacionado conjetura de Goldbach foi obtido por Chen que demonstrou que todo
nmero par, sucientemente grande, pode ser escrito como a soma de um primo com
um 2-quase-primo. Um nmero 2-quase-primo um nmero da forma

p2 = p.q ,

onde

so primos. Esse resultado conhecido como Teorema de Chen.

Por sua vez, a Hiptese de Riemman o maior problema matemtico de todos os

tempos e, resumidamente, consiste em demonstrar que todos os zeros no triviais da
funo zeta de Riemann encontram-se sobre uma determinada reta. Tal hiptese ainda
permanece sem demonstrao. To cedo quanto em 1900 foi oferecido um prmio em
dinheiro para quem a demonstrasse e muitos resultados importantes da Matemtica
dependem de sua veracidade. Trabalhar com estas importantes questes foi a motivao
principal deste estudo.
Este trabalho est dividido em seis captulos:

Captulo 1: Motivao histrica e resumo.

Captulo 2: Fundamentos da divisibilidade e conceitos ligados a ela.

Captulo 3: Nmeros primos e suas propriedades bsicas.

Captulo 4: Aplicaes dos nmeros primos em outros ramos da Matemtica,

Captulo 5: Resultados relacionados Conjetura de Goldbach e,

Captulo 6: Sugesto para Aplicao em Sala de Aula.

2 Nmeros Inteiros e Divisibilidade

A linha da Matemtica que estuda os nmeros naturais conhecida como aritmtica.
Os nmeros naturais so os que aparecem naturalmente no dia a dia das pessoas e so

0, 1, 2, 3, 4, 5, .... Estes nmeros foram reunidos em um conjunto a que

os matemticos chamam de N. Esto denidas sobre este conjunto as operaes adio
(+) e multiplicao (.), que possuem s seguintes propriedades:

conhecidos como

1. So bem denidas, ou seja, para todos

a+b=a +b

a, b , a

b N,

se

a=b

a =b

ento

ab=a b,

2. So comutativas, ou seja, para todos

a, b N tem-se que a+b = b+a e ab = ba,

3. So associativas, ou seja, para todos

a, b N

tem-se que

a + (b + c) = (a + b) + c

a.(b.c) = (a.b).c,

4. Possuem elementos neutros, ou seja, para todo

a N, a + 0 = a

a 1 = a,

5. A multiplicao distributiva com relao adio, ou seja, para todos

tem-se

a, b, c N

a (b + c) = (a + b) (a + c).

Considera-se ainda que os nmeros naturais possuem as seguintes propriedades:

6. Integridade, ou seja, dados

a, b N,

com

a, b

diferentes de zero, tem-se que

ab

diferente de zero.
De maneira equivalente pode-se dizer que se
7. Tricotomia: Dados

(a)

a, b N

ab=0

ento

a=0

ou

b=0

se verica apenas uma das seguintes possibilidades:

a=b

(b) existe

c N,

com

c = 0, b = a + c,

(c) existe

c N,

com

c = 0, a = b + c

Diz-se que

menor do que

propriedade (b). Diz-se que

b,

ou

e simboliza-se por

a < b,

sempre que se verica a

a maior do que b, e simboliza-se por a > b, sempre que se

11

12

verica a propriedade (c). Adicionalmente, conclui-se, das denies acima, que

a 1,

0 < a.
Note ainda que, para a e b, nmeros naturais, se a + b = 0 ento, a = b = 0.
Realmente, se a = 0 tem-se que b < 0, o que absurdo. Portanto, a = 0. De maneira
similar mostra-se que b = 0. Logo, se a > 0 ou b > 0 ento a + b > 0.
para todo

pois tem-se que

Proposio 2.1.

Para todo

0 + a = a,

0 < a,

aN

o que implica que

tem-se que

a 0 = 0.

a 0 = a (0 + 0) = a 0 + a 0. Se a 0 > 0 ento, da armao

a 0 > a 0, o que absurdo. Logo a 0 = 0.

Demonstrao. De fato,
anterior, segue que

Proposio 2.2. No que se refere relao menor do que vale a lei do cancelamento
para a adio, ou seja, para todo
Demonstrao. Suponha
Somando

a < b.

a, b, c N, a < b

se, e somente se,

Isso signica que existe

d > 0,

a + c < b + c.

tal que

b = a + d.

a ambos os lados desta igualdade tem-se, pelas propriedades da adio:

b + c = c + b = c + (a + d) = (c + a) + d = (a + c) + d,
o que mostra que

a + c < b + c.

Proposio 2.3. No que se refere relao menor do que vale a lei do cancelamento
para a multiplicao, ou seja, para todo
somente se,

com

c = 0,

tem-se que

a<b

se, e

a c < b c.

Demonstrao. Suponha
Somando

a, b, c N,

a < b.

Isso signica que existe

d > 0,

tal que

b = a + d.

a ambos os lados desta igualdade tem-se, pelas propriedades da adio e

da multiplicao:

b c = c b = c (a + d) = (c a) + (c d) = (a c) + (c d),
o que mostra que

Proposio 2.4.

a c < b c.
No que se refere igualdade vale a lei do cancelamento para a

adio, ou seja, para todo

a, b, c N, a = b

se, e somente se,

a + c = b + c.

Demonstrao. Pelo fato da adio ser bem denida vale que, se

b + c.

Reciprocamente, supondo que

(i)

a < b.

Pela Proposio 2.2,

(ii)

b < a.

Pela mesma proposio,

(iii) Logo,

a = b.

a+c=b+c

a + c < b + c,

a=b

ento

existem trs possibilidades:

o que absurdo.

b + c < a + c,

o que tambm absurdo.

a+c =

13

Proposio 2.5.

No que se refere igualdade vale a lei do cancelamento para a

multiplicao, ou seja, para todo

se,

a, b, c N,

c = 0,

com

tem-se que

a=b

se, e somente

a c = b c.

Demonstrao. Pelo fato da multiplicao ser bem denida vale que, se

a c = b c.

Reciprocamente, supondo que

a c < b c,

(i)

a < b.

Pela Proposio 2.3,

(ii)

b < a.

Pela mesma proposio,

(iii) Logo,

ac=bc

a=b

ento

existem trs possibilidades:

o que absurdo.

b c < a c,

o que tambm absurdo.

a = b.

Observando-se em mais detalhes a relao menor do que percebe-se que no

reexiva, pois no vale

a < a.

No entanto a relao menor ou igual a, descrita

abaixo, o .

Diz-se que

a = b. Diz-se
ou a = b.

menor ou igual a

que

b,

a b, sempre que a < b ou

por a b, sempre que a > b

e simboliza-se por

maior ou igual a

b,

e simboliza-se

A relao menor ou igual a , de fato, uma relao de ordem, pois,

1. reexiva: para todo

a, a a.

2. antissimtrica: para todos

3. transitiva: para todos

a, b,

a, b,

se

ab

ba

ento

a = b.

c,

se

ab

b c,

ento

a c.

Antes de iniciar a discusso sobre divisibilidade interessante considerar o princpio

de induo nita, visto que muito utilizado na demonstrao de resultados importantes na teoria dos nmeros.
A induo nita se baseia nos dois seguintes princpios:

Princpio 2.1. (Boa Ordem) Todo conjunto no-vazio de nmeros naturais possui
um menor elemento.

Princpio 2.2. (Induo Finita) Seja A N, com as seguintes propriedades:

i)

1 A;

ii) Se

kA

Ento

ento

A = N.

k + 1 A.

14

Observao 2.1.

Observe que, de acordo com este princpio, para provar uma arma-

1 e, a seguir, supondo que a armao

provar que vale para n + 1.

o para todo nmero natural basta provar para

vale para um nmero natual

Corolrio 2.1.

qualquer,

No existe nenhum nmero natural

tal que

0 < n < 1.

p(n) : n > 0 ento n 1

que p(0) verdadeira, j que a
Alm disso, p(n + 1) sempre

Demonstrao. A frase acima equivalente proposio

n. Uma vez que 0 > 0 falso segue-se

implicao  0 > 0 ento 0 1 sempre verdadeira.
verdadeira pois, se n + 1 > 0, ento n + 1 1 pela lei do cancelamento.
Portanto, p(n) implica p(n + 1) para todo n e o resultado segue.
vale para todo

Corolrio 2.2.

Dado

nN

no existe nenhum nmero natural

tal que

n<m<

n + 1.
Demonstrao. Se tal nmero existisse, existiria um natural
Ento, pelo cancelamento, tem-se que

0 < k < 1

k tal que n+k = m < n+1.

o que, pelo corolrio anterior,

absurdo.
Portanto, no existe nenhum natural

entre

n + 1.

Sequncias so funes cujo domnio o conjunto dos nmeros naturais

contradomnio o conjunto dos nmeros reais

(R).

(N)

e cujo

Para tratar do relacionamento en-

tre os nmeros primos e as progresses aritmticas apresenta-se a seguir o conceito de

progresso. Progresses so sequncias que seguem uma lei de formao determinada
pelo seu primeiro elemento e por um nmero conhecido como razo. Essa lei de formao, em muitos casos, pode ser demonstrada atravs do princpio de induo nita.
Para os ns deste trabalho sero utilizadas apenas progresses cujo contradomnio seja
o conjunto dos nmeros naturais.
Como exemplo, apresenta-se abaixo as denies de alguns tipos especiais de progresses:

Denio 2.1.
(an )

tal que

a1

Uma progresso aritmtica (PA) uma sequncia de nmeros reais

dado e, para todo

n N,

tem-se que

an+1 = an + r,
onde

um nmero real xado chamado razo.

Exemplo 2.1.
e

A sequncia

3, 7, 11,

uma progresso aritmtica na qual

a1 = 3

r = 4.
Note que a razo de uma PA pode ser encontrada por se subtrair

qualquer natural

a2 a1 = 4 = r .

i.

Assim,

a2 a1 = a3 a2 = ai+1 ai = r.

ai

de

ai+1

para

No exemplo dado

15

Denio 2.2.
(an )

tal que

a1

Uma progresso geomtrica (PG) uma sequncia de nmeros reais

dado e, para todo

n N,

tem-se que

an+1 = an q,
onde

um nmero real xado,

Exemplo 2.2.
e

A sequncia

q=0

3, 6, 12,

q = 1,

chamado razo.

uma progresso geomtrica na qual

a1 = 3

q = 2.
Note que a razo de uma PG pode ser encontrada por se dividir

i.

qualquer natural

Assim,

a2 a1 = a3 a2 = ai+1 ai = q .

ai+1

por

ai

para

No exemplo dado

a2 a1 = 2 = q .

Denio 2.3.
meros reais

Uma progresso aritmtico-geomtrica (PAG) uma sequncia de n-

(an )

tal que

a1

dado e, para todo

n N,

tem-se que

an+1 = an q + r,
onde

Exemplo 2.3.
qual

q = 1.

so nmeros reais xados e

A sequncia

a1 = 4, r = 5

q = 2.

4, 13, 31,

uma progresso aritmtico-geomtrica na

De fato,

a1 = 4, a2 = 4 2 + 5 = 13, a3 = 13 2 + 5 = 31, .
Note que as razes de uma PAG no so encontradas apenas por uma operao simples. Para que seja possvel encontr-las necessrio resolver um sistema de equaes
de duas incgnitas. No exemplo:

13 = 4 q + r
,
31 = 13 q + r
Multiplicando a primeira equao por

obtem-se:

13 = 4 q r
,
31 = 13 q + r
9 q = 18,
r = 5.

Somando estas duas equaes tem-se que

este valor na primeira equao tem-se que

de onde

q = 2.

Substituindo

Usando-se o princpio da induo nita possvel demonstrar as seguintes propriedades relacionadas a progresses:

Proposio 2.6.
1.

Numa progresso aritmtica tem-se que:

an = a1 + (n 1)r;

16

2. Se

Sn = a1 + a2 + + an

ento

Sn =

(a1 + an )n
.
2

Demonstrao.
1. Para

n=1

tem-se que

a1 = a1 .

Suponha que a propriedade vale para

n.

Ento,

pela denio de PA e pela hiptese de induo,

an+1 = an + r = a1 + (n 1)r + r = a1 + nr.

2. Para
vale

(a1 + a1 ) 1
n = 1 tem-se que S1 = a1 =
. Suponha, agora, que o resultado
2
para Sn . Ento, pela denio de Sn , pelo item anterior e pela hiptese de

induo tem-se que,

(a1 + an )n
+ an+1 =
2
a1 n + an n
a1 n + an n 2an+1
a1 n + an n + 2an+1
=
+ an+1 =
+
=
=
2
2
2
2
a1 n + an n + a1 + nr + an+1
a1 n + a1 + an n + nr + an+1
=
=
=
2
2
a1 (n + 1) + an+1 n + an+1
a1 (n + 1) + (an + r)n + an+1
=
=
=
2
2
a1 (n + 1) + an+1 (n + 1)
=
.
2
Sn+1 = a1 + a2 + + an + an+1 =

Proposio 2.7.
1.

Numa progresso geomtrica tem-se que:

an = a1 q n1 ;

2. Se

Sn = a1 + a2 + + an

q=1

ento

Sn = a1

qn 1
.
q1

Demonstrao.
1. Para

n=1

tem-se que

a1 = a1 .

Suponha que a propriedade vale para

n.

Ento,

pela denio de PG e pela hiptese de induo,

an+1 = an q = a1 q n1 q = a1 q n .
2. Para

n = 1

vale para

tem-se que

Sn .

q1 1
. Suponha, agora, que
q1
de Sn , pelo item anterior e pela

S1 = a1 = a1

Ento, pela denio

induo tem-se que,

Sn+1 = a1 + a2 + + an + an+1 = a1

qn 1
+ an+1 =
q1

o resultado
hiptese de

17

a1 q n a1 an+1 (q 1)
a1 q n a1 + an+1 q an+1
a1 q n a1
+ an+1 =
+
=
=
q1
q1
q1
q1
=

an+1 a1 + a1 q n q an+1
an+1 a1 + a1 q n+1 an+1
=
=
q1
q1
=

a1 q n+1 a1
q n+1 1
= a1
.
q1
q1

Para terminar o tpico sobre induo nita apresenta-se abaixo alguns exemplos de
frmulas de induo.

Exemplo 2.4.

At onde se tem registro, o primeiro exemplo de utilizao do Princpio

de Induo Finita remonta ao ano de 1575, quando Francesco Maurolycus calculou

a soma dos

primeiros nmeros mpares.

Ele demonstrou que,para todo

natural

tem-se que

1 + 3 + + (2n 1) = n2
Primeiramente, observe que vale
que

1 + 3 + + (2n 1) = n

p(1), pois, 1 = 12 .

p(n), ou seja,
n. Ento, vale p(n + 1,

Suponha que vale

para um determinado natural

pois

1 + 3 + + (2n 1) + (2n + 1) = n2 + 2n + 1 = (n + 1)1

e, portanto, a frmula vale para todo

n.

1
1
1
n
1
+
+
++
=
.
12 23 34
n (n + 1)
n+1
1
1
1
Em primeiro lugar note que,
=
= .
12
1+1
2
1
1
1
1
n
Suponha que vale p(n), ou seja, que
+
+
++
=
,
12 23 34
n (n + 1)
n+1
para um determinado n. Ento, pela hiptese de induo,

Exemplo 2.5.

Mostre que

1
1
1
1
1
n
1
+
+
++
+
=
+
=
12 23 34
n (n + 1) (n + 1) (n + 2)
n + 1 (n + 1) (n + 2)
=

n(n + 2) + 1
n2 + 2n + 1
(n + 1)2
n+1
=
=
=
.
(n + 1) (n + 2)
(n + 1) (n + 2)
(n + 1) (n + 2)
n+2

Exemplo 2.6.

Encontre uma frmula para a soma

2 + 4 + + 2n.

Neste tipo de problema primeiro deve-se calcular alguns elementos a m de conseguir encontrar a frmula geral. Neste exemplo tem-se que:

S1 = 2, S2 = 6, S3 = 12, S4 = 20, S5 = 10, etc

Organizando estas informaes obtem-se:

18

S1
S2
S3
S4

=2
= S1 + 2 2
= S2 + 2 3
= S3 + 2 4

.
.
.

=.+.
.
.
Sn = Sn1 + 2 n
Somando membro a membro estas equaes chega-se a:

S1 + S2 + + Sn = 2 S1 + S2 + + Sn1 + 2(2 + + n)
(2 + n)(n 1)
= 2 + (n 1)(n + 2)
2
Sn = 2 + (n 1)(n + 2).
Sn = S1 + 2

Logo,

Observe que, neste caso, a maneira pela qual a frmula foi encontrada constitui
uma demonstrao matemtica de que esta soma vlida para um determinado

n.

Para garantir sua validade para todos os naturais necessrio aplicar o Princpio de

p(1) verdadeira, pois S1 = 2 + (1 1)(1 + 2) = 2. Suponha que

Sn = 2 + (n 1)(n + 2), para um determinado n, ou seja, que vale p(n). Ento, pela

Induo. Tem-se que

denio da soma, pela construo da sequncia e pela hiptese de induo, tem-se que

Sn+1 = Sn + an+1 = 2 + (n 1)(n + 2) + 2(n + 1) = 2 + n2 + 2n n 2 + 2n + 2 =

= 2 + n2 + 3n = 2 + n(n + 3) = 2 + ((n + 1) 1)((n + 1) + 2),
como queramos demonstrar.

Observao 2.2.
meros naturais

N,

Chama-se de conjunto

dos nmeros inteiros ao conjunto dos n-

acrescido dos nmeros negativos. Como em divisibilidade a maioria

das propriedades vale quando restrita aos nmeros naturais, neste trabalho, sempre
que for interessante esta restrio ser utilizada.

Denio 2.4.

existir um inteiro

Exemplo 2.7.
47,

Se

tal que

Tem-se que

b = ac.
5

Sejam

a, b

no

65,

pois

Se

divide

pois no existe nenhum inteiro

Proposio 2.8.

tal que

inteiros. Se

a|b
inteiro k2 ,

Demonstrao. De fato, uma vez que

logamente, como
signica que

b|c

a divide b, e denota-se
divide b denota-se a b.

por

65 = 13 5.
47 = 5k .

no divide

so inteiros, diz-se que

existe um

a|b

b|c

Por outro lado,

ento

existe um inteiro
tal que

c = k 2 b.

Sejam

a, b, c, m

inteiros. Se

c|a

c|b

se

a|c.
k1 ,

b = k1 a.
c = k2 k1 a,

tal que

Portanto,

a|c.

Proposio 2.9.

a|b,

ento

c|(ma nb).

Anao que

19

Demonstrao. Pela denio de divisibilidade se

ento

a = k1 c,

para algum

k1 ,

b = k2 c. Multiplicando-se estas duas equaes,

respectivamente, por m e n obtm-se ma = mk1 c e nb = nk2 c. Somando-se membro a
membro chega-se a ma nb = mk1 c nk2 c = (mk1 nk2 )c. Portanto c|(ma + nb).

inteiro.

c|b

c|a

Analogamente, se

Proposio 2.10.

Sejam

ento

a, b, n N,

a + b = 0.

com

n.

Demonstrao. Demonstra-se por induo sobre

deira, pois

a + b = a + b.

Suponha que

a + b|a

Ento
Para

2n+1

+b

a+b

n=0

2n+1

divide

a2n+1 + b2n+1 .

a armao verda-

. Ento:

a2(n+1)+1 + b2(n+1)+1 = a2 a2n+1 b2 a2n+1 + b2 a2n+1 + b2 b2n+1 =

= (a2 b2 )a2n+1 + b2 (a2n+1 + b2n+1 ).
Uma vez que

a + b|a2 b2

a + b|(a2n+1 + b2n+1 )

e que, por hiptese,

o resultado

segue, do acima e da Proposio 2.9.

Teorema 2.1.
0 < a < b.

(Diviso

Euclidiana).

Sejam

dois nmeros naturais tais que

Existem dois nmeros naturais, unicamente determinados, tais que

b = a q + r,
com

r < a.

Demonstrao. Considere o conjunto

enquanto

Q dos nmeros da forma b, ba, b2a, , bna,

b n a > 0.
r = b q a, o menor elemento do conjunto
segue. Caso contrrio, se a
b ento r = 0.

Pela Propriedade da Boa Ordem, existe

Q.

Se

a|b,

ento

r = 0

e o resultado

r<a
existe c < r

Portanto, mostrando que

chega-se ao resultado desejado. Ento, suponha que

r > a.

tal que

Neste caso,

r = c + a.

Logo, como

r = c+a = bqa

tem-se que:

c = b (q + 1) a Q.
c Q e menor do que r, o que absurdo, pois r
elemento de Q. Portanto, r < a e a existncia de q e r est

Portanto,
menor

foi tomado como o

demonstrada.

Quanto unicidade, suponha que existam dois elementos distintos,

r = bqa

r = b q a, com r < r < a. A diferena entre estes dois elementos divisvel

e, portanto, r r a. Ento, r r + a > a, o que absurdo. Logo, r = r .

Corolrio 2.1. (Propriedade Arquimediana).

com

1 < a < b,

existe um nmero natural

Dados dois nmeros naturais

tal que

na < b < (n + 1)a.

por

20

Demonstrao. Pela Diviso Euclidiana tem-se que existem

q a + r,

r < a.

com

Tome

n = q.

q, r N,

tais que

b =

Ento,

na = q a < q a + r = b.
Por outro lado,

b = q a + r < (q + 1)a + r = (n + 1)a + r.

Logo,

na < b < (n + 1)a.

Denio 2.5.
a

Seja

um nmero natural diferente de zero. Dois nmeros naturais

m quando
a b mod m.

so congruentes mdulo

iguais. Notao:

os restos de sua diviso euclidiana por

so

Exemplo 2.8.
18
5;

43

deixam resto

ao serem divididos por

5,

ento so congruentes mdulo

71
7;

85

deixam resto

ao serem divididos por

7,

ento so congruentes mdulo

43

deixa resto

Portanto,

43

Observao 2.3.

1 ao ser dividido por 6 e 46 deixa

46 no so congruentes mdulo 6.

resto

ao ser dividido por

6.

a b mod m o mesmo que dizer que

m|b a. De fato, suponha que a e b deixem resto r ao serem divididos por m. Ento,
pela diviso euclidiana tem-se que a = mq1 + r e b = mq2 + r . Ento b a =
mq2 + r mq1 r = mq2 mq1 = m(q2 q1 ) e, portanto, m|b a.
Observe que dizer que

Proposio 2.11. Sejam a, b N e n um nmero natural maior do que zero.

mod m,

ento

Se

ab

an bn mod m.

Demonstrao. Inicialmente note que, para quaisquer nmeros naturais tem-se que, se

a b mod m e c d mod m ento ac bd mod m. De fato, bd ac = d(b a) +

a(d c). Como m|b a e m|d c, ento m|bd ac e ac b mod m.
Observado isto, a demonstrao do resultado feita por induao sobre n. A armao verdadeira para n = 1. Suponha, agora, que o resultado vale para n, ento,
pela hiptese de induo e pela Observao 2.3 tem-se que

an+1 = an a bn b mod m.
Mas

bn b = bn+1 .

Denio 2.6.
inteiro

Logo

an+1 = an a bn+1 mod m.

a e b,
d|a e d|b.

Dados dois nmeros inteiros

um divisor comum de

se

distintos, diz-se que o nmero

21

Exemplo 2.9.
96 = 16 6,

mas

Denio 2.7.
Exemplo 2.10.
e

tal que

84

96

84

b.

96,

96 = 7k .
a

pois

84 = 12 7

inteiro positivo que seja maior do

Proposio 2.12.

Seja

96 = 12 8,
que 12 e divisor

d = (a, b),

o maior inteiro

(a, b).

Notao:

Usando os mesmos nmeros do Exemplo 2.10,

96,

84 = 14 6 e
84 = 12 7 no

pois

pois, embora

O mximo divisor comum de dois inteiros

positivo que divide

84

um divisor comum de

no um divisor comum de

existe nenhum inteiro

comum de

Por exemplo,

12

o mximo divisor

e no existe nenhum outro nmero

comum de

ento existem inteiros

84
n

96.

tais que

d = ma + nb.

c = m0 a + n0 b o menor inteiro positivo que pode ser escrito nesta

forma, ento c|a e c|b. De fato, se c
a existiriam, pela Diviso Euclidiana q1 e r1
tais que a = cq1 + r1 , com 0 < r1 < c, de onde r1 = a cq1 = a (m0 a + n0 b)q1 =
(1 q1 m0 )a + (qn0 )b. Ou seja, r1 da forma m1 a + n1 b e menor do que c, o que
absurdo por construo. Logo c|a. Da mesma maneira demonstra-se que c|b.
Como d um divisor comum de a e b tem-se que existem inteiros m1 e m2 tais que
a = m1 d e b = m2 d. Logo, c = m0 a + n0 b = m0 m1 d + n0 m2 d = d(m0 m1 + n0 m2 ),
ou seja, d|c e, portanto, d c. Como d o mximo divisor comum de a e b, d < c
impossvel. Logo c = d e, portanto, existem m, n tais que d = ma + nb.
Demonstrao. Seja

Lema 2.1.
ento

(a, b)

(De Euclides.)

Sejam

a, b, n N,

com

a < na < b.

Se existe

(a, b na)

existe e

(a, b) = (a, b na).

d = (a, b na). Pela denio de mximo divisor comum, d|a e
d|b na. Uma vez que d|a tem-se que d|na. Alm disso, d|b, pois b = b na + na>
ento, d um divisor comum de a e b. Finalmente, suponha que c seja um divisor
comum de a e de b. Ento c|a e c|b na. Portanto, pela denio de mximo divisor
comum c|d. Logo, d = (a, b).

Demonstrao. Seja

Denio 2.8. Dois nmeros naturais a e b so ditos primos entre si quando (a, b) = 1.
Proposio 2.13.

a e b so primos
ma nb = 1.

Dois nmeros naturais

existem nmeros naturais

tais que

entre si se, e somente se,

a > b. Seja c N tal que

c|a e c|b. Logo, pela Proposio 2.9, c|(ma nb). Ento, c = d(ma nb). Como
c = (a, b) = 1 tem-se que 1 = d(ma nb), de onde, d = 1 e ma nb = 1, uma vez que
tanto d, como ma nb foram tomados como nmeros naturais. Portanto, existem m e
n tais que ma nb = 1.
Por outro lado, suponha que existam m e n tais que ma nb = 1. Seja d = (a, b).
Ento, pela Proposio 2.9, d|(ma nb) = 1. Mas, ento, d|1 e, portanto, d = 1.
Demonstrao. Suponha, sem perda de generalidade, que

22

Teorema 2.2.

Sejam

a, b

a|b c,

nmeros naturais. Se

a|b c

(a, b) = 1,

ento

a|c.

e tal que bc = ae. Como

(a, b) = 1, pela Proposio 2.13, existem nmeros naturais m, n tais que na mb = 1.
Da, segue que c = nac mbc = nac mae = a(nc me). Isto , a|c.
Demonstrao. Como

Proposio 2.14.

Sejam

existe um nmero natural

a, b

nmeros naturais. Ento

d = (na, nb) = n(a, b).

u, v N tais que d = una + vnb, o

menor valor possvel para os nmeros da forma u0 na + v0 nb. Seja e = (a, b). Ento,
pela Proposio 2.12, e igual ao menor valor dos nmeros da forma u0 a+v0 b. Portanto,
d = una + vnb = n(ua + vb) = nc e (na, nb) = n(a, b).
Demonstrao. Pela Proposio 2.12 existem

Corolrio 2.3.

Sejam

a, b

nmeros naturais. Ento

b
a
,
(a, b) (a, b)

= 1.

Demonstrao. Usando a Proposio 2.14 tem-se que:

(a, b)
Portanto,

a
b
,
(a, b) (a, b)

a
b
,
(a, b) (a, b)

(a, b)

a
b
, (a, b)
(a, b)
(a, b)

= (a, b).

= 1.

Proposio 2.15.

Dados

a, b

c N,

se

Proposio 2.16.

Dados

a, b

cN

ento,

(a, b) = 1

ento,

(a c, b) = 1

(a c, b) = (c, b).
se, e somente se,

(a, b) =

(c, b) = 1.
(a, b) = (c, b) = 1 tem-se, pela Proposio 2.15, que (a c, b) =
(c, b) = 1. Por outro lado, se (a c, b) = 1 ento, pela Proposio 2.13 existem m, n
N tais que mac nb = 1. Logo, existem m1 = mc e n1 = n naturais, tais que
m1 a n1 b = 1. Da segue, pela Proposio 2.13 que (a, b) = 1. Similarmente, concluse que (c, b) = 1.
Demonstrao. Se

Proposio 2.17.

Dados

a, b N

ento

a = (a, b)

se, e somente se,

a|b.

a = (a, b) ento, pela denio de mximo divisor comum

a|b, ento b = na, de onde, usando a Proposio 2.14, (a, b) =

Demonstrao. De fato, se

a|b. Por outro lado, se

(a, na) = a(1, n) = a.

Proposio 2.18.
onde

Dada uma sequncia

o resto da diviso de

Demonstrao. Escrevendo
onde
dade

rs+1 = 0, tem-se, pela

de (an )n tem-se que:

por

n,

(an )n ,

m n, (am , an ) = (an , ar ),
que (am , an ) = am,n .

tal que

ento tem-se

m = qn + r, r = q1 n1 + r1 , r1 = q2 n2 + r2 , , rs = qs+1 ns+1 ,
Diviso Euclidiana, que rs = (m, n). Aplicando a proprie-

(am , an ) = (an , ar1 ) = (ar1 , ar2 ) = = (ars , ars+1 ) = (as , 0) = a(m,n) .

23

Denio 2.9.

O menor inteiro positivo que , simultaneamente, mltiplo de

chamado mnimo mltiplo de

b.

Notao:

[a, b].

Exemplo 2.11. 30 o mnimo mltiplo comum de 6 e 5, pois o menor inteiro positivo

que mltiplo de
Note que

30

(pois

30 = 6 5)

tambm

positivo que mltiplo de

Proposio 2.19.

30 = 5 6).
o mnimo mltiplo comum de 6 e 10, pois o
10 (pois 30 = 3 10) e de 6 (pois 30 = 5 6).
e de

(pois

Dados dois nmeros inteiros

b,

existe

[a, b]

menor inteiro

[a, b](a, b) = ab.

m =

Demonstrao. Seja
mltiplo comum de

ab
.
(a, b)

Ento

tem-se que

a|m

n2

e,

b|m.

a
b
e
so primos entre
(a, b) (a, b)
a
b divide n2 b = c.
portanto, m =
(a, b)

Por outro lado, tomando

um

b
a
= n2
.
(a, b)
(a, b)

Mas,

si. Segue do Teorema 2.2 que

a
(a, b)

c = n1 a = n2 b,

pelo Corolrio 2.3,

divide

de onde,

n1

Uma das aplicaes interessantes do mximo divisor comum relaciona-se com a

famosa sequncia de Fibonacci. Nesta sequncia um termo a soma dos dois termos
anteriores, sendo que os dois primeiros termos so
sequncia de Fibonacci por

fi ,

onde

1.

Representando os elementos da

a posio do termo na sequncia possvel

escrever:

f1 = 1
f2 = 1
fi = fi1 + fi2 ,
ou seja, a sequncia dada por

para

i > 2,

1, 1, 2, 3, 5, 8, 13, 21, 33, . . . .

Apresenta-se, a seguir, algumas propriedades interessantes desta sequncia relacionadas ao mximo divisor comum e divisibilidade.

Proposio 2.20.

Dois termos consecutivos da sequncia de Fibonacci so primos

entre si.
Demonstrao. Demonstra-se o resultado por induo. Para

(1, 1) = 1.

Suponha que

(fn , fn+1 ) = 1

n = 1 tem-se que (f1 , f2 ) =

Ento, pelo Lema de Euclides:

(fn+1 , fn+2 ) = (fn+1 , fn+2 fn+1 ) = (fn+1 , fn ) = 1.

24

Proposio 2.21.

Sejam

m, n N

m 2.

Ento

fm+n = fm1 fn + fm fn+1 .

Demonstrao. Demonstra-se o resultado primeiro por se xar
sobre

m.

Depois, xa-se

o resultado vale para todo

Tomando

n=1

e usa-se induo sobre

e para todo

n.

n=1

e usar induo

Desta maneira demonstra-se que

n.

a igualdade escreve-se como:

fm+1 = fm1 f1 + fm f1+1 = fm1 + fm ,

que verdadeira para todo
Suponha, agora que,

pela denio da sequncia de Fibonacci.

fm+n = fm1 fn + fm fn+1 .

Ento,

fm+(n+1) = fm+n + fm+(n1) = fm1 fn + fm fn+1 + fm+(n1) =

= fm1 (fn+1 fn1 ) + fm (fn+2 fn ) + fm+(n1) =
= fm1 fn+1 fm1 fn1 + fm fn+2 fm fn + fm+(n1) =
= fm1 fn+1 + fm fn+2 fm1 fn1 fm fn + fm+(n1) = ()
Mas, usando a hiptese de induo uma segunda vez, tem-se que

fm1 fn1 + fm fn .

Substituindo em

()

fm+(n1) =

obtem-se

() = fm1 fn+1 + fm fn+2 fm1 fn1 fm fn + fm1 fn1 + fm fn =

= fm1 fn+1 + fm fn+2 .

Proposio 2.22.

Sejam

m, n N .

m|n

ento

fm |fn .

n = km para algum inteiro k . Demonstra-se

que o resultado vale para todo mltiplo de m pelo uso de induo sobre k . Para k = 1,
tem-se que m|m ento fm |fm verdadeiro. Suponha que o resultado vale para n = km,
ou seja, que fm |fmk . Ento, pela Proposio 2.21 tem-se que

Demonstrao. Como

m|n

Se

tem-se que

fn(k+1) = fnk+n = fnk1 fn + fnk fn+1 .

Mas,

fn |fnk1 fn

Teorema 2.3.
fn |fm

e, pela hiptese de induo,

fn |fnk fn+1 , segue que fn

Na sequncia de Fibonacci sempre vale

se, e somente se,

n|m.

divide

(fm , fn ) = f(m,n) .

fn(k+1) .

Alm disso,

25

Demonstrao. Suponha que

m n.

Ento, pela Divisao Euclidiana,

m = nq + r.

Usando a Proposio 2.21 tem-se que

fm = fnq+r = fnq1 fr + fnq fr+1 .

Mas, pela Proposio 2.22,

fn |fnq .

Ento, pelo Lema de Euclides:

(fn , fm ) = (fnq1 fr + fnq fr+1 , fn ) = (fnq1 fr , fn ).

()

(fnq1 , fnq ) = 1, ento, da Proposio 2.16 tem-se que (fnq1 , fn ) =

1. Portanto, de () e da Proposio 2.15 segue que (fm , fn ) = (fn , fr ). Ento, pela
Proposio 2.18, (fm , fn ) = f(m,n) .
A segunda armao segue diretamente da primeira, pois, se n|m ento, pela Proposio 2.17, (n, m) = n, de onde, fn = f(n,m) = (fn , fm ), ou seja, fn = (fn , fm ). Logo,
fn |fm . Mostra-se a recproca usando o mesmo argumento.
Pela Proposio 2.20,

Uma das perguntas interessantes relacionadas sequncia de Fibonacci se ela

possui em seus termos, innitos nmeros primos (um nmero primo o que divisvel
apenas por um e por ele mesmo. Mais sobre os nmeros primos ser visto no captulo 3).
Esta pergunta no tinha sido respondida at concluso deste trabalho e encontra-se
entre as armaes no demonstradas sobre os nmeros primos.

3 Sobre Nmeros Primos

Neste captulo, ser apresentado o principal elemento matemtico de estudo deste
trabalho, os nmeros primos. No prximo, sero apresentados algumas aplicaes.

Denio 3.1.

Um nmero natural maior do que 1 e que s divisvel por 1 e por si

prprio chamado de nmero primo.

Exemplo 3.1.
divisveis por

Os nmeros

Sejam,

Exemplo 3.2.
e

para o qual

representado por

mod 5

29

so primos, mas

85, 115

140

no so, pois so

5.

Denio 3.2.
teiro positivo

7, 13

m nmeros naturais tais que (a, m) = 1. O menor inak 1 mod m chamado de ordem de a mdulo m e

ordm a.

34 = 81 1 mod 5, 33 = 27 2 mod 5, 32 = 9 4
31 = 3 3 mod 5. Portanto, ord5 3 = 4.
Por exemplo,

Denio 3.3. Seja n um nmero natural.

de Euler que associa

m menores do que n, tais que

Chama-se funo

a cada nmero natural, o nmero de inteiros positivos

(m, n) = 1.

Exemplo 3.3.

para os nmeros 24, 32 e 37.

Para 24 tem-se que 1, 5, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22 e 23 so primos
com 24. Logo (24) = 17.
Para 32 tem-se que 1, 3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23,
24, 25, 26, 27, 28 ,29, 30 e 31 so primos com 32. Logo (32) = 27.
Finalmente, para 31, uma vez que ele um nmero primo tem-se que (31) = 30,
pois todos os nmeros anteriores a 31 so primos com ele.
Calcule o valor da funo

Denio 3.4.

Sejam,

chamado raiz primitiva mdulo

Exemplo 3.4.

nmeros naturais tais que

quando

(a, m) = 1.

O nmero

ordm a = (m).

3 uma raiz primitiva de 7, pois 729 = 36 1 mod 7. Por

5
4
3
2
outro lado, 3 = 243 5 mod 7, 3 = 81 4 mod 7, 3 = 27 6 mod 7, 3 = 9 2
mod 7 e 31 = 3 3 mod 7. Portanto, ord7 3 = 6.
Alm disso, como 7 um nmero primo tem-se que (7) = 6, o que prova que 3
uma raiz primitiva de 7.
Tem-se que

26

27

Denio 3.5. Um sistema completo de resduos mdulo m um conjunto de nmeros

naturais cujos restos pela diviso por

so os nmeros

0, 1, 2, , m 1,

em qualquer

ordem e sem repeties.

Exemplo 3.5.
dulo

pois, dividindo

Denio 3.6.
naturais

{31, 43, 82, 95, 14} um sistema completo de resduos mestes nmeros por 5 obtem-se, respectivamente, 1, 3, 2, 0 e 4.

O conjunto

Um sistema reduzido de resduos mdulo

r1 , , rs

1.

(ri , m) = 1,

2.

ri

Exemplo 3.6.

um conjunto de nmeros

tais que

para todo

no congruente a

3. Para cada

nN

i = 1, , s,
rj

mdulo

i = j,

para

que seja primo com

m,

existe

tal que

n ri mod m.

Usando o mesmo conjunto do Exemplo 3.5 tem-se que

um sistema reduzido de resduos mdulo

5,

{31, 43, 82, 14}

pois todos os seus elementos so primos

5, nenhum deles congruente ao outro mdulo 5 e todo natural que seja primo
com 5 congruente a um dos elementos deste conjunto mdulo 5, j que todos os restos
maiores do que zero, possveis numa diviso por 5 podem ser obtidos dos elementos
com

deste conjunto.

Observao 3.1.

Das denies anteriores percebe-se que

(m) m 1

pois, os

valores que tal funo pode assumir so os valores que correspondem ao resto da diviso

m. Note ainda que, quando (m) = m 1, m

primo, pois todos os nmeros 1, 2, 3, , m 1 so primos com m.
Isso ajuda a concluir que, se um nmero a raiz primitiva mdulo p, com p primo,
ento ordp a = (p) = p 1. Alm disso, possvel demonstrar que todo nmero primo
p possui pelo menos uma raiz primitiva a, tal que p | a.
euclidiana de um nmero natural por

Nos artigos 73 e 74 das Disquisitiones Arithmeticae, Gauss descreveu um processo

para o clculo de razes primitivas.

Observao 3.2. Durante os sculos os matemticos tm observado classes de nmeros

com o objetivo de aprender sobre os nmeros primos. Muitos dos problemas abertos
da matemtica relacionam-se a estas classes e, por isso, apresenta-se agora uma lista
das mais conhecidas.

1. Nmeros de Fermat :

Fn = 22 + 1;

2. Nmeros de Mersenne:

Mn = 2n 1;

3. Pseudoprimos: Nmeros compostos que possuem propriedades que se espera encontrar apenas em nmeros primos;

28

4. Nmeros de Carmichael: Nmeros compostos

todo

a, 1 < a < n

com

tais que

an1 1 mod n,

para

(a, n) = 1;

5. Nmeros de Cullen: Nmeros da forma

Cn = n 2n + 1

6. Nmeros de Woodall: Nmeros da forma

Cn = n 2n 1

Alm disso, diversas classes de nmeros primos foram estudadas. Abaixo apresentase alguns exemplos.

1. Primos de Sophie-German: Nmeros primos

tais que

2p + 1

tambm sejam

primos.
2. Primos de Wieferich: Um primo

que satisfaz a congruncia

3. Primos de Wilson: Um primo que satisfaz a congruncia

2p1 1 mod p2 .

(p 1)! 1 mod p2 .

Existem muitas conjeturas, ou seja, armaes no demonstradas, sobre os nmeros

primos e relacionadas a eles. Abaixo apresenta-se algumas delas:

1. Existe uma innidade de nmeros de Mersenne compostos.

a um nmero inteiro diferente de zero e que no quadrado, ento existe uma

innidade de nmeros primos p tais que a raiz primitiva mdulo p. (Conjetura

2. Se

de Artin)
3. Para todo natural par
consecutivos

pn , Pn+1 ,

2k ,

existe uma innidade de pares de nmeros primos

tais que

4. Todo inteiro par maior do que

dn = pn+1 pn = 2k .
4

(Conjetura de Polignac)

a soma de dois nmeros primos. (Conjetura

de Goldbach)

Mp o p-simo nmero de Mersenne. Mp primo, se somente se, as sen2p + 1

k
k
tenas
e p um primo da forma 2 1 ou 4 3 (para algum k 1)
3

5. Seja

forem simultaneamente verdadeiras ou falsas. (Conjetura de Batman, Selfridge e

Wagsta )

Utilizando-se clculos em computadores demonstra-se que vrias conjeturas so vlidas para milhares de nmeros. No entanto, uma demonstrao para todos os naturais
ainda no foi encontrada para nenhuma delas. No captulo 5 sero analisados alguns
resultados relacionados com a Conjetura de Goldbach.

Observao 3.3.

Da denio de nmero primos, dados

um nmero natural

1. Se

p|q ,

ento

qualquer, tem-se que:

p = q.

dois nmeros primos e

29

2. Se

p a,

ento

(p, a) = 1.

1. Com efeito, por hiptese,

primo e

p|q ,

ento pela denio de nmero primo,

p = q . Como p primo tem-se, por denio, que p > 1. Logo p = q .

2. Seja (p, a) = d. Pela denio de mximo divisor comum tem-se que d|p e d|a.
Portanto, d = p ou d = 1. Mas e se d = p ento se seguiria que p|a, o que contrrio
hiptese. Logo d = 1

ou

p=1

ou

Proposio 3.1.
ento

p|a

ou

Sejam

a, b

p,

nmeros naturais com

a.

Logo, por denio,

um nmero primo. Se

p|a b

(p, a) = 1.

Portanto, pelo

p|b.

Corolrio 3.1. Sejam p, p1 , p2 , , pn nmeros primos.

para algum

p|b.

Demonstrao. Suponha que

Teorema 2.2,

Se

p|p1 p2 pn ,

ento

p = pi

i = 1, 2, , n.

Demonstrao. Demonstra-se o resultado por induo sobre

n.

Se

n = 2,

o resultado

vale pela Proposio 3.1. Como hiptese de induo suponha que o resultado vale para

n 1.

p|p1 p2 pn tem-se que p|p1 p2 pn1 ou p|pn . Se p|pn o resultado

segue. Se p pn ento p|p1 p2 pn1 e, pela hiptese de induo p = pi para algum
i = 1, 2, , n 1.
Agora se,

Teorema 3.1. (Teorema Fundamental da Aritmtica) Todo nmero natural maior

do que 1 ou primo ou se escreve de modo nico (a menos da ordem dos fatores) como
um produto de nmeros primos, distintos ou no.
Demonstrao. Usando o princpio de induo nita, tem-se que, para

n = 2 o resuln primo, ou

k < n. Mas ento, ou

pode escrito como n = n1 n2 com 0 < n1 < n e 0 < n2 < n. Ento, pela hiptese
de induo, existem primos p1 , p2 , , pr e q1 , q2 , , qs , tais que n1 = p1 p2 pr e
n2 = q1 q2 qs e, ento n = n1 n2 = p1 p2 pr q1 q2 qs , onde os pi no so todos
necessariamente distintos dos qj .
Falta, ainda, mostrar que esta decomposio nica. Suponha, agora que n =
p1 p2 pt = q1 q2 qu , com os pi e qj , nmeros primos. Evidentemente, se n = 2,
tem-se p1 = q1 = 2. Suponha, que o resultado vale para todo natural menor do que n,
ou seja, que caso se tenha n > m = p1 p2 pt = q1 q2 qu , com os pi e qj ento,
t = u e cada um dos pi igual a um dos qj para algum j .
Tem-se que p1 |n = q1 q2 qu e, portanto, p1 q1 q2 qu . Pelo Corolrio 3.1 p1 = qj
para algum j . Reordenando os qj pode-se supor que tem-se q1 = p1. Ento,
tado vale.

Suponha que o resultado vale para

p2 pt = q2 qu .
p2 pt < n tem-se que, pela hiptese de induo, t = u
um dos qj para algum j . Portanto, o resultado segue.

Mas, como

pi

igual a

e cada um dos

30

Teorema 3.2.

Se

no primo, ento

possui um fator primo menor ou igual a

n.

n no primo ele , por denio, composto. Ento, pode ser escrito

como n = n1 n2 . Suponha, sem perda de generalidade, que n1 < n2 . Pode-se concluir,

n. De fato, se no for assim tem-se que n = n1 n2 > n n = n,

ento, que n1

o que absurdo. Logo n1

n.
Pelo Teorema Fundamental da Aritmtica, n1 possui pelo menos um fator primo p.

n.
Como esse fator menor ou igual a n1 ele menor ou igual a
Demonstrao. Se

O famoso matemtico grego Euclides, autor de Os Elementos, demonstrou o seguinte teorema:

Teorema 3.3.

Existem innitos nmeros primos.

Demonstrao. Suponha, por absurdo, que a sucesso de nmeros primos seja nita e
dada por

p1 , p2 , , pn .

P . Esse primo no
p1 p2 pn . Logo,

P = p1 p2 pn + 1. Seja p um nmero primo que divide

pode ser igual a nenhum dos pi pois, seno, dividiria P e dividiria
dividiria, P p1 p2 pn = 1, o que absurdo. Portanto, p um
Seja

nmero primo que no pertence sucesso e, portanto, existe um primo diferente de

p1 , p2 , , pn .

Esse raciocnio pode ser repetido quantas vezes for necessrio. Portanto,

existem innitos nmeros primos.

Aps a comprovao de que existiam innitos primos diversos matemticos comearam a procurar uma frmula geral para a sequncia dos primos. Esta procura levou
criao de vrios testes de primalidade que, embora no sejam ecientes, pois exigem
um grande nmero de operaes, podem ajudar a determinar se um nmero possivelmente primo.

Os testes de primalidade podem ser classicados em seis categorias

distintas:

1. Testes para nmeros de forma particular

(a) Teste APR

(b) Testes com curvas elpticas

2. Testes para nmeros genricos

3. Testes baseados em teoremas
4. Testes baseados em conjecturas

(a) Teste de Miller - baseado na hiptese de Riemann

5. Testes determinsticos

31

6. Testes de Monte Carlos

Proposio 3.2.
primo

tal que

Se um nmero natural

p2 n,

ento

n > 1

no divisvel por nenhum nmero

primo.

p primo, tal que p|n com p2 n

e que n seja composto. Ento pelo Teorema Fundamental da Aritmtica, existe q ,tal
que q o menor nmero primo que divide n. Ento n = qn1 e q n1 . De onde,
q2 qn1 = n. Portanto, q|n e q2 n, contrrio hiptese.
Demonstrao. Suponha, por absurdo, que no exista

Teorema 3.4.
que

(Pequeno Teorema de Fermat)

divide o nmero

a a,

para todo

Dado um nmero primo

p|0.

Suponha, que o resultado vale para

(a + 1)p (a + 1) = ap +

a.

a.

p,

ento

divide

a=1

o resultado

Ento tem-se que:

p p1
p p2
p
a
+
a
+ +
aa=
1
2
p1

que , pela hiptese de induo e pelo Lema 4.1, divisvel por

Se

Para

p p1
p p2
p
a
+
a
+ +
a,
1
2
p1

= ap a +

Corolrio 3.2.

tem-se

a N.

Demonstrao. Demonstra-se o resultado por induo sobre

vale, pois

p,

um nmero primo e se

p.

um nmero natural no divisvel por

ap1 1.

Demonstrao. Pelo Pequeno Teorema de Fermat tem-se que

Por outro lado, por hiptese,

a,

ou seja

(a, p) = 1.

p|ap a = a(ap1 1).

Ento, pelo Teorema 2.2,

p|ap1 1.

Proposio 3.3.

Sejam

a, b, c, m N,

ac bc mod m se,

com

c=0

e somente se

m > 1.

a b mod

Demonstrao. Supondo, sem perda de generalidade, que

Corolrio 2.3,

c
(c, m)

m
(c, m)

Ento

m
.
(c, m)

bc ac

e uma vez que, pelo

so primos entre si, tem-se que

m
c
|(b a)

(c, m)
(c, m)
m
m

|(b a) a b mod
.
(c, m)
(c, m)

ac bc mod m m|(b a)c

Corolrio 3.3.

Sejam

a, b, c, m N,

com

ac bc mod m se,

c = 0, m > 1

e somente se

(c, m) = 1.

a b mod m.

Ento

32

Demonstrao. Decorre, imediatamente da Proposio anterior, uma vez que

(c, m) =

1.

Proposio 3.4.
a N,

tal que

mdulo

r1 , , r(m) um sistema reduzido de resduos mdulo m e seja

(a, m) = 1. Ento, ar1 , , ar(m) um sistema reduzido de resduos
Seja

m.

m, r1 , , r(m)
tenha sido obtido a partir de um sistema completo de resduos mdulo m dado por
a1 , , am . Ento, para todo ai com um ri correspondente tem-se que (ai , m) = 1.
Ento, pela Proposio 2.16 tem-se que (aai , m) = 1, o que demonstra o resultado.
Demonstrao. Suponha que o sistema reduzido de resduos mdulo

Teorema 3.5.

(De Euler) Sejam

m, a N,

a(m) 1

com

m>1

(a, m) = 1.

mod m.

Demonstrao. Seja um sistema reduzido de resduos mdulo

Pela Proposicao 3.4,

m.

ar1 , , ar(m)

m dado por r1 , , r(m) .

tambm formam um sistema de resduos mdulo

Ento

a(m) r1 r2 r(m) = ar1 ar2 ar(m) r1 r2 r(m)

mod m.

Aplicando a Proposio 2.15 um nmero nito de vezes tem-se que

1.

Ento:

Ento, pelo Corolrio 3.3 tem-se que

(r1 r2 r(m) , m) =

a(m) 1 mod m.

Pode-se formular o Pequeno Teorema de Fermat utilizando a denio de congruncia (Denio 2.5) da seguinte maneira:

Teorema 3.6.
p divide
mod p.

que

(Pequeno Teorema de Fermat)

o nmero

a a mod p,

para todo

Dado um nmero primo

a N.

Se,

a,

ento

Demonstrao. Consequncia direta do Teorema de Euler j que, como

p = p 1.

Ento

a(p) = ap1 1

mod p.

p, tem-se
ap1 1

primo

4 Nmeros Primos: Resultados e

Aplicaes
Denio 4.1. Dado x N denota-se por (x) ao nmero de primos p tais que p x.
A funo

(x)

chamada funo de contagem dos nmeros primos.

Em 1792, aos 15 anos de idade, Gauss conjeturou que

(x)

era assintoticamente

igual funo logartmica:

Li(x) =
2

dt
.
log t

Com o tempo tal conjetura provou-se verdadeira e hoje conhecida como:

Teorema 4.1.

(Teorema dos Nmeros Primos). Nas condies da denio anterior,

(x)

4.1

x
.
log x

Nmeros Primos e Fatoriais

Proposio 4.1. Para todo natural n 2, a sequncia (n+1)!+2, (n+1)!+3, , (n+

1)! + n + 1

de nmeros naturais formada por

nmeros consecutivos compostos.

(n + 1)! possui todos

forma (n + 1)! + i, com

Demonstrao. De fato, pela denio de fatorial, o nmero

2 at n + 1. Logo, dado qualquer nmero da

i = 2, ..., n + 1, existir o fator i no nmero (n + 1)!, ou seja,
os fatores de

(n + 1)! + i = (2 3 . . . (i 1) i (i + 1) . . . (n + 1)) + i =
= i(2 3 . . . (i 1) (i + 1) . . . (n + 1)) + i =
= i(2 3 . . . (i 1) (i + 1) . . . (n + 1) + 1)
que divisvel por

Lema 4.1.

Seja

divisveis por

e, portanto, um nmero composto.

um nmero primo. Os nmeros

p.
33

p
, onde
i

0 < i < p,

so todos

Nmeros Primos e Fatoriais

34

Demonstrao. Por denio,

p
p(p 1)(p 2) (p i + 1)
=
.
i
i!
Evidentemente, se i = 1 o resultado segue. Assim, supondo 1 < i < p tem-se
i!|p(p 1) (p i + 1). Uma vez que i < p resulta que (i!, p) = 1, ento i!|(p
1) (p i + 1). Escrevendo
p
i

=p

(p 1)(p 2) (p i + 1)
i!

facilmente observa-se que o resultado vale.

Nesse tpico ser utilizado o smbolo

por

na diviso euclidiana.

Proposio 4.2.

Seja

quociente da diviso de

a N
a por b

a
b

para designar o quociente da diviso de

b, c N .

Ento,o quociente da diviso por

igual ao quociente da diviso de

por

vezes

c
c,

do
ou

seja,

a
b = a .
c
bc
Demonstrao. Considere

a
e q2 = b .
c

a
b

q1 =

a = bq1 +r1 , com r1 b1. Por outro lado, tambm

a
pela diviso euclidiana, q1 =
= cq2 + r2 , com r2 c 1.
b
Portanto, a = bq1 + r1 = b(cq2 + r2 ) + r1 = bcq2 + br2 + r1 .
Observando ainda que, br2 + r1 b(c 1) + b 1 = bc 1, conclu-se que q2 o
quociente da diviso de a por bc, ou seja,
Ento, pela diviso euclidiana,

q2 =

Observao 4.1.

Dados

primo e

expoente da maior potncia de

decomposio de

Teorema 4.2.

a
.
bc

um nmero natural, denota-se por

que divide

m,

Ep (m)

ao

ou seja, ao expoente que aparece na

em fatores primos.

(Legendre) Sejam

Ep (n!) =

um nmero natural e

n
n
n
+ 2 + 3 + ...
p
p
p

um nmero primo. Ento

Nmeros Primos e Fatoriais

35

Demonstrao. Observe que, pelo Princpio da Boa Ordem, existe um nmero natural

tal que

pi > n

para todo

i r.

Ento,

n
pi

= 0,

se

i r.

Para demonstrar o

n. Para n = 0 tem-se Ep (0!) = 0. Suponha,

m < n. Os mltiplos de p entre 1 e n so

resultado usa-se induo sobre

o resultado vale para todo

p, 2p, . . . ,

agora que

n
p.
p

Pode-se, ento, escrever,

n
+ Ep
p

Ep (n!) =

n
! .
p

Mas, por hiptese de induo,

n
n
p p

=
p + p2

Ep

Pela Proposio 4.2,

n
p
p

n
!
p

n
p2

n
n
p
= 3
2
p
p

+ ...

, etc...

Portanto,

Ep (n!) =

Exemplo 4.1.

n
n
n
+ 2 + 3 + ...
p
p
p

Encontrar a decomposio de

20!

em fatores primos e descobrir com

quantos zeros termina a representao decimal deste nmero.

Para resolver o problema necessrio encontrar o valor de

p 20.

Ep (20!) para todo primo

Tem-se que:

E2 (20!) =

20
20
20
20
+
+
+
= 10 + 5 + 2 + 1 = 18
2
4
8
16
E3 (20!) =

20
20
+
=6+2=8
3
9

E5 (20!) =

20
=4
5

E7 (20!) =

20
=2
7

E11 (20!) =

20
=1
11

Nmeros Primos e Fatoriais

E13 (20!) =

20
=1
17

E19 (20!) =
Logo

20
=1
13

E17 (20!) =

36

20
=1
19

20! = 218 38 54 72 11 13 17 19.

Como existem

fatores

neste nmero,

ele termina com quatro zeros.

Denio 4.2.

Seja um nmero natural

n-dica de um nmero natural

Exemplo 4.2.
n-dica para

com

n > 0.

Chama-se representao

sua representao na base

Seja o nmero natural

de

n,

295.

n.

Apresenta-se abaixo sua representao

9:

100100111(2) = 1 256 + 0 128 + 0 64 + 1 32 + 0 16 + 0 8 + 1 4 + 1 2 + 1 =

256 + 0 + 0 + 32 + 0 + 0 + 4 + 2 + 1 = 295
101221(3) = 1 243 + 0 81 + 1 27 + 2 9 + 2 3 + 1 = 243 + 0 + 27 + 18 + 6 + 1 = 295
10213(4) = 1 256 + 0 64 + 2 16 + 1 4 + 3 = 256 + 0 + 32 + 4 + 3 = 295
2140(5) = 2 125 + 1 25 + 4 5 + 0 = 250 + 25 + 20 + 0 = 295
1211(6) = 1 216 + 2 36 + 1 6 + 1 = 216 + 72 + 6 + 1 = 295
601(7) = 6 49 + 0 7 + 1 = 294 + 0 + 1 = 295
447(8) = 4 64 + 4 8 + 7 = 256 + 32 + 7 = 295
357(9) = 3 81 + 5 9 + 7 = 243 + 45 + 7 = 295

Teorema 4.3.

Sejam

p, n N

com

primo. Suponha que

n = nr pr + nr1 pr1 + ... + n1 p + n0 .

seja a representao p-dica de

n.

Ep (n!) =
Demonstrao. Por denio,

Ento,

n (n0 + n1 + ... + nr )
.
p1

0 ni < p.

Ento:

n
= nr pr1 + nr1 pr2 + ... + n2 p + n1
p

Nmeros Primos e Fatoriais

37

n
= nr pr2 + nr1 pr3 + ... + n2
p2

n
= nr .
pr
Da, usando a frmula do Teorema de Legendre e somando e subtraindo

n0

na

expresso resultante tem-se que:

Ep (n!) =

n
n
pr 1
pr1 1
n
+ 2 + ... + r = nr
+ nr1
+ + n1 =
p
p
p
p1
p1

nr pr + nr1 pr1 + + n1 p + n0 (nr + nr1 + + n1 + n0 )

=
p1
=

Exemplo 4.3.

n (n0 + n1 + + nr )
.
p1

Encontre a decomposio de

20!

utilizando a frmula do Teorema 4.3

e compare com o resultado do Exemplo 4.1.

Para resolver este exerccio necessrio encontrar a representao de

2, 3, 5, 7, 11, 13, 17

19.

Tem-se que

10100(2) = 1 16 + 0 8 + 1 4 + 0 2 + 0
202(3) = 2 9 + 0 3 + 2
40(5) = 4 5 + 0 = 20 + 0
26(7) = 2 7 + 6 = 14 + 6
19(11) = 1 11 + 9
17(13) = 1 13 + 7
13(17) = 1 17 + 3
11(19) = 1 19 + 1
A partir da tem-se que:

E2 (20!) =

20 (0 + 0 + 1 + 0 + 1)
= 18
21

20

nas bases

Nmeros Primos e Progresses Aritmticas

E3 (20!) =

20 (2 + 0 + 2)
=8
31

E5 (20!) =

20 (0 + 4)
=4
51

E7 (20!) =

20 (6 + 2)
=2
71

E11 (20!) =

20 (9 + 1)
=1
11 1

E13 (20!) =

20 (7 + 1)
=1
13 1

E17 (20!) =

20 (3 + 1)
=1
17 1

E19 (20!) =

4.2

38

20 (1 + 1)
=1
19 1

Nmeros Primos e Progresses Aritmticas

Teorema 4.4.

d 2 e a = 0 so inteiros primos entre si ento a

progresso aritmtica a, a+d, a+2d, ..., a+(n1)d, contm uma innidade de nmeros
(Dirichlet) Se

primos.
A demonstrao foge do escopo deste trabalho, mas pode ser encontrada em HASSE,
1980.
O resultado abaixo est relacionado conjetura de que existem innitos nmeros
de Mersenne compostos.

Proposio 4.3. (Powell-Israel) Sejam m, n nmeros inteiros tais que, m > 1 e mn >
2 e p um
mp n.

nmero primo. Ento existe uma innidade de nmeros compostos da forma

Demonstrao. Pelo Teorema Fundamental da Aritmtica

mn 1

possui pelo menos

q | m. Pelo Teorema de Dirichlet (4.4) existem innitos

primos p, tais que p q 2 mod q 1. Portanto, existe uma innidade de nmeros
p
inteiros compostos m n com p primo.
um fator primo

q.

Observao 4.2.

Ento,

Em 2 de maro de 1998, M. Topic, encontrou uma progresso arit-

mtica que possui dez termos consecutivos primos. A razo da progresso aritmtica

210.

O primeiro destes termos o nmero

Nmeros Primos e Progresses Aritmticas

p = 10009969724697142476377866555879698403295093246891900418036034177
58904341703348882159067229719.

39

5 A Conjetura de Goldbach
Em 1742, em uma carta a Euler, Goldbach disse acreditar que todo inteiro maior
do que

5,

ou seja, todo inteiro maior ou igual a

6,

podia ser escrito como a soma de

trs primos. Euler respondeu que era fcil ver que essa armao era equivalente :

Todo inteiro par maior ou igual a

a soma de dois nmeros primos.

n 3,
Portanto, 2n = 2+p1 +p2 e 2n+1 = 3+p1 +p2 ,

De fato, se a segunda armao for suposta verdadeira tem-se que, para todo

2n2 = p1 +p2 , onde p1 e p2 so primos.

o que demonstra a primeira armao.

Reciprocamente, suposta verdadeira a primeira armao tem-se que, para

2n + 2 = p1 + p2 + p3 , onde p1 , p2

p3

2n 4,

2n + 2 par, um destes primos

p2 = 2 tem-se 2n = p1 + p2 .

so primos. Como

necessariamente par, ou seja, igual a 2. Supondo,

No entanto, a validade da segunda armao, agora conhecida como Conjetura de

Goldbach, permanece sem demonstrao at a concluso deste trabalho. Pelo fato de
existirem innitos primos, facilmente nota-se que vale a seguinte variao da Conjetura
de Goldbach:

Proposio 5.1.

Existe uma quantidade enumervel de naturais tais que a Conjetura

de Goldbach vlida.
Demonstrao. Tome

b 3,

um nmero natural.

Como existem innitos nmeros

b percorre o conjunto dos naturais, obtm-se a sequncia p1 + 3, p2 +

3, p2 + 3, ..., pi + 3, ..., com os pi 's primos distintos e mpares. Sendo assim, as somas
pi + 3 so nmeros pares, ou seja, 2ni = pi + 3, para uma quantidade enumervel
de ni . Portanto, a Conjetura de Goldbach vale para uma quantidade enumervel de

primos, quando

naturais.
Generalizando este resultado, tem-se que escolhendo

2 < p < q pi ,

primos, a

sequncia,

p1 + p, p2 + p, p3 + p, ..., pi + p, ...,
pi s primos distintos, tambm tem por elementos apenas nmeros pares, valendo
Conjetura de Goldbach para os ni da forma 2ni = pi + p.

com os
a

40

41

Apesar disso, as diculdades para demonstrar a Conjetura permanecem. Durante

o ano de 2011 cursava o Mestrado Prossional em Matemtica em Rede Nacional
(PROFMAT), quando, na disciplina de Fundamentos da Aritmtica me deparei com o
seguinte exerccio (Hefez, pg 95, ex 7.S.6)

Existe uma correspondncia biunvoca entre pares de primos gmeos e nmeros

tais que

n 1

possui quatro divisores.

O problema imediatamente me interessou, pois relacionava-se diretamente a um outro problema em aberto da matemtica, a saber: Existem innitos primos gmeos ?
Ento decidi resolver o exerccio, pois demonstrar que existem innitos valores de

n 1 tem quatro divisores equivale a responder armativamente a ques-

para os quais

to acima. A resoluo do exerccio :

p e q , tome n = p + 1. Ento, p = n 1. Por outro

2
lado, n = q 1 e, portanto, q = n + 1. Tem-se ento que p q = (n 1)(n + 1) = n 1.
2
2
Os divisores de n 1 so 1, p, q e n 1, ou seja, quatro divisores.
2
2
Reciprocamente, se n 1 possui quatro divisores ele da forma p q = n 1, com
p e q primos. Ento,
Dado um par de primos gmeos

p q = n2 1 = (n + 1)(n 1).
Como

p = n1

q so primos tem-se,
q = n + 1. Logo, p e q

supondo, sem perda de generalidade,

p < q,

que

so primos gmeos. A unicidade garantida pelo

Teorema Fundamental da Aritmtica.

Resolver o exerccio foi simples, no entanto, demonstrar a existncia de innitos

para os quais tal propriedade vale mostrou-se to inatingvel quanto a demonstrao

da armao original sobre se existem innitos pares de primos gmeos. No entanto,
analisando o exerccio, imaginei o que aconteceria se em vez de considerar as diferenas
de quadrado

n2 1

fossem estudadas as diferenas

n 2 a2

para um nmero natural

qualquer.
Uma primeira ideia foi de que o resultado do exerccio pudesse ser estendido para
o caso geral, ou seja, que existisse uma correspondncia biunvoca entre primos equidistantes de um determinado

e as diferenas de quadrados

quatro divisores. Observe que tal diferena pode ser fatorada

n2 a2 que possussem
como (n + a)(n a). No

entanto, ao estudar tal diferena para diversos valores percebi, com a ajuda do Prof.
Dr. Rmulo Campos Lins e Prof Dr. Henrique Lazari, que em alguns determinados
casos o resultado no era vlido.
Por exemplo, se for escolhido

(6 + 3)(6 3) = 9 3,

n=6

a=3

n2 a2 = 62 32 = 27 =
1, 3, 9 e 27, mas 9 e 3 no

tem-se que

que possui quatro divisores, a saber

42

so primos equidistantes de

6.

na
sejam primos entre si. Observe que esta condio satisfeita no caso em que a = 1.
Adicionalmente, perceba que se a = n 1 obtem-se que n + a = 2n 1 e n a = 1 e,
uma vez que 1 no primo, estes casos tambm precisam ser excludos.
Portanto, para o caso geral, necessrio colocar, como hiptese, que

n+a

Levando em conta estas restries formulei o seguinte resultado geral:

Proposio 5.2.

n > 3, suponha que exista um nmero

natural a, 0 < a < n 1, tal que (n a, n + a) = 1. Nestas condies, para cada par
n e a, existe uma correspondncia biunvoca entre pares de primos equidistantes de n
2
2
e os nmeros da forma n a que possuem quatro divisores.
Para cada nmero natural

p e q equidistantes de n, suponha,
sem perda de generalidade, que p < n e tome a = n p. Ento, n = p + a e
p = n a. Como p e q so equidistantes de n, n = q a e tem-se que q = n + a. Ento
p q = (n a)(n + a) = n2 a2 . Como, por hiptese, (n a, n + a) = 1, os divisores
2
2
2
2
de n a so 1, p, q e n a , ou seja, quatro divisores.
2
2
2
2
Reciprocamente, se n a possui quatro divisores e (na, n+a) = 1, ento n a
2
2
da forma p q = n a . Alm disso,
Demonstrao. De fato, dado um par de primos

p q = n2 a2 = (n + a)(n a).
Como

(n a, n + a) = 1

na > 1

(pois,

0 < a < n 1),

tem-se que

primos. De fato, suponha, por absurdo, que um deles, por exemplo

p,

so

seja composto.

p = p1 p2 .
1|n a e n2 a2

Ento, pelo Teorema Fundamental da Aritmtica, ele seria escrito como

Logo,

p1 |n a

p2 |n a

p|n a

q|n a

p1 p2 q|n a

teria seis divisores, o que contrrio hiptese.

p < q , tem-se que p = n a e q = n + a.

n. A unicidade de a para p e q garantida

Supondo, sem perda de generalidade,

Logo,

so primos equidistantes de

pelo Teorema Fundamental da Aritmtica.

Aps demonstrar essa proposio percebi que havia uma ligao entre ela e a Con-

p e q da proposio acima tem-se

que p = na e q = n+a, de onde p+q = na+n+a = 2n. Ou seja, p+q = 2n. Desta
maneira, demonstrar que para todo n existe um nmero a nas condies da Proposio

jetura de Goldbach, pois, considerando-se os primos

5.2 equivalente a demonstrar a Conjetura de Goldbach.

assunto percebi, ento, que falar sobre
sobre

p+q
= n, n 2.
2

p + q = 2n

n2

2n 4

era equivalente a falar

Essa concluso equivale armar que para todo

primo, ou existem primos equidistantes de

nmero

para

Estudando ainda mais o

pode-se armar que

n.

n2

ou

Em resumo signica que, para todo

a mdia aritmtica de

primos. Chegando a

esta concluso, por volta de agosto de 2012, resolvi entrar em contato com alguns pesquisadores do Departamento de Matemtica da UNESP/RC. Conversei com a Profa.

43

Dra. Eliris Cristina Rizziolli e com o Prof. Dr. Henrique Lazari sobre meus estudos
e enviei para eles, via e-mail, parte de minhas concluses. A partir do incentivo deles
prossegui as pesquisas.
Encontrei, num artigo da Wikipedia, em ingls [7] uma armao similar de que
para todo nmero

n 2, n

a mdia aritmtica de

como Conjetura de Lawson, dizia Para todo

equidistantes de

I.

primos. Tal armao, citada

maior do que

existe um par de primos

No entanto, a Conjetura de Lawson falha para

ento complementar esta armao por dar a

I = 3.

necessrio,

a possibilidade de ser primo. Quando se

faz isto a ampliao da Conjetura de Lawson, expressa abaixo equivalente Conjetura

de Goldbach. Formalizando:

Proposio 5.3. A Conjetura de Golbach equivalente a armao de que todo natural

n2

a mdia aritmtica de dois nmeros primos, distintos ou no.

Demonstrao. De fato, suponha vlida a Conjetura de Goldbach. Ento, para todo

n2

2n 4
p+q
.
n=
2

tem-se que

Portanto,

e, por Goldbach, existem primos

n 2, n

Reciprocamente, se vale que, para todo

mximo, dois nmeros primos, existem

p+q
.
2

Ou seja,

2n = p + q ,

com

2n 4

q,

q,

tais que

2n = p + q .

a mdia aritmtica de, no

primos, distintos ou no, tais que

n=

e vale a Conjetura de Goldbach.

Uma vez provado este resultado, demonstra-se agora que essa armao equivalente Proposio 5.2 e, portanto, as duas armaes so equivalentes Conjetura de
Goldbach. Apenas, neste caso, os primos
satisfazer a hiptese de que

Proposio 5.4.
e

n 2 a2

a > 0.

Se para todo

devem ser distintos para se conseguir

Formalizando:

n 2,

existir

tenha 4 divisores, ento existem

0<a<n1
q

(n + a, n a) = 1
p+q
n=
.
2

tal que

primos, tais que,

a < n 1 tal que n2 a2 tem quatro divisores ento, pela

2
2
Proposio 5.2, existem p e q primos tais que pq = n a , com p = n a e q = n + a.
p+q
.
Logo p + q = n a + n + a = 2n e n =
2
p+q
qp
Reciprocamente, se n =
com p e q primos, tome a =
. Ento
2
2
Demonstrao. Se existe

n 2 a2 =
e, portanto,

n2 a2

(p + q)2 (q p)2
4pq

=
= pq,
4
4
4

tem quatro divisores.

Continuando os estudos, percebi que existe um relacionamento entre as diferenas

de quadrados, nas condies da Proposio 5.2, e as equaes quadrticas da forma

x2 (p + q)x + pq = 0,

com

primos distintos. Observe que,

so as razes

da equao e, portanto, existe uma correspondncia biunvoca entre estas diferenas

44

de quadrados e as equaes quadrticas nas quais o coeciente do termo

e cujas razes so primos

q,

x2

igual a

distintos.

Proposio 5.5. Para cada nmero natural n > 3, seja um nmero natural a, 0 < a <
n1, tal que (na, n+a) = 1.

Nestas condies, existe uma correspondncia biunvoca

entre diferenas de quadrados que possuem quatro divisores e equaes quadrticas da

forma

x2 (p + q)x + pq = 0,

com

primos distintos.

n2 a2 com quatro divisores tem-se, pela Proposio

2
2
2
5.2, que n a = pq . Toma-se ento x (p + q)x + pq = 0 para a equao.
2
Reciprocamente, dada a equao x (p + q)x + pq = 0, com p e q primos distintos,
qp
p+q
e a =
. Ento, como demonstrado na Proposio 5.4, tem-se que
tome n =
2
2
2
2
n a = pq .
Demonstrao. De fato, dado

Observao 5.1.
drtica da forma

Um ponto interessante a se observar que, dada uma funo qua-

f (x) = x2 (p+q)x+pq = 0, com p e q primos, tomando-se n =

p+q
2

n2 a2 = pq tem-se que o vrtice da parbola que representa esta funo tem coor2
denadas (n a ). Ou seja, demonstrar que para todo n > 2 encontra-se um a, tal que
0 < a < n 1, com (n + a, n a) = 1,n2 a2 tenha quatro divisores e (n, a2 ) seja o
2
2
2
vrtice da parbola que representa a funo f (x) = x 2nx + (n a ), tambm se
e

relaciona com demonstrar a Conjetura de Goldbach.

Simplicando, se para todo

n 1,

n > 2,

a, tal que 0 < a <

f (x) = x 2n + (n a2 ) tenha por razes

existir um nmero natural

de maneira que a funo quadrtica

dois nmeros primos distintos, ento a Conjetura de Goldbach verdadeira.

A Tabela 5.1 mostra que para muitos valores de

(o nmero da coluna) possvel

p e q que satisfazem a igualdade acima.

2
2
2
2
Por exemplo, quando se escolhe n = 13 e a = 6 tem-se que n a = 13 6 =
169 36 = 133 = 7 19. Ento, 7 e 19 so os primos de Goldbach para n = 13. Estes
encontrar um

(o nmero da linha) e primos

primos podem ser localizados na tabela por se seguir as diagonais a partir do nmero
que se encontra no cruzamento da linha

13

com a coluna

6.

esto sublinhados. As diagonais percorridas para encontrar

primos

Na tabela

n, a

n2 a2

esto em itlico e os

esto em negrito.

Utilizando o mesmo processo para outros valores de

e de

para os quais

n2 a2

possuam quatro divisores o leitor perceber que pode encontrar diversos primos de
Goldbach.

No entanto, a demonstrao de que existe um

para todo

n > 2,

nas

condies da Proposio 5.4 , equivalente vericao da Conjetura de Goldbach,

ainda no foi possvel.
Pelos estudos que z conclu que tal demonstrao to complexa quanto a prpria
Conjetura de Goldbach, mas deixo aos interessados o incentivo para procurar respostas
e caminhos adicionais.

45

10

11

12

-3

-8

-15

-24

-35

-48

-63

-80

-99

-120

-143

-5

-12

-21

-32

-45

-60

-77

-96

-117

-140

-7

-16

-27

-40

-55

-72

-91

-112

- 135

15

12

-9

-20

-33

-48

-65

-84

-105

-128

24

21

16

-11

-24

-39

-56

-75

-96

-119

35

32

27

20

11

-13

-28

-45

-64

-85

-108

48

45

40

33

24

13

-15

-32

-51

-72

-95

63

60

55

48

39

28

15

-17

-36

-57

-80

80

77

72

65

56

45

32

17

-19

-40

-63

10

99

96

91

84

75

64

51

36

19

-21

-44

11

120

117

112

105

96

85

72

57

40

21

-23

12

143

140

135

128

119

108

95

80

63

44

23

13

168

165

160

153

144

133

120

105

88

69

48

25

14

195

192

187

180

171

160

147

132

115

96

75

52

15

224

221

216

209

200

189

176

161

144

125

104

81

16

255

252

247

240

231

220

207

192

175

156

135

112

17

288

285

280

273

264

253

240

225

208

189

168

145

18

323

320

315

308

299

288

275

260

243

224

203

180

19

360

357

352

345

336

325

312

297

280

261

240

217

20

399

396

391

384

375

364

351

336

319

300

279

256

21

440

437

432

425

416

405

392

377

360

341

320

296

22

483

480

475

468

459

448

435

420

403

384

363

340

23

528

525

520

513

504

493

480

465

448

429

408

385

24

575

572

567

560

551

540

527

512

495

476

455

432

25

624

621

616

609

600

589

576

561

544

525

504

481

26

675

672

667

660

651

640

627

612

595

576

555

532

27

728

725

720

713

704

693

680

665

648

629

608

585

28

783

780

775

768

759

748

735

720

703

684

663

640

29

840

837

832

825

816

805

792

777

760

741

720

697

30

899

896

891

894

885

874

861

846

829

800

869

756

31

960

957

952

945

936

925

912

897

880

861

840

907

32

1023

1020

1015

1008

999

988

975

960

943

924

903

880

33

1088

1085

1080

1073

1064

1053

1040

1025

1008

989

968

945

34

1155

1152

1147

1140

1131

1120

1107

1092

1075

1056

1035

1012

35

1224

1221

1216

1209

1200

1189

1176

1161

1144

1125

1104

1081

36

1295

1292

1287

1280

1271

1260

1247

1232

1215

1196

1175

1152

37

1368

1365

1360

1353

1344

1333

1320

1305

1288

1269

1248

1225

38

1443

1440

1435

1428

1419

1408

1395

1380

1363

1344

1323

1300

39

1520

1517

1512

1505

1496

1485

1472

1457

1440

1421

1400

1377

40

1599

1596

1591

1584

1575

1564

1551

1536

1519

1500

1479

1456

Tabela 5.1: Tabela de Diferenas de Quadrados

6 Aplicao do Tema Divisibilidade

em Sala de Aula
Apresenta-se agora uma sugesto para a utilizao do tema divisibilidade na Escola
Bsica. O objetivo mostrar aos alunos como diferentes reas da Matemtica esto
interligadas e como entender esta ligao de ajuda para uma melhor compreenso e
aplicao dos contedos estudados em sala de aula.
No Captulo 4 deste trabalho foram analisadas algumas ligaes entre fatoriais e
divisibilidade. Em especial o Exemplo 4.1, que mostra como encontrar a decomposio
de

20!

utilizando a funo

Ep (m),

na qual

um nmero primo e

um nmero na-

tural, fornece um tema bastante interessante para utilizao em uma classe do segundo
ano do Ensino Mdio, associado ao ensino de Anlise Combinatria.
Essa funo, denida na Observao 4.1, e que retorna o expoente da maior potncia
de

que divide

m,

ou seja, o expoente que aparece na decomposio de

em fatores

primos, simples o suciente para ser trabalhada com os alunos do Ensino Mdio.
Uma sequncia didtica para trabalhar o tema :

1. Recordar a ideia da decomposio de um nmero em fatores primos;

2. Como motivao, explicar o relacionamento entre a decomposio de nmeros
muito grandes e a segurana na internet;
3. Revisar o conceito de fatorial, trabalhado anteriormente no estudo da Anlise
Combinatria e do Binmio de Newton;
4. Denir a funo

Ep (m)

e trabalhar exemplos para uma melhor compreenso do

conceito;
5. Tornar claro como a funo est associada decomposio de fatoriais em fatores
primos, conforme explicado no Teorema 4.2 (De Legendre);
6. Apresentar a frmula do Teorema e exemplos com nmeros pequenos;

20 usando
2 3 5 7 11 13 17 19.

7. Calcular a decomposio do fatorial de

posio dada por

18

46

o Exemplo 4.1. Essa decom-

47

8. Comentar o trabalho envolvido no clculo desta decomposio utilizando o algoritmo tradicional, destacando que, antes deste ser aplicado, necessrio calcular
o valor de

20!;

9. Escolhendo um fatorial menor, por exemplo,

10!

(veja Exemplo 6.1), mostrar

como encontrar a decomposio utilizando o teorema de Legendre e utilizando o

algoritmo tradicional da decomposio em fatores primos;
10. Aplicar alguns exerccios para xao os conceitos.

Se o professor tiver tempo e achar interessante poder ainda mostrar aos alunos
como descobrir com quantos zeros termina

20!

ou outro fatorial qualquer, conforme

explicado no Exemplo 4.1.

Concluindo, apresenta-se abaixo uma comparao entre os dois processos e alguns
exerccios para aplicao em sala de aula.

Exemplo 6.1.

Decomponha

10!

pelo mtodo tradicional e usando o Teorema de Le-

gendre.

Resoluo:
Para utilizar o algoritmo tradicional inicialmente calcula-se o valor de

10 9 8 7 6 5 4 3 2 = 3628800.

1.

3628800
1814400
907200
453600
226800
113400
56700
28350
14175
4725
1575
525
175
35
7
1

2
2
2
2
2
2
2
2
3
3
3
3
5
5
7

10! = 28 34 52 7.

Usando o Teorema de Legendre necessrio encontrar o valor de

primo

ou seja,

Depois divide-se este nmero pelos nmeros primos

em ordem crescente at que o resultado seja

Ento

10!,

p 10.

Tem-se que:

Ep (10!) para todo

48

10
10
10
+
+
=5+2+1=8
2
4
8

E2 (10!) =

E3 (10!) =

10
10
+
=3+1=4
3
9

E5 (10!) =

E7 (10!) =
Logo

10
=2
5
10
=1
7

10! = 28 34 52 7.

Observe que, calculando pelo Teorema no necessrio encontrar o valor do fatorial,

o que facilita, em muito, encontrar a decomposio do fatorial para nmeros grandes.

Exerccio 6.1.

Resolva os exerccios abaixo utilizando a funo

Ep (m)

e o Teorema

de Legendre (Teorema 4.2).

1. Quais as maiores potncias de 3 e 7 que dividem

10000!?

2. Com quantos zeros termina a representao decimal de

3. Ache a maior potncia de
4. Ache o menor valor de

108

que divide

10000!?

10000!.

tal que a maior potncia de

que divide

n!

seja

734 .

Referncias
[1] GAUSS, C. F., Disquisitiones arithmeticae. Traduo para o ingls de Clarke, A.
A.; Waterhouse, W. C. Londres: Springer-verlag, 1966.
[2] HEFEZ, A., Elementos de aritmtica. Rio de Janeiro: SBM, 2011. 176 p. (Coleo
do Professor de Matemtica; 2).
[3] MAYER, R., Teoria dos Nmeros, 2005. Disponvel em:

< http : //www.mat.unb.br/ maierr/tnotas.pdf >.

Acesso em: 18 jan. 2013.

[4] OLIVEIRA, K.; CORCHO, A. J., Iniciao Matemtica. 1. ed. Macei: SBM,
2010.
[5] RIBENBOIM, P., Nmeros Primos: Mistrios e Recordes. Rio de Janeiro: IMPA,
2001.
[6] SANTOS, J. P. O., Introduo Teoria dos Nmeros. 1. ed. Rio de Janeiro: IMPA,
2007.
[7] TALK:GOLDBACH'S conjecture. , 2003. Disponvel em:

< http : //en.wikipedia.org/wiki/T alk : Goldbach%27s_conjecture >.

18 jan. 2013.

49

Acesso em: