O Crivo Fundamental

Por Vincius de Oliveira Botelho

So Paulo 2008

O Crivo Fundamental Por Vincius de Oliveira Botelho

Resumo
Este trabalho desenvolve uma frmula para o padro dos nmeros primos, de forma que, inserindo os n-1 primeiros primos, ela fornece o valor do ensimo. Alm de deduzir e desenvolver a frmula, o artigo desenvolve dois mtodos (reflexivo e intervalar) para sua resoluo.

Palavras-chave: nmeros primos, frmula do crivo, frmula de incluso-excluso, funo piso, funo mod, divisibilidade, intervalo da funo piso, intervalo da funo mod.

O Crivo Fundamental Por Vincius de Oliveira Botelho

Sumrio
1. Introduo 2. Demonstrao do modelo 3. Definies, propriedades e operaes da funo mod( F , G ) 3.1. 3.2. 3.3. 3.4. p.04 p.05

p.08 p.08 p.08 p.10 p.10 p.13 p.14 p.18 p.18 p.19 p.21 p.34

Definies Propriedades Operaes em F Operaes em G

4. Simplificao do modelo 5. Clculo intervalar 6. Anlise da funo f(F) 6.1. 6.2.

Quanto ao crescimento Quanto convergncia para F

7. Resoluo da equao principal 8. Concluso

Notas

p.36

O Crivo Fundamental Por Vincius de Oliveira Botelho

1. Introduo
O objetivo deste trabalho desenvolver e resolver um modelo matemtico que determine o valor do ensimo nmero da seqncia dos primos, fornecidos os seus n-1 primeiros elementos. Ou seja, montar uma funo que consiga chegar em f ( A) = p n , sendo
p1 = 2 ,

A = { p1 ; p 2 ;...; p n 1 } , p k o k-simo nmero da seqncia dos nmeros primos e sabendo-se que no existem primos entre p k e p k +1 , para k [1; n] .

O Crivo Fundamental Por Vincius de Oliveira Botelho

2. Demonstrao do modelo
Define-se que:
(A.1)

M (k ) o conjunto formado por todos os c k primeiros mltiplos de um nmero p k ,

primo, em que p k considerado mltiplo dele mesmo.
(A.2)

M (k ) = {mk ;1 ; mk ; 2 ;L; mk ;ck } , em que m k ;1 m k ; 2 L m k ;c k e n( M (k )) = c k .

(A.3)

J = {1;2;L; F }
(A.4)

i {1;2;L; c k }
(A.5)

Segue-se que, dado p k , pode-se definir um limite superior, F, como se segue:

mk ;i = p k * i mk ;cK = p k * c k p k * c k + Lk = F , com 0 Lk p k 1
(A.6)

Alm disso, de (A.2) e (A.5):

n( M (k )) = c k =
(A.7)

m k ;ck pk

De (A.5) e (A.6):
ck = = mck ;k pk pk * ck + Lk Lk p k * ck + Lk mod( p k * ck + Lk ; p k ) *N1 = = = pk pk

p k * ck + Lk mod( p k * ck + Lk ; pk ) F mod(F ; p k ) F = = pk pk pk

F Portanto, n( M ( k )) = a quantidade de mltiplos de p k (incluindo ele prprio) pk

at o limite superior F.
(A.8)

Sendo M = M ( pi1 ) M ( pi2 ) L M ( pii ) , o princpio de incluso-excluso aplicado unio dos conjuntos dos mltiplos de todos esses primos pode ser expresso por:

O Crivo Fundamental Por Vincius de Oliveira Botelho

M ( p1 ) L M ( p n ) =
(A.9)

( 1)
i =1

i +1

n i +1 n i + 2

i1 =1 i2 = i1 +1

ii = ii 1 +1

(M )
2 i

Dados

pi1 , pi2 ,L, pii primos, tem-se que M = M ( pi ) M ( pi ) L M ( pi )

o conjunto dos mltiplos comuns a todos esses nmeros. Como eles so primos, esse conjunto o mesmo dos mltiplos de pi1 pi2 L pii . Portanto, caso se queira calcular a quantidade de mltiplos de pi1 pi2 L pii at F, por (A.7):

F n( M ) = pi1 pi2 L pii

(A.10)

Todos os nmeros so primos ou compostos e os nmeros compostos so maiores do que os primos que os compem. Logo, se h somente n primos menores do que F, o conjunto J, formado por todos os nmeros naturais de 1 at F, resultado da unio de cada um dos conjuntos de todos esses n primos e todos os seus mltiplos. Portanto, considerando p1 = 2 e M (0) = {1} , havendo somente n primos menores do que F, o conjunto J pode ser expresso por K = M (1) M (2) L M (n) = J M (0) * N 2 .
(A.11)

Sendo conhecidos p1 , p 2 ,L, p n 1 e sendo p n desconhecido, por (A.10), aplicando a funo que d a quantidade de elementos de um conjunto nos dois lados da equao: n( K ) = n( M (1) M (2) L M (n)) = n( J M (0))
n( K ) = n( M (1) M ( 2) L M ( n)) = F 1

(A.12)

Por (A.8) e (A.11), para M = n( M (i1 ) M (i2 ) M (i3 ) ... M (ii )) :

n i +1 n i + 2 n 1 n n( K ) = (1) L (M ) = F 1 i1 =1 i2 =i1 +1 ii 1 =ii 2 +1 ii =ii 1 +1 i =1

n i +1

(A.13)

Por (A.9) e (A.12), para i0 = 0 :

O Crivo Fundamental Por Vincius de Oliveira Botelho

n n n i +1 n i + 2 F n( K ) = (1)i +1 L i =1 i1 =1 i2 = i1 +1 ii = ii1 +1 pi1 pi2 L pii

(A.14)

Como p n F p n +1 1* N 3 , F ser definido, por convenincia, com a identidade

F = pn . Assim, por (A.13):

n ni+1ni+2 pn pn = 1 + (1) L pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n i +1

E essa a equao geradora dos nmeros primos.

