PRIMOS G

EMEOS E OUTRAS CONJECTURAS

PEDRO PANTOJA
Resumo. Nessa nota trataremos alguns aspectos de uma classe especial de primos, os primos
gemeos. Existe um problema em aberto bastante conhecido: A conjectura dos primos gemeos.
Iremos provar varias equivalencias de primos gemeos. Algumas generaliza coes desse problema,
como a conjectura de Polignac, a conjectura de HardyLitllewood e a conjectura de Dickson
serao discutidas. Falaremos tambem sobre a distribuicao dos n umeros primos.
Sum ario
1. Introduc ao 1
2. Resultados Elementares 2
3. Equivalencias 3
4. Teorema de Brun e a Conjectura de Hardy-Litllewood 5
5. Conjecturas 9
Referencias 10
1. Introduc ao
1
Desde o tempo de Euclides sabe-se da existencia da innitude dos n umeros primos. Muito mais
tarde Dirichlet, estudou primos em progress oes aritmeticas. Recentemente em 2004, T. Tao e B. Green
provaram um resultado de progress oes aritmeticas arbitrariamente longas de primos, veja [1]. O pro-
blema aqui e um pouco diferente. Vejamos o seguinte caso trivial:

E f acil de argumentar que os unicos
primos cuja diferen ca e 1 s ao (2, 3). A famosa conjectura dos n umeros primos gemeos pergunta se exis-
tem um n umero innitos de pares de primos da forma (p, p+2), em outras palavras, se existem innitos
n umeros primos cuja diferen ca e 2. Esta conjectura est a em aberto, poucos avan cos foram dados em
busca de sua soluc ao e e um dos temas centrais da moderna teoria analtica dos n umeros. Os primeiros
pares de primos gemeos menores do que 250 s ao (3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43),(59, 61),
(71, 73), (101, 103), (107, 109), (137, 139), (149, 151),(179, 181), (191, 193), (197, 199), (227, 229), (239, 241).
Curiosamente, com exce cao de (3, 5), todos esses pares de primos podem ser escritos como (6k
1, 6k + 1) para algum k Z , por exemplo, 5 = 6 1 1 e 7 = 6 1 + 1. Isso e f acil de ver, j a que todo
n umero inteiro pode ser escrito como 6k, 6k 1, 6k 2, 6k +1, 6k +2, 6k +3 desses os unicos que podem
ser primos s ao (6k 1, 6k +1) com 6k +1 (6k 1) = 2, os outros s ao m ultiplos de 2 e de 3. Agora pelo
teorema de Dirichlet existem innitos primos da forma 6k 1 e 6k +1, k Z e cada par pode ser escrito
como (6k 1, 6k + 1) exceto para (3, 5), Poderemos concluir assim, t ao facilmente que existem innitos
primos gemeos?
Infelizmente (ou felizmente) muito dos n umeros da forma (6k 1) e (6k + 1) n ao s ao primos.
Veremos mais tarde que o conjunto dos n umeros primos gemeos e limitado no seguinte sentido, a soma
da serie dos inversos dos n umeros primos gemeos converge, ao contr ario da soma da serie dos inversos
1
Data: Vers ao de 22 de Abril de 2012.
Gostaria de agradecer ao professor Pedro Duarte e a funda cao Calouste Gulbenkian, LisboaPortugal.
Dedicamos este trabalho em mem oria do Professor Elmano ( 30/03/2012).
Palavras chaves. Primos Gemeos, Conjectura de Hardy-Litllewood, Teorema de Brun.
1
2 PEDRO PANTOJA
dos n umeros primos que diverge. Existem uma grande quantidade de primos gemeos descobertos, mas
isso n ao resolve nosso problema. A maioria dos primos gemeos muito grandes descobertos sao da forma
k 2
n
1 pois existem ecientes testes de primalidade para n umeros quando k n ao e muito grande,
por exemplo, o teorema de Proth
2
(vide [8] e [33] para os detalhes). Dubner em 1993 mostrou que
459 2
8529
1 s ao primos gemeos, Forbes em 1995 mostrou que 6797727 2
15328
1 s ao primos gemeos
e da mesma forma Lifchitz em 1999 mostrou que 361700055 2
39020
1 s ao primos gemeos. Tambem os
n umeros 65516468355 2
333333
1 s ao primos gemeos.
Existem outras classes de primos, os chamados triplos de primos (p
1
, p
2
, p
3
) onde p
1
< p
2
< p
3
s ao n umeros primos consecutivos com a menor diferen ca p
3
p
1
possvel. H a dois tipos neste caso
(p, p + 2, p + 6) e (p, p + 4, p + 6). Para os primos qu adruplos s o existe um tipo, a saber, os n umeros
primos da forma (p, p+2, p+6, p+8). Os n umeros primos qu adruplos menores do que 800 s ao (5, 7, 11, 13),
(11, 13, 17, 19), (101, 103, 107, 109), (191, 193, 197, 199). Podemos generalizar esse conceito, e dizemos que
para k 2, (p
1
, ... , p
k
) e uma ktupla de primos se p
1
< ... < p
k
s ao n umeros primos consecutivos com
a diferenca p
k
p
1
menor possvel.
O texto e organizado da seguinte forma. Na se c ao 2 apresentamos alguns resultados elementares.
Na se c ao 3 resultados assegurando condi c oes necess arias e sucientes para pares de primos gemeos. Na
se c ao 4 apresentamos o teorema de Brun e a conjectura de hardyLitllewood. Tambem estudaremos
o comportamento da distribui c ao dos n umeros primos. Finalmente, estudaremos v arias conjecturas
importantes relacionadas com os primos gemeos. A notac ao usada nesse trabalho e basicamente a
standard.
2. Resultados Elementares
Nosso primeiro resultado e uma simples consequencia do pequeno teorema de Fermat.
Proposi cao 2.1. Se os n umeros (p, p + 2) s ao primos gemeos, ent ao
(2.1) 2
p+2
3p + 8 (mod p
2
+ 2p).
Demonstracao. A prova e f acil. Se p e primo, ent ao pelo pequeno teorema de Fermat (claro que p = 2)
tem-se 2
p1
1 (mod p) 2
p+2
8 3p + 8 (mod p).
Analogamente, se p + 2 e primo,
2
p+1
1 (mod p + 2) 2
p+2
2 2 + 3(p + 2) = 3p + 8 (mod p).

