PRIMALIDADE: FUNDAMENTOS, TESTES E PERSPECTIVAS

PRIMALIDADE: FUNDAMENTOS, TESTES E PERSPECTIVAS José Aluízio Ferreira Lima 1 Sinval Braga de Freitas 2 RESUMO Neste trabalho procuramos mostrar a evolução histórica e a situação atual relativa a testes de primalidade, seus fundamentos teóricos, os caminhos trilhados e perspectivas sobre o assunto. Palavras-chave: primalidade, testes, história. 1. INTRODUÇÃO O artigo trata sobre testes de primalidade. É uma área da matemática pura, mais especificamente vinculado a Teoria dos Números e a teoria Analítica dos Números. Envolve também a Matemática Computacional. Na realidade é um assunto transversal que faz um corte nos três campos do conhecimento matemático. Mais especificamente o artigo tem em vista mostrar a situação atual relativa a testes de primalidade, seus fundamentos teóricos, os caminhos trilhados e perspectivas sobre o assunto. O desenho do artigo é assim caracterizado: focaliza os estudos sobre testes da primalidade, fundamentos teóricos e algoritmos; busca levantar o estado da arte sobre o assunto; visa mostrar caminhos e perspectivas para estudo sobre testes de primalidade; e aborda a idéia de que estamos vivendo um grande momento da matemática em relação à Teoria dos Números Primos e que em função das demandas atuais novos testes de primalidade surgirão. O que justifica este artigo são sua oportunidade e relevância: a) os sistemas de criptografia atuais demandam a utilização de grandes números primos e o levantamento sobre a situação atual sobre testes de primalidade, seus fundamentos teóricos e perspectivas de desenvolvimento podem ser apropriados; b) é relevante, pois o surgimento da necessidade de confirmação da primalidade de um número inteiro para sua utilização nos sistemas de criptografia atuais está na pauta do dia; c) um trabalho organizado e sistematizado sobre tentativas, resultados obtidos e perspectivas sobre testes de primalidade pode contribuir para a própria Teoria dos Números. A primeira parte estabelece as categorias de análise do artigo: avanço conceitual, técnico e tecnológico. O avanço conceitual será muitas vezes chamado de salto conceitual, revolução conceitual, grande momento dos números primos, dentre outros; fala ainda de algoritmos P e NP. A segunda parte trata de uma breve história dos números primos, segundo as categorias anteriormente definidas. A terceira cuida da análise dos fundamentos teóricos de alguns importantes testes de primalidade, utilizando, principalmente, as categorias já mencionadas. É finalizado com uma conclusão que mostra os resultados e perspectivas atuais sobre o assunto. Ao finalizar esta introdução é preciso destacar a importância dos números primos, que vai muito além das suas aplicações práticas em computação e criptografia, como muitos pensam hoje em 1 José Aluizio Ferreira Lima - Licenciando em Matemática 2 Orientador

