Vous êtes sur la page 1sur 8

Teor i a Ar i t mt i ca dos Nmer os M A553

M onogr af i a: Um al gor i t mo par a sol uo de congr unci as


do t i po

) .

Campi nas, out ubr o de 2007

Ant oni o Car l os Campel l o, RA 059076
Isabel Leal , RA 061533










Resumo:
Nessa mo nogr af i a, est udar emos al guns conceit os bsi cos de t eor i a ar it mt i ca
dos nmer os, em par t icular congr unci as e t est es de pr i mal i dade de int ei r o s,
com o obj et ivo de f or mul ar um al go r i t mo pr eciso par a r esol ver a segui nt e
pr oblemt i ca:
Sej am , . Quais so os pr imos , com + 1 , t ai s que

1 (

) ?
Int r od uo :

Os pr i mei r os t r abalhos em t eor ia ar i t mt ica dos nmer os so dat ados da n-
dia Ant i ga (por vol t a do ano de 800 AC) e envol vem sol ues i nt eir as par a as
chamadas equaes dio f ant i nas [ 1] , cont udo, os r esul t ados mai s i mpor t ant es
no assunt o s f or am demonst r ados pel os gr ego s, po r vol t a do scul o 3 ant es
de Cr i st o. Dent r e os mat emt i cos gr ego s, po demos col ocar em posi o de
dest aque Eucl i des de Al exan dr i a (330-260 AC) e Er at st enes de Cir ene, (276 -
194 AC).
Eucl i des f oi pr of essor , mat emt i co e escr it or . Sua pr i nci pal obr a (e
cont r i bui o) par a a mat emt ica f or am Os el ement os , em que so
est abel ecidas as bases da geo met r ia eucli di ana. Em t eo r i a de nmer os,
possvel en umer ar diver sos r esul t ados not veis (e usados at hoje) at r i bui dos
a ele, como o algor i t mo par a a di vi so, a d emonst r ao da ir r aci onal i dade do
nmer o 2 (diagonal de um quadr ado de lad o 1) e a pr ova da i nf ini t ude dos
nmer o s pr i mos. Todas essa demo nst r aes po dem ser encont r adas em [ 1] .
Er at st enes, por sua vez, r eal i zou sua mai or cont r i bui o par a a t eor ia de
nmer o s com a cr i ao do chamado Cr i vo de Er at st enes, que ser descr i t o
cui dado sament e a seguir . O Cr i vo , at ho j e, u ma das f or mas mai s ef i ci ent es
par a cr i ao de l i st as de n mer os pr i mos e, por t ant o, t em gr ande
apl icabi l i dade, po r exempl o, na t eor ia de cr i pt ogr af i a.
Dent r e out r os mat emt i co s que est udar am t eor i a dos nmer os, f or am
not vei s Pi er r e de Fer mat (1601-1665 DC), Leonhar d Eul er (1707-1783 DC),
Fr i edr ich Gauss (1777-1855 DC), et al .

1. Cr i vo de Er at st enes
Def . 1.1: Se e so nmer os i nt ei r o s, di zemo s que a divide b, denot ando
por | , se exi st i r um i nt ei r o c t al que = .
Def . 1.2: Dizemos que d o mxi mo di vi sor comum de a e b (e denot amos
por ( , ) = ), se d o mai or i nt eir o que di vi de a e b.
Def . 1.3: Um nmer o i nt eir o n (n>1) di t o pr imo, se possuir soment e do is
divisor es posi t i vos, n e 1. Se n no pr i mo, di zemos que el e co mpost o.

Teor ema 1.1 (f undament al da Ar it mt i ca): To do i nt ei r o mai or do que 1 po de
ser r epr esent ado de manei r a ni ca (a menos da or dem) como um pr odut o de
f at or es pr i mos.
Demonst r ao: (i ) Exi st nci a: Su ponhamo s, por absur do, o o post o da t ese,
ou sej a, que exi st e pelo menos u m i nt ei r o mai or do que 1 que no possa ser
r epr esent ado por f at or es pr imos. Sej a A o conj unt o de t odos esses nmer o s.
Como A um subco nj unt o dos i nt ei r os, cer t ament e el e possui um element o
mni mo, pel o Pr i ncpi o da Boa Or denao . Sej a esse el ement o. Co mo
maior do q ue 2 (j que 2 pr i mo , e t em f at or ao em f at or es pr i mos), ent o
exi st em a e b, t ais que = , com < < , e como ,
eles possuem f at or ao e, po r t ant o , = , po ssui f at o r ao, o que
absur do, pois . Logo , A no pode t er el ement o mni mo, e, por t ant o,
= , o que compl et a a demo nst r ao da exist nci a.
(i i ) Unici dade: Par a demonst r ar a uni ci dade, vamos lanar mo do segui nt e
lema, cuj a demo nst r ao po de ser encont r ada em [ 1] : Se |