E claro que p e p + 2 s ao coprimos, O resultado segue.

Vale salientar que a recproca n ao e v alida, um contra-exemplo e o par (561, 563) (ser a mera coin-
cidencia 561 ser um n umero de Carmichael?).
Proposi cao 2.2. Se os n umeros (p, p + 2), p = 3, p = 5 s ao primos gemeos, ent ao:
i) 3
p+1
4p + 9 (mod p
2
+ 2p)
ii) 5
p+2
60p + 125 (mod p
2
+ 2p).
Demonstracao.

E deixada ao cuidado do leitor.
Consideremos agora os n umeros de Catalan, denidos por
(2.2) C
n
=
1
n + 1
_
2n
n
_
Existem v arias propriedades interessantes dos n umeros de Catalan, vide [2].
O seguinte Lema e imediato.
Lema 2.3. Se p e um primo mpar, ent ao (1)
p1
2
Cp1
2
2 (mod p).
2
Seja N = k 2
n
+ 1 com k < 2
n
, se existe um inteiro a tal que a
N1
2 1 (mod N), entao N e primo.
PRIMOS G

EMEOS E OUTRAS CONJECTURAS 3

Demonstracao. Tem-se que p i i(mod p) para qualquer inteiro i, da
(p 1)! = 1 2 3 ...
_
p 1
2
__
p
_
p 1
2
___
p
_
p 1
2
1
__
... (p 1)
(1)
p1
2
__
p 1
2
_
!
_
2
Cp1
2
(p + 1)Cp1
2
= 2
_
p 1
(p 1)/2
_
= 2
(p 1)!
__
p1
2
_
!
_
2
2(1)
p1
2
(mod p), o resultado segue.
Proposi cao 2.4. Se os n umeros (p, p + 2), sao primos gemeos, entao
(2.3) 8(1)
p1
2
Cp1
2
7p + 16 (mod p
2
+ 2p).
Demonstracao. Pelo lema anterior,
8(1)
p1
2
Cp1
2
2 8 7p + 16 (mod p)
Analogamente, como
C
(p1)/2
=
_
p + 3
4p
_
C
(p+1)/2
tem-se
8(1)
p1
2
C
(p1)/2
= 8(1)
p1
2
_
p + 3
4p
_
C
(p+1)/2
4
_
p + 3
p
_
2
2 + 7(p + 2) = 7p + 16 (mod p + 2), desde que 4(p + 3) 2p (mod p + 2).
O seguinte teorema sera util na pr oxima sec ao.