O Crivo Fundamental Por Vincius de Oliveira Botelho

3. Definies, propriedades e operaes da funo mod( F , G )

O objetivo desta seo compreender melhor o funcionamento das funes que esto sendo estudadas neste artigo.

3.1. Definies
(B.1.1)

Dados ( F Z ) (G Z *) , define-se mod( F , G ) por:

F mod( F , G ) = F G G
(B.1.2)

Por (B.1.1):

F F = G + mod(F , G ) G
(B.1.3)

Por (B.1.1): F F mod( F , G ) G = G

(B.1.4)

Por (B.1.2), se G = p k p j , sendo p k , p j primos distintos:

F F= ( p j p k ) + mod(F , p j p k ) p j pk

3.2. Propriedades
(B.2.1)

Se f ( F ) = mod( F , G ) , ento f uma funo peridica com perodo G tal que:

f (F ) = f (F + G) f (0) = 0 f (1) = 1 f (2) = 2 M f (G 1) = G 1 f (G ) = 0 f (G + 1) = 1 M

O Crivo Fundamental Por Vincius de Oliveira Botelho (B.2.2)

Por (B.1.1): 0 mod( F , G ) G 1, e, se F primo e G F , 1 mod( F , G ) G 1

(B.2.3)

F mod( F , F ) = F F = F F = 0 F
(B.2.4)

Por (B.1.1), (B.2.3), (B.2.6) e (B.4.2), para k 2, k N :

F F mod , k F F F mod( F , k F ) 1 F mod( F , F ) = = k F kF kF k F 1 F F mod(1, k ) 1 1 = =0 = k F kF k k

(B.2.5)

Se B > A , com ( A B) N * , por (B.1.1):

A mod( A, B) = A = A*N 4 B
(B.2.6)

Se C > B , por (B.2.2): 0 mod( A, B ) B 1 Por (B.1.1):

mod( A, B) mod(mod( A, B), C ) = mod( A, B) C C

Como C > B > mod( A, B) > 0 :

mod( A, B) *N 4 =0 C

Logo:

mod(mod( A, B), C ) = mod( A, B)

(B.2.7)

Sabendo-se que mod( F , a + b) a + b 1 , por (B.2.6):

mod(L (mod(F , a + b), a + b),L), a + b) = mod( F , a + b)

(B.2.8)

Dados ( F , j , k ) N * , por (B.1.1): 9

O Crivo Fundamental Por Vincius de Oliveira Botelho

F + k j F mod( F + k j , j ) = ( F + k j ) j = (F + k j) j j + k = j F F = ( F + k j k j ) j = F j = mod( F , j ) j j

Portanto, mod( F , j ) = mod( F + k j , j ) .

3.3. Operaes em F
(B.3.1)

Por (B.1.1):
n mod( Fi , k i ) n n mod( mod( Fi , k i ), k ) = mod( Fi , k i ) k i =1 k i =1 i =1 n mod( Fi , k i ) n n mod( Fi , k i ) = mod mod( Fi , k i ), k + k i =1 k i =1 i =1

(B.3.2)

Por (B.1.1):
n mod( Fi , k i ) n n mod( mod( Fi , k i ), k ) = mod( Fi , k i ) k i =1 k i =1 i =1 n mod( Fi , k i ) n n mod( Fi , k i ) = mod( mod( Fi , k i ), k ) + k i =1 k i =1 i =1

3.4. Operaes em G
(B.4.1)

Seja ( F , p k , p j ) N * , por (B.1.2):

F F mod( F , pk ) F mod( F , pk ) = p j + mod , p j p pk p j pk k Por (B.1.3):

10

O Crivo Fundamental Por Vincius de Oliveira Botelho

F mod( F , p k ) F mod( F , p k ) mod( F mod( F , p k ), p j p k ) = pj + pk p j pk p j pk F + mod , p j p k F Logo, mod(F mod(F , pk ), pk p j ) = pk mod , p j . p k

(B.4.2)

Por (B.1.2) e (B.4.1): F F = p k + mod(F , p k ) pk F 1 F F = ( p k p j ) + p k mod , p j + mod(F , p k ) p pk p j k F 1 ( p k p j ) N pk p j F Por (B.2.2), 1 mod(F , p k ) p k 1 e 0 pk mod , p j ( p j 1) pk . p k Portanto:
F 1 mod(F , p k ) + p k mod , p j p k 1 + ( p j 1) p k p k F 1 mod(F , p k ) + p k mod , p j p j p k 1 p k

Logo, o maior inteiro possvel que, multiplicado por ( pk p j ) , e somado F a mod(F , p k ) + p k mod , p j , resulta em F . p k Portanto, por (B.1.4) * N 1 : F F 1 = p j pk pk p j F mod(F , p j pk ) = mod(F , pk ) + pk mod , p j p k
(B.4.3)

F 1 pk pj

11

O Crivo Fundamental Por Vincius de Oliveira Botelho

Por (B.4.2), seja PPk o produto de k nmeros primos, tal que PPk = p1 p 2 L p k , segue-se que:
F mod(F, PP ) = mod(F, PP ) + PP2 mod 3 3 PP , p3 2 F F = mod(F, p1 ) + PP mod 1 , p2 + PP2 mod PP PP , p3 1 2

Analogamente, para um produto de k elementos:

k F mod(F , PPk ) = mod(F , p1 ) + PPm 1 mod , p m PP m=2 m1

12

O Crivo Fundamental Por Vincius de Oliveira Botelho

4. Simplificao do modelo
possvel reduzir o nmero de aparies do primo calculado no modelo, facilitando a sua compreenso e resoluo. De acordo com a equao (A.14):
n ni+1ni+2 pn (1) i +1Li =+1 p p L p = pn 1 i =1 i1 =1 2 =i1 i1 i2 ii i ii 1 n i +1

Abrindo essa equao:

n ni +1 ni + 2 pn (1) i +1 L = pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n 1 n 1 ni ni +1 pn pn = (1) i +1 L + + pi1 pi2 L pii pn i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n n 1 n 1 ni ni +1 pn + (1) i L i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pn pi1 pi2 L pii

