2017522 RPM22Congruncia,divisibilidadeeadivinhaes

BeneditoTadeuVasconcelosFreire
UFRN,Natal,RN

1.Introduo
Vocpodedizerseo264.eo118.diasdoanoocorremnummesmodiadasemana?

Quaissoosinteirosquedeixamresto3quandodivididospor4?

Qualorestodadivisode5110por6?

Onmero9.619.874.315divisvelpor9?

Qualocritriodedivisibilidadepor9?

Apartirdanoodecongrunciavamosresponderatodasessasquestes.

Oconceitodecongrunciapodeexplicarmuitas"adivinhaes",oquepermiteaoleitorbrincarcomosamigosresolvendomuitosproblemasinteressantes,comoo
quesesegue:

Peaaumamigoquepenseumnmeronaturalqualquer,comquantosalgarismoselequiser,equefaaoseguinte:

escrevaonmeropensado,

mudecomoqueiraaordemdeseusalgarismos,obtendoumnovonmero,

diminuaomenordomaior,

retireumdosalgarismosdoresto(diferentedezero),edigaosdemaisalgarismosnaordemquequiser.

Emrespostavocdirqualoalgarsmoretirado.

Comoexplicara"mgica"?Arespostaencontrasenofinaldesteartigo(v.tambmRPM9,p.30).

OestudodacongrunciafoiapresentadoporCARLFRIEDRICHGAUSS(17771855)emseulivroDisquisitionesarithmeticaeumtratadoemlatimsobrea
teoriadosnmeros,publicadoem1800.Foiapartirdessaobraquesedesenvolveuessateoria.AnotaousadahojeamesmaadotadaporGa,ussnoseulivro.

Oquevemasercongruncia?umalinguagemnaqualmuitasabordagensacercadadivisibilidadedenmerosinteirospodemsersimplificadas.

Oquerealmenteestalinguagem?

Pararesponderaestaquestocomecemosexaminandoumcalendrio,porexemplo,odomsdeoutubrode1992.

OUTUBRO DE 1992
DOM SEG TER QUA R QUI SEX SAB
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31

Destaquemosumacolunacorrespondenteaumdiadasemana,porexemplo,sextafeira.Osnmeroscorrespondentesaessacolunaso2,9,16,23e30.Observe
quecadaumdessesnmeros,apartirdosegundo,oanteriormais7,e,conseqentemente,adiferenaentredoisquaisquerummltiplode7.Omesmoacontece
comascolunascorrespondentesaosoutrosdiasdasemana.

Vocjtinhapercebidoissoantes?

O nmero 7 reparte os dias do ms em sete classes, domingos, segundas, teras, .. .sbados. Do mesmo modo o nmero 7 reparte os nmeros inteiros em sete
classes.Efcilverquequalquernmeronaturalnreparteosinteirosemnclasses.

Essasmesmasidiaspoderiamserapresentadasusandoumrelgio,considerandoas24horasdodia.Eaquivemosqueonmero12divideasvinteequatrohoras
dodiaem12classes:

HORASDODIA
AM 0 1 2 3 4 5 6 7 8 9 10 11
PM 12 13 14 15 16 17 18 19 20 21 22 23

Essasidiaslevamnosnossanooprincipal,queadecongrunciadeinteiros.

2.Congruncia

Retornemosaocalendrioapresentadonoincio.Comovimos,adiferenaentredoisnmerosquaisquer,constantesemumacolunacorrespondenteaumdiada
semana,ummltiplode7.Defato:

9 2=7=7x1,30 2=28=7x4.

Dizemosentoque

9congruentea2mdulo7,
30congruentea2mdulo7.

Nocasodashoras,podemosadotaramesmalinguagem:

1congruentea13mdulo12,
7congruentea19mdulo12,etc.
Dessemodo,seosinteirosmendiferemporummltiplodonmeronaturala,dizemosquemcongruenteanmduloa.NotaodeGauss:m n(moda).

Afrase"mcongruenteanmduloa"significa,simplesmente,queadivideadiferenamn.

Agorajestamosemcondiesderesolvera1.questoapresentadaanteriormentenaintroduo.Peloquevimos,aperguntapodesercolocadanopontodevista
dacongruncia:

264congruentea118mdulo7?

Ou,maisresumidamente,264 118(mod7)?