E bem conhecido da teoria elementar dos n umeros.
Teorema 2.5. (Wilson) Um n umero natural p e primo se, e somente se,
(2.4) (p 1)! 1 (mod p).
Indicamos ao leitor interessado [19] para material adcional e Discuss ao sobre generaliza c oes do teo-
rema de Wilson.
3. Equival encias
Muitas das equivalencias provadas nessa se c ao nao s ao muito uteis na pr atica, para determinar se
primos s ao gemeos. O principal e difcil problema e saber se existem innitos primos gemeos. Isto ser a
discutido com mais detalhes nas pr oximas se c oes. O resultado abaixo foi demonstrado por P. A. Clement
em 1949.
Equivalencia 3.1. (Clement) Os n umeros (p, p + 2) s ao primos gemeos se, e somente se,
(3.5) 4[(p 1)! + 1] + p 0 (mod p
2
+ 2p).
Demonstracao. Suponhamos primeiramente que (p, p + 2) s ao primos, ent ao por 2.4, (p 1)! + 1
0 (mod p) e (p+1)!+1 0 (mod p+2) 2(p1)!+1 = k(p+2) para algum k Z, sai 1 2k (mod p),
em outras palavras, 2k+1 0 (mod p) da 4(p1)!+2 = 2k(p+2) 4[(p1)!+1]+p = (2k+1)(p+2)
0 (mod p
2
+ 2p).
Reciprocamente, se 4[(p1)!+1]+p 0 (mod p
2
+2p) 4[(p1)!+1]+p 0 (mod p). 4 n ao pode dividir
p, assim [(p1)!+1] 0 (mod p), pelo teorema de Wilson p e primo. Analogamente, se 4[(p1)!+1]+p
0 (mod p+2) tem-se 4(p1)!+p+4 2(1)(2)(p1)!+2 2(p+1)!+2 = 2[(p+1)!+1] 0 (mod p+2)
pode-se argumentar que p + 2 e 2 s ao coprimos, ent ao (p + 1)! + 1 0 (mod p + 2) pelo teorema de
Wilson p + 2 e primo.
Equivalencia 3.2. Os n umeros (p, p + 2) s ao primos gemeos se, e somente se,
(3.6) 2
__
p 1
2
_
!
_
2
+ (1)
p1
2
(5p + 2) 0 (mod p
2
+ 2p).
4 PEDRO PANTOJA
Demonstracao. Pelo lema 2.3 e o teorema 2.5, (1)
p1
2
__
p1
2
_
!
_
2
1 (mod p) se, e somente se p e
primo, ent ao
__
p1
2
_
!
_
2
+ (1)
p1
2
0 (mod p) donde
2
__
p 1
2
_
!
_
2
+ 2(1)
p1
2
0 (mod p)
2
__
p 1
2
_
!
_
2
+ (1)
p1
2
(5p + 2) 0 (mod p)
se, e somente se p e primo. Para p + 2 tem-se
__
p + 1
2
_
!
_
2
+ (1)
p+1
2
0 (mod p + 2)
se, e somente se p + 2 e primo, ent ao
8
__
p + 1
2
_
!
_
2
+ 8(1)
p+1
2
0 (mod p + 2)
8
_
p + 1
2
_
2
__
p 1
2
_
!
_
2
+ (8)(1)
p1
2
0 (mod p + 2)
2(p
2
+ 2p + 1)
__
p 1
2
_
!
_
2
+ (5(p + 2) 8)(1)
p1
2
0 (mod p + 2)
2
__
p 1
2
_
!
_
2
+ (1)
p1
2
(5p + 2) 0 (mod p + 2)
se, e somente se p + 2 e primo. Assim
2
__
p 1
2
_
!
_
2
+ (1)
p1
2
(5p + 2) 0 (mod p
2
+ 2p).
se, e somente se (p, p + 2) s ao primos gemeos.
Os seguintes resultados d ao uma caracteriza c ao de primos gemeos usando a func ao de Euler e a
fun c ao soma de divisores.
Equivalencia 3.3. Os n umeros (p, p + 2) s ao primos gemeos se, e somente se,
(3.7) (p) + (p + 2) = 2p.
Demonstracao. Se (p, p + 2) s ao primos, (p) = p 1 e (p + 2) = p + 1 donde (p) + (p + 2) = 2p.
Reciprocamente, como (n) n 1 para qualquer inteiro n, suponhamos que (p) +(p +2) = 2p. Se
p n ao fosse um n umero primo, digamos p = cd, 1 < c, d < p (p) (p 1) 2 (p) +(p +2) =
2p (p + 2) + p 3 (p + 2) p + 3, uma contradi c ao. Portanto p e primo. O caso onde p + 2
n ao e um n umero primo e an alogo. A prova est a completa.
Equivalencia 3.4. Os n umeros (p, p + 2) s ao primos gemeos se, e somente se,
(3.8)
a
(p) +
a
(p + 2) = 2 + p
a
+ (p + 2)
a
para a inteiro, a 1.
Demonstracao. Se p, p+2 s ao primos
a
(p) = p
a
+1 e
a
(p+2) = (p+2)
a
+1 assim,
a
(p)+
a
(p+2) =
2 + p
a
+ (p + 2)
a
.
Reciprocamente, e obvio que
a
(n) n
a
+1 para qualquer inteiro n, assim se p n ao fosse primo, ent ao
p = bc, 1 < b, c < p. Por hip otese,
a
(p) +
a
(p +2) = 2 +p
a
+ (p +2)
a
i.e.
a
(p) 1 +b
a
+c
a
+p
a
>
1+1+1+p
a
= 3+p
a
da
a
(p)+
a
(p+2) = 2+p
a
+(p+2)
a
>
a
(p+2)+p
a
+3
a
(p+2) < (p+2)
a
1
o que n ao pode acontecer, pois
a
(p + 2) (p + 2)
a
+ 1, portanto p e um n umero primo. Da mesma
forma se p + 2 n ao for primo, chegaremos a uma contradi c ao. A prova est a completa.
Equivalencia 3.5. Seja n = pq, entao (p, q) s ao primos gemeos se, e somente se,
(3.9) (n)(n) = (n 3)(n + 1).
PRIMOS G

