Formulas para Numeros Primos

eric campos bastos guedes
Frmulas para
Nmeros Primos

Eric Campos Bastos Guedes Pgina 2 10/5/2009

Eric Campos Bastos Guedes

Frmulas para
Nmeros Primos


Ficha catalogrfica

G 924 Guedes, Eri c Campos Bast os
Frmulas para nmeros primos: / Eri c Campos
Bastos Guedes. Rio de Janei ro: Soci edade
Brasil eira de Mat emti ca, 2008.
89p.

ISBN: _____________________

1. Nmeros primos. 2 Teori a dos nmeros.
3 Matemt ica-frmul as. I. T tulo
CDD: 512. 72

Em memria de meu pai


Agradeo ao professor Jorge Petrcio Viana
pelo apoio e incentivo.

Prefcio

Uma frmula para primos uma funo cuja imagem um conjunto de nmeros
primos. Certa vez, mostrei a um grupo heterogneo de estudantes e professores de
Matemtica um exemplo de funo que produzia todos os primos, e somente primos. A
primeira reao foi o espanto de quem sempre ouviu falar que no existiam tais
frmulas. Em seguida, os mais experientes esclareceram que existem infinitas frmulas
para primos. Havendo infinitas, quais sero especialmente elegantes? Breves?
Engenhosas? Quais suscitaro questes de interesse? Que conjecturas surgiro de modo
natural? Como caracterizar os nmeros primos de modo no trivial? Como construir
uma frmula para primos usando essa caracterizao? Essas questes vo sendo
respondidas ao longo deste livro, atravs de exemplos acompanhados de demonstraes.
O bom leitor ter a oportunidade de responder a questes que o desenvolvimento das
idias do texto proporciona.

Niteri, maio de 2006.

Eric Campos Bastos Guedes

Sumrio

Os Nmeros Primos e seus Desafios ........................................................................ 13
Uma Funo de Varivel Matricial que Produz Nmeros Primos ......................... 25
Funes que Geram Nmeros Primos ...................................................................... 32
Quatro Frmulas Relacionadas que Produzem Nmeros Primos ........................ 39
Outras Frmulas Relacionadas que Produzem Nmeros Primos ........................ 43
Uma Aplicao da Anlise Teoria dos Nmeros ................................................. 46
Relacionando Nmeros Primos e Binomiais ............................................................ 52
Uma Funo que Produz Infinitos Nmeros Primos ............................................... 58
Uma Funo para o ensimo Nmero Primo ........................................................... 64
Nmeros Primos e Sries Formais ............................................................................ 67
Caracterizando Intervalos de Nmeros Primos atravs de Polinmios ............... 72
Produzindo Nmeros Primos por Iterao ................................................................ 78
Uma Constante para os Nmeros Primos ................................................................ 81
Primalidade e Nmero de Divisores .......................................................................... 84
Outras Frmulas e Conjecturas .................................................................................. 86
Tbua de Nmeros Primos ......................................................................................... 89
Referncias Bibliogrficas ........................................................................................... 94

1
Os Nmeros Primos e seus Desafios

Divisibilidade

Seria difcil falar em nmeros primos sem mencionar o conceito de
divisibilidade. Se a e b so inteiros quaisquer, ento dizemos que b divisvel por a
sempre que existir um nmero inteiro q satisfazendo b=aq. Dizer que b divisvel por a
o mesmo que dizer: b mltiplo de a, a divisor de b, a divide b, ou, em
smbolos a|b. Escreve-se a|b para significar que b deixa resto zero na diviso por a, isto
, a diviso de b por a exata. Quando no o for escreveremos | a b / (l-se a no
divide b). Exemplos: 2|6, 6|60, 5 | 6 / .
Estando claro o conceito de divisibilidade, podemos falar no conjunto de
divisores positivos de um inteiro. Por exemplo, os divisores positivos de 12 so 1, 2, 3,
4, 6 e 12; os de 8 so 1, 2, 4 e 8. Os divisores comuns a 12 e 8 so 1, 2 e 4. O maior
deles o 4, e por isto chamado de mximo divisor comum de 8 e 12, o que em
smbolos se escreve mdc(8,12)=4 ou (8,12)=4, quando no houver ambigidade.
Tem-se m = mdc(a, b) sempre que cumprirem-se as propriedades seguintes:
(i) m|a e m|b
(ii) se d|a e d|b ento d|m
(iii) m > 0
A propriedade (i) diz que o mdc de dois nmeros um divisor comum desses
nmeros; (ii) nos diz que todo divisor comum de a e b tambm divide seu mdc; se m
satisfaz (i) e (ii), ento -m tambm satisfaz (i) e (ii), de modo que, para evitar
ambigidade, (iii) nos diz para tomarmos sempre o valor positivo.
Essas questes so fundamentais e precisamos delas para prosseguir. Este o
motivo pelo qual as menciono aqui. Qualquer livro de introduo a Teoria dos Nmeros
traz logo no incio essas informaes.

Inteiros coprimos

Dois nmeros inteiros so ditos coprimos, ou relativamente primos ou ainda
primos entre si sempre que seu mximo divisor comum for igual a 1. Assim, 27 e 80 so
coprimos, porque mdc(27, 80)=1. Entretanto 48 e 33 no so relativamente primos, uma
vez que mdc(48, 33)=31.

Definindo nmeros primos

Os nmeros primos so os nmeros naturais que tm exatamente dois divisores
positivos. Esta no uma definio citada com freqncia, mas a que me parece, aqui,
a mais adequada. Existem outras definies equivalentes. A mais popular diz que
nmero primo um inteiro maior que 1 cujos nicos divisores positivos so 1 e ele
mesmo. Assim, 7 primo, pois seus nicos divisores so 1 e 7; mas 9 no primo pois
tem trs divisores: 1, 3 e 9.
Ainda h uma definio importante de nmero primo. Ela diz que um inteiro
p>1 primo quando p|a ou p|b, para quaisquer inteiros a e b tais que p|ab. Logo,
quando um primo divide um produto, necessariamente divide algum dos fatores.

A seqncia dos primos

Os dez primeiros nmeros primos so 2, 3, 5, 7, 11, 13, 17, 19, 23 e 29. Esta lista
pode ser estendida indefinidamente, conforme mostraremos ainda neste captulo. Ento,
existe uma sucesso ou seqncia de nmeros primos. Faz sentido, portanto, falar num
primeiro nmero primo, que o 2; num segundo primo (o 3) e mais geralmente num
n-simo nmero primo, que ocupa a posio n na sucesso e denotado por
n
p . Assim,
por exemplo,
10
29 p = , ou seja, o dcimo primo 29.

Algumas notaes

O conceito de nmero primo est fortemente ligado ao de divisibilidade. Dado
um inteiro positivo n, seu nmero de divisores positivos representado por ( ) d n .
Assim, um nmero natural p primo quando ( ) d 2 p = . Por exemplo, os divisores de
127 so 1 e 127; ento ( ) d 127 2 = e portanto 127 primo. Por outro lado, os divisores
de 128 so 1, 2, 4, 8, 16, 32, 64 e 128 em nmero de 8; logo ( ) d 128 8 2 = e portanto
128 no primo.
Vimos duas notaes:
n
p designa o n-simo primo e ( ) d n a quantidade de
divisores de n. Usaremos essas designaes em todo livro. Elas so empregadas com
bastante freqncia pelos matemticos e se consagraram pela tradio. Uma outra
funo comum em Teoria dos Nmeros a
k
. Representa-se por ( )
k
n a soma das
k-simas potncias dos divisores positivos de n. Note o leitor que para qualquer inteiro
n, tem-se ( ) ( )
0
d n n = . Alm disso, denotando por ( ) s n a soma dos divisores de n,
vale ( ) ( )
1
s n n = . Ento, pode-se usar uma ou outra notao conforme for conveniente.

Uma primeira frmula

J se pode, com o que vimos at aqui, escrever uma frmula para primos. Basta
notar que:
(i) Dado n>1, a sucesso ( ) ( ) ( )
1 2 3
, , , n n n

converge para 1;
(ii) A sucesso ( ) ( ) ( )
3
3
2
2
1
1
, 1 , 1 , 1

n n n converge para o menor

divisor maior que 1 de n;
(iii) De modo mais geral ( ) lim 1 n
o menor divisor maior que 1 de n;

(iv) Dado qualquer inteiro n>1, seu menor divisor maior que 1 primo;
(v) Logo, ( ) ( )
1 lim =

n n f produz todos os primos, e somente primos sendo,
portanto, uma frmula para primos.

Alguns leitores podem ficar um pouco desapontados com este primeiro exemplo.
Para calcular o valor de f(n) necessrio conhecer os divisores n. Mais que isto:
preciso que conheamos a soma das -simas potncias dos divisores de n (quando
tende a (!)). muito complicado usar esta frmula para calcular primos.
No obstante, ela bonita! concisa, no trivial e faz exatamente o que dela se
pede: produz (todos os) primos e somente primos, embora de modo
computacionalmente ineficaz. Neste livro no nos prenderemos meramente a questo
esttica das frmulas. Tambm sero levantadas questes tericas, conjecturas sugeridas
explicita ou implicitamente. No nosso objetivo aqui medir a rapidez das frmulas ou
sua complexidade computacional, embora esta questo interesse a muitos matemticos
de renome.

O crivo de Eratstenes

Se estivssemos interessados em determinar rapidamente todos os primos
menores que um nmero dado, seria insensato usar a frmula que vimos. Em vez disso,
usaramos o crivo. Ele consiste num algoritmo devido ao matemtico grego
Eratstenes (276 a.C194 a.C), o mesmo que fez a primeira estimativa para a
circunferncia da Terra. O crivo consiste em, dado um inteiro n>3, determinar todos os
nmeros primos menores que n mediante as seguintes etapas:

Etapa 1: Escrevemos os nmeros mpares do intervalo aberto ] [ 2, n em ordem crescente
numa tabela;
Etapa 2: Circulamos o menor nmero no circulado e no cortado (este nmero
primo);
Etapa 3: Chamamos de c o maior nmero circulado. Se n>c
2
passamos para a etapa 4.
Caso contrrio encerramos o algoritmo e os nmeros primos menores que n
so exatamente aqueles que no foram cortados (os circulados tambm so
primos) e tambm o inteiro 2.
Etapa 4: Iniciando por c
2
, vamos cortando os nmeros da tabela de c em c, isto ,
cortamos c
2
, c
2
+c, c
2
+2c etc. (cortamos estes nmeros pois eles no so
primos, por serem mltiplos de c; no precisamos cortar nenhum mltiplo de c
menor que c
2
pois eles j foram cortados antes). Nesta etapa como se
estivssemos peneirando nossa tabela de nmeros, por isso o nome crivo.
Neste momento retorna-se etapa 2.

O crivo um meio rpido de decidir quais nmeros menores que um inteiro
dado so primos, e quais no so. Os que no so primos se escrevem como produto de
primos (com exceo de 1) e por isto chamam-se compostos. O nmero 1 no
considerado nem primo nem composto. interessante notar que para os gregos antigos
1 no era nem sequer um nmero (veja p.1 de [15]).

As funes , teto, cho e parte fracionria

Voltemos ao crivo. Como ele nos mostra todos os primos menores que um
inteiro n, natural nos perguntarmos quantos primos h at n. Representa-se por ( ) n
a quantidade de nmeros primos menores ou iguais a n. Assim, ( ) 1 0 = pois no h
primos no intervalo [ ] { } 1,1 1 = ; ( ) 11 5 = , porque no intervalo [ ] 1,11 existem 5
nmeros primos, a saber, 2, 3, 5, 7 e 11.
Sabemos que primalidade est relacionada com divisibilidade. E quando nos
questionamos a respeito de divisibilidade, estamos procurando informaes a respeito
de alguma diviso. Por outro lado, nmeros primos so sempre inteiros, mas muitos
valores de funes no so nmeros inteiros. Ento precisamos, algumas vezes,
converter nmeros reais em inteiros. Por isso, duas funes que aparecem com
freqncia quando se buscam frmulas para primos so a cho e a teto. O cho de x
denotado por x (

e o maior inteiro x. O teto de x denotado por x (
(
e o menor
inteiro x. Os nmeros x (

e x (
(
so os nicos inteiros que satisfazem
1 1 x x x x x < < + ( (
(
. Note que chamar x (

de o cho de x e x (
(
de o teto de x
est em conformidade com o que sugerido graficamente por estes smbolos.
Assim, por exemplo, 7, 8 7 = (

e 20, 2 21 = (
(
. Com nmeros negativos tem-se
7, 42 8 8,17 = = ( (
(
. Quando x inteiro, tanto o cho quanto o teto de x igualam-se
a x.
Cabe notar que quando n e d so inteiros positivos, o quociente da diviso do
primeiro pelo segundo n d (

.
Uma outra funo que ocorre com alguma freqncia a parte fracionria. Ela
denotada e definida por { } x x x = (

. Para nmeros inteiros esta funo se anula; para
reais positivos ela muito fcil de calcular: { } { } 13,147 0,147 666,147 = = etc.

Uma frmula de Willans

J podemos examinar uma segunda frmula para primos, devida a Willans.
ela:
( )
2
1
1
1
n
n
n
m
n
p
m
=
(
= + (
+
(

uma frmula elegante, sem dvida. Escreve-se com simplicidade e oculta a
magia de sua verdade. Alm disso, no d somente infinitos primos ou todos os primos.
Ela faz mais: calcula o n-simo nmero primo.
Ainda assim, uma idia muito m calcular primos usando essa frmula. Para se
ter uma idia do que acontece, basta fazer n=10 e espiar a expresso que obtemos.
( )
1024
10
10
1
10
1
1
m
p
m
=
(
= + (
+
(

O clculo desta expresso pressupem o conhecimento de todos os valores de
( ) m para m entre 1 e 1024=2
10
. Em particular, precisaramos conhecer o valor de
( ) 1024 , que j muito mais difcil de calcular que o prprio
10
29 p = .
Examinemos a frmula de Willans. Como ela funciona? A idia no difcil de
entender. Cada parcela do somatrio igual a 1 quando
n
m p < e igual a 0 se
n
m p .
Assim, no somatrio para m de 1 a 1024 h 1
n
p parcelas iguais a 1, sendo nulas as
demais. Com a unidade que adicionada no incio da frmula, o valor da expresso
passa a ser exatamente
n
p .
Frmulas correlatas

Aproveitando a idia da frmula de Willans, pode-se escrever:
( ) ( )
2
2
1
2
2
max ,
n
n
m
n
p
n m
+
+
=
(
= + (
(

( ) ( )
2
1
1
max ,1
n
n
m
n
p
n m
=
(
= + (
+
(

( )
2
1
1
1
2
n
n
n n
m p
p
p p n m
+
+
=
=
( = +

( )
( ) ( )
2
1
1
max ,
n
n
m
n m
p
n m
=
(
= + (
(
(

onde, lembro, x (
(
denota o menor inteiro maior ou igual a x, chamado teto de x.

O postulado de Bertrand e uma cota superior para p
n

Ainda h um ponto no explicado na frmula de Willans. Porque ele somou para
m de 1 a 2
n
? A razo para isso que como cada parcela do somatrio no excede 1,
devem haver pelo menos 1
n
p delas, pois caso contrrio a frmula daria um nmero
menor que
n
p . Se somssemos, por exemplo, para m de 1 a 2n, fazendo n=10 j no
teramos o resultado correto
10
29 p = ; o somatrio seria para m de 1 a 20=210=2n e a
frmula produziria 1+20=21<29. Em outras palavras, precisamos ter no somatrio um
nmero de parcelas que seja maior ou igual a 1
n
p . Para isso mais que suficiente que
tenhamos 2
n
n
p parcelas no somatrio.
H um bom argumento para mostrar que 2
n
n
p . Basta aplicar o postulado de
Bertrand, que apesar do nome no um postulado, mas sim uma conjectura provada por
Chebyshev em 1852. Este teorema afirma que se n>1, ento existe algum nmero primo
no intervalo aberto ] [ , 2 n n . Logo, existe pelo menos um primo em cada um dos n-1
intervalos disjuntos
] [ ] [ ] [
1
2, 4 , 4, 8 , 8,16 , 2 , 2
n n
(

, e portanto h um mnimo de n-1
primos no intervalo 2, 2
n
(

. Como 2 primo, existem pelo menos n nmeros primos no
intervalo 2, 2
n
(

, isto , 2
n
n
p .

O teorema de Wilson: congruncias e fatorial

O matemtico ingls Wilson, no sculo XVIII, provou um resultado que
caracteriza os nmeros primos. D um critrio, ainda que pouco prtico, para
determinar se um nmero >1 primo ou composto. Para enunciar este teorema, til
conhecer a noo de congruncia.
Sejam a, b, c nmeros inteiros. Dizemos que a congruente b mdulo c, e
simbolizamos isto por mod a b c quando a e b tiverem o mesmo resto na diviso por
c. Ou, de modo equivalente, escrevemos mod a b c para significar que c divide
a b . Um exemplo: 21 9 mod 4 pois 4|(21-9), isto , 4|12.
O fatorial de um inteiro n>1 o produto de todos os inteiros positivos at n
inclusive. Ele denotado por ! n e definido por ! 1 2 3 n n = . Assim,
3! 1 2 3 6 = = . Define-se tambm 0!=1!=1.
Wilson demonstrou que um inteiro n > 1 primo se, e somente se,
( ) 1 ! 1 mod n n . Fazendo, por exemplo, n=5 tem-se ( ) 5 1 ! 4! 24 1 mod 5 = = ,
logo, conforme o teorema de Wilson, 5 primo.

Duas frmulas para primos que utilizam o teorema de Wilson

A primeira ( ) ( )
2 2
1
, 1 1 2
2
y
f x y a a
(
= +

, onde x e y so inteiros
positivos e ( ) ( ) 1 ! 1 a x y y = + + . Tem-se: ( ) 1,1 2 f = , ( ) 1, 2 3 f = , ( ) 5, 4 5 f = ,
( ) 103, 6 7 f = , ( ) 329891,10 11 f = , ( ) 36846277,12 13 f = e de modo geral para cada
primo p tem-se
( ) 1 ! 1
, 1
p
f p p
p
| | +
=
|
\
, donde a frmula produz todos os primos.
Usando o teorema de Wilson prova-se que essa frmula gera somente primos. De fato,
se
2
1 a ento ( ) , 2 f x y = primo. Se por outro lado a=0 ento ( ) ( ) 1 ! 1 x y y + = +
donde ( ) ( ) 1 | ! 1 y y + + , isto , ( ) ! 1 mod 1 y y + , e da, tomando n=y+1 no teorema de
Wilson tem-se que y+1 primo. Ora, este exatamente o valor de ( ) , f x y quando a=0.
Logo, os valores de ( ) , f x y so sempre nmeros primos, para cada par x, y de inteiros
positivos.
No se trata de uma frmula prtica, entretanto. Ela tem uma predileo muito
grande pelo nmero primo 2, como nos observa R. Watanabe em [2]. Alm disso,
mesmo para produzir primos pequenos, comeamos a ter problemas com a magnitude
dos nmeros envolvidos. Um exemplo o cmputo de
10
29 p = , que nos remete ao
clculo de 28!, um nmero de trinta algarismos.
A segunda frmula ( ) ( ) ( ) ( )
2 2 ! mod 1 f n n n = + + onde se escreve a mod b
para denotar o resto da diviso de a por b. Assim, 10 mod 3 = 1 e 23 mod 4 = 3. Notar
que 2n! o dobro do fatorial de n, e no o fatorial de 2n.
Deixo como exerccio para o leitor verificar que se n+1 composto ento ele
divide 2n!. Neste caso ( ) ( ) 2 ! mod 1 0 n n + = e portanto
( ) ( ) ( ) ( )
2 2 ! mod 1 2 0 2 f n n n = + + = + = primo.
Por outro lado, se n+1 um nmero primo ento segundo o teorema de Wilson,
( ) ! 1 mod 1 n n + . Multiplicando por 2 e desenvolvendo tem-se
( ) ( ) 2 ! 2 2 1 1 mod 1 n n n n + + + . Portanto n-1 o resto da diviso de 2n! por
n+1. Assim, ( ) ( ) ( ) ( ) ( ) 2 2 ! mod 1 2 1 1 f n n n n n = + + = + = + primo.
Seja n+1 primo ou composto, f(n) um nmero primo. Essa frmula produz
primos para todo inteiro no negativo n.

Uma frmula de Minc para (n)

ela:
( )
( ) ( )
2
1 ! 1 1 !
n
i
i i
n
i i
=
( ( +
=
( (
(

O somatrio para i de 2 at n. Cada vez que i for primo, a respectiva parcela
ser igual a 1. Caso contrrio ser igual a zero. Ento o valor do somatrio ser
precisamente ( ) n . Deve-se provar, portanto, que
( )
( ) ( ) 1 se primo 1 ! 1 1 !
*
0 se composto
i i i
i i i
( ( +
=
( (
(

Se i primo ento pelo teorema de Wilson ( ) 1 ! 1 mod i i , isto ,
( ) | 1 ! 1 i i + , ou seja, existe q inteiro satisfazendo ( ) 1 ! 1 i qi + = . Logo, se i primo,
( ) ( )
( )
1 ! 1 1 !
1 1
1 1 1
i i
qi qi
q q q q
i i i i i
( ( +
( ( ( (
( = = = = = ( ( ( ( ( ( (

(

Por outro lado, se i > 5 composto ento
ou bem i = ab com 1 < a < b < i e ( ) | 1 2 1 i a b i ;
ou bem i = p
2
o quadrado de um primo mpar e
( ) | 1 2 2 1 i p p i .
Em qualquer caso ( ) | 1 ! i i , isto , existe um inteiro q satisfazendo ( ) 1 ! i qi =
donde:
1 1 1
0
qi qi
q q
i i i i
( + ( ( (
= + = =
(
( ( (

O caso i=4 tratado separadamente e no oferece problema:
3! 1 3!
0
4 4
( + (
=
(
(

Fica assim provada a relao (*) e tambm a frmula de Minc.

Os nmeros de Fermat

O matemtico amador francs Pierre de Fermat (1601-1665) acreditava que
todos os nmeros da forma
2
2 1
n
n
F = + fossem primos, para todo inteiro no negativo n.
Os nmeros que tm essa forma so conhecidos hoje em dia como nmeros de Fermat.
Se todo nmero de Fermat fosse primo teramos uma frmula bastante sucinta e
elegante que nos retornaria uma infinidade de primos. claro que isto tiraria a maior
parte do interesse no tema deste livro. Felizmente, ou infelizmente, nem todo nmero de
Fermat primo. De fato:

0
2
0
1
2
1
2
2
2
3
2
3
4
2
4
5
2
5
2 1 3 primo
2 1 5 primo
2 1 17 primo
2 1 257 primo
2 1 65537 primo, porm...
2 1 4.294.967.297 641 6.700.417 composto
F
F
F
F
F
F
= + =
= + =
= + =
= + =
= + =
= + = =

Note que F
5
suficientemente grande para inibir a verificao de sua
primalidade pelas tcnicas disponveis naquele tempo. No obstante,
Leonhard Euler (1707-1783) fatorou F
5
no ano de 1732, confirmando sua incrvel
habilidade para clculos.
Se F
n
primo ele chamado de primo de Fermat. So conhecidos apenas cinco
primos de Fermat e atualmente sabe-se que F
n
composto para n = 5, 6, 7, ..., 16 alm de
outros valores. Isto refutou completamente a conjectura de Fermat e fez com que os
matemticos se perguntassem se existe apenas um nmero finito de primos de Fermat, ou
mesmo apenas cinco.
Custa-nos supor que um matemtico do porte de Fermat tenha feito uma
conjectura baseando-se to somente no exame de apenas cinco casos. O fato dos
primeiros cinco nmeros que levam seu nome serem primos um indcio muito fraco
para se afirmar que todos os outros tambm so. Ele pode ter tido uma razo mais forte
para fazer sua conjectura. Antes de tentar explicar isso, algumas propriedades
interessantes dos nmeros de Fermat devem ser mencionadas:

(i)
0 1 2 1
2
n n
F F F F F
+
=
(ii) ( ) Se ento mdc , 1
n m
n m F F =
(iii) | 2 2
F
n
n
F

Alguns comentrios: o item (i) prova-se por induo; (ii) pode ser provado a
partir de (i); para provar (iii) um bom caminho usar congruncias. Note que (ii)
acarreta a existncia de uma infinidade de nmeros primos. De fato, sendo os nmeros
de Fermat dois a dois coprimos, em cada um deles comparece algum fator primo que
no est em nenhum dos demais.
Voltemos razo de Fermat para fazer sua conjectura. Havia uma hiptese
chinesa que dizia que o inteiro n > 1 primo se, e s se, n divide 2
n
-2. Sabe-se hoje em
dia que isto falso, pois Sarrus mostrou que 341 divide 2
341
-2, entretanto 341=3111
no primo. Mas naquela poca Fermat no conseguiu um contra-exemplo para a
hiptese chinesa. Se admitirmos que ele provou a propriedade (iii), o que bem
possvel, e juntarmos a isto a hiptese chinesa, a conseqncia imediata a primalidade
de F
n
. Esta explicao para a motivao de Fermat foi sugerida pelo astrnomo polons
Banachiewicz.
Vale a pena mencionar que Carl Friedrich Gauss (1777-1855) relacionou os
nmeros de Fermat ao problema da ciclotomia, isto , a diviso da circunferncia em
partes iguais, realizada com rgua e compasso. Gauss mostrou que a diviso possvel
se, e s se, o nmero n de partes for uma potncia de 2 ou o produto de uma potncia de
2 por distintos primos de Fermat.
Finalmente, o leitor deve notar que com sua conjectura Fermat estava,
essencialmente, propondo uma frmula para primos. Ora, se o grande matemtico que
foi Fermat props uma frmula para primos, isto suficiente para validar o interesse no
tema. Por outro lado, tendo ele falhado em sua frmula, isto nos mostra a dificuldade do
assunto.
2
Uma Funo de Varivel Matricial
que Produz Nmeros Primos

Introduo

Os nmeros primos desafiam h muito tempo a engenhosidade e a imaginao
do ser humano. Muitas questes interessantes podem ser levantadas, no que diz respeito
distribuio, reconhecimento e gerao de nmeros primos. No so poucos os
professores e estudantes de Matemtica que desconhecem a existncia de funes que
geram nmeros primos. Por outro lado, existem muitos resultados nesse sentido.
A idia central do presente trabalho no nova. Trata-se de uma generalizao
dos argumentos que Euclides (sc. III a.C.), Stieltjes (1856-1894), e Mtrod (em 1917)
usaram em suas demonstraes de que o conjunto dos nmeros primos infinito (veja
[4]). Basicamente essas demonstraes partem de um conjunto C de nmeros primos
para construir um nmero P > 1 que relativamente primo com cada nmero em C.
Ento P admite algum fator primo que no est em C. Sob certas condies pode-se
afirmar que P primo.

Produzindo primos: uma receita

Dado um inteiro t > 1, sejam q
1
, q
2
,..., q
n
inteiros positivos satisfazendo:

(i) mdc(q
i
, q
j
) = 1 sempre que i j;
(ii) q
1
q
2
... q
n
divisvel por cada nmero primo menor que t.

Sejam m inteiros positivos b
1
, b
2
,..., b
m
tais que

(iii) cada b
i
pode ser escrito como o produto de potncias dos nmeros q
1
, q
2
,..., q
n

com expoentes inteiros no negativos;
(iv) para cada j = 1, 2, ..., n, exatamente um entre os b
i
s no divisvel por q
j
;

Seja ainda s
i
{1, 1}, i = 1, 2, ..., m. No difcil ver que s
i
b
i
relativamente
primo com
1 2 n
q q q . De fato, se p primo e
1 2
|
n
p q q q , ento pela condio (i) p
divide exatamente um entre os q
i
s, digamos, q
1
; mas pela condio (iv), s
i
b
i
uma
soma em que exceto uma, todas as parcelas so divisveis por q
1
, e tambm por p. Logo
s
i
b
i
no divisvel por p nem por nenhum primo menor que t.
Seja M um mltiplo de todos os primos menores que t e P = |M + s
i
b
i
|. Como P
o mdulo da soma de um nmero que divisvel por cada primo menor que t, com um
nmero que no divisvel por nenhum primo menor que t, ento P no divisvel por
nenhum primo menor que t.
Se P composto, certamente ele no menor que t
2
, pois todo natural composto
menor que t
2
, admite algum fator primo menor que t, o que no o caso de P. Portanto,
se 1<P<t
2
ento P ser um nmero primo.
Se quisermos uma frmula para primos consideramos a funo h que ter valor
P, caso P seja maior que 1 e menor que t
2
, e valor 2 caso contrrio. A imagem de h um
conjunto de nmeros primos. Por outro lado, seja qual for o valor de P vrias questes
podem ser levantadas a seu respeito.

Dois modos de escolher os 's
i
q

Pode-se escolher n-uplas q satisfazendo as condies (i) e (ii) de muitos modos.
Mostrarei dois.

Primeiro modo

Sejam q
1
, q
2
,..., q
n-1
primos distintos e t > 1 um nmero natural.

Lema. Seja p primo, m inteiro positivo e p
k
m < p
k+1
. O expoente da maior potncia
de p que divide m! :
1
2 3
natural
c
p m
k c
c
m m m m m
p p p p p
<
( ( ( ( (
+ + + + =
( ( ( ( (

onde x (

o maior inteiro menor ou igual a x. Em [4] e em [6] encontramos uma
justificativa para o lema. Aplicando-o teremos o expoente inteiro da maior potncia do
primo q
j
que divide ( ) 1 ! t , e tambm o produto Q dessas potncias, donde
( ) 1 !
n
q t Q = um possvel valor para o n-simo termo de uma n-upla q satisfazendo
as condies (i) e (ii). De fato, q
n
relativamente primo com q
1
, q
2
, ..., q
n-1
e no produto
q
1
q
2
...q
n
comparecem todos os fatores primos de (t1)!. Portanto, as condies (i) e (ii)
so satisfeitas.

Segundo modo

Faa
( )
( ) ( ) ( )
3
2 !
mdc 2 !, 2 2 !
n
n
q
n n
=
. No difcil verificar que

2 se 1
2 1 se 2 1 primo
1 nos outros casos
n
n
q n n
=

donde as condies (i) e (ii) ficam satisfeitas. Note que a funo ( ) ( ) max 2,
n
g n q = j
, por si mesma, uma frmula para primos.

Definindo matrizes adequadas: calculo dos s
i
b

Direi que uma matriz ( )
m n
A M
Z com termos no negativos adequada

quando cada uma de suas colunas tiver exatamente um termo nulo. Seja A = (a
ij
) uma m
por n matriz adequada e s = (s
1
, s
2
,..., s
m
) onde s
i
{1, 1} para i = 1, 2, 3,..., m. fcil
ver que se
1
ij
n
a
i j
j
b q
=
=
para i = 1, 2, ... , m
ento os inteiros b
i
s acima definidos cumprem as condies (iii) e (iv).

A matriz euclidiana

Dado um inteiro w qualquer e uma n-upla q, chamar-se- de matriz euclidiana a
matriz em blocos:
1 2
1 11 12 1
2 21 22 2
1 2
n
n
n
m m m mn
w q q q
s a a a
E s a a a
s a a a
(
(
(
( =
(
(
(

. . . .

onde A=(a
ij
) matriz adequada; { } 1, 1
i
s ; wZ; os q
i
s so dois a dois relativamente
primos. A funo f que nos interessa dada por
( )
1 1 1
ij
n n m
a
j i j
i j j
f E w q s q
= = =
= +

onde E matriz euclidiana. Outra funo que apresenta interesse dada por
( ) ( )
{ }
min
n
n
g E f E
| |
=
|
\ N
Z

Duas frmulas para primos

Se ( )
2
1 P f E t < = < (respectivamente ( )
2
1 P g E t < = < ) ento certamente P
primo. Caso contrrio, P pode ou no ser primo. Se
2
1 P t < < (t um inteiro tal que em
i
q comparecem todos os fatores primos menores que t) tome ( ) ( ) h E f E =
(respectivamente ( ) ( ) h E g E = ); se P = 1 ou
2
P t faa ( ) 2 h E = . Deste modo ( ) h E
sempre um nmero primo. Eis a dois exemplos de frmulas para primos.

Exemplos

O conjunto das matrizes euclidianas o domnio onde est definida nossa funo
f. Por exemplo:
0 2 3 5 7
1 3 2 0 0 107
1 0 0 1 1
f
| |
|
=
|
|
\

uma vez que 02357+2
3
3
2
5
0
7
0
+2
0
3
0
5
1
7
1
=107. Note que t=11 j que
escolhemos
( )
8 4 2
1 2 3 4
2, 3, 5, 10! 2 3 5 7 q q q q = = = = = , conforme o primeiro modo. Isto
significa que no produto q
1
q
2
q
3
q
4
comparecem todos os fatores primos menores que
t = 11. Como 107 < 11
2
, tem-se que 107 primo. Outro exemplo o seguinte
87 2 3 5 77
1 7 0 3 0
61
1 2 2 0 2
1 0 2 1 1
f
| |
|
|
=
|
\

onde
( )
8 4 2
1 2 3 4
2, 3, 5, 11! 2 3 5 77 q q q q = = = = = foram escolhidos do primeiro modo.

A infinitude dos primos e as matrizes euclidianas

Suponha por absurdo que exista apenas um nmero finito de primos, sejam eles,
p
1
, p
2
, ..., p
r
. Euclides chegou a uma contradio considerando o
nmero
1 2
1
E r
P p p p = + . De fato, algum primo p
i
divide P
E
, pois todo inteiro
divisvel por algum primo, logo
1 2
| | 1
i E i r i
p P p p p p p , absurdo. Isto equivale
a considerar a matriz euclidiana
1 2
0
1 1 1 1
1 0 0 0
r
p p p
E
| |
|
=
|
|
\
ou
1 2
1
1 0 0 0
r
p p p
E
| |
=
|
|
\

e concluir que existe um primo diferente de p
1
, p
2
, ..., p
r
, a saber, qualquer fator primo
de f(E).
Stieltjes usou uma idia similar. Ele considerou o nmero P
S
=m+n onde m,n so
inteiros satisfazendo
1 2 r
mn p p p = . Note que mdc(m, n)=1, logo mdc(mn, m+n) = 1.
Portanto existe algum primo diferente de p
1
, p
2
, ..., p
r
, a saber, qualquer fator primo de
m+n. Eis o absurdo, pois por hiptese no havia outros primos seno p
1
, p
2
, ..., p
r
. Isto
equivale a considerar a matriz euclidiana
1 2
1 2
1 2
0
1
1
r
r
r
p p p
S m m m
n n n
| |
|
=
|
|
\

onde para cada i = 1, 2, ..., r, ou m
i
= 1 e n
i
= 0, ou m
i
= 0 e n
i
= 1, isto , os elementos
da matriz adequada correspondente so zeros e uns. Nenhum fator primo de f(S) est na
lista p
1
, p
2
, ..., p
r
, e a reside o absurdo.
A demonstrao de Mtrod para a infinitude dos primos considera matrizes
euclidianas com mais de trs linhas. Seja
1 2 r
N p p p = ,
i i
Q N p = e
1
r
M i
i
P Q
=
=
.
Como p
i
divide Q
j
(para i j) e p
i
no divide Q
i
, ento p
i
no divide P
M
. Logo nenhum
dos primos p
1
, p
2
, ..., p
r
divide P
M
: absurdo. Isso equivale a considerar a matriz
euclidiana
1 2 3
0
1 0 1 1 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
r
p p p p
M
| |
|
|
|
=
|
|
|
|
|
\
. . . . .

em que a diagonal principal formada por zeros somente e os outros elementos da
matriz adequada correspondente so iguais a 1.

Indcios empricos e conjecturas

Sejam
1 2 r
N p p p = ,
i i
Q N p = , { } 1, 1
i
s e
1
r
M i i
i
P s Q
=
=
. Pode ser
verificado com um sistema de computao algbrica que para cada r=2,3,4,...,149,
existe alguma r-upla ( ) { }
1 2
, , , 1, 1
r
r
s s s tal que
M
P um nmero primo. lcito
conjecturar, portanto:
1 2 3
0
1 0 1 1 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
r
p p p p
f
| |
|
|
|
|
|
|
|
. . . . .

um nmero primo para cada r > 1 e alguma escolha conveniente entre +1 e -1 na
primeira coluna da matriz euclidiana.
Ainda com um sistema de computao algbrica pode-se verificar que para
r=2,3,4,...,144, suficiente tomar todas, exceto no mximo duas parcelas do somatrio
1
r
M i i
i
P s Q
=
=
negativas para que

M
P seja um primo. Estes indcios experimentais nos
levam a uma conjectura mais forte que a anterior: se N o produto dos n primeiros
nmeros primos e
i i
Q N p = ento ou a soma
i
Q
um nmero primo, ou se
trocarmos o sinal de algum Q
i
, a soma
i
Q
passa a ser um nmero primo (isso no

funciona para n=44, 53, 67, 93, 96, 98, 120, 128, 132, 141,...) ou trocando o sinal de
dois Q
i
s, a soma ser um nmero primo. Por exemplo, para n=2, 2+3=5 primo; para n
= 3, 23+25+35=31 primo; para n=4, 235+237+257-357=37 tambm
primo. Para n=44, 53, 67 etc precisamos trocar o sinal de dois Q
i
s para obter um primo.
As evidncias experimentais (verificou-se para 4<n15) indicam que cada
nmero primo p satisfazendo
2
1 1 n n
p p p
+ +
< fator de alguma f(B
q
), onde
q=(p
1
, p
2
,..., p
n
), n > 4 e B
q
uma matriz euclidiana com matriz adequada
correspondente formada s por zeros e uns.
3
Funes que Geram Nmeros Primos

Introduo

Os nmeros primos fascinam muitos dos que estudam Matemtica. Um dos
motivos que o conceito de nmero primo surge cedo na vida do estudante e, sendo
muito fcil definir o que so nmeros primos, difcil encontrar funes que os gerem.
Por outro lado algumas funes que produzem nmeros primos tem sido obtidas por
matemticos como Willans, Ernvall, Sierpinski, Gandhi entre outros. O problema de
obter funes que geram nmeros primos j despertou, portanto, o interesse de vrios
matemticos.
No presente trabalho estudamos funes ( )
m
z n que satisfazem
( ) primo no divide
m
n n z n
A partir da deduzimos frmulas para primos e para ( ) n .

Caracterizando Nmeros Primos

Fixado um certo inteiro positivo m, seja
{ } N | !
m
n n m = N
onde a notao a b significa que mdc(a, b) = 1. Seja ainda (n
i
) a sucesso crescente
formada pelos elementos de N
m
. Note que n
1
= 1 e n
2
o menor nmero primo maior
que m. Ser til definir o mmc de um nico inteiro positivo como ele prprio, isto ,
mmc(n) = n. Considere a funo : N
m m
z N tal que
( ) { } mmc N | e no primo
m j i m i
z n n i j n =
Gostaramos de provar que n
j
primo se e somente se n
j
no divide z
m
(n
j
).
Fazendo isso teremos uma caracterizao dos nmeros primos que pertencem a N
m
.
Se n
j
no primo claro que { } N | e no primo
j i m i
n n i j n , e portanto n
j

divide z
m
(n
j
). Logo se n
j
no divide z
m
(n
j
) ento n
j
primo.
Mostraremos agora que se n
j
primo ento n
j
no divide z
m
(n
j
). Suponha que n
j

primo. Nesse caso n
j
no divide nenhum produto de inteiros positivos menores que n
j
.
Como z
m
(n
j
) pode ser escrito como um produto de inteiros positivos menores que n
j
,
ento n
j
no divide z
m
(n
j
). Logo, se n
j
primo ento n
j
no divide z
m
(n
j
).
Ficou provado que n
j
primo se e s se n
j
no divide z
m
(n
j
), e isto caracteriza os
nmeros primos que pertencem a N
m
. Portanto, se N pode ser fatorado como produto de
inteiros menores que n
j
, ento n
j
primo se e somente se n
j
no divide Nz
m
(n
j
).
Note que ij acarreta z
m
(n
i
)|z
m
(n
j
) pois enquanto z
m
(n
i
) o mmc de um conjunto
de nmeros C, z
m
(n
j
) o mmc de um conjunto de inteiros que contm o conjunto C.

O Clculo de z
m
(n
j
) e a caracterizao dos primos em N
m

Seja ( ) { } , | 1 e ! e no primo S S n m s s n s m s = = Z ,
( ) { } mmc |
m
z z n s s S = = , n = n
j
e q = n
2
o menor nmero primo maior que m.
Mostrarei que nenhum primo p satisfazendo pq>n ou p<q divide z. Se p<q ento p m
e portanto p no divide nenhum elemento de S, donde p no divide z.
Suponha que p q . Como pq o menor nmero composto em N
m
S que
divisvel por p, se n < pq no h nenhum elemento em ( ) , S S n m = divisvel por p e
portanto p no divide z. Ficou provado que se p primo satisfazendo n < pq ou p < q
ento p no divide z. Logo, se p divide z ento
2
q pq n .
Suponha
2
q pq n . Como nenhum elemento de S maior que n, se n < p
2

ento todo elemento de S menor que p
2
e p
2
no divide nenhum s S . Por outro lado,
p divide pq S , logo p
1
a maior potncia de p que divide z. Se
2 1 b b
p p n p
+
< ,
com b inteiro positivo, p
b+1
no divide nenhum s S , pois todo elemento de S menor
ou igual a
1 b
n p
+
< . Mas p
b
divide
b
p S , logo p
b
a maior potncia de p que divide z.
De qualquer modo o expoente inteiro da maior potncia de p que divide z log
p
n (

.
Isto , a maior potncia de p que divide z a maior potncia de p menor ou igual a n.
Portanto
( )
2
log
primo
p
q pq n n
m
p
z n p
(

=

onde adotamos a conveno 1
q
q
(produto vazio). Chegamos ao seguinte

Teorema 1. Sejam m, n inteiros positivos satisfazendo ! n m , q o menor nmero
primo maior que m, e N um produto qualquer de inteiros positivos menores que n. So
equivalentes:

(i) n um nmero primo
(ii) n no divide
2
log
primo
p
q pq n n
p
N p
(

onde
log
p
n
p
(

a maior potncia inteira de p menor ou igual a n e
q
q = 1.

Corolrio 1.1. Sejam l, m, n inteiros positivos satisfazendo ! n m e n l nq < , onde q
o menor nmero primo maior que m e N um produto qualquer de inteiros positivos
menores que n. So equivalentes:

(i) n um nmero primo
(ii) n no divide
2
log
primo
p
q pq l l
p
N p
(

De fato, como n l , z
m
(n) divide

z
m
(l). Portanto, se n no um nmero primo ento n
divide z
m
(l). Por outro lado, se n primo e se n l nq < ento z
m
(l) um produto de
primos menores que n, donde n no divide z
m
(l).

Corolrio 1.2. Sejam l, m, n inteiros positivos satisfazendo ! n m e n l nq < , onde q
o menor nmero primo maior que m. Sejam ainda M um produto qualquer de inteiros
positivos menores que n e T um teste de primalidade, um algoritmo que tenha por
entrada um inteiro bq e diga algo sobre a primalidade de b. Direi que T(b) = 0 se o
algoritmo T provar que b , com certeza, um nmero composto; e direi que T(b) = 1 nos
outros casos. So equivalentes:

(i) n primo
(ii) n no divide
( ) log
b
l q
T b l
b q
M b
(

=

A demonstrao segue de uma escolha adequada de N no corolrio 1.1.

Na tabela abaixo vemos que para cada m = 1, 2, 3, 5 e cada i=1,2,...,25, n
i
primo
se e s se n
i
no divide z
m
(n
i
). Isso exemplifica o Teorema 1 para N = 1.


m = 1 m = 2 m = 3 m = 5
i n
i
z
1
(n
i
) n
i
z
2
(n
i
)

n
i
z
3
(n
i
)

n
i
z
5
(n
i
)
1 1 1 1 1 1 1 1 1
2 2 1 3 1 5 1 7 1
3 3 1 5 1 7 1 11 1
4 4 4 7 1 11 1 13 1
5 5 4 9 9 13 1 17 1
6 6 12 11 9 17 1 19 1
7 7 12 13 9 19 1 23 1
8 8 24 15 45 23 1 29 1
9 9 72 17 45 25 25 31 1
10 10 360 19 45 29 25 37 1
11 11 360 21 315 31 25 41 1
12 12 360 23 315 35 175 43 1
13 13 360 25 1575 37 175 47 1
14 14 2520 27 4725 41 175 49 49
15 15 2520 29 4725 43 175 53 49
16 16 5040 31 4725 47 175 59 49
17 17 5040 33 51975 49 1225 61 49
18 18 5040 35 51975 53 1225 67 49
19 19 5040 37 51975 55 13475 71 49
20 20 5040 39 675675 59 13475 73 49
21 21 5040 41 675675 61 13475 77 539
22 22 55440 43 675675 65 175175 79 539
23 23 55440 45 675675 67 175175 83 539
24 24 55440 47 675675 71 175175 89 539
25 25 277200 49 4729725 73 175175 91 7007

Duas frmulas

Sejam x (

e x (
(
o cho e o teto de x, definidos como os nicos inteiros tais
que 1 1 x x x x x < < + ( (
(
. Tomando m=N=1 no teorema 1 tem-se o

corolrio 1.3. Seja n um inteiro positivo. Ento n primo se, e s se, n no divide
primo log
1
2
p
p n
p n
R p
(

.

Portanto

[ ]
1 1
1, se primo
A
0, caso contrrio
n
R R
n n
( (
=

( (
(

Por outro lado, tomando l=n e m=M=T(b)=1 no corolrio 1.2, tem-se o

Corolrio 1.4. Seja n um inteiro positivo. Ento n primo se e s se n no divide
2
log
2
2
b
n
n
b
R b
(

=
=
.

Portanto

[ ]
2 2
1, se primo
B
0, caso contrrio
n
R R
n n
( (
=

( (
(

Donde, conforme [A] e [B], para i=1,2 as funes

( ) ( ) 2 2
i i
i
R R
f n n
n n
| | ( (
= +
|
( (
( \

produzem todos os primos e apenas primos. De fato se n no primo, f(n)=2; mas se n
primo, ento f(n)=n.

Um teorema correlato

Temos investigado funes z tais que dado n no domnio de z, n primo se e s
se no divide z(n). Examinaremos agora outros exemplos de funes que satisfazem a
esta propriedade e as frmulas correspondentes para (n) e p
n
.

Proposio 1. Um inteiro 10 n primo se e somente se n no divide 2 ! n (

.

Prova. Se n primo claro que n no divide 2 ! n (

. Suponha que n composto. Se n
pode ser escrito como produto de inteiros distintos maiores que 1 acabou, pois cada um
desses fatores distintos menor ou igual a 2 n (

, donde n divide 2 ! n (

. Se n no
pode ser escrito como produto de inteiros distintos maiores que 1 ento n = p
2
para
algum nmero primo p. Da e como 10 n por hiptese, vale 4 < p , donde
2
2 2 p p < ,
isto , 2 2 p n < , portanto 2 2 p p n < (

e n = p
2
divide 2 ! n (

.

Proposio 2. Um inteiro positivo n primo se e somente se n no divide
4 9
2 ! 2 3
n n
n + + (

Prova. O caso 10 n a proposio 1. Para n < 10 a proposio 2 pode ser verificada
caso a caso.

Portanto para qualquer inteiro positivo j vale:
3 3
1, se primo
0, caso contrrio
j
R R
j j
( (
=

( (
(

logo ( )
3 3
1
n
j
R R
n
j j
=
| |
( (
=
|
( (
( \

Trs funes para o n-simo primo

Seja f(i,n) = max(sgn(n(i)), 0). fcil ver que f(i,n) = 1 se i < p
n
e f(i,n) = 0 se
n
i p . Se uma funo que satisfaz ( )
n
n p para todo inteiro positivo n, por
exemplo, (n)=2+2nlog n, ento
( )
( )
1
1 ,
n
n i
p f i n
=
= + , isto :
2 2 log
1 1 1
1 max sgn , 0
n n
i i
t t
n
i j j
R R
p n
j j
+ (

= = =
| | | |
( (
= + +
| |
( (
|
( \
\

onde R
t
, com t=1,2,3, dado como anteriormente; p
n
o n-simo nmero primo;
max(u,v) = (u + v + |u v|) / 2 o mximo entre os nmeros u e v.

4
Quatro Frmulas Relacionadas
que Produzem Nmeros Primos

Idias iniciais

Sejam x (

e x (
(
o cho e o teto de x respectivamente. Os nmeros x (

e x (
(

so os nicos inteiros que satisfazem 1 1 x x x x x < < + ( (
(
. As igualdades
x x x = = ( (
(
somente ocorrem se x inteiro. Caso contrrio, 1 x x = ( (
(
. Logo
0 se divide
1 se no divide
n k
k k
n k n n
( (
=

( (
(

Tambm fcil mostrar que x x = ( (
(

O produto vazio
O produtrio ( )
b
m a =
para b a < e qualquer expresso entre parnteses chamado de

produto vazio, uma vez que nele no comparecem fatores. Tem-se ( ) 1
b
m a =
=
pois o
produto de nmero nenhum tem o hbito de ser =0, como em x
0
= 1 ou em 0! = 1. Um
bom argumento neste sentido a srie de Taylor para exp(0):
( ) ( )
0 1 2
0
0
0 0 0
exp logo, 1 exp 0 0
! 0! 1! 2!
n
n
x
x
n
=
= = = + + + =

Da, valem as igualdades
( ) ( ) ( ) 1
b a m b
m a m m

=
= = =

sempre que b a < .

Frmula 1. Seja f a funo dada por:
( )
2
2
1 2
1
log
2
n n
k
k n m
k k
f n
m m
= + =
(
| | ( (
=
( |
( (
( \

ento f(n) o menor nmero primo maior que n. Alm disso,
( )
2
1 2
1 2
1
log
2
n n
k
k n m
k k
f n
m m
= + =
(
| | ( (
=
( |
( (
( \ (

Prova. Se 1 n = ento ( )
2
1
n
m=
=
, portanto
( )
1 2
2 2 2
2 2
1 1
1 log log 2
2 2
k
k m
k k
f
m m
= =
(
| | ( ( (
= = =
( |
( ( (
( \

Assim, para n = 1 a funo f retorna o menor primo maior que n, sendo a
proposio verdadeira neste caso. Suponha 2 n . Seja k um inteiro no intervalo
( ] , 2 n n . Se k composto ele tem um divisor [ ] 2, d n , donde
2
0 e assim 0
n
m
k k k k
d d m m
=
| | ( ( ( (
= =
|
( ( ( (
( ( \

Se k primo, ento para todo inteiro [ ] 2, m n vale:
2
1 e portanto 1
n
m
k k k k
m m m m
=
| | ( ( ( (
= =
|
( ( ( (
( ( \

Ficou provado que se 2 2 n k n < ento:
( )
2
1 se primo
,
0 caso contrrio
n
m
k
k k
g k n
m m
=
| | ( (
= =

|
( (
( \

Em 1845 o matemtico francs Bertrand conjecturou que para todo inteiro n > 3,
existe algum primo p tal que 2 2 n p n < < . Esta afirmao ficou conhecida como
postulado de Bertrand, apesar de no ser um postulado, mas sim um teorema
demonstrado por Chebyshev em 1852. Uma proposio mais fraca, porm esteticamente
mais interessante, e que as vezes tambm chamada de postulado de Bertrand, nos
afirma que para todo inteiro n>1, existe algum primo no intervalo ( ) , 2 n n . Por maior
motivo sempre existe algum nmero primo no intervalo
] (
, 2 n n , qualquer que seja o
inteiro positivo n. Seja p o menor primo no intervalo
] (
, 2 n n . Ento p o menor primo
maior que n. Mostrarei que f(n) = p. Primeiro note:
( ) ( ) ( )
2
1
1 1 1 1
, , parcelas , parcelas
2 2 2 2
n
p p k p
k n
g p n g k n g p n
= +
= = + +

por outro lado, pela minimalidade de p tem-se:
( ) ( )
2 2
1
0 se k no
primo
1 1 1 2
, ,
2 2 2 2
n n
k k k p
k n k p k p
g k n g k n
= + = =
=
= < =

_

logo
( )
2
1
1 1 2
,
2 2 2
n
p k p
k n
g k n
= +
<

tomando o logaritmo na base 2 ter-se-
( )
2
2
1 2
,
1
log 1
2
n n
k
k n m
g k n
k k
p p
m m
= + =
| | ( (
<
|
( (
( \

_

assim
2
2
1 2
1
log
2
n n
k
k n m
k k
p
m m
= + =
(
| | ( (
=
( |
( (
( \

donde
( )
2
2
1 2
1
log
2
n n
k
k n m
k k
f n p
m m
= + =
(
| | ( (
= =
( |
( (
( \

Portanto f(n) = p o menor primo maior que n. De forma equivalente,
aproveitando que
2 2 1 2
log log log x x x ( = = ( (
(
(
, tem-se tambm
( )
2
1 2
1 2
1
log
2
n n
k
k n m
k k
f n p
m m
= + =
(
| | ( (
= =
( |
( (
( \ (

Frmula 2. Seja g a funo dada por
( )
2
2
1 2
log 2
n n
k
k n m
k k
g n
m m
= + =
(
| | ( (
=
( |
( (
( \

ento g(n) o maior primo menor ou igual a 2n.
A prova da frmula 2 inteiramente similar da frmula 1.
5
Outras Frmulas Relacionadas
que Produzem Nmeros Primos

A funo de Mobius

Ela definida por
( ) 1 1 =
e
( )
( )
2
0 se existe primo tal que divide
1 caso seja o produto de primos distintos
k
p p n
n
n k

Frmula 1. Seja n um inteiro positivo qualquer e
#
n o produto de todos os nmeros
primos no intervalo [1,n]. Ento o menor primo maior que n dado por
( ) ( )
2
#
1 2
1
1
log
2
n
j
j n
f n jn
= +
(
=
(
(

ou, o que o mesmo,
( ) ( )
2
#
2
1
1
log
2
n
j
j n
f n jn
= +
(
=
(

Prova. Para n = 1 tem-se
( ) ( ) ( )
2 1
#
1 2 1 2 1 2 2 2
1 1
1 1 1
1 log 1 log 2 log 2
2 2 2
j
j
f j
= +
(
( (
= = = =
(
( (
( (
(

Isto confirma a frmula neste caso. Note que 1
#
= 1, pois
#
1
x
x
= produto vazio
que, como se sabe, igual a 1.
Suponha n > 1 e seja p o menor primo maior que n. Seja ainda
( )
2
#
1
1
2
n
j
j n
S jn
= +
=

O postulado de Bertrand afirma que existe pelo menos um primo no intervalo
( ) , 2 2 n n , para todo inteiro n > 3. Esta afirmao verdadeira de fato e nos garante
que p < 2n. Pela minimalidade de p, se n j p < < ento j composto. Como j < p e
p < 2n ento j < 2n donde j, sendo composto, tem um fator primo q no intervalo [ ] 2, n .
Ento
#
| e | q j q n e da
2 #
| q jn , donde
( )
#
0 jn = para todo inteiro ( ) , j n p . Assim
( )
( )
#
2
#
1
0
alguns inversos de
1 1 1 2
0 0
potncias de 2 2 2 2 2
n
p j p p
j n
n j p
jn
S jn
= +
< <
=
| |
< = = + + + + <
|
\

_

1
1 1
2 2
p p
S
< <
aplicando o logaritmo na base tem-se
1 2
1 log p S p < <
logo
1 2
log S p ( =
(

isto
( ) ( )
2
#
1 2
1
1
log
2
n
j
j n
f n jn
= +
(
=
(
(

Como queramos demonstrar.

Frmula 2. Seja n um inteiro positivo qualquer e n
#
o produto de todos os nmeros
primos no intervalo [1,n]. Ento o maior primo menor ou igual a 2n dado por
( ) ( )
2
#
2
1
log 2
n
j
j n
g n jn
= +
(
=
(

A prova da frmula 2 inteiramente anloga da frmula 1.

6
Uma Aplicao da Anlise
Teoria dos Nmeros

Introduo.

Neste trabalho pressuponho que o leitor esteja familiarizado com certos
conceitos da Anlise, como sucesses, sries e convergncia. Alguns teoremas da
Anlise Real so enunciados medida que se tornam necessrios para a compreenso
do texto. Usando definies e teoremas da Anlise, caracterizarei os nmeros primos.
Com essa caracterizao construirei uma funo que, dado n, fornece o valor de (n),
isto , a quantidade de nmeros primos menores ou iguais a n. Tambm construirei uma
funo cuja imagem o conjunto dos nmeros primos. Ora, esses resultados so de
interesse da Teoria dos Nmeros. Eles so estudados aqui utilizando-se teoremas e
definies da Anlise Real. Portanto, este artigo um exemplo de como dois ramos
distintos da Matemtica podem relacionar-se.

Seqncias duplas

A seguinte definio ser muito importante para o desenvolvimento deste
trabalho.

Definio 1. De acordo com LIMA (1976, p. 304) Uma seqncia dupla (x
nk
) uma
funo : x N N R que associa a cada par (n, k) de nmeros naturais um nmero real
x
nk
.
Podemos imaginar os nmeros x
nk
dispostos numa tabela que se estende infinitamente
para a direita e para baixo. Assim, os ndices n e k em x
nk
indicam que esse nmero real
ocupa a n-sima linha e a k-sima coluna da tabela.

Observao

Considere a seqncia dupla (x
nk
) definida por
1 1 2 se
1 1 2 se 1
0 nos outros casos
n
n
nk
n k
x n k
=
= + + =

A representao em tabela de (x
nk
) a seguinte:
. . . . . . . .
64
1
32
1
16
1
8
1
4
1
2
1
0
64
63
0 0 0 0 0
0
32
31
32
31
0 0 0 0
0 0
16
15
16
15
0 0 0
0 0 0
8
7
8
7
0 0
0 0 0 0
4
3
4
3
0
0 0 0 0 0
2
1
2
1

A soma de cada linha 0 logo ( ) 0 0
n k nk n
x = = . Por outro lado, a soma dos
elementos da k-sima coluna 1/2
k
, logo ( ) 1 2 1
k
k n nk k
x = = . Assim, dada uma
seqncia dupla (x
nk
), mesmo que as sries ( )
n k nk
x e ( )
k n nk
x convirjam, no
necessariamente verdadeiro que ( ) ( )
n k nk k n nk
x x = .

Uma certa seqncia dupla

Examinemos a seqncia dupla (y
nk
) definida por:
se divide e 1
0 caso contrrio
k
nk
x n k n
y

=

Representarei alguns termos dessa seqncia dupla na tabela que se segue:

k 1 2 3 4 5 6 7 8 9 ...
n
1 0 0 0 0 0 0 0 0 0 ...
2 0 x
2
0 x
4
0 x
6
0 x
8
0 ...
3 0 0 x
3
0 0 x
6
0 0 x
9
...
4 0 0 0 x
4
0 0 0 x
8
0 ...
5 0 0 0 0 x
5
0 0 0 0 ...
6 0 0 0 0 0 x
6
0 0 0 ...
7 0 0 0 0 0 0 x
7
0 0 ...
8 0 0 0 0 0 0 0 x
8
0 ...
9 0 0 0 0 0 0 0 0 x
9
...
... ... ... ... ... ... ... ... ... ... ...

A primeira linha (n = 1) s de zeros, logo
1
0
k
k
y =
. fcil ver que para a

n-sima linha, com n > 1, vale:
n
n
n n n n
k
nk
x
x
x x x x y
= + + + + =
1
4 3 2

sempre que ( ) 1,1 x . Definirei a funo ( ) : 1,1 L R como a soma dos termos da
seqncia dupla (y
nk
) linha por linha, isto :
( )

=

= |
\
|
=
2
1
n
n
n
n k
nk
x
x
y x L
precisamos verificar se a funo L est bem definida, ou seja, se a srie do lado direito
da igualdade converge. Mas antes lembro uma definio: uma srie
n
a
absolutamente convergente quando a srie formada pelo valor absoluto de seus termos
converge, isto , a srie
n
a absolutamente convergente quando
n
a converge.
Lembro tambm que toda srie que converge absolutamente convergente.

Proposio 1: Se 1 lim <

n
n
n
a ento a srie
n
a converge (absolutamente).

Podemos agora mostrar que a srie
( ) +
+ =
4
4
3
3
2
2
1 1 1
0
x
x
x
x
x
x
x L
converge (absolutamente). De fato
1
1 lim
1
lim < =

x
x
x
x
x
n n
n
n
n
n
n

portanto a funo ( ) : 1,1 L R est bem definida.
Definirei agora a funo ( ) : 1,1 C R como a soma dos termos da seqncia
dupla (y
nk
) coluna por coluna, isto , ( ) ( )
k n nk
C x y = . Pela observao feita neste
artigo, no evidente que C(x) = L(x). a que entra a

Proposio 2. Conforme LIMA (1976, p. 305), Dada a seqncia dupla (x
nk
),
suponhamos que cada linha determine uma srie absolutamente convergente, isto ,
k nk n
x a = para cada n. Admitamos ainda que
n n
a < +. Ento
( ) ( )
n k nk k n nk
x x = .

Utilizando a proposio 2, vamos provar que C(x) = L(x). A primeira linha da
seqncia dupla (y
nk
) s de zeros, logo a srie determinada por ela converge
absolutamente (para zero). Para todo ( ) 1,1 x e para cada n = 2, 3, 4, ... fcil ver que
n
n
n n n n
k
nk
x
x
x x x x y
= + + + + =
1
4 3 2

portanto, toda linha da seqncia dupla (y
nk
) determina uma srie absolutamente
convergente sempre que |x| < 1. Para que as condies da proposio 2 sejam satisfeitas,
resta mostrar que
n k nk
y < +. De fato:
( ) ( ) + < =
= + + + + =

=
=
x L
x
x
x x x x y
n
n
n
n
n n n n
n k
nk
2 2
4 3 2
1

+ <
n k
nk
y
Assim, de acordo com a proposio 2, podemos afirmar que C(x) = L(x). Por
outro lado no difcil ver que ( ) ( ) ( )
1
d 1
k
k n nk k
C x y k x
=
= = , onde d(k) o
nmero de divisores positivos de k. Como C(x) = L(x), a expanso em srie de Taylor de
L(x) em torno de x = 0 ( ) ( )
1
d 1
k
k
k x
=
. Assim, pela unicidade da srie de Taylor, se
a sucesso (c
n
) satisfaz
( ) + + + + + + =
=
k
k
n
n
n
x c x c x c x c c
x
x
x L
3
3
2
2 1 0
2
1

para todo ( ) 1,1 x , ento c
0
= 0 e c
k
= d(k) 1 para k > 0.

Lema. Se a funo ( ) : 1,1 g R consistentemente definida por ( )
n
n
g x a x = ,
ento para cada nmero natural n a n-sima derivada de g obtida pela sucessiva
derivao termo a termo da srie
n
n
a x .

fcil ver que L(0) = c
0.
Aplicando o lema acima, podemos derivar L
sucessivamente e obter L(0) = c
1
, L
(0) = 2c
2
, L
(0) = 6c
3
, L
(4)
(0) = 24c
4
, ...,
L
(k)
(0) = k!c
k
, ..., portanto
( ) ( ) ( ) ( ) ( )
( )
( ) + + + + + + =
k k
x L
k
x L x L x L L x L 0
!
1
0
! 3
1
0
! 2
1
0 0
3 2

Assim, os valores de c
1
, c
2
, c
3
, ... ficam determinados a partir dos valores das
derivadas sucessivas da funo L no ponto 0. Especificamente tem-se que
( )
( ) 0 !
k
k
c L k = .

Caracterizando nmeros primos

Sabemos que um nmero natural k primo se e s se d(k) = 2; sabemos tambm
que c
k
= d(k) 1 e que
( )
( ) 0 !
k
k
c L k = . Logo, um inteiro positivo k primo se e
somente se c
k
= 1, isto , se
( )
( ) 0 !
k
L k = . Se k for composto ento c
k
> 1 e
( )
( ) 0 !
k
L k > .
Portanto, sendo u (

o nico nmero inteiro satisfazendo 1 u u u < + ( (

, vale:
( )
( )
( ) 2 2
1 !
0
n n
k
k k
k
k
n
c L
= =
(
(
= = (
(
(

onde (n) o nmero de primos p tais que 2 p n . Alm disso o conjunto dos
nmeros primos a imagem da funo f definida para os inteiros maiores que 1 e dada
por
( ) ( ) ( )
( )
( )
1 !
2 2 2 2
0
n
n
n
f n n n
c L
(
(
= + = + (
(
(

7
Relacionando Nmeros Primos e Binomiais

Introduo

Neste artigo o estudo da funo ( ) ( )
,1 ,2 , 1
mdc , ,
n n n n
g n C C C
= nos conduzir
uma frmula que produz todos os nmeros primos e apenas primos. Provar-se- que
( ) 1 g n = se n tiver pelo menos dois fatores primos distintos e ( ) g n p = se
m
n p = para
algum primo p e algum inteiro positivo m. Portanto, o conjunto dos nmeros primos
igual imagem da funo ( ) ( ) ( )
max 2, f n g n = . Aproveitando que
, , n r n n r
C C
=
mostra-se que o conjunto dos primos coincide, tambm, com a imagem da funo
( )
2 1 2 1 2 1
max 2, mdc , ,
1 2
n n n
f n
n
| | | | + + + | | | | | |
=
| |
| | |
|
\ \ \ \
\

A funo Von Mangoldt importante em Teoria dos Nmeros. Ela definida
por
( )
log , se potncia do primo
0, caso contrrio
p n p
n

=

Uma conseqncia imediata do teorema demonstrado no presente trabalho que
( ) ( ) log n g n = .

Uma funo til

Todo nmero racional pode ser escrito como produto de potncias de nmeros
primos com expoentes inteiros. Assim,
5 1 1 1 0 0 0
21 160 2 3 5 7 11 13 17

= e
0 2 0 1 1 0 0 0
77 9 2 3 5 7 1113 17 19
= As provas das proposies 1 e 2 que se seguem sero

facilitadas pelo uso da funes :
p
Z. O inteiro ( )
p
b o expoente do primo p na
representao do racional b como produto de potncias de nmeros primos. O leitor
deve se convencer de que, fixado um primo p qualquer, a funo
p
satisfaz as
seguintes propriedades para todos os racionais x, y, z, ..., w, todos os inteiros
a, b, c,..., n.

(i) ( ) ( ) ( ) ( ) ( )
p p p p p
xyz w x y z w = + + + +
(ii)
( )
n
p
p n =
(iii) ( ) 0
p
n = se e s se p no divide n
(iv) ( ) ( ) ( )
p p p
x y x y =
(v) ( ) ( ) ( ) ( ) ( ) ( ) ( )
mdc , , , , min , , ,
p p p p p
a b c n a b c n =
(vi) Se ( ) ( )
p p
a b ento ( ) ( ) ( ) ( )
min ,
p p p
a b a b =
(vii) ( ) ( )
p p
a a =
(viii) ( ) 0
p
a
(ix) Se 1
n
a p < ento ( )
p
a n <
(x) ( )
0
!
t
p t
a a p
>
( =

onde nesta ltima igualdade x (

o maior inteiro menor ou igual a x.
No que se segue usar-se- ( ) ( )
,1 ,2 , 1
mdc , ,
n n n n
g n C C C
= .

Trs lemas

Lema 1. Seja n um inteiro positivo. Se n tem pelo menos dois fatores primos distintos
ento ( ) 1 g n = .

Prova. Como ( ) g n divide
,1 n
n C = , todo fator primo de ( ) g n tambm fator de n.
Para provar que ( ) 1 g n = basta mostrar que ( ) g n no divisvel por nenhum fator
primo de n. Farei isso tomando um fator primo p genrico de n e mostrando que
( ) ( )
0
p
g n = . Suponhamos que ( )
p
n v = :
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( )
,1 ,2 , 1
1 1
0 0
1
0
1
1
1
1
1
0 min , , ,
min , min ,
v v
v
v
v
v
p p n p n p n n
p p
p p p v v v
u u
p
v
p p
u
p
v v
p p p p
u
p
v
p p p p
u
p
p p
u
g n C C C
n
n u n u
p p u p u
n u p u
n p n u p u
v v n u p u
u u

= =
=
=
=
| |
| | | |
= = =
|
| |
|

\ \
\
= =
= + =
= + =
=

1 1
1
0 0
v
p
u

=
= =

( ) ( )
0 0
p
g n
( ) ( )
0
p
g n = para cada fator primo p de n. Logo g(n) = 1.

Lema 2. Suponha que n = p
v
, p primo e v inteiro positivo. Ento p divide g(n).

Prova. Como
,1
v
n
C n p = = ento g(n) = p
s
com s inteiro e 0 s v. Seja
r {1, 2, 3, ..., n 1}, r = kp
t
onde p no divide k N e t < v.
( )
( ) ( ) ( )
( )
( )
1 1 1
1 1 1
1 1
!
! !
! ! !
0
v v
p p
v
v v
p p p
v v v v v
t t t
t t t
v v v v v
t t t
t t t
v v v v
t t
t t
p p
r p r r
p p r r
p p r r
p p p
p p r r
p p p
p p
p p

= = =
= = =
= =
| |
| |
|
= =
|
|
\
\
= + =
| |
( ( (
= + >
|
( ( (
|
\
| |
> + =
|
\
= =

Ficou provado que para cada r = 1, 2, 3, ..., n 1 vale
( )
,
1
p n r
C , isto , p
divide
, n r
C . Portanto p divide g(n).

Lema 3. Suponha que n = p
v
, p primo e v inteiro positivo. Ento p
2
no divide g(n).

Prova.
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( )
,1 ,2 , 1
1 1
1 1
1 1 1
0 0
1
1
1
0
1
1
1 1
1
min , , ,
1 min , min
p p n p n p n n
v v
v v p p
p p p v v v
u u
v
p
v v
p p
u
v
p
v v v v
p p p p
u
v v
p p p
g n C C C
n
p u p u
p p u p u
p u p u
p p p u p u
v v p u p

= =

=
=
| |
| | | |
| = = =
| |
|

\ \
\
= =
= + =
= +

( ) ( )
( ) ( )
( ) ( ) ( )
1
1
1
1
1 1
1 1
1 1
,
1 1 0 1 0 1
v
p
p
u
v v
p p
p p
u u
u
u u
=

= =
=
= + = + = + =

( ) ( )
1
p
g n .
Logo p
2
no divide g(n).

Observao 1. Dos lemas 2 e 3 conclumos que g(n) = p sempre que n potncia do
primo p.

Proposio. Se n um inteiro positivo, vale:
*
se primo e ,
mdc , , , ,
1 2 3 1 1 caso contrrio
v
n n n n p p n p v
n
| | = | | | | | | | |
=
| | | | |
\ \ \ \ \
N

A demonstrao segue diretamente do lema 1 e da observao anterior.

Observao 2. Seja m o maior inteiro menor ou igual metade de n. Desde que dois
nmeros binomiais complementares so iguais, isto
|
|
\
|
=
|
|
\
|
y x
x
y
x

tem-se
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
=
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
1
, ,
3
,
2
,
1
mdc ,
3
,
2
,
1
mdc
n
n n n n
m
n n n n

Uma frmula para os nmeros primos

De acordo com a proposio e a observao 2, uma frmula que produz todos os
nmeros primos e apenas primos :
( ) ( ) ( )
max 2, 2 1 f n g n = +
isto
( )
|
|
\
|
|
|
\
|
|
|
\
| +
|
|
\
| +
|
|
\
| +
|
|
\
| +
=
n
n n n n
n f
1 2
, ,
3
1 2
,
2
1 2
,
1
1 2
mdc , 2 max
onde a funo f est definida no conjunto dos inteiros positivos e assumimos que
mdc(a) = a para todo inteiro positivo a. fcil ver que o conjunto dos nmeros primos
a imagem da funo f dada acima. De fato, quando 2n+1 admite dois ou mais fatores
primos distintos, f(n) = 2; quando 2n+1 potncia de um primo p, f(n) = p.

A funo de Von Mangoldt

Ela denotada definida por:
( )
log se , para algum primo e algum inteiro 1
0 caso contrrio
v
p n p p v
n
=
=

onde log a funo logaritmo natural. Conforme a proposio demonstrada, fica claro
que:
( )
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
|
|
\
|
=
1
, ,
3
,
2
,
1
mdc log
n
n n n n
n
A funo de Von Mangoldt tem propriedades interessantes que as relacionam
com outras funes importantes da Teoria dos Nmeros, como a funo zeta de
Riemann e a funo de Chebyshev.
8
Uma Funo que Produz
Infinitos Nmeros Primos

Introduo

Mostrar-seno presente artigo que existe b real entre 5 e 5 + , tal que todos os
termos da sucesso , , ,
b
b b
b b b
(
(
(

(

so nmeros primos, onde x (

o maior
inteiro menor ou igual a x.
Resultados similares foram obtidos por Mills em 1947 e por Wright em 1951.
Mills mostrou que existe real tal que
3
n
(
(

um nmero primo para todo inteiro
positivo n. Wright provou que existe um real tal que todos os nmeros
2
2 2
2 , 2 , 2 ,
(
(
(
( (

so primos.
A importncia deste tipo de resultado est na demonstrao da existncia de
certas constantes e no na obteno de primos atravs de frmulas. De fato, nem as
funes de Mills e Wright, nem a funo examinada neste artigo provam a primalidade
de um nmero. Pelo contrrio, para a determinao das respectivas constantes (, e b)
com preciso suficiente para que qualquer dessas funes retorne um primo p,
necessrio constatar a primalidade de p por outros processos.
A idia bsica da qual este trabalho se originou a seguinte: escolhamos um
primo x
1
. claro que
1
x (

primo. Agora escolhamos um real x
2
um pouquinho maior
de modo que
2 1
x x = ( (

e
2
2
x
x sejam primos. Ento
2
x (

e
2
2
x
x (

so primos.
Escolhamos um real x
3
ainda um pouco maior, mas de modo que
3 2 1
x x x = = ( ( (

,
3 2
3 2
x x
x x ( ( =

e
3
3
3
x
x
x sejam primos, e assim por diante. Se lim
n
b x = ento
, , ,
b
b b
b b b
(
(
(

(

so todos nmeros primos. Os detalhes da demonstrao e o
resultado principal esto a seguir.

Uma funo que produz infinitos primos

Definindo indutivamente ( ) 1 ; 1
z m
z z z m z

= + = e sendo z (

o maior inteiro
menor ou igual a z ser demonstrada a existncia de um real b tal que para todo inteiro
positivo n, b n (

um nmero primo. Se f a funo definida no conjunto dos inteiros
positivos, dada por ( ) f n b n = (

, ela produzir infinitos nmeros primos.

Lema 1. Para todo inteiro positivo m e todos nmeros reais u, v com u > v 3, vale
( ) ( ) 1 1
3
u m v m
u m v m
+ +
>

Prova. Seja g(x) = v
x
com x > 1 e v 3. Ento g(c) = v
c
ln(v) > 3 sempre que c > 1.
( ) ( )
( ) 3
a b
g a g b
v v
g c
a b a b
= = >

Como g contnua, pelo Teorema do valor mdio tem-se que para todos a,b>1, vale:
para algum ( ) , c a b . Tomando a = u*m e b = v*m, tem-se que a,b>1 e
3
u m v m
v v
u m v m

>

Como u > v, ento
3
u m v m
u v
u m v m

>

Isto
( ) ( ) 1 1
3
u m v m
u m v m
+ +
>

Como queramos provar.

Lema 2. Dado um intervalo I = [r, s], se s/r 2 e s 1 ento existe um nmero primo
em I.

Prova. Se s/r 2 e r 1 ento I contm um real maior ou igual a 1 e seu dobro. Porm,
conforme o postulado de Bertrand, sempre existe um primo entre esses dois nmeros,
de modo que I sempre contm um nmero primo.

Lema 3. Para todo inteiro positivo n e todo real v 5, existe u v satisfazendo:

(i)
1
2
u n v n
(ii) ( ) 1 u n + primo

Prova. Seja v + o maior valor que podemos atribuir a u de modo que se cumpra a
condio (i) acima, isto , satisfaz:
(v + )*n v*n =
Ento u*(n + 1) pode assumir qualquer valor no intervalo
I = [v*(n + 1), (v + )*(n + 1)]. Considere o quociente:
( ) ( )
( )
1
1
v n
v n
+ +
=
+

Conforme o lema 2, se 2 ento existir algum primo no intervalo I e portanto
poder-se- escolher u satisfazendo (i) e (ii). Resta mostrar que 2. Tem-se:
( ) ( ) ( ) ( )
( )
( )
( )
( ) ( ) ( )
( )
( ) ( )
( )
( )
( )
( )
( )
( )
( )
1 2
1 2
1 2
1 2
1 2
1 2
1 1
2 2
1
1
1 1
5 2
2
v n v n
v n
v n
v n
v n
v n v n
v n v n v n v n v v
v n v
v n v
v n v n
v v
v v
v v

+ +
+
+
+
+

+ = + = + + = +
+ + +
+ + = + =
+ +
+
= = >

e fica provado o lema 3.

Lema 4. Seja (x
n
) uma sucesso no decrescente de nmeros no menores que 3. Se
x
n+1
*n x
n
*n , ento x
n+1
*j x
n
*j 2
-1
3
j-n
, para j = 1, 2, 3, ..., n.

Prova. O caso x
n
= x
n+1
trivial. Suponha que 0 < x
n+1
*n x
n
*n . Fazendo, no
lema 1, u = x
n+1
e v = x
n
, tem-se
( ) ( )
1
1
1 1
3
n n
n n
x m x m
x m x m
+
+
+ +
>

Donde
( ) ( )
1 1
1 1
1 1
1 1
3 3
n n
n n n j n n
k j k j n n n n
x k x k x n x n
x j x j x k x k

+ +
= = + +
+ +
= > =

Para j = 1, 2, 3, ..., n 1. Logo:
1 1
1
1 1
3
3 3
2
j n
n j j n n n n n
n n
n n n n
x n x n x j x j
x j x j
x j x j x n x n
+ +
+
+ +

> < <

Como queramos.

Lema 5. Seja (x
n
) uma sucesso no decrescente de nmeros no menores que 3. Se
x
n+1
*n x
n
*n , ento para todos inteiros positivos j, n com j n vale x
j
*j x
n
*j <
+ x
j
*j.

Prova. O caso j = n trivial. Suponha j < n. Conforme o lema 4 tem-se as seguintes
desigualdades:

0 x
j+1
*j x
j
*j 2
-1
3
0
0 x
j+2
*j x
j+1
*j 2
-1
3
-1
0 x
j+3
*j x
j+2
*j 2
-1
3
-2
...............................................
0 x
n
*j x
n-1
*j 2
-1
3
j-n+1

Somando estas desigualdades tem-se:

0 x
n
*j x
j
*j 2
-1
3
0
+ 2
-1
3
-1
+ 2
-1
3
-2
+ ... + 2
-1
3
j-n+1
<

isto 0 x
n
*j x
j
*j < , ou seja x
j
*j x
n
*j + x
j
*j. Fica assim provado o lema 5.

Proposio. Seja (x
n
) uma sucesso no decrescente com x
1
= 5 satisfazendo, para todo
inteiro positivo n, as duas condies seguintes:

(i) x
n+1
*n x
n
*n
(ii) x
n+1
*(n + 1) primo

Se b = lim x
n
ento b n (

um nmero primo para todo inteiro positivo n.

Prova. O lema 3 garante a existncia da sucesso (x
n
). De fato, como x
1
= 5, o lema 3
garante a existncia de x
2
satisfazendo x
2
*1 x
1
*1 e x
2
*2 primo. Assim, dado x
1
,
construmos x
2
satisfazendo (i) e (ii) (para n = 1) . Supondo que j construmos
x
1
, x
2
, ..., x
n
, o lema 3 garante a existncia de x
n+1
satisfazendo (i) e (ii). Portanto existe
uma sucesso (x
n
) satisfazendo (i) e (ii) para todo inteiro positivo n.
Afirmo que (x
n
) tem limite. Com efeito, conforme o lema 5, para todo j n, vale
x
j
*j x
n
*j < + x
j
*j. Em particular, para j = 1 tem-se
5 = x
1
= x
1
*1 x
n
= x
n
*1 < + x
1
*1 = + 5 para todo n inteiro positivo, isto ,
x
n
5 + . Como x
n
uma sucesso no decrescente limitada superiormente (por
5 + ) ento existe b = lim x
n
.
Conforme o lema 5, para todos inteiros n, j com j n, vale x
j
*j x
n
*j + x
j
*j.
Fazendo n tender a infinito tem-se x
j
*j b*j + x
j
*j para todo inteiro positivo j.
Porm x
j
*j primo por hiptese, donde
j
b j x j = (

primo para todo inteiro
positivo j.
Com isso fica provado que existe um nmero real b, entre 5 e 5+3/4, tal que a
sucesso , , ,
b
b b
b b b
(
(
(

(

formada apenas por nmeros primos. Ento uma funo
que produz infinitos nmeros primos, e apenas primos, dada por:
( )
bes
b
b
n
f n b
(
=
(

.
_

Perspectivas

A prova da proposio acima pode ser modificada para demonstrar a existncia
de outras funes que produzem infinitos nmeros primos. Portanto, o resultado obtido
pode ser estendido para todo um conjunto de funes que satisfizerem determinados
critrios. Isto significa que outros problemas semelhantes podem ser resolvidos atravs
da tcnica utilizada neste trabalho.
9
Uma Funo para o ensimo Nmero Primo

Introduo

Ser apresentada uma funo f definida recursivamente tal que ( )
n
f n p ( =

,
onde x (

o maior inteiro menor ou igual a x e p
n
o n-simo nmero primo.

Fraes contnuas

Uma frao contnua finita em n variveis a
1
, a
2
, a
3
, ..., a
n
denotada e definida
por:
[ ]
1 2 3 1
2
3
1
, , , ,
1
1
1
n
n
a a a a a
a
a
a
= +
+
+

Se os nmeros a
2
, a
3
, ..., a
n
so inteiros positivos, a frao contnua acima dita
simples.

Observao

O teorema 165 de [8] garante que para toda sucesso (a
n
) de inteiros positivos
existe o limite de [a
1
,a
2
,a
3
,...,a
n
], quando n tende a infinito. Designamos esse limite por
[a
1
,a
2
,a
3
,...], que uma frao contnua simples infinita.
O teorema 168 da mesma referncia garante que se x=[a
1
,a
2
,a
3
,...] uma frao
contnua simples infinita ento
1
x a = (

. Ento, se escrevermos
n
para denotar
[a
n
,a
n+1
,a
n+2
,...] ter-se-
n n
a a = (

.

Proposio. Seja (a
n
) uma sucesso de inteiros positivos. Definindo recursivamente
( ) [ ]
( )
( ) { }
1 2 3
1 , , ,
1
1 para 1, 2, 3,
f a a a
f n n
f n
=
+ = =

onde {f(n)} a parte fracionria de f(n), definida por ( ) { } ( ) ( ) f n f n f n ( =

, tem-se
que ( )
n
f n a ( =

.

Prova. Afirmo que f(n) =
n
= [a
n
,a
n+1
,...]. A prova ser por induo. Para n = 1 tem-se
f(1) = [a
1
,a
2
,a
3
,...] =
1
. Logo, a afirmao vale para n = 1.
Suponha que vale para n = k, isto , suponha que f(k) =
k
. Mostrarei que
f(k+1) =
k+1
.
Logo, se a afirmao vale para n=k, tambm vale para n=k+1. Ficou provado que
f(n)=
n
para todo inteiro positivo n. Conforme a observao anterior, vale
n n
a a = (

.
Portanto, para todo inteiro positivo n, ( )
n
f n a ( =

.

Uma funo para o n-simo nmero primo

Em particular, definindo recursivamente a funo f por

( )
( ) { } { } [ ] { }
[ ]
( )
1 1
1
1
2 1
1
~
1
~
~
1
1
~
1
1
, ,
1
1
, ,
1
~
1 1
1
+ +
+
+
+ +
+
= + = =
)
`
+
=
)
`
+
= = = = +
k k
k
k
k
k k
k
k k k
a k f a
a
a
a
a a
a
a a a k f
k f

Vale ( )
n
f n p ( =

.
( ) [ ]
( )
( ) { }
= = +
= =

, 3 , 2 , 1 para
1
1
335829064 3130367364 , 2 , , , 11 , 7 , 5 , 3 , 2 1
n
n f
n f
p f
n
10
Nmeros Primos e Sries Formais

Introduo

Este trabalho aborda as sries formais, mostrando um modo de caracterizar
nmeros primos atravs delas. Tambm ser apresentada uma frmula para primos cuja
base essa caracterizao.

Sries Formais

Uma srie formal na indeterminada x uma expresso que pode ser escrita como
( )
2 3
0 1 2 3
p x a a x a x a x = + + + +
Todo polinmio pode ser interpretado como uma srie formal. Por exemplo:
2 2 3 4
1 3 4 1 3 4 0 0 x x x x x x + + = + + + + +
A soma e o produto de sries formais decorrem de modo natural da soma e
produto de polinmios. Somamos e multiplicamos sries formais como se estivssemos
trabalhando com polinmios. Assim, se ( )
2 3
0 1 2 3
p x a a x a x a x = + + + + e
( )
2 3
0 1 2 3
q x b b x b x b x = + + + +, ento
( ) ( ) ( ) ( ) ( ) ( )
2 3
0 0 1 1 2 2 3 3
p x q x a b a b x a b x a b x + = + + + + + + + +
( ) ( )
2 3
0 1 2 3
p x q x c c x c x c x = + + + +
onde
0 0 0
1 1 0 0 1
2 2 0 1 1 0 2
3 3 0 2 1 1 2 0 3
etc.
c a b
c a b a b
c a b a b a b
c a b a b a b a b
=
= +
= + +
= + + +

Sries formais podem ter mais de uma indeterminada:
( )
2 2 3 3 2 2
, 1
, 2 2 3 3 4
i j
i j
Q x y ijx y xy x y xy x y xy x y
=
= = + + + + + +

( )
2 1 3 2 3 5 2 5 8 3 7 11
1
, ,
i i i
i
R x y z x y z xy z x y z x y z
+ +
=
= = + + +

Alm disso, observando que
( ) ( )
( ) ( )
2 3
2 2 3 3
2 3
1 2 4 8 1 2
1 2 2 4 4 8 8 1
1 2 4 8 1 2 1
x x x x
x x x x x x
x x x x
+ + + + =
= + + + + =
+ + + + =

e dividindo a ltima igualdade por 1 2x tem-se que
2 3
1
1 2 4 8
1 2
x x x
x
= + + + +

donde o quociente entre dois polinmios pode ser escrito como uma srie formal.

Parties no ordenadas

Uma partio de um inteiro positivo n a decomposio deste inteiro como
soma de parcelas inteiras e positivas. Assim, 1+1+3 uma partio do inteiro 5. Uma
partio no ordenada quando a ordem das parcelas indiferente, isto , 1+1+3,
1+3+1 e 3+1+1 representam a mesma partio no ordenada de 5. Note que a partio
1+1+3 tem trs parcelas mas apenas dois termos distintos (1 e 3). Do mesmo modo a
partio (de 14) 4+4+2+2+2 tem cinco parcelas, mas apenas duas parcelas distintas (4 e
2). A partio 2+2+2 (de 6) tem 3 parcelas, mas apenas um termo (somente o 2).

Nmero de parties no ordenadas

Denota-se por [x
n
]p(x) o coeficiente de x
n
na srie formal p(x); por [x
n
y
m
]p(x, y) o
coeficiente de x
n
y
m
na srie formal p(x, y) etc. Seja
( )
( )
2 3
, 1
1 1
1
1 1
1
j j j j j j
j
j
j j j
j
j
j
p x y x y x y x y
x
x y x y x y y
x
x y
x
+ + +
= + + + + =
= + + + + = + =
+
=

Afirmo que o nmero de parties no ordenadas de n com exatamente k termos
distintos :
( )
1
,
n k
j
j
x y p x y

Sejam ( ) ( )
1
, ,
j
j
Q x y p x y
e
1 2
1 2
1 2
a a a n
b b b n
l l l n
+ + + =
+ + + =
+ + =

todas as parties de n com exatamente k termos distintos. Considere A=[x
n
y
k
]Q(x, y) o
coeficiente de x
n
y
k
em Q(x, y). Digamos que a partio de n com k termos distintos
1 2
c c c n
+ + + = tenha S
1
termos iguais a R
1
; S
2
termos iguais a R
2
; ... S
k
termos
iguais R
k
. Ento a partio
1 2
c c c n
+ + + = corresponde, pela propriedade

distributiva, ao termo x
n
y
k
obtido ao multiplicarmos
( )
( )
( )
1 1 1 1 1
1
2 2 2 2 2
2
(termo de , )
(termo de , )
..................................................................
(termo de , )
1 1 (termo de
k k k k k
k
R R R S R
R
R R R S R
R
R R R S R
R
x y x y p x y
x y x y p x y
x y x y p x y
p
+ + +
+ + +
+ + +
=
=
=
=
( )
1 2
, , , , )
T k
x y T R R R

obtendo
1 1 2 2 1 2 k k
S R S R S R c c c k k n k
x y x y x y
+ + + +
= =

Portanto, ao desenvolver-se o produto ( ) ( ) ( )
1 2 3
, , , p x y p x y p x y obtm-se,
aps aplicada a propriedade distributiva, tantos termos x
n
y
k
quantas forem as parties
no ordenadas de n com exatamente k termos distintos. Logo, o coeficiente de x
n
y
k
em
Q(x,y) o nmero de parties no ordenadas de n com exatamente k termos distintos.

Um caso especial

Quando k=1 as parties de n so somas de parcelas iguais. Por exemplo, para
n=6 e k=1 temos as seguintes parties:

6 = 1+1+1+1+1+1
6 = 2+2+2
6 = 3+3
6 = 6

Logo [x
6
y]Q(x, y) = 4 (4 parties de 6 como soma de parcelas iguais). De modo
mais geral,
( ) ( ) ,
n
x y Q x y d n ( =

onde d(n) o nmero de divisores de n. Da, como
( )
1
, 1
1
j
j
j
x
Q x y y
x
| |
= +
|

tem-se a seguinte
Proposio. Se ( )
1
1
1
j
n
j
j
x
f n x y y
x
| |
( = +
|

\
ento f(n) igual ao nmero de

divisores positivos de n. Em particular n primo se e s se f(n)=2.

Desta proposio decorrem

Duas frmulas

Ser usada, aqui, a notao r (

para designar o maior nmero real menor ou
igual a r.
Se ( )
1
, 1
1
j
j
j
x
Q x y y
x
| |
= +
|
e g uma funo definida no conjunto dos

inteiros positivos e dada por ( ) ( )
( )
1
2
2 1
,
n
g n n
x y Q x y
+
(
( = +
(
(

, ento a imagem de g
o conjunto de todos os nmeros primos. Alm disso,
( )
( ) 1
2
2
,
n
i
i
n
x y Q x y
=
(
( = +
(
(

onde ( ) n a quantidade de nmeros primos no intervalo [1, n]
11
Caracterizando Intervalos de
Nmeros Primos atravs de Polinmios

Introduo

Sabemos que no existe nenhum polinmio no constante P(x), com coeficientes
inteiros, tal que P(n) seja primo para todo inteiro positivo n (veja [13], ou a pgina 18
da referncia [8]). Este resultado, embora negativo, mostra o interesse de se relacionar
os nmeros primos aos valores assumidos por um polinmio. Outro resultado neste
sentido, porm muito mais surpreendente, diz que o conjunto dos nmeros primos
coincide com o dos valores positivos assumidos por um certo polinmio de grau 25, em
26 variveis, quando estas percorrem o conjunto dos inteiros no negativos (veja
captulo 3.III da referncia [4]). Os matemticos tm-se interessado, portanto, em
estabelecer relaes entre nmeros primos e polinmios. neste contexto que se insere
o presente trabalho.
Seja p
n
o n-simo nmero primo. Provaremos nesta nota, um teorema que mostra
como construir um polinmio P
n
, de grau 1
n
p , que caracterizar todos os primos
entre
n
p e
2
1 n
p
+
. Se o inteiro m, satisfazendo
2
1 n n
p m p
+
< < , satisfizer a condio
adicional de que
1 2 n
p p p divide ( )
n
P m , ento m ser primo. Caso contrrio, no o
ser.

Definies preliminares

Dois nmeros inteiros so congruentes mdulo m quando deixam o mesmo resto
na diviso por m. Caso contrrio so ditos incongruentes mdulo m. Se a e b so
congruentes mdulo m, denotarei isso escrevendo mod a b m . Caso contrrio, se a e
b forem incongruentes mod m, denotarei isto por mod a b m / . Note que tem-se
mod a b m se e s se m divide a b.
Chama-se sistema completo de restos mdulo m (SCR mod m) todo conjunto
S Z com m elementos incongruentes mdulo m. De outro modo: um sistema
completo de restos mdulo m um conjunto de m nmeros inteiros cujos restos na
diviso por m so dois a dois diferentes. Tem-se que S um SCR mdulo m se, e s se,
todo nmero inteiro congruente mdulo m a exatamente um elemento de S.
A funo de Euler, definida para todo inteiro positivo n, retorna o nmero de
inteiros positivos n que so relativamente primos com n. Isto , ( ) n o nmero de
elementos do conjunto ( ) { }
:1 e mdc , 1 x x n x n = N .
Um sistema reduzido de restos mdulo m (SRR mod m) um conjunto de ( ) m
inteiros incongruentes mdulo m. Seja S um subconjunto qualquer de Z. Ento S um
SRR mod m se, e somente se, todo inteiro relativamente primo com m congruente a
exatamente um elemento de S.
Se p primo ento um exemplo de SRR mod p { } 1, 2, 3, , 1 p .

O Resultado principal

Teorema 1. Seja m um inteiro e ( ) ( )
1
1
p
n
n i
i
P x x a
=
=
um polinmio com razes

inteiras satisfazendo

(i) Nenhum , 1, 2, , 1
i n
a i p = , divisvel por nenhum primo
n
p p .
(ii) Para cada primo
n
p p , o conjunto
{ } 1 2 1
, ,
p
n
a a a
contm um sistema reduzido

de restos mdulo p.
(iii)
2
1 n n
p m p
+
< < .

Ento o produto
1 2 n
p p p divide ( ) ( )
1
1
n
p
n i
i
P m m a
=
=
se, e somente se, m um

nmero primo.

Prova. Denotaremos por
#
c o produto
1 2 i
p p p , sempre que
1 i i
p c p
+
< .
Suponha que
#
n
p divide ( )
n
P m . Vamos provar que m primo. Ora, se
2
1 n
m p
+
<
fosse composto, admitiria um fator primo menor ou igual a p
n
. Basta, portanto, mostrar
que nenhum primo
n
p p divide m.
Seja p um primo tal que
n
p p . Como p fator de
#
1 2 n n
p p p p = e
( )
#
|
n n
p P m , ento ( ) ( ) ( )
1 2 1
|
n
p
p m a m a m a
. Logo, para algum 1, 2, , 1

n
i p =
tem-se |
i
p m a . Se fosse | p m, teramos |
i
p a , o que contradiz (i). Assim, nenhum
primo
n
p p divide
2
1 n
m p
+
< e portanto m primo.
Suponha, agora, que m>p
n
primo. Vamos provar que
#
n
p divide ( )
n
P m . Para
isto, provaremos que cada primo p, satisfazendo
n
p p divide ( )
n
P m . Seja p um primo
genrico tal que
n
p p . Como p e m so relativamente primos, e
{ } 1 2 1
, ,
p
n
a a a

contm um SRR mod p conforme (ii), tem-se que existe , 1 1
i n
a i p , tal que
mod
i
m a p . Da |
i
p m a e assim ( ) |
n
p P m . Portanto, todo primo
n
p p divide
( )
n
P m , isto ,
1 2 n
p p p divide ( )
n
P m sempre que m>p
n
for primo.

A questo da existncia

O leitor atento deve ter notado que o teorema faz afirmaes envolvendo certos
inteiros 's
i
a , mas nada afirma sobre a existncia destes 's
i
a , muito menos mostra como
calcul-los. Tudo o que dissemos at agora teria pouco valor se esta questo no fosse
resolvida. Felizmente, esse no um problema difcil. Seja p
n
o n-simo nmero primo
e tome
1
1 a = . Assim, nenhum dos primos
1 2
, ,
n
p p p divide
1
a e { }
1
a um SRR
mod 2. Agora, para cada inteiro , 1
n
i i p < < , faa
( )
1 2
mmc , , ,
i
i n i i i
c
c p p p i b a i b
i
= = = +
Seja
n
p p primo. Queremos provar que a condio (ii) do teorema se verifica.
Para isto, suficiente mostrar que
{ }
1 2 1
, ,
p
a a a
um SRR mod p. Com este propsito

mostraremos que mod
i
a i p , sempre que 1 i p < . Para i=1 j vimos que
mod
i
a i p . Para 2, 3, , 1 i p = tem-se |
i
p c e | p i / donde |
i
c
p
i
, isto , |
i
p b .
Como
i i
a i b = + , tem-se mod
i
a i p e, portanto, a condio (ii) do teorema satisfeita.
Mostraremos, agora, que a condio (i) do teorema se verifica. Seja
n
p p um
nmero primo. Se | p i , ento a maior potncia de p que divide i a mesma que divide
c
i
e portanto |
i
p b / . Logo, p no divide
i i
a i b = + , pois p divide i mas no divide b
i
. Se
| p i / ento, como |
i
p c , tem-se que |
i
p b . Portanto, p no divide
i i
a i b = + , pois p
divide b
i
mas no divide i. Em ambos os casos p no divide a
i
. Ento, nenhum dos
primos
1 2
, , ,
n
p p p divide qualquer a
i
. Isto , a condio (i) do teorema tambm
verificada.

Exemplos

Fazendo a
1
=1 e utilizando as frmulas
( )
1 2
mmc , , ,
i
i n i i i
c
c p p p i b a i b
i
= = = + para 1
n
i p < < , tem-se
( ) ( ) ( )
2 #
2
1 5 1 mod 3 P x x x x =
Se 3 < x < 5
2
ento x primo se e s se 3
#
= 6 divide P
2
(x)
( ) ( ) ( ) ( ) ( )
4 3 #
3
1 17 13 19 10 10 1 mod 5 P x x x x x x x x = +
Se 5 < x < 7
2
#
= 30 divide P
3
(x)
( ) ( ) ( ) ( ) ( ) ( ) ( )
4
6 5 4 2 #
1 107 73 109 47 41
42 63 21 42 83 mod 7
P x x x x x x x
x x x x x
=
+ +

Se 7 < x < 11
2
#
= 210 divide P
4
(x)

Teorema 2. Seja (b
ij
) uma matriz tal que

(a) p
j
no divide nenhum elemento da j-sima coluna
(b) O conjunto dos termos da j-sima coluna contem um SRR mdulo p
j


Se para 1, 2, 3, 1
n
i p = valer
[ ]
1 1
2 2
mod
mod
mod
i i
i i
i in n
a b p
a b p
a b p

Ento as condies (i) e (ii) do Teorema 1 so satisfeitas, isto ,

(i) Nenhum , 1, 2, , 1
i n
a i p = , divisvel por nenhum primo
n
p p .
(ii) Para cada primo
n
p p , o conjunto
{ } 1 2 1
, ,
p
n
a a a
contm um sistema reduzido

de restos mdulo p.

Prova. Seja
j n
p p p = . Como mod
i ij
a b p (de [*]) e |
ij
p b
/
(de (a)) ento
0 mod
i ij
a b p / donde 0 mod
i
a p / , isto , |
ij
p a
/
para todo primo
n
p p e todo
1, 2, 3, 1
n
i p = . Logo a condio (i) do teorema 1 satisfeita.
Seja
j n
p p p = . Conforme (b) existe um SRR mod p contido em
{ }
1
ij
i p
n
b
<
.
Aproveitando que mod
ij i
b a p e tomando os elementos de
{ }
1
ij
i p
n
b
<
mdulo p, tem-
se que existe um SRR mod p contido em
{ }
1
i
i p
n
a
<
. Portanto a condio (ii) tambm
satisfeita e o teorema 2 est demonstrado.
Note que conforme o Teorema Chins do Resto o sistema [*] tem, para cada i,
uma nica soluo mdulo
1 2 n
p p p na incgnita a
i
. O mtodo de resoluo desse
sistema pode ser encontrado em livros de Teoria dos Nmeros.

Um exemplo

A matriz
( )
1 1 1
1 2 2
1 2 2
1 1 1
ij
b
(
(
(
=
(
(

satisfaz as condies do teorema 2. Resolvendo os supracitados sistemas [*]
correspondentes, tem-se
1 2 3 4
1, 17, 17, 1 a a a a = = = = donde o polinmio procurado

( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
2 2
2 2 4 2
1 17 17 1 1 289
1 19 10 19 mod30
P x x x x x x x
x x x x
= + + =
+ +

Assim, se 5 < x < 7
2
#
= 30 divide
( )
4 2
10 19 mod 30 x x P x + +

Concluso

Os nmeros primos suscitam vrias questes interessantes. Ao contrrio do que
alguns matemticos pensam, existe uma frtil diversidade de frmulas que produzem ou
caracterizam primos.
12
Produzindo Nmeros Primos por Iterao

Introduo

Conforme o Dicionrio Aurlio, Iterao o Processo de resoluo (de uma
equao, de um problema) mediante uma seqncia finita de operaes em que o objeto
de cada uma o resultado da que a precede. O objetivo desta nota apresentar
frmulas iteradas, ou de carter iterado, que produzem todos os nmeros primos, e
somente primos.
Certamente ( ) n uma das mais importantes funes da Teoria dos Nmeros.
O valor de ( ) n , simplesmente, a quantidade de nmeros primos no intervalo [ ] 1, n .
possvel escrever frmulas elementares para ( ) n . Mostraremos um meio elegante
de fazer isto.

Um aviso

Apesar da existncia de frmulas elementares para ( ) n , os algoritmos
conhecidos, incluindo o que ser apresentado, so bastante lentos para calcular o valor
dessa funo. Entende-se por lento um algoritmo que calcula o valor de f(n) num tempo
que, para n suficientemente grande, maior que qualquer potncia de logn . Note que
logn , proporcionalmente, uma aproximao do nmero de algarismos de n. Por isso o
logaritmo surge de modo natural: um clculo tende a ser tanto mais trabalhoso quantos
forem os algarismos dos nmeros envolvidos.

Frmulas

Em Teoria dos Nmeros comum representar por
#
n o produto dos primos que
no excedem n. Assim,
# # # # #
2 2; 3 4 6; 5 6 30; etc. = = = = = O nmero
#
n chama-se o
primorial de n, numa aluso ao fatorial.
A idia central que h uma sucesso ( )
n
a de inteiros, definida iteradamente,
de modo elementar e intuitivo, satisfazendo
#
1 2 1
1 e , para 1
n
a a a n n
+
= = = > . Basta
definir a sucesso ( )
n
a por
( )
1
1 mdc ,
1
1
, para 1
n
a n
n n
a
a a n n
(

+
=
onde x (

representa o maior inteiro que no excede x.
fcil ver que
2
1 a = e que para n=2,
#
1 n
a n
+
= . Mostrarei que esta igualdade
tambm vale para n>2. Suponha, por induo, que ( )
#
1
n
a n = para algum inteiro
2 n > . Se n primo, ( ) mdc , 1
n
a n = , donde ( ) 1 mdc , 1
n
a n ( =

e portanto
( )
#
1 #
1
1
n n
a a n n n n
+
= = = . Se n no primo, ento ( ) mdc , 1
n
a n > donde
( ) 1 mdc , 0
n
a n ( =

, e portanto ( )
#
0 #
1
1
n n n
a a n a n n
+
= = = = . Em qualquer caso tem-
se
#
1 n
a n
+
= , sempre que ( )
#
1
n
a n = . Assim, fica provado por induo que
#
1 n
a n
+
= ,
para todo inteiro n>1. Logo, as seguintes funes f, g produzem todos os nmeros
primos, e somente primos:
( )
1
max 2,
n
n
a
f n
a
+
| |
=
|
\
, de modo que ( )
, se primo
2, caso contrrio
n n
f n

=

( )
( ) ( ) ( )
1
1 2
max 1 , , para 1
n n
g
g n g n a a n
+
=
= >

sendo ( )
menor primo maior ou igual a , se 2
maior primo menor ou igual a , se 2
n n
g n
n n

=

>
.
Alm disso, tem-se
1
1 , se primo
1, caso contrrio
i
i
i i
a
a
+
, logo
1
0 se primo
1 caso contrrio
i
i
i
a
a
+
(
=
(

, da ( )
1 1
n
i
i i
a
n n
a
= +
(
=
(

.
No razovel calcular nmeros primos nem os valores de ( ) n usando as
frmulas apresentadas. H meios mais rpidos de fazer isto. Entretanto, este fato no as
desmerece, pois elas tm interesse terico. So apreciadas pelas relaes matemticas
que evidenciam e por sua elegncia.
13
Uma Constante para os Nmeros Primos

Um meio de construir frmulas para primos escrev-los de modo codificado
sob a forma de nmeros reais. Estes nmeros, muitas vezes, so definidos como limites
de sucesses ou como somas infinitas, construdas a partir dos nmeros primos que
codificam. Um exemplo disso, longe de ser o nico, o nmero real
= 0,01101010001010..., onde o n-simo dgito a direita da vrgula 1 se n for primo,
e 0 caso contrrio. Como os nicos dgitos de so 0 e 1, natural consider-lo
escrito na base 2, de modo que, sendo p
n
o n-simo nmero primo, tem-se:
1
1
2
p
n
n
=
=

Na base 10 escreve-se = 0,41468250985111166...

Uma observao

Seja x (

o nico inteiro tal que 1 x x x < (

. Considerando o modo como
construdo, no difcil ver que:
( )
1
1 se primo
2 2 2
0 caso contrrio
n n
n

( ( =

Isso porque a expresso acima produz o n-simo algarismo direita da vrgula
de , quando escrito na base 2. de fcil verificao que, de modo mais geral, dado um
inteiro b>1, e um real positivo r, tem-se:
1 n n
n
b r b b r r
( ( =

onde r
n
o n-simo dgito direita da vrgula de r quando o escrevemos na base b.

A funo

Os matemticos denotam a quantidade de nmeros primos menores ou iguais a
x, por (x). A funo (que no deve ser confundida com a clebre constante
3,14159...) conhecida em lngua inglesa como prime counting function, e tem um
papel importante em Teoria dos Nmeros. Conforme a igualdade (), para todo inteiro
positivo n, vale
( )
( )
1
1
2 2 2
n
i i
i
n
=
( ( =

Expandindo a soma e simplificando ter-se-
( )
1
2 2 2
n
n i
i
n
=
( ( =

Servimo-nos, portanto, do real para exprimir os valores da funo .

Uma funo para os nmeros primos

Ainda aproveitando a igualdade (), fcil ver que a seguinte funo f, definida
para os inteiros positivos, produz todos os nmeros primos, e apenas primos:
( ) ( )
( )
1
2 2 2 2 2
n n
f n n
( ( = +

De fato, se n primo, ento f(n) = n, e portanto, f(n) tambm primo (logo f gera
todos os primos). Por outro lado, se n no primo, f(n) = 2. Em qualquer caso, f(n)
primo.

Uma funo para o n-simo nmero primo

Sebastian Martin Ruiz e Jonathan Sondow observaram que uma conseqncia
imediata das desigualdades demonstradas por Rosser e Schoenfeld em 1962 que
2
2 2 log
n n
p n n p + <
portanto, como
( )
2
1 se
1
0 se
n
n n
i p i
p i p n
< (
=
(
<

tem-se
( ) ( )
( )
2
2 2 log 1
1 1
2 2 log
1
1 1 1 1
3 2 log
n
n n p
n
i i
n n
n
i
i i
p
n n
i
p n n
n

+ (

= =
+ (

=
| | | | ( (
= + = +
| |
( (
| |

\ \
(
= + (
(

Vimos que ( )
1
2 2 2
n
n i
i
n
=
( ( =

, ento, por simples substituio

2 2 log
1 1
1
3 2 log 2 2 2
n n
i
i j
n
i j
p n n
n

+ (

= =
(
| |
( ( = + ( ( |

(
\

Outros reais que codificam primos

Uma questo saber se existe alguma seqncia crescente (q
n
) de nmeros
primos tal que
1
1
2
q q
i
i
=
=
seja algbrico.
Em caso positivo haveria um modo rpido de produzir primos arbitrariamente
grandes, desde que se conhecesse o nmero algbrico
q
. uma possibilidade razovel
j que existem muitas escolhas possveis para
q
. De fato, para cada sucesso
crescente (q
n
) de nmeros primos, existe um real
q
distinto, e como existe uma
quantidade no enumervel de tais sucesses, h tambm uma infinidade no
enumervel de reais
q
.
Note que trivial mostrar que cada
q
irracional. Basta observar que sua
representao binria no peridica.
14
Primalidade e Nmero de Divisores

Introduo

Seja n um inteiro positivo e ( ) d n o nmero de inteiros positivos que o dividem.
claro que n primo se e s se ( ) d 2 n = . Existe, entretanto, um modo menos trivial de
estabelecermos a primalidade de n usando ( ) d n . Um inteiro p primo se, e somente se,
pudermos escrev-lo como
( ) ( ) 1 1 d n
p n

= , para algum inteiro n. Isto , todo nmero
natural da forma
( ) ( ) 1 1 d n
n

primo, e todo nmero primo pode ser escrito deste modo. O
objetivo desta nota provar isso e apresentar uma frmula para nmeros primos
amparada nessa proposio. Tambm ser apresentada uma frmula para a funo de
Von Mangoldt, que definida por ( ) log n p = se n potncia do primo p e ( ) 0 n =
nos outros casos. Seguem-se as

Frmulas
(i) ( )
( ) ( )
{ } ( )
1 1
log max 1,
d n
n n

= Z
(ii) ( )
( ) ( )
{ } ( )
1 1
max 2, nmero primo
d n
f n n

= = Z
O leitor deve notar que ambas fundamentam-se na seguinte

Proposio. Seja nZ, n>1. Se ( )
( ) ( ) 1 d 1 n
g n n

= Z ento g(n) um nmero primo.

Prova. Suponha que n potncia de um nmero primo p, digamos,
k
n p = . Ento
( ) d 1 n k = + e ( )
( ) ( )
( )
( ) ( )
( )
1 1 1 1
1 d 1
k k
n
k k
g n n p p p
+
= = = = , donde ( ) g n p = primo.
Portanto, se n potncia de um nmero primo p ento ( ) g n p = primo e neste caso a
proposio verdadeira.
Mostraremos agora que se n no potncia de primo, ento g(n) no inteiro.
Isto o mesmo que mostrar que se g(n) inteiro, ento n potncia de primo. Assim,
ter-se- ( ) ( ) potncia de primo primo g n n g n Z , e a proposio estar
provada.
Suponha por absurdo que exista nZ, n>1 tal que g(n) inteiro e n no
potncia de primo. Ento existem primos distintos p, q tais que q|n e p|n e portanto
p|g(n). Seja
k
p a maior potncia de p que divide n. Como d funo multiplicativa, isto
, d(uv)=d(u)d(v) sempre que u e v forem relativamente primos, ento
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( )
( )
2 1 2
d d d 1 2 2 2 d 2 2
d 1 2 | |
k
k d n k
n p q k k n k
n k g n g n g n n
= + = + +
>

Como ( ) | p g n e ( )
2
|
k
g n n ento
2
|
k
p n . Eis o absurdo, pois por hiptese
k
p
a maior potncia de p que divide n. Fica, assim, provada a proposio e as frmulas (i) e
(ii) seguem-se trivialmente.
15
Outras Frmulas e Conjecturas

No poderia deixar de incluir aqui as duas ltimas frmulas nas quais tenho
trabalhado. Com uma ponta de pesar, confesso no t-las, ainda, lustrado com o devido
rigor da demonstrao, como convm aos bons trabalhos em Matemtica. No obstante,
acredito no estar longe da verdade pois os testes que empreendi com software de
computao algbrica (Maple) s fizeram reforar minha crena. Alm disso, se as
proposies abaixo enunciadas no so verdadeiras, so pelo menos muitos elegantes e
indicam alternativas de pesquisa neste ramo da Matemtica.

Uma frmula otimista

Conjectura 1. Existe um nmero real c > 0 tal que ( )
2
! f n cn ( =

primo para todo
inteiro positivo n, onde
2
! n o quadrado do fatorial de n e x (

o maior inteiro menor
ou igual a x.

Conjectura 2. O menor valor para c que torna a conjectura 1 verdadeira, com 600
algarismos a direita da vrgula, dado por

c = 2, 811321611523770671312307434400821284264831865562431597127652
046416586423901874748464636222288303235789636697829126440086
848189987904285365047365511634550507895672134720433189832279
689750341055421752958090071609528340588245795276296334013701
648925202734400332662922789939943496564366989682290158979946
718294005449788129649056197463450850352723871460613578585385
986235704571979829149774929603747524163815289710467466667265
998128649483150791182219091215560675438465310257069900405819
866847487633698061095801325578681442858027459630222036432419
164796718341024210817985139058200061754042971659377005529956

Para este valor de c, os primeiros 20 nmeros primos produzidos pela frmula
( )
2
! f n cn ( =

da conjectura 1 so:

n ( )
2
! f n cn ( =

n ( )
2
! f n cn ( =

1 2 11
4479421882434643
2 11 12
645036751070588593
3 101 13
109011210930929472311
4 1619 14
21366197342462176573007
5 40483 15
4807394402053989728926577
6 1457389 16
1230692966925821370605203741
7
71412067
17
355670267441562376104903881179
8
4570372291
18
115237166651066209857988857502039
9
370200155573
19
41600617161034901758733977558236253
10
37020015557311
20
16640246864413960703493591023294501227

Com o valor de c dado pela conjectura 2 pode-se calcular com preciso os primeiros
165 nmeros primos ( ) ( ) ( ) ( ) 1 , 2 , 3 , , 165 f f f f da frmula supracitada, sendo que
( ) 165 f tem 592 algarismos.
Chamo a frmula ( )
2
! f n cn ( =

de otimista porque precisamos ser realmente
bastante otimistas para supor que ela produza infinitos primos. De fato, a demonstrao
desta frmula est condicionada a existncia de nmeros primos em intervalos bastante
estreitos.

Uma frmula fatorial

fcil mostrar que se j, k, n, p so inteiros positivos satisfazendo
( )
2
! 1 1
j
p kn n = + < + ento p necessariamente um nmero primo. Por outro lado, uma
tarefa menos trivial provar a seguinte

Conjectura 3. Todo nmero primo ( )
2
1 p n < + pode ser escrito como ! 1
j
p kn = + para
certos j, k, n inteiros positivos.

Alguns exemplos que satisfazem a conjectura 3 so os seguintes:

2 1
1 1! 1 2 2 + = <
2
1 5! 1 11 6 + = <
2
7 5! 1 29 6 + = <
2
8 5! 1 31 6 + = <
2 4
2603 6! 1 37 7 + = <
2 6
6597367 6! 1 41 7 + = <

Munido de uma calculadora de bolso bastante fcil escrever todos os primos
40 p < no formato ( )
2
! 1 1
j
p kn n = + < + , conforme a conjectura 3. Tambm fcil
construir uma frmula para primos utilizando a conjectura 3, caso ela seja verdadeira.

Tbua de Nmeros Primos

n p
n
n p
n
n p
n
n p
n
n p
n
n p
n

1 2 41 179 81 419 121 661 161 947 201 1229
2 3 42 181 82 421 122 673 162 953 202 1231
3 5 43 191 83 431 123 677 163 967 203 1237
4 7 44 193 84 433 124 683 164 971 204 1249
5 11 45 197 85 439 125 691 165 977 205 1259
6 13 46 199 86 443 126 701 166 983 206 1277
7 17 47 211 87 449 127 709 167 991 207 1279
8 19 48 223 88 457 128 719 168 997 208 1283
9 23 49 227 89 461 129 727 169 1009 209 1289
10 29 50 229 90 463 130 733 170 1013 210 1291
11 31 51 233 91 467 131 739 171 1019 211 1297
12 37 52 239 92 479 132 743 172 1021 212 1301
13 41 53 241 93 487 133 751 173 1031 213 1303
14 43 54 251 94 491 134 757 174 1033 214 1307
15 47 55 257 95 499 135 761 175 1039 215 1319
16 53 56 263 96 503 136 769 176 1049 216 1321
17 59 57 269 97 509 137 773 177 1051 217 1327
18 61 58 271 98 521 138 787 178 1061 218 1361
19 67 59 277 99 523 139 797 179 1063 219 1367
20 71 60 281 100 541 140 809 180 1069 220 1373
21 73 61 283 101 547 141 811 181 1087 221 1381
22 79 62 293 102 557 142 821 182 1091 222 1399
23 83 63 307 103 563 143 823 183 1093 223 1409
24 89 64 311 104 569 144 827 184 1097 224 1423
25 97 65 313 105 571 145 829 185 1103 225 1427
26 101 66 317 106 577 146 839 186 1109 226 1429
27 103 67 331 107 587 147 853 187 1117 227 1433
28 107 68 337 108 593 148 857 188 1123 228 1439
29 109 69 347 109 599 149 859 189 1129 229 1447
30 113 70 349 110 601 150 863 190 1151 230 1451
31 127 71 353 111 607 151 877 191 1153 231 1453
32 131 72 359 112 613 152 881 192 1163 232 1459
33 137 73 367 113 617 153 883 193 1171 233 1471
34 139 74 373 114 619 154 887 194 1181 234 1481
35 149 75 379 115 631 155 907 195 1187 235 1483
36 151 76 383 116 641 156 911 196 1193 236 1487
37 157 77 389 117 643 157 919 197 1201 237 1489
38 163 78 397 118 647 158 929 198 1213 238 1493
39 167 79 401 119 653 159 937 199 1217 239 1499
40 173 80 409 120 659 160 941 200 1223 240 1511


n p
n
n p
n
n p
n
n p
n
n p
n
n p
n

241 1523 281 1823 321 2131 361 2437 401 2749 441 3083
242 1531 282 1831 322 2137 362 2441 402 2753 442 3089
243 1543 283 1847 323 2141 363 2447 403 2767 443 3109
244 1549 284 1861 324 2143 364 2459 404 2777 444 3119
245 1553 285 1867 325 2153 365 2467 405 2789 445 3121
246 1559 286 1871 326 2161 366 2473 406 2791 446 3137
247 1567 287 1873 327 2179 367 2477 407 2797 447 3163
248 1571 288 1877 328 2203 368 2503 408 2801 448 3167
249 1579 289 1879 329 2207 369 2521 409 2803 449 3169
250 1583 290 1889 330 2213 370 2531 410 2819 450 3181
251 1597 291 1901 331 2221 371 2539 411 2833 451 3187
252 1601 292 1907 332 2237 372 2543 412 2837 452 3191
253 1607 293 1913 333 2239 373 2549 413 2843 453 3203
254 1609 294 1931 334 2243 374 2551 414 2851 454 3209
255 1613 295 1933 335 2251 375 2557 415 2857 455 3217
256 1619 296 1949 336 2267 376 2579 416 2861 456 3221
257 1621 297 1951 337 2269 377 2591 417 2879 457 3229
258 1627 298 1973 338 2273 378 2593 418 2887 458 3251
259 1637 299 1979 339 2281 379 2609 419 2897 459 3253
260 1657 300 1987 340 2287 380 2617 420 2903 460 3257
261 1663 301 1993 341 2293 381 2621 421 2909 461 3259
262 1667 302 1997 342 2297 382 2633 422 2917 462 3271
263 1669 303 1999 343 2309 383 2647 423 2927 463 3299
264 1693 304 2003 344 2311 384 2657 424 2939 464 3301
265 1697 305 2011 345 2333 385 2659 425 2953 465 3307
266 1699 306 2017 346 2339 386 2663 426 2957 466 3313
267 1709 307 2027 347 2341 387 2671 427 2963 467 3319
268 1721 308 2029 348 2347 388 2677 428 2969 468 3323
269 1723 309 2039 349 2351 389 2683 429 2971 469 3329
270 1733 310 2053 350 2357 390 2687 430 2999 470 3331
271 1741 311 2063 351 2371 391 2689 431 3001 471 3343
272 1747 312 2069 352 2377 392 2693 432 3011 472 3347
273 1753 313 2081 353 2381 393 2699 433 3019 473 3359
274 1759 314 2083 354 2383 394 2707 434 3023 474 3361
275 1777 315 2087 355 2389 395 2711 435 3037 475 3371
276 1783 316 2089 356 2393 396 2713 436 3041 476 3373
277 1787 317 2099 357 2399 397 2719 437 3049 477 3389
278 1789 318 2111 358 2411 398 2729 438 3061 478 3391
279 1801 319 2113 359 2417 399 2731 439 3067 479 3407
280 1811 320 2129 360 2423 400 2741 440 3079 480 3413


n p
n
n p
n
n p
n
n p
n
n p
n
n p
n

481 3433 521 3733 561 4073 601 4421 641 4759 681 5099
482 3449 522 3739 562 4079 602 4423 642 4783 682 5101
483 3457 523 3761 563 4091 603 4441 643 4787 683 5107
484 3461 524 3767 564 4093 604 4447 644 4789 684 5113
485 3463 525 3769 565 4099 605 4451 645 4793 685 5119
486 3467 526 3779 566 4111 606 4457 646 4799 686 5147
487 3469 527 3793 567 4127 607 4463 647 4801 687 5153
488 3491 528 3797 568 4129 608 4481 648 4813 688 5167
489 3499 529 3803 569 4133 609 4483 649 4817 689 5171
490 3511 530 3821 570 4139 610 4493 650 4831 690 5179
491 3517 531 3823 571 4153 611 4507 651 4861 691 5189
492 3527 532 3833 572 4157 612 4513 652 4871 692 5197
493 3529 533 3847 573 4159 613 4517 653 4877 693 5209
494 3533 534 3851 574 4177 614 4519 654 4889 694 5227
495 3539 535 3853 575 4201 615 4523 655 4903 695 5231
496 3541 536 3863 576 4211 616 4547 656 4909 696 5233
497 3547 537 3877 577 4217 617 4549 657 4919 697 5237
498 3557 538 3881 578 4219 618 4561 658 4931 698 5261
499 3559 539 3889 579 4229 619 4567 659 4933 699 5273
500 3571 540 3907 580 4231 620 4583 660 4937 700 5279
501 3581 541 3911 581 4241 621 4591 661 4943 701 5281
502 3583 542 3917 582 4243 622 4597 662 4951 702 5297
503 3593 543 3919 583 4253 623 4603 663 4957 703 5303
504 3607 544 3923 584 4259 624 4621 664 4967 704 5309
505 3613 545 3929 585 4261 625 4637 665 4969 705 5323
506 3617 546 3931 586 4271 626 4639 666 4973 706 5333
507 3623 547 3943 587 4273 627 4643 667 4987 707 5347
508 3631 548 3947 588 4283 628 4649 668 4993 708 5351
509 3637 549 3967 589 4289 629 4651 669 4999 709 5381
510 3643 550 3989 590 4297 630 4657 670 5003 710 5387
511 3659 551 4001 591 4327 631 4663 671 5009 711 5393
512 3671 552 4003 592 4337 632 4673 672 5011 712 5399
513 3673 553 4007 593 4339 633 4679 673 5021 713 5407
514 3677 554 4013 594 4349 634 4691 674 5023 714 5413
515 3691 555 4019 595 4357 635 4703 675 5039 715 5417
516 3697 556 4021 596 4363 636 4721 676 5051 716 5419
517 3701 557 4027 597 4373 637 4723 677 5059 717 5431
518 3709 558 4049 598 4391 638 4729 678 5077 718 5437
519 3719 559 4051 599 4397 639 4733 679 5081 719 5441
520 3727 560 4057 600 4409 640 4751 680 5087 720 5443


n p
n
n p
n
n p
n
n p
n
n p
n
n p
n

721 5449 761 5801 801 6143 841 6481 881 6841 921 7211
722 5471 762 5807 802 6151 842 6491 882 6857 922 7213
723 5477 763 5813 803 6163 843 6521 883 6863 923 7219
724 5479 764 5821 804 6173 844 6529 884 6869 924 7229
725 5483 765 5827 805 6197 845 6547 885 6871 925 7237
726 5501 766 5839 806 6199 846 6551 886 6883 926 7243
727 5503 767 5843 807 6203 847 6553 887 6899 927 7247
728 5507 768 5849 808 6211 848 6563 888 6907 928 7253
729 5519 769 5851 809 6217 849 6569 889 6911 929 7283
730 5521 770 5857 810 6221 850 6571 890 6917 930 7297
731 5527 771 5861 811 6229 851 6577 891 6947 931 7307
732 5531 772 5867 812 6247 852 6581 892 6949 932 7309
733 5557 773 5869 813 6257 853 6599 893 6959 933 7321
734 5563 774 5879 814 6263 854 6607 894 6961 934 7331
735 5569 775 5881 815 6269 855 6619 895 6967 935 7333
736 5573 776 5897 816 6271 856 6637 896 6971 936 7349
737 5581 777 5903 817 6277 857 6653 897 6977 937 7351
738 5591 778 5923 818 6287 858 6659 898 6983 938 7369
739 5623 779 5927 819 6299 859 6661 899 6991 939 7393
740 5639 780 5939 820 6301 860 6673 900 6997 940 7411
741 5641 781 5953 821 6311 861 6679 901 7001 941 7417
742 5647 782 5981 822 6317 862 6689 902 7013 942 7433
743 5651 783 5987 823 6323 863 6691 903 7019 943 7451
744 5653 784 6007 824 6329 864 6701 904 7027 944 7457
745 5657 785 6011 825 6337 865 6703 905 7039 945 7459
746 5659 786 6029 826 6343 866 6709 906 7043 946 7477
747 5669 787 6037 827 6353 867 6719 907 7057 947 7481
748 5683 788 6043 828 6359 868 6733 908 7069 948 7487
749 5689 789 6047 829 6361 869 6737 909 7079 949 7489
750 5693 790 6053 830 6367 870 6761 910 7103 950 7499
751 5701 791 6067 831 6373 871 6763 911 7109 951 7507
752 5711 792 6073 832 6379 872 6779 912 7121 952 7517
753 5717 793 6079 833 6389 873 6781 913 7127 953 7523
754 5737 794 6089 834 6397 874 6791 914 7129 954 7529
755 5741 795 6091 835 6421 875 6793 915 7151 955 7537
756 5743 796 6101 836 6427 876 6803 916 7159 956 7541
757 5749 797 6113 837 6449 877 6823 917 7177 957 7547
758 5779 798 6121 838 6451 878 6827 918 7187 958 7549
759 5783 799 6131 839 6469 879 6829 919 7193 959 7559
760 5791 800 6133 840 6473 880 6833 920 7207 960 7561


n p
n
n p
n
n p
n
n p
n
n p
n
n p
n

961 7573 1001 7927 1041 8293 1081 8681 1121 9013 1161 9391
962 7577 1002 7933 1042 8297 1082 8689 1122 9029 1162 9397
963 7583 1003 7937 1043 8311 1083 8693 1123 9041 1163 9403
964 7589 1004 7949 1044 8317 1084 8699 1124 9043 1164 9413
965 7591 1005 7951 1045 8329 1085 8707 1125 9049 1165 9419
966 7603 1006 7963 1046 8353 1086 8713 1126 9059 1166 9421
967 7607 1007 7993 1047 8363 1087 8719 1127 9067 1167 9431
968 7621 1008 8009 1048 8369 1088 8731 1128 9091 1168 9433
969 7639 1009 8011 1049 8377 1089 8737 1129 9103 1169 9437
970 7643 1010 8017 1050 8387 1090 8741 1130 9109 1170 9439
971 7649 1011 8039 1051 8389 1091 8747 1131 9127 1171 9461
972 7669 1012 8053 1052 8419 1092 8753 1132 9133 1172 9463
973 7673 1013 8059 1053 8423 1093 8761 1133 9137 1173 9467
974 7681 1014 8069 1054 8429 1094 8779 1134 9151 1174 9473
975 7687 1015 8081 1055 8431 1095 8783 1135 9157 1175 9479
976 7691 1016 8087 1056 8443 1096 8803 1136 9161 1176 9491
977 7699 1017 8089 1057 8447 1097 8807 1137 9173 1177 9497
978 7703 1018 8093 1058 8461 1098 8819 1138 9181 1178 9511
979 7717 1019 8101 1059 8467 1099 8821 1139 9187 1179 9521
980 7723 1020 8111 1060 8501 1100 8831 1140 9199 1180 9533
981 7727 1021 8117 1061 8513 1101 8837 1141 9203 1181 9539
982 7741 1022 8123 1062 8521 1102 8839 1142 9209 1182 9547
983 7753 1023 8147 1063 8527 1103 8849 1143 9221 1183 9551
984 7757 1024 8161 1064 8537 1104 8861 1144 9227 1184 9587
985 7759 1025 8167 1065 8539 1105 8863 1145 9239 1185 9601
986 7789 1026 8171 1066 8543 1106 8867 1146 9241 1186 9613
987 7793 1027 8179 1067 8563 1107 8887 1147 9257 1187 9619
988 7817 1028 8191 1068 8573 1108 8893 1148 9277 1188 9623
989 7823 1029 8209 1069 8581 1109 8923 1149 9281 1189 9629
990 7829 1030 8219 1070 8597 1110 8929 1150 9283 1190 9631
991 7841 1031 8221 1071 8599 1111 8933 1151 9293 1191 9643
992 7853 1032 8231 1072 8609 1112 8941 1152 9311 1192 9649
993 7867 1033 8233 1073 8623 1113 8951 1153 9319 1193 9661
994 7873 1034 8237 1074 8627 1114 8963 1154 9323 1194 9677
995 7877 1035 8243 1075 8629 1115 8969 1155 9337 1195 9679
996 7879 1036 8263 1076 8641 1116 8971 1156 9341 1196 9689
997 7883 1037 8269 1077 8647 1117 8999 1157 9343 1197 9697
998 7901 1038 8273 1078 8663 1118 9001 1158 9349 1198 9719
999 7907 1039 8287 1079 8669 1119 9007 1159 9371 1199 9721
1000 7919 1040 8291 1080 8677 1120 9011 1160 9377 1200 9733

Referncias Bibliogrficas

[1] RIBENBOIM, Paulo. Existem funes que geram os nmeros primos?. Revista
Matemtica Universitria, Rio de Janeiro, n. 15, p. 1-12, dez. 1993.
[2] WATANABE, Renate. Uma frmula para os nmeros primos. Revista do
Professor de Matemtica, n. 37, p. 19-21, 1998.
[3] GUEDES, Eric. Uma construo de primos. Revista do Professor de
Matemtica, n. 15, p. 39-41, 1989.
[4] RIBENBOIM, Paulo. The New Book of Prime Number Records. 3. ed. Springer,
1996.
[5] COURANT, R, ROBBINS, H. O que Matemtica?: uma abordagem elementar
de mtodos e conceitos. Cincia Moderna.
[6] MEGA, lio, WATANABE, Renate. Olimpadas Brasileiras de Matemtica:
problemas e resolues. Editora Ncleo, 1988. Problema 23.
[7] APOSTOL, T.M. Introduction to Analytic Number Theory. Springer-Verlag,
New York, 1976.
[8] HARDY, G.W., WRITE, E.M. An Introduction to the Theory of Numbers. 5.ed.
Oxford: Oxford University Press, 1979.
[9] LIMA, Elon Lages. Curso de Anlise, volume 1. 8. ed. Rio de Janeiro, IMPA,
CNPq, 1976. (Projeto Euclides).
[10] LIMA, Elon Lages. Anlise Real, volume 1. Rio de Janeiro, IMPA, CNPq, 1989.
(Coleo Matemtica Universitria)
[11] FILHO, Edgard de Alencar. Teoria das Congruncias. So Paulo: Nobel, 1986.
[12] GUIMARES, ngelo de Moura, LAGES, Newton Alberto de Castilho.
Algoritmos e Estrutura de Dados. Rio de Janeiro: LTC.
[13] RAMOS, Wilson C. da S. Polinmios gerando primos. Revista do Professor de
Matemtica, n.45, p.39-40, 2001.
[14] TENGAN, Eduardo. Sries formais. Eureka!, n.11, p.34-39, 2001.
[15] COUTINHO, S. C. Primalidade em Tempo Polinomial: Uma Introduo ao
Algoritmo AKS. Rio de Janeiro: Sociedade Brasileira de Matemtica, 2004.
Coleo Iniciao Cientfica.

Formulas para Numeros Primos

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Formulas para Numeros Primos

Enviado por

Direitos autorais:

Formatos disponíveis

eric campos bastos guedes

n n n converge para o menor

o menor divisor maior que 1 de n;

. No difcil verificar que

Z com termos no negativos adequada

negativas para que

passa a ser um nmero primo (isso no

(produto vazio). Chegamos ao seguinte

para b a < e qualquer expresso entre parnteses chamado de

. fcil ver que para a

= As provas das proposies 1 e 2 que se seguem sero

Eric Campos Bastos Guedes Pgina 66 10/5/2009

+ + + = corresponde, pela propriedade

ento f(n) igual ao nmero de

e g uma funo definida no conjunto dos

um polinmio com razes

contm um sistema reduzido

se, e somente se, m um

. Logo, para algum 1, 2, , 1

um SRR mod p. Com este propsito

contm um sistema reduzido

, ento, por simples substituio

Você também pode gostar