dia. Não existiria a Teoria dos Números sem os primos, sem seu conceito e propriedades decorrentes. As obras de Legendre e Gauss mostram isso. 2. CATEGORIAS DE ANÁLISE O referencial teórico para estudo está caracterizado pelas seguintes categorias de análise: avanço conceitual, avanço técnico e avanço tecnológico. 2.1 Avanço Conceitual Ao realizar uma leitura atenta sobre a história matemática e da biografia de grandes matemáticos é fácil identificar, implicitamente, o processo de criação na matemática e os caminhos seguidos para o desenvolvimento de determinadas teorias ou ramos matemáticos. Isto é muito importante, porque permite explicitar a realidade subjacente ao processo desenvolvimento da matemática, com base nos procedimentos de descoberta dos fatos matemáticos, que se inicia com um problema prático ou teórico, uma intuição e o conseqüente processo de experimentação em torno do assunto ou problema, passando por um momento heurístico até a formalização final e a conseqüente exploração das aplicações. O fato histórico matemático relevante ou grandes momentos da matemática, que aparecem sob a forma de uma descoberta importante, só ocorre depois de um período de maturação que desemboca em uma solução mais geral e inovadora. É quando ocorre um avanço conceitual significativo ou revolucionário. 2.2 Avanço Técnico O avanço técnico ocorre, em matemática, quando realizado um salto conceitual significativo, um grupo de matemáticos explora o novo caminho, descobrindo novos métodos e técnicas que facilitam o desenvolvimento teórico e prático do assunto. Por exemplo, após os avanços conceituais realizados por Cauchy e Riemann em relação ao Cálculo Diferencial e Integral, um novo conjunto fundamental de teoremas, métodos e técnicas referentes ao cálculo foi desenvolvido. Foram avanços técnicos importantes, mas não foram avanços conceituais. O avanço técnico em matemática sempre ocorre em torno de um conceito já anteriormente desenvolvido. É importante na matemática, mas não tem o potencial de transformação do avanço conceitual. 2.3 Avanço Tecnológico Para definir o conceito de avanço tecnológico em matemática é apresentado um exemplo dado por (John J O'Connor e Edmund Robertson F, 2008), em uma tradução livre: Um desafio. Se você acha que os conceitos matemáticos são de fácil descoberta, então lanço aqui é um desafio para fazer você pensar. Napier e Briggs e outros introduziram no mundo os logaritmos à quase 400 anos atrás. Estes foram utilizados por 350 anos, como a principal ferramenta de cálculo científico, financeiro e aritmético. Uma espantosa quantidade de trabalho e 2

esforço foi evitada usando logaritmos. Como poderiam ter sido realizados os pesados e volumosos cálculos necessários nas ciências sem a existência dos logaritmos? Então, o mundo mudou. A calculadora de bolso apareceu. O logaritmo continua a ser uma importante função matemática, mas a sua utilização no cálculo foi embora para sempre. Aqui está o desafio. O que irá substituir a calculadora de bolso? Você poderá dizer que esta é uma pergunta injusta. Entretanto deixe-me lembrá-lo de que Napier inventou os conceitos básicos de um computador mecânico, ao mesmo tempo do que os logaritmos e as respectivas tabelas. As idéias básicas que levarão à substituição da calculadora de bolso estão com certeza nas coisas que nos rodeiam... Podemos pensar em calculadoras mais rápidas, calculadoras menores, calculadoras melhores, mas eu estou pedindo algo tão diferente da calculadora como a calculadora é em si diferente da tabela de logaritmos. Tenho uma resposta à minha pergunta, mas ela iria estragar o meu ponto de desafio se eu disser aqui qual ela é. Pense sobre isso pois sabemos quão difícil foi inventar a geometria não euclidiana, os grupos, relatividade geral, teoria dos conjuntos... Pelo exemplo acima fica evidente o conceito de avanço tecnológico. No caso temos em relação às tabelas de logaritmo e às calculadoras de bolso, um avanço tecnológico precedido de avanços conceituais. Isto quase sempre acontece. 3. BREVE HISTÓRIA CONCEITUAL DOS NÚMEROS PRIMOS Uma breve resenha histórica do estudo dos números primos, começando pelos gregos até o advento do algoritmo AKS, mostra alguns momentos com características próprias muito específicas. Estes momentos serão chamados de momentos significativos para os números primos. São períodos históricos, longos ou curtos, quando os números primos receberam tratamento diferenciado e com especificidade própria, além de sua importante utilização na teoria dos números. Estes momentos significativos são essencialmente marcados por avanços conceituais e técnicos. 3.1 Período Grego Este período vai de 300 a.c., com o desenvolvimento axiomático da geometria e da teoria dos números (aritmética para os gregos), registrados nos Elementos de Euclides, até 194 a.c. com a morte de Erastóstenes, criador do primeiro teste de primalidade (Eves, 2004). É quando surge a idéia de número principal (primo) e secundário (composto). Para o Grego, os primos são blocos a partir dos quais os números são construídos. Euclides define o conceito de número primo, demonstra que o conjunto dos primos é infinito e apresenta o principio parcial da fatoração única de um número composto; desenvolve o "algoritmo de Euclides", para determinar o máximo divisor comum entre dois números utilizado com a finalidade encontrar um segmento de reta que cuja medida fosse comum a vários outros segmentos; estabelece proposições sobre o menor múltiplo comum; define o conceito de co-primos. Estes conceitos não são gratuitos, pois surgiram de necessidades de medidas geométricas. Erastóstenes cria o método de peneirar a seqüência dos naturais - o Crivo de Erastóstenes - recolhendo os primos da série. Conhecida a seqüência dos primos era possível identificar as medidas - números - que 3

compunham um segmento de reta, uma figura plana ou um sólido, pelo processo de divisão dos segmentos em fatores primos. Estes resultados eram utilizados, principalmente na teoria das proporções. Para analisar este momento, não podemos esquecer o período que antecedeu Euclides, com Tales de Mileto (585 a. C), como representante do início da geometria dedutiva, passando pela aritmética e geometria Pitagóricas. Com base num conjunto de conhecimento acumulados por seus antecessores, Euclides consolida um avanço conceitual brilhante e revolucionário com a publicação de seus Elementos de Geometria, que pela primeira vez apresenta a Matemática como um corpo de conhecimento organizado e sistematizado. Esta forma de organização condiciona o desenvolvimento da matemática até os dias de hoje. Ele lança as bases do Método Dedutivo de forma definitiva. Isto representa um avanço conceitual difícil de ser igualado. É por meio dos livros VII e IX de seus Elementos que ele estabelece os fundamentos da Teoria dos Números. Define número e pela primeira vez, de forma sistematizada, conceitua número primo e composto. É no seu tratado que o houve um avanço conceitual significativo do conceito de número, que passou da representação de quantidades e medidas, para um nível de abstração mais alto, representado por unidades em forma de segmentos de reta. Não tínhamos mais uma, duas ou três maçãs, ou 10 estádios, mas um segmento abstrato qualquer representando a unidade. E uma quantidade de unidades representando número. É esta definição muito mais abstrata de número que permite estabelecer novas definições, constituir e provar proposições. De qualquer modo, número era ainda era uma medida definida por uma unidade qualquer. Porém é a primeira definição de número que permite um desenvolvimento axiomático da teoria dos números por meio de definições e proposições. Este conceito de número, apesar do baixo nível de abstração, foi um avanço revolucionário para a época. A unidade não era número. Então, é interessante verificar como Euclides procedeu, estabelecendo conceitos que irão influenciar a Teoria dos Números por séculos. As imagens foram retiradas de (D.E.Joyce, 1997). Este é um resumo, onde estão abordados somente os aspectos assenciais para análise. A numeração é a adotada na obra de Euclides, Livros VII e IX. 3.1.1 Definição de Número Definição VII-1. A unidade é aquela que em virtude do qual cada uma das coisas que existe é chamado um. Definição VII-2. Um número é composto por uma multiplicidade de unidades. As definições 1 e 2 têm então a seguinte representação u Figura 1 4

Neste caso, se A é a unidade então o segmento BE é o número 3. O importante é que só porque ele representa os números por segmentos não significa que eles são segmentos, e ele nunca chama os números de segmentos. 3.1.2 Número Primo, Composto e Co-Primos Aqui são apresentados os conceitos fundamentais que orientaram ao longo do tempo (séculos) o desenvolvimento da Teoria dos Números. Definição VII-11. Um número primo é aquele que é medido somente pela unidade. Definição VII-12. Números relativamente primos são aqueles que têm somente a unidade como medida comum. Definição VII-13. Um número composto é aquele que é medido por algum número. Os números primos passam a formar um conjunto muito importante na Teoria dos Números. Grande parte desta teoria é dedicada à análise dos mesmos. Figura 2 Afigura (4) mostra muito bem o conceito de número primo. Pois o número três só pode ser medido pela unidade A. Qualquer outro segmento tomado em BE é parte de BE, mas não mede BE. Ao contrário, número composto é aquele que pode ser medido por algum número diferente da unidade. Assim na figura 5, o número dois, representado pelo segmento AB, mede o número seis, representado pelo segmento CF. Isto ocorre também com o número três. Figura 3 Este é um momento próprio para melhorar o entendimento sobre o significado de avanço conceitual. Basta comparar a definição de Euclides e a definição atual utilizada em Teoria dos Números. Para Euclides, número é uma multiplicidade que está associada a um segmento de reta unitário e número primo é aquele que só pode ser medido pela unidade; atualmente o conceito de número já está abstraído de qualquer relação com uma unidade de medida, seja ela qual for. E o conceito de numero primo esta vinculada ao conceito de divisor próprio de um número, quando define que número primo é aquele que só é divisível por si mesmo ou por 1. Esta definição representa um salto conceitual significativo. É também um progresso técnico importante, pois é muito mais operacional, facilitando definir axiomas, demonstrar proposições e desenvolver algoritmos. 5

3.1.3 O Algoritmo de Euclides Originalmente esta primeira proposição apresenta um algoritmo para determinar se dois números distintos são relativamente primos. A demonstração apresentada por Euclides é até certo ponto simples. Mas carece de uma interpretação adequada. É claro que quando os números não são coprimos, o resultado leva a encontrar o maior número que mede os dois números dados. Isto é, o algoritmo permite encontrar o máximo divisor comum (mdc) entre dois números distintos. Se o mdc for a unidade, os números são relativamente primos. Se for uma medida diferente da unidade, este é o maior número (ou medida) que mede os dois números dados. A seguir a proposição e a interpretação de sua demonstração em linguagem atual. Proposição IX-1. Dados dois números diferentes, se o menor é continuamente subtraído do maior e se o número que sobra nunca mede o anterior, até sobrar uma unidade, então os números originais são primos entre si. Demonstração. Começando com dois números, onde o menor é subtraído do maior tantas vezes que for possível. Para facilitar, vamos designar a 1 = AB e CD = a 2, onde, é claro, AB > CD. Então o primeiro passo é subtrair repetidamente a 2 de a 1, até encontrar um novo número (resto) a 3 ( AF ) menor que a 2. Algebricamente, na notação de hoje, fica assim: a 1 = m1a 2 + a3, onde m 1 é o número de vezes que o a 2 foi subtraído de a 1. Este passo subtraí repetidamente a 3 de a 2 deixando um resto a 4 (CG ): a 2 = m2a3 + a4, etc. Pela hipótese desta proposição, o algoritmo para quando a sobra é 1 (unidade no sentido de Euclides): a m a 1. n 1 = n 1 n + No caso AH que coincide com E dado como a unidade. Nesta prova de Euclides a unidade (1) é o a 5. Uma vez que não existe nenhum número (onde número é necessariamente uma multiplicidade de unidades) maior do que a unidade que divide 1 (a unidade de Euclides), não existe nenhum número que divide os dois números dados. Logo eles são co-primos. Figura 4 Nesta explicação partimos do princípio de que a unidade (1) é o resultado de um processo interativo. Este processo é uma prévia ao chamado Algoritmo de Euclides, fundamental no Desenvolvimento da Teoria dos Números. Proposição IX-2. Encontrar a maior medida comum entre dois números que não sejam relativamente primos. Aqui está o Algoritmo de Euclides em todo o seu esplendor e a demonstração é essencialmente a mesma da proposição 1, quando o algoritmo pára em um número que não é a unidade. Este número mede os números dados, e hoje é chamado mdc. 6

Para o que interessa a este artigo serão apresentadas mais três proposições referentes a aspectos fundamentais para os números primos, pois mostra avanços conceituais importantes para a Teoria dos Números: a proposição que afirma que qualquer número composto tem um fator primo, uma versão fraca do Teorema Fundamental da Aritmética e a Infinitude da Seqüência dos Primos. Antes de passar às explicações é importante ressaltar a última proposição O Conjunto dos Números Primos é Infinito embora demonstrada pelo próprio Euclides, é o fato matemático referente aos primos que causa o maior impacto até hoje. Proposição IX-31. Um número composto é medido por algum número primo. Figura 5 Esta proposição apresenta um avanço conceitual é um técnico. O conceitual mostra que os primos estão na base de construção do conjunto Z e outros. O técnico refere-se à utilização da demonstração por recorrência, até onde se saiba, pela primeira vez na matemática. Assim fez Euclides: Passo 1. Seja 27 = A (onde A representa qualquer número, no caso 27). Encontre o maior número que mede 27. É o 9 = B. Passo 2. Subtraia 9 de 27. 27 9 = 18. Passo 3. Qual o maior número que mede 18. É o 9. Passo 4. Subtraia 9 de 18. 18 9 = 9. Passo 5. Qual é o maior número que mede 9. É o 3. Passo 6. Subtraia 3 de 9. Então 9-3 = 6. Passo 7. Qual o maior número que mede 6. É o 3. Passo 8. Subtraia 3 de 6. 6 3 = 3. Passo 9. Agora é perguntado: qual o maior número que mede 3. Não existe, pois 3 é medido somente pela unidade, no sentido de Euclides. Logo pela definição de números primos, 3 = C é primo. Devido a importância do tema é interessante ver com Euclides realizou a sua demonstração. Euclides procedeu mais ou menos assim, utilizando a figura acima. Demonstração. Seja A um número composto. Eu digo que ele é medido por algum número primo. Pela definição de número composto, eu sei que se A é composto, então ele é medido por algum número B. Agora, se B é primo, a demonstração está feita. Mas, se B um número composto, então algum número mede ele. Seja então o número C que mede ele. Então, se C mede B e B mede A, portanto C também mede A. E, se C é primo, a proposição fica demonstrada. Mas se ele é composto, então algum número mede C. Mas, se o processo é continuado até o fim, então algum número primo é encontrado, o qual mede o número anterior e, portanto mede A. Se ele não 7

é encontrado, então existe uma seqüência infinita de números que mede o número A, cada qual é menor que o outro anterior. O que é impossível dentro dos números. (É evidente que Euclides se refere ao conjunto dos números naturais). Portanto, se algum número primo é encontrado e ele mede o número anterior, então ele também mede A. Portanto, qualquer número composto é medido por algum número primo. Esta uma das mais elegantes, simples e inovadoras demonstrações de Euclides. Ele inova de três maneiras: a) realiza um avanço conceitual significativo quando demonstra que os números primos estão na base da Teoria dos Números e indica o caminho para o Teorema Fundamental da Aritmética; b) inova nas técnicas de demonstração, introduzindo a demonstração por recorrência e c) mostra por exclusão que o processo de recorrência não poderia continuar indefinidamente, pois se estava operando dentro dos números naturais. Proposição IX-14. Se um número é o menor número que é medido por números primos, então ele não é medido por qualquer outro número primo, exceto aqueles que inicialmente o mediam. Figura 6 Na verdade o que esta proposição afirma é que se um número composto é o menor (mínimo) múltiplo comum (mmc) de vários números primos, onde o mmc de primos, como se sabe, é o produto destes números primos, então é evidente que ele será medido somente por seus fatores primos. É uma prova simples e utiliza de proposição anterior (proposiçãovii-30) que afirma: se um primo mede um produto, então ele mede um dos fatores. É a primeira aproximação do Teorema Fundamental da Aritmética, posteriormente demonstrado por Gauss. Isto evidentemente se estende a qualquer número composto que tenha fatores primos repetidos, por exemplo, 12 = 2 x 2 x 3. Neste exemplo somente os primos 2 e 3 medem 12 e, é claro, nenhum outro primo. Observando a figura siga a demonstração dada à época. Demonstração. Seja A o menor número composto que é medido pelos primos B, C e D. Eu digo que ele não é medido por qualquer outro número primo exceto B, C e D. Suponha que A pode ser medido pelo número primo E, sendo E diferente de B, C e D. Agora, suponha que E mede A, sendo que ele mede A conforme F, portanto F multiplicado por E é igual a A. E A é medido por B, C e D. Mas, se dois números, multiplicados por um outro dá algum número, e se algum número primo mede o produto, então ele mede um do números originais. Portanto cada número primo B, C e D mede um dos números E e F. Agora eles não podem medir E, pois E é primo e não é o mesmo que os números B, C e D. Portanto eles medem F, o qual é menor do que A, o que é impossível, pois A é por hipótese o menor número medido por B, C e D. Portanto nenhum número primo divide A, exceto B, C e D. 8