EMEOS E OUTRAS CONJECTURAS 5

Demonstracao. Se (p, q), p < q s ao primos gemeos, ent ao (n) = (p)(q) = (p 1)(q 1) e (n) =
1 + p + q + pq = (1 + p)(1 + q) (n)(n) = (p
2
1)(q
2
1) = (pq)
2
p
2
q
2
+ 1 = (pq)
2
p
2
+
2pq q
2
+ 1 2pq = (pq)
2
(p q)
2
+ 1 2pq = n
2
2n 3 = (n 3)(n + 1) porque q p = 2.
A outra parte da demonstra c ao e deixada ao cuidado do leitor. Vide [8].
Com a equivalencia 3.4 podemos mostrar um resultado interessante.
Equivalencia 3.6. Os n umeros (p, p + 2) s ao primos gemeos se, e somente se,
(3.10)
p

i=1
i
a
__
p + 2
i
_
+
_
p
i
_
_
= 2 + p
a
+
p

i=1
i
a
__
p + 1
i
_
+
_
p 1
i
__
Para a 0, onde x denota a parte inteira de x.
Demonstracao. Como para qualquer inteiro p 2
_
p
i
_

_
p 1
i
_
=

1, se i divide p
0, caso contr ario
p

i=1
i
a
_
_
p
i
_

_
p 1
i
__
=

i|p
i
a
=
a
(p).
Donde, pela Equivalencia 3.4
2 + p
a
+ (p + 2)
a
=
a
(p) +
a
(p + 2) =
p

i=1
i
a
_
_
p
i
_

_
p 1
i
__
+
p+2

i=1
i
a
__
p + 2
i
_

_
p + 1
i
__
=
p

i=1
i
a
_
_
p
i
_

_
p 1
i
__
+
p

i=1
i
a
__
p + 2
i
_

_
p + 1
i
__
+(p + 1)
a
_
p + 2
p + 1
_
(p + 1)
a
_
p + 1
p + 1
_
+ (p + 2)
a
_
p + 2
p + 2
_
(p + 2)
a
_
p + 1
p + 2
_
=
p

i=1
i
a
__
p + 2
i
_
+
_
p
i
_
_

i=1
i
a
__
p + 1
i
_
+
_
p 1
i
__
+(p + 1)
a
_
1 +
1
p + 1
_
(p + 1)
a
+ (p + 2)
a
(p + 2)
a
_
p + 1
p + 2
_
=
p

i=1
i
a
__
p + 2
i
_
+
_
p
i
_
_

i=1
i
a
__
p + 1
i
_
+
_
p 1
i
__
+ (p + 2)
a
O resultado segue imediatamente.
4. Teorema de Brun e a Conjectura de Hardy-Litllewood
Um resultado profundo de primos gemeos e devido ao matem atico noruegues Viggo Brun em 1920.
Ele arma que a soma dos inversos de todos os pares de primos gemeos converge.
A seguinte serie e convergente
(4.11)

p,p+2P
_
1
p
+
1
p + 2
_
onde P denota o conjunto dos n umeros primos.
Entretanto, sabe-se que a soma dos inversos de todos os primos diverge.
6 PEDRO PANTOJA
Teorema 4.1. (Euler) A seguinte serie e divergente
(4.12)