, com p
pr i mo, ent o di vi de pel o menos um f at or

do pr odut o.
Sej am =

d uas f at or a es de x. Per ceba que os


no so necessar i ament e di st i nt os, assi m como os

s . Da i gual dade, e da
def ini o de di vi si bi l i dade, ver i f icamos que

e, por t ant o, pelo


lema, exi st e k t al que,

, j que ambos so pr imos. Por


ext enso, par a qual quer < , exist e um < t al que

. Por
f i m, bast a pr ovar que n=k, que t r i vi al , j que, se n>k, t er i amos que

, o que absur do , j que > 1. Ou


sej a, o co nju nt o de

deve ser idnt i co ao de

, f inal i zando a demonst r ao


da uni ci dade.
Por (i ) e (i i ), est demo nst r ado o Teor ema Fundament al da Ar i t mt ica.

Teor ema 1.2: Se n no pr imo, ent o possui , necessar i ament e, um f at or
pr i mo menor do que ou i gual a .
Demonst r ao: Sendo n co mpost o, ent o = . , onde 0 < < e
0 < < , o que po de ser vi st o como uma con sequnci a do t eor ema
ant eir or . Sem per da de gener al i dade, vamos supo r que . Supo nhamo s,
por absur do, que > . Lo go, = . > . = , chegando na
desi gual dade > , que obviament e um ab sur do. Por t ant o, e,
pel o t eor ema ant er i or , a possui algum f at o r pr i mo, que deve ser menor que a
e, por co nsegui nt e, menor que . Da, con cl umos qu e n possui um f at or
pr i mo menor que , o que compl et a a demo nst r ao.
Cor ol r i o 1. 1: Se um nmer o no possui nenhum f at or pr i mo p, t al que
2 , ent o pr imo.
Demonst r ao: Segue i mediat ament e do t eor ema, apl icando -se a sua
cont r aposi t i va.

O Cr ivo de Er at st enes uma consequnci a do Teor ema 1.2 e do Cor ol r io
1.1. J que par a ver i f icar se um n mer o pr i mo bast a t est ar di vi si bi l i dade
pel os nmer os menor es que , ent o par a cr i ar uma l ist a de pr i mos at n,
suf icient e t er u ma l ist a de t odos os nmer o s at n e excl uir dela t odos os
m lt ipl os de pr imos meno r es que . Esse pr ocesso pode ser descr it o pelo
segui nt e al gor it mo:
Al gor i t mo 1(Cr i vo de Er at st enes):
Ent r ada: int ei r o po si t i vo mpar .
Sada: l i st a de pr i mo s mpar es .
Et apa 1: Comece cr iando um vet or v de ( 1) / 2 posies, cada uma das
quai s deve est ar pr eenchida com o val or 1; e f azendo = 3.
Et apa 2: Se

> , escr eva em uma l i st a os nmer os 2 + 1 par a os quais a


j -si ma ent r ada do vet or v 1 e par e; seno seno v par a a et apa 3.
Et apa 3: Se a posi o ( 1) / 2 do vet or v est pr eenchida com 0
incr ement e P de 2 e vol t e et apa 2; seno v par a a et apa 4.
Et apa 4: At r ibua o valor de

a uma nova var ivel T: subst i t ua por zer o o