Parece desnecessário insistir analisando as definições e proposições de Euclides. Mas o fato é que pela primeira vez na história da matemática, são encontrados registros significativos sobre os avanços conceituais e técnicos. Aqui Euclides avança a idéia que qualquer número pode ser decomposto em fatores primos. Faz também um avanço técnico fundamental ao apresentar uma demonstração por absurdo. Isto é avanço conceitual e técnico. Proposição IX-20. Os números primos são mais do que qualquer número atribuído à imensidão dos números primos. Figura 7 Esta proposição demonstra que o conjunto dos primos é infinito e avança um tipo de demonstração muito importante. É uma demonstração elegante e simples. Demonstração. Sejam dados os seguintes números primos A, B e C. Eu digo que há mais números primos do que A, B, e C. Pegue o menor número DE medido por A, B e C. Adicione a unidade DF a DE. Então EF pode ser primo ou não. Primeiro, seja ele primo. Então. Então, os números primos A, B, C e EF, foram encontrados os quais são em maior quantidade do que A, B e C. Segundo, seja EF não primo. Portanto ele é medido por algum primo. Seja ele medido por algum número primo G. Eu digo que G não é nenhum dos números primos A, B e C. Vamos supor que ele seja um destes números. Agora A, B e C medem DE, portanto G também mede DE. Mas ele também mede EF. Portanto, G sendo um número, mede o restante, a unidade DF, o que é absurdo. Entretanto, G não é o mesmo que qualquer um dos primos A, B e C. E pela hipótese ele é primo. Portanto, os números primos A, B, C e G foram encontrados os quais são mais que a quantidade dada inicialmente na multiplicidade dos primos. Esta é uma demonstração bela e elegante que aplica avanços conceituais anteriormente consolidados, e utiliza a técnica de demonstração por absurdo. Utilizando uma linguagem atual podemos supor que o plano da demonstração de Euclides era o seguinte: dada uma seqüência de números primos, tão grande quanto se deseje, é possível construir o menor número composto que é dividido por cada um dos números da seqüência inicial. Este número é o mmc de todos os números primos da seqüência (como se sabe, é o produto deles). O passo seguinte é mostrar que existe um novo número primo que não divide o menor número encontrado a partir de seqüência inicial. Então existirá um novo número primo diferente de todos os anteriores. Na sua demonstração Euclides usou apenas três numero primos, mas isto foi mais que suficiente. 9