Por (B.2.4):

ni n1 pn (1) L i =+1 p p p L p = 0 i1 =1 i ii 1 n i =1 i1 i2 ii
n1 i

Por (B.1.11):

pn =1 pn
Logo:
n 1 n 1 ni ni +1 pn = 2 + (1) i +1 L pn i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi1 pi2 L pii

13

O Crivo Fundamental Por Vincius de Oliveira Botelho

5. Clculo intervalar
Uma das formas de resolver essa equao aproximar as suas parcelas de funes cuja manipulao permita chegar a uma soluo para o modelo. H trs modos de clculo intervalar da frmula apresentados nesta seo. Os dois primeiros trabalham na funo piso: um por determinao de um valor mdio dado um intervalo em que o numerador da funo se encontre e o outro pela aproximao da funo mod. Por fim, foi criado outro modelo de clculo intervalar para a funo mod isoladamente. Todos os modelos apresentam um valor de erro mximo em mdulo, gerando um intervalo de resultados possveis para a funo e no um nico resultado. A escolha de cada um dos trs mtodos adequadamente dentro do conjunto de dados que se possui que determinar a minimizao do erro agregado pelas trs tcnicas.
(D.1) O intervalo P

Sejam A e B dois nmeros conhecidos tais que A p n B , sendo kpi uma constante qualquer e epi uma varivel tal que: pn pi' pi2 L pii = kpi + epi

pn Se kpi for o valor mdio de , tem-se que: pi' pi2 L pii

kpi =
Ento:

1 A 2 pi' pi2 L pii

B + pi' pi2 L pii

pn A B pi' pi2 L pii pi' pi2 L pii pi' pi2 L pii A pi' pi2 L pii A pi' pi2 L pii B kpi + epi pi' p i2 L p ii +

1 A 2 pi' pi2 L pii B + epi pi' pi2 L pii

B + pi' pi2 L pii

14

O Crivo Fundamental Por Vincius de Oliveira Botelho

epi 1 B A 2 pi' pi2 L pii pi' pi2 L pii 1 B A epi 2 pi' pi2 L pii pi' pi2 L pii Se epi = EPi :
EPi 1 B 2 pi' pi2 L p ii A pi' pi2 L p ii

1 A B 2 pi' pi2 L pii pi' pi2 L pii

Assim:
1 pn A B + = pi' pi2 L pii 2 pi' pi2 L pii pi' pi2 L pii + EPi

(D.2) O intervalo S

Sejam F e p1 , L , pi primos quaisquer, por (B.1.3):

F mod( F , p1 L pi ) F = p1 L pi p1 L pi

Sendo

ki N

uma constante qualquer e

ei N

uma varivel tal que

mod( F , pi ) = k i + ei :
k i + ei F F = p1 L pi p1 L pi p1 L p i

Por (B.2.2), tem-se que, se ki for o valor mdio dos valores possveis de mod( F , p1 L pi ) :
ki =

(1) + ( p1 L pi 1)
2

p1 L pi 2

Tambm por (B.2.2):

15

O Crivo Fundamental Por Vincius de Oliveira Botelho

mod( F , p1 L pi ) p1 L pi 1 1 p1 L pi p1 L pi p1 L pi ki ei p L pi 1 1 + 1 p1 L pi p1 L pi p1 L pi p1 L pi p1 L pi ei p L pi 1 1 + 1 p1 L pi 2 p1 L pi p1 L pi p1 L pi ei 1 1 1 + 1 p1 L pi 2 p1 L pi p1 L pi ei 1 1 1 1 p1 L pi 2 p1 L pi 2 p1 L pi ei 1 1 p1 L pi 2 p1 L pi
ES i = 1 ei 1 ES i 2 p L p p1 L pi 1 i

Assim:
F mod( F , p1 L p i ) F F 1 = + ES i = p1 L pi p1 L pi 2 p1 L p i

(D.3)

Sejam pi primos quaisquer, por (B.1.3): Sendo kmi N uma constante qualquer e emi N uma varivel, tal que:

pn mod , p p i p i L p i ik k 1 2 1

= km + em i i
:

pn Por (B.2.2), tem-se que, se kmi for o valor mdio de mod , p p i p i L p i ik 2 k 1 1

kmi =

0 + p ik 1 2

p ik 1 2
p 1 ik

Novamente por (B.2.2): pn 0 mod , p pi pi L pi ik k 1 2 1 0 (kmi + emi ) pik 1

pi 1 0 k 2 + emi pik 1

)
16

O Crivo Fundamental Por Vincius de Oliveira Botelho

p ik 1 1 p ik 2 emi 2 p ik 1 pi 1 k 2 emi 2

EM i = emi EM i Assim:

p ik 1 2

pn mod pi pi L pi k 1 2 1

p ik 1 + EM i , p ik = 2

17

O Crivo Fundamental Por Vincius de Oliveira Botelho

6. Anlise da funo f(F)

6.1. Quanto ao crescimento
O objetivo desta seo demonstrar o no decrescimento da funo:
n 1 n 1 ni ni +1 F f ( F ) = 2 + (1) i +1 L pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1

O no decrescimento ser verificado pelo comportamento da funo quando F aumenta em uma unidade. O nmero 2 constante, e, portanto, no afeta o crescimento da funo. O interesse deve se voltar, portanto, para o somatrio de pisos. sabido que:
F mod( F , p1 p 2 L p n 1 ) F = p1 p 2 L p n 1 p1 p 2 L p n 1

Pelas caractersticas j estudadas dessa funo, ela s aumenta de valor quando, aps o aumento de F, mod( F , p1 p 2 L p n 1 ) = 0 . Ou seja, quando F torna-se mltiplo de p1 p 2 L p n 1 . Porm, se F mltiplo de p1 p 2 L p n 1 , pelos teoremas bsicos de divisibilidade, F tambm mltiplo de todas as combinaes de produtos possveis entre p1 , p 2 ,L, p n 1 . Enquanto o aumento de F mantiver a desigualdade

mod( F , p1 p 2 L p n 1 ) 0 verdadeira, essa funo piso permanece constante. Suponha-se que, pelo aumento de F em uma unidade, ele tenha se tornado mltiplo de p1 , p 2 ,L, p n 1 . Logo, antes de F ter aumentado, por (B.1.3):
n 1 n i n i +1 F (1) i +1 L = i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi1 pi2 L pii n 1 n 1 n i n i +1 F = (1) i +1 L i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 p i1 pi2 L p ii n 1 n 1 n 1 mod( F , p p L p ) n i n i +1 i1 i2 ii (1) i +1 L = pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n 1 n 1 n i n i +1 1 = F (1) i +1 L i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi1 pi2 L pii n 1 n 1 mod( F , p p L p ) n i n i +1 i1 i2 ii (1) i +1 L = pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n 1 n 1 mod( F , p p L p ) n i n i +1 1 n 1 i1 i2 ii (1) i +1 L = F 1 1 p k i =1 pi1 pi2 L pii k =1 i1 =1 i2 =i1 +1 ii =ii 1 +1

18

O Crivo Fundamental Por Vincius de Oliveira Botelho

n 1 1 1 1 constante e positivo, quando F crescer, Como o coeficiente pk k =1

n 1 1 F 1 1 cresce tambm. k =1 pk Por (B.2.1), uma unidade antes de mod( F , p1 p 2 L p n 1 ) = 0 , todos os seus valores eram mximos. Portanto, nessa situao:
n 1 n 1 mod( F , p p L p ) n i n i +1 i1 i2 ii (1) i +1 L = pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 n 1 n 1 n i n i +1 pi pi2 L pii 1 = (1) i L 1 = i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi1 pi2 L p ii n 1 n 1 n 1 n i n i +1 n i n i +1 n 1 1 = (1) i L (1) + (1) i +1 L = i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi1 pi2 L pii i1 =1 i2 =i1 +1 ii =ii 1 +1 i =1 n 1 n 1 n 1 1 + 1 1 = (1) i i pk i =1 k =1

Como:
n 1 (1) i i = 1 e tambm i =1
n 1 n 1 1 1 1 < 1 , segue-se que: pk k =1

n 1 n 1 mod( F , p p L p ) n i n i +1 i1 i2 ii (1) i +1 L <0 pi1 pi2 L pii i =1 i1 =1 i2 =i1 +1 ii =ii 1 +1

Ou seja, antes de esse conjunto de funes mod ser zerado (por F aumentar uma unidade e tornar-se mltiplo de p1 , p 2 ,L, p n 1 ) ele era negativo. Logo, zerar esse conjunto de somas significa aument-lo. Dessa forma, ambas as parcelas da funo ou aumentam (para as parcelas de que F se torna mltiplo) ou ficam constantes (para as parcelas de que F no se torna mltiplo). Portanto, dados F1 > F2 , segue-se necessariamente que f ( F1 ) f ( F2 ) .

6.2. Quanto convergncia para F

Usando a equao (A.10), pode-se verificar que, se F p n +1 , n( M (1) M (2) ... M (n)) < n( J M (0)) , j que haveria, em J, pelo menos um mltiplo de p n +1 (por exemplo, 1 p n +1 ) que no seria calculado em n( M (1) M (2) ... M (n)) (j que essa unio compreende somente os primos at p n ). Ento, como o ltimo primo que tem 19

O Crivo Fundamental Por Vincius de Oliveira Botelho

seus mltiplos inseridos no clculo da unio de conjuntos p n , e p n +1 no mltiplo de nenhum nmero que no seja ele mesmo ou 1, uma vez que ele primo, para f ( F ) = F , segue-se necessariamente que F p n +1 1 . Alm disso, como

f ( F ) = 1 + n( M (1) M (2) ... M (n)) < n( J ) = F , f ( F ) < F .

F Da mesma forma, se F p n 1 , M (n) = = 0 . Porm, na simplificao do pn F modelo foi utilizada a identidade M (n) = = 1 , de forma que foi imposta a identidade pn

n({M (1) ... M (n)) = n({M (1) ... M (n 1)) + 1 . Como todos os outros denominadores
do modelo tm resultados variveis, eles no sofreram, na frmula principal, nenhuma restrio desse tipo. Portanto, se F pn 1 ,

F = 1 + n({M (1) ... M (n 1)) < 1 + n({M (1) ... M (n 1)) + 1 = f (F ) , de forma que f ( F ) > F . Ou, mais especificamente, de forma que f ( F ) = F + 1 .
Alm disso, por (A.5), F = p1 c1 + L1 = p 2 c 2 + L2 = L = p n c n + Ln , c k 0, k [1; n] . Logo, como c n 1 , para f ( F ) = F , F p n . Assim, para f ( F ) = F , p n F p n +1 1 . Para F p n 1 , ento f ( F ) > F , e para F p n +1 , ento f ( F ) < F .

20

O Crivo Fundamental Por Vincius de Oliveira Botelho

7. Resoluo da equao principal

Como a equao (A.14) discreta, foi construdo um mtodo para determinar as suas solues utilizando o mtodo reflexivo e o mtodo intervalar, conforme explicado abaixo:
A. Mtodo intervalar 1. Deve-se construir um intervalo preliminar em que o prximo primo se encontra

calculando um primo qualquer que seja maior do que o ltimo inserido no modelo (por inspeo, por exemplo), de forma a eliminar as parcelas de denominador maior da equao. Caso isso no seja possvel, pode-se resolver a equao utilizando todas as parcelas, mas isso pode tornar-se invivel dependendo do tamanho de n. Recomendase, nesse caso, arbitrar (usando distribuies probabilsticas para a distncia entre dois primos, por exemplo) um valor superior para esse intervalo.
2. Definido esse intervalo, p n 1 + 2 F p e , devem ser testadas todas as parcelas

F pi1 L pii

para o valor superior e para o inferior do intervalo. Se

p n 1 + 2 p e p n 1 + 2 F p e = , tem-se que = = . pi pi pi pi pi

3. As parcelas da funo piso remanescentes devem ser trabalhadas por um dos trs

mtodos indicados, de forma que o resultado final ser outro intervalo para o primo que se quer determinar. Ento, o novo intervalo colocado novamente no modelo sob o mesmo procedimento anterior.

Vale ressaltar que o clculo de um intervalo preliminar para os primos importante devido possibilidade de retardar a rpida divergncia da quantidade de parcelas da funo piso, em funo do aumento da quantidade de nmeros inseridos no modelo, por intermdio da reduo da amplitude do intervalo de F para um valor cada vez mais prximo de zero. Alm disso, como a funo piso apresenta maior estabilidade conforme o seu denominador aumenta ( necessrio um aumento cada vez maior de F para aumentar o piso em uma unidade), fica cada vez mais fcil calcular o seu valor exato quando o ele formado por algum grande primo, caso seja possvel determinar um intervalo suficientemente pequeno para F. Com isso, pode-se supor que a amplitude do intervalo resultante seja convergente, ou, pelo menos, de crescimento rapidamente decrescente.

21

O Crivo Fundamental Por Vincius de Oliveira Botelho

Conforme mais primos so inseridos no modelo, a amplitude mnima dos erros geralmente conseguida calculando todos os denominadores de produtos um a um pelo mtodo
P e os restantes por S. A utilizao de S nos denominadores de primos um a um

problemtica porque gera um fator poderoso de expanso do erro quando inserido no modelo, j que F, do outro lado da equao, acaba multiplicado por um valor muito pequeno, que, quando passado para o outro lado da equao, aumenta o erro consideravelmente, ficando esse erro geralmente maior do que quando todas as parcelas so calculadas por P. Da mesma forma, o ideal aplicar S nos primos dois a dois porque, em virtude do sinal desse somatrio, ele faz com que o valor que esteja multiplicando F, do outro lado da equao, seja maior do que 1, e, portanto, que haja uma reduo na amplitude dos resultados em relao do intervalo.

B. Mtodo reflexivo

Quando o intervalo determinado no estiver sendo reduzido por aplicaes sucessivas do clculo intervalar, pode-se resolver a equao aplicando o mtodo reflexivo. H dois tipos de mtodo reflexivo: comum e crescente. No mtodo reflexivo crescente, escolhido o menor dos valores possveis para o primo no intervalo em que ele se encontra (intervalo original de interesse) e se insere esse valor na funo f(F). Como a funo crescente e o resultado correto s encontrado quando o valor inserido no modelo se iguala ao resultado que ele produz, no h primos entre o valor inserido e o valor resultante (caso sejam diferentes), de forma que o valor resultante pode ser considerado o novo limite inferior do intervalo de resultados possveis. O resultado que a funo d novamente inserido no modelo e assim sucessivamente, at que o nmero inserido convirja com o resultado que ele d ( f ( F ) = F ). importante que o primeiro nmero inserido seja o menor possvel do intervalo, pois ser o primo procurado o primeiro nmero que resolver a equao e no qualquer nmero que o fizer. Para diminuir a quantidade de clculos do modelo reflexivo crescente, pode-se diminuir arbitrariamente o valor do teto em que o prximo primo se encontra. Caso o valor resultante para a equao esteja dentro do novo intervalo, ele estar correto. Afinal, pode-se dizer que qualquer mtodo de reduo da amplitude do intervalo uma aplicao suave do raciocnio embutido no mtodo reflexivo crescente. O mtodo reflexivo comum (Exemplos 10 e 11) o mais poderoso dos mtodos de aproximao, que pode ser utilizado para calcular primos separados por grandes distncias,

22

O Crivo Fundamental Por Vincius de Oliveira Botelho

baseando-se na diminuio sucessiva da amplitude do intervalo resultante. Ele executado nos seguintes passos:
1. Arbitra-se uma distncia de segurana entre o menor dos primos possveis ( p n 1 + 2 ) e

o prximo. Suponha-se que essa distncia seja dada por d, de forma que p n 1 + 2 F p n 1 + 2 + d .
2. Calcula-se f ( p n 1 + 2) e f ( p n 1 + 2 + d ) . Se f ( p n 1 + 2) = p n 1 + 2 , F = p n 1 + 2 . Se

f ( p n 1 + 2) > p n 1 + 2 , ento p n 1 + 2 um limite inferior vlido para F. Se f ( p n 1 + 2 + d ) < p n 1 + 2 + d , ento pn 1 + 2 + d um limite superior vlido para F. d 3. Calcula-se f p n 1 + t + 2 para todos os valores de t , t [1; log 2 (d )] , comeando 2 d d com 1. Se f p n 1 + t + 2 = p n 1 + t + 2 , deve ser testado o valor imediatamente 2 2 inferior a esse para verificar se essa a menor soluo da equao (e assim sucessivamente at encontrar o primeiro valor para o qual f ( F ) = F ou o valor d d posterior ao ltimo para o qual f ( F ) = F + 1 ). Se f p n 1 + t + 2 > p n 1 + t + 2 , 2 2 ento

p n 1 +

d +2 2t

um

limite

inferior

vlido

para

F.

Se

d d d f p n 1 + t + 2 < p n 1 + t + 2 , ento p n 1 + t + 2 um limite superior vlido para 2 2 2

F. Dado que, se F p n +1 , f ( F ) < F e se F p n +1 1 , f ( F ) = F , segue-se que, para um dado F, se f ( F 1) = F 1 e f ( F ) = F 1 , sendo F 2 p n 1 , de forma que se
F F possam manter as igualdades = 1 e = 0 , A 2 , F = p n +1 . Caso essas duas A pn pn

igualdades sejam relaxadas, a restrio F 2 p n 1 desaparece. crucial tambm que F pertena ao intervalo de interesse usado para diminuir a quantidade de funes piso do modelo, de forma que igualdades estabelecidas para encontrar p n sejam mantidas na busca de
p n +1 . Relaxar essas hipteses tambm resolve o problema.

23

O Crivo Fundamental Por Vincius de Oliveira Botelho

Para ilustrar os clculos efetuados para a descoberta de cada primo, foram colocados alguns exemplos. Para os primos pequenos, a busca por inspeo dividindo um a um uma ferramenta muito mais rpida do que a aplicao desta frmula. Porm, o objetivo desta parte do artigo ilustrar o procedimento a ser seguido e no efetivamente descobrir primos, mesmo porque, esses j so amplamente conhecidos.

Exemplo 1:

n =1 F F = F 1 F = 1+1 = 2
Exemplo 2:

n=2 F F 2 + F = F 1 F 1 +1 = F 1 2 1 F = 22 = 3 2
Exemplo 3:

n=3 F F F 2+36 = F 2 F 1 F F + = F 2 2 3 6 3 F F F = 2 + 2 3 6

Aplicando o mtodo S:
3 F F F 9 3 F F 1 1 F = 2 + = 2 + + + ES = 3 + + 2 ES F = + 3 ES 2 3 2 3 6 2 3 6 2 2 1 2 1 ES + ES 6 6 2 6 12 F 3 F 6 2 2 Como F > 3 , F = 5 .

Exemplo 4:

24

O Crivo Fundamental Por Vincius de Oliveira Botelho

n=4 F F F F F F F 2 + 3 + 5 6 10 15 + 30 = F 2 F 1 F F F F F F + + + = F 2 2 3 5 6 10 15 30 3 F F F F F F F = 2 + + + 2 3 5 6 10 15 30

Aplicando o mtodo S: 7F 3 7F 3 F F F F F F 2 3 1 + 2 ES + ES = 3 + + + ES = 2 + F = 2 + + + 15 2 30 2 3 5 6 10 15 30 2 2 2 45 30 + ES F= 8 8 1 3 2 4 13 14 63 + ES ES + + + + 6 10 6 10 30 30 30 45 63 45 63 F + 3.00 F 13.50 7 F 13 8 8 8 8 A partir deste intervalo:

F F 15 = 30 = 0

Logo:
3 F F F F F = 2 + + 2 3 5 6 10

Aplicando novamente S:
8F 3 F F F F 2 2 3 8F + ES = 3 + + 2 ES F = 2 + + + + ES = 2 + 15 2 30 2 3 5 6 10 2 2 45 30 F= + ES 7 7 1 3 2 4 36 + + ES ES + 6 10 6 10 30 45 36 45 36 F + 1.00 F 11.70 7 F 11 7 7 7 7

A partir deste intervalo:

F 6 =1

Logo:
1 F F F F = 2 + + 2 3 5 10

25

O Crivo Fundamental Por Vincius de Oliveira Botelho

Aplicando o mtodo reflexivo crescente:

1 f (7) = 2 + 2 + 1 = 7 2

Como f (7) = 7 , F = 7 .
Exemplo 5:
n=5 F 7+2 F 9

Arbitrariamente, F 20 .
n=5 F F F F F F F F 2 + 3 + 5 + 7 6 10 14 15 = F 2 F 1 F F F F F F F + + + = F 2 2 3 5 7 6 10 14 15 3 F F F F F F F F = 2 + + + 2 3 5 7 6 10 14 15

Aplicando o mtodo S: 57 F 57 F F F F F F F F + 2 ES + ES = 4 + F = 2 2 + + + + ES = 2 2 + 105 3 5 7 6 10 14 15 210 420 210 + ES F= 57 57 1 3 5 2 4 6 13 468 ES ES + + + + + + 6 10 14 6 10 14 30 210 9.00 F 15.60 9 F 15 Aplicando o mtodo S nas parcelas negativas: 1 85 F F F F F F F F F 2 + ES + + + = + + + 4 + ES = 6 10 14 15 6 10 14 15 2 210 2 4 6 13 1.60 ES + + + 6 10 14 30 Aplicando o mtodo P nas parcelas positivas: 3 F F F F 11 2 + 3 + 5 + 7 = 2 + 4 + 2 + 2 + EP = 13 + EP 3 1 EP + 1 + 1 + EP 4.00 2 2 Logo:

26

O Crivo Fundamental Por Vincius de Oliveira Botelho

13 + EP F=

85 85 F + 2 ES = 15 F + EP ES = F 2 210 210

42 (17 + EP ES ) 59 8.10 F 16.10 Logo, o intervalo permanece inalterado. Portanto, deve-se aplicar o modelo reflexivo crescente: 3 F F F F F F F f (F ) = 2 + + + 2 3 5 7 6 10 14 15

3 f (9) = 2 + 3 + 1 + 1 1 = 11 2 3 f ( f (9)) = f (11) = 2 + 3 + 2 + 1 1 1 = 11 2 Como f (11) = 11 , F = 11 .

Exemplo 6:
n=6

Por inspeo com 2, 3, 5, 7 e 11, 23 primo, portanto:

11 + 2 F 23 13 F 23

Pela frmula simplificada:

F F F F F F F F F F F 2 + 3 + 5 + 7 + 11 6 10 14 22 15 21 = F 2 F F F F F F F F F F F 3 3 + 5 + 7 + 11 6 10 14 22 15 21 = 2 2 Como a amplitude do intervalo grande, pode-se tentar reduzi-la aplicando o mtodo S:

F F F F F F F F F F 3 + 5 + 7 + 11 6 10 14 22 15 21 = F 1.5 F 2.5 F 3.5 F 5.5 F 3 F 5 F 7 F 11 F 7.5 F 10.5 = + + + + ES 3 5 7 11 6 10 14 22 15 21 F 3 311 = F + 1 + ES = 2 2 1155 533 5 + ES = F 2 2,310 2,310 5 F = + ES 533 2 9 1 4 6 10 13 19 2,310 1 3 5 2,310 + + + + + + 16.19 + + + ES 533 6 10 14 22 3 10 14 22 30 42 533

27

O Crivo Fundamental Por Vincius de Oliveira Botelho

Logo:
11.85 F 20.53

Como 13 F 23 , segue que 13 F 19 . Portanto: F F F F 10 = 11 = 1; 21 = 22 = 0 F F F F F F F F F F 3 + 5 + 7 + 11 6 10 14 22 15 21 = F F F F F F F F F F F F 3 + 5 + 7 + 1 6 1 14 15 = 3 + 5 + 7 6 14 15 Logo:

F F F F F F F 2 + 3 + 5 + 7 6 14 15 = F 2

Aplicando o mtodo S nas parcelas negativas:

32 3 F F F F F F 3 6 + 14 + 15 = 6 + 14 + 15 2 + ES = 105 F 2 + ES 2 6 13 ES + + 1.20 6 14 30
Aplicando o mtodo P nas parcelas positivas:
5 3 33 F F F F 15 2 + 3 + 5 + 7 = 2 + 5 + 2 + 2 + EP = 2 + EP 3 1 1 EP + 1 + + EP 3.50 2 2 2

Assim:
3 F F F F F F F 33 32 2 + 3 + 5 + 7 6 14 15 = 2 105 F + 2 ES + EP = F 2 137 105 F = 20 + EP ES F = (20 + EP ES ) 105 137 11.71 F 18.94

Por isso: 13 F 17 . Logo: F 6=2 Dessa forma: F F F F F F 2 + 3 + 5 + 7 2 14 15 = F 2 28

O Crivo Fundamental Por Vincius de Oliveira Botelho

F F F F F F 2 + 3 + 5 + 7 14 15 = F

Utilizando o mesmo procedimento da determinao do intervalo anterior:

29 F F F F 14 + 15 = 14 + 15 1 + ES = 105 F 1 + ES 6 13 0.87 ES + 14 30

Alm disso:
9 5 3 31 F F F F 2 + 3 + 5 + 7 = 7 + 2 + 2 + 2 + EP = 2 + EP 1 1 1 EP 1 + + + EP 2.50 2 2 2

Portanto:
F F F F F F 31 29 2 + 3 + 5 + 7 14 15 = 2 105 F + 1 ES + EP = F 134 33 105 33 F = + EP ES F = + EP ES 105 2 134 2 10.27 F 15.58

Por isso: 13 F 15 . Utilizando o mesmo procedimento da determinao do intervalo anterior:

29 F F F F 14 + 15 = 14 + 15 1 + ES = 105 F 1 + ES 6 13 0.87 ES + 14 30

Alm disso: F F F F 13 9 5 3 2 + 3 + 5 + 7 = 2 + 2 + 2 + 2 + EP = 15 + EP 1 1 1 1 EP + + + EP 2.00 2 2 2 2 Portanto:

29 F F F F F F 2 + 3 + 5 + 7 14 15 = 15 105 F + 1 ES + EP = F 134 105 F = 16 + EP ES F = (16 + EP ES ) 105 134 10.27 F 14.79

Por isso: F = 13 .
Exemplo 7:

29

O Crivo Fundamental Por Vincius de Oliveira Botelho

n=7 13 + 2 F 2 11 + 1 15 F 23

Pela frmula simplificada: F F F F F F F F F F F F 3 3 + 5 + 7 + 11 + 13 6 10 14 22 15 21 = 2 2 Pelo intervalo: F F F 13 = 14 = 15 = 1 Logo: F F F F F F F F F 1 3 + 5 + 7 + 11 6 10 22 21 = 2 2 F F F F F F F F 1 F = 2 + + + + 3 5 7 11 6 10 22 21 2 Aplicando o modelo reflexivo crescente: F F F F F F F F 1 f (F ) = 2 + + + + 3 5 7 11 6 10 22 21 2 1 f (15) = 2 5 + 3 + 2 + 1 2 1 + = 17 2 1 f ( f (15)) = f (17) = 2 5 + 3 + 2 + 1 2 1 + = 17 2 Como f (17) = 17 , F = 17 .
Exemplo 8:
n=8 17 + 2 F 2 11 + 1 19 F 23

Pela frmula simplificada: F F F F F F F F F F F F F 3 3 + 5 + 7 + 11 + 13 + 17 6 10 14 22 15 21 = 2 2 Pelo intervalo: F F F F F = 3; = = = = 1 6 13 14 15 17 Logo:

30

O Crivo Fundamental Por Vincius de Oliveira Botelho

F F F F F F F F 3 3 + 5 + 7 + 11 10 22 21 = 2 + 2 F F F F F F F 3 F = 2 + + + 3 5 7 11 10 22 21 2 Aplicando o mtodo reflexivo crescente: F F F F F F F 3 f (F ) = 2 + + + 3 5 7 11 10 22 21 2 3 f (19) = 2 6 + 3 + 2 + 1 1 = 19 2 Como f (19) = 19 , F = 19 .

Exemplo 9:
n=9 19 + 2 F 2 11 + 1 21 F 23

Pela frmula simplificada: F F F F F F F F F F F F F F 3 3 + 5 + 7 + 11 + 13 + 17 + 19 6 10 14 22 15 21 = 2 2 Pelo intervalo: F F F F F F F F F F F 3 = 7; 5 = 4; 6 = 7 = 3; 10 = 2; 13 = 14 = 15 = 17 = 19 = 21 = 1 Logo:

F F F 21 11 22 = 2 2
Aplicando a relao (B.4.2):

F 1 F 1 F F 21 F F F 1 F 1 11 22 = 11 2 11 + 2 mod 11,2 = 2 11 + 2 mod 11,2 = 2 2 F F 11 + mod 11,2 = F 21

Aplicando o mtodo S e da funo mod:
F F 5.5 2 1 F F 11 + mod 11,2 = 11 + 2 + ES + EM = 11 + ES + EM = F 21 F= 11 (21 + ES + EM ) 10 4 .5 0.41 ES 11

31

O Crivo Fundamental Por Vincius de Oliveira Botelho

1 2 23.10 1.001 F 23.10 + 1.001 EM 22.099 F 24.101

Somente com esse intervalo, como foi feito em exemplos anteriores, j seria possvel descobrir que F = 23 (j que o nico inteiro mpar pertencente a ele), porm, pode-se tambm inserir o novo intervalo na funo que est sendo definida:

F 21 F F F = = 2 1 = 1 = F = 21 + 2 = 23 2 2 11 22
Portanto, F = 23 .
Exemplo 10:
n = 63 293 + 2 F 293 + 2 + 20 295 F 315

F Aplicando o mtodo S em para a aplicao do modelo reflexivo: 2

f (295) = 297 F > 295 f (315) = 313 F < 315 295 + 315 f = f (305) = 307 F > 305 2 305 + 315 f = f (310) = 309 F < 310 2 305 + 310 f = f (307) = 307 F = 310 2

Logo, F = 307 .
Exemplo 11:
n = 218 1327 + 2 F 1327 + 2 + 200 1329 F 1529

F Aplicando o mtodo S em para a aplicao do modelo reflexivo: 2 f (1329) = 1331 F > 1329 f (1529) = 1507 F < 1529 1329 + 1529 f = f (1429) = 1421 F < 1429 2 32

O Crivo Fundamental Por Vincius de Oliveira Botelho

1329 + 1429 f = f (1379) = 1375 F < 1379 2 1329 + 1379 f = f (1354) = 1355 F > 1354 2 1354 + 1379 f = f (1367) = 1365 F < 1367 2 1354 + 1367 f = f (1361) = 1361 F = 1361 2

Testando o valor inferior: f (1359) = 1361 Logo, F = 1361 .

33

O Crivo Fundamental Por Vincius de Oliveira Botelho

8. Concluso
Neste artigo foi apresentado um padro para a seqncia dos nmeros primos no qual, inserindo o valor dos primeiros n-1 primos possvel determinar no s p n como p n +1 . A partir desse padro, foram desenvolvidos dois mtodos, diferentes e complementares, de soluo: reflexivo e intervalar. Porm, esta frmula provavelmente tambm serve de matriaprima para a gerao de outros modelos. Este artigo no tem por objetivo esgotar esse desenvolvimento, mas somente introduzi-lo. Um caminho para isso pode estar na manipulao da equao simplificada. Numa verso anterior deste artigo, ela era desenvolvida usando a relao
F F 1 F 1 A p = A p A mod p , A , passvel de deduo por (B.4.2), de forma que a

equao principal ficava na forma:

p n2 p n1 1 pn = 2 + n + n 1 pn1 k =1 pk i =k +1 pi (1)
i =1 n 1 i +1

ni ni +1 n 1 p 1 n , p L p L mod ik 1 pi i2 i1 =1 i2 =i1 +1 ii =ii 1 +1 pi2 L pik 1 1

A partir disso, eram aplicados os mtodos de gerao de intervalos para a funo mod explicados na seo especfica para este fim e era aplicada tambm a relao (B.4.3) no segundo somatrio. Porm, a amplitude do intervalo do erro do somatrio de mod explodia muito rapidamente devido dificuldade de se determinar um teto para ele e acabou se tornando invivel a concluso de um estudo neste sentido. Os mtodos intervalares criados apresentam uma dificuldade de minimizao da amplitude do intervalo resultante de F. Nos diversos testes que foram efetuados, foi constatado que algumas vezes essa amplitude tem um limite inferior insuficiente para a obteno de soluo nica, de forma que a aplicao do modelo reflexivo acaba tornando-se indispensvel. Portanto, modelos matemticos que expliquem a minimizao da amplitude desse intervalo seriam de grande valia na compreenso e aplicao da frmula. Uma propriedade interessante da equao que a amplitude do intervalo resultante de F depende muito mais do intervalo em que ele encontra originalmente do que da quantidade de primos menores do que ele. Logicamente que grandes primos tero uma quantidade maior de parcelas a se analisar do que os menores, mas, como quanto maior o denominador dessas 34

O Crivo Fundamental Por Vincius de Oliveira Botelho

parcelas, mais estvel a funo piso (maior o aumento de F necessrio para que ela aumente em uma unidade), e como primos grandes s agregam parcelas de denominadores grandes (cada vez maiores), que somam um erro menor no clculo intervalar (podendo at no somar erro nenhum) do que as de denominador menor, comuns a todos os primos calculados, a evoluo da complexidade da aplicao do modelo rapidamente decrescente, como possvel de verificar na aplicao do mtodo reflexivo comum. Por conseqncia, fica tambm patente a importncia de estudos estatsticos sobre a distribuio da diferena entre dois primos, para que haja maior critrio numa eventual diminuio arbitrria do teto do intervalo de F.

35

O Crivo Fundamental Por Vincius de Oliveira Botelho

Notas
k1 mod(k1 , k 2 ) = mx( I ) + , k2 k2

N1:

mod(k1 , k 2 )

funo

definida

por

em

que

0 mod(k1 , k 2 ) k1 1 , com k1 , k 2, I , mod(k1 , k 2 ) N . Em outras palavras, mod(k1 , k 2 ) a

funo que d o resto da diviso de k1 por k 2 , mais comumente chamada k1 mod k 2 . Alm disso, por (B.2.8): mod(c k p k + Lk , p k ) = mod(c k p k c k p k + Lk , p k ) = mod( Lk , p k ) Como 0 Lk p k 1 , por (B.2.6), mod( Lk , p k ) = Lk . Portanto: Lk = mod(c k p k + Lk , p k ) . Por (B.1.3): F F mod( F , G ) G = G
N2: Por (A.5), F = p k * c k + Lk , com 0 Lk p k 1 . Como no existe limite superior para

c k , p k , N , (c k Lk ) tal que = F . Logo, o limite F pode ser definido como o mesmo para todos os conjuntos M(k) inseridos no modelo.
N3: Como ser verificado na seo (6.2), para f ( F ) = F , p n F p n +1 1 .

A N4: Como sabido da funo piso, se B > A, ( A B) N * , = 0 B

36