Pararesponderquestobastaverificarse7divide204 118=146.Arespostaclaramenteno.
A2.questo quais inteiros deixam resto 3 quando divididos por 4? pode ser respondida olhando para os inteiros ncongruentesa 3 mdulo 4. Ou, mais
resumidamente,n 3(mod4).
Temosqueencontrarosinteirosntaisquen 3sejadivisvelpor4.Enton 3=4k,ondekumnmerointeiro.E,portanto,n 3+4k,ondekuminteiro
qualquer.Efcilverqueosinteirosprocuradosso:...,9, 5, 1,3,7,11,15,...
Muitosconceitospodemserexpressosemtermosdecongruncias.Vejamosalgunsexemplos.
Exemplo1.Anoofundamental"adividen"podeserescritacomon=0(moda).
Exemplo2.Umnmeroparsepodeserescritonaforma2k,ondekuminteiro.Podemosdizerissodeumaoutraformaequivalente:umnmeronparsen 0
(mod 2). De modo semelhante podemos ver que m mpar se m 1 (mod 2). E, portanto, o 2 separa os inteiros em duas classes: os pares e os mpares.
Resumidamente:
http://rpm.org.br/cdrpm/22/2.htm 1/3
2017522 RPM22Congruncia,divisibilidadeeadivinhaes
Resumidamente:
npar n 0(mod2),
mmpar m 1(mod2).
Exemplo3.OselementosdoconjuntoM={1,4,7,10,...}sonmerosnaturaisquedeixamresto1quandodivididospor3.Observequeesseselementossatisfazem
acongruncian 1(mod3).Issosugerequeacongrunciam n(moda)podeserinterpretadacomo"mendeixamomesmorestoquandodivididospora".Esse
umresultadomuitoimportanteparaessenossopontodevista.Vamoschamlo,porisso,de

Teorema1
a)Seosnmerosnaturaismendeixamomesmorestoquandodivididospora,entom n(moda).
b)Seosnmerosnaturaismensocongruentesmduloa,entoelesdeixamomesmorestoquandodivididospora.
Prova:Primeiro,vamosprovarapartea).Quandofazemosadivisodempora,temosumquocienteq1eorestoreoresultadoexpressocomom=q1a+r.

Demaneiraanloga,quandofazemosadivisodenpora,obtemosumquocienteq2,umrestor(omesmodadivisodempora,porhiptese),etemosn=
q2a+r.Fazendoadiferena,

m n=(q1a+r) (q2a+r)=(q1q2)a.

Logo,m nmltiplodea,e,portanto,m n(moda).

Agoravamosprovaraparteb).

Osresultadosdadivisodemenporapodemserexpressoscomo:

m=q1a+r1,onde0 r1<ae
n=q2a+r2,onde0 r2<a.

Temosassimque:

r1 r2=(mq1a) (n q2a)=(m n)+(q2 q1)a.

Observequeoladodireitodaigualdademltiplodea,poism nmltiplodea.Comor1 r2ummltiplodeaentre( a+1)e(a 1),r1 r2temque

serigualazero.Oqueconcluiaprova.

Efcilverqueacongrunciasecomportademaneirasemelhanteigualdade.Defato,soverdadeirasasseguintespropriedades:

( i )m m(moda)(reflexiva),

(ii)Sem n(moda),enton m(moda)(simtrica),

(iii)Sem n(moda)en s(moda),entom s(moda)(transitiva),

(iv)Sem=n(moda)er s(moda),entom+r=n+s(moda),

(v)Sem n(moda)er s(moda),entomr ns(moda).

Asprovasdessaspropriedadessomuitosimpleseasdeixamoscomoexerccioparaoleitor.

Agorapodemosresolvermaisumadasquestespropostasqualorestodadivisode5110por6?

Paraobtermosaresposta,bastaobservarque5= 1(mod6),emseguida,"escrever"110congruncias:

5 l(mod6),5 l(mod6),...,5 1(mod6),eaplicarapropriedade(v)paraobter5110=( l)110(mod6).Como( 1)110=1,pois110par,temos

5110=1(mod6).

Agora,deacordocomoTeorema1,temosque5110e1deixamomesmorestoquandodivididospor6.Masorestodadivisode1por61:1=0x6+1.

Portanto,orestodadivisode5110por61.

3.Critriosdedivisibilidade

Vamosresolveroutraquestopropostanaintroduodesteartigoonmero29.619.874.315divisvelpor9?

Inicialmenteescrevemosonmerodadonaseguinteforma

29.619.874.315=2x1010+9x10946x108+1x107+9x106+8x105+7x104+4 x 103+3X102+1x10+5.