Para encerrar o período grego da pequena história conceitual dos primos é preciso falar de Erastóstenes que viveu em torno de 230 a. C.. Com base nos avanços conceituais conquistados desde a época de Euclides, ele realizou um avanço técnico surpreendente para a aquele período. Utilizando uma linguagem poética, se pode afirmar que ele se transformou em um pescador de primos, pescando com sua rede - O Crivo de Erastóstenes - no caudaloso rio dos números naturais, os cada vez mais raros números primos. Sem romantismo, seja o que interessa: qual a preocupação de Erastóstenes em criar um método que permitisse separar os números primos dentre o conjunto dos naturais? A resposta é: em primeiro lugar a teoria das proporções, fundamental para a geometria grega. Em seguida o trabalho com os números planos, sólidos e outras aplicações da época que obrigava a fatoração de números compostos em primos. Ver os livros, VII e IX de Euclides (Euclides, 1944). Ao terminar este período histórico é preciso deixar claro que o que mais importa são os avanços conceituais, verdadeiras revoluções, que mudam a face da matemática e perduram. 3.2 Período Europeu Após um longo interstício, isto referente ao tratamento específico dado aos números primos, a preocupação com estes números é retomada, muitas vezes de forma indireta. Este período começa com Fermat, Pierre de Fermat. (1601-1665), historicamente considerado por muitos o fundador da Moderna Teoria dos Números e termina com Riemann, Georg Friedrich Bernhard Riemann (1826-1866). Como na parte relativa aos gregos a preocupação neste tópico continua sendo a identificação de desenvolvimentos conceituais e técnicos. Esta evolução dos conceitos em geral jaz subjacente ao fato histórico. Então é preciso encontrá-la. Foi neste período que teve início a preocupação com o problema que realmente importa neste artigo: a determinação se um número dado é primo ou não. Ou, é possível determinar um método, diferente do Crivo de Erastóstenes, capaz de gerar a seqüência dos números primos? Qual a distribuição dos primos dentro do conjunto dos inteiros? Quais as diferentes formas que pode ser caracterizado um número primo? Se no período grego a Teoria dos Números estava praticamente concentrada em Euclides, no momento Europeu, as coisas começaram a dispersar. Vamos inicialmente fazer uma cronologia envolvendo os matemáticos que se empenharam com a Teoria dos Números e números primos para posteriormente analisar os avanços conceituais e técnicos. CRONOLOGIA DO PERÍODO EUROPEU PARA OS NÚMEROS PRIMOS MATEMÁTICO PERÍODO TRABALHOS REALIZADOS Fermat, P. 1601-1665 Fermat é considerado o fundador da moderna Teoria dos Números; Conjecturou o chamado Pequeno Teorema de Fermat. Em linguagem matemática atual fica assim: se p é um número primo, então para um natural a, a p a (mod p). Esta conjectura foi provada por Euler em 1736. Atualmente este teorema é a base de muitos resultados da Teoria dos Números e de métodos para a determinação de números 10

primos, utilizados em larga escala na computação e criptografia. Mersenne 1588-1648 Goldbach 1690-1769 Euler 1707-1783 Lagrange 1736-1813 Legendre 1752-1833 Gauss 1777-1855 Conjecturou que todo número da forma M 2 1 é primo para p também primo. A conjectura revelou-se falsa para vários valores de p. Até hoje os números de = p Mersenne são usados para a busca de grandes números primos. Correspondente de Fermat e outros matemáticos da época ele caracterizou-se por ser um grande divulgador de achados matemáticos. Foi correspondente de Euler é também grande divulgador das descobertas matemáticas em sua época. É autor da conjectura, até hoje não demonstrada, que leva o seu nome: todo inteiro par maior do que 2 é a soma de dois primos. Cálculos computacionais indicam que a conjectura parece ser verdadeira. Euler foi outro matemático que deu grandes contribuições à Teoria dos Números, embora não tenha publicado nenhum tratado sobre o assunto, divulgando os seus resultados por cartas ou artigos. Demonstrou o Pequeno Teorema de Fermat utilizando indução matemática e recursos elementares. Até hoje a sua função chamada de função de Euler é importantíssima na Teoria dos Números. O seguinte resultado, uma simples generalização do Pequeno Teorema de Fermat, foi ( m) demonstrada por ele: a ϕ 1 é divisível por m se a é co-primo com m. Estabeleceu uma relação definitiva entre a análise e a teoria dos números por meio de sua função zeta: ζ ( s) = 1 = s n n= 1 p 1 s > 1 é um número real. 1 1 p s, onde o segundo membro é tomado para p primo e Lagrange também deu grande importância a Teoria dos Números. Entre tantas outras descobertas, provou o atualmente chamado Teorema de Wilson: p é um número primo se, e somente se, ( p 1)! 1 (mod p). Publicou em 1797-1798 a primeira abordagem exclusiva sobre a Teoria dos Números em Essai sur la Théorie des Nombres. Tentou algumas demonstrações para o Último Teorema de Fermat e iniciou o estudo da Lei da Reciprocidade Quadrática, p utilizando como notação o conhecido símbolo de Legendre: = ± 1, se o inteiro q p co-primo com q seja (no caso positivo) ou não (no caso negativo) o resto 2 quadrático da congruência x p (mod q). Legendre também estabeleceu uma conjectura sobre a distribuição dos números primos: π ( n) = n /(ln n 1,08366) para n crescendo indefinidamente. A função π (n) é a função contagem dos números primos até um número natural n. Demonstrou ainda que não existe função algébrica racional que fornece sempre números primos. É com Euler, Lagrange e Legendre que se inicia a Teoria Analítica dos Números e que tomou forma no decorrer dos tempos. Logo no início de sua carreira Gauss estabeleceu a conjectura sobre a distribuição dos números primos, que se tornou posteriormente o conhecido Teorema dos Números Primos. A conjectura diz que a densidade da distribuição dos primos é ( n) 1 assintoticamente igual ao inverso do logaritmo de n. Isto é: D( n) = π. n ln( n) Foi ele que deu um formato definitivo à Teoria dos Números a partir de seu tratado Disquisitiones Arithmeticae, obra publicada em 1801. Promoveu avanços conceituais importantes. Antes da publicação do seu tratado a teoria dos números consistia em 11

um com junto isolado de teoremas e conjecturas. Gauss organizou o trabalho de seus antecessores, preencheu lacunas, corrigiu demonstrações, incluiu idéias extremamente inovadoras e deu uma estrutura sistemática para a Teoria dos Números. A estrutura lógica do seu livro serviu de modelo para inúmeros matemáticos que o seguiram. Foi Gauss quem deu a primeira demonstração completa do Teorema Fundamental da Aritmética. É considerado por muitos historiadores como o fundador da moderna teoria dos números. Riemann 1826-1866 Função Zeta de Riemann e Hipótese de Riemann. Hadamas 1865-1963 Prova do Teorema dos Números Primos 1896. Vallée-Poussin 1866-1962 Idem Lobachevsky 1792-1856 Aproximação do Teorema dos Números Primos. Tabela 1 Porém, antes de entrar na análise deste momento histórico, é necessário verificar os seus antecedentes. Antes de Fermat, alguns avanços conceituais e técnicos, importantes para a teoria dos números já haviam acontecido. É preciso situar de onde Fermat, Euler e outros começaram. Identificar quais foram as suas bases conceituais e técnicas. Para esta identificação - bases técnicas e conceituais - é necessário numa regressão histórica que remonta ao início do segundo milênio d. C. na Europa, quando foi introduzido o sistema de numeração hindu-arábico e as respectivas técnicas operatórias. O continente europeu só tomou conhecimento formal deste sistema de numeração e suas técnicas, com um milênio de atraso em relação aos árabes, com a obra Liber Abaci de Leonardo de Pisa, Leonardo de Pisa, (1170-1250) também conhecido como Fibonacci. É provavelmente a partir daí que a cultura matemática européia incorpora definitivamente o sistema hindu-arábico de numeração. Este advento foi uma verdadeira iluminação para a matemática na Europa, pois trouxe consigo avanços conceituais e técnicos extremamente relevantes ou até mesmo indispensáveis para o futuro da matemática: i. O conceito abstrato de número, desvinculado das operações de contagem e medida; ii. Numeração decimal de posição; iii. O zero; iv. E os métodos algoritmos de cálculo que substituíram o abacismo. Este revolucionário salto qualitativo, em termos conceituais e técnicos, trouxe infinitas possibilidades, sendo alguma delas a melhor visibilidade dos conjuntos numéricos e de sua infinitude e a abstração que desvincula definitivamente estes conjuntos de processos de medida e contagem. Pela época de Fermat um novo avanço técnico e três conceituais já estavam se consolidando: a notação matemática, o conceito de divisibilidade, os números negativos e a caracterização de números primos e compostos. 12

O avanço técnico estava ocorrendo na notação matemática que passava gradativamente da forma discursiva ou semidiscursiva para a literal (simbólica). Isto facilitava a visão do conteúdo matemático, a sua expressão universal e as operações algébricas. A notação literal foi de fato um avanço técnico considerável. Quanto aos números negativos, o seu conceito demorou a ser introduzido na Europa. O certo é que pela época de Fermat e Euler o conceito de número negativo como um número menor que zero ainda estava sendo consolidado, embora fosse usado segundo regras operatórias bem definidas, pois como diz Boyer (Boyer, 1974 p. 337): A maior parte dos autores achava necessário demorar-se longamente sobre as regras que governam a multiplicação de números negativos, e alguns rejeitavam categoricamente a possibilidade de multiplicar dois números negativos. É inequívoco que o conceito e as regras operatórias para números negativos e positivos, bem ou mal, estavam estabelecidos e Euler as utilizava na forma instituída por ele, sem nenhuma demonstração. Isto foi outro avanço conceitual e técnico considerável. Na época de Euclides o conceito de número ainda não tinha sido abstraído da idéia de medida, essencialmente medida geométrica, tanto que ele conceitua número composto com aquele que pode ser medido por outro número e número primo como o que só pode ser medido pela unidade. Pode-se supor, com certa certeza histórica, que a idéia atual de divisibilidade já estivesse presente na primeira metade do século VII, embora só tenha sido formalizada a partir de Gauss. O surgimento do que pode ser chamado de conceito operacional para divisibilidade, números compostos e primos é fundamental para a nova teoria dos números. A partir desses conceitos é possível testar pela divisão se um número inteiro é composto ou primo. A partir da idéia de divisibilidade puderam ser concebidos os seguintes perfis operacionais para divisibilidade, número inteiro composto e primo. Em linguagem atual o delineamento provavelmente seria: i. Um número inteiro a é divisível por b quando a = mb, sendo m um inteiro; ii. Um número inteiro a é composto quando ele é divisível por outro inteiro diferente de 1 e dele mesmo; iii. Um inteiro positivo p, diferente de 1, é primo, se e somente se, 1 e p são os seus únicos divisores. É a partir destas concepções já postas que a teoria dos números pôde avançar, bastando para confirmar esta idéia citar o decorrente Teorema Fundamental da Aritmética. É tendo como fundamento este conjunto de idéias, que passaram a fazer parte da cultura matemática do período, que Fermat, Euler, Gauss e tantos outros, puderam avançar celeremente rumo à Teoria dos Números. Prosseguindo a análise desse período é preciso identificar o legado de cada um em termos de contribuição para o progresso conceitual e técnico em relação aos números primos. Para isto será utilizada uma classificação de caráter meramente didático. A) Temos os exploradores e aventureiros que por meio de experimentação e manipulações do conjunto dos inteiros, muitas 13

vezes sem nenhuma ou pouca preocupação com o rigor lógico, abrem caminhos e mostram rumos. Nesta categoria estão Fermat e Euler; B) Noutra categoria, a dos formuladores e criadores de paradigmas, está Gauss, Legendre e Riemann; C) Em uma terceira, a dos engenheiros que buscam com base em conhecimento já estabelecido, demonstrar fatos ainda não consolidados, erigindo um edifício lógico para formulações anteriores. Neste grupo estão Lagrange, Poussin e Hadamas; D) Por fim, temos os divulgadores e correspondentes como Mersenne e Goldbach, que à época realizaram o papel que hoje é feito pelos periódicos especializados e pela internet. 3.3 Período Intermediário Este momento começa logo após Riemann, Hadamard e Vallée-Poussin e termina na década de sessenta - setenta com a introdução da computação eletrônica digital (Lehmer). Muitos matemáticos importantes pertencem a este período, e a maioria é desconhecida do grande público, e mesmo de especialistas em matemática. A característica deste tempo são os avanços conceituais referentes à linguagem matemática, atingindo níveis mais altos de abstração, técnicos pela utilização de novas conquista da análise e tecnológico com o início da utilização de computadores digitais em matemática. Ele é caracterizado por: a) aprofundamento da Teoria dos Números e Teoria Analítica dos Números (Landau) em um corpo teórico organizado e sistematizado, com a publicação de importantes obras e artigos; b) introdução de uma nova linguagem algébrica, no caso, a linguagem da álgebra abstrata com as suas notações e os conceitos de grupo, anel, ideal, corpo, etc.; c) tentativas de demonstrar a Hipótese de Riemann que, embora nem sempre bem sucedidas, trouxeram progressos importantes para a teoria analítica dos números; d) início da preocupação com algoritmos de fatoração e testes de primalidade para serem utilizados em grandes números (Lehmer); e) início da busca por grandes números primos utilizando computação. Cabe ressaltar que o maior número primo encontrado antes do surgimento da computação eletrônica foi realizado pelo matemático francês Édouard Lucas, em 1876. Utilizando um método desenvolvido por ele, confirmou que o número de Mersenne primo. Este número possui 39 algarismos (Sautoy, 2007. p. 220). Os matemáticos que se dedicaram aos números nesse tempo são relativamente poucos: Edmund Georg Hermann Landau (1877-1938), Godfrey Harold Hardy (1877-1947), John Edensor Littlewood (1885-1977), Srinivasa Aiyangar Ramanujan (1887 1920), André Weil (1906-1998), Alan Mathison Turing (1912-1954) e Derrick Henry Lehmer (1905-1991). Ainda podem se destacados os seguintes matemáticos que, de maneira própria, trabalharam com números primos: Frank Nelson Cole, (1861-1926); Ernst Eduard Kummer (1810-1893) e Helmut Hasse (1898-1979), 3.4 Período Atual Após a segunda metade do século XIX até o início do último quarto do século XX, houve um relativamente longo interstício, quando os primos continuaram a receber o tratamento usual dentro da Teoria dos Números, sem trabalhos significativos sobre primalidade e fatoração de inteiros., é 14

Sobre este período Coutinho (Coutinho, 2001) faz algumas importantes constatações: a) todos os fundamentos matemáticos utilizados para a definição de algoritmos atuais e sua demonstração já eram conhecidas desde o século XIX; as inovações são devidas a trabalhos sobre o custo de um algoritmo, distribuição dos primos em um intervalo e nas aplicações que em grande maioria tem menos de vinte anos. Os avanços conceituais e técnicos desse período foram o nível de abstração sobre o conceito de número, linguagem matemática, notação, método e aplicações na área de computação. Por conveniência, o momento atual fica definido como o período que começa na década de 70 do século passado, até o surgimento do Algoritmo AKS no início deste século. Uma simples revisão histórica sobre o século XX mostra que os primos e os estudos sobre primalidade continuaram sendo um item de menor importância em matemática. As coisas só mudaram a partir de década de 70 do século passado, com o surgimento dos avançados sistemas de computação digital e a criação dos sistemas complexos de criptografia e chave pública, na década de 80, que passaram a exigir a utilização de grandes números primos. O surgimento dos sofisticados sistemas de criptografia trouxe um imperativo de ordem prática para a retomada das pesquisas sobre números primos. Surgiu a questão P e NP sobre o custo (tempo) de implementação computacional de algoritmos para teste de primalidade ou geração de séries de primos. O final deste momento é caracterizado pelo surgimento do algoritmo AKS que tem tudo para ser um paradigma sobre algoritmos de primalidade e não necessariamente um novo paradigma relativo aos primos. Só novos desenvolvimentos e pesquisa sobre o assunto poderá dizer se estamos realmente em um novo momento significativo relativo aos números primos. Os especialistas envolvidos com pesquisas sobre números primos, no momento atual, podem ser divididos em dois grupos: matemáticos e cientistas da computação, ou computer scientist como dizem os americanos. A linha que divide estes grupos é muito tênue, pois a maioria deles transita nas duas áreas. A separação é apenas uma questão de ênfase em relação ao trabalho de cada um. Outra dificuldade para analisar este período é que ainda não existe o distanciamento histórico necessário. 3.4.1 Matemáticos Victor S. Miller - Alan baker - Bryan John Birch - Enrico Bombieri - Paul Cohen - Alain Connes - Paul Erds - Martin Gardner - Alexander Grothendieck - Norman Levisohn - Carl Pomerance - Paulo Ribenboin - Atle Salberg Andrew Wiles Peter Sarnak Nick Katz Estes matemáticos têm entre si algumas características em comum: i. Foram pesquisadores da teoria dos números e da teoria analítica dos números e em certos momentos de sua carreira estiveram profundamente envolvidos com os números primos; 15

ii. Promoveram avanços técnicos e conceituais importantes, e até mesmo revolucionários, em relação à linguagem matemática, metodologia e técnicas em grandes áreas da matemática e teoria dos números; iii. Estudaram profundamente a função zeta de Riemann; iv. Realizaram estudos avançados referentes à demonstração da Hipótese de Riemann, com exceção de André Wiles e Paulo Ribenboin; v. Alguns escreveram obras de divulgação sobre números primos; e, vi. Com exceção de Wiles e Ribenboin, todos os outros transformaram a Hipótese de Riemann no Santo Graal da matemática. vii. Martin Gardner e Paulo Ribenboin foram também dois excelentes divulgadores de resultados sobre números primos, o primeiro de forma mais popular e o segundo utilizando uma matemática mais sofisticada. 3.4.2 Cientistas da Computação Depois de Turing e von Newman, deve-se a grupos como esses o desenvolvimento do que hoje é chamado de Matemática Computacional e Ciência da Computação. Mostraram novos rumos e abriram novos campos de trabalho. São eles por grupos de interesse: Gary L. Miller - Michael Oser Rabin; Manindra Agrawal Neeraj Kayal - Nitin Saxena; Ron Rivest Adi Shamir Len Adleman; Victor S. Miller Neal Koblitz. 3.5 Encerramento dos Períodos Históricos Esta breve e incompleta história dos números primos tem uma finalidade: analisar o ocorrido e explorar o futuro. Além do proselitismo esporádico sobre o assunto, historicamente os números primos têm sido tratados como simples curiosidades matemática, a não ser em períodos específicos quando receberam tratamento adequado ao assunto estudado. Foi assim com os gregos, como instrumento para fatorar medidas geométricas; ocorreu no momento de Gauss quando foram utilizados apenas como instrumento para avanços na Teoria dos Números e para a nova Teoria Analítica dos Números; ocorre no momento atual quando estão sendo utilizados como partes de complexos sistemas de criptografia. Acontece também com o novíssimo algoritmo AKS. Isto quer dizer que as pesquisas sobre números primos só conseguem avanços quando demandadas para novas aplicações. Este é o caso do momento atual com os grandes progressos da computação, digital ou quântica. Em uma visão histórica do desenvolvimento da matemática, podemos identificar certa regularidade de fatos quanto ao crescimento da produção em determinadas épocas e áreas. É o princípio do desenvolvimento e da produção matemática: o desenvolvimento da matemática é estimulado pela presença de problemas desafiadores, com caráter teórico ou prático, ainda não solucionados. 16

Com certeza estamos vivendo um desses momentos. Com as precauções necessárias quando se fala do futuro, talvez possa ser avançada a seguinte conclusão: com o advento do algoritmo AKS e dos grandes sistemas de computação (inclusive a computação quântica): estamos vivendo um grande momento da matemática em relação aos números primos. Uma revolução científica no sentido de T. Khun (Khun, 1982). O prelúdio para o surgimento de novos paradigmas. Estamos vivendo um novo momento significativo para os números primos. 4. NÚMEROS PRIMOS EVOLUÇÃO DO CONCEITO Ao invés de falar sobre conceito ou definição de número primos, talvez seja melhor adotar a idéia de caracterização de um número primo. Isto é, quando um número primo está bem caracterizado, dentro de qualquer contexto matemático. Neste sentido a caracterização pode ser feita por uma definição ou conceito, por uma proposição ou teorema. Primeira caracterização formal de número natural primo é dada por Euclides, logo no início do Livro VII dos Elementos. Após definir número, ele introduz o conceito de número composto e primo. Para Euclides número composto é aquele que pode ser medido por outro número e número primo é o número que só pode ser medido pela unidade. O fato é que à época a idéia de número primo e composto está muito mais ligada ao conceito de múltiplo do que ao conceito de divisor próprio de um número. Esta pequena distinção é importante como veremos a seguir. A segunda caracterização para número primo aparece incorporada à cultura matemática européia já pela época de Fermat. Foi uma evolução conceitual importante, provavelmente devida aos árabes. Embora de certa forma equivalente ao conceito de Euclides, esta nova caracterização é muito mais operacional, facilitando operações, experimentações e demonstrações. Ela está fundamentada na idéia de divisor e divisor próprio de um número. A divisibilidade é a contrapartida para a multiplicidade utilizada por Euclides. O novo conceito de número primo, até onde se conseguiu pesquisar, é então utilizado por Fermat, Euler, Legendre, Gauss e outros sem nenhuma caracterização formal do que seja número primo. É possível inferir, por suas proposições e conjecturas, que eles já utilizavam a definição forte de número primo como é dada na atualidade em alguns manuais de teoria dos números: Um inteiro positivo p > 1 é um número primo, se e somente se, 1 e p são os seus únicos divisores positivos. Esta caracterização bi-condicional é fundamental para o desenvolvimento e demonstração de qualquer proposição sobre números primos, ao contrário da caracterização fraca, muito utilizada em bons manuais: Um número inteiro p > 1 possuindo somente dois divisores positivos 1 e p é chamado de primo. Na época de Fermat, Euler, etc. já era utilizada a caracterização forte para número primo, pois suas pesquisas e demonstrações exigiam o seguinte: a) dado um número primo p é sabido que ele tem somente dois divisores positivos, 1 e p ; b) dado um número inteiro n se ele tiver apenas dois divisores inteiros positivos, 1 e n, então ele é primo. 17

O fato que até hoje não surgiu uma nova caracterização de número primo que pudesse indicar um progresso teórico e conceitual subvertedor da ordem estabelecida. Os únicos autores, até onde as pesquisas puderam mostrar, e que se preocuparam indiretamente com a caracterização para primos foram Ribenboin (Ribenboin, 2001) e Granville (Granville, 2004). A seguir algumas proposições que em tese poderiam dar uma nova caracterização para um número primo: 1 a Caracterização O Pequeno Teorema de Fermat: Se p é um primo se a é um numero natural, então a p 1 a (mod p). Em particular, se p não divide a, então a p 1 (mod p). Este teorema seria então uma excelente caracterização de um número primo se sua recíproca fosse sempre verdadeira. Mas isto não é verdade. Então temos uma caracterização fraca para um número primo. 2 a Caracterização Teorema de Wilson: Um inteiro p > 1 é um número primo, se e somente se ( p 1)! 1 (mod p). Embora este teorema possa caracterizar muito bem um número primo, ele não é utilitário. Devido à expansão fatorial ele não é prático para testar primalidade ou ser utilizado em processos de fatoração. Outra caracterização é sugerida por Ribenboin, mas ele mesmo se pergunta se esta propriedade realmente caracteriza um número primo. 3 a Caracterização Propriedade de Giuca: Ele parte do Teorema de Fermat e chega, de maneira p 1 p 1 p 1 fácil como afirma Ribenboin, que 1 + 2 + + ( p 1) 1 (mod p) para p primo. Então ele perguntou se a recíproca é verdadeira, isto é, para n > 1, e se n divide a expressão n 1 n 1 n 1 1 + 2 + + ( p 1) + 1, então n é primo? Para Ribenboin é fácil ver que o natural n satisfaz a propriedade se, e somente se, p 2 ( p 1) divide n p para cada número p dividindo n. É realmente complicado caracterizar um número primo dessa forma. 4 a Caracterização Função de Euler: Sabe-se que para p primo ϕ ( p) = p 1. Lehmer conjecturou que se fosse dado um número composto n, não haveria nenhum n, tal que ϕ (n), dividisse n 1. Esta hipótese ainda não foi demonstrada, e caso seja será uma excelente caracterização de números primos, totalmente operacional. Em um de seus artigos Granville (Granville, 2004 p. 4) sugere que o Teorema de Manindra Agrawal Neeraj Kayal - Nitin Saxena, que fundamenta o algoritmo AKS, é uma excelente caracterização (o que não é verdade) para os números primos, afirmando que ela, embora a primeira vista pareça complicada, na realidade não é. 18

5 a Caracterização Teorema de Manindra Agrawal Neeraj Kayal - Nitin Saxena: Para um dado inteiro n 2, seja r um inteiro positivo menor que n, para o qual n tem ordem menor que 2 (log n ) modulo r. Então n é primo se, e somente se: n não é uma potência perfeita de algum número inteiro; n não tem algum fator primo menor ou igual a r ; 2 2 r ( x + a) x + a (mod n, x 1) para cada inteiro a, 1 a r log n. Todas estas caracterizações têm um furo na origem, pois elas utilizam o conceito de primo já anteriormente definido. Em termos de uma evolução conceitual revolucionária para os números primos o que é necessário é uma nova caracterização para números primos, mais abrangente, consistente e operacional. Pois o fato é que existe um impasse, parecido com o que aconteceu no desenvolvimento histórico da matemática, forçando o surgimento dos irracionais, dos números negativos e complexos. Desde Euclides e Fermat não houve nenhum avanço na caracterização dos primos. Nenhuma corrente matemática ou grupo se preocupou com este aspecto. Uma caracterização avançada de número primo teria que passar pelo seguinte teste: é de fácil entendimento e operacional; garante as bases teóricas da teoria dos números; pode ser utilizada para demonstrar o Teorema Fundamental da Aritmética; melhora o entendimento sobre a distribuição dos primos; pode ser utilizada para demonstrar conjecturas até hoje não provadas. Mas a questão que antecede é: essa caracterização existe? A resposta é: ainda não! 5. PRIMALIDADE: TESTES E FUNDAMENTOS Atualmente existe mais de uma centena de testes de primalidade, cada um deles com uma fundamentação teórica diferente. São testes determinísticos ou probabilísticos, executados em tempo polinomial ou tempo exponencial, fundamentados em teoremas ou conjecturas. E assim por diante. Talvez então seja conveniente tentar estabelecer algum tipo de classificação, por mais inadequada que ela seja. Só assim é possível estabelecer uma visão mais ordenada sobre o emaranhado dos testes de primalidade. Uma descrição simples para os testes pode dar uma idéia da complexidade do assunto. Assim existem testes que: a) Levam o nome do autor(res) ou da instituição que os desenvolveram; b) É resultado de melhoria de testes anteriores; c) São a mistura de vários resultados ou testes anteriores; d) São executados em tempo polinomial ou exponencial; e) São determinísticos ou probabilísticos; f) São aplicados a números genéricos ou a números de forma específica; g) São baseados em teoremas ou em conjecturas; h) São baseados em congruências ou não; i) São executados em um computador ou exigem computadores em rede; j) São executados em computadores convencionais ou necessitam um novo tipo de computador. 19

O campo dos testes de primalidade está ficando cada vez mais amplo e complexo. Talvez fosse melhor dizer caótico. A título de curiosidade, poderia ser sugerido um sistema mnemônico de classificação que levasse em conta estas dez categorias. Na era da matemática computacional, será adotado como principal critério de classificação o tempo de execução: se tempo polinomial, exponencial ou semi-polinomial. Este critério é fundamental, pois para testes de grandes números a execução de determinados algoritmos em tempo exponencial, como por exemplo, um algoritmo fundamentado no teorema de Wilson, levaria um tempo além de qualquer imaginação ou desejo. Serão apresentados alguns testes de primalidade mais representativos de sua categoria, conforme os critérios anteriores. Estes testes podem mostrar que tipo de desenvolvimento conceitual, técnico ou tecnológico está envolvido em sua concepção. E este é o objetivo. Cabe ressaltar que os resultados importantes aconteceram na aplicação prática da teoria dos números, e não no desenvolvimento da teoria. Esta constatação é fundamental para as conclusões que serão obtidas sobre primalidade. Na descrição e análise dos testes, a apresentação será na forma: nome do teste, descrição e fundamentação teórica básica. A preocupação é com a matemática envolvida na fundamentação dos algoritmos e não no detalhamento e sua demonstração. 5.1 Algoritmo de Fermat Este exemplo está vinculado à necessidade de Fermat encontrar um processo para fatorar números relativamente grandes, para a época é claro, ou mostrar sua primalidade. Fermat desenvolveu dois algoritmos. Um para fatorar um número inteiro qualquer e outro específico para números de Mersenne. Estes resultados mostram o seu engenho na manipulação dos números. Segundo Coutinho (Coutinho, 2001 p. 40 e 157), o primeiro método consistia em fatorar um número utilizando um algoritmo mais ou menos como o descrito em continuação. Com base em resultados anteriormente estabelecidos ele desenvolveu o processo supondo inicialmente que: a) O número n é um inteiro positivo impar, pois se for par tem 2 como fator; 2 2 b) Sendo n ímpar podemos notar que pelo teorema anterior n = x y = ( x y)( x + y) ; c) Então os fatores de n são a = ( x y) e b = ( x + y). Então, fazendo n n y = x n, inicia-se x = [n], onde [n] é a parte inteira de n ; este valor é tomado porque pelo menos um dos fatores, no caso em 1, até que seja encontrado um valor inteiro para y; logo ( x y) n ; então x é incrementado de 1 2 x = y + n ; então são encontrados 20