val or da posio ( 1) / 2 do vet or v e i ncr ement e de 2; r epi t a essas
duas i nst r ues at que T > n; quando i st o acont ecer , incr ement e P de 2 e
vol t e et apa 2.
f ci l ver que a et apa 2 do algor i t mo uma consequnci a i medi at a do
Teor ema 1.2 e do seu cor ol r i o. O algo r i t mo aci ma, da manei r a descr it a,
uma ver so do Cr i vo de Er at st enes que cr i a uma l i st a de t o dos os pr imos
mpar es. Se qui ser mos cr iar uma l i st a de t o dos os pr imos, bast a adicio nar o 2,
que , o bvi ament e, o ni co pr i mo par . Par a mai s i nf or maes sobr e o
al gor i t mo acima, ver r ef er nci a [ 3] .
O al gor i t mo aci ma ser u ma das chaves par a a sol uo do pr oblema
pr opost o.
2. Congr unci as
A pr i nci pal mot i vao dessa sesso apr esent ar alguns conceit os e
pr opr i edades bsi cas de congr unci as e, por f i m, f or mul ar um al gor i t mo
ef i ci ent e par a cal cul ar pot enciao em ar i t mt ica de m dul o que ser usado
par a, depoi s de enco nt r ados os nmer os pr i mos p, t est ar se

1 (

) .
Def . 2. 1: Sej am a e b nmer os int ei r o s. Di zemos que a congr uent e a b,
m dul o m ( > 0) e denot amos por ( ) , se | ( ) . Se
( ) , di zemos q ue a i ncongr uent e a b , mdul o m, e denot amos por
( ) .

Pr opr i edades: Se a,b,c,d,e e m so i nt ei r os t ai s que ( ) e
( ) , ent o as segui nt es pr opr i edades so vl i das:
1. + + ( )
2. ( )
3. ( )
4. + + ( )
5. ( )
6. ( )

Enunciamo s aqui al gumas pr opr iedades das congr uncias. A demonst r ao
de t odas el as po de ser encont r adas em [ 2] . Vamos nos li mit ar
demo nst r ao de duas del as:
Demonst r ao (pr opr i edade 1): Se ( ) | ( ) , o u seja
| ( + ) | ( + ) ( + ) e, por def i ni o, + +
( ) , compl et ando a demonst r ao.
(Pr opr iedade 3): Se ( ) | ( ) , ou sej a m t ambm di vi de
( ) mul t i pl icado por algum i nt eir o no nul o. Sendo esse i nt ei r o , t emos
que | ( ) = ( ) .
As demo nst r aes par a as out r as pr o pr i edades so anl ogas e seguem
imedi at ament e da def ini o de co ngr unci a, dada em 2.1, e das
pr opr i edades bsicas da di vi so .
Apenas com essas pr opr i edades, possvel cr i ar um al gor it mo ef i ci ent e par a
cal cul ar a f or ma r ed uzi da de pot enci as em m dul o n sem, necessar i ament e,
t er que cal cular a pot nci a do nmer o e depois ver i f i car a congr unci a,
si mp li f i cando , por t ant o, vr i os passo s comput aci onais. Vej amos uma
mo t i vao par a o algo r i t mo:
Consider e o pr obl ema de cal cul ar a f or ma r eduzi da (co m < ) de

( ) . E sej a =

+
0
a r epr esent ao
bi nr i a de c, on de o s coef i ci ent es val em 0 ou 1. Logo , t emos que o
c
=
o
b
n
2
n
+ b
n-1
2
n-1
+ b
0
= ( o
2
)
b
n
2
n-1
+ b
n-1
2
n-2
+ b
1
. o
b
0
e assim por di ant e.
Per ceba que, pel a pr opr i edade 3, bast a cal cul ar o m dul o r eduzi do de cada
component e o
2
k
b
k
e mul t i pl icar t odos eles, mdul o n. Al m do mai s, os
val or es de b
k
so f acil ment e i dent i f i cvei s: 1, se o expoent e r est ant e f or
mpar , ou zer o caso cont r r i o.
A ar gu ment ao expost a aci ma nos con duz ao segui nt e al go r i t mo:

Al gor i t mo 2
Ent r ada: Int ei r o s a, e e n, o nde o, n > 0 c c 0.
Sada: a f or ma r eduzi da de o
c
m du lo n

Et apa 1: Comee com A = a, P = 1 e E = e.
Et apa 2: Se E = 0, r et or ne P.
Et apa 3: Se E f or mpar , ent o at r ibua a P o valor do r est o da di vi so de AP
por n e a E o val or ( E 1) / 2 e v par a a et apa 5, seno v par a a et apa 4.
Et apa 4: Se E f or par ent o at r ibua a E o val or de E/ 2 e v par a a et apa 5.
Et apa 5: Tr oque A por A. A ( moJ n) e v par a 2.

M ais det alhes sobr e o al gor it mo t ambm po dem ser encont r ado s na
r ef er nci a bi bl i ogr f ica [ 3] , no seu apnd ice.

3. A congr unci a a
p-1
1 ( mud p
2
) .
Tendo em ment e os r esul t ados apr esent ado s nas sesses 1 e 2, podemo s,
enf im, at acar o pr obl ema obj et i vo dest a monogr af i a, desenvo l vendo um
al gor i t mo par a o cl cul o de congr unci as do t i po o
p-1
1 ( moJ p
2
) , sendo
o + 1 p r, p um pr imo e o, r i nt eir os.
Ant es de apr esent ar o al gor i t mo, ent r et ant o , pr eci samos f azer duas
mo di f i ca es no Cr ivo de Er at st enes, de modo que ele escr eva na l ist a
apenas os nmer os maio r es do que o + 1. Par a isso, bast a adi ci o nar et apa
2 a co ndi ci o nal : Se 2 + 1 > + 1, escr eva na l i st a. A o ut r a modi f i cao,
adi ci onar o nmer o 2 ao in cio da l i st a, aument ando em 1 o seu t aman ho.
Vamos chamar esse novo al go r i t mo de Al gor i t mo 1 .
Com essa mo di f i cao, t emos f er r ament as suf icient es par a cr i ar um
al gor i t mo si mpl es capaz de r esol ver o pr obl ema pr opost o.
Al gor i t mo 3
Ent r ada: Val or es par a a e r , co nf or me a descr i o do pr obl ema dada aci ma.
Sai da: Uma l ist a co m os pr imos que sat isf azem a equao.

Et apa 1: Ut il ize o Algor i t mo 1 par a cr i ar um vet or com t odos os pr imos de
+ 1 at , que chamar emos de vet o r A.
Et apa 2: Cr ie um novo vet or B.
Et apa 3: Par a t odos os el ement os da l ist a A, ver i f i que, at r avs do Al gor i t mo
2, se

1 (

) . Se si m, i ncl ua no vet or B o el ement o p e passe


par a o pr xi mo el ement o de A. Caso cont r r io, apenas passe par a o pr xi mo
element o de A.

Apesar da apar ent e si mpli ci dade desse al gor i t mo , al gumas consi der a es
necessi t am ser f eit as a seu r espei t o.
Em pr imer o l ugar , o al gor it mo pr opost o envol ve a chamada de out r os doi s
al gor i t mos (1 e 2), o que aument a a sua co mp lexi dade e cust o
comput aci onal, t or nando -o dependende da ef i ci ncia dos doi s al gor it mos.
Em segundo, h, de maneir a int r nseca ao al gor it mo , a exi gncia de cr i ao
de um vet or A, que pode ser ar bi t r ar iament e gr ande, a depender da
quant i dade de pr i mo s di st r ibuidos ent r e a+1 e r . Isso quer dizer , que o
al gor i t mo est l imi t ado ao t amanho mxi mo que um vet o r pode t er em uma
li nguagem de pr o gr amao, em algum si st ema. Impl ement aes f ut ur as
envo lvendo l i st as l i gadas, ar it mt i ca de pr eci so ml t i pl a e comput ao
al gbr ica melhor ar i am subst anci alment e a sua ef i ci nci a, assi m co mo
di mi nui r i am a sua dependncia de uma mem r i a al ocada.

Alm di sso , vemos que o vet or B no possui u m t amanho pr -det er mi nado .
Impl ement aes par a o al gor it mo, dever i am envo lver al ocao di nmi ca
par a a sua cr iao, j que, a pr or i, no sabida nenhuma f or ma par a a
dist r ibuio de pr i mo s que sat i sf azem a pr opr i edade a seguir .

Por f im, a i mplement ao das i di as aqui apr esent adas f oi f ei t a na l i nguagem
C e baseou-se f i el ment e no s al gor i t mos pr opost os nessa monogr af i a. Al m
das so lues t r i vi ai s (par a a = 1), encont r amos a soluo par a a = 3 e p = 11,
que ver i f i ca a segui nt e r el ao de congr unci a: 3

1 ( 11

) .

Ref er n ci as
[ 1] Niven, I. et al , An Int r oduct ion t o t he Theor y of Number s, Fi f t h Edi t i on.
[ 2] Sant os, J.P.O, Int r o duo Teor i a dos Nmer os, IM PA 2003.
[ 3] Cout i nho , S.C, Nmer os Int eir os e Cr i pt ogr af i a RSA, IM PA 2005.

Centres d'intérêt liés