nxm m(mod9),paratodo
Agora,observeque10 1(mod9),oqueimplicaque10n 1(mod9),paratodonmeronaturaln.Almdisso,verdadeque10Congruncia,DivisibilidadeeAdivinhaes
nmerointeirom(propriedade(v)acima).Segueentoque

5 5 (mod9) 9x106 9 (mod9)

1x10 1 (mod9) 1x107 1 (mod9)
3x102 3 (mod9) 6x108 6 (mod9)
4x103 4 (mod9) 9x109 9 (mod9)
7x104 7 (mod9) 2x1010 2 (mod9)
8x105 8 (mod9)

E,aplicandoapropriedade(iv),temos

29.619.874.315=(5+1+3+4+7+8+9+1+6+9+2)(mod9).

Observe,ento,queonmerodadocongruentesoma,E,deseusalgarismos.Istosignifica(peloTeorema1)que,nadivisopor9,onmero29.619.874.315
deixaomesmorestoque .Portanto,pararesponderquesto,bastaverificarseasoma dosalgarismosdonmerodadodivisvelpor9.Como =55no
divisvelpor9,onmerodadotambmnodivisvelpor9.Istosugereocritriodedivisibilidadepor9,queenunciamosaseguir:

Teorema2

Quandoumnmeronaturalmdivididopor9,orestodadivisoomesmoobtidoquandodadivisodasomadeseusalgarismospor9.Emparticular,umnmero
mdivisvelpor9seasomadeseusalgarismosforumnmerodivisvelpor9.

Prova:Aidiadaprovaamesmadocasoparticularfeitaanteriormente.Deixamososdetalhesparaoleitor.

Oleitoragorapodeenunciaroscritriosdedivisibilidadepor3,5,10,etc.edarumajustificativaparacadaumdeles,baseadonoquefoifeitoacima(v.tambm
RPM10pp.3340).

Aquestodetiraros"novesfora"deumnmerofoitratadanaRPM14,pp.1720.Dopontodevistaestudadoaqui,tiraros"novesfora"deumnmerosignifica
acharorestodasuadivisopor9.

4.Explicandoa"mgica"

Vamosagoraexplicarnossaltimaquestoapresentadanaintroduo:...qualfoioalgarismoretirado?

Como j sabemos, um nmero natural e a soma de seus algarismos deixam o mesmo resto quando divididos por 9. Portanto, dois nmeros formados com os
mesmosalgarismos,colocadosemoutraordem,possuemomesmorestoquandodivididospor9.Logo,sedeumdessesnmerossesubtrairooutro,adiferena
http://rpm.org.br/cdrpm/22/2.htm 2/3
2017522 RPM22Congruncia,divisibilidadeeadivinhaes
mesmosalgarismos,colocadosemoutraordem,possuemomesmorestoquandodivididospor9.Logo,sedeumdessesnmerossesubtrairooutro,adiferena
serdivisvelpor9.

Porisso,sabemos,deantemo,queseucolegaobteve,comoresultadoumnmerocujasomadosalgarismosmltiplode9.

Parafazera"mgica"dadescobertadoalgarismoretirado,efetuamos,primeiramente,asomadosalgarismosditospeloseucolega.Aseguir,subtramosessasoma
domenormltiplode9maiorqueessasoma.Orestooalgarismoprocurado.

Paraconcluir,deixamosdoisproblemas,queapareceramemcompetiesdeMatemtica,paraoleitorexercitarosconhecimentosaquiapresentados:

Problema1Umnmerodetrsalgarismos2a3somadocomonmero326,dandoonmero5b9.Se5b9divisvelpor9,entoa+biguala...

Problema2Encontretodososnmerosnaturaismde5algarismos,mdivisvelpor11,cujasomadeseusalgarismosseja43.

RefernciasBibliogrficas

[1]PERELMAN,Ya.I.Problemasyexperimentosrecreativos.Mosc,Mir,1975.
[2]STEIN,ShermanK.Mathematics,themanmadeuniverse.SanFrancisco,W.H.FreemanandCompany,1976.

NR.Almdasrevistasjcitadasnotexto,oleitorencontrartemascorrelatosnasRPM's6,p.217,p.2512,p.24.

BeneditoTadeuVasconceJosFreire,doDepartamentodeMatemticadaUFRN,docentedoCursodeAperfeioamentoparaProfessoresdeMatemticado
1.e2.Graus.tambmtutordoprogramaPETCAPES

http://rpm.org.br/cdrpm/22/2.htm 3/3