pP
1
p
.
Demonstracao. Iremos comparar a serie dada com a serie harm onica que sabemos ser divergente. Para
isso, xemos t N arbitrariamente. Pelo teorema fundamental da aritmetica, sabemos que, para cada
n N, 2 n t, a frac ao
1
n
e o produto de (um n umero nito) de frac oes do tipo
1
p
k
onde p e primo,
p n t e k N. Sendo assim,
1
n
e uma parcela do produto

pP
pt
_

k=0
1
p
k
_
=

pP
pt
_
1 +
1
p
+
1
p
2
+ ...
_
=

pP
pt
1
1 (1/p)
e portanto
t

n=1
1
n

pP
pt
1
1 (1/p)
tomando os logartmos, obtemos
log
_
t

n=1
1
n
_

pP
pt
log
_
1
1 (1/p)
_
.
Agora, xemos p P arbitr ario. Como 1/p < 1, a expans ao em serie de potencias da fun c ao logartmica,
permite-nos deduzir que
log
_
1
1 (1/p)
_
= log(1 (1/p)) =

n=1
(1)
n+1
n
(1/p)
n

n=1
1
np
n

n=1
1
p
n
=
1
p
+
1
p
2
_
1 +
1
p
+
1
p
2
+ ...
_
=
1
p
+
1
p
2
[1 (1/p)]
=
1
p
+
1
p(p 1)
.
por conseguinte,
log
_
t

n=1
1
n
_

pP
pt
1
p
+

pP
pt
1
p(p 1)

pP
pt
1
p
+
t

n=2
1
n(n 1)
.
nalmente, tomando os limites (quando t ), obtemos
log
_

n=1
1
n
_

pP
1
p
+

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

pP
1
p
porque

n=2
1
n(n 1)
=

n=2
_
1
n 1

1
n
_
= 1
e, portanto, a serie

pP
1
p
e divergente, ja que

n=1
1
n
e divergente. Como queramos.
Observa cao 4.2. Este fato implica que existem innitos n umeros primos.
PRIMOS G

EMEOS E OUTRAS CONJECTURAS 7

Observa cao 4.3. Pode-se provar que se mdc(a, n) = 1, entao
(4.13)

pa (mod p)
1
p
= .
De 4.13 segue imediatamente o seguinte teorema, devido a Dirichlet em 1837:
Teorema 4.4. (Dirichlet) Dado um inteiro n > 1 e um inteiro a tal que mdc(a, n) = 1, existem
innitos primos p tais que p a (mod p).
Sejam (x) := card{p x : p P} e F
n
= 2
2
n
+ 1 o nesimo n umero de Fermat.

E natural perguntar se a serie

(4.14)

n=1
1
(n)
e convergente ou divergente. Temos o seguinte exemplo.
Exemplo 4.5. Mostre que

n=1
1
(F
1
) + ... + (F
n
)
< 2.
Solu cao: Considere P = p
1
... p
n
+1, onde p
n
e o nesimo n umero primo. Como qualquer n umero
natural admite um fator primo, ent ao p
n+1
p
1
... p
n
+1. Vamos mostrar por indu c ao que p
n
< 2
2
n
para n 1. Quando n = 1, 2 < 2
2
que e um resultado verdadeiro. Suponhamos que p
n
< 2
2
n
assim
p
n+1
p
1
... p
n
+ 1 < 2
2
1
2
2
2
... 2
2
n
+ 1 < 2
2
1
+...+2
n
+ 1 = 2
2
n+1
1
+ 1 < 2
2
n+1
.
Segue que p
n
< F
n
da (F
n
) > n (F
1
) + ... + (F
n
) > 1 + ... + n =
n(n+1)
2
, logo

n=1
1
(F
1
) + ... + (F
n
)
<

n=1
2
n(n + 1)
= 2.
O (n ao trivial) teorema 4.4 tem um moderno renamento.

E conhecido que se (x, d, a) denota
o n umeros de primos com classe de resduos a (mod d) que n ao exedem x, ent ao para xos inteiros
coprimos a, d com d > 0
(4.15) (x, d, a)
1
(d)
(x)
1
(d)

x
ln(x)

1
(d)
Li(x),
3
onde
(4.16) Li(x) :=

x
2
dt
ln(t)
.
Teorema 4.6. (Siegel-Walsz) Para qualquer n umero > 0 existe um n umero positivo C() tal que
para todos os inteiros positivos coprimos a, d com d < (ln(x))

