Você está na página 1de 2

Mostre que existem infinitos nmeros primos da forma 4q + 3:

NMEROS PRIMOS EM PROGRESSO ARITMTICA


Sabemos que um nmero inteiro positivo primo se ele divisvel apenas por ele mesmo alm
do 1. Os nmeros primos desempenham um papel fundamental na Aritmtica, anlogo ao
papel dos tomos na estrutura da matria, isto , os nmeros inteiros que no so nmeros
primos podem ser expressos como produto de nmeros primos. Portanto, qualquer nmero
inteiro maior que 1 ou um nmero primo, ou expresso como um produto de nmeros
primos.
Embora a noo de nmero primo, no sentido acima, parea bvia, em geral, questes
envolvendo nmeros primos no so fceis de serem respondidas no atual estgio da
matemtica. Por exemplo, todo nmero mpar se expressa na forma 4x + 1 ou 4x + 3; portanto,
perguntamos quais so os primos da forma 4x + 1 e quais so os primos da forma 4x + 3. Ser
que se gerarmos as seqncias numricas da forma acima, substituindo-se x por inteiros
positivos, as seqncias resultantes apresentaro um nmero infinito de nmeros primos?
Euclides de Alexandria (aproximadamente 300 A.C.) deu uma demonstrao bastante
engenhosa de que existe um nmero infinito de nmeros primos. O mesmo argumento dado
por Euclides pode ser utilizado para se demonstrar a infinidade de primos da forma 4x + 3.
Como 2 o nico primo par, o conjunto dos nmeros primos mpares se divide em duas
famlias:
i) 5, 13,17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109, 113, 137, 149, 157, 173...;
ii) 3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83, 103, 107, 127, 131 139, 151, ...
onde a primeira seqncia de nmeros se refere aos primos da forma 4x + 1 e a segunda aos
primos da forma
4x + 3. Vamos demonstrar que existem infinitos primos do tipo 4x + 3
utilizando o mtodo de Euclides que demonstra a existncia de infinitos primos.
De fato, suponhamos que existisse um nmero finito de nmeros primos da forma 4x + 3;
vamos denomin-los q1, q2, q3, ... , qn. Considere o inteiro positivo:
N = 4 q1.q2.q3. ... .qn 1 = 4 q1.q2.q3. ... .qn 4 + 3 = 4 ( q1.q2.q3. ... .qn- 1) + 3
e seja N = r1.r2.r3. ... .rM a sua decomposio em nmeros primos. Como N um inteiro mpar,
segue-se que rk diferente de 2, para todo k, e cada rk , portanto, da forma 4x +1 ou 4x + 3.
Contudo, o produto de dois ou mais inteiros da forma 4x +1 resulta em um inteiro tambm
dessa forma, isto ,
(4m + 1).(4n + 1) = 16mn + 4m + 4n + 1 = 4(mn + m + n) + 1 = 4z + 1.
Sendo assim, segue-se que N possui pelo menos um fator primo da forma 4x + 3, digamos ri =
4x + 3.
Agora, afirmamos que ri no um elemento da nossa lista original e finita de nmeros
primos:
q1, q2, q3, ... , qn. De fato, caso contrrio teramos ri = qj, para algum primo qj da
nossa lista original de primos e, ento, ri dividiria o produto q1.q2.q3. ... .qn. Por outro lado,
sendo ri um fator de N, ri divide N - 4q1.q2.q3. ... .qn = -1. Logo, ri divide 1. Sendo assim,
conclumos que existe um nmero infinito de primos da forma 4x + 3, pois, assumir que existe
um nmero finito de primos da forma 4x + 3 nos leva a uma contradio.
A pergunta seguinte seria: existe um nmero infinito de primos da forma 4x + 1? A resposta
afirmativa, porm devemos utilizar um outro argumento. Uma situao semelhante surge em
relao s seqncias de nmeros da forma 6x + 1 e 6x + 5.
Observe que se gerarmos a seqncia de nmeros da forma 4x + 3:
3, 7, 11, 15, 19, 23, 27, 31, 35, 39, 43, 47, 51, 55, 59, 63, 67, 71, 75, 79, 83, 87, ... ,
a diferena entre um termo da seqncia e o seu antecessor sempre igual a 4.
O mesmo ocorre em relao s seqncias da forma 4x + 1, 6x + 1 ou 6x + 5. De fato, temos a
seguinte definio: uma Progresso Aritmtica uma seqncia de nmeros inteiros em que
a diferena entre um termo (a partir do 2o.) e o termo antecedente sempre a mesma.
Ser que o fato de existirem infinitos primos em algumas progresses aritmticas, como as
citadas acima, pode ser generalizado?
Observe que as progresses citadas acima so da forma b + ax onde a e b so fixados e x = 0,
1, 2, 3, 4, 5, ..., isto , elas so da forma
b, b + a, b + 2a, b + 3a, b + 4a, ... .

Se a e b possuem um fator comum, ento a progresso aritmtica no contm nmeros


primos, pois todo elemento da progresso tem esse fator. Por exemplo, consideremos a
progresso aritmtica dada por 6 + 2x, isto ,
6, 8, 10, 12, 14, 16, 18, 20, 22, 24, ... .
Observe que 2 fator comum de 2 e de 6, e todo termo da progresso tem o nmero 2 como
fator. Esse fato sugere que devemos considerar progresses b + ax em que a e b sejam primos
entre si para obtermos um nmero infinito de primos da forma especificada b + ax. Parece que
o matemtico Legendre foi o primeiro a perceber a importncia dessa questo e, em 1808,
publicou a seguinte conjectura: Se a 2 e b 0 so inteiros positivos e primos entre si, ento
existe uma infinidade de nmeros primos na progresso aritmtica
b, b + a, b + 2a, b + 3a, ... .
Essa conjectura se transformou em um teorema de grande importncia e foi demonstrada por
Dirichlet em 1837. Esse resultado foi monumental por uma srie de razes. Dirichlet baseou-se
na idia original de Euler para demonstrar a infinitude dos primos. Foram utilizados mtodos
analticos revolucionrios tais como sries infinitas, convergncia de sries, limites, logaritmos,
etc., e muitos outros conceitos at ento estranhos teoria dos nmeros inteiros. A
demonstrao de Dirichlet considerada como uma das primeiras aplicaes importantes de
mtodos analticos em teoria dos nmeros e proporcionou novas linhas de desenvolvimento. As
idias subjacentes aos argumentos de Dirichlet so de um carter bem geral e foram
fundamentais no desenvolvimento do trabalho subseqente de aplicao de mtodos analticos
em teoria dos nmeros.
Em 1949, o matemtico Atle Selberg deu uma demonstrao elementar do teorema de
Dirichlet, anloga demonstrao que dera anteriormente do teorema do nmero primo.
Dirichlet tambm demonstrou que qualquer forma quadrtica em duas variveis, isto ,
qualquer forma do tipo ax2 + bxy + cy2 onde a, b, c, so primos entre si, geram uma infinidade
de primos. No se sabe muito sobre outras formas que gerem infinitos nmeros primos.
Por outro lado, podemos demonstrar que no existe progresso aritmtica em que todos os
termos so nmeros primos. At o sculo passado, um velho problema em aberto consistia em
se determinar uma progresso aritmtica arbitrariamente longa, porm finita em que todos os
termos fossem nmeros primos.