Académique Documents
Professionnel Documents
Culture Documents
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.
2013
512.7
D541n
TERMO DE APROVAO
Cristina Helena Bovo Batista Dias
Nmeros Primos e Divisibilidade: Estudo de Propriedades
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.
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.
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:
Lista de Tabelas
5.1
45
Sumrio
1 Introduo
11
26
33
4.1
. . . . . . . . . . . . . . . . . . . . . . . .
33
4.2
38
5 A Conjetura de Goldbach
40
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
quando existe um
n = qm.
Desde da Grcia Antiga os matemticos se interessam pelos nmeros primos: Quantos so?
Como se distribuem?
Como encontr-los?
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.
5, 5 e 7, 11 e 13, 17 e 19,
10
n2
constitudas por
(n + 1)2
n > 0?
n2 n + 41?
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.
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
conhecidos como
a+b=a +b
a, b , a
b N,
se
a=b
a =b
ento
ab=a b,
a, b N
tem-se que
a + (b + c) = (a + b) + c
a.(b.c) = (a.b).c,
a N, a + 0 = a
a 1 = a,
a, b, c N
a (b + c) = (a + b) (a + c).
a, b N,
com
a, b
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
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
b,
ou
e simboliza-se por
a < b,
11
12
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
Proposio 2.1.
Para todo
0 + a = a,
0 < a,
aN
tem-se que
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
d > 0,
a + c < b + c.
tal que
b = a + d.
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.
d > 0,
tal que
b = a + d.
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
a, b, c N, a = b
a + c = b + c.
b + c.
(i)
a < b.
(ii)
b < a.
(iii) Logo,
a = b.
a+c=b+c
a + c < b + c,
a=b
ento
o que absurdo.
b + c < a + c,
a+c =
13
Proposio 2.5.
a, b, c N,
c = 0,
com
tem-se que
a=b
se, e somente
a c = b c.
a c = b c.
a c < b c,
(i)
a < b.
(ii)
b < a.
(iii) Logo,
ac=bc
a=b
ento
o que absurdo.
b c < a c,
a = b.
a < a.
abaixo, o .
Diz-se que
a = b. Diz-se
ou a = b.
menor ou igual a
que
b,
e simboliza-se por
maior ou igual a
b,
e simboliza-se
a, a a.
a, b,
a, b,
se
ab
ba
ento
a = b.
c,
se
ab
b c,
ento
a c.
Princpio 2.1. (Boa Ordem) Todo conjunto no-vazio de nmeros naturais possui
um menor elemento.
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-
Corolrio 2.1.
qualquer,
tal que
0 < n < 1.
Corolrio 2.2.
Dado
nN
tal que
n<m<
n + 1.
Demonstrao. Se tal nmero existisse, existiria um natural
Ento, pelo cancelamento, tem-se que
0 < k < 1
absurdo.
Portanto, no existe nenhum natural
entre
n + 1.
(R).
(N)
e cujo
Denio 2.1.
(an )
tal que
a1
n N,
tem-se que
an+1 = an + r,
onde
Exemplo 2.1.
e
A sequncia
3, 7, 11,
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
n N,
tem-se que
an+1 = an q,
onde
Exemplo 2.2.
e
A sequncia
q=0
3, 6, 12,
q = 1,
chamado razo.
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
(an )
tal que
a1
n N,
tem-se que
an+1 = an q + r,
onde
Exemplo 2.3.
qual
q = 1.
a1 = 4, r = 5
q = 2.
4, 13, 31,
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.
de onde
q = 2.
Substituindo
Usando-se o princpio da induo nita possvel demonstrar as seguintes propriedades relacionadas a progresses:
Proposio 2.6.
1.
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 .
n.
Ento,
(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
(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.
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 .
n.
Ento,
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
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.
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,
pois
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.
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:
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
denio da soma, pela construo da sequncia e pela hiptese de induo, tem-se que
Observao 2.2.
meros naturais
N,
Chama-se de conjunto
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
Proposio 2.8.
tal que
inteiros. Se
a|b
inteiro k2 ,
b|c
a divide b, e denota-se
divide b denota-se a b.
por
65 = 13 5.
47 = 5k .
no divide
existe um
a|b
b|c
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
ento
a = k1 c,
para algum
k1 ,
inteiro.
c|b
c|a
Analogamente, se
Proposio 2.10.
Sejam
ento
a, b, n N,
a + b = 0.
com
n.
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:
a + b|a2 b2
a + b|(a2n+1 + b2n+1 )
o resultado
Teorema 2.1.
0 < a < b.
(Diviso
Euclidiana).
Sejam
b = a q + r,
com
r < a.
b n a > 0.
r = b q a, o menor elemento do conjunto
segue. Caso contrrio, se a
b ento r = 0.
Q.
Se
a|b,
ento
r = 0
e o resultado
r<a
existe c < r
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
r = bqa
1 < a < b,
tal que
por
20
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,
Denio 2.5.
a
Seja
m quando
a b mod m.
so congruentes mdulo
iguais. Notao:
so
Exemplo 2.8.
18
5;
43
deixam resto
5,
71
7;
85
deixam resto
7,
43
deixa resto
Portanto,
43
Observao 2.3.
resto
6.
ento
Se
ab
an bn mod m.
Demonstrao. Inicialmente note que, para quaisquer nmeros naturais tem-se que, se
an+1 = an a bn b mod m.
Mas
bn b = bn+1 .
Denio 2.6.
inteiro
Logo
um divisor comum de
se
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
Proposio 2.12.
Seja
96 = 12 8,
que 12 e divisor
d = (a, b),
o maior inteiro
(a, b).
Notao:
96,
84 = 14 6 e
84 = 12 7 no
pois
pois, embora
84
um divisor comum de
no um divisor comum de
comum de
Por exemplo,
12
o mximo divisor
84
n
96.
tais que
d = ma + nb.
Lema 2.1.
ento
(a, b)
(De Euclides.)
Sejam
a, b, n N,
com
a < na < b.
Se existe
(a, b na)
existe e
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.
tais que
22
Teorema 2.2.
Sejam
a, b
a|b c,
nmeros naturais. Se
a|b c
(a, b) = 1,
ento
a|c.
Proposio 2.14.
Sejam
a, b
Corolrio 2.3.
Sejam
a, b
b
a
,
(a, b) (a, b)
= 1.
(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)
a|b.
Demonstrao. De fato, se
Proposio 2.18.
onde
o resto da diviso de
Demonstrao. Escrevendo
onde
dade
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-
23
Denio 2.9.
b.
Notao:
[a, b].
30
(pois
30 = 6 5)
tambm
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
b,
existe
[a, b]
menor inteiro
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)
um
b
a
= n2
.
(a, b)
(a, b)
Mas,
a
(a, b)
c = n1 a = n2 b,
de onde,
n1
fi ,
onde
1.
Representando os elementos da
escrever:
f1 = 1
f2 = 1
fi = fi1 + fi2 ,
ou seja, a sequncia dada por
para
i > 2,
Apresenta-se, a seguir, algumas propriedades interessantes desta sequncia relacionadas ao mximo divisor comum e divisibilidade.
Proposio 2.20.
entre si.
Demonstrao. Demonstra-se o resultado por induo. Para
(1, 1) = 1.
Suponha que
(fn , fn+1 ) = 1
24
Proposio 2.21.
Sejam
m, n N
m 2.
Ento
m.
Depois, xa-se
n=1
n.
n=1
e usar induo
n.
Ento,
fm1 fn1 + fm fn .
Substituindo em
()
fm+(n1) =
obtem-se
Proposio 2.22.
Sejam
m, n N .
m|n
ento
fm |fn .
Demonstrao. Como
m|n
Se
tem-se que
fn |fnk1 fn
Teorema 2.3.
fn |fm
n|m.
divide
(fm , fn ) = f(m,n) .
fn(k+1) .
Alm disso,
25
m n.
m = nq + r.
fn |fnq .
()
Denio 3.1.
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,
Chama-se funo
(m, n) = 1.
Exemplo 3.3.
Denio 3.4.
Sejam,
Exemplo 3.4.
quando
(a, m) = 1.
O nmero
ordm a = (m).
26
27
so os nmeros
0, 1, 2, , m 1,
em qualquer
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
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
m,
existe
tal que
n ri mod m.
5,
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.
(m) m 1
pois, os
valores que tal funo pode assumir so os valores que correspondem ao resto da diviso
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
a, 1 < a < n
com
tais que
an1 1 mod n,
para
(a, n) = 1;
Cn = n 2n + 1
Cn = n 2n 1
Alm disso, diversas classes de nmeros primos foram estudadas. Abaixo apresentase alguns exemplos.
tais que
2p + 1
tambm sejam
primos.
2. Primos de Wieferich: Um primo
2p1 1 mod p2 .
(p 1)! 1 mod p2 .
2. Se
de Artin)
3. Para todo natural par
consecutivos
pn , Pn+1 ,
2k ,
tais que
dn = pn+1 pn = 2k .
4
(Conjetura de Polignac)
de Goldbach)
5. Seja
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.
um nmero natural
1. Se
p|q ,
ento
p = q.
29
2. Se
p a,
ento
(p, a) = 1.
primo e
p|q ,
ou
p=1
ou
Proposio 3.1.
ento
p|a
ou
Sejam
a, b
p,
a.
um nmero primo. Se
p|a b
(p, a) = 1.
Portanto, pelo
p|b.
p|b.
Se
p|p1 p2 pn ,
ento
p = pi
i = 1, 2, , n.
n.
Se
n = 2,
o resultado
vale pela Proposio 3.1. Como hiptese de induo suponha que o resultado vale para
n 1.
n = 2 o resuln primo, ou
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
n.
n.
Como esse fator menor ou igual a n1 ele menor ou igual a
Demonstrao. Se
Teorema 3.3.
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,
p1 , p2 , , pn .
Esse raciocnio pode ser repetido quantas vezes for necessrio. Portanto,
distintas:
5. Testes determinsticos
31
Proposio 3.2.
primo
tal que
Se um nmero natural
p2 n,
ento
n > 1
primo.
Teorema 3.4.
que
divide o nmero
a a,
para todo
p|0.
(a + 1)p (a + 1) = ap +
a.
a.
p,
ento
divide
a=1
o resultado
p p1
p p2
p
a
+
a
+ +
aa=
1
2
p1
Se
Para
p p1
p p2
p
a
+
a
+ +
a,
1
2
p1
= ap a +
Corolrio 3.2.
tem-se
a N.
p,
um nmero primo e se
p.
ap1 1.
a,
ou seja
(a, p) = 1.
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
c
(c, m)
m
(c, m)
Ento
m
.
(c, m)
bc ac
m
c
|(b a)
(c, m)
(c, m)
m
m
|(b a) a b mod
.
(c, m)
(c, m)
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
(c, m) =
1.
Proposio 3.4.
a N,
tal que
mdulo
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.
m, a N,
a(m) 1
com
m>1
(a, m) = 1.
mod m.
m.
ar1 , , ar(m)
Ento
mod m.
1.
Ento:
(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
o nmero
a a mod p,
para todo
a N.
Se,
a,
ento
p = p 1.
Ento
a(p) = ap1 1
mod p.
p, tem-se
ap1 1
primo
(x)
(x)
era assintoticamente
Li(x) =
2
dt
.
log t
Teorema 4.1.
(x)
4.1
x
.
log x
(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
p.
33
p
, onde
i
0 < i < p,
so todos
34
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!
por
na diviso euclidiana.
Proposio 4.2.
Seja
quociente da diviso de
a N
a por b
a
b
b, c N .
por
vezes
c
c,
do
ou
seja,
a
b = a .
c
bc
Demonstrao. Considere
a
e q2 = b .
c
a
b
q1 =
q2 =
Observao 4.1.
Dados
primo e
Teorema 4.2.
a
.
bc
que divide
m,
Ep (m)
ao
em fatores primos.
(Legendre) Sejam
Ep (n!) =
um nmero natural e
n
n
n
+ 2 + 3 + ...
p
p
p
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
p, 2p, . . . ,
agora que
n
p.
p
n
+ Ep
p
Ep (n!) =
n
! .
p
n
n
p p
=
p + p2
Ep
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!
p 20.
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
E13 (20!) =
20
=1
17
E19 (20!) =
Logo
20
=1
13
E17 (20!) =
36
20
=1
19
Como existem
fatores
neste nmero,
Denio 4.2.
Exemplo 4.2.
n-dica para
com
n > 0.
Chama-se representao
n,
295.
n.
9:
Teorema 4.3.
Sejam
p, n N
com
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
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
Ep (n!) =
n
n
pr 1
pr1 1
n
+ 2 + ... + r = nr
+ nr1
+ + n1 =
p
p
p
p1
p1
Exemplo 4.3.
n (n0 + n1 + + nr )
.
p1
Encontre a decomposio de
20!
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
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
Teorema 4.4.
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.
mn 1
q.
Observao 4.2.
Ento,
mtica que possui dez termos consecutivos primos. A razo da progresso aritmtica
210.
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,
6,
trs primos. Euler respondeu que era fcil ver que essa armao era equivalente :
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
2n + 2 = p1 + p2 + p3 , onde p1 , p2
p3
2n 4,
so primos. Como
Proposio 5.1.
de Goldbach vlida.
Demonstrao. Tome
b 3,
um nmero natural.
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
n 1
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
para os quais
p q = n2 1 = (n + 1)(n 1).
Como
p = n1
q so primos tem-se,
q = n + 1. Logo, p e q
p < q,
que
n2 1
n 2 a2
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
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
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
Proposio 5.2.
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,
tem-se que
p,
so
seja composto.
p = p1 p2 .
1|n a e n2 a2
p1 |n a
p2 |n a
p|n a
q|n a
p1 p2 q|n a
so primos equidistantes de
Aps demonstrar essa proposio percebi que havia uma ligao entre ela e a Con-
p+q
= n, n 2.
2
p + q = 2n
n2
2n 4
nmero
para
n.
n2
ou
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
equidistantes de
I.
maior do que
I = 3.
necessrio,
n2
2n 4
p+q
.
n=
2
tem-se que
Portanto,
n 2, n
p+q
.
2
Ou seja,
2n = p + q ,
com
2n 4
q,
q,
tais que
2n = p + q .
n=
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
Formalizando:
n 2,
existir
0<a<n1
q
(n + a, n a) = 1
p+q
n=
.
2
tal que
n 2 a2 =
e, portanto,
n2 a2
(p + q)2 (q p)2
4pq
=
= pq,
4
4
4
x2 (p + q)x + pq = 0,
com
so as razes
44
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.
x2 (p + q)x + pq = 0,
com
primos distintos.
Observao 5.1.
drtica da forma
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
n 1,
n > 2,
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.
Na tabela
n, a
n2 a2
esto em itlico e os
esto em negrito.
e de
para os quais
n2 a2
possuam quatro divisores o leitor perceber que pode encontrar diversos primos de
Goldbach.
para todo
n > 2,
nas
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
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,
em fatores
primos, simples o suciente para ser trabalhada com os alunos do Ensino Mdio.
Uma sequncia didtica para trabalhar o tema :
Ep (m)
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.
18
46
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!;
10!
Se o professor tiver tempo e achar interessante poder ainda mostrar aos alunos
como descobrir com quantos zeros termina
20!
Exemplo 6.1.
Decomponha
10!
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.
ou seja,
Ento
10!,
p 10.
Tem-se que:
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.
Exerccio 6.1.
Ep (m)
e o Teorema
10000!?
108
que divide
10000!?
10000!.
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:
[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:
49
Acesso em: