Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática Números Primos Ary Camargo Rizel Belo Horizonte 2014 2 Ary Camargo Rizel NÚMEROS PRIMOS Monografia apresentada ao Departamento de Matemática do Instituto de Ciências Exatas (ICEX) da Universidade Federal de Minas Gerais. Requisito parcial à obtenção do título de especialização Latu Senso para professores com ênfase em cálculo. Orientação: Prof. Dr. André Gimenez Bueno. Belo Horizonte Novembro - 2014 3 FOLHA DE APROVAÇÃO Data de apresentação: 28/11/2014. Banca examinadora: _________________________ Prof. Dr. André Gimenez Bueno __________________________________ Prof. Dr. Paulo Antônio Fonseca Machado ___________________ Prof. Dr. Vitor Bekkert 4 AGRADECIMENTOS À Deus, por me conceder força para vencer mais uma etapa em minha vida. À minha esposa Lucinha, pelo apoio, carinho, compreensão e principalmente por me aceitar como eu sou. Ao professor André Gimenez Bueno meu orientador pelo incentivo, disponibilidade, atenção e apoio durante todo o percurso. Em especial a professora Maria Imaculada Marcenes minha primeira orientadora em trabalhos de monografia pelo grande aprendizado durante sua orientação que guardo comigo até hoje e me auxiliaram na elaboração deste. Enfim, a todos aqueles que contribuíram para a realização deste trabalho. Muito Obrigado. 5 RESUMO Este trabalho tem como objetivo apresentar um pequeno resumo sobre os números primos. Assunto que vem atraindo muitos matemáticos eminentes desde o princípio, e ainda hoje nos apresenta muitos desafios. Iniciaremos com os conceitos mais fundamentais sobre o tema. Em seguida, apresentaremos algumas demonstrações clássicas da infinidade de números primos. Abordaremos os principais teoremas que nos permitem reconhecer um número primo e faremos um pequeno relato histórico dos estudos sobre a distribuição de números primos. Citaremos algumas funções que geram números primos. E por fim, teceremos alguns comentários a respeito de casos particulares de primos que foram estudados. Palavras Chaves: Teoria dos números, Números naturais, Números primos. ABSTRACT This work aims to present a short summary about prime numbers. This subject has attracted many outstanding mathematicians from the early days on, and still presents many challenges. We begin with the most fundamental concepts of the subject. Next, we present some classical proofs of the infinity of primes. Some primality tests will be discussed, and also the distribution of prime numbers. Finally, we will quote some functions that generate prime numbers. Key Words: Theory of numbers, Natural numbers, Prime numbers. 6 SUMÁRIO 1. INTRODUÇÃO AOS NÚMEROS PRIMOS ....................................................... 7 1.1. IMPORTÂNCIA DOS NÚMEROS PRIMOS ............................................................. 7 1.2. DEFINIÇÃO DE NÚMEROS PRIMOS .................................................................... 8 2. A INFINITUDE DOS NÚMEROS PRIMOS ..................................................... 11 2.1. DEMONSTRAÇÃO DE EUCLIDES ...................................................................... 12 2.2. DEMONSTRAÇÃO DE GOLDBACH .................................................................... 13 2.3. DEMONSTRAÇÃO DE EULER............................................................................ 13 3. COMO RECONHECER UM NÚMERO PRIMO .............................................. 15 3.1. O CRIVO DE ERATÓSTENES ............................................................................. 15 3.2. TEOREMAS FUNDAMENTAIS SOBRE CONGRUÊNCIAS ................................... 16 3.3. TESTES DE PRIMALIDADE................................................................................ 19 4. DISTRIBUIÇÃO DOS NÚMEROS PRIMOS ................................................... 23 4.1. EULER .............................................................................................................. 25 4.2. LEGENDRE ....................................................................................................... 31 4.3. GAUSS .............................................................................................................. 31 4.4. TSCHEBYCHEFF ............................................................................................... 32 4.5. RIEMANN .......................................................................................................... 33 4.6. DE LA VALLÉE POUSSIN E HADAMARD ........................................................... 37 4.7. ERDÖS E SELBERG .......................................................................................... 39 4.8. PRIMOS EM PROGRESSÃO ARITMÉTICA ......................................................... 40 5. FUNÇÕES QUE DEFINEM OS NÚMEROS PRIMOS .................................... 42 5.1. FÓRMULA DE GANDHI ...................................................................................... 43 5.2. PRIMOS DE MILLS ............................................................................................ 44 6. CASOS PARTICULARES DE PRIMOS ......................................................... 45 6.1. NÚMEROS DE FERMAT GENERALIZADOS ....................................................... 46 6.2. PRIMOS DE MERSENNE.................................................................................... 48 6.3. PRIMOS GÊMEOS ............................................................................................. 53 6.4. PRIMOS DE SOPHIE GERMAIN ......................................................................... 56 7. CONCLUSÃO .................................................................................................... 59 8. REFERÊNCIAS .............................................................................................. 60 7 1. INTRODUÇÃO AOS NÚMEROS PRIMOS 1.1. IMPORTÂNCIA DOS NÚMEROS PRIMOS Os números primos são a matéria prima na formação de todos os demais números. Sendo assim, são eles objetos de estudos ininterruptos desde os primórdios. Entretanto, os números primos guardam segredos que por vezes nos parecem intransponíveis, sendo considerados por alguns como o assunto mais misterioso já estudado pelos matemáticos. No início do Século XX, David Hilbert, professor da Universidade de Göttingen e um dos maiores matemáticos da época, proferiu uma palestra no Congresso Internacional de Matemáticos, realizado em agosto de 1900, na Sorbone. Em sua palestra, Hilbert falou sobre o desconhecido, sobre os desafios da matemática no século que se iniciava. Ele desafiou a plateia de ilustres matemáticos com uma lista de 23 problemas, que segundo ele, ditariam o futuro das pesquisas matemáticas. Muitos desses problemas encontraram resposta ao longo das décadas seguintes, porém, o oitavo problema, até hoje não foi solucionado. Trata-se de provar a Hipótese de Riemann, assunto que trataremos mais adiante. Embora complexos e misteriosos, os números primos têm um caráter atemporal e universal, eles não foram inventados pelo homem, nós apenas atribuímos nomenclaturas e buscamos continuamente aprofundar no conhecimento dos seus mistérios. Por seu caráter atemporal e universal, os números primos são considerados o código que poderia ser compreendido por seres inteligentes extraterrenos. Por isso, a sequência dos primeiros números primos foi gravada em um disco de ouro e cobre enviado na primeira nave espacial a sair do sistema solar. O disco continha também diversas imagens do nosso planeta, imagens indicando a 8 nossa localização no sistema solar, além de sons, músicas e frases em diversos idiomas. Mas de tudo isso, a sequência de números primos foi considerado o código com maior possibilidade de ser reconhecido. No clássico romance Contato de Carl Sagan os alienígenas usam os números primos para fazer contato com a Terra. A heroína, Ellie Arroway, reconhece imediatamente o pulsar do sinal de rádio receptado. Estes e outros números são estudados na disciplina Teoria dos Números, que é considerada uma das mais difíceis de toda a Matemática, por utilizar técnicas sofisticadas e Matemática avançada. Até os anos 1970, a Teoria dos Números foi considerada uma disciplina com pouca aplicação prática. Nesta década porém, os cientistas Ron Rivest, Adi Shamir e Leonard Adleman desenvolveram uma forma de utilizar os números primos na construção de métodos de codificação em Criptografia. Voltaremos a este assunto mais tarde. 1.2. DEFINIÇÃO DE NÚMEROS PRIMOS Definição: Um número inteiro ๐ ( ๐ > 1) é dito um número primo, se possuir exatamente dois divisores positivos, a saber, 1 e ๐. O número 1, só possui um divisor, ele mesmo. Não sendo, portanto, um número primo. Todos os demais números inteiros maiores que 1 e não primos, possuem mais de dois divisores. Eles são chamados de números compostos, logo, poderão ser fatorados em seus elementos constituintes. Estes elementos serão necessariamente números primos conforme enuncia o Teorema Fundamental da Aritmética. Teorema (Teorema Fundamental da Aritmética): Seja ๐ โฅ 2 um número natural. Podemos escrever ๐ de uma única forma como um produto 9 ๐ = ๐1 โฆ ๐๐ O ๐ โฅ 1 é um natural e ๐1 โค โฏ โค ๐๐ são primos. Podemos então dizer que os números primos são os elementos de formação de todos os demais números, podendo ser considerados os próprios átomos da aritmética, ou ainda os tijolos na construção numérica, construção essa feita por meio da operação de multiplicação. O Teorema Fundamental da Aritmética faz duas afirmações que demostraremos a seguir: 1ª Todo número ๐ > 1 pode ser representado como um produto de primos ๐ = โ๐๐=1 ๐๐ , ๐ โฅ 1, ou seja, existe uma fatoração de ๐ em números primos. 2ª Esta representação é única a não ser pela ordem dos fatores. Ou seja, todo primo que aparece em uma decomposição em โfatores primosโ de um dado número aparece com frequência igual em qualquer decomposição dessas. Todo ๐ > 1 pode ser escrito: ๐ = โ ๐๐ , ๐|๐ onde ๐ percorre os vários primos que dividem ๐; e onde ๐ = ๐๐,๐ > 0, é unicamente determinado por ๐ e por ๐. (Esta é a chamada Decomposição Canônica). Demostramos a existência da fatoração de ๐ em primos por indução matemática. i) Se ๐ é primo não há o que provar (escrevemos ๐ = 1, ๐ 1 = ๐ ). ii) Se ๐ é composto podemos escrever: ๐ = ๐๐, ๐ ๐๐๐๐: ๐, ๐ โ โ, 1 < ๐ < ๐, 1 < ๐ < ๐. Por hipótese de indução, ๐ e ๐ se decompõem como produto de primos. Juntando as fatorações de ๐ e ๐ (e reordenando os fatores) obtemos uma fatoração de ๐. ๏ Antes de demonstrar a unicidade da representação, precisamos introduzir um novo teorema. 10 Teorema: Se: ๐ ๐ | โ ๐๐ , ๐=1 Então para ao menos um valor de ๐ temos: ๐|๐๐ . Para demonstrarmos a unicidade da representação, basta provar que, se: ๐ ๐โฒ ๐ = โ ๐๐ = โ ๐โฒ๐ , ๐=1 ๐=1 ๐โฒ1 โค ๐โฒ 2 โค โฏ โค ๐โฒ๐โฒ ๐1 โค ๐2 โค โฏ โค ๐๐ , Então: ๐ = ๐โฒ , ๐๐ = ๐โฒ๐ para 1 โค ๐ โค ๐. Para ๐ = 2 a afirmação é verdadeira, uma vez que temos: ๐ = ๐โฒ = ๐ e ๐๐ = ๐โฒ๐ = ๐ Seja ๐ > 2 e suponha que a afirmação foi provada para 2, 3, 4, ..., ๐ โ 1. Se ๐ for primo então: ๐ = ๐โฒ = ๐, ๐๐ = ๐2 = ๐ Caso contrário, temos ๐ > 1 e ๐โฒ > 1. Como ๐ ๐โฒ1 | โ ๐๐ , ๐=1 e ๐โฒ ๐1 | โ ๐โฒ๐ ๐=1 Segue do teorema apresentado que: ๐โฒ1 = ๐๐ e ๐1 = ๐โฒ๐ Para pelo menos um ๐ e pelo menos ๐. Como: 11 ๐1 โค ๐๐ = ๐โฒ1 โค ๐โฒ ๐ = ๐1 Temos: ๐1 = ๐โฒ1 Agora, como 1 < ๐1 < ๐, ๐1 | ๐, temos: ๐ ๐โฒ ๐=2 ๐=2 ๐ 1< = โ ๐๐ = โ ๐โฒ๐ < ๐, ๐1 e logo, pela hipótese de indução, ๐ โ ๐ = ๐โฒ โ ๐, ๐= ๐ e ๐๐ = ๐โฒ๐ ๐๐๐๐ 2 โค ๐ โค ๐ ๏ 2. A INFINITUDE DOS NÚMEROS PRIMOS Os números primos suscitam muitas questões. Uma delas é: โQuantos números primos existem? Eles formam um conjunto finito ou existe uma infinidade de números primos?โ Notícias sobre a última descoberta do maior número primo conhecido são recorrentes. Marcus du SAUTOY, em A Música dos Números Primos โ A História de Um Problema não Resolvido na Matemática (DU SAUTOY, 2007), se refere a um recorte de jornal guardado com muito cuidado pela matemática Julia Robinson e intitulado ENCONTRADO O MAIOR NÚMERO, que nos mostra que, โmesmo na década de 1930, até as descobertas incorretas chegavam às notíciasโ. Entretanto, diversas provas de que existe uma infinidade de números primos já foram formuladas. A mais ilustre é a demonstração de Euclides, que a mais de 2.300 anos demonstrou que 12 os números primos são infinitos, em uma demonstração considerada uma das mais belas e elegantes em toda a matemática. Esta demonstração consta dos Elementos de Euclides que foram escritos por volta de 300 a.C. Apresentaremos a seguir três dessas demonstrações, outras tantas estão disponíveis na literatura sobre o tema, algumas de matemáticos famosos, outras de matemáticos que caíram no esquecimento. 2.1. DEMONSTRAÇÃO DE EUCLIDES Os gregos evitavam lidar com o conceito de infinito, pelas dificuldades que esse conceito sempre causava, assim na Proposição 20 do Livro 9 dos Elementos de Euclides demonstrou que dado qualquer conjunto de primos, sempre existe um número primo fora deste conjunto, o que significa dizer que o conjunto de números primos é infinito (ÁVILA, 2010). Suponhamos que o conjunto de primos seja finito. Sendo a sequência ๐ = ๐1 , ๐2 , โฆ , ๐๐ a lista de todos os primos. Consideremos o número ๐ = ๐1 . ๐2 . โฆ . ๐๐ + 1. Nenhum dos primos da sequência finita P pode dividi-lo exatamente, sempre sobrará um resto 1. Dado que todos os números compostos podem ser construídos pela multiplicação de primos, o número formado ๐ ou é um novo primo ou é gerado por um primo não pertencente ao conjunto finito denominado por ๐. Portanto, a sequência de primos não pode ser finita. 13 2.2. DEMONSTRAÇÃO DE GOLDBACH A demonstração de Goldbach se tornou conhecida após sua publicação em Berlim em 1924, entretanto ela se encontra em uma carta de C. Goldbach a Euler datada de 21/31 julho 1730. Em 1891, A. Hurwitz descobriu independentemente a mesma demonstração em um exercício (RIBENBOIM, 2012). Ela utiliza a seguinte ideia: basta achar uma sucessão infinita ๐1 < ๐2 < ๐3 < โฏ de números naturais, primos entre si, dois a dois, isto é sem fator primo comum. Se ๐1 é um fator primo de ๐1 , ๐2 um fator primo de ๐2 , ... , ๐๐ um fator primo de ๐๐ , então ๐1 , ๐2, โฆ , ๐๐ , โฆ são todos distintos. ๐ Os números de Fermat ๐น๐ = 22 + 1 (para ๐ โฅ 0) são uma sucessão infinita e primos entre si, dois a dois. Demonstração: Por recorrência sobre ๐, é fácil ver que, ๐น๐ โ 2 = ๐น0 ๐น1 โฆ ๐น๐โ1; então se ๐ < ๐, ๐น๐ divide ๐น๐ โ 2. Se um número primo ๐ dividisse simultaneamente ๐น๐ e ๐น๐ , dividiria igualmente ๐น๐ โ 2 e portanto 2 e então ๐ = 2, o que é impossível porque ๐น๐ é impar. Os números e o Teorema de Fermat serão tratados mais adiante. ๏ 2.3. DEMONSTRAÇÃO DE EULER Euler mostrou que existe uma infinidade de números primos, estabelecendo que uma determinada expressão formada com números primos era infinita. Se ๐ é um número primo qualquer, então 1โ๐ < 1. Então a soma da série geométrica de razão 1โ๐ e primeiro termo 1 é dada por: 14 โ โ ๐=0 1 1 = . ๐๐ 1 โ ๐โ1 Igualmente, se ๐ é outro número primo, então: โ โ ๐=0 1 1 = . ๐ ๐ 1 โ ๐โ1 Multiplicando membro a membro, essas duas igualdades, obtemos: 1+ 1 1 1 1 1 1 1 + + 2+ + 2+โฏ = × . โ1 ๐ ๐ ๐ ๐๐ ๐ 1โ๐ 1 โ ๐โ1 O primeiro membro é a soma dos inversos de todos os inteiros naturais da forma ๐โ ๐ ๐ (com โ โฅ 0, ๐ โฅ 0), cada um sendo contado uma única vez, porque a expressão de cada número natural, como produtos de primos é única. A demonstração de Euler diz o seguinte: Supõe-se que ๐1 , ๐2 , โฆ , ๐๐ formam a totalidade dos números primos. Para cada ๐ = 1, 2, โฏ , ๐ , tem-se: โ โ ๐=0 1 1 ๐ = 1 โ ๐ โ1 . ๐๐ ๐ Multiplicando, membro a membro, essas ๐ igualdades, obtém-se: ๐ โ ๐ ๐=1 ๐=0 ๐=1 1 1 โ( โ ๐ ) = โ . 1 โ ๐๐โ1 ๐๐ E o primeiro membro, uma vez efetuadas as operações, é a soma dos inversos de todos os números naturais, cada um contado uma única vez, como resulta do teorema fundamental que estabelece que cada número composto se escreve de maneira única (a menos de permutações) como produto de fatores primos. 15 1 É sabido que a série โโ ๐=1( โ๐ ) é divergente e, como seus termos são positivos, a ordem da soma desses termos é irrelevante; o primeiro membro da igualdade será então infinito, enquanto seu segundo membro será finito. Isso é absurdo! ๏ 3. COMO RECONHECER UM NÚMERO PRIMO As questões sobre como reconhecer um número primo e, em sendo um número composto, como decompô-lo em seus fatores primos foram formuladas em tempos remotos. Karl Friedrich Gauss escreveu no artigo 329 das Disquisitiones Arithmeticae (1801): โO problema de distinguir números primos de compostos e de decompor esses últimos em seus fatores primos é conhecido como sendo um dos mais importantes e úteis na aritmética... A dignidade da própria ciência parece requerer que todos os meios possíveis sejam explorados para a solução de um problema tão elegante e tão celebradoโ (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011). 3.1. O CRIVO DE ERATÓSTENES A maneira aparentemente mais simples e intuitiva de verificar se um determinado número natural é primo é conhecida como o Crivo de Eratóstenes. Erastóstenes, diretor da biblioteca do grande instituto de pesquisa da Grécia Antiga em Alexandria, no século III a.C., foi a primeira pessoa a produzir tabelas de números primos (DU SAUTOY, 2007). A técnica por ele utilizada foi bastante 16 simples e intuitiva. Ele escrevia inicialmente os números de 1 a ๐. Em seguida, escolhia o primeiro primo (2) e eliminava da lista todos os seus múltiplos. Passava, então ao próximo número não eliminado, 3, e eliminava também todos os seus múltiplos. Repetia sucessivamente este método até o maior inteiro inferior a โ๐ e cada novo primo que encontrava gerava um crivo que era utilizado para eliminar os números compostos múltiplos desse crivo (RIBENBOIM, 2011). Os números não primos da relação eram então decompostos da seguinte forma. Seja ๐ um número composto identificado divisível por ๐0 , ele pode ser escrito como ๐ = ๐0 โ ๐1 , onde ๐1 < ๐, e repete-se o mesmo processo para ๐0 e para ๐1 . Esse algoritmo fornece a decomposição de ๐ em fatores primos. Esse método pode ser utilizado para gerar tabelas de primos relativamente grandes, porém para valores muito grandes de ๐, o algoritmo exige muito tempo e cálculos para verificar se é um número primo ou composto. Surge então a necessidade de encontrar um algoritmo eficaz, ou seja, que exija menos tempo e menor custo, para execução. 3.2. TEOREMAS FUNDAMENTAIS SOBRE CONGRUÊNCIAS Os métodos para testar a primariedade de um número e para determinar seus fatores primos, caso não seja primo, se apoiam em teoremas sobre congruências, em particular sobre o Pequeno Teorema de Fermat, Teorema de Wilson e o Teorema de Euler (generalização do Pequeno Teorema de Fermat). Pequeno teorema de Fermat: Se ๐ é um número primo e se ๐ é um número natural, então ๐๐ โก ๐ (๐๐๐ ๐). Em particular, se ๐ não divide ๐, então ๐๐โ1 โก 1 (๐๐๐ ๐). 17 A demonstração deste teorema pode ser encontrada em Teoria dos Números (SANTOS, 2011). Teorema de Wilson: Seja ๐ > 1, então ๐ | (๐ โ 1)! + 1 se, e somente se, ๐ for primo. O que é o mesmo que dizer: se ๐ é primo, então (๐ โ 1)! โก โ1 (๐๐๐ ๐). Demonstração: Para ๐ = 2 é óbvio: 1 โก โ1(2) Pelo Teorema de Fermat: Para ๐ โ 2 ฬ ฬ ฬ ฬ ฬ ฬ ฬ ๐ฅ ๐โ1 โ 1ฬ = (๐ฅ โ 1ฬ )(๐ฅ โ 2ฬ ) โ โฏ โ (๐ฅ โ (๐ โ 1)) Comparando os coeficientes constantes temos: (๐ โ 1) ! โ1ฬ = (โ1)๐โ1 ฬ ฬ ฬ ฬ ฬ ฬ ฬ ฬ ฬ ฬ O Teorema de Wilson fornece uma caracterização dos números primos, entretanto, a identificação dos primos com base neste teorema não é prática, pois não se conhece um algoritmo para calcular rapidamente o fatorial de um número. O único algoritmo conhecido é o da definição de fatorial que gera cálculos extensos, quando se trabalha com números muito grandes. O Teorema de Euler é uma generalização do Pequeno Teorema de Fermat, através da introdução da função tociente (๐) ou função de Euler. A função ๐ de Euler pode ser definida por: seja ๐ é um inteiro positivo, ๐(๐) será o número de inteiros positivos menores ou iguais a ๐ que são relativamente primos com ๐. O Teorema de Euler diz que: Se ๐ é um inteiro positivo e ๐ um inteiro com ๐๐๐ (๐, ๐) = 1, ou seja, ๐ e ๐ são primos entre si, então ๐๐(๐) โก 1 (๐๐๐ ๐) A demonstração do teorema de Euler também pode ser encontrada na obra citada anteriormente (SANTOS, 2011). 18 Como para ๐ primo, ๐(๐) = ๐ โ 1, o Teorema de Euler é uma generalização do Pequeno Teorema de Fermat, como dito anteriormente. Como mencionado na introdução, os números primos são utilizados no método de Criptografia RSA. Esse método é um caso prático de aplicação do Teorema de Euler. Segue uma descrição resumida do método: ๏ท Receptor publica um inteiro ๐ , onde ๐ = ๐๐, sendo ๐ e ๐ primos grandes. ๏ท ๐ é público, mas sua fatoração ๐๐ só é conhecida pelo receptor. ๏ท Receptor publica um expoente ๐ (não muito grande) sendo: ๐๐๐ (๐ , (๐ โ 1)(๐ โ 1)) = 1 ๏ท Receptor (usando o algoritmo de Euclides) calcula: Inverso de ๐ ๐๐๐ (๐ โ 1)(๐ โ 1) = ๐(๐) Isto é, um número natural ๐ < (p-1)(q-1) com ๐๐ โก 1(๐๐๐ (๐ โ 1)(๐ โ 1)) (Donde ๐๐ = 1 + ๐๐(๐), para algum natural ๐) Note que apesar de ๐ e ๐ serem públicos, não parece ser fácil calcular ๐(๐) ou ๐ (neste contexto, calcular ๐(๐) = (๐ โ 1)(๐ โ 1) dado ๐ = ๐๐ é equivalente a fatorar ๐, isto é, a encontrar os fatores primos ๐ e ๐). ๏ท Uma mensagem é um número natural ๐ < ๐. ๏ท O emissor envia ñ โถ= ๐ ๐ (๐๐๐ ๐), com 0 < ñ < ๐. ๏ท O receptor recupera ๐ via: ๐ โก ñ๐ (๐๐๐ ๐) Para verificar essa equivalência, podemos observar que: ñ๐ โก (๐ ๐ )๐ = ๐๐๐ = ๐1+๐(๐โ1)(๐โ1) = ๐ โ (๐๐โ1 )๐(๐โ1) โก ๐ (๐๐๐ ๐) Note que, se ๐|๐, os dois lados são 0 ๐๐๐ ๐, e, caso contrário, ๐๐โ1 โก 1 (๐๐๐ ๐); analogamente ñ๐ โก ๐ (๐๐๐ ๐), donde ñ๐ โก ๐ (๐๐๐ ๐). 19 Mais detalhes sobre Criptografia RSA podem ser encontrados em Teoria dos Números โ Um passeio com primos e outros números familiares pelo mundo inteiro (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011). 3.3. TESTES DE PRIMALIDADE Uma questão de muita importância em Teoria dos Números é identificar se um determinado número é primo ou composto. Para números pequenos é bastante simples, bastando aplicar o algoritmo do Crivo de Eratóstenes. Entretanto, para números grandes, este método é muito lento e se torna praticamente inviável com a tecnologia de computação hoje disponível. O Teorema de Wilson, como dito anteriormente, seria uma boa opção, porém calcular o fatorial de números grandes é igualmente trabalhoso. Outra ideia é utilizar o Pequeno Teorema de Fermat que nos diz que, se ๐ é primo e ๐ um número natural, não múltiplo de ๐, então ๐๐โ1 โก 1 (๐๐๐ ๐). Entretanto, a recíproca não é verdadeira. Existem números compostos ๐ e ๐ โฅ 2, tais que ๐๐โ1 โก 1(๐๐๐ ๐). Estes números são chamados pseudoprimos na base ๐. Pseudoprimos existem, mas são raros. Por exemplo o menor pseudoprimo na base 2 é 341 = 11 ๐ฅ 31 e existem apenas 21.853 pseudoprimos na base 2 menores que 2,5 ๐ฅ 1010 , contra 1.091.987,405 primos (MARTINEZ et. Al., 2011). Uma recíproca do Pequeno Teorema de Fermat foi descoberta por Lucas em 1876, e será o primeiro teste apresentado (RIBENBOIM, 2012). 20 Teste 1: Seja ๐ > 1. Supõe-se que exista um inteiro ๐ > 1 tal que: (i) ๐๐โ1 โก 1 ๐๐๐ (๐), (ii) ๐๐ โข 1 (๐๐๐ ๐ ) ๐๐๐๐ ๐ = 1, 2, โฏ , ๐ โ 2 Então ๐ é primo! Defeito do Teste: Também exige muitas operações. ๐ โ 2 multiplicações sucessivas por ๐ e a verificação que 1 não é resíduo módulo ๐ de uma potência de ๐ inferior a ๐ โ 1. Demonstração: Basta mostrar que todo inteiro ๐, 1 โค ๐ < ๐ é primo com ๐, isto é, ๐(๐) = ๐ โ 1. Com esse objetivo, basta mostrar que existe ๐, 1 โค ๐ < ๐, ๐๐๐ (๐, ๐) = 1, tal que a ordem de ๐ módulo ๐ seja ๐ โ 1. Isto é exatamente o que exprime a hipótese. ๏ Em 1891, Lucas formulou um outro teste (RIBENBOIM, 2012): Teste 2: Seja ๐ > 1. Supõe-se que exista um inteiro ๐ > 1, tal que: (i) ๐๐โ1 โก 1 (๐๐๐ ๐), (ii) ๐๐ โข 1(๐๐๐ ๐) ๐๐๐๐ ๐ก๐๐๐ ๐๐๐ฃ๐๐ ๐๐ ๐ ๐๐ ๐ โ 1. Então ๐ é primo! Defeito do Teste: O teste exige o conhecimento de todos os fatores de ๐ โ 1; não se pode aplicá-lo facilmente, exceto quando ๐ tem uma forma particular, como por exemplo ๐ = 2๐ + 1 ou ๐ = 3 ๐ฅ 2๐ + 1. Demonstração: Mesma do teste 1. Em 1967, Brillhart e Selfridge tornaram o teste de Lucas mais flexível (RIBENBOIM, 2012): Teste 3: Seja ๐ > 1. Supõe-se que, para todo fator primo ๐ de ๐ โ 1, exista um inteiro ๐ = ๐(๐) > 1, tal que: (i) ๐๐โ1 โก 1 (๐๐๐ ๐), (ii) ๐(๐โ1)/๐ โข 1 (๐๐๐ ๐). Então, ๐ é primo. 21 Defeito do Teste: Ainda é necessário conhecer os fatores primos de ๐ โ 1, mas o número de congruências para examinar é menor. Demonstração: Basta demonstrar que ๐ (๐) = ๐ โ 1, e , como ๐ (๐) โค ๐ โ 1, é suficiente mostrar que ๐ โ 1 divide ๐ (๐). Se fosse falso, existiria um número primo ๐ e um inteiro ๐ โฅ 1 tais que ๐ ๐ divide ๐ โ 1, enquanto ๐ ๐ não dividiria ๐ (๐). Seja ๐ = ๐(๐) e seja ๐ a ordem de ๐ módulo ๐. Então ๐ divide ๐ โ 1 e ๐ não divide (๐ โ 1)/๐, e, consequentemente, ๐ ๐ divide ๐. Como ๐๐(๐) โก 1 ๐๐๐ (๐), então ๐ divide ๐(๐), então ๐ ๐ | ๐(๐), o que é uma contradição e assim termina a demonstração! ๏ Os três testes apresentados até agora apresentam como limitação a necessidade de se determinar os fatores primos de ๐ โ 1, operação que pode não ser tão fácil de se realizar. Apresentaremos então mais dois testes que requerem apenas a fatoração parcial de ๐ โ 1. Esses testes se baseiam nas seguintes proposições feitas por Pocklington em 1914 sobre fatores primos. 1ª Proposição โ Seja ๐ โ 1 = ๐ ๐ ๐ , onde ๐ é primo, ๐ โฅ 1 e ๐ não divide ๐ . Supõe-se a existência de inteiro ๐ > 1, tal que: (i) ๐๐โ1 โก 1 (๐๐๐ ๐), (ii) ๐๐๐ (๐(๐โ1)โ๐ โ 1, ๐) = 1. Então, todo fator primo de ๐ é da forma ๐๐ ๐ + 1, com ๐ โฅ 1. Demonstração: Seja ๐ um fator primo de ๐ e seja ๐ a ordem de ๐ módulo ๐ (ou seja, ๐ é o menor inteiro positivo, tal que: ๐๐ โก 1 ๐๐๐ ๐ ), logo ๐ divide ๐ โ 1; pela condição (ii), ๐ não pode dividir (๐ โ 1)/๐, porque ๐ divide ๐; então ๐ não divide (๐ โ 1)/๐ e daí que ๐ ๐ divide ๐ e, a fortiori, ๐ ๐ divide ๐ โ 1. ๏ Se se puder verificar que todo fator primo ๐ = ๐๐ ๐ + 1, é maior que โ๐ então ๐ é primo, Se ๐ ๐ é bem grande, essa verificação pode ser feita em pouco tempo. 22 A segunda proposição de Pocklington, é uma melhoria do resultado (RIBENBOIM, 2012): 2ª Proposição: Seja ๐ โ 1 = ๐น๐ onde ๐๐๐ (๐น, ๐ ) = 1 e onde a fatoração de ๐น é conhecida. Supõe-se que, para todo fator primo ๐ de ๐น, exista um inteiro ๐ = ๐(๐) > 1, tal que: (i) ๐๐โ1 โก 1 (๐๐๐ ๐), (ii) ๐๐๐ (๐(๐โ1)โ๐ โ 1, ๐) = 1. Então, todo fator primo de ๐ é da forma ๐๐น + 1, com ๐ โฅ 1. Os mesmos comentários de aplicam a essa situação. Em particular, se ๐น > โ๐, então ๐ é primo. Os dois testes a seguir são consequências dessas proposições e foram propostos por Proth em 1878. Como dito anteriormente estes testes necessitam do conhecimento dos fatores primos de ๐ โ 1 (RIBENBOIM, 2012). Teste 4: Seja ๐ = 2๐ โ + 1, com โ ímpar e 2๐ > โ. Supõe-se que exista um inteiro ๐ > 1 tal que ๐(๐โ1)โ2 โก โ1 (๐๐๐ ๐). Então ๐ é primo. Demonstração: ๐ โ 1 = 2๐ โ com โ ímpar e ๐๐โ1 โก 1 (๐๐๐ ๐). Sendo dado que ๐ é ímpar, então ๐๐๐ (๐(๐โ1)โ2 โ 1, ๐ ) = 1. Pelo resultado acima, cada fator primo ๐ de ๐ é da forma ๐ = 2๐ ๐ + 1 > 2๐ . Ora, ๐ โ 2๐ โ + 1 < 22๐ , daí โ๐ < 2๐ < ๐ e, por consequência, ๐ é primo! ๏ Teste 5: Seja ๐ โ 1 = ๐น๐ com ๐๐๐ (๐น, ๐ ) = 1, a fatoração de ๐น suposta conhecida: ๐ต é um inteiro tal que ๐น๐ต > โ๐ e ๐ sem qualquer fator primo inferior a ๐ต. Também se supões: (i) para cada fator primo ๐ de ๐น, existe um inteiro ๐ = ๐(๐) > 1, tal que ๐๐โ1 โก 1 (๐๐๐ ๐) e ๐๐๐ (๐(๐โ1)โ๐ โ 1, ๐) = 1. (ii) existe um inteiro ๐ > 1 tal que ๐ ๐โ1 โก 1 (๐๐๐ ๐) e ๐๐๐ (๐ ๐น โ 1, ๐) = 1. Então, ๐ é primo. 23 Demonstração: Seja ๐ um fator primo de ๐, seja ๐ a ordem de ๐ módulo ๐; então ๐ divide ๐ โ 1 e ๐ também divide ๐ โ 1 = ๐น๐ . Sendo dado que ๐ não divide ๐น, então ๐๐๐ (๐, ๐ ) โ 1 e daí, existe um número primo ๐ tal que ๐ | ๐ e ๐ | ๐ e, então, ๐ divide ๐ โ 1. Entretanto, pelo resultado precedente, ๐น divide ๐ โ 1; sendo dado que ๐๐๐ (๐น, ๐ ) = 1, ๐๐น divide ๐ โ 1. Assim, ๐ โ 1 โฅ ๐๐น โฅ ๐ต๐น > โ๐. Isto acarreta que ๐ = ๐ e então ๐ é primo! ๏ ALGORITMO AKS No final de 2002, um professor indiano, Manindra Agrawal, e seus dois alunos, Neeraj Kayal e Nitin Saxena, descobriram um algoritmo que está sendo chamado de AKS (iniciais de seus nomes), que permite verificar, sem margem de erro, se um inteiro positivo é ou não primo, em tempo polinomial. O algoritmo AKS ganhou destaque por ser o primeiro algoritmo publicado que é simultaneamente polinomial, determinístico, e incondicional. O que isto significa, o tempo máximo de processamento do algoritmo pode ser expresso como um polinômio em relação ao número de dígitos do número analisado. Isto permite classificar o número informado como primo ou composto ao invés de retornar um resultado probabilístico. (FARIAS, PUC BRASILIA) 4. DISTRIBUIÇÃO DOS NÚMEROS PRIMOS Uma das questões sobre os números primos que desaviam os matemáticos diz respeito à distribuição dos números primos. Existe alguma lógica que nos permita prever como os números primos se distribuem? É possível determinar o enésimo número primo? Podemos dizer quantos números primos existem inferiores a um dado número ๐? 24 À primeira vista a distribuição dos primos nos parece totalmente aleatória. A Tabela 1 apresenta a relação de números primos até 1009. Visualmente não é possível perceber qualquer regularidade. Quando analisamos os 100 primeiros números antes de 10.000.000, encontramos 9 números primos, porém dentre os 100 primeiros números depois de 10.000.000, encontramos apenas 2. Tabela 1: Números Primos até 1.009 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 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 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 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 619 631 641 643 647 653 659 661 673 677 683 691 701 709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 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 Mas, para os matemáticos, alguns exemplos não bastam, eles seguem buscando padrões e estruturas no mundo dos números. No caso particular dos números primos essa busca se iniciou ha muito tempo atrás e ainda persiste como um mistério que a natureza ainda não se dispôs a revelar, embora progressos tenham sido feitos. A seguir faremos um relato histórico das descobertas sobre o tema, conforme Ribenboim em Números Primos โ Velhos Mistérios, Novos Recordes (RIBENBOIM, 2012). 25 Chamaremos de ๐(๐ฅ) a função de contagem dos números primos, ou seja, para todo número ๐ฅ > 0, deseigna-se por ๐(๐ฅ) o número de primos ๐ tais que ๐ โค ๐ฅ. Com base nesta definição, o que se espera é que uma dada função que nos retorne ๐(๐ฅ), os valores obtidos sejam tão próximos quanto possível de ๐(๐ฅ). Isso não é fácil, até o presente momento todas as funções fornecem aproximações de ๐(๐ฅ), desta forma, sempre existirá algum erro. Então para cada função deve-se estimar o erro. 4.1. EULER Começamos nosso relato histórico com Euler. Euler observou que, para todo número real ๐ > 1, a série (RIBENBOIM, 2012): โ โ ๐=1 1 ๐๐ É convergente. Observou também que para todo ๐0 > 1, ela é uniformemente convergente na semirreta ๐0 โค ๐ < โ. Assim, essa série define uma função ๐(๐), chamada função zeta, para 1 < ๐ < โ, que é contínua e diferenciável. Além disso, lim ๐(๐) = 1 ๐โโ e lim (๐ โ 1)๐(๐) = 1. ๐โ1+0 A ligação entre a função zeta e os números primos é uma expressão analítica da fatoração única de inteiros como produto de números primos: โ 1 1 = โ , para ๐ > 1 ๐ 1 ๐ ๐=1 ๐ 1โ ๐ ๐ ๐(๐) = โ 26 โ ๐ 1 1 1 โ ๐๐ = โ(1 + ๐โ๐ + ๐โ2๐ + โฏ ) Expandindo o último produto, temos: +โ ๐(๐) = โ ๐ โ๐ ๐=1 Uma vez que cada número inteiro ๐ โฅ 1 pode ser exclusivamente expresso como um produto de potência de primos racionais. Além disso, temos, para ๐ > 1: +โ ๐ 1 < ๐(๐) < 1 + โ โซ ๐ก โ๐ ๐๐ก = 1 + โซ ๐=2 ๐โ1 +โ ๐ก โ๐ ๐๐ก = 1 + (๐ โ 1)โ1 1 O que mostra que ๐(๐) é convergente para ๐ > 1 e tende para 1 quando ๐ โ +โ (WEIL, 1974). Daí se conclui que ๐(๐) โ 0 para ๐ > 1. Euler demonstrou também que a soma dos inversos dos números primos é divergente: โ ๐ 1 =โ ๐ Demonstração: Seja ๐ um número natural arbitrário. Todo inteiro ๐ โค ๐ é o produto, que se obtém de modo único, de potências de números primos ๐ โค ๐. Igualmente, para cada primo ๐. โ 1 1 = . ๐๐ 1 โ 1 ๐=0 ๐ โ Então: ๐ โ 1 1 1 โ โค โ (โ ๐ ) = โ . 1 ๐ ๐ 1 โ ๐=1 ๐โค๐ ๐=0 ๐โค๐ ๐ Mas: 27 1 = โ โ log (1 โ ) . 1 ๐ ๐โค๐ 1 โ ๐โค๐ ๐ log โ 1 E, para cada primo ๐: โ โ ๐=1 โ=0 1 1 1 1 1 โ log (1 โ ) = โ โค + (โ )= ๐ ๐๐๐ ๐ ๐2 ๐โ = 1 1 1 1 1 + 2๐ฅ = + ๐ ๐ 1 โ 1 ๐ ๐(๐ โ 1) ๐ < 1 1 + . ๐ (๐ โ 1)2 Então: ๐ โ 1 1 1 1 1 1 log โ โค log โ โคโ +โ โค โ +โ 2. 2 1 ๐ ๐ (๐ โ 1) ๐ ๐ ๐=1 ๐โค๐ 1 โ ๐โค๐ ๐ ๐=1 ๐ ๐โค๐ ๏ โ 1/p diverge onde a soma é sobre todos os primos positivos em โค. p1 , p2 , โฆ , pl(n) Seja 1 โ1 โl(n) i=1 (1 โ p ) . Se (1 โ i 1 โ1 ) pi todos os números primos menores que n definido por ฮป(n) = 1โ a pi i = โโ ai = 0 a1 โ1 vemos que ฮป(n) = โ(p1a1 pa2 2 โฆ โฆ pl ) , Onde a somatória é válida para todo ๐ de integrais não negativas ( a1 , a2 , โฆ , al ). Em particular se percebe que 1 + 1 2 + 1 3 n โ โ. Isto já comprova que existe infinitos primos. Considerando ๐๐๐ ฮป(n) temos + โฏ + 1โn < ๐(n). Assim ฮป(n) โ โ como 28 l m โ1 โ ๐๐๐ ฮป(n) = โ โli=1 log (1 โ pโ1 = p1โ1 + pโ1 2 +โฏ+ i ) = โi=1 โm=1 (mpi ) l m โ1 โ pโ1 l + โi=1 โm=2 (mpi ) m โ1 โm โ1 โ1 Agora, โโ < โโ = pโ2 โค 2pโ2 m=2 (mpi ) m=2 pi i (1 โ pi ) i . โ1 โ2 โ2 โ2 Assim ๐๐๐ (ฮป) < p1โ1 pโ1 2 + โฏ + pl + 2 (p1 + p2 + โฏ + pl ). โ2 É sabido que โโ converge. n=1 n โ2 Segue-se que โโ converge. i=1 pi Assim se โ pโ1 converge, haveria uma constante M de modo que log ฮป(n) < ๐ , ou ฮป(n) < eM . Isso é impossível pois ฮป(n) โ โ e n โ โ. Logo โ pโ1 diverge. ๏ 2 Mas a série โโ ๐=1(1โ๐ ) é convergente. Como ๐ é arbitrário e a série harmônica โ โโ ๐=1(1โ๐) é divergente, log โ๐=1(1โ๐ = โ) e, em consequência, a série โ๐(1โ๐) é divergente. 2 Como a série โโ ๐=1(1โ๐ ) é convergente, pode-se então dizer que os quadrados são โmais frequentesโ que os números primos. Uma das belas descobertas de Euler é a soma da série: โ 1 ๐2 โ 2= . ๐ 6 ๐=1 2๐ Euler também calculou as somas de โโ ๐=1(1โ๐ ) para todo ๐ โฅ 1, dando assim a solução de um problema que desafiava os matemáticos da época, e obteve: ๐(2๐)= 1 โโ ๐โฅ1 ๐2๐ = 22๐โ1 ๐ต ๐ 2๐ (2๐ )! ๐ Para fazê-lo utilizou os números de Bernoulli, que são definidos da seguinte forma: 29 1 ๐ต1 = โ , 2 ๐ต0 = 1, 1 ๐ต2 = , 6 โฏ E ๐ต๐ é definido pela relação: ( ๐+1 ๐+1 ๐+1 ) ๐ต๐ + ( ) ๐ต๐โ1 + โฏ + ( ) ๐ต1 + ๐ต0 = 0. 1 2 ๐ Esses números são racionais e é fácil ver que ๐ต2๐+1 = 0 para todo ๐ โฅ 1. Eles aparecem também como coeficientes do seguinte desenvolvimento de Taylor: โ ๐ฅ ๐ต๐ ๐ ๐ฅ ๐ฅ 2๐ ๐+1 = โ ๐ฅ = 1 โ + โ(โ1) ๐ต ๐ (2๐)! ๐๐ฅ โ 1 ๐! 2 ๐=0 ๐โฅ1 Por meio da fórmula de Stirling โ2๐๐ ๐! ~ ๐๐ ๐+ 1 2 , quando ๐ โ โ. pode-se mostrar que: |๐ต2๐ |~4โ๐๐ ( ๐ 2๐ ) . ๐๐ A série acima é então convergente no intervalo |๐ฅ| < 2๐. Euler já havia utilizado os números de Bernoulli para representar somas de potências dadas de inteiros consecutivos: ๐ โ ๐๐ = ๐๐ (๐), para ๐ โฅ 1. ๐=1 Onde: ๐๐ (๐) = 1 ๐+1 ๐+1 ๐+1 [๐ ๐+1 โ ( ) ๐ต1 ๐ ๐ + ( ) ๐ต2 ๐ ๐โ1 + โฏ + ( ) ๐ต๐ ๐]. ๐+1 1 2 ๐ A fórmula de Euler dando o valor de ๐(2๐พ) é: โ 1 (2๐)2๐ ๐ต2๐ ๐+1 ๐(2๐) = โ 2๐ = (โ1) . ๐ 2(2๐)! ๐=1 Em particular: 30 โ ๐(2) = โ ๐=1 โ ๐(4) = โ ๐=1 1 ๐ = , ๐2 6 1 ๐4 = , ๐4 90 etc. Euler também considerou os polinômios de Bernoulli, que são assim definidos: ๐ ๐ ๐ต๐ (๐) = โ ( ) ๐ต๐ ๐ ๐โ๐ , ๐ para ๐ โฅ 0. ๐=0 Os polinômios ๐๐ (๐) podem exprimir-se por meio dos polinômios de Bernoulli. Uma de suas mais importantes aplicações é uma generalização da fórmula do somatório de Abel, dando origem às fórmulas do somatório de Euler-MacLaurin, que lembramos aqui: Se ๐(๐ฅ) é função contínua, tendo derivadas contínuas de ordem tão grande quanto necessário, se ๐ < ๐ são inteiros, então, para todo ๐ > 1, ๐ ๐ ๐ โ ๐(๐) = โซ ๐(๐ก)๐๐ก + โ(โ1)๐ ๐=๐+1 ๐ ๐=1 ๐ต๐ (๐โ1) (๐) โ ๐ (๐โ1) (๐)) (๐ ๐! (โ1)๐+1 ๐ + โซ ๐ต๐ (๐ก โ [๐ก])๐ ๐ก (๐ก)๐๐ก. ๐! ๐ onde [๐ก] designa a parte inteira de ๐ก. 31 4.2. LEGENDRE A primeira tentativa séria de estudo da função ๐(๐ฅ) (função de contagem dos números primos, como mencionado na introdução do item 4) é devida a Legendre (1808) que utilizou o crivo de Eratóstenes para mostrar que (RIBENBOIM, 2012): ๐ ๐(๐) = ๐(โ๐) โ 1 + โ ๐(๐) [ ] . ๐ O somatório refere-se a todos os divisores ๐ do produto de todos os primos ๐ โค โ๐ e ๐(๐ฅ) é a função de Möbius, que é assim definida: ๐(๐) = { (โ1)๐ 1, ๐๐ ๐ = 1 ๐ ๐ ๐ é ๐๐๐๐๐ข๐ก๐ ๐๐ ๐ ๐ú๐๐๐๐๐ ๐๐๐๐๐๐ ๐๐๐ ๐ก๐๐๐ก๐๐ . 0 ๐ ๐ ๐ ๐ã๐ é ๐๐๐ฃ๐๐ ๐๐ ๐๐ข๐๐๐๐๐๐๐ . Como corolário, Legendre conjecturou em 1798 e em 1808, que: ๐(๐ฅ)~ ๐ฅ , log ๐ฅ โ ๐ด(๐ฅ) Onde: lim ๐ด(๐ฅ) = 1,08366 โฏ ๐ฅโโ Tschebycheff mostrou, quarenta anos depois, que a conjectura de Legendre era falsa. 4.3. GAUSS Na idade de 15 anos, em 1792, Gauss conjecturou que ๐(๐ฅ) era assintoticamente igual à função integral logarítmica, definida como (RIBENBOIM, 2012): 32 ๐ฅ ๐ฟ๐(๐ฅ) = โซ 2 ๐๐ก . log ๐ฅ Sendo ๐ฟ๐(๐ฅ)~ ๐ฅ โlog ๐ฅ, pode-se escrever a conjectura como: ๐(๐ฅ)~ ๐ฅ . log ๐ฅ Com o tempo, essa conjectura revelou-se verdadeira e esse fato é hoje conhecido como o Teorema dos Números Primos. A aproximação de ๐(๐ฅ) por ๐ฅโlog ๐ฅ não é das melhores; a aproximação pela integral logarítmica é bem melhor. 4.4. TSCHEBYCHEFF Um importante progresso para a determinação da ordem de grandeza da função ๐(๐ฅ) é devido a Tschebycheff, em 1850 (RIBENBOIM, 2012). Demonstrou ele, usando métodos elementares, que existem constantes ๐ถ e ๐ถ โฒ , 0 < ๐ถ โฒ < 1 < ๐ถ, tais que: ๐ถโฒ ๐ฅ ๐ฅ < ๐(๐ฅ) < ๐ถ log ๐ฅ ๐๐๐๐ฅ para ๐ฅ โฅ 2. Ele até calculou valores para ๐ถ e ๐ถโฒ, todos muito próximos de 1. Assim, por exemplo, se ๐ฅ โฅ 30, então as desigualdades acima valem com: ๐ถ โฒ = log 21โ2 31โ3 51โ5 = 0,92129 โฏ , 301โ30 ๐ถ= 6 โฒ ๐ถ = 1,10555 โฏ 5 Por outro lado, se existir o ๐(๐ฅ) ๐ฅโโ ๐ฅ โlog ๐ฅ lim então ele deve ser igual a 1. Ele também concluiu que a aproximação de Legendre para ๐(๐ฅ) não podia estar correta. 33 Tschebycheff também demonstrou o postulado de Bertrand (1845), que afirma que, para todo número natural ๐ โฅ 2, existe um número primo entre ๐ e seu dobro 2๐. Ele estudou a função ๐(๐ฅ) = โ๐โค๐ฅ log ๐, hoje chamada a Função de Tschebycheff, que dá essencialmente a mesma informação que ๐(๐ฅ), sendo, entretanto mais fácil de manipular. A despeito do fato de Tschebycheff ter-se aproximado da demonstração do Teorema dos Fundamental dos Números Primos, conjecturado por Gauss, a demonstração se fez ainda esperar por cinquenta anos, até o fim do século. Neste entretempo, Riemann trouxe ideias novas e fundamentais à Teoria dos Números Primos. 4.5. RIEMANN Riemann teve a ideia de definir a função zeta para todos os números complexos ๐ , tendo parte real superior a 1, por (RIBENBOIM, 2012): โ ๐(๐ ) = โ ๐=1 1 , ๐๐ para ๐ ๐(๐ ) > 1. A fórmula do produto de Euler é ainda válida, para todo ๐ tal que ๐ ๐(๐ ) > 1. Por meio da fórmula do somatório de Euler e de MacLaurin, pode-se exprimir ๐(๐ ) da seguinte maneira: ๐ โ 1 1 ๐ต๐ 1 ๐๐ฅ ๐(๐ ) = + + โ ๐ (๐ + 1) โฏ (๐ + ๐ โ 2) โ ๐ (๐ + 1) โฏ (๐ + ๐ โ 1) โซ ๐ต๐ (๐ฅ โ {๐ฅ}) ๐ +๐ ๐ โ1 2 ๐! ๐! ๐ฅ 1 ๐=2 Aqui, ๐ é um número inteiro qualquer, ๐ โฅ 1, os números ๐ต๐ são os de Bernoulli (não confundir com ๐ต๐ (๐ฅ โ [๐ฅ]), que é o valor do ๐ é๐ ๐๐๐ polinômio de Bernoulli ๐ต๐ (๐) em ๐ฅ โ [๐ฅ]). A integral converge quando ๐ ๐(๐ ) > 1 โ ๐; como ๐ é um número natural qualquer, a fórmula fornece a extensão de ๐(๐ ) no plano inteiro. ๐(๐ ) é sempre holomorfa, exceto em ๐ = 1, onde a função tem pólo simples, de resíduo igual a 1, isto é: 34 lim(๐ โ 1)๐(๐ ) = 1. ๐ โ1 Em 1859, Riemann encontrou a equação funcional para a função ๐(๐ ). Como nessa equação intervém a função ฮ(๐ ), vamos defini-la em primeiro lugar. Para ๐ ๐(๐ ) > 0, uma definição conveniente utiliza a integral euleriana: โ ฮ(๐ ) = โซ ๐ โ๐ข ๐ข ๐ โ1 ๐๐ข. 0 Para números complexos arbitrários ๐ , a função ฮ(๐ ) pode ser definida do modo seguinte: โ 1 ๐ ๐ โ๐ ฮ(๐ ) = ๐พ๐ โ ๐ . ๐ ๐ 1 + ๐=1 ๐ Onde ๐พ é a constante de Euler, que é igual a: ๐พ = lim (1 + ๐โโ 1 1 + โฏ + โ log ๐) = 0,577215665 โฏ 2 ๐ A constante de Euler está ligada ao produto de Euler pela seguinte fórmula devida a Mertens: โ 1 1 ๐ = lim โ 1 ๐โโ log ๐ ๐=1 1 โ ๐๐ ๐พ ฮ(๐ ) nunca vale 0; ela é sempre holomorfa, exceto nos pontos 0, โ1, โ2, โ3, โฏ onde a função tem polos simples. Para todo inteiro positivo ๐, ฮ(๐ฅ) = (๐ โ 1)!; então a função gama é uma extensão da função fatorial. A função gama satisfaz muitas relações interessantes, entre elas as equações funcionais: ฮ(๐ )ฮ(1 โ ๐ ) = ๐ , sin(๐๐ ) ฮ(๐ + 1) = ๐ ฮ(๐ ) e, 1 โ๐ ฮ(๐ )ฮ (๐ + ) = 2๐ โ1 ฮ(2๐ ). 2 ๐ Agora a equação funcional para a função zeta de Riemann: ๐ 1โ๐ ๐ โ๐ โ2 ฮ ( ) ๐(๐ ) = ๐ โ(1โ๐ )โ2 ฮ ( ) ๐(1 โ ๐ ). 2 2 35 Resulta, por exemplo, da equação funcional, que ๐(0) = โ 1โ2. Os zeros da função zeta são os seguintes: (i) Zeros simples nos pontos โ2, โ4, โ6, โฏ que são chamados zeros triviais. (ii) Zeros no domínio crítico, que é o conjunto dos números complexos ๐ tais que 0 โค ๐ ๐(๐ ) โค 1. Com efeito, se ๐ ๐(๐ ) > 1, de acordo com o produto de Euler, ๐(๐ ) โ 0. Se ๐ ๐(๐ ) < 0, então ๐ ๐(1 โ ๐ ) > 1, a expressão à direita da equação funcional não é nula e então os zeros de ๐(๐ ) estão nos pontos โ2, โ4, โ6, โฏ, que são exatamente os polos de ฮ(๐ โ2). O conhecimento dos zeros da função zeta no domínio crítico se traduz por um conhecimento mais profundo da distribuição dos números primos. A primeira coisa a observar é que os zeros no domínio crítico não são reais e que eles se colocam simetricamente em relação ao eixo real e também em relação à reta de equação ๐ ๐(๐ ) = 1โ2. Riemann conjecturou que os zeros não triviais ๐ da função zeta se encontram sobre a reta crítica ๐ ๐(๐ ) = 1โ2, quer dizer, ๐ = 2 + ๐๐ก. Essa é a célebre Hipótese de Riemann, que até o 1 momento não foi provada e sobre a qual varias generalizações já foram provadas. Note que esse problema é chamado de hipótese que tem uma conotação muito mais forte que uma conjectura que representa uma previsão do matemático sobre o modo que o mundo se comporta. Isso se dá devido à necessidade que muitos matemáticos tiveram para formular milhares de teoremas, pois se viram obrigados a pressupor a veracidade da previsão de Riemann para atingir seus próprios objetivos. Se a Hipótese de Riemann se transformar em um teorema, todos os resultados pendentes serão validados. Riemann também teve a ideia de considerar todas as potências de números primos ๐๐ โค ๐ฅ, atribuindo a cada um desses números primos o peso 1โ๐. Foi por ele definida a função: 36 1 1 1 1 1 1 1 ๐(๐ฅ) + ๐ (๐ฅ โ2 ) + ๐ (๐ฅ โ3 ) + ๐ (๐ฅ โ4 ) + โฏ โ , 2 3 4 2๐ ๐๐ข๐๐๐๐ ๐ฅ = ๐๐ , ๐๐๐๐ ๐ โฅ 1 ๐ ๐ é ๐ข๐ ๐ú๐๐๐๐ ๐๐๐๐๐. 1 1 1 1 ๐ฝ(๐ฅ) = 1 1 ๐(๐ฅ) + ๐ (๐ฅ โ2 ) + ๐ (๐ฅ โ3 ) + (๐ โ4 ) + โฏ 2 3 4 ๐๐ข๐๐๐๐ ๐ฅ > 0 é ๐ข๐ ๐ú๐๐๐๐ ๐๐๐๐๐๐ข๐ ๐ã๐ é ๐๐๐๐๐, { ๐๐๐ ๐๐๐กê๐๐๐๐ ๐๐ ๐ú๐๐๐๐ ๐๐๐๐๐. Uma das principais fórmulas conjecturadas por Riemann era uma expressão de ๐ฝ(๐ฅ) em função da integral logarítmica; essa fórmula faz intervir os zeros de ๐(๐ ). É preciso, em primeiro lugar, definir ๐ฟ๐(๐ ๐ค ), para todo número complexo ๐ค = ๐ข + ๐๐ฃ, da maneira seguinte: ๐ฟ๐(๐ ๐ค) ๐๐ก = โซ ๐๐ก + ๐ง ๐ก Onde a integral é calculada sobre a semirreta horizontal de โโ a ๐ข + ๐๐ฃ e ๐ง = ๐๐, โ๐๐ ou 0, segundo ๐ฃ > 0, ๐ฃ < 0 ou ๐ฃ = 0. A fórmula de Riemann, provada por Von Mangoldt, é a seguinte: ๐ฝ(๐ฅ) = ๐ฟ๐(๐ฅ) โ โ ๐ฟ๐(๐ฅ ๐ ) + โซ โ ๐ก(๐ก 2 ๐ฅ ๐ ๐๐ก โ log 2 โ 1) log ๐ก em que o somatório é estendida a todos os zeros não triviais ๐ de ๐(๐ ), cada um contado com sua multiplicidade. Seja: โ ๐ (๐ฅ) = โ ๐=1 ๐(๐) 1 ๐ฟ๐ (๐ฅ โ๐ ), ๐ função hoje chamada de Função de Riemann. Riemann indicou a fórmula seguinte, que exprime ๐(๐ฅ) à custa da função ๐ (๐ฅ): ๐(๐ฅ) = ๐ (๐ฅ) โ โ ๐ (๐ฅ ๐ ) ๐ em que o somatório percorre todos os zeros ๐ não triviais de ๐(๐ ), cada um contado com a sua multiplicidade. 37 A Função de Riemann ๐ (๐ฅ) dá uma excelente aproximação de ๐(๐ฅ). A expressão do erro utiliza os valores de ๐ (๐ฅ ๐ ), para todas as raízes ๐ de ๐(๐ ) no domínio crítico. Em 1893, Gram indicou a seguinte série de potências, que converge muito rapidamente, e permite calcular a função de Riemann: โ 1 (log ๐ฅ)๐ ๐ (๐ฅ) = 1 + โ ๐ฅ . ๐๐(๐ + 1) ๐! ๐=1 4.6. DE LA VALLÉE POUSSIN E HADAMARD Riemann forneceu muitas ferramentas para a demonstração do Teorema dos Números Primos (RIBENBOIM, 2012): ๐(๐ฅ)~ ๐ฅ โ lim ๐ฅโโ log ๐ฅ ๐(๐ฅ) =1 ๐ฅโ ๐๐๐๐ฅ Outras ferramentas foram obtidas da teoria das funções analíticas complexas, que passava por um período de grande desenvolvimento. O teorema foi provado por dois eminentes analistas de maneira independente e durante o mesmo ano de 1896. Eles foram: De La Valleé Poussin e Hadamard. De La Valleé Poussin demonstrou a seguinte propriedade: existe ๐ > 0 e ๐ก0 = ๐ก0 (๐) > ๐ 2๐ , tais que ๐(๐ ) โ 0 para todo ๐ = ๐ + ๐๐ก na região: ๐ โค ๐ โค 1, log ๐ก0 { ๐ 1โ โค ๐ โค 1, log|๐ก| 1โ ๐๐ข๐๐๐๐ |๐ก| โค ๐ก0 ๐๐ข๐๐๐๐ ๐ก0 โค |๐ก| Então, em particular, ๐(1 + ๐๐ก) โ 0 para todo ๐ก, como fora provado por Hadamard. 38 A determinação de uma grande região onde a função ๐(๐ ) não tem zeros foi um dos pontos importantes da demonstração do teorema dos números primos. Hadamard e De La Valleé Poussin não se contentaram em demonstrar o Teorema dos Números Primos. Também calcularam o erro, mostrando que: ๐(๐ฅ) = ๐ฟ๐(๐ฅ) + ๐(๐ฅ๐ โ๐ดโlog ๐ฅ ), em que ๐ด é uma constante positiva. Existem outras demonstrações do Teorema dos Números Primos com métodos analíticos. Entre elas, uma demonstração de Grosswald (1964) e outra, particularmente simples, deve-se a Newman (1980). Existem outras formulações equivalentes do Teorema dos Números Primos. Utilizando a função de Tschebycheff, o teorema pode ser expresso assim: ๐(๐ฅ)~๐ฅ. Outra formulação faz intervir a função do somatório de Von Mangoldt. Seja: ฮ(๐) = { ๐ ๐ ๐ = ๐๐ (๐ โฅ 1)๐ ๐ é ๐๐๐๐๐, ๐๐๐ ๐๐๐๐๐๐ ๐๐๐ ๐๐ . log ๐, 0, Esta função aparece na expressão da derivada logarítmica da função zeta: โ ๐ โฒ (๐ ) ฮ(๐) โ =โ ๐ , ๐(๐ ) ๐ ๐๐๐๐ ๐ ๐(๐ ) > 1. ๐=1 É também ligada à função ๐ฝ(๐ฅ): ๐ฝ(๐ฅ) = โ ๐โค๐ฅ ฮ(๐) . log ๐ A função somatório de ฮ(๐) é definida por: ๐(๐ฅ) = โ ฮ(๐). ๐โค๐ฅ Ela se exprime, sem dificuldade, a partir da função de Tschebycheff: ๐(๐ฅ) = ๐(๐ฅ) + ๐ (๐ฅ 1โ 2) + ๐ (๐ฅ 1โ 3) + โฏ. 39 O Teorema dos Números Primos também admite o enunciado equivalente seguinte: ๐(๐ฅ)~๐ฅ. 4.7. ERDÖS E SELBERG Acreditou-se durante muito tempo que métodos analíticos deviam ser empregados na demonstração do Teorema dos Números Primos. Houve grande surpresa na comunidade matemática, quando Erdös, assim como Selberg, em 1949, deu uma demonstração utilizando unicamente as estimativas elementares de certas funções aritméticas (RIBENBOIM, 2012). Algumas dessas estimativas já eram conhecidas, como, por exemplo: โ ๐โค๐ฅ โ ๐โค๐ฅ log ๐ = log ๐ฅ + ๐พ + ๐(1), ๐ onde ๐พ é a constante de Euler, 1 ๐ฅ1โ๐ 1 = + ๐(๐) + ๐ ( ๐ ) , ๐ ๐ 1โ๐ ๐ฅ ๐๐๐๐ ๐ > 1, โ log ๐ = ๐ฅ log ๐ฅ โ ๐ฅ + ๐(log ๐ฅ), ๐โค๐ฅ โ ๐โค๐ฅ log ๐ 1 log ๐ฅ = (log ๐ฅ)2 + ๐ถ + ๐ ( ). ๐ 2 ๐ฅ As estimativas acima podem se obter utilizando as fórmulas de somatório de Abel, ou de Euler e MacLaurin e, de fato, não têm conteúdo aritmético. As fórmulas a seguir, onde interveem números primos, são mais interessantes: โ ๐โค๐ฅ โ ๐โค๐ฅ log ๐ = log ๐ฅ + ๐(1), ๐ 1 1 = log log ๐ฅ + ๐ถ + ๐ ( ), ๐ log ๐ฅ ๐๐๐๐ ๐ถ = 0,2615 โฏ, 40 โ ๐โค๐ฅ โ ๐โค๐ฅ ฮ(๐) = log ๐ฅ + ๐(1), ๐ ฮ(๐) log ๐ 1 = (log ๐ฅ)2 + ๐(log ๐ฅ). ๐ 2 Selberg deu, em 1949, a seguinte estimativa: โ(log ๐)2 + โ (log ๐) (log ๐) = 2๐ฅ log ๐ฅ + ๐(๐ฅ), ๐โค๐ฅ ๐๐๐๐ ๐, ๐ ๐ ã๐ ๐ú๐๐๐๐๐ ๐๐๐๐๐๐ . ๐๐โค๐ฅ Verdadeiramente, essa estimativa é equivalente a cada uma das duas seguintes: ๐ฅ ๐(๐ฅ) log ๐ฅ + โ ๐ ( ) log ๐ = 2๐ฅ log ๐ฅ + ๐(๐ฅ), ๐ ๐โค๐ฅ โ ฮ(๐) log ๐ + โ ฮ(m)ฮ(n) = 2๐ฅ log ๐ฅ + ๐(๐ฅ). ๐โค๐ฅ ๐๐โค๐ฅ A partir dessas estimativas, Selberg pode dar uma demonstração elementar do Teorema dos Números Primos. Simultaneamente, Erdös apresentou, por um método elementar diferente, sua demonstração do Teorema dos Números Primos, utilizando a seguinte variante da estimativa de Selberg: ๐(๐ฅ) 1 ๐(๐ฅโ๐) ฮ(๐) 1 + โ × = 2+๐( ). ๐ฅ log ๐ฅ ๐ฅโ๐ ๐ log ๐ฅ ๐โค๐ฅ Em 1970, Diamond e Steinig deram uma demonstração elementar com um erro explícito. Diamond (1982) escreveu um trabalho expositivo sobre os métodos elementares para a demonstração do Teorema dos Números Primos. 4.8. PRIMOS EM PROGRESSÃO ARITMÉTICA Em 1837, Dirichlet demonstrou um teorema clássico: 41 Teorema de Dirichlet: Se ๐ โฅ 2 e ๐ โ 0 são inteiros primos entre si, então a progressão aritmética ๐, ๐ + ๐, ๐ + 2๐, ๐ + 3๐, โฆ contém uma infinidade de números primos. A demonstração usual deste teorema utilizando variáveis complexas pode ser encontrada em MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011. Apresentamos a seguir a demonstração de um caso particular do teorema (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011), utilizando o polinômio ciclotômico ฮฆ๐ (๐ฅ) definido pela fórmula: Função de Euler: Seja โ โ {1, 2, โฆ . . , โ, โฆ โฆ โฆ } ๐(โ) é o número de elementos do conjunto ๐ฎ. ๐ฎ = {โ โ โ |1 โค ๐ฅ โค โ| ๐. ๐. ๐. (๐ฅ , โ) = 1} Definição polinômio ciclotômico ฮฆ๐ (๐ฅ) ฮฆ๐ (๐ฅ) = โ(๐,๐)=1(๐ฅ โ ๐ ๐ ) para ๐ = ๐ 2๐๐/๐ assim ๐ ๐ = 1 grau ฮฆ๐ (๐ฅ) = ๐(โ) função Euler โ๐|๐ ฮฆ๐ (๐ฅ) = ๐ฅ ๐ โ 1 Verifica-se facilmente que ฮฆ๐ (๐ฅ) é o polinômio mônico de grau ฮฆ๐ cujas raízes são exp(2๐๐๐/๐), 0 โค ๐ < ๐, ๐๐๐(๐, ๐) = 1. Além disso ฮฆ๐ (๐ฅ) โ โค[๐ฅ]. Caso particular do teorema de Dirichlet: Para todo inteiro positivo d, existem infinitos primos na progressão aritmética ๐ = {๐๐ + 1}๐โโ . Demonstração: Suponhamos que em ๐ existe apenas um número finito de primos ๐1 , โฏ , ๐๐ e definamos ๐ = 2๐๐1 โฏ ๐๐ . Seja ๐ um divisor primo de ฮฆ๐ (๐). Dado que ๐|ฮฆ๐ (๐)| ๐๐ โ 1, temos que ๐๐ โก 1(๐๐๐ ๐). Mostremos que ๐ = ๐๐๐๐ ๐. De fato, se ๐ = ๐๐๐๐ ๐ é um divisor próprio de ๐, como o polinômio (๐ฅ ๐ โ 1)ฮฆ๐ (๐ฅ) divide ๐ฅ ๐ โ 1 então ๐ ๐๐๐ ๐ será raiz dupla de ๐ฅ ๐ โ 1 โ โค/(๐)[๐ฅ]. Mas ๐ | ๐๐ โ 1 e ๐|๐ implica ๐ โค ๐, assim todas as raízes de ๐ฅ ๐ โ 1 são simples porque sua derivada ๐๐ฅ ๐โ1 só é nula em ๐ฅ โก 0 (๐๐๐ ๐), que não é raiz de ๐ฅ ๐ โ 1. Portanto ๐ = ๐๐๐๐ ๐ e assim ๐|๐ โ 1, isto é, ๐ = ๐๐ + 1 โ ๐, mas ๐ โ ๐๐ pois ๐|๐๐ โ 1 โน ๐ โค ๐, logo ๐ โ ๐, o que é uma contradição. ๏ 42 5. FUNÇÕES QUE DEFINEM OS NÚMEROS PRIMOS Outro desafio imposto pelos números primos aos matemáticos de todos os tempos é definir funções que retornem números primos. Esse desafio se tornou mais premente após o desenvolvimento do método de criptografia RSA que requer dois números primos grandes. Algumas fórmulas foram desenvolvidas, entretanto, ainda não se conhece uma fórmula simples para gerar números primos arbitrariamente grandes. As fórmulas existentes são tão complicadas que não ajudam muito nem a gerar números primos, nem a responder perguntas teóricas sobre a distribuição dos números primos. RIBENBOIM (2012) classifica as fórmulas para gerar números primos em três grupos: (A) Fórmulas em que: ๐(๐) = ๐๐ (0 enésimo número primo) (B) Fórmulas em que ๐(๐) é sempre um número primo e, se ๐ โ ๐, então ๐(๐) โ (C) Fórmulas onde o conjunto dos números primos é igual ao conjunto dos valores ๐(๐). positivos da função. Citaremos algumas das fórmulas existem a título de ilustração, sem nos preocuparmos com as demonstrações, devido à complexidade do tema. 43 5.1. FÓRMULA DE GANDHI Em 1971, Gandhi descobriu a seguinte fórmula para gerar o enésimo número primo (RIBENBOIM, 2012): ๐๐ = โ1 โ 1 1 ๐(๐) log (โ + โ ๐ )โ log 2 2 2 โ1 ๐|๐๐โ1 Onde: ๏ท O símbolo โ๐ฅโ indica o maior inteiro ๐ tal que ๐ โค ๐ฅ (๐ฅ sendo um número real positivo). ๏ท ๐๐โ1 = ๐1 ๐2 โฏ ๐๐โ1 ๏ท ๐(๐) é a Função de Möbius, assim definida: Uma forma equivalente de expressar a fórmula de Gandhi é: ๐๐ é o único número inteiro tal que: 1 ๐(๐) 1 < 2๐๐ (โ + โ ๐ ) < 2. 2 2 โ1 ๐|๐๐โ1 Abaixo demonstração elaborada por Vanden Eynden em 1972. ๐(๐) Demonstração: Para simplificar a notação, seja ๐ = ๐๐โ1 , ๐ = ๐๐ e ๐ = โ๐|๐ 2๐ โ1. Então, (2๐ โ 1)๐ = โ ๐(๐) ๐|๐ 2๐ โ 1 = โ ๐(๐)(1 + 2๐ + 22๐ + โฏ + 2๐โ๐ ). 2๐ โ 1 ๐|๐ Se 0 โค ๐ก < ๐, o termo ๐(๐)2๐ก aparece exatamente quando ๐ divide ๐๐๐(๐ก, ๐). Então, o coeficiente de 2๐ก na soma é โ๐|๐๐๐(๐ก,๐) ๐(๐); em particular, se ๐ก = 0, esse coeficiente é igual a โ๐|๐ ๐(๐). ๏ 44 Entretanto, para todo inteiro ๐ โฅ 1, é bem conhecido e fácil de demonstrar que: 1, ๐ ๐ ๐ = 1 โ ๐(๐) = { 0, ๐ ๐ ๐ > 1. ๐|๐ Se se escreve โโฒ0<๐ก<๐ como a soma estendida a todos os valores de ๐ก tais que 0 < ๐ก < ๐ e ๐๐๐(๐ก, ๐) = 1, então (2๐ โ 1)๐ = โโฒ0<๐ก<๐ 2๐ก ; o maior índice ๐ก nessa soma é ๐ก = ๐ โ 1. Daí resulta que: 1 2(2๐ โ 1) (โ 2 + ๐) = โ(2๐ โ 1) + โโฒ0<๐ก<๐ 2๐ก+1 = 1 + โโฒ0<๐ก<๐โ1 2๐ก+1 . Se 2 โค ๐ < ๐๐ = ๐, existe um número primo ๐ tal que ๐ < ๐๐ = ๐ (então ๐ divide ๐) e ๐ divide ๐ โ ๐. Cada um dos índices ๐ก, na soma considerada acima, satisfaz 0 < ๐ก๐ โ ๐. Então: 1 + โโฒ0<๐กโค๐โ๐ 2๐ก+1 2๐โ๐+2 2๐โ๐+1 1 <โ +๐ = < , 2 × 2๐ 2 2(2๐ โ 1) 2 × 2๐ onde as desigualdades são fáceis de estabelecer. Com uma multiplicação por 2๐ , temos: 1 1 < 2๐ (โ 2 + 2) < 2. ๏ 5.2. PRIMOS DE MILLS Outra fórmula para gerar números primos foi desenvolvida por Mills. Em 1947, ele provou que ๐ existe um número real ๐ > 0 tal que para todo inteiro ๐ โฅ 1 o número โ๐ 3 โ é primo. Mills determinou que ๐ ~ 1,3064 (RIBENBOIM, 2012). Mais tarde demonstrou-se que se ๐ > 2,106, existe um conjunto não enumerável de números ๐ reais ๐ > 0 tais que para todo inteiro ๐ o número โ๐ ๐ โ é primo. Quando ๐ = 3 o número ๐ indicado por Mills é o menor possível e é chamado constante de Mills. 45 ๐ Os números primos da forma โ๐ 3 โ, onde ๐ é a constante de Mills, são chamados primos de Mills. O valor da constante de Mills foi calculado com mais precisão, supondo a validade da Hipótese de Riemann, por Caldwell e Cheng em 2005: ๐ = 1,3063778838 โฏ (com 61.684 algarismos). Esta fórmula para gerar números primos não tem grande aplicação prática, pois as potências crescem muito rapidamente, além de ser conhecido apenas uma aproximação, ainda que bastante precisa, da constante de Mills. Já se sabe que os números gerados pela fórmula de Mills com ๐ = 1, 2, 3 โฏ 10 são números 11 primos, sendo que quando ๐ = 10 o número gerado tem 6.854 algarismos. Os números โ๐ 3 โ e 12 โ๐ 3 โ foram calculados por P. Carmody e possuem 20.562 e 61.684 algarismos, respectivamente. Outra fórmula similar de gerar números primos é: ๐ค โ2 โโ 2 2 ๐(๐) = โ2 โ , com uma sucessão de ๐ expoentes Onde: ๐ โฅ 1 ๐ค~1,9287800 โฏ Esta fórmula possui as mesmas limitações da fórmula de Mills, resultando em um número com mais de 5.000 algarismos quando ๐ = 4. 6. CASOS PARTICULARES DE PRIMOS 46 6.1. NÚMEROS DE FERMAT GENERALIZADOS ๐ Fermat conjecturou que todo número da forma ๐น๐ = 22 + 1 era primo. Assim são chamados Números de Fermat, os números com tal formulação. Ele verificou sua conjectura até ๐ โค 4 e até este ponto, todos os números de Fermat são primos (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011): ๐น0 = 3, ๐น1 = 5, ๐น2 = 17, ๐น3 = 257, ๐น4 = 65.537 O número seguinte, ๐น5 , já é um número com 10 algarismos, o que impediu que Fermat testasse sua primariedade, visto que nesta época não havia tabelas de primos com números tão grandes. Observe-se que 2๐ + 1 não é primo se ๐ não é uma potência de 2: se ๐ é um fator primo ímpar de ๐, podemos escrever ๐๐ + 1 = ๐ ๐ + 1 = (๐ + 1)(๐ ๐โ1 โ ๐ ๐โ2 + โฏ + ๐ 2 โ ๐ + 1). Euler mostrou que todo fator primo de números ๐น๐ de Fermat (com ๐ โฅ 2) é da forma ๐ × 2๐+2 + 1 e, testanto tais números conseguiu provar que 641 dividia ๐น5 . 5 22 โก โ1(641) 641 โก 54 + 24 = 27 . 5 + 1 54 โก โ24 . (641) 27 . 5 โก โ1 (641) 228 . 54 โก (โ1)4 โก 1 (641) โ232 โก 1 (641) (641) l 232 +1 47 De fato, temos: ๐น5 = 4.294.967.297 = 641 × 6.700.417 ๐ ๐+1 Demonstração: Seja ๐ um fator primo de ๐น๐ ; então 22 โก โ1(๐๐๐ ๐), daí 22 โก 1 (๐๐๐ ๐) e assim, a ordem de 2 ๐ó๐๐ข๐๐ ๐ é igual a 2๐+1 ; resulta que 2๐+1 divide ๐ โ 1, pelo pequeno Teorema de Fermat, em particular, 8 divide ๐ โ 1. Assim, o símbolo de Legendre 2(๐โ1)โ2 โก (2 | ๐) โก 1 (๐๐๐ ๐). Então 2๐+1 divide (๐ โ 1)โ2, o que mostra ser ๐ = ๐ × 2๐+2 + 1. ๏ Já se demonstrou que ๐น๐ é composto para vários outros valores de ๐; nenhum outro primo de Fermat é conhecido. Até outubro de 2011 o menor número de Fermat que se desconhece se é primo ๐ ou composto é ๐น33 , mas se conhecem muitos primos (alguns bastante grandes) da forma ๐2 + 1, que são conhecidos como Primos de Fermat Generalizados. O Teste de Pépin mostra como testar a primalidade de ๐น๐ . Antes de apresentar este teste é necessário apresentar a seguinte proposição: Proposição: Seja ๐ > 1. Se para cada fator primo ๐ de ๐ โ 1 existe um inteiro ๐๐ tal que ๐๐ ๐โ1 โก 1(๐๐๐ ๐) e ๐๐ (๐โ1)/๐ โข 1(๐๐๐๐) então ๐ é primo. Demonstração: Seja ๐ ๐๐ a maior potência de ๐ que divide ๐ โ 1. A ordem de ๐๐ em (โคโ(๐))๐ฅ é um múltiplo de ๐ ๐๐ , donde ๐(๐) é um múltiplo de ๐ ๐๐ . Como isto vale para todo fator primo ๐ de ๐ โ 1, ๐(๐) é um múltiplo de ๐ โ 1 e ๐ é primo. ๏ ๐ Teste de Pépin (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011): Seja ๐น๐ = 22 + 1; ๐น๐ é primo se, e somente se, 3(๐น๐ โ1)/2 โก โ1 (๐๐๐ ๐น๐ ). Demonstração: Se 3(๐น๐ โ1)/2 โก โ1 (๐๐๐ ๐น๐ ) então a primalidade de ๐น๐ segue da proposição apresentada acima. Por outro lado, se ๐น๐ é primo então pelo critério de Euler e a lei de reciprocidade quadrática temos: 48 3 ๐น๐ 2 3(๐น๐ โ1)/2 โก ( ) = ( ) = ( ) = โ1 (๐๐๐ ๐น๐ ) ๐น๐ 3 3 ๏ O Teste de Pepin é muito prático, mas se ๐น๐ é composto, o teste não dará qualquer fator de ๐น๐ . Desta forma, a fatoração de números de Fermat tem sido objeto de intensa exploração. Em 1985, Dubner conseguiu descobrir números de Fermat generalizados bastante grandes 11 que são primos, como por exemplo, 1502 + 1. Em 202, Dubner e Gallot descreveram um método de computação para determinar a primariedade dos números de Mersenne. Com esse processo, no fim de 2002, já haviam sido descobertos mais de 100 números de Fermat generalizados primos com mais de 100.000 algarismos. 46 números primos de Fermat generalizados são conhecidos com mais de 300.000. O maior entre eles tem mais de um milhão de organismos. 6.2. PRIMOS DE MERSENNE Números da forma ๐๐ = 2๐ โ 1, são conhecidos como números de Mersenne (MARTINEZ; MOREIRA; SALDANHA; TENGAN, 2011). Marin Mersenne foi um matemático, teórico musical, padre mínimo, teólogo e filósofo francês. Ficou conhecido sobretudo pelo seu estudo dos chamados primos de Mersenne. O asteróide 8191 Mersenne foi baptizado em sua honra (WIKIPÉDIA). Atualmente, os maiores números primos conhecidos são números de Mersenne. Os nove maiores números primos conhecidos até abril de 2010, são primos de Mersenne ๐๐ = 2๐ โ 1 onde: ๐ = 43.112.609 ๐ = 42.643.801 ๐ = 37.156.667 49 ๐ = 32.582.657 ๐ = 30.402.457 ๐ = 25.964.951 ๐ = 24.036.583 ๐ = 20.996.011 ๐ = 13.466.917 Esses são os únicos primos conhecidos com mais de 4.000.000 algarismos. Sabe-se, desde os tempos de Mersenne, que números desta forma podem ser primos ou compostos. Por exemplo: ๐2 = 3, ๐3 = 7, ๐5 = 31, ๐7 = 127, são primos. Já, ๐11 = 2.047 = 23 × 89, não é primo. Em 1640, Mersenne afirmou que ๐๐ é primo para ๐ = 13, 17, 19, 31, 67, 127 ๐ 257. Em sua afirmação ele estava enganado em relação ๐ = 67 ๐ 257, que são números compostos. Além disso, deixou de citar ๐ = 61, 89 ๐ 107que são inferiores à 257 e também geram números primos de Mersenne. Apesar dos enganos cometidos, trata-se de um grande feito, tendo em vista a grandeza dos números envolvidos e poucos recursos computacionais da época. O problema que se apresenta então é determinar se um determinado número de Mersenne é primo ou não e, neste caso, determinar seus fatores primos. Parte do interesse em primos de Mersenne deve-se a sua estreita relação com os números perfeitos. Um número perfeito é um inteiro positivo que é igual à soma de seus divisores próprios. Exemplos: 6= 1+2+3 28 = 1 + 2 + 4 + 7 + 14 Números perfeitos pares são precisamente números da forma: 2๐โ1 (2๐ โ 1) onde 2๐ โ 1 é um primo de Mersenne. 50 Pode-se demonstrar que 2๐ โ 1 só pode ser primo quando ๐ é primo. Proposição: Se 2๐ โ 1 é primo, então ๐ é primo. Demonstração: Se ๐ = ๐๐ com ๐, ๐ โฅ 2, Então 1 < 2๐ โ 1 < 2๐ โ 1 e 2๐ โ 1 = 2๐๐ โ 1 = (2๐ )๐ โ 1 โก 1๐ โ 1 = 0 (๐๐๐ 2๐ โ 1) e, 2๐ โ 1 é composto. ๏ Em 1536, Hudalricus Regius mostrou que 2๐ โ 1 não precisa ser primo sempre que ๐ for primo. Como mostra o exemplo já citado anteriormente: ๐11 = 211 โ 1 = 2.047 = 23 × 89. Não se sabe demonstrar nem que existam infinitos primos de Mersenne, nem que existem infinitos primos ๐ para os quais, ๐๐ é composto. Conjectura-se que existam infinitos primos ๐ para os quais ๐๐ é primo e que, se ๐๐ é o enésimo primo deste tipo, temos: 0<๐ด< log ๐๐ < ๐ต < +โ ๐ para constantes ๐ด e ๐ต. Existem algumas conjecturas mais precisas quanto ao valor de lim ๐โ๐๐ . ๐โโ Eberhart conjectura que este limite exista e seja igual a 3/2; Wagstaff por outro lado conjectura que o limite seja: 2๐ โ๐พ โ 1,4757613971 onde ๐พ é a constante de Euler-Mascheroni. Mesmo quando ๐๐ não é primo, podemos garantir que seus fatores primos serão especiais. Isso é muito útil quando procuramos primos de Mersenne, pois podemos eliminar alguns expoentes encontrando fatores primos de ๐๐ . Isso também pode ser útil para conjecturarmos quanto à โprobabilidadeโ de ๐๐ ser primo, ou mais precisamente, quanto a distribuição dos primos de Mersenne. 51 Teorema de Reciprocidade Quadrática: ๐โ1 โ1 ( ) = (โ1) 2 ๐ ๐2 โ1 2 ( ) = (โ1) 8 ๐ ๐โ1 ๐โ1 ๐ ๐ ( ) ( ) = (โ1) 2 2 ๐ ๐ Proposição: Sejam ๐ > 2 e ๐ primos com ๐ um divisor de ๐๐ . Então ๐ โก 1 (๐๐๐ ๐)e ๐ โก ±1 (๐๐๐ 8). Demonstração: Se ๐ divide ๐๐ então 2๐ โก 1 (๐๐๐ ๐), o que significa que a ordem de 2 ๐ó๐๐ข๐๐ ๐ é ๐ (pois ๐ é primo). Isso significa que ๐ é um divisor de ๐ โ 1, ou seja, que ๐ โก ๐+1 1 (๐๐๐ ๐). Por outro lado, 2 โก 2 = (2 (๐+1)โ2 2 2 ) (๐๐๐ ๐), donde (๐) = (โ1) ๐2 โ1 8 (Símbolo de Legendre) o que significa que ๐ โก ±1(๐๐๐ 8). ๐ ( )={ ๐ 0, 1, โ1, ๐ se โ๐ ๐ ๐ ๐ โก ๐๐๐ ๐ caso contrário Os vários valores de ๐ para os quais a primalidade de ๐๐ foi testada sugerem que para a ampla maioria dos valores de ๐, ๐๐ não é primo. Isso é apenas uma conjectura: não se saber sequer se existem infinitos primos ๐ para os quais ๐๐ seja composto. Vamos agora ver uma proposição que serve para garantir que para certos valores especiais de ๐, alguns muito grandes, ๐๐ não é primo. Proposição: Seja ๐ primo, ๐ โก 3 (๐๐๐ 4). Então 2๐ + 1 é primo (๐ é primo de Sophie Germain) se, e somente se, 2๐ + 1 divide ๐๐ . Demonstração: Se ๐ = 2๐ + 1 é primo então: 52 2 ๐๐ = 2๐ โ 1 = 2(๐โ1)โ2 โ 1 โก ( ) โ 1(๐๐๐ ๐). ๐ 2 Mas ๐ โก 3 (๐๐๐ 4) significa que ๐ โก 7 (๐๐๐ 8) donde (๐) = 1. Assim, ๐๐ โก 0 (๐๐๐ ๐), o que demonstra uma das implicações da proposição. Por outro lado, se 2๐ + 1 não é primo, ele tem fatores primos ๐ com ๐ โข 1 (๐๐๐ ๐) (pois ๐ < ๐). Se 2๐ + 1 dividisse ๐๐ , ๐ seria um fator primo de ๐๐ , contrariando a proposição anterior. ๏ O melhor método atualmente conhecido para saber se ๐๐ é primo ou composto, repousa sobre o cálculo de uma sucessão recorrente indicada por Lucas (1878) e Lehmer (1930 e 1935). Entretanto, o método não permite determinar os fatores no caso de o número ser composto. Teste de Primariedade para Números de Mersenne (RIBENBOIM, 2012): Sejam ๐ = 2 e ๐ = โ2; consideram-se as sucessões de Lucas (๐๐ )๐โฅ0 e (๐๐ )๐โฅ0 tendo parâmetros 2 e โ2 e, consequentemente, discriminante ๐ท = 12. Então ๐ = ๐๐ é primo se e somente se ๐ divide ๐(๐+1)โ2. É desejável, para simplificar os cálculos, substituir a sucessão de Lucas (๐๐ )๐โฅ0 pela sucessão (๐๐ )๐โฅ0 , que é definida, por recorrência, da seguinte maneira: ๐0 = 4, ๐๐+1 = ๐๐2 โ 2 Assim, a sucessão começa pelos números 4, 14, 194, โฏ. O teste pode ser formulado como se segue. ๐๐ é primo se e somente se ๐๐ divide ๐๐โ2 . ๐โ1 Demonstração: ๐0 = 4 = ๐2โ2. Supõe-se ๐๐โ1 = ๐2๐ โ22 ๐๐ = 2 ๐๐โ1 โ2= ๐22๐ ๐ 22 ; então ๐ +1 โ2= ๐2๐+1 + 22 ๐ 22 โ2= De acordo com o teste, ๐๐ é primo, se e somente se, ๐๐ divide: ๐2๐+1 ๐ 22 . 53 ๐โ2 ๐(๐๐ +1)โ2 = ๐2๐โ1 = 22 ๐๐โ2 . Isso é, ๐๐ divide ๐๐โ2. ๏ Com esse teste, Lucas mostrou em 1876 que ๐127 é um número primo e ๐67 é composto. Um pouco mais tarde, Pervushin mostrou que ๐61 é primo. Em 1927, Lehmer mostrou que ๐257 é composto. 6.3. PRIMOS GÊMEOS Dizemos que ๐ e ๐ são primos gêmeos se ๐ e ๐ são primos e |๐ โ ๐| = 2 (RIBENBOIM, 2012). Conjectura-se que existem infinitos pares de primos gêmeos. Os menores números primos são: (3, 5), (5, 7), (11, 13), (17, 19). Alguns primos gêmeos muito grandes são também conhecidos, como 65.516.468.355 โ 2333333 ± 1, que tem 100.355 dígitos cada um. Os números primos gêmeos foram caracterizados por Clement em 1949, da seguinte maneira: Seja ๐ โฅ 2. Os inteiros ๐ e ๐ + 2 são ambos primos, se e somente se: 4[(๐ โ 1)! + 1] + ๐ โก 0 (๐๐๐ ๐ + 2) Demonstração: Se a congruência for satisfeita, então ๐ โ 2,4 e (๐ โ 1)! + 1 โก 0 ๐๐๐ ๐ e, pelo Teorema de Wilson, ๐ é primo. Por outro lado, 4(๐ โ 1)! + 2 โก 0 (๐๐๐ ๐ + 2) Que multiplicada por ๐(๐ + 1), dá: [4(๐ + 1)! + 1] + 2๐2 + 2๐ โ 4 โก 0 (๐๐๐ ๐ + 2) E então: 54 4[(๐ + 1)! + 1] + (๐ + 2)(2๐ โ 2) โก 0 (๐๐๐ ๐ + 2) Logo: (๐ + 1)! + 1 โก 0 (๐๐๐ ๐ + 2) De acordo com o Teorema de Wilson, ๐ + 2 é também primo. Reciprocamente, se ๐ e ๐ + 2 são primos, então ๐ โ 2 e: (๐ โ 1)! + 1 โก 0 (๐๐๐ ๐), (๐ + 1)! + 1 โก 0 (๐๐๐ ๐ + 2). Ora, ๐(๐ + 1) = (๐ + 2)(๐ โ 1) + 2 e daí 2(๐ โ 1)! + 1 = ๐(๐ + 2) onde ๐ é inteiro. De (๐ โ 1)! โก โ1 (๐๐๐๐), resulta que 2๐ + 1 โก 0 (๐๐๐ ๐) e, fazendo uma substituição, 4(๐ โ 1)! + 2 โก โ(๐ + 2) (๐๐๐ ๐(๐ + 2)) E então: 4[(๐ โ 1)! + 1] + ๐ โก 0 (๐๐๐ ๐(๐ + 2)) ๏ Entretanto, essa caracterização não tem qualquer interesse prático para determinar primos gêmeos. O problema principal é decidir se existe uma infinidade de pares de primos gêmeos. Para todo ๐ฅ > 1, seja ๐2 (๐ฅ) o número de primos ๐, tais que ๐ + 2 seja também primo e ๐ + 2 โค ๐ฅ. Brun anunciou em 1919 que existe um inteiro ๐ฅ0 , efetivamente calculável, tal que se ๐ฅ โฅ ๐ฅ0 , então: ๐2 (๐ฅ) < 100๐ฅ . (log ๐ฅ)2 A demonstração foi publicada em 1920. Em outro artigo de 1919, Brun demonstrou o célebre resultado: 1 1 โ( + ) ๐ ๐+2 55 Onde a soma é estendida a todos os primos ๐ tais que ๐ + 2 também seja primo, é convergente, o que significa que, mesmo que existam infinitos pares de primos gêmeos, eles acabam por se afastar uns dos outros. A soma: 1 1 1 1 1 1 1 1 ๐ต = ( + ) + ( + ) + ( + ) + โฏ+ ( + )+โฏ 3 5 5 7 11 13 ๐ ๐+2 É chamada constante de Brun. Apoiando-se em considerações heurísticas sobre a distribuição dos primos gêmeos, essa constante foi calculada por Shanks e Wrench (1974), por Brent (1976) e mais recentemente por Nicely (2001) e por Sebah (2002), com o valor: ๐ต = 1,90216051823 โฏ Brun também demonstrou que para todo ๐ โฅ 1, existem ๐ primos sucessivos que não primos gêmeos. A estimativa dada para ๐2 (๐ฅ) foi melhorada com a determinação da constante e do respectivo limite de erro. Isso foi executado, entre outros, por Bombieri e Davenport em 1966, através da aplicação do método do crivo. Eis o resultado: ๐2 (๐ฅ) โค 2๐ถ โ ๐>2 ๐(๐ โ 2) ๐ฅ . (๐ โ 1)2 (log ๐ฅ)2 Hardy e Littlewood (1923) conjecturaram que a constante ๐ถ seria igual a 1. Os melhores resultados obtidos até agora para a constante ๐ถ foram: ๐ถ = 3,5 por Bombieri, Friedlander e Iwaniec (1986) ๐ถ = 3,13 por S. Lou (não publicado) O produto infinito: ๐ถ2 = โ ๐>2 ๐(๐ โ 2) (๐ โ 1)2 56 é chamado a constante dos primos gêmeos e seu valor 0,66016 โฏ foi calculado por Wrench em 1961. 6.4. PRIMOS DE SOPHIE GERMAIN Sophie Germain provou o chamado primeiro caso do último Teorema de Fermat para os primos ๐ para os quais 2๐ + 1 é primo. Por isso os primos que apresentam esta forma são chamados de primos de Sophie Germain. No dia 28 de junho de 1993, o matemático britânico Andrew Wiles fez a demonstração do teorema de Fermat também conhecido como o último Teorema de Fermat. Sophie Germain demonstrou o seguinte teorema: Se ๐ e 2๐ + 1 são primos com ๐ > 2, então não existem inteiros ๐ฅ, ๐ฆ, ๐ง com ๐๐๐(๐ฅ, ๐ฆ, ๐ง) = 1 e ๐ โค ๐ฅ๐ฆ๐ง tais que ๐ฅ ๐ + ๐ฆ ๐ + ๐ง ๐ = 0. Em outras palavras: o primeiro caso do último Teorema de Fermat é verdadeiro para todo expoente primo de Sophie Germain. Demonstração: Observe inicialmente que 2๐ + 1 | ๐ฅ๐ฆ๐ง: caso contrário, pelo pequeno Teorema de Fermat, ๐ฅ 2๐ โก1 (mod 2p+1), o que equivale a (๐ฅ ๐ โ 1)(๐ฅ ๐ + 1) โก 0 (๐๐๐ 2๐ + 1). Assim, temos que ๐ฅ ๐ โก ±1 (๐๐๐ 2๐ + 1) e analogamente ๐ฆ ๐ โก ±1 (๐๐๐ 2๐ + 1) e ๐ง ๐ โก ±1 (๐๐๐ 2๐ + 1). Mas ๐ฅ ๐ + ๐ฆ ๐ + ๐ง ๐ โก ±1 ± 1 ± 1 โข 0(๐๐๐ 2๐ + 1), um absurdo. ๏ Por outro lado temos, (โ๐ฅ)๐ = (๐ฆ + ๐ง)(๐ฆ ๐โ1 โ ๐ฆ ๐โ2 ๐ง + โฏ โ ๐ฆ๐ง ๐โ2 + ๐ง ๐โ1 ) Vamos mostrar que os dois fatores da direita são primos entre si. Se ๐ é um primo que divide ambos os termos, então ๐ฆ โก โ๐ง(๐๐๐ ๐) e, portanto, 0 โก ๐ฆ ๐โ1 โ ๐ฆ ๐โ2 ๐ง + โฏ + ๐ง ๐โ1 โก ๐๐ฆ ๐โ1 (๐๐๐ ๐); temos ๐ โ ๐ pois ๐ | ๐ฅ, assim ๐ | ๐๐ฆ ๐โ1 โน ๐ |๐ฆ, mas então ๐ง โก โ๐ฆ โก 57 0 (๐๐๐ ๐) e ๐ dividiria simultaneamente ๐ฅ, ๐ฆ, ๐ง, contrariando a hipótese ๐๐๐(๐ฅ, ๐ฆ, ๐ง) = 1. Assim, pela fatoração única em primos existem inteiros ๐, ๐ tais que: ๐๐ = ๐ฆ + ๐ง e ๐๐ = ๐ฆ ๐โ1 โ ๐ฆ ๐โ2 ๐ง + โฏ โ ๐ฆ๐ง ๐โ2 + ๐ง ๐โ1 e analogamente: ๐ ๐ = ๐ฅ + ๐ง e ๐ ๐ = ๐ฅ ๐โ1 โ ๐ฅ ๐โ2 ๐ง + โฏ โ ๐ฅ๐ง ๐โ2 + ๐ง ๐โ1 ๐ ๐ = ๐ฅ + ๐ฆ e ๐ ๐ = ๐ฅ ๐โ1 โ ๐ฅ ๐โ2 ๐ฆ + โฏ โ ๐ฅ๐ฆ ๐โ2 + ๐ฆ ๐โ1 para ๐, ๐, ๐, ๐ inteiros. Como 2๐ + 1 | ๐ฅ๐ฆ๐ง, podemos supor sem perda de generalidade que 2๐ + 1 | ๐ฅ. Assim, de 2๐ฅ = ๐ ๐ +๐ ๐ โ ๐๐ , temos que 2๐ + 1 | ๐ ๐ + ๐ ๐ โ ๐๐ e o mesmo argumento no início da demonstração mostra que 2๐ + 1 | ๐๐๐ também. Mas se 2๐ + 1 | ๐ = ๐ฅ + ๐ง ou 2๐ + 1 | ๐ = ๐ฅ + ๐ฆ, como 2๐ + 1 | ๐ฅ e ๐ฅ ๐ + ๐ฆ ๐ + ๐ง ๐ = 0 teríamos que 2๐ + 1 | ๐๐๐(๐ฅ, ๐ฆ, ๐ง) = 1, um absurdo. Por outro lado, temos๐ ๐ โก ๐ฆ ๐โ1 (๐๐๐ 2๐ + 1) e se 2๐ + 1 | ๐, então 2๐ + 1 โค ๐ e ๐ฆ โก โ๐ง (๐๐๐ 2๐ + 1) โน ๐๐ โก ๐๐ฆ ๐โ1 (mod 2p + 1). Assim, 2๐ + 1|๐, pois caso contrário teríamos: ± ๐ โก ๐๐ ๐ โก ๐๐ฆ ๐โ1 โก ๐ ๐ โก ± 1 (mod 2p + 1) Um absurdo. Mas neste caso, 2๐ + 1 | ๐ง também, o que é impossível já que ๐๐๐ (๐ฅ, ๐ฆ, ๐ง) = 1, completando a prova. Conjectura-se a existência de uma infinidade de primos de Sophie Germain, porém sua demonstração pode ser tão difícil quanto à da existência de uma infinidade de primos gêmeos. O teorema de Sophie Germain foi estendido por Legendre e Dénes (1951) e mais recentemente, por Fee e Grandville (1991). A estimativa do número de primos de Sophie Germain inferiores a um número ๐ฅ โฅ 1 é dada por ๐๐๐บ (๐ฅ): 58 ๐๐๐บ (๐ฅ) < ๐ถ๐ฅ . (log ๐ฅ)2 ๐ถ๐ฅ Acredita-se que ๐๐๐บ (๐ฅ) seja assintótico a (log ๐ฅ)2 para algum ๐ > 0, mas como dito, não se sabe demonstrar sequer a existência de infinito primos de Sophie Germain. 59 7. CONCLUSÃO Este trabalho nos revela o fascínio provocado pelos números primos em acadêmicos ao longo de toda a história da matemática. Este fascínio não é um acaso, como vimos, trata-se de um tema profundamente complexo e instigante que vem desafiando a comunidade científica há séculos. Sua aplicação em criptografia RSA, que viabiliza diariamente milhares de transações financeiras via internet, torna o tema ainda mais discutido em diversos campos de estudo e com os mais diversos interesses, incluindo desde aqueles que buscam garantir e aprimorar a segurança do sistema, como os que buscam suas fragilidades para uso menos nobres. Diante de sua complexidade, o tema é abordado de forma superficial tanto no ensino médio quanto no ensino superior de Matemática. O que é plenamente compreendido pela necessidade de conhecimento de Matemática Avançada para maior aprofundamento. Entretanto, a literatura já registra algumas tentativas de simplificar o tema de forma a torna-lo compreensível a alunos com poucos ou nenhum conhecimento de matemática avançada, sendo por tanto, um tema bastante interessante para futuros trabalhos de monografia para professores de matemática. 60 8. REFERÊNCIAS ÁVILA, Geraldo Severo de Souza. Várias Faces da Matemática: Tópicos para licenciatura e leitura geral. São Paulo: Blucher, 2010. DU SAUTOY, Marcus. A Música dos Números Primos: A história de um problema não resolvido na matemática. Rio de Janeiro: Zahar, 2007. FARIAS, Fernando de. Uma análise comparativa entre os testes de primalidade AKS e MillerRabin. Monografia (Conclusão de curso). Universidade Católica de Brasília Curso de Matemática IRELAND, Kenneth; ROSEN, Michael. A Classical Introduction to Modern Number Theory. 1972, 1982, 1980 Springer Verlag New York, Inc. MARTINEZ, Fábio Brochero; MOREIRA, Carlos Gustavo; SALDANHA, Nicolau; TENGAN, Eduardo. Teoria dos Números: Um passeio com primos e outros números familiares pelo mundo inteiro. Rio de Janeiro: IMPA, 2011. MOREIRA, Carlos Gustavo; SALDANHA, Nicolau. Primos de Mersene (e outros primos muito grandes). Rio de Janeiro: IMPA, 2008. RIBENBOIM, Paulo. Números Primos: Velhos mistérios e novos recordes. Rio de Janeiro: IMPA, 2012. SANTOS, José Plínio de Oliveira. Teoria dos Números. Rio de Janeiro: IMPA, 2011. WEIL, André. Basic Number Theory. New York: Heidelberg, Berlin, 1974.