Primos Palindrômicos e Generalizações

Universidade Federal do Rio Grande do Norte
Centro de Cincias Exatas e da Terra

Departamento de Informtica e Matemtica Aplicada
Curso de Cincias da Computao

ALGUMAS EVIDNCIAS COMPUTACIONAIS
DA INFINITUDE DOS NMEROS PRIMOS
PALINDRMICOS E GENERALIZAES
DESTES

Aluno: Hugo Tcito Azevedo de Sena
Orientador: Benjamn Ren Callejas Bedregal

NATAL RN
2008

HUGO TCITO AZEVEDO DE SENA

ALGUMAS EVIDNCIAS COMPUTACIONAIS DA
INFINITUDE DOS NMEROS PRIMOS PALINDRMICOS
E GENERALIZAES DESTES

Monografia apresentada disciplina
Relatrio de Graduao, ministrada pelo
professor Martin Alejandro Musicante
para fins de avaliao da disciplina e
como requisito para a concluso do
curso de Cincias da Computao do
Departamento de Informtica e
Matemtica Aplicada da Universidade
Federal do Rio Grande do Norte.

Orientador: Prof. Dr. Benjamn Ren Callejas Bedregal

Natal RN
2008

HUGO TCITO AZEVEDO DE SENA

ALGUMAS EVIDNCIAS COMPUTACIONAIS DA
INFINITUDE DOS NMEROS PRIMOS PALINDRMICOS
E GENERALIZAES DESTES

Monografia apresentada disciplina
Relatrio de Graduao, ministrada pelo
professor Martin Alejandro Musicante
para fins de avaliao da disciplina e
como requisito para a concluso do
curso de Cincias da Computao do
Departamento de Informtica e
Matemtica Aplicada da Universidade
Federal do Rio Grande do Norte.

MONOGRAFIA APROVADA EM 25/06/2008

BANCA EXAMINADORA

_______________________________________________________________
Professor: Benjamn Ren Callejas Bedregal
DIMAp - UFRN

_______________________________________________________________
Professor: Mrcia Maria de Castro Cruz
Departamento de Matemtica - UFRN

_______________________________________________________________
Professor: Roque Mendes Prado Trindade
Departamento de Cincias Exatas - UESB

Aos meus pais e amigos

AGRADECIMENTOS

Deus, fonte de toda a vida, por iluminar meu caminho e me dar foras para
seguir sempre em frente. .

Aos meus queridos pais pelas oraes, pelos conselhos, empenho, estmulo,
fora para realizar este trabalho e o grande amor dado a mim em todos os
momentos bons e ruins de minha vida.

Ao meu orientador, Benjamn Ren Callejas Bedregal, pelas orientaes,
discusses enriquecedoras, dedicao, pacincia e apoio durante esta longa
jornada.

minha famlia, por me guiarem com muito amor nos caminhos corretos da
vida.

Aos meus grandes amigos que sempre me incentivaram e me proporcionaram
momentos de lazer, imprescindveis ao bom andamento deste estudo.

todos os professores, que foram os responsveis pela minha formao
acadmica, pessoal e profissional.

Enfim, a todos que de alguma maneira contriburam para a execuo desse
trabalho, seja pela ajuda constante ou por uma palavra de amizade!

RESUMO

Este trabalho ir abordar um assunto que ainda pouco explorado na rea da
Teoria dos nmeros, que so os nmeros primos palindrmicos. O objetivo
deste trabalho evidenciar computacionalmente a infinitude destes atravs de
vrios testes. Alguns conceitos da teoria dos nmeros, essenciais para o
entendimento do trabalho, e os conceitos do que so palndromos e nmeros
palindrmicos sero explicados aqui. Alm disso, explicitaremos tambm
algumas generalizaes dos nmeros palindrmicos e um caso particular
destes. Os testes de primalidade, que so algoritmos para testar se um nmero
inteiro positivo primo ou no, tambm so explicados neste trabalho. Por fim
so apresentados os resultados tericos e computacionais obtidos, bem como
consideraes finais sobre este trabalho.

Palavras-chave: nmeros primos, nmeros palindrmicos, nmeros primos
palindrmicos, testes de primalidade, generalizaes.

ABSTRACT

This work will show an subject that is rarely studied on Numbers Theory, which
are the palindromic prime numbers, or palprimes. The objective of this work is
to show computational evidences about the infinitude of these numbers, through
several tests. Some concepts of Numbers Theory needed to understand this
work, and definitions about palindrome and palindromic numbers are explained
here. Besides, we show some generalizations and a particular case of
palindromic numbers. The primality tests - used to test a number for primality -
are also explained in this work. Finally the theoric and computational results are
presented, as well as final considerations about this work.

Keywords: prime numbers, palindromic numbers, primality tests,
generalizations.

LISTA DE ILUSTRAES

Figura 1.1: Palndromo 2D................................................................ 20

LISTA DE TABELAS

Tabela 1.1: Pirmide de Primos Palindrmicos..................................... 21
Tabela 2.1: Nmeros Fatoriais.............................................................. 30
Tabela 2.2: Nmeros Primoriais............................................................ 31
Tabela 2.3: Nmeros Primos Fatoriais.................................................. 36
Tabela 2.4: Nmeros primos de Mersenne........................................... 37
Tabela 2.5: Nmeros de Fibonacci........................................................ 40
Tabela 2.6: Classificao dos Testes de Primalidade........................... 53
Tabela 3.1: Funo inversa................................................................... 66
Tabela 3.2: Funo identidade.............................................................. 66
Tabela 3.3: Funo
1
(n)....................................................................... 67
Tabela 3.4: Funo
2
(n)....................................................................... 67
Tabela 3.5: Funo
3
(n)....................................................................... 67
Tabela 3.6: Funo
4
(n)....................................................................... 67
Tabela 5.1: Resultados Computacionais para Palndromos
Compostos por Um nico Dgito........................................
73
Tabela 5.2: Resultados Computacionais para Palndromos mdulo
1

com uma quantidade de dgitos mpar...............................
74
1

com uma quantidade de dgitos par...................................
75
1
........................................................................................
76
Tabela 5.5: Densidade dos nmeros primos para Palndromos
mdulo
1
...........................................................................
76
2

77
2

78
2
........................................................................................
79

mdulo
2
...........................................................................
79
3

81
3

81
3
........................................................................................
82
mdulo
3
...........................................................................
82
4

84
4

84
4
........................................................................................
85
mdulo
4
...........................................................................
86

LISTA DE ABREVIATURAS E SIGLAS

AC Antes de Cristo
2D 2 Dimenses
max Mximo em relao a um conjunto de nmeros reais
min Mnimo em relao a um conjunto de nmeros reais
mdc Mximo divisor comum
mmc Mnimo mltiplo comum
ln Logaritmo Neperiano
mod Mdulo da diviso entre dois nmeros
NP Determinstico No Polinomial
Co-NP Complemento de NP
P Polinomial
AKS Algoritmo de Teste de Primalidade Determinstico
O Notao Assimpttica para Complexidade de Pior Caso
| Divide
| No Divide
Implica
Menor ou Igual
Maior ou Igual
Diferena
= Igualdade
Congruncia
/
Incongruncia
Mais ou Menos
Produtrio
Aproximadente igual
n! Nmero Fatorial
n# Nmero Primorial
n
E Nmero de Euclides
n
M Nmero de Mersenne

n
F Nmero de Fermat
( ) F n Nmeros de Fibonacci
Somatrio
log Logaritmo

Raiz Quadrada
[ ] k
D
Caractere D repetido k vezes
[ ]
#
k
D
Nmero composto apenas pelo Dgito D repetido k vezes

Funo que define o comportamento do palndromo genrico
Pertence
Conjunto dos nmeros naturais

SUMRIO

1 INTRODUO 14
1.1 MOTIVAO............................................................................... 15
1.2 HISTRIA DOS NMEROS PRIMOS......................................... 17
1.3 HISTRIA DOS PALNDROMOS................................................ 19
1.4 IMPORTNCIA............................................................................ 21
1.5 OBJETIVOS................................................................................. 23

1.6 ABORDAGEM DOS CAPTULOS............................................... 23
2 CONCEITOS FUNDAMENTAIS 25
2.1 TEORIA DOS NMEROS........................................................... 25
2.1.1 Divisibilidade................................................................. 25
2.1.2 Mximo Divisor Comum............................................... 26
2.1.3 Mnimo Mltiplo Comum.............................................. 27
2.1.4 Primos............................................................................ 27
2.1.5 Fatorao em Primos.................................................... 29
2.1.6 Nmeros Fatoriais......................................................... 29
2.1.7 Nmeros Primoriais...................................................... 30
2.1.8 Congruncias................................................................ 31
2.1.9 Pequeno Teorema de Fermat....................................... 32
2.1.10 Algoritmo de Euclides.................................................. 33
2.1.11 Tipos Especiais de Primos.......................................... 35
2.1.11.1 Nmero Primo Primorial............................... 35
2.1.11.2 Nmero Primo Fatorial................................. 36
2.1.11.3 Primos de Mersenne.................................... 36
2.1.11.4 Primos de Fermat......................................... 38
2.1.11.5 Primo de Smarandache-Wellin..................... 39
2.1.11.6 Primos Truncveis........................................ 39

2.1.11.7 Primos de Fibonacci..................................... 40
2.2 PALNDROMOS.......................................................................... 41

2.2.1 Caracteres...................................................................... 42

2.2.2 Palavras......................................................................... 42
2.2.3 Linhas............................................................................. 43
2.2.4 Lista de Nmeros Palindrmicos................................ 44
2.2.5 Definio Formal........................................................... 45
2.2.6 Data e Hora.................................................................... 46
2.2.7 Msica e Acstica......................................................... 46
2.2.8 Programas de Computador.......................................... 47
2.2.9 Estruturas Biolgicas................................................... 49
2.2.10 Semi-Palndromos......................................................... 49
2.2.11 Exemplos....................................................................... 49
2.2.11.1 Palavras....................................................... 49
2.2.11.2 Frases.......................................................... 50

2.2.11.3 Poemas........................................................ 51
2.3 TESTES DE PRIMALIDADE........................................................ 51
2.3.1 Testes Determinsticos................................................ 53
2.3.1.1 Crivo de Eratstenes.................................... 55
2.3.1.2 Mtodo da Fora Bruta................................. 56
2.3.1.3 Teste de Primalidade AKS........................... 57

2.3.1.4 Teste de Primalidade de Lucas-Lehmer...... 58
2.3.2 Testes Probabilsticos.................................................. 58
2.3.2.1 Teste de Primalidade de Fermat.................. 60

2.3.2.2 Teste de Primalidade Probabilidade de
Miller-Rabin........................................................................
60
3 RESULTADOS TERICOS 62
3.1 NMEROS PRIMOS PALINDRMICOS COMPOSTOS POR
UM NICO DGITO...........................................................................
62
3.2 NMEROS PRIMOS PALINDRMICOS GENRICOS.............. 65
3.2.1 Funo
1
......................................................................... 68

3.2.2 Funo
2
......................................................................... 68
4 TESTES COMPUTACIONAIS 70
5 RESULTADOS COMPUTACIONAIS 73
5.1 RESULTADOS COMPUTACIONAIS PARA NMEROS 73

PALINDRMICOS COMPOSTOS POR UM NICO
DGITO...............................................................................................
5.2 RESULTADOS COMPUTACIONAIS PARA NMEROS
PALINDRMICOS GENRICOS......................................................
74
5.2.1 Funo
1.............................................................................................................
74
5.2.2 Funo
2.............................................................................................................
77
5.2.3 Funo
3.............................................................................................................
80

5.2.4 Funo
4.............................................................................................................
83
6 CONSIDERAES FINAIS 87
REFERNCIAS 89
ANEXOS 94

14

1 INTRODUO

Nmeros primos, no entendimento de alguns matemticos, so nmeros
naturais que possuem apenas dois divisores diferentes: um e eles mesmos.
Outros matemticos definem nmero primo como sendo um nmero inteiro que
possui apenas quatro divisores. Assim, exclumos o nmero 1, pois ele s pode
ser dividido por dois divisores {1 e -1}. Se um nmero natural maior que 1 e
no primo, ele chamado de composto. Os nmeros 0 e 1 no so
considerados nem primos nem compostos.

O estudo dos nmeros primos faz parte da Teoria dos Nmeros, a parte
da matemtica que estuda os nmeros inteiros (embora alguns matemticos
considerem apenas os nmeros naturais), bem como o seu comportamento. Os
nmeros primos so alvos de intensas pesquisas, e algumas questes simples
e fundamentais tm permanecido sem resposta h sculos, ou ento s
recentemente obtiveram resposta. Algumas questes so bem conhecidas e
famosas como as conjecturas de Cramr e Goldbach. Por isso, os nmeros
primos continuam a intrigar os matemticos por suas caractersticas nicas e
peculiares.

O problema da distribuio dos nmeros primos um dos principais
objetos de investigao entre os matemticos: quando observados
individualmente, os primos parecem ser distribudos aleatoriamente, mas
quando observados de maneira global, a distribuio parece obedecer a leis
bem definidas. Adrien-Marie Legendre e Johann Friedrich Gauss fizeram
grandes estudos sobre a densidade dos nmeros primos e chegaram ao
Teorema dos Nmeros primos.

Um palndromo uma palavra ou nmero que pode ser lido de trs pra
frente do mesmo jeito que de frente pra trs. Um nmero palindrmico um

15

nmero em que seus dgitos, quando lidos da esquerda pra direita, resulta no
mesmo que quando lido da direita pra esquerda, como por exemplo, 43234.
Obviamente, nmeros palindrmicos dependem da base na qual so
representados, por exemplo, o nmero onze palindrmico na base 10, mas
no na base 2. Na maior parte do trabalho, usamos a base 10. Quando uma
outra base for usada, mencionaremos explicitamente a que base nos referimos.
Estes nmeros so estudados por matemticos em busca de propriedades
especiais. Um nmero palindrmico primo, claramente, um nmero que
primo e palindrmico ao mesmo tempo.

No fcil provar qualquer fato sobre os nmeros primos. Sua
seqncia razoavelmente suave, mas eles tambm possuem grande buracos
e focos mais densos na seqncia dos nmeros naturais. Quo grandes so
esses buracos? Por exemplo, h pelo menos um nmero primo para uma dada
quantidade de dgitos? A resposta uma afirmativa, mas ela s foi de fato
provada na metade do sculo dezenove, e muitas questes permanecem
abertas.

Uma nova onda de desenvolvimento na rea da Teoria dos Nmeros
surgiu com o advento dos computadores. Como decidir quando um nmero
positivo n primo? claro que este um problema finito, mas simples testes
de primalidade se tornariam impraticveis medida que o nmero de dgitos
cresce. S acerca de 25 anos atrs, comearam a utilizar idias que ajudaram
a realizar testes de primalidade de maneira mais eficiente. Usando estes
mtodos, pode-se facilmente determinar se um nmero de 1000 dgitos primo
ou no.

1.1 MOTIVAO

Devido a suas propriedades imprevisveis, os nmeros primos possuem
vrias questes em aberto e, muitas outras que poderiam ser bastante

16

importantes para a teoria dos nmeros talvez nunca cheguem a ser
formuladas. O que tambm atrai a ateno de alguns matemticos, a maneira
como os nmeros primos esto distribudos, o que acaba gerando muitos
desentendimentos e pontos de vista divergentes. Uns dizem que a distribuio
irregular, outros dizem que regular. A hiptese de Riehman aparece
justamente para aumentar ainda mais esses desentendimentos, pois ele diz
que todos os nmeros primos so distribudos o mais regularmente possvel,
embora nenhuma prova dessa hiptese exista.

Algumas conjecturas associadas a nmeros primos sero apresentadas
abaixo:

Conjectura de Goldbach Forte: diz que todo nmero inteiro par n>2 a
soma de dois primos.

Conjectura de Goldbach Fraca: diz que todo nmero inteiro impar n>5
a soma de trs primos.

Conjectura dos primos gmeos: Existem infinitos primos gmeos, que
so pares de primos cuja diferena entre eles dois.

Nmeros primos Euclidianos: no sabido se os nmeros primos
Euclidianos so infinitos ou no.

O nmero de primos de Fermat finito

O nmero de primos de Mersenne infinito

Conjectura de Brocard: h sempre pelo menos quatro primos entre
quadrados consecutivos de primos maior que 2.

17

Conjectura de Legendre: h sempre um primo entre n
2
e (n + 1)
2
para
qualquer inteiro positivo n.

Toda pirmide de primos palindrmicos com o passo fixo tem tamanho
finito.

1.2 HISTRIA DOS NMEROS PRIMOS

Os nmeros primos, bem como suas propriedades, comearam a ser
estudados pelos antigos matemticos gregos, embora existam registros de que
os antigos egpcios possuam algum conhecimento sobre os nmeros primos.

Pitgoras de Samos foi um dos precursores desse estudo, que
representou um grande avano na matemtica, embora o seu interesse
estivesse mais no aspecto mstico, chegando a inclusive criar a escola
Pitagrica (500 a 300 AC). Ele e seus seguidores possuam noes de
primalidade e se interessavam por nmeros perfeitos e amigveis. Esta escola
dava uma enorme importncia ao nmero 1, que era chamado de unidade.
Os outros nmeros tinham uma importncia reduzida, pois todos eles
representavam apenas multiplicidades da unidade e por isso eram chamados
de nmeros.

A partir dessas denominaes, os pitagricos comearam a perceber
que existiam dois tipos de nmeros:

Nmeros primos: so nmeros que no podem ser gerados via
multiplicao a partir de outros nmeros, como 2,3,5,7,11, etc.

Nmeros compostos, ou secundrios: so nmeros que podem
ser gerados a partir de outros nmeros, como o 6 = 2*3, 9 = 3*3,...

18

Os Elementos de Euclides (cerca de 300AC) possuem importantes
teoremas sobre nmeros primos, inclusive uma prova de que os nmeros
primos so infinitos, utilizando uma demonstrao pelo mtodo da contradio.
Euclides demonstra tambm a Teoria Fundamental da Aritmtica que diz que
qualquer inteiro s pode ser decomposto como produto de primos de uma
nica maneira. Euclides tambm mostrou como construir um nmero perfeito a
partir de um primo Mersenne.

Em 200AC o grego Eratstenes, criou o Crivo de Eratstenes, uma
maneira simples de calcular primos.

Em seguida, durante sculos, o estudo dos nmeros primos foi
abandonado e s foi retomado no sculo XVII.

Pierre de Fermat surge no incio do sculo XVII provando a conjectura
de Albert Girard e cria alguns teoremas que mais tarde seriam usados como
base de muitos resultados da Teoria dos Nmeros e de mtodos para testes de
primalidade que so utilizados at hoje. Fermat correspondeu-se com outros
matemticos do seu tempo, como Marin Mersenne, que junto com Fermat,
formularam os Nmeros de Mersenne (nmero na forma 1 2
n
).

Provar que um nmero primo (para nmeros grandes) no feito pela
diviso trivial. Muitos matemticos trabalharam em vrios teste de primalidade
para grandes nmeros, em especial, nmeros de forma especfica. Alguns
testes de primalidade so: AKS, Fermat, Lucas-Lehmer, Solovay-Stressen,
Miller-rabin e curva elptica. Apesar da existncia de vrios testes de
primalidade, nenhum deles funciona de maneira rpida e eficiente.

Com o advento dos computadores, intensas pesquisas tm sido
realizadas em busca de nmeros primos com a maior quantidade de dgitos
possvel. At o momento da escrita deste relatrio de graduao, o maior

19

nmero primo tinha cerca de nove milhes de dgitos e um Primo de
Mersenne.

Por um longo tempo, acreditava-se que os nmeros primos no
possuam nenhuma aplicao fora da matemtica. Isso mudou quando em
1970 surgiu o conceito de chave pblica criptogrfica, que faz uso de nmeros
semiprimos ( um nmero natural que o produto de dois nmeros primos) e
formam a base do algoritmo do sistema de criptografia da RSA.

1.3 HISTRIA DOS PALNDROMOS

A palavra palndromo tem origem grega, mas foi inventada pelo escritor
Ben Johnson no sculo XVII, embora existam registros de palndromos desde o
ano 79DC.

Os palndromos surgiram como uma forma de brincar com as palavras,
por exemplo, os antigos gregos criaram o seguinte palndromo em muitas de
suas fontes batismais: Nipson anommata m monan opsin. Isto traduzido
como lave seus pecados to bem quanto seus rostos. Pode-se perceber que
isto no um palndromo, mas acontece que isto foi escrito usando o alfabeto
latino. Quando caracteres gregos so usados isto se torna um palndromo, pois
o ps uma nica letra no alfabeto grego, resultando na seguinte cadeia de
caracteres gregos: .

Os romanos tambm admiravam os palndromos e chegaram a produzir
a seguinte sentena: In girum imus nocte et consumimur igni. Que significa
ns entramos no crculo depois da escurido e fomos consumidos pelo fogo
que dito para descrever o movimento das traas.

20

O seguinte palndromo quadrado tambm datado da era dos romanos
e foi gravado numa pedra fora de Roma, na Itlia, e o mais antigo palndromo
2D conhecido.

Figura 1.1: Palndromo 2D

Sator arepo tenent opera rotas significa O semeador Arepo trabalha
com a ajuda de uma roda.

Napoleo Bonaparte tambm falou propositadamente o palndromo
Able was I ere I saw Elba, ao se referir a ilha de Elba, onde ele foi exilado
pelos britnicos.

No conjunto dos nmeros primos palindrmicos, Shareef Bacchus prova
por induo que 11 o nico nmero primo com um nmero par de dgitos.
Qualquer outro palndromo com um nmero par de dgitos divisvel por 11, e
por isso no pode ser primo. Por exemplo, 987789 11 vezes 89799. A lista de
curiosidades descobertas por matemticos e numerologistas bastante ampla.

O maior primo palindrmico conhecido 10
180004
+ 248797842 10
89998

+ 1, encontrado por Harvey Dubner em 2007.

Paulo Ribenboim, um matemtico brasileiro, definiu o palndromo primo
triplo, como um nmero primo palindrmico p com q dgitos, onde q um
palndromo primo com r dgitos, no qual r tambm um primo palindrmico.

Uma pirmide de primos palindrmicos uma seqncia de primos em
que cada termo um palndromo com o termo anterior como os dgitos

21

centrais. Ento comeando com o nmero primo dois, pode-se chegar a uma
pirmide de primos palindrmicos como os seguintes:

2 2
929 929
39293 39293
7392937 3392933
373929373 733929337
Tabela 1.1: Pirmide de Primos Palindrmicos

Estas duas pirmides so as mais altas que podem ser produzidas pelo
nmero 2 e adicionando apenas um dgito de cada lado (passo nico).

1.4 IMPORTNCIA

Os nmeros primos possuem um papel fundamental na Matemtica e na
Teoria dos Nmeros, pois eles fazem parte do teorema fundamental dos
nmeros, que diz que qualquer nmero inteiro maior que um e que no seja
primo, pode ser escrito como um produto de fatores primos, e isto a base
para vrias aplicaes na Teoria dos Nmeros. Assim sendo, os nmeros
primos so considerados produtos de um nico fator (eles mesmos).

A partir do teorema fundamental dos nmeros, pode-se dizer que todo
nmero possui fatorao nica se no considerarmos a ordem dos fatores, o
que nos leva a concluir que todo nmero inteiro pode ser reconhecido atravs
de seus fatores. Como os nmeros so representados de maneira nica em
fatores primos, dois nmeros distintos jamais possuiro a mesma fatorao.

O teorema fundamental dos nmeros usado em diversas provas de
outros teoremas matemticos, como por exemplo, Euclides enunciou um

22

teorema que diz que a quantidade de nmeros primos infinita, e provou isto
atravs de uma contradio envolvendo o teorema fundamental dos nmeros.

Os nmeros primos tambm tm um papel muito importante na
computao, principalmente na rea de criptografia. Eles so usados por
empresas que precisam transmitir dados com segurana, com a certeza de que
eles no sero vistos por nenhuma pessoa que no esteja autorizada para tal.
Para manter a salvo este tipo de informao, empresas usam os nmeros
primos ou semiprimos para tornar incompreensveis as informaes que
precisam ser transmitidas, como se elas tivessem sido escritas em cdigo
indecifrvel. E esta segurana s possvel graas criptografia. Quanto
maior o nmero primo (ou semiprimo), mais difcil decifrar a informao, pois
necessrio um computador muito potente para trabalhar com tantos dgitos.

Vrias organizaes como a RSA (Rivest, Shamir, Adleman) tm se
dedicado ao estudo dos nmeros primos e suas aplicaes na rea de
criptografia, e chegam inclusive a oferecer prmios a quem conseguir descobrir
um de seus fatores.

Os palndromos por sua vez tambm possuem importncia devido as
suas caractersticas nicas, que causam certo interesse na rea da Teoria da
Computao. Na teoria dos autmatos, um conjunto de palndromos num dado
alfabeto o tpico exemplo de uma linguagem que livre de contexto, mas no
regular. Isto significa que teoricamente impossvel para um computador com
uma quantidade finita de memria testar confiantemente todos os palndromos.
(Para objetivos prticos com computadores modernos, esta limitao s se
aplicaria as seqncias de caracteres inacreditavelmente longas.).
Adicionalmente, o conjunto de palndromos no pode ser testado fielmente por
um autmato de pilha determinstico, e nem podem ser verificados
sintaticamente atravs de gramticas LR(k), pois lendo um palndromo da
esquerda para a direita, essencialmente impossvel localizar "o meio" at que
a palavra inteira tenha sido lida. Porm, a linguagem dos palndromos pertence

23

classe das linguagens lineares determinsticas e, portanto eles podem ser
analisados via autmatos lineares determinsticos (Bedregal, 2008).

1.5 OBJETIVOS

Existem algumas conjecturas em torno dos nmeros palindrmicos como
a que diz que existem infinitos nmeros palindrmicos primos na base 10. O
objetivo deste trabalho proporcionar algumas evidncias computacionais
desta conjectura. Para isto desenvolvemos um programa capaz de gerar um
nmero primo palindrmico razoavelmente grande (com mais 1000 casas
decimais). Alm disso, um tipo particular de nmeros primos palindrmicos -
aqueles formados por um s dgito - ser estudado. Tambm ser analisada
uma generalizao do conceito de palndromos e procuraremos encontrar
nmeros primos relativamente grandes para algumas instncias dessa
generalizao.

Vale ressaltar que o objetivo deste trabalho no tentar provar a
infinitude dos nmeros primos palindrmicos, mas na realidade, tentar
descobrir ou evidenciar, a partir desses resultados computacionais, conjecturas
sobre a infinitude de nmeros primos palindrmicos para essas variantes.

1.6 ABORDAGEM DOS CAPTULOS

Este trabalho foi organizado de forma que o leitor comece a entender um
pouco da teoria dos nmeros, bem como a idia de nmeros primos e nmeros
palindrmicos, de maneira a tornar mais fcil a leitura e o entendimento dos
captulos subseqentes.
No captulo 1 foi apresentada a motivao para se realizar um estudo
dos nmeros primos palindrmicos, depois foi realizada uma breve explicao
sobre o surgimento e curiosidades sobre os nmeros primos e palndromos.

24

Logo em seguida foi mostrada a importncia do estudo destes nmeros, e
tambm quais so os objetivos deste trabalho.

No captulo 2 sero apresentados conceitos fundamentais sobre a teoria
dos nmeros, e isto inclui desde conceitos bsicos como divisibilidade e
conceitos sobre os prprios nmeros primos, at a apresentao de tipos
especiais de nmeros primos. Alm disso, tambm sero abordados conceitos
bsicos sobre palndromos e o funcionamento de alguns testes de primalidade.

O captulo 3 apresenta alguns resultados tericos que foram obtidos
atravs da anlise de alguns conjuntos de nmeros em busca de possveis
primos, e tambm mostra como estes nmeros se comportam. Neste captulo
so analisados palndromos que so compostos por apenas um nico dgito e
tambm generalizaes sobre os nmeros palindrmicos.

No captulo 4 ser exposto como foram realizados os testes
computacionais e tambm que ferramentas e algoritmos foram utilizados. Alm
disso, este captulo aborda as dificuldades e limitaes encontradadas para a
realizao dos testes de primalidade sobre nmeros muito grandes.

No captulo 5 sero apresentados os resultados computacionais que
foram obtidos atravs da anlise de alguns conjuntos relativamente grandes de
nmeros.

Finalmente, no captulo 6 so apresentadas as consideraes finais
realizadas durante a construo deste trabalho e algumas conjecturas que
podero ser utilizadas para futuros trabalhos na rea.

25

2 CONCEITOS FUNDAMENTAIS

2.1 TEORIA DOS NMEROS

A Teoria dos Nmeros uma rea da matemtica que estuda os
nmeros inteiros e suas propriedades nicas. O seu estudo comeou com os
filsofos e matemticos acerca de 2500 anos. Apesar de todo esse tempo,
ainda existem muitas questes simples que ainda no possuem resposta, e
ainda outras que tiveram algumas respostas encontradas apenas h pouco
tempo.

Este relatrio de graduao possui como um de seus temas centrais os
nmeros primos, portanto, algumas explicaes sobre os nmeros primos e
sobre a teoria dos nmeros so necessrias. Algumas propriedades bsicas
dos nmeros inteiros, como noes de divisibilidade, mximo divisor comum e
mnimo mltiplo comum, sero discutidas.

2.1.1 Divisibilidade

Um dos conceitos mais bsicos do estudo da teoria dos nmeros o
conceito da divisibilidade. Diz-se que a divide b, ou a um divisor de b, ou
ainda que b mltiplo de a, se existe algum inteiro m no qual am b = . Na
notao utiliza-se b a | . Se a no um divisor de b ento se escreve: | a b . Se
0 a , ento b a | significa que a razo / b a resulta num nmero um inteiro.

Se | a b e 0 > a , ento ainda possvel dividir b por a com um resto. O
resto r da diviso b a um inteiro que satisfaz a r < 0 . Se o quociente da
diviso com resto q, ento obtido [1]:

26

b aq r = + (2.1)

A partir disto, algumas observaes podem ser realizadas e deram
origem a um teorema.

Teorema 2.1: Para todo nmero inteiro a, b, c, pertencente aos inteiros obtm-
se [2]:

a a | , a | 1 e 0 | a ;
a | 0 se somente se, 0 = a ;
Se b a | e c a | implica que ) ( | c b a + ;
Se b a | implica que b a | ;
Se b a | e c b | implica que c a | .

2.1.2 Mximo Divisor Comum

O mximo divisor comum uma propriedade que existe entre dois
nmeros inteiros e diz qual o maior inteiro que divide os dois.
Matematicamente tm-se [3]:

( , ) max{ | | } mdc a b c c a e c b = (2.2)

Diz-se que dois nmeros so primos entre si quando o mximo divisor
comum entre eles 1.

Note que para qualquer inteiro 0 > a , o a a mdc = ) 0 , ( , porque qualquer
nmero inteiro positivo divide 0, e porque a o maior divisor dele mesmo. J o
valor do ) 0 , 0 ( mdc indefinido.

27

2.1.3 Mnimo Mltiplo Comum

O mnimo mltiplo comum outra propriedade que existe entre dois
nmeros inteiros e diz qual o menor nmero que divido pelos dois.
Matematicamente tem-se [3]:

( , ) min{ | | } mmc a b c a c e b c = (2.3)

Isto se torna indefinido quando 0 a ou 0 b . O mnimo mltiplo
comum anlogo ao mximo divisor comum de alguma forma, mas no possui
o mesmo tempo de resposta, pois o mximo divisor comum possui algumas
propriedades interessantes. Uma delas, um mtodo de 2300 anos chamado
algoritmo de Euclides, que ser explorada mais tarde. Uma importante
conseqncia deste algoritmo o seguinte teorema [3]:

Teorema 2.2: Se c|a e c|b ento c|mdc(a,b) (2.4)

2.1.4 Primos

Como j definido na introduo, um nmero inteiro positivo p primo
quando ele no divisvel por nenhum outro inteiro a no ser 1 e o prprio p
(alguns autores tambm consideram os divisores 1 e p). Os primos tambm
podem ser definidos como: inteiros que no podem ser escritos como o
produto de dois outros nmeros positivos menores. Por conveno, o nmero
1 no primo, ento a seqncia dos nmeros primos ir comear com:

2, 3, 5, 7, 9, 11, 13, 17, 19, 23, 29, etc.

Alguns nmeros podem parecer primos, como o 119 ( ) 17 7 = ou
161( 23 7 = ). Estes e outros nmeros, que tem trs ou mais divisores, so

28

chamados de nmeros compostos. Qualquer nmero inteiro positivo maior que
1 primo ou composto, mas no ambos.

Os nmeros primos so muito importantes, pois eles so a base para a
construo de qualquer nmero inteiro, ou seja, qualquer nmero inteiro pode
ser escrito como um produto de nmeros primos. Supondo n um nmero inteiro
maior que 1 e
k
p um nmero primo qualquer. Matematicamente, tem-se que
[3]:

1
1
m
m k
k
n p p p
=
= =
(2.5)

Por exemplo, 5 3 2 30 = ; 11 2 2 44 = ; 13 7 7 637 = . Esta fatorao
sempre possvel porque se 1 > n no primo, ento ele possui um divisor
1
n ,
desta maneira, possvel escrever
2 1
n n n = , e sabe-se que
1
n e
2
n podem
ser escritos como produtos de nmeros primos. Os ancies gregos tambm
sabiam e provaram que esta representao nica. O que significa que no
existe mais de uma maneira de se escrever um nmero inteiro positivo como
um produto de nmeros primos.

realmente surpreendente que at hoje no exista uma maneira
eficiente de realizar uma fatorao. claro que poderosos supercomputadores
e sistemas de processamento paralelos massivos podem ser usados para
encontrar decomposies por fora bruta para alguns nmeros muito grandes;
o recorde est em torno de 300 dgitos, e a dificuldade cresce
exponencialmente medida que o nmero de dgitos aumenta. Encontrar a
decomposio de um nmero de 1000 dgitos, por qualquer mtodo conhecido,
vai muito alm das possibilidades de um computador, num futuro prximo.

Existem vrios teoremas dentro da Teoria dos Nmeros e dentre eles
alguns sero citados [1]:

29

Teorema (Teorema Fundamental da Aritmtica) 2.3: Qualquer nmero
inteiro positivo pode ser escrito como um produto de nmeros primos, e essa
fatorao nica desconsiderando-se a ordem dos fatores.

Teorema 2.4: Existem Infinitos Nmeros Primos.

Teorema 2.5: Para cada nmero inteiro positivo k, existem k nmeros
consecutivos que so compostos.

Teorema (O Teorema dos Nmeros Primos) 2.6: Seja ) (n o nmero de
primos entre 1 e n. Ento
n
n
n
ln
~ ) ( .

2.1.5 Fatorao em Primos

Foi visto que, possvel escrever como produto de primos, qualquer
nmero inteiro no primo, maior que 1. Os nmeros primos so considerados
produtos de um nico fator, e o nmero 1 considerado um produto vazio.
Sabendo disto, pode-se provar que o Teorema Fundamental da Aritmtica
(Teorema 1.3) verdadeiro.

2.1.6 Nmeros Fatoriais

Observando a fatorao de alguns nmeros altamente compostos, os
fatoriais, tm-se [3]:

1
! 1 2 3 , para todo inteiro n 0
n
k
n n k
=
= =
(2.6)

30

De acordo com a conveno de produto vazio, isto define que 0! 1.
Ento )! 1 ( ! = n n n para qualquer inteiro positivo n. Isto representa o nmero
de permutaes entre n objetos distintos. A seguir os 10 primeiros fatoriais:

n 1 2 3 4 5 6 7 8 9 10
n! 1 2 6 24 120 720 5040 40320 362880 3628800
Tabela 2.1: Nmeros Fatoriais

interessante saber os valores dos seis primeiros fatoriais e o fato de
que 10! maior que 3.5 milhes. Outro fato interessante, que o nmero de
dgitos em n! ultrapassa n quando . 25 n [3]

2.1.7 Nmeros Primoriais

Na matemtica, um nmero primorial n# um nmero natural que
definido como o produto de todos os nmeros primos
k
p menores ou iguais a
n, com 2 n . Este nome atribudo a Harvey Dubner e a combinao da
palavra primo e fatorial. Matematicamente, tm-se:

1
# 2 3 5 7
n
p
n k
k
n p p
=
= =
(2.7)

Exemplos:

2# 2
3# 2 3 6
4# 2 3 6
5# 2 3 5 30
6# 2 3 5 30
7# 2 3 5 7 210
=
= =
= =
= =
= =
= =

Os primeiros 10 primos primoriais so:

31

n 1 2 3 4 5 6 7 8 9 10
n# 1 2 6 6 30 30 210 210 210 210
Tabela 2.2: Nmeros Primoriais

2.1.8 Congruncias

Carl Friedrich Gauss introduziu o conceito de congruncia para denotar
que um nmero inteiro a e um nmero inteiro b possuem o mesmo resto
quando dividido por um nmero inteiro m, por perceber que as propriedades
desta relao possuem certa similaridade com a igualdade.

Se a e b possuem o mesmo resto quando divididos por m (no qual a, b e
m so inteiros com m > 0), ento pode-se escrever [1]:

(mod ) a b m (2.8)

(leia-se a cngruo a b mdulo m). Uma maneira equivalente dizer que m
divisor de b a. O nmero m chamado mdulo da relao de congruncia.

Por exemplo, ) 4 (mod 9 5 , j que 5 mod 4 = 1 = 9 mod 4.

Esta notao sugere que esta relao possui analogias a igualdade. E
realmente, muitas propriedades da igualdade so vlidas para a congruncia,
embora, claro, mantendo o mdulo fixo. As propriedades a seguir esto
presentes tanto na igualdade como na congruncia. Para todo nmero inteiro a,
b, c, tem-se:

reflexividade: ) (modm a a ;
simetria: ) (mod ) (mod m a b m b a ;
transitividade ) (mod ) (mod ), (mod m c a m c b m b a ;

32

possvel tambm computar congruncias tais como simples equaes.
Supondo que existem duas congruncias com o mesmo mdulo:

(mod ) e (mod ) a b m c d m (2.9)

ento possvel somar, subtrair e multiplicar essas congruncias, tendo:

(mod ), (mod ), (mod ) a c b d m a c b d m a c b d m + + (2.10)

Alm disso, a multiplicao possui um caso especial que permite
multiplicar ambos os termos da congruncia por um mesmo nmero, ou seja,
se (mod ) (mod ) a b m ak bk m para qualquer inteiro k.

2.1.9 Pequeno Teorema de Fermat

Nmeros primos tm sua importncia devido ao fato de que a partir de
sua composio possvel formar qualquer outro nmero inteiro, mas apesar
disso, os nmeros primos tambm possuem outras incrveis propriedades. Uma
delas foi encontrada por Pierre de Fermat e, por isso, possui o mesmo nome do
autor.

Teorema (Pequeno Teorema de Fermat) 2.7: se p um primo e a um
inteiro, ento a a p
p
| .(2.11)[1].

Outra forma equivalente para este teorema : se p um primo e a um
inteiro, ento 1 |
1
p
a p .

Muitos algoritmos de testes de primalidade se basearam neste teorema
para aumentar a eficincia.

33

2.1.10 Algoritmo de Euclides

Muito j foi abordado sobre as noes e resultados a respeito dos
nmeros inteiros. Um aspecto que ser explorado agora como realizar testes
computacionais baseados nestes resultados.

Para muitos resultados na teoria dos nmeros, necessrio um
algoritmo que calcule o mximo divisor comum entre dois nmeros da maneira
mais eficiente possvel.

O mximo divisor comum entre dois nmeros inteiros positivos pode ser
facilmente encontrado usando a fatorao de nmeros primos. Procuramos os
fatores primos em comum, escolhemos aqueles de menor expoente e em
seguida os multiplicamos. Apesar de fcil, este mtodo bastante ineficiente
para grandes nmeros inteiros. O algoritmo para calcular o mdc discutido aqui,
bastante eficiente e no precisa realizar a fatorao de seus membros. Este
algoritmo, ainda hoje, bastante importante para a muitos dos algoritmos que
realizam computao com inteiros.

O algoritmo de Euclides baseado em 2 fatos simples, que so se
| ( , ) a b mdc a b a = e ) , ( ) , ( a b a mdc b a mdc = . (2.12)

Suponha que dados dois inteiros positivos a e b, deseja-se saber o
mximo divisor comum entre eles. Ento [1]:

1. Se a > b, troca-se a por b.
2. Se a > 0, divida b por a, para pegar o resto r. Substitua b por r e volte para o
passo 1.
3. Se a = 0, ento retorne b e finalize.

Quando se aplica o algoritmo, principalmente de forma manual, no
existe uma boa razo para mudar a por b se a < b, pode-se ao invs disto,

34

simplesmente dividir o maior nmero pelo menor e substituir o maior pelo resto,
enquanto este no for igual a 0. Por exemplo:

mdc(200,14) = mdc(4,14) = mdc(4,2) = 2
mdc(99, 100) = mdc(99,1) = 1
mdc(89,55) = mdc(34,55) = mdc(34,21) = mdc(13,21) = mdc(13,8) =
mdc(5,8) = mdc(5,3) = mdc(2,3) = mdc(2,1) = 1

Como se trata de um algoritmo, necessrio levar em considerao o
fato dele terminar ou no. Neste caso, o algoritmo de Euclides finito pelo fato
de que os termos do mdc nunca aumentam, na verdade eles sempre
diminuem, de acordo com o passo 2 do algoritmo, alm disso o resto nunca
negativo, desta forma o procedimento nunca executa infinitamente.

O segundo passo verificar tambm se o algoritmo realiza realmente o
clculo do mximo divisor comum. No passo 1 e no passo 3, trivialmente o
algoritmo no altera o mximo divisor comum. J no passo 2, o nmero
retornado realmente o mximo divisor comum dos dois termos, de acordo
com: se | ( , ) a b mdc a b a = .

Uma terceira observao mais sutil, verificar se o algoritmo eficiente
e rpido. Desde que um ou outro nmero diminui a cada iterao quando os
passos 1 e 2 so executados, podemos afirmar que o algoritmo ir parar em
menos de a + b iteraes. Desconsiderando-se o pior caso, que a
aproximao mais pessimista, a maioria dos exemplos mostra que o algoritmo
termina muito rpido.

Os exemplos tambm sugerem que esta uma questo bastante
delicada, j que o algoritmo de Euclides pode ter vrios tempos de execuo
diferentes, de acordo com os nmeros testados em questo.

35

2.1.11 Tipos Especiais de Nmeros Primos

Devido a sua natureza misteriosa, os nmeros primos so
extensivamente estudados pelos matemticos. Alguns destes matemticos,
batizaram alguns dos principais tipos de nmeros primos que sero abordados
nesta seo.

2.1.11.1 Nmero Primo Primorial

Um nmero primo p chamado de primorial quando este est na forma
[8]:

# 1 p n = (2.13)

para algum nmero n. Os primeiros primos primoriais so:

3, 5, 7, 29, 31, 211, 2309, 2311, 30029, 200560490131, 304250263527209,
etc.

At o momento da escrita deste documento, o maior primo primorial
conhecido o 392113# + 1 com 169966 dgitos, encontrado em 2001 por
Daniel Heuer[5].

Os nmeros de Euclides so um subconjunto dos nmeros primos
primoriais [8]:

# 1
n
E n = + (2.14)

Os primeiros primos de Euclides so:

3, 7, 31, 211, 2311, 30031, 510511, etc.

36

No se sabe se existem infinitos nmeros de Euclides.

6
13# 1 30031 59 509 E = + = = o primeiro nmero de Euclides
composto, demonstrando que nem todos os nmeros de Euclides so primos.

Note que para todo 3 n , o ltimo digito de
n
E 1, logo 1
n
E
sempre divisvel por 2 e 5.

2.1.11.2 Nmero Primo Fatorial

Um nmero primo p chamado de fatorial se ele est na forma:

! 1 p n = (2.15)

para algum nmero n. Os primeiros primos fatoriais so:

n 1 2 3 3 4 6 7 11 12 14
p 2 3 5 7 23 719 5039 39916801 479001599 87178291199
Tabela 2.3: Nmeros Primos Fatoriais

O maior nmero primo fatorial conhecido durante a escrita deste
documento 34790! 1, encontrado por Marchal, Carmody e Kuosa em
2002.[6] No existem provas da infinitude dos nmeros primos fatoriais e
primoriais.

2.1.11.3 Primos de Mersenne

Na teoria dos nmeros, um nmero primo um nmero primo de
Mersenne se ele pode ser escrito na forma [7]:

37

2 1
n
n
M = (2.16)

At agosto de 2007, apenas 44 primos de Mersenne eram conhecidos.
O maior nmero primo conhecido atualmente um nmero de Mersenne
( 1 2
657 . 582 . 32
).

No se sabe se existe o maior nmero primo de Mersenne, o que
significaria que o conjunto de nmeros primos de Mersenne seria finito, embora
algumas conjecturas afirmem o contrrio.

Um teorema bsico sobre os nmeros primos de Mersenne que se
n
M
um nmero primo, ento o expoente n tambm deve ser um nmero primo.
Embora isto seja verdade, existem casos em que
n
M no primo mesmo com
o expoente n sendo primo. Por exemplo, o 89 23 2047 1 2
11
11
= = = M , no
primo, mesmo o 11 sendo primo.

Os primos de Mersenne foram observados primeiramente por Euclides,
mas apenas no sculo XVII, o estudante francs Marin Mersenne compilou
uma lista dos primos de Mersenne com expoentes at 257. Mersenne no
indicou como ele criou a lista, e uma verificao rigorosa s foi completada
mais de dois sculos depois. Foi constatado que apenas alguns elementos da
lista estavam errados.

Portanto, os primeiros primos de Mersenne so:

n 2 3 5 7 13 17 19 31 61
n
M 3 7 31 127 8191 131071 524287 2147483647 2305843009213693951
Tabela 2.4: Nmeros Primos de Mersenne

38

2.1.11.4 Primos de Fermat

Os nmeros de Fermat so nmeros da forma [7]:

2
2 1
n
n
F = + (2.17)

no qual n um inteiro no negativo. Os nmeros primos de Fermat so
nmeros de Fermat que tambm so primos. Os nicos nmeros primos de
Fermat conhecidos so [8]:

3, 5, 17, 257, 65537

Assim, no se sabe se existe algum primo de Fermat
n
F para 4 n > . Na
verdade pouco se sabe sobre nmeros de Fermat com um n muito grande. No
se sabe se existem infinito nmeros primos de Fermat, ou se todo nmero de
Fermat composto para todo 4 n > .

At o ano de 2007, apenas os 12 primeiros nmeros de Fermat tinham
sido completamente fatorados. tambm conhecido que os nmeros de
Fermat so compostos no intervalo 5 32 n . O maior nmero de Fermat
conhecido como composto
2478782
F .

Por causa do tamanho dos nmeros de Fermat, difcil fatorar ou provar
a primalidade deles. Portanto, alguns testes de primalidade mais otimizados,
como o teste de Pepin[8], devem ser utilizados para obter uma resposta em
menor tempo.

39

2.1.11.5 Primo de Smarandache-Wellin

O nmero de Smarandache-Wellin um inteiro formado pela
concatenao dos n primeiros nmeros primos. Os primeiros nmeros de
Smarandache-Wellin so [9]:

2, 23, 235, 2357, 235711, etc.

Quando um nmero de Smarandache-Wellin tambm um nmero
primo, ele chamado de primo de Smarandache-Wellin. Os ndices dos
primeiros primos de Smarandache-Wellin na base decimal so:

1, 2, 4, 128, 174, 342, 435.

2.1.11.6 Primos Truncveis

Um primo truncvel, um nmero que no contm nenhum zero e se
um dgito de uma das pontas for retirado sucessivamente o nmero resultante
tambm deve ser primo, por exemplo, 1223 um primo truncvel esquerda,
pois, 223, 23, e 3 so todos primos, outro exemplo seria 3739, que um primo
truncvel a direita, pois, 373, 37 e 3 so todos primos.

Existem 4260 primos truncveis a esquerda na base decimal. Os
primeiros so:

2, 3, 5, 7, 13, 17, 23, 37, 43, 47, 53, 67, 73, 83, 97, 113, 137, 167, 173, etc.

O maior primo truncvel a esquerda tem 24 dgitos:
357686312646216567629137.

Existem 83 primos truncveis a direita. Os primeiros so:

40

2, 3, 5, 7, 23, 29, 31, 37, 53, 59, 71, 73, 79, 233, 239, 293, 311, 313, 317, etc.

O maior primo truncvel a direita tem 8 dgitos: 73939133. Todos os
primos acima de 5 terminam com o dgito 1, 3, 7 ou 9, ento os primos
truncveis a direita s podem conter estes dgitos na sua ponta direita.

Existem tambm os primos truncveis de dois lados, no qual um dgito
pode ser retirado tanto da esquerda quanto da direita e o resultado continua
sendo primo. A lista completa com esses nmeros ser mostrada a seguir:

2, 3, 5, 7, 23, 37, 53, 73, 313, 317, 373, 797, 3137, 3797, 739397

2.1.11.7 Primos de Fibonacci

Os nmeros de Fibonacci so uma seqncia de nmeros que
obedecem a seguinte funo recorrente [11]:

0, se n = 0;
( ) 1, se n = 1;
( 1) ( 2), se n > 1.
F n
F n F n
(2.18)

Assim, depois dos dois primeiros valores, cada nmero a soma dos
dois nmeros anteriores. Os primeiro nmeros de Fibonacci so:

n 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
F(n) 0 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610
Tabela 2.5: Nmeros de Fibonacci

Um nmero primo de Fibonacci um nmero primo que faz parte da
seqncia de Fibonacci. Os primeiros 10 nmeros primos de Fibonacci so:

41

2, 3, 5, 13, 89, 233, 1597, 28657, 514229, 433494437.

2.2 PALNDROMOS

Um palndromo uma palavra, frase, ou qualquer outra seqncia de
unidades (como uma cadeia de DNA) que tem a propriedade de ser lida de
ambas as direes da mesma forma. Nos palndromos, geralmente so
desconsiderados os sinais ortogrficos, bem como o espao entre as palavras.
Provavelmente, o palndromo mais famoso na lngua portuguesa Socorram-
me, subi no nibus em Marrocos" de autoria annima. Porm, este palndromo
s pode ser lido corretamente quando os espaos so desconsiderados. A
palavra a e e so as palavras mais simples e por isso os palndromos menos
interessantes, a palavra anilina e o nome Natan so mais interessantes e
ilustrativos. A palavra "palndromo" vem das palavras gregas palin ("trs") e
dromos ("corrida").

Rmulo Marinho, um poltico brasileiro e veterano palindromista, props
uma classificao dos palndromos em 3 classes [12]:

Expliciti - exibe uma mensagem clara, fcil e direta, como "Socorram-
me, subi no nibus em Marrocos.

Interpretabiles coerente, o leitor precisa exercer esforo
intelectual para entender, como "A Rita, sobre vov, verbos atira."

Insensati o nico objetivo formar o palndromo, sem se preocupar
com o sentido, como "Ol! Maracuj, caju, caramelo."

42

As frases formando um palndromo tambm so chamadas de
anacclicas, do grego anakklein, significando que volta em sentido inverso,
que refaz inversamente o ciclo.

Escrever literatura em palndromos um exemplo de escrita
constrangida - uma tcnica literria no qual o escritor no possui total liberdade
para criar a sua obra - a escrita precisa seguir algum padro.

Existem vrios tipos de palndromos, dentre eles alguns sero citados a
seguir:

2.2.1 Caractres

O tipo de palndromo mais comum so os lidos caractr-a-caractr: os
caracteres podem ser lidos de ambas as direes. Palndromos podem
consistir de uma nica palavra (asa, osso, reter), ou uma frase ou sentena (A
base do teto desaba, "E at o Papa poeta .) [12]. Espaos, pontuao e
acentos so normalmente ignorados.

Algumas pessoas tambm tm seus nomes como palndromos, como
por exemplo, Natan e Renner.

2.2.2 Palavras

Alguns palndromos usam palavras como unidades ao invs de letras.
Exemplos so Avesso do Avesso, Primeiro-Ministro regrou: ministro
primeiro!. O palndromo Seres matam seres composto apenas por palavras
que tambm so palndromos, e por isso palndromo caracter-a-caracter e
palavra-a-palavra.

43

2.2.3 Linhas

Existem tambm outros palndromos que usam linhas como unidades. O
poema Doppelganger, escrito por James A. Lindon, um exemplo, e ser
exibido abaixo:

Entering the lonely house with my wife
I saw him for the first time
Peering furtively from behind a bush --
Blackness that moved,
A shape amid the shadows,
A momentary glimpse of gleaming eyes
Revealed in the ragged moon.
A closer look (he seemed to turn) might have
Put him to flight forever --
I dared not
(For reasons that I failed to understand),
Though I knew I should act at once.

I puzzled over it, hiding alone,
Watching the woman as she neared the gate.
He came, and I saw him crouching
Night after night.
Night after night
He came, and I saw him crouching,
Watching the woman as she neared the gate.

I puzzled over it, hiding alone --
Though I knew I should act at once,
For reasons that I failed to understand
I dared not
Put him to flight forever.

44

A closer look (he seemed to turn) might have
Revealed in the ragged moon.
A momentary glimpse of gleaming eyes
A shape amid the shadows,
Blackness that moved.
Peering furtively from behind a bush,
I saw him for the first time,
Entering the lonely house with my wife. [15]

2.2.4 Lista de Nmeros Palindrmicos

Os nmeros palindrmicos so nmeros, com representao decimal
geralmente assumida, que quando lido de direita para esquerda resulta no
mesmo nmero lido da esquerda para direita, por exemplo, 58685. Os
primeiros 30 nmeros palindrmicos na base decimal so:

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 22, 33, 44, 55, 66, 77, 88, 99, 101, 111, 121, 131,
141, 151, 161, 171, 181, 191, 202.

Como exemplo pode-se citar:

Um primo palindrmico um nmero que palindrmico e primo ao
mesmo tempo. Os primeiros 20 nmeros primos palindrmicos so: 2, 3,
5, 7, 11, 101, 131, 151, 181, 191, 313, 353, 373, 383, 727, 757, 787,
797, 919, 929.

Um nmero quadrtico palindrmico um nmero que quadrtico e
palndromo ao mesmo tempo. Os primeiros 10 nmeros primos
quadrticos palindrmicos so[17]: 0, 1, 4, 9, 121, 484, 676, 10201,
12321, 14641.

45

Sabe-se que em qualquer que seja a base, existe um nmero infinito de
nmeros palindrmicos, desde que em cada base seja possvel escrever uma
quantidade infinita de nmeros.

A palavra capica, cap que significa cabea e ca que significa
cauda[17], de origem catal, explica os nmeros palindrmicos (matemtica)
ou palndromo, para palavras, frase e outros.

2.2.5 Definio Formal

Embora a maioria dos nmeros palindrmicos conhecidos sejam aqueles
no sistema decimal, o conceito dos palndromos pode ser aplicado aos
nmeros naturais em qualquer sistema numrico. Considere um nmero n > 0
na base 2 b , no qual ele escrito na notao padro com k + 1 dgitos
i
a ,
assim [17]:

=
=
k
i
i
i
b a n
0

com b a
i
< 0 para todo i e 0
k
a . Ento n um nmero palindrmico, se e
somente se,
i k i
a a

= para todo i. Zero escrito 0 em qualquer base e por
definio tambm um nmero palindrmico.

Uma definio alternativa, mas equivalente mostrada a seguir. Em
uma base arbitrria, mas fixa b, um nmero n palindrmico se e somente se:

n consiste de um nico dgito, ou
n consiste de dois dgitos iguais, ou
n consiste de trs ou mais dgitos, onde o primeiro e o ltimo dgito so
iguais e o nmero obtido retirando-se o primeiro e o ltimo dgito
continua sendo um palndromo.

46

Nmeros no palindrmicos podem gerar um nmero palindrmico
atravs de uma srie de operaes. Primeiro, o nmero no palindrmico
revertido e o resultado adicionado ao nmero original. Se o resultado no for
um palndromo o processo se repete at que um palndromo seja encontrado.
Por exemplo, 56 + 65 = 121, 125 + 521 = 646.

Mas no garantido que todos os nmeros no palindrmicos iro gerar
um palndromo desta maneira. Embora isto no seja provado, muitos nmeros
no conseguem gerar um palndromo desta maneira. Por exemplo, o nmero
196 no consegue gerar um palndromo mesmo depois de 700.000.000 de
iteraes. Qualquer nmero que nunca gerar um palndromo desta maneira
chamado de nmeros de Lychrel[18].

2.2.6 Data e Hora

Datas palindrmicas despertam interesses em matemticos amadores e
numerlogos, e algumas vezes geram comentrios na mdia. Se uma data
palindrmica ou no, depende da forma como ela escrita. Por exemplo, na
forma dd/mm/aaaa, o ltimo palndromo foi no dia 20 de fevereiro de 2002
(20/02/2002) e o prximo ser em 01 de fevereiro de 2010 (01/02/2010).
Alguns ainda consideram a hora, no formato hh:mm dd/mm/aaaa, ento s 20
horas e 02 minutos do dia 21 de dezembro de 2002 (20:02 21/12/2002) foi a
ltima data palindrmica.

2.2.7 Msica e Acstica

Algumas letras de msicas possuem palndromos na sua composio,
outras ainda possuem palndromos em sua melodia.

47

A sinfonia nmero 47 de Joseph Haydn foi apelidada de Palindrome. O
terceiro movimento, o minueto e o trio um palndromo musical. Algumas
partes avanam duas vezes, depois retrocedem duas vezes e em seguida
voltam ao mesmo lugar.

Um palndromo no qual a fontica de uma frase a mesma quando
tocada de trs pra frente foi descoberta por John Oswald em 1974 enquanto
ele trabalhava manipulando fitas cassete.

2.2.8 Programas de Computador

Brian Westley escreveu um programa na linguagem de programao C
em 1987 para o Concurso Internacional de cdigo C Ofuscado que um
palndromo linha a linha.[19] O cdigo ser exibido a seguir:

char rahc
[ ]
=
"\n/"
,
redivider
[ ]
=
"Able was I ere I saw elbA"
,
*
deliver,reviled
=
1+1
,
niam ; main

48

( )
{/*\}
\*/
int tni
=
0x0
,
rahctup,putchar
( )
,LACEDx0 = 0xDECAL,
rof ; for
(;(int) (tni);)
(int) (tni)
= reviled ; deliver =
redivider
;
for ((int)(tni)++,++reviled;reviled* *deliver;deliver++,++(int)(tni)) rof
=
(int) -1- (tni)
;reviled--;--deliver;
(tni) = (int)
- 0xDECAL + LACEDx0 -
rof ; for
(reviled--,(int)--(tni);(int) (tni);(int)--(tni),--deliver)
rahctup = putchar
(reviled* *deliver)
;
rahctup * putchar
((char) * (rahc))
;
/*\
{\*/}

49

2.2.9 Estruturas Biolgicas

Na maioria dos genomas ou conjuntos de instrues genticas, vrios
palndromos so encontrados. Entretanto, o significado de palndromo no
contexto da gentica um pouco diferente da definio usada para palavras e
sentenas. Desde que o DNA formado por dois pares de nucleotdeos, e
estes sempre formam pares da mesma maneira ((A)denina com (T)iamina e
(C)itosina com (G)uanina), uma seqncia de DNA dita palndromo se ela for
igual a sua leitura complementar lida de trs pra frente. Por exemplo, a
seqncia ACCTAGGT palindrmica porque o seu complemento
TGGATCCA, que igual a seqncia original reversa.

2.2.10 Semi-Palndromos

Semi-palndromos uma palavra ou frase que remete a uma outra
palavra ou frase diferente quando lida de trs pra frente. Estas palavras,
geralmente so muito usadas na construo de palndromos, pois juntas elas
formam um palndromo, e tambm podem ser adicionadas aos extremos de
outros palndromos para serem prolongados. Exemplo: missa/assim.

Um emirp um primo que se torna um primo diferente quando os dgitos
decimais so lidos de trs pra frente.

2.2.11 Exemplos

2.2.11.1 Palavras

Existem algumas palavras que so naturalmente palndromos, no
portugus tem-se:

50

aba, acaiaca, Ada, ala, ama, amarram-a, Ana, anilina, ara, arara, asa,
assa, ata, esse, iriri, mamam, matam, mapam, melem, metem, mexem,
mirim, mutum, mussum, Natan, oco, omo, osso, oto, ovo, racificar, radar,
ralar, ramar, rapar, rasar, ratar, reler, Renner, reter, rever, reviver, rir,
rotor, sacas, salas, seres, siris, saras, socos, sapas, solos, soros, seles,
somavamos, somos, sugus, supus.

Existem tambm vrias palavras semi-palindromos, por exemplo:

avaro/orava. auge/egua. Edna/ande. apartas/satrapa. Raul/luar.
amar/rama. roma/amor. ator/rota. servil/livres. Messias/saissem.
missa/assim. atlas/salta. Ari/ira. Eva/ave. Av/ova. Sapos/Sopas.
sacos/socas. ser/ares.

2.2.11.2 Frases

Diz-se que uma frase um palndromo com simetria total, quando se
considera os espaos entre as palavras. Alguns exemplos so citados a seguir:

Ame a ema.
Assim a aluna anula a missa.
Morram aps a sopa marrom.
Eva, asse essa ave.

Um palndromo de simetria parcial no considera os espaos entre as
palavras. Por exemplo:

A base do teto desaba. [14]
"Anotaram a data da maratona."
Acata o danado... e o danado ataca!
A miss pssima!

51

A mala nada na lama. [20]

2.2.11.3 Poemas

Palndromo do amor total [14]

vido?
Am-la na taba, no toco da casa,
Ama?
no muro, no pao, na poa,
na maca, na livre sala,
servi-la na cama,
na copa, no cap, no rumo,
na saca do coto, na bata, na lama...
diva!

Haikai (Beto Furquim)

Aroma.
Me supus em
amora.

2.3 TESTES DE PRIMALIDADE

Os testes de primalidade so algoritmos que basicamente recebem
como entrada um nmero e verificam se esse nmero primo ou no. Eles
possuem uma grande importncia na teoria dos nmeros e tambm possui
muitas aplicaes associadas criptografia, pois essencial que estes
algoritmos realizem testes de maneira muito eficiente para nmeros bastante

52

grandes, ou o processo de criptografia seria muito demorado e, portanto
invivel.

Existem tambm algoritmos de fatorao de nmeros inteiros, que
recebem como entrada um nmero e, cuja resulta em pelo menos um dos
fatores deste nmero. Os testes de primalidade so computacionalmente mais
fceis quando comparados a algoritmos de fatorao.

A teoria da complexidade algortmica um ramo da matemtica que
estuda e classifica problemas de acordo com o grau de dificuldade em ser
resolvido. Existem vrias classes de problemas, os principais so [26]:

NP, no qual NP significa que problema no determinstico em tempo
Polinomial, ou seja, ele permite uma soluo no determinstica, e o
nmero de passos para que o algoritmo encontre a resposta limitado
por uma potncia da ordem do tamanho do problema.

Co-NP, significa um complemento da classe NP, ou seja, quando um
problema no est na classe NP, ento ele est na classe Co-NP.

P, no qual o P significa problema de tempo Polinomial. Isto quer dizer
que o nmero de passos para que o algoritmo encontre a resposta
limitado por uma potncia da ordem do tamanho do problema. Esta
classe de problemas est localizada entre as classes NP e Co-NP.

At 2002, todos os testes de primalidade estavam entre as classes NP e
Co-NP, ou seja, podiam at ser algoritmos eficientes, mas no executavam em
tempo polinomial para determinadas entradas. Ento surgiu o teste de
primalidade AKS, que provou que os testes de primalidade tambm so da
classe P, enquanto que os testes de fatorao ainda podem ou no fazer parte
desta classe.

53

Existem vrios tipos de testes de primalidade, que variam de algoritmos
bastante simples at algoritmos com heursticas bastante elaboradas, embora
todos sejam baseados em caractersticas prprias dos nmeros primos. Alm
disso os testes de primalidade podem ser classificados em vrios critrios,
dentre eles:

Testes para nmeros de forma particular
Tipo de nmero
Testes para nmeros genricos
Testes justificados completamente por teoremas
Justificativa
Testes cuja justificativa baseada em conjecturas
Testes Determinsticos
Certeza
Testes Probabilsticos (ou de Monte Carlo)
Tabela 2.6: Classificao dos Testes de Primalidade

Alguns destes algoritmos sero abordados logo em seguida, e suas
principais caractersticas sero descritas.

2.3.1 Testes Determinsticos

Os testes determinsticos so testes de primalidade que garantem que o
resultado produzido sempre estar correto e, considerando-se uma entrada em
particular, ele sempre ir produzir a mesma sada e sempre ir passar pela
mesma seqncia de estados.

Os testes de primalidade determinsticos geralmente cobram um preo
caro por sempre produzirem a resposta correta. Nenhum deles mais rpido
que alguns testes probabilsticos. Os primeiros algoritmos de testes de
primalidade, como o crivo de Eratstenes e o mtodo da fora bruta, eram
determinsticos porm bastante lentos e ineficientes.

54

O teste ciclotmico foi o primeiro teste de primalidade determinstico que
foi significativamente mais rpido que os testes de fora bruta e o crivo de
Eratstenes. Embora este teste seja determinstico e no se baseie em
nenhuma hiptese, a sua complexidade de tempo de execuo no-
polinomial. Seu tempo de execuo foi provado como
log log log
((log ) )
c n
O n , no
qual n o nmero a ser testado, e c uma constante independente de n [36].

O teste da curva elptica roda em tempo polinomial
6
((log ) ) O n , porm se
fundamenta em uma conjectura (embora amplamente acreditada como
verdadeira) sobre a teoria dos nmeros analtica. Este algoritmo um dos mais
utilizados para testes determinsticos na prtica.

A implementao dos algoritmos do teste ciclotmico e do teste da curva
elptica so bastante complexos e muito susceptveis a erros e, portanto
prefervel no utiliz-los.

O teste de primalidade de Miller-Rabin pode se tornar uma verso
determinstica com algumas adaptaes ao se adotar a hiptese de Riemann
como verdadeira. Na prtica este algoritmo geralmente mais lento que os
testes ciclotmico e da curva elptica.

Apenas em 2002 surge o teste de primalidade AKS, que um algoritmo
que roda em tempo polinomial, determinstico e no depende de nenhuma
hiptese. A origem do nome deste teste vem de seus criadores: Manindra
Agrawal, Neeraj Kayal e Nitin Saxena. Eles provaram que o algoritmo
funcionaria em tempo polinomial de
12
((log ) ) n , embora na prtica este
algoritmo seja ainda muito mais lento que testes probabilsticos.

55

2.3.1.1 Crivo de Eratstenes

O crivo de Eratstenes foi criado pelo antigo matemtico grego
Eratstenes que deu origem ao seu nome. um algoritmo simples e permite
encontrar todos os primos possveis at um determinado inteiro positivo. Ele
surgiu antes do Crivo de Atkins que mais rpido, porm mais complexo.
Como se trata de um teste de primalidade, ento ele baseado numa
caracterstica simples de todo nmero primo.

Supondo n o nmero que se deseja verificar a primalidade, o algoritmo
funciona da seguinte forma [35]:

1. Verifica-se o maior valor a ser testado. Este valor corresponde a raiz
quadrada de n, arredondado pra baixo.
2. Cria-se uma lista com os valores inteiros de 2 at n.
3. Encontra-se o primeiro elemento da lista, o nmero primo 2.
4. Removem-se da lista todos os mltiplos de 2 encontrados.
5. O prximo nmero da lista primo.
6. Todos os nmeros mltiplos desse nmero devem ser removidos da
lista.
7. Os passos 5 e 6 so repetidos at que o prximo item da lista seja o
maior valor a ser testado ( n ). Se o nmero n ainda estiver na lista ele
primo, caso contrrio composto.

Este algoritmo eficiente e muito lento, j que requer uma grande
quantidade de passos para que o problema seja resolvido, embora possua
algumas caractersticas desejveis:

Funcionar para qualquer nmero
Ser justificado pela prpria definio de nmeros primos
Ser determinstico

56

Este algoritmo invivel para teste de nmeros muito grandes.

2.3.1.2 Mtodo da Fora Bruta

Este teste de primalidade um dos mais simples de todos.
Considerando-se um dado nmero n, o algoritmo verifica se existe algum
inteiro q no intervalo de 2 at n-1, que divide n. Se n for divisvel por qualquer
q, ento n um nmero composto, seno, primo.

Mas este mtodo pode ser melhorado um pouco mais. Por exemplo, o
nmero n s precisa ser testado de 2 at n , pois se n for composto ele pode
ser fatorado em dois valores, e pelo menos um deles deve ser menor ou igual a
n . Pode-se tambm melhorar a eficincia, se pularmos todo m par exceto o
nmero 2, j que se algum m par dividisse n, ento 2 tambm dividiria.

Uma maneira de acelerar este teste de primalidade ainda mais (inclusive
todos os outros testes que sero mencionados a seguir), pr-calcular e
colocar numa lista todos os nmeros primos at um certo valor, por exemplo,
todos os primos at 500. Ento antes de realizar um teste de primalidade sobre
um nmero n com qualquer mtodo, primeiro deve-se verificar se o nmero n
divisvel por qualquer nmero da lista.

Assim como o mtodo do Crivo de Eratstenes, este teste
determinstico, funciona pra qualquer nmero e tambm justificado pela
prpria definio de nmeros primos. Apesar disto, tambm bastante lento, j
que necessria a repetio dos passos muitas vezes para se obter o
resultado. Portanto o uso deste algoritmo para calcular a primalidade de
nmeros grandes no incentivado.

57

2.3.1.3 Teste de Primalidade AKS

O teste de Primalidade AKS um algoritmo de teste de primalidade
determinstico, criado por cientistas da computao do Instituto Indiano de
Tecnologia de Kanpur, Manindra Agrawal, Neeraj Kayal, e Nitin Saxena em
Agosto de 2002 no artigo entitulado PRIMES is in P. Os autores receberam
muitos prmios inclundo o Prmio Gdel e Fulkerson em 2006 por este
trabalho [38].

Este teste de primalidade, verifica se um nmero qualquer primo ou
composto em tempo polinomial
12
((log ) ) O n , alm de ser justificado
matematicamente, da a importncia deste trabalho. Em 2005, Carl Pomerance
e H. W. Lenstra Jr demonstraram uma variante deste algoritmo que roda em
6
(log ) O n passos, no qual n o nmero a ser testado, representando uma
significativa melhora em relao ao algoritmo original.

O teste baseado numa generalizao do Pequeno Teorema de
Fermat. Considerando a um inteiro, e n um nmero inteiro positivo maior ou
igual a 2, no qual a e n so primos entre si, ento n primo se e somente se
[23]:

( ) (mod )
n n
X a X a n + = + (2.19)

Para uma entrada n > 1. O algoritmo ser mostrado a seguir:

1. Se (
b
n a = para qualquer a inteiro positivo e b > 1), ento retorne
COMPOSTO.
2. Encontre o menor r no qual
2
( ) log .
r
o n n >
3. Se 1 < (a,n) < n para algum a < r, ento retorne COMPOSTO.
4. Se n r, ento retorne PRIMO.

58

5. Para a = 1 at ( ) log r n
(

faa: se (( ) (mod 1, ))
n n r
X a X a X n + +
ento retorne COMPOSTO.
6. Retorne PRIMO.

2.3.1.4 Teste de Primalidade de Lucas-Lehmer

O teste de primalidade de Lucas-Lehmer que foi criado por Edouard
Lucas e Derrick Henry Lehmer determinstico e justificado a partir de
teoremas. Dado um nmero n, este algoritmo requer que os fatores do nmero
n-1 sejam conhecidos. Sendo assim, ele no se torna muito til para verificar a
primalidade de nmeros de propsito geral. Seu uso mais adequado para
nmeros especiais como os de Mersenne.

O algoritmo de Lucas-Lehmer funciona da seguinte maneira:

Se para qualquer a entre os fatores primos de n 1, e para todo q fator
de n 1, as condies
1
1(mod )
n
a n
e
1
mod 1
n
q
a n
forem
verdadeiras, ento n primo, seno composto.

2.3.2 Testes Probabilsticos

Os testes de primalidade mais populares so os testes probabilsticos.
Estes testes so baseados em nmeros escolhidos de forma aleatria (a) num
dado espao amostral, sem nenhuma relao com o nmero a ser testado (n).
A maioria deles nunca retorna um nmero primo como composto, mas pode
retornar um nmero composto como primo. A chance de erro pode ser reduzida
ao se repetir o teste vrias vezes, sempre alterando o valor de a
aleatoriamente.

59

Considerando-se dois testes comumente utilizados, para qualquer
nmero composto n, ele tem metade da chance de detectar que n composto.
Ao se repetir o teste k vezes, a chance de erro cai para 2
k
, que pode ser cada
vez menor ao se aumentar ainda mais o valor de k.

A estrutura bsica dos testes de primalidade probabilsticos a seguinte
[36]:

Escolhe-se um nmero aleatrio a.
Realiza-se uma comparao de igualdade entre a e um dado nmero n.
Se a igualdade no for verdadeira, ento n ser um nmero composto e
a ser conhecido como testemunha da composio e o teste acaba.
Este procedimento se repete desde o primeiro passo at que algum grau
de certeza seja alcanado.

Se depois de algumas interaes, n no foi considerado um nmero
composto, ento ele pode ser declarado primo provvel.

O teste probabilstico mais simples o teste de primalidade de Fermat.
apenas um teste Heurstico. Alguns nmeros compostos, como os nmeros de
Carmichael, sero declarados como primos provveis, no importando qual
seja a testemunha escolhida [36].

Os testes de primalidade de Miller-Rabin e o teste de Solovay-Strassen
so mais complexos e conseguem detectar todos os nmeros compostos, e
devido a sua alta velocidade na resposta, eles so os mais usados geralmente.
O teste de Frobenius apresenta uma confiabilidade maior, mas no muito
usado, pois ele cerca de trs vezes mais demorado que os dois anteriores.

60

2.3.2.1 Teste de Primalidade de Fermat

Como j foi abordado anteriormente, o pequeno teorema de Fermat
afirma que se p primo e 1 a p , ento
1
| 1
p
p a

, ou ainda,
1
1(mod )
p
a p
.

O teste de primalidade de Fermat consiste em simplesmente se escolher
alguns valores aleatrios para a no intervalo considerado e verificar se esta
congruncia permanece verdadeira para todos os valores de a. Se esta
congruncia permanecer verdadeira ento p um primo provvel. Se alguma
destas congruncias falharem para algum valor de a, ento certamente p
composto.

Como se trata de um algoritmo probabilstico, o resultado obtido algumas
vezes pode ser inesperado. Existem nmeros que independente do valor de a,
iro sempre retornar primos, apesar dos nmeros serem compostos. Este tipo
de nmero chamado de nmero de Carmichael, e embora sejam raros, eles
so suficientes para que o teste de primalidade de Fermat no seja to
utilizado quanto os testes de Miller-Rabin e Solovay-Strassen.

2.3.2.2 Teste de Primalidade Probabilidade de Miller-Rabin

Este teste de primalidade na realidade pode se comportar de duas
maneiras, uma verso determinstica baseada na hiptese de Riemman (que
ainda no foi provada), e outra verso incondicional e probabilstica. Para o
escopo deste trabalho apenas a verso probabilstica ser abordada.

Assim como o teste de Fermat, o teste de Miller-Rabin baseado em
uma congruncia, que ser verdadeira para nmeros primos ou falsa quando o
nmero no for primo.

61

Para uma entrada n > 1 mpar, com ndice de certeza k. O algoritmo
funciona da seguinte maneira [38]:

Decomponha o n - 1, que par, numa potncia de 2. O nmero dever
ficar da forma: 2
s
d

Repita k vezes:
o Escolha um nmero aleatrio a, no qual 1 1 a n .
o Se 1(mod )
d
a n e
2
1(mod )
r
d
a n , para todo r, no qual
1 1 r s , ento retorne composto.
Retorne primo provvel.

Como se trata de um teste probabilstico, ele pode retornar resultados
no muito confiveis. Como dos nmeros de valores de a servem como
testemunhas de composio de n, ento o algoritmo tem 75% de chance de
acertar o resultado na primeira iterao. A medida que vai aumentando o
nmero de iteraes para um mesmo nmero a chance de acertar aumenta.
Vale ressaltar que o teste de primalidade de Miller-Rabin funciona para
qualquer tipo de nmero e esta verso probabilstica no condicionada a
nenhuma hiptese.

62

3 RESULTADOS TERICOS

Baseando-se na anlise do comportamento dos nmeros primos
palindrmicos e suas generalizaes, alguns resultados tericos foram obtidos,
acarretando numa diminuio no tempo computacional para calcular a
primalidade destes nmeros, j que alguns destes nmeros poderiam ser
descartados sem a necessidade de se calcular a primalidade, que um
processo bastante demorado para nmeros muito grandes. Nesta seo, ser
explicado como os resultados foram obtidos e as idias que foram utilizadas
para aperfeioar os testes computacionais. Alm disto, sero abordadas
algumas generalizaes e uma restrio dos nmeros primos palindrmicos.

3.1 NMEROS PRIMOS PALINDRMICOS COMPOSTOS
POR UM NICO DGITO

Existe um tipo especial de nmero palindrmico que formado por
apenas um nico dgito. Considerando D o conjunto dos dgitos, ou seja,
{0,1,2, ,9} D = e k o nmero de dgitos que formam o palndromo, tm-se:

[ ] k
k
D D D =

Considerando isto como uma cadeia de caracteres, ento:

[1]
[ 1] [ ] k k
D D
D D D
+
=
=

Se o palndromo for considerado um nmero, ento matematicamente:

63

[1]
[ 1] [ ]
#
# # 10
k k
D D
D D D
+
=
= +

Por exemplo, considerando D = 2, os primeiros 4 palndromos so:

[1]
[2] [1]
[3] [2]
[4] [3]
[1]
[2] [1 1] [1]
[3] [2 1] [2]
[4] [3 1] [3]
2 2
2 2 2 22
2 2 2 222
2 2 2 2222
#2 2
#2 #2 #2 10 2 2 10 2 22
#2 #2 #2 10 2 22 10 2 222
#2 #2 #2 10 2 222 10 2 2222
ou
+
+
+
=
= =
= =
= =
=
= = + = + =
= = + = + =
= = + = + =

Para que se obtenha um nmero primo palindrmico de um nico dgito,
esse dgito s pode ser o 1, pois caso contrrio, o palndromo seria divisvel
pelo prprio dgito, e portanto, no poderia ser primo. Por exemplo:

3333 3 1111
55555 5 11111
777777 7 111111
9999999 9 1111111
=
=
=
=

Assim, os nicos primos palindrmicos de um nico dgito, so os
formados pelo dgito 1.

Outra observao feita atravs da anlise de resultados obtidos
computacionalmente sobre os nmeros primos palindrmicos de um nico
dgito, que a quantidade de dgitos deve ser um nmero primo. E isto deu
origem ao seguinte teorema:

64

Teorema 3.1:
[ ]
Se #1 primo ento primo
k
k

Prova: Esta prova ser realizada utilizando o princpio da contraposio, ento
para isso, precisa-se provar que se k no primo, ento
[ ]
#1
k
no pode ser
primo.

Atravs da equao abaixo, est provado que independente de seu
valor, se k no primo ento
[ ]
#1
k
no pode ser primo.

[ ] [ ] [ ] [ 1] [ 1]
#1 #1 #1 (#(10 ) 10 1)
k M N M M N
k M N

=
= = +
(3.1)

Para exemplificar ento suponha que k no seja primo, dessa forma
existem duas possibilidades:

Caso k seja par ento ele divisvel por 2 e portanto pode-se assumir
que M=2, assim sendo:

[ ] [2 ] [2] [2 1] [ 1]
2
#1 #1 #1 (#(10 ) 10 1)
k N N
k N

=
= = +

Por exemplo:

[10] [2] [2 1] [5 1]
#1 #1 (#(10 ) 10 1) 11 101010101 1111111111

= + = =

Portanto, para k sendo par, ento
[ ]
#1
k
no pode ser primo.

Caso k seja mpar e no primo, ento k M N = para algum nmero
mpar M>2 e algum nmero mpar N>2 e a partir disso tem-se como exemplo:

65

[21] [3 7] [3] [3 1] [7 1]
[6]
#1 #1 #1 (#(10 ) 10 1)
111 (#(100) 10 1) 111 (100100100100100100 10 1)
111 1001001001001001001 111111111111111111111

= = +
= + = +
= =

Portanto, para k sendo mpar e no primo,
[ ]
#1
k
no pode ser primo.

Assim est provado por contraposio, que se
[ ]
#1
k
for primo ento k
ser necessariamente um primo.

Os nmeros construdos apenas utilizando o dgito 1, chamados de
repunits (que significa repeated units), j foram estudados previamente por
outros matemticos. Um desses estudos resultou em um teorema que diz que,
caso um repunit seja primo, ento necessrio que a quantidade de dgitos
desse repunit seja um primo. Apesar disto, esta nova prova introduzida neste
trabalho possui sua importncia devido a sua simplicidade em relao as
outras.

3.2 NMEROS PRIMOS PALINDRMICOS GENRICOS

Considere uma funo D D : bijetiva, no qual } 9 , , 1 , 0 { = D , e
tambm as variveis a, b, c, d, e, f, g, h, i, j, como qualquer elemento do
conjunto D (que no se repetem), dessa maneira, tm-se:

a j b i c h d g e f
f e g d h c i b j a
= = = = =
= = = = =
) ( , ) ( , ) ( , ) ( , ) (
, ) ( , ) ( , ) ( , ) ( , ) (

Uma seqncia de dgitos
0 1 n
d d d um palndromo modulo , se 0 n e
( )
i n i
d d
= ,
1 1
0, , , , ,
2 2
n n
i n
+ ( (

`
( (
( )
.

66

Por exemplo, para:

n 0 1 2 3 4 5 6 7 8 9
(n) 9 8 3 2 7 6 5 4 1 0
Tabela 3.1: Funo inversa

Tem-se que: 1, 23, 47, 566, 1818, 1188, 90365290 so exemplos de
palndromos mdulo .

Embora possa parecer estranho, os nmeros 11, 22, 44, 565, 1881,
90355309 no so palndromos mdulo , para este exemplo.

Note que a funo identidade em D, permite a criao de nmeros
palindrmicos que so conhecidos normalmente, ou seja, para:

n 0 1 2 3 4 5 6 7 8 9
(n) 0 1 2 3 4 5 6 7 8 9
Tabela 3.2: Funo identidade.

Alguns palndromos que podem ser formados a partir dessa funo so:

2, 11, 33, 747, 9889, 56211265 e eles so exemplos de palndromos que so
conhecidos geralmente.

Os nmeros palindrmicos normalmente discutidos so, portanto,
apenas um dos casos desta generalizao. Assim, para se gerar um novo tipo
de nmero primo palindrmico, basta alterar o comportamento da funo .

A quantidade de funes bijetivas que podem ser utilizadas igual a
10
5!
5
| |
|
\
+
10 8
4!
2 4
| || |
| |
\ \
+
10 6
3!
4 3
| || |
| |
\ \
+
10 4
2!
6 2
| || |
| |
\ \
+
10 2
1!
8 1
| || |
| |
\ \
+ 1 = 133651.

67

Desta maneira se torna invivel testar todos os comportamentos desta funo,
ento apenas alguns destes sero testados.

As funes que foram utilizadas neste trabalho foram:

n 0 1 2 3 4 5 6 7 8 9
1
(n) 0 1 2 3 4 5 6 7 8 9
Tabela 3.3: Funo
1
(n).

n 0 1 2 3 4 5 6 7 8 9
2
(n) 9 8 7 6 5 4 3 2 1 0
Tabela 3.4: Funo
2
(n).

n 0 1 2 3 4 5 6 7 8 9
3
(n) 1 0 3 2 5 4 7 6 9 8
Tabela 3.5: Funo
3
(n).

n 0 1 2 3 4 5 6 7 8 9
3
(n) 3 4 8 0 1 9 7 6 2 5
Tabela 3.6: Funo
4
(n).

Para algumas variaes da funo no foi obtido nenhum resultado
terico relevante, como as funes
3
e
4
. No entanto, algumas observaes
sobre estas funes sero apresentadas nos resultados computacionais.

A seguir sero realizadas observaes acerca de cada uma das
funes:

68

3.2.1 Funo
1

Como esta funo se trata da funo identidade, ento os palndromos
gerados por ela so os palndromos normais e, portanto, os teoremas e
conjecturas dos primos palindrmico normais se aplicam aqui.

Por exemplo, os nmeros primos palindrmicos gerados utilizando esta
funo tm sempre uma quantidade mpar de dgitos. A nica exceo o
nmero 11.

O principal motivo da utilizao desta funo realizar uma anlise
comparativa da densidade destes nmeros em relao s outras funes, alm
de tentar descobrir um nmero primo palindrmico bastante grande que possa
evidenciar a infinitude dos nmeros primos palindrmicos.

3.2.2 Funo
2

Assim como a funo anterior, esta funo s gera primos se a
quantidade de dgitos for mpar. Isso acontece porque se a quantidade de
nmeros fosse par, ele sempre seria divisvel por 9, j que a soma dos seus
dgitos seria um mltiplo de 9.

Por exemplo, dado o palndromo mdulo
2
679023 ao se somar seus
dgitos so obtidos: 6 3 9,7 2 9,9 0 9 + = + = + = resultando em 27 no total, assim
este nmero deve ser divisvel por 9. E realmente 679023 9 75447 = .

Alm disto, quando a quantidade de dgitos impar, o nmero s poder
ser primo se o nmero que fica no centro do palndromo for diferente de 0, 3, 6,
9, pois caso contrrio ele seria divisvel por 3.

69

Tomando o exemplo anterior e inserindo o dgito 6 no meio, tem-se o
palndromo de mdulo
2
6796023, mas realizando a soma de seus dgitos
obtido 27 6 33 + = que mltiplo de 3. Logo, o nmero 6796023 composto.

70

4 TESTES COMPUTACIONAIS

Os testes computacionais foram realizados utilizando a linguagem de
programao Java e o Ambiente de Desenvolvimento Integrado (IDE) Eclipse,
desde a fase de desenvolvimento dos algoritmos geradores dos nmeros
palindrmicos, at os testes de primalidade e os algoritmos para a anlise dos
dados obtidos.

A ferramenta Eclipse foi utilizada porque ela permite um rpido
desenvolvimento dos algoritmos com algumas facilidades para o usurio, como
por exemplo, a funo auto-completar. Ela possui um depurador bastante
poderoso, o que auxilia bastante no processo de deteco de possveis erros
nos algoritmos. A linguagem Java foi utilizada por possuir nativamente suporte
a nmeros muito grandes atravs da abstrao BigInteger.

Estes testes foram todos completamente realizados no LABLIC
(Laboratrio de Inteligncia e Lgica Computacional) do DIMAp (Departamento
de Informtica e Matemtica Aplicada). O Sistema Operacional utilizado foi o
Linux Ubuntu e a mquina utilizada possua um processador Core 2 Duo da
Intel e 1 Gigabyte de Memria de Acesso Aleatrio (RAM).

Devido s limitaes de Hardware e tempo, seria impraticvel tentar
encontrar o maior nmero primo, portanto apenas algumas observaes
puderam ser efetuadas. Para se ter uma vaga idia, para se encontrar o maior
nmero primo em 2006, foram utilizadas 70000 mquinas ligadas em Cluster
funcionando durante nove meses. Se fosse utilizada uma nica mquina, um
resultado s seria obtido em 4 mil anos! [39]

Durante a primeira fase de testes, os algoritmos produzidos eram
responsveis por gerar uma enorme lista com os possveis nmeros a serem

71

testados, bem como a manipulao desta lista. Os algoritmos deveriam ser
capazes de realizar as operaes de exibir na tela, bem como comear os
testes de primalidade a partir de um dado nmero dentro daquela lista. Os
resultados obtidos foram salvos em arquivos texto a partir de um simples
redirecionamento do buffer de sada da tela para o arquivo escolhido.

Escolher o teste de primalidade que seria utilizado foi uma tarefa
bastante complicada, pois a princpio a idia seria utilizar o algoritmo
determinstico e polinomial AKS. Apesar das caractersticas desejveis deste
algoritmo, na prtica ele de difcil implementao e muito lento em relao
aos algoritmos probabilsticos. Em seguida a segunda opo foi implementar e
utilizar o teste de primalidade de Miller-Rabin probabilstico pois este algoritmo
no se baseia em nenhuma hiptese, o que no o caso da verso
determinstica, que se baseia na hiptese de Riemann, que ainda no foi
provada.

O teste de Miller-Rabin foi o algoritmo escolhido para a realizao dos
testes computacionais de primalidade deste trabalho, pois ele bastante veloz
comparado aos determinsticos, sua lgica simples de implementar e para
diminuir a chance de erro basta testar a mesma instncia vrias vezes apenas
alterando a testemunha. Juntamente com este teste, a abstrao BigInteger da
linguagem Java, fornece um mtodo que tambm verifica probabilisticamente
se um nmero primo. Esta verso do teste da API do Java, uma outra
implementao do Miller-Rabin e do Lucas-Lehmer. Ele foi utilizado juntamente
com a nossa implementao do Miller-Rabin para alguns casos de teste.
Aumentamos a preciso do nosso teste utilizando os dois testes em conjunto.

Para o caso de teste dos nmeros primos compostos de um nico dgito,
foi verificada a primalidade de pouco menos de 1400 nmeros, dos quais os
ltimos nmeros desta seqncia tm mais de 11000 dgitos. Este teste de
primalidade para nmeros compostos de um nico dgito durou cerca de 9 dias.
Como ocorre um aumento de pelo menos dois dgitos nos nmeros em cada

72

iterao, o tempo de execuo de cada passo aumenta exponencialmente e
tambm o custo computacional.

Neste trabalho foram gerados cerca de 2 bilhes de nmeros
palindrmicos diferentes por funo, sendo suficiente para uma anlise da
densidade destes nmeros.

73

5 RESULTADOS COMPUTACIONAIS

Os resultados que foram obtidos atravs de testes computacionais bem
como a anlise estatstica destes resultados sero apresentados nesta seo.

PALINDRMICOS COMPOSTOS POR UM NICO
DGITO:

A tabela a seguir possui algumas estatsticas computacionais a respeito
dos nmeros compostos por um nico dgito.

Quantidade nmeros de um nico dgito testados. 1387
Quantidade de dgitos do maior nmero explorado. 11503
Quantidade de dgitos do maior nmero primo encontrado. 1031
Quantidade de nmeros primos encontrados. 5
Porcentagem de nmeros primos. 0,36%
Quantidade de nmeros com a quantidade de dgitos igual a um
nmero primo.
5
Tabela 5.1: Resultados Computacionais para Palndromos Compostos por um nico Dgito.

Todos os nmeros testados possuam uma quantidade prima de dgitos,
pois esta uma condio necessria para o nmero
[ ]
#1
p
ser primo, como foi
provado no Teorema 3.1. A partir da, foram realizados testes de primalidade
para os primeiros 1387 nmeros com quantidade prima de dgitos.

Como j foi observado nos resultados tericos, o nico dgito que d
origem a nmeros primos compostos por um nico dgito o nmero 1.
Portanto todo o primo composto por um nico dgito termina com o nmero 1.

74

A tendncia que a densidade destes nmeros primos se torne cada
vez menor conforme o espao amostral vai aumentando.

PALINDRMICOS GENRICOS:

5.2.1 Funo
1

As tabelas que sero apresentadas a seguir possuem alguns resultados
computacionais com relao aos nmeros palindrmicos mdulo
1
.

Para nmeros palindrmicos mdulo
1
com uma quantidade de dgitos
mpar os seguintes resultados computacionais foram obtidos.

Quantidade de nmeros palindrmicos testados 1000000000
Quantidade de nmeros primos palindrmicos obtidos 30483564
Quantidade de nmeros compostos palindrmicos
obtidos
969516436
Maior nmero primo obtido 99999999299999999
Quantidade de nmeros primos palindrmicos que
terminam com o dgito 1
7785054
7623865
7541074
7533569
1
com uma quantidade de
dgitos mpar.

75

1
par os seguintes resultados computacionais foram obtidos.

obtidos
999999999
1
0
0
0
1
dgitos par.

Finalmente os resultados computacionais para palndromos mdulo
1

so apresentados na tabela abaixo.

Total de nmeros testados 2000000000
Total de nmeros primos palindrmicos que terminam
com o dgito 1
7785055
com o dgito 3
7623865
com o dgito 7
7541074
com o dgito 9
7533569

76

Total de nmeros primos palindrmicos obtidos 30483565
Total de nmeros compostos palindrmicos obtidos 1969516435
Percentual total de nmeros primos: 1.547769%
1
.

Considerando a densidade dos nmeros primos palindrmicos de
mdulo
1
para um intervalo de um at
18
10 , tem-se:

De 1 at
17
10
30483565
De
17
10 1 + at
17
2 10
0
De
17
2 10 1 + at
17
3 10
0
De
17
3 10 1 + at
17
4 10
0
De
17
4 10 1 + at
17
5 10
0
De
17
5 10 1 + at
17
6 10
0
De
17
6 10 1 + at
17
7 10
0
De
17
7 10 1 + at
17
8 10
0
De
17
8 10 1 + at
17
9 10
0
De
17
9 10 1 + at
18
10
0
Tabela 5.5: Densidade dos nmeros primos para Palndromos mdulo
1
.

Os testes de primalidade foram realizados sobre os 2000000000
primeiros nmeros palindrmicos mdulo
1
.

Como podem ser observados nos resultados computacionais, os
nmeros primos palindrmicos nunca possuem uma quantidade de dgitos par
com exceo do palndromo 11 e isto foi provado por Shareef Bacchus
utilizando o mtodo da induo[32].

Outro fator a ser observado que a distribuio dos nmeros primos
levando em considerao o ltimo dgito bem equilibrada.

77

Pelo fato de palndromos mdulo
1
nunca possurem uma quantidade
par de dgitos, ento a densidade de nmeros primos para esta funo no
ser homognea, na realidade os nmeros primos menores que
18
10 se
concentram exclusivamente no intervalo entre 1 e
17
10 .

5.2.2 Funo
2

2
.

2

obtidos
978180757
7142532
7220591
7456118
0
2
dgitos mpar.

78

2

obtidos
1000000000
Maior nmero primo obtido Nenhum
0
0
0
0
2
dgitos par.

2


com o dgito 1
7142532
com o dgito 3
7220591
com o dgito 7
7456118
com o dgito 9
0

79

2
.

mdulo
2
18
10 , tem-se:

De 1 at
17
10
30483565
De
17
10 1 + at
17
2 10
0
De
17
2 10 1 + at
17
3 10
0
De
17
3 10 1 + at
17
4 10
0
De
17
4 10 1 + at
17
5 10
0
De
17
5 10 1 + at
17
6 10
0
De
17
6 10 1 + at
17
7 10
0
De
17
7 10 1 + at
17
8 10
0
De
17
8 10 1 + at
17
9 10
0
De
17
9 10 1 + at
18
10
0
2
.

2
.

Como podem ser observados nos resultados computacionais, os
nmeros primos palindrmicos nunca possuem uma quantidade de dgitos par,
este fato j foi previamente explicado na seo 3.2.2.

Alm disto, como no existe nenhum nmero que comece com 0, ento
tambm no existe nenhum nmero primo palindrmico que termine em 9,
devido as caractersticas da funo
2
.

80

levando em considerao o ltimo dgito e excetuando os que terminam em 9,
bem equilibrada.

Como os palndromos mdulo
2
nunca possuem uma quantidade par de
dgitos, ento a densidade de nmeros primos para esta funo no ser
homognea e assim como a funo
1
, os nmeros primos menores que
18
10
se concentram apenas no intervalo entre 1 e
17
10 .

5.2.3 Funo
3

3
.

3

obtidos
977814047
0
7533748
7343875
Quantidade de nmeros primos palindrmicos que 7308328

81

3
com uma quantidade
de dgitos mpar.

3

obtidos
977813283
0
7488721
7345867
7352126
3
com uma quantidade
de dgitos par.

3


com o dgito 1
0
com o dgito 3
15022469

82

com o dgito 7
14689742
com o dgito 9
14660454
3
.

mdulo
3
18
10 , tem-se:

De 1 at
17
10
24125032
De
17
10 1 + at
17
2 10
0
De
17
2 10 1 + at
17
3 10
6832415
De
17
3 10 1 + at
17
4 10
0
De
17
4 10 1 + at
17
5 10
0
De
17
5 10 1 + at
17
6 10
0
De
17
6 10 1 + at
17
7 10
6702569
De
17
7 10 1 + at
17
8 10
0
De
17
8 10 1 + at
17
9 10
6712654
De
17
9 10 1 + at
18
10
0
3
.

3
.

De acordo com os resultados computacionais explicitados nas tabelas
anteriores, os nmeros primos palindrmicos gerados a partir da funo
3
so
independentes da quantidade de dgitos. Isto causa um aumento na quantidade

83

total de nmeros primos produzidos, resultando num percentual de nmeros
primos maior que as duas funes previamente apresentadas.

tambm no existe nenhum nmero primo palindrmico mdulo
3
que termine
em 1, devido as caractersticas da funo
3
.

bem equilibrada.

Como os nmero primos, com exceo do nmero 5, s podem terminar
com os dgitos 1, 3, 7 e 9, os palndromos mdulo
3
s podero ser primos
caso estes se iniciem com os dgitos 2, 6 e 8. Portanto apenas os intervalos
que possuem nmeros que comeam com esses dgitos, podem produzir
nmeros primos mdulo
3
. E de fato os intervalos de 1 at
17
10 ,
17
2 10 1 + at
17
3 10 ,
17
6 10 1 + at
17
7 10 e
17
8 10 1 + at
17
9 10 so os nicos que
produzem nmeros primos, para palndromos menores que
18
10 .

5.2.4 Funo
4

4
.

4

Quantidade de nmeros compostos palindrmicos 978037527

84

obtidos
7363172
1
7284642
7314656
4
com uma quantidade
de dgitos mpar.

4

obtidos
979270403
6935362
0
6882202
6912029
4
com uma quantidade
de dgitos par.

85

4


com o dgito 1
14298534
com o dgito 3
1
com o dgito 7
14166844
com o dgito 9
14226685
4
.

mdulo
4
18
10 , tem-se:

De 1 at
17
10
24298930
De
17
10 1 + at
17
2 10
0
De
17
2 10 1 + at
17
3 10
0
De
17
3 10 1 + at
17
4 10
0
De
17
4 10 1 + at
17
5 10
6154015
De
17
5 10 1 + at
17
6 10
6132006
De
17
6 10 1 + at
17
7 10
6107119
De
17
7 10 1 + at
17
8 10
0
De
17
8 10 1 + at
17
9 10
0

86

De
17
9 10 1 + at
18
10
0
4
.

4
.

De acordo com os resultados computacionais explicitados nas tabelas
anteriores, os nmeros primos palindrmicos gerados a partir da funo
4
so
independentes da quantidade de dgitos. Isto causa um aumento na quantidade
total de nmeros primos produzidos, resultando num percentual de nmeros
primos maior que as duas funes previamente apresentadas.

devido as caractersticas da funo
4
, existe apenas um nmero primo
palindrmico mdulo
4
que termine em 3, que o prprio.

bem equilibrada.

Como os nmero primos, com exceo do nmero 5, s podem terminar
com os dgitos 1, 3, 7 e 9, os palndromos mdulo
4
s podero ser primos
caso estes se iniciem com os dgitos 4, 6 e 5. Portanto apenas os intervalos
que possuem nmeros que comeam com esses dgitos, podem produzir
nmeros primos. E de fato os intervalos de 1 at
17
10 ,
17
4 10 1 + at
17
5 10 ,
17
5 10 1 + at
17
6 10 e
17
6 10 1 + at
17
7 10 so os nicos que produzem
nmeros primos mdulo
4
, para palndromos menores que
18
10 .

87

6 CONSIDERAES FINAIS

O objetivo deste trabalho foi tentar evidenciar computacionalmente a
infinitude dos nmeros primos palindrmicos, alm de realizar algumas
generalizaes sobre eles. Alm disto, este trabalho proporcionou uma viso
abrangente sobre assuntos correlacionados aos objetivos, para que se
tornasse bastante claro ao leitor quais foram as bases para a construo deste
trabalho.

A partir dos resultados computacionais obtidos na seo anterior,
possvel conjecturar que:

Conjectura 1: Para qualquer que seja a funo , a quantidade de nmeros
primos palindrmicos mdulo sempre infinita.

Caso esta conjectura seja comprovada, pode-se afirmar com certeza
que os nmeros primos palindrmicos normais so realmente infinitos, j que
eles so apenas um caso particular dos nmeros palindrmicos mdulo .

Um fato que pode ser provado facilmente que para qualquer funo ,
se todo ( ) i i + for divisvel por 3, ento no existir nenhum palndromo
primo mdulo com uma quantidade par de dgitos.

Uma generalizao tambm pode ser realizada sobre os nmeros
primos escritos a partir de um nico dgito. Para se obter esta generalizao,
considera-se n o nmero de repeties de uma seqncia s, no qual
e s n , ento possvel observar, que se
[ ] n
s primo, ento s=1 ou
n=1. Isto claramente verdadeiro, pois caso contrrio, a seqncia
[ ] n
s seria
divisvel pelo prprio s.

88

Apesar de amplamente estudado por muitos matemticos, os nmeros
primos palindrmicos ainda possuem uma grande quantidade de questes sem
resposta, e isto associado as suas propriedades especiais, um grande
incentivo para o estudo destes maravilhosos nmeros.

Assim, uma continuao dos testes computacionais anteriores para uma
quantidade ainda maior de nmeros e dgitos, poderia ser realizada
futuramente, com o objetivo de evidenciar cada vez mais a infinitude dos
nmeros primos palindrmicos.

89

REFERNCIAS

[1] LOVSZ, Lszl; PELIKN, Jzsef; VESZTERGOMBI, Katalin. Discrete
Mathematics: Elementary and Beyond. Springer-Verlag, 2003.

[2] SHOUP, Victor; A Computational Introduction to Number Theory and
Algebra. Cambridge University Press, 2005.

[3] GRAHAM, Ronald L., KNUTH, Donald E., PATASHNIK, Oren. Concrete
mathematics: a foundation for computer science. Addison-Wesley, 1989.

[4] Primorial Prime Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Primorial_prime. Acesso em: 22 de maio de 2008.

[5] Euclid Number Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Euclid_number. Acesso em: 22 de maio de 2008.

[6] Prime Number Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Prime_number. Acesso em: 22 de maio de 2008.

[7] SHOKRANIAN, Salahoddin. Criptografia para Iniciantes. Braslia:
Editora Universidade de Braslia, 2005. 94p.

[8] RIBENBOIM, Paulo. Nmeros Primos: Mistrios e Recordes. Rio de
Janeiro: Associao Instituto Nacional de Matemtica Pura e Aplicada, 2001.
292p.

[9] Smarandache-Wellin Number Wikipedia, the free encyclopedia.
Disponvel em: http://en.wikipedia.org/wiki/Smarandache-Wellin_prime. Acesso
em: 22 de maio de 2008.

90

[10] Truncable Prime Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Truncatable_prime. Acesso em: 22 de maio de
2008.

[11] Fibonacci Number Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Fibonacci_number. Acesso em: 22 de maio de 2008.

[12] Palndromo Wikipdia, a enciclopdia livre. Disponvel em:
http://pt.wikipedia.org/wiki/Pal%C3%ADndromo. Acesso: 22 de maio de 2008.

[13] Palindrome Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Palindrome. Acesso em: 22 de maio de 2008.

[14] Rmulo Marinho Wikipdia, a enciclopdia livre. Disponvel em:
http://pt.wikipedia.org/wiki/R%C3%B4mulo_Marinho. Acesso em: 22 de maio de
2008.

[15] Hunting The Muse: Palindrome Poem. Disponvel em:
http://www.museworld.com/archives/001265.html. Acesso em: 22 de maio de
2008.

[16] Capicua Wikipdia, a enciclopdia livre. Disponvel em:
http://pt.wikipedia.org/wiki/Capicua. Acesso em: 22 de maio de 2008.

[17] Palindromic Number Wikipedia, the free encyclopedia. Disponvel
em: http://en.wikipedia.org/wiki/Palindromic_number. Acesso em: 22 de maio
de 2008.

[18] Lychrel Number Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Lychrel_number. Acesso em: 22 de maio de 2008.

91

[19] WESTLEY, Brian. International Obfuscated C Code Contest.
Disponvel em: http://www0.us.ioccc.org/1987/westley.c. Acesso em: 22 de
maio de 2008.

[20] Millr Fernandes Wikipdia, a enciclopdia livre. Disponvel em:
http://pt.wikipedia.org/wiki/Mill%C3%B4r_Fernandes. Acesso em: 22 de maio
de 2008.

[21] DIRICHLET, Peter Gustav Lejeune. Lectures on number theory.
Traduo por: John StillWell. American Mathematical Society, 276p. (History of
mathematics; v. 16 ; Suplementos por R. Dedekin).

[22] AGRAWAL, Manindra; BISWAS, Somenath. Primality and Identity
Testing via Chinese Remaindering. 21 de Fevereiro de 2003.

[23] AGRAWAL, Manindra; KAYAL, Neeraj; SAXENA, Nitin. Prime is in P.
Annals of Mathematics, 160 (2004) 781-793. 24 de Janeiro de 2003.

[25] Co-NP Wikipedia, the free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Co-NP. Acesso em 29 de maio de 2008.

[26] WEISSTEIN, Eric W. MathWorld News: Primality Testing is easy.
Disponvel em: http://mathworld.wolfram.com/news/2002-08-07/primetest/.
Acesso em 29 de maio de 2008.

[27] WEISSTEIN, Eric W. MathWorld News: Palindromic Prime. Disponvel
em: http://mathworld.wolfram.com/PalindromicPrime.html. Acesso em: 9 de
junho de 2008.

[28] HONAKER, G. L; CALDWELL, Chris K. Supplement to "Palindromic
Prime Pyramids". Disponvel em:

92

http://www.utm.edu/staff/caldwell/supplements/. Acesso em: 9 de junho de
2008.

[29] CALDWELL, Chris. The Prime Glossary: palindromic prime. Disponvel
em: http://primes.utm.edu/glossary/page.php?sort=PalindromicPrime. Acesso
em: 9 de junho de 2008.

[30] SILVEIRA, J. F. Porto da. Clculo de Nmeros primos: colocaes
iniciais. Disponvel em: http://www.mat.ufrgs.br/~portosil/pqprimo.html. Acesso

[31] OLIVEIRA, Sara; VENTURA, Helena; PAIS, Alexandre. Histria dos
nmeros primos. Disponvel em:
http://www.educ.fc.ul.pt/icm/icm98/icm12/Historia.htm. Acesso em: 9 de junho
de 2008.

[32] SHAREEF, Bacchus. Those Amazing Palindromes. Disponvel em:
http://jwilson.coe.uga.edu/emt669/Student.Folders/Bacchus.Mohamed/pal/pal.ht
ml. Acesso em: 9 de junho de 2008.

[33] PETERSON, Ivars. Primes, Palindromes and Pyramids. Disponvel
em:http://www.sciencenews.org/view/generic/id/6506/title/Primes%2C_Palindro
mes%2C_and_Pyramids. Acesso em: 9 de junho de 2008.

[34] BEDREGAL, Benjamin Callejas. Nondeterministic Linear Automata.
Journal of Automata, Language and Combinatorics. Submitted.

[35] Crivo de Eratstenes Wikipdia, A enciclopdia livre. Disponvel
em: http://pt.wikipedia.org/wiki/Crivo_de_Erat%C3%B3stenes. Acesso em: 30
de maio de 2008.

93

[36] Primality Test Wikipedia, The free encyclopedia. Disponvel em:
http://en.wikipedia.org/wiki/Primality_test. Acesso em: 30 de maio de 2008.

[37] AKS primality test Wikipedia, The free encyclopedia. Disponvel
em: http://en.wikipedia.org/wiki/AKS_primality_test. Acesso em: 31 de maio de
2008.

[38] Miller-Rabin primality test Wikipedia, The free encyclopedia.
Disponvel em: http://en.wikipedia.org/wiki/Miller-Rabin_primality_test. Acesso

[39] 44
th
Mersenne Prime Discovered. Disponvel em:
http://www.mersenne.org/32582657.htm. ORLANDO, Florida. 11 de Setembro
de 2006. Acesso em: 04 de junho de 2008.

94

ANEXOS

Os 187 nmeros a seguir representam os nmeros palindrmicos
compostos apenas pelo dgito 1 e foram gerados a partir do teorema 3.1, para
que seja possvel encontrar algum primo. O nmero representa a quantidade
de vezes que o nmero 1 foi repetido, ou seja, o nmero representa o valor de
k para a seqncia
[ ]
#1
k
, e ele pode ser seguido pelos caracteres primo
para indicar que o
[ ]
#1
k
primo. Embora tenham sido gerados 1387 nmeros,
apenas 187 so apresentados, j que nenhum k > 1031 dentro deste intervalo
primo.

2 primo.
3
5
7
11
13
17
19 primo
23 primo
29
31
37
41
43
47
53
59
61
67
71
293
307
311
313
317 primo
331
337
347
349
353
359
367
373
379
383
389
397
401
409
419
677
683
691
701
709
719
727
733
739
743
751
757
761
769
773
787
797
809
811
821

95

73
79
83
89
97
101
103
107
109
113
127
131
137
139
149
151
157
163
167
173
179
181
191
193
197
199
211
223
227
229
233
239
421
431
433
439
443
449
457
461
463
467
479
487
491
499
503
509
521
523
541
547
557
563
569
571
577
587
593
599
601
607
613
617
823
827
829
839
853
857
859
863
877
881
883
887
907
911
919
929
937
941
947
953
967
971
977
983
991
997
1009
1013
1019
1021
1031 primo
1033

96

241
251
257
263
269
271
277
281
283
619
631
641
643
647
653
659
661
673
1039
1049
1051
1061
1063
1069
1087
1091
1093

Primos Palindrômicos e Generalizações

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Primos Palindrômicos e Generalizações

Caricato da

Copyright:

Formati disponibili

Universidade Federal do Rio Grande do Norte

Centro de Cincias Exatas e da Terra

Potrebbero piacerti anche