,
(4.17) (x, d, a) =
1
(d)
Li(x) + O
_
x
_
c()
_
ln(x)
__
,
4
onde a grande notac ao O e absoluta.
Discuss oes desses e outros teoremas encontram-se em [18].
A seguir daremos uma das mais belas vers oes da desigualdade de Brun-Titchmarsh devido a Montgomery
e Vaughan em 1979, vide [15].
Teorema 4.7. (Desigualdade de Brun-Titchmarsh) Se d, a s ao inteiros positivos com mdc(a, d) = 1,
ent ao para todos x > d,
(4.18) (x, d, a) <
2x
(d) ln(x/d)
.
3
f(x) g(x) e equivalente a lim
x+
f(x)
g(x)
= 1.
4
Sejam f e g fun coes onde g e positiva. Se existe uma constante positiva C tal que |f(x)| Cg(x) escrevemos
f(x) = O(g(x)).
8 PEDRO PANTOJA
Seja
2
(x) o n umero de primos gemeos (p, p + 2) tal que p x. Por exemplo,
(4.19)
2
(5, 4 10
15
) = 5761178723343.
Brun provou que existe um inteiro x
0
tal que x x
0
(4.20)
2
(x) <
100x
(log x)
2
.
Mostra-se que
(4.21)
2
(x) c

p>2
_
1
1
(p 1)
2
_
x
(log x)
2

_
1 + O
_
log log x
x
__
ou
(4.22)
2
(x) c
2
x
(log x)
2

_
1 + O
_
log log x
x
__
.

2
e conhecida como constante dos primos gemeos e c e outra constante. Hardy e Littlewood con-
jecturaram que c = 2 e que
(4.23)
2
(x)
2
(x)

x
2
dx
(log x)
2
.
A conjectura dos primos gemeos e equivalente a liminf d
n
= 2, onde d
n
= p
n+1
p
n
e a diferenca de
dois primos consecutivos, e pouco se sabe do comportamento dessa fun c ao. Conjectura-se que
(4.24) L = liminf
d
n
log p
n
= 0.
Mas nao h a uma prova disso. Paul Erd os mostrou que L < 1, sucessivamente houve melhoras desse
resultado. O seguinte resultado e simples.
Lema 4.8. limsup d
n
= .
Demonstracao. Considere a seguinte sequencia de n umeros compostos consecutivos n!+2, n!+3, ..., n!+n
ent ao a diferen ca entre o maior primo menor do que n! + 2 e o menor primo maior n! + n e pelo menos
n, ent ao d
n
> n, o resultado segue imediatamente.
Westzynthius em 1931, provou que
(4.25) limsup
d
n
log p
n
= .
D. A. Goldston, J. Pintz e C. Y. Yildirim provaram que
(4.26) liminf
p
n+1
p
n

log p
n
(log log p
n
)
2
< ,
(veja [14] para os pormenores).
e em 1963, Rankin complatando o trabalho de Erd os mostrou que
(4.27) limsup
d
n
(log log log p
n
)
2
log p
n
log log p
n
log log log log p
n
e

Onde denota a constante EulerMascheroni, denida por

(4.28) = lim
n+
_
1 +
1
2
+
1
3
+ ... +
1
n
log(n)
_
.
Em 1919 Cramer, assumindo a hip otese de Riemann, provou que existe uma constante M > 0 tal que
(4.29) d
n
= P
n+1
p
n
< M(

p
n
log(p
n
))
PRIMOS G

EMEOS E OUTRAS CONJECTURAS 9

Por esse motivo a Hip otese de Riemann est a intimamente relacionada com a func ao d
n
.

E claro que esse
ultimo resultado pode em princpio ser falso, caso a hipotese de Riemann tambem seja.
Finalmente, daremos uma prova do teorema de Brun. Iremos utilizar o seguinte
(4.30)
2
(x)
x(log log x)
2
(log x)
2
Para mais detalhes veja o artigo de M. Faester [5].
Teorema 4.9. (Brun)

p,p+2P
_
1
p
+
1
p + 2
_
< .
Demonstracao. B
2
e chamada constante de Brun, cujo valor aproximado e 1.99. Considere a
n
denido
por:
a
n
=

1, se p,p+2 s ao primos gemeos

0, caso contr ario
Obtemos

p,p+2P
_
1
p
+
1
p + 2
_
lim
x+
(log log x)
2
(log x)
2
+

2
(log log t)
2
t(log t)
2
dt
Fazendo a substituic ao u = log t na ultima integral temos

p,p+2P
_
1
p
+
1
p + 2
_
lim
x+
(log log x)
2
(log x)
2
+

log 2
_
log u
u
_
2
du
Um simples c alculo mostra que
(4.31)
_
log u
u
_
2
du =
(log u)
2
+ 2 log u + 2
u
+ C
Portanto a serie em quest ao converge.
5. Conjecturas
Para nalizar, nessa se c ao abordaremos outras conjecturas importantes da teoria analtica dos
n umeros, que de alguma forma tem a ver com a conjectura dos primos gemeos.
A conjectura geral de Polignac, e uma generaliza c ao da conjectura dos primos gemeos. Denimos
2k
(x)
da seguinte maneira, Para todo k 1 e x > 1, seja
2k
(x) o n umero de inteiros n tal que
(5.32) p
n+1
x e p
n+1
p
n
= 2k.
Com o metodo de Brun, pode-se mostrar que existe uma constante C
k
> 0 tal que
(5.33)
2k
(x) < C
k
x
(log x)
2
.
Em outras palavras, a conjectura de Polignac pode ser enunciada como
Conjectura 5.1. Todo n umero par e a diferenca de dois n umeros primos consecutivos, em um n umero
innito de maneiras.
Se essa conjectura for verdadeira, tomando a diferen ca igual a 2, obtemos a conjectura dos primos
gemeos (vide [35] e [36]).
Em 1904, Dickson [38] conjecturou um fato importante, chamada hoje de conjectura de Dickson.
Em 1958 Schinzel e Sierpinski generalizaram essa conjectura, mas n ao trataremos disso. A conjectura
de Dickson (sobre polin omios lineares) arma o seguinte:
10 PEDRO PANTOJA
Conjectura 5.2. Seja s 1 e f
i
(X) = b
i
X + a
i
, onde i = 1, ..., s , a
i
, b
i
Z e b
i
1. Alem disso, n ao
existe um inteiro n > 1 que divida todos os produtos

s
j=1
f
j
(k) para cada inteiro k.
Ent ao existe uma innidade de n umeros naturais m tais que cada um dos inteiros f
1
(m), ... , f
s
(m) e
um n umeros primo.
Essa ultima conjectura tem como caso particular a conjectura dos primos gemeos e a conjectura
dos primos de Sophie Germain. Dizemos que p e um n umero primo de Sophie Germain se p e 2p + 1
s ao primos. Os primos de Sophie Germain foram considerados pela primeira vez, para provar o primeiro
caso do ultimo teorema de Fermat (demonstrado completamente pelas ideias de varios matem aticos, mas
principalmente por Andrew Wiles) se p > 2 e um n umero primo de Sophie Germain, ent ao n ao existem
inteiros x, y, z tais que x
p
+ y
p
+ z
p
= 0 com mdc(x, y, z) = 1 e p n ao divide xyz. Lagrange provou
em 1775 que se p 3 (mod 4) entao p e primo de Sophie Germain se, e somente se, 2p + 1|M
p
onde
M
p
= 2
p
1 e o n umero de Mersenne. Tambem e not avel dizer que a conjectura de Dickson engloba o
teorema de Dirichlet como caso particular.
Conjectura 5.3. Existem innitos n umeros primos de Sophie Germain.
Entretanto, resolver a conjectura dos primos de Sophie Germain ser a t ao difcil quanto resolver a
conjectura dos primos gemeos.
Prova-se que, Sendo (x, S) o n umero de primos de Sophie Germain menores ou iguais a x, existe C tal
que para todo x
(5.34) (x, S) < C
x
(log x)
2
Por m, daremos uma generalizac ao da conjectura de HardyLitllewood, chamada de kTupla con-
jectura, ela arma que o n umero assint otico de constela c oes de primos pode ser calculado explicitamente.
Conjectura 5.4. Seja 0 < m
1
< m
2
< ... < m
k
ent ao, sendo
m
1
,m
2
,...,m
k
(x) o n umero de primos
p x tais que p + 2m
1
, p + 2m
2
, ..., p + 2m
k
s ao todos primos, satisfaz
(5.35)
m
1
,m
2
,...,m
k
(x) C(m
1
, m
2
, ..., m
k
)

x
2
dt
(log t)
k+1
onde C(m
1
, m
2
, ..., m
k
) = 2
k

q
1
(q;m
1
,m
2
,...,m
k
)
q
(1
1
q
)
k+1
o produto e tomado sobre todos os primos mpares q e (q; m
1
, m
2
, ..., m
k
) e o n umero de distintos
resduos 0, m
1
, ..., m
k
(mod q).
Refer encias
[1] Bryna Kra, The GreenTao Theorem on Arithmetic Progressions in the Primes: An Ergodic Point of View.
[2] Conway and Guy, The Book of Numbers. New York.
[3] Teoria dos N umeros: Um passeio com Primos e outros N umeros Familiares pelo Mundo Inteiro, IMPA.
[4] Tom Apostol, Introduction to analytic number theory, Springer.
[5] M. Faester, Bruns Theorem and Sieve of Erastosthenes.
[6] P.A. Clement, Congruences for sets of primes, AMM, 1949.
[7] H. Cramer, On the order of magnitude of the dierence between consecutive prime numbers, Acta Math.
[8] P. Ribenboim, The new book of prime number records, Springer, 1996.
[9] Carlos G. T. A. Moreira, Nicolau C. Saldanha Primos de Mersenne (e outros primos muito grandes).
[10] Twin primes and twin primes conjecture, Wolfram Mathematics.
[11] D. A. Goldston, Are There Innitely Many Twin Primes ?
[12] Ernest, Siong, On Riemann Zeta Function and Twin prime Conjecture.
[13] Wikipedia, Twin Primes.
[14] D. A. Goldston, J. Pintz and C. Y. Yildirim, Primes in tuples II, Acta Math. 204, no. 1, 147(2010).
[15] H. Montgomery and R. Vaughan. The large sieve. Mathematika 20:119134, 1973.
[16] T. Nicely prime constellations research project 2004.
http://www.trnicelly.net/counts.html.
[17] C. Richard, P. Carl. Prime numbers, A Computacional perspective. SpringerVerlag.
[18] H. Davenport. Multiplicative Number Theory (Second edition). SpringerVerlag, 1980.
[19] Cong Lin and Li Zhipeng, On Wilsons Theorem and Polignac Conjecture. Arxiv.
[20] D. J. Newman, Analytic number theory, Springer, 1998.
[21] Hans Riesel, Prime Numbers and Computer Methods for Factorization, second edition, Birkh auser, 1994.
[22] Guy, Richard K. (1981), Unsolved Problems in Number Theory, Berlin, New York: SpringerVerlag.
PRIMOS G

EMEOS E OUTRAS CONJECTURAS 11

[23] Riesel, Hans (1994), Prime numbers and computer methods for factorization, Basel, Switzerland: Birkhauser.
[24] Furstenberg, Harry (1955),On the innitude of primes, The American Mathematical Monthly (Mathematical
Association of America) 62 (5): 353.
[25] Viggo Brun (1919). La serie 1/5+1/7+1/11+1/13+1/17+1/19+1/29+1/31+1/41+1/43+1/59+1/61+..., o` u les
denominateurs sont nombres premiers jumeaux est convergente ou nie. Bulletin des Sciences Mathematiques 43:
100104,124128.
[26] Alina Carmen Cojocaru; M. Ram Murty (2005). An introduction to sieve methods and their applications. London
Mathematical Society Student Texts. 66. Cambridge University Press.
[27] Christopher Hooley (1976). Applications of sieve methods to the theory of numbers. Cambridge University Press.
[28] E. Landau (1927). Elementare Zahlentheorie. Leipzig, Germany: Hirzel. Reprinted Providence, RI: Amer. Math.
Soc., 1990.
[29] J. Wu (2004). Chens double sieve, Goldbachs conjecture and the twin prime problem. Acta Arithmetica 114
(3): pp. 215273.
[30] Golomb, S. W. (1963), On the sum of the reciprocals of the Fermat numbers and related irrationalities, Canad.
J. Math. 15: 475478.
[31] Luca, Florian (2000), The anti-social Fermat number, American Mathematical Monthly 107 (2): 171-173.
[32] Robinson, Raphael M. (1954), Mersenne and Fermat Numbers, Proceedings of the American Mathematical
Society 5 (5): 842846.
[33] Pascal Sebah and Xavier Gourdon. Introduction to twin primes and Bruns constant computation. 2002.
[34] On-Line Encyclopedia of Integer Sequences(OEIS). http://oeis.org/A153185.
[35] Ball, W. W. R. and Coxeter, H. S. M. Mathematical Recreations and Essays, 13th ed. New York: Dover, p. 64,
1987.
[36] Dickson, L. E. History of the Theory of Numbers, Vol. 1: Divisibility and Primality. New York: Dover, 2005.
[37] Leonard E. Dickson, A new extension of dirichlets theorem on prime numbers, Messenger of Mathematics, 33,
pp155161, (1904).
[38] Halberstam, E. and Richert, H.-E. Sieve Methods. New York: Academic Press, 1974.
[39] Odlyzko, A.; Rubinstein, M.; and Wolf, M. Jumping Champions. Experiment. Math. 8, 107118, 1999.
Departamento de Matem atica, Universidade Federal do Rio Grande do Norte. Campus Universit ario, Lagoa Nova
59078-970. Natal, RN Brazil.
E-mail address: p.pantoja@hotmail.com