1 Divisibilidade

Divisrevisadofran 2008/6/23 page 1 Estilo OBMEP
Divisibilidade e Nmeros Inteiros

Introduo Aritmtica Modular
Samuel Jurkiewicz
Divisrevisadofran 2008/6/23 page i Estilo OBMEP
Sobre o Autor Samuel Jurkiewicz carioca e Doutor em Matemtica pela Universidade Pierre et Marie, em Paris. Atualmente professor da Escola de Engenharia da UFRJ. J atuou como docente em todos os nveis, inclusive no pr-escolar. Alm do ensino de graduao e ps-graduao, tem desenvolvido atividades junto a professores e alunos do Ensino Mdio atravs de ocinas de Matemtica Discreta.
Divisrevisadofr 2008/6/23 page ii Estilo OBMEP
Sumrio
1 Diviso de Nmeros Naturais 1.1 1.2 1.3 Mltiplos, Fatores e Divisores . . . . . . . . . . . . . . Critrios de Divisibilidade e o Sistema de Numerao . Outras Propriedades dos Restos: Multiplicao e Potenciao . . . . . . . . . . . . . . . . . . . . . . . . . Nmeros Primos e Nmeros Compostos . . . . . . . . Innitude do Conjunto dos Nmeros Primos . . . . . . Nmero de Divisores . . . . . . . . . . . . . . . . . . . Um Tema Avanado: Nmeros Perfeitos . . . . . . . . Maior Divisor Comum . . . . . . . . . . . . . . . . . . Algoritmo de Euclides . . . . . . . . . . . . . . . . . . 4 9 11
31 36 41 45 49 51 54 56 62 63
1.4 1.5 1.6 1.7 1.8 1.9
1.10 Menor Mltiplo Comum . . . . . . . . . . . . . . . . . 1.11 Um Truque de Divisibilidade . . . . . . . . . . . . . . 1.12 Uma Aplicao Geomtrica . . . . . . . . . . . . . . . ii
Divisrevisadofran 2008/6/23 page iii Estilo OBMEP
SUMRIO
iii 67 89 130
2 Aritmtica Modular 3 Material Complementar A Para saber mais
Antes de comear
Caros Colegas, Professores e Estudantes com grande satisfao que levamos s suas mos este primeiro volume de uma srie destinada a acompanh-los durante o estgio de premiao da I Olimpada de Matemtica da Escola Pblica. O principal motivo desta satisfao saber que as mos que iro receb-lo so de pessoas que gostam de pensar, praticar, descobrir e se divertir com a Matemtica. Isso representa para ns grande responsabilidade: a de manter vivo esse gosto pelo conhecimento e pelo estudo. Aqueles que esto recebendo este material mostraram, alm de competncia, que o prazer de aprender e de resolver problemas j est presente. Nossa inteno fazer com que este sentimento cresa e se espalhe. Felizmente, a Matemtica nos oferece muitas escolhas e no nos faltaria assunto para muitas pginas. Ao pensar que tipo de material seria adequado, tivemos em mente trs aspectos: o contedo, a forma e a profundidade adequadas. No caso do contedo pensamos em abordar temas clssicos, como a Di1
SUMRIO
visibilidade, a Geometria, os Conjuntos Numricos; temas menos frequentes no currculo habitual, como a Combinatria; e alguns temas ligados fundamentao da Matemtica como a argumentao lgica. Nossa inteno contemplar, sempre que possvel, aspectos originais da Matemtica que por diversos motivos no se encontram facilmente nos livros didticos do Ensino Fundamental. Claro, no poderemos fugir aos conhecimentos centrais da Matemtica, mas procuraremos nos valer de sua versatilidade para oferecer material que desperte interesse alm do que j conhecemos. Na questo da forma, os fascculos tero sempre algumas caractersticas comuns: exposio de contedos, exerccios resolvidos, exerccios propostos, propostas de atividades e curiosidades relativas ao tema em estudo. O ponto mais delicado o da profundidade, por estarmos nos dirigindo a uma populao com idades e histria escolar bastante diversicada. certamente um desao oferecer material que seja adequado a todos. Optamos por dividir o material em duas partes, com diculdades variadas. Um primeiro exemplo este volume que vocs tm em mos. A divisibilidade, a decomposio em nmeros primos, a divisibilidade, a obteno do mnimo mltiplo comum e do mximo divisor comum, tudo isto bem familiar aos alunos do Ensino Fundamental. Nossa experincia, entretanto, nos faz acreditar que este um aspecto fundamental da Matemtica que vale a pena revisitar. Um motivo adicional o renovado interesse sobre estes assuntos na Matemtica Superior e nas aplicaes computacionais, como a Criptograa e a codicao de informaes. Este o material da primeira parte.
SUMRIO
A segunda parte se dedica Aritmtica Modular, que ser novidade para a maior parte dos alunos. Ela se apia nos contedos fundamentais de que falamos, mas trazendo um aspecto generalizador que a base da lgebra abstrata moderna. Procuramos manter esta parte em nvel acessvel, trabalhando passo a passo. Procuramos fazer o melhor mas certamente o trabalho ter falhas. Sugestes e crticas so benvindas. Mais ainda, incentivamos o professor a complementar o trabalho com suas prprias idias, uma vez que o assunto vasto e rico de aspectos interessantes que no caberiam num fascculo deste porte. Ao estudante lembramos que nada substitui a iniciativa e a imaginao. No se contentem com o que j sabem, peam mais de seus professores e procurem mais nos livros. Espero que estas pginas sejam teis a todos, e espero receber notcias. Um abrao Samuel Jurkiewicz jurki@pep.ufrj.br
Captulo 1
Diviso de Nmeros Naturais

Se quisermos dividir 3 queijos por duas pessoas no teremos problemas, cada pessoa car com 1 queijo e meio. A operao matemtica que zemos foi dividir 3 por 2: 3:2= 3 2
Observao. Podemos indicar a diviso com os smbolos /, : e . Usaremos 5 : 7 para indicar 5 dividido por 7. Mas nem todos os problemas podem ser resolvidos com divises fracionrias. Se quisermos dividir 27 livros por 4 alunos, no temos a opo de cortar um livro em pedaos. Por isso, interessante que estudemos as divises com nmeros naturais. Nas pginas seguintes estaremos falando sempre de nmeros inteiros, positivos ou negativos. 4
5 Aqui vale a pena fazer uma observao: o conjunto N dos nmeros naturais o conjunto dos nmeros que usamos para contar. Muitos professores incluem o 0 (zero) no conjunto N, mas isso no obrigatrio. No nosso caso o conjunto dos nmeros naturais ser N = {1, 2, 3, 4, . . .} mas o zero ser utilizado pois tem um papel importante. Ento voc ver frequentemente este conjunto expresso como N {0} (os naturais e o zero). Em alguns casos, trabalharemos tambm com o conjunto dos nmeros inteiros negativos, {1, 2, 3, . . .}. Vamos ento voltar ao problema de dividir os livros. Vamos colocar um livro de cada vez na pilha do aluno 1, depois na pilha do aluno 2, depois na pilha do aluno 3 e depois na pilha do aluno 4. Voltamos ao aluno 1 e assim por diante. Quando paramos? Paramos quando, depois de colocar um livro para o aluno 4, sobram menos do que 4 livros. No nosso caso cada aluno cou com 6 livros e ainda sobraram 3 livros. Essa situao pode ser retratada matematicamente como: 27 : 4 = 6 com resto 3. Note que podemos descobrir o nmero de livros que tnhamos no comeo se soubermos: quantos alunos recebero livros (4); quantos livros cada aluno recebeu (6); quantos livros sobraram (3). De fato, basta fazer a conta 4 6 + 3 = 24 + 3 = 27.
CAP. 1: DIVISO DE NMEROS NATURAIS
Observao. Embora seja bastante comum simbolizar a multiplicao por um ponto (como em 7 8 = 56) usaremos com freqncia o smbolo (como em 7 8 = 56). Em geral, s usaremos o ponto para indicar multiplicao entre smbolos literais. Estamos prontos para entender o que a diviso entre nmeros naturais. Temos: um nmero que queremos dividir (chamado de dividendo - no nosso caso, o 27); um nmero que vai dividir o dividendo (chamado de divisor no nosso caso, o 4). Lembre-se: o divisor sempre diferente de 0; o maior nmero de vezes que conseguimos colocar o divisor dentro do dividendo (chamado de quociente ou resultado - no nosso caso, o 6); o nmero de unidades que resta (chamado de resto e que deve ser menor que o divisor - no nosso caso, o 3). Usando os smbolos: D para dividendo; d para divisor (que deve ser diferente de 0); q para quociente; r para resto (que deve ser menor que d).
7 Podemos resumir o que est acima: D = dq+r , r<d , d>0 ; D, d, q, r N {0} (1.1)
O fato de que, dados dois nmeros naturais D e d seja sempre possvel encontrar nmeros q e r dentro das condies acima um teorema (que no demonstraremos aqui) e que se baseia no Princpio da Boa Ordenao. uma prova interessante e que se apoia no algoritmo da diviso. A restrio r < d assegura que o quociente q nico, o que nos permite trabalhar com tranquilidade. Veremos mais adiante, que esta equao d origem a um algoritmo para o clculo do mximo divisor comum entre dois nmeros. Tanto a equao como o algoritmo aparecem pela primeira vez, de forma organizada, nos Elementos, de Euclides de Alexandria. Exemplo: Uma caixa de 33 lpis deve ser dividida entre 7 pessoas. Quanto cada um receber? Quantos lpis sobraro? Descreva a situao usando a equao de Euclides, nossa equao (1.1). Soluo: 33 : 7 = 4 com resto 5. Cada pessoa receber 4 lpis. Sobraro 5 lpis. A situao pode ser descrita por: 33 = 7 4 + 5.
Exerccios 1. Efetue as divises e descreva o resultado na forma da equao de Euclides (equao (1.1)). (a) 44 : 5 (b) 44 : 7 (c) 353 : 3 (d) 483 : 438 (e) 1253 : 125 (f) 757 : 75 (g) 21 : 10 (h) 1210 : 10 (i) (j) (k) (l) (m) (n) (o) (p) 210 : 100 1285 : 100 1285 : 1000 11285 : 10 157325 : 10000 157325 : 1000 57325 : 100 57325 : 10
2. Efetue as divises e descreva o resultado na forma da equao de Euclides (equao (1.1)). O que observa na seqncia dos restos? (a) 48 : (b) 47 : (c) 46 : (d) 45 : (e) 44 : 4 4 4 4 4 (f) 43 : 4 (g) 42 : 4 (h) 41 : 4 (i) 40 : 4
3. Porque o resto tem que ser menor do que o divisor?
SEC. 1.1: MLTIPLOS, FATORES E DIVISORES
1.1
Mltiplos, Fatores e Divisores
Com freqncia desejamos que a diviso d certinha. Ou melhor, que ela seja exata. O que queremos dizer com isso? Queremos que no sobre nada, queremos que o resto seja 0. 45 : 7 uma diviso exata? No, pois o quociente 6 mas ainda temos o resto de 3. 45 : 9 uma diviso exata? Sim, pois o quociente 5 e o resto 0. Porque to importante que o resto seja 0 ? Para responder a esta pergunta observemos que quando r = 0 a equao de Euclides (nossa equao (1.1)). D =dq+r se reduz a D =dq , d>0 ; D, d, q N {0} (1.2) , r<d , d>0 ; D, d, q, r N {0} (1.1)
Isto , temos que tratar somente com multiplicao. Se a diviso tem resto 0 dizemos que o dividendo mltiplo do divisor. Mais ainda, como a ordem dos nmeros do lado direito da igualdade da equao (1.2) pode ser trocada (pois a multiplicao uma operao comutativa), o dividendo tambm mltiplo do quociente. No nosso simples exemplo: 45 = 9 5 45 mltiplo de 9 e 45 mltiplo de 5.
10
Podemos dizer tambm que 5 divisor de 45, e que 9 divisor de 45. Os nmeros 5 e 9 produzem o nmero 45 por multiplicao. De certa maneira o nmero 45 composto pelos nmeros 5 e 9, por isso dizemos tambm que: 5 e 9 so fatores de 45. Demos bastante nfase a esta nomenclatura, pois vamos us-la com freqncia.
Exemplo: Quais os fatores do nmero 12? 1 e 12 , pois 12 = 1 12; 2 e 6, pois 12 = 2 6; 3 e 4, pois 12 = 3 4; Conjunto dos fatores de 12 D12 = {1, 2, 3, 4, 6, 12}. Observao. bastante freqente usar a notao: D12 conjunto dos fatores de 12. Essa forma nos ser conveniente em alguns casos.
SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO
11
Exerccios 1. Determine os fatores de (a) 42 (b) 6 (c) 18 (d) 15 (e) 25 (f) 100 (g) 13 (h) 23 (i) 37 (j) 101 (k) 1001
2. Quais os fatores de 2471 ? Voc testou at que divisor ?
1.2
Critrios de Divisibilidade e o Sistema de Numerao
Em alguns casos, no precisaremos tentar dividir para saber se um nmero ou no mltiplo de outro. Para isso usaremos as caractersticas de nosso sistema de numerao e algumas propriedades do resto de uma diviso. Vamos lembrar alguns fatos: No nosso sistema usamos 10 algarismos Fato 1: (0, 1, 2, 3, 4, 5, 6, 7, 8, 9) cujo valor aumenta ou diminui conforme sua posio.
Exemplo: 12948 = 1 10000 + 2 1000 + 9 100 + 4 10 + 8.
12
Fato 2 : Se um nmero fator(divisor) de dois outros nmeros, ele fator(divisor) da sua soma (e da sua diferena).
Exemplo: 6 fator de 30 6 fator de 48 Ento, 6 fator de 30 + 48 = 78. E 6 tambm fator de 48 30 = 18 (pois 18 = 6 3).
Fato 3: Dividimos dois nmeros por um mesmo divisor. Se a soma (diferena) dos restos for menor que o divisor, ela ser igual ao resto da soma (diferena) dos dois nmeros.
Exemplo: Soma 22 : 7 = 3 e o resto 1 33 : 7 = 4 e o resto 5 A soma dos restos 6 (que menor que 7) 22 + 33 = 55 55 : 7 = 7 e o resto 6. Diferena 51=4 33 22 = 11 11 : 7 = 1 e o resto 4.
13
Observao. Se a diferena for um nmero negativo, somamos o divisor.
Exemplo: 44 : 7 = 6 e o resto 2 26 : 7 = 3 e o resto 5 2 5 = 3 3 + 7 = 4 44 26 = 18 18 : 7 = 2 e o resto 4. Fato 4: Dividimos dois nmeros por um mesmo divisor; se a soma dos restos for maior que o divisor, subtramos o valor do divisor e o resultado ser o resto da soma dos dois nmeros. Exemplo: 26 : 7 = 3 e o resto 5 32 : 7 = 4 e o resto 4 A soma dos restos 9 (que maior que 7). Ento o resto 9 7 = 2. De fato, temos: 26 + 32 = 58 58 : 7 = 8 e o resto 2. Pergunta-exerccio: A diferena entre os restos pode ser maior que o divisor? Em algum caso necessitaremos adicionar o divisor mais do que uma vez ?
14
Exerccio Sem executar a soma, determine o resto das divises: (a) (47 + 73) : 7 (b) (354 + 432) : 10 (c) (47 + 73) : 8 (d) (35 + 46) : 6 (e) (123 + 258) : 10 (f) (16 + 22 +35) : 3 (g) (43 + 49) : 3 (h) (200 + 40 + 7) : 3 (i) (100 +40 +7) : 3 (j) (100 + 20 + 4) : 9 (k) (400 + 10 + 7) : 9 (l) (400 + 10 + 4) : 9
1.2.1
Divisibilidade por 2: Nmeros Pares e mpares
O critrio de divisibilidade mais conhecido a diviso por 2. Para determinar se um nmero divisvel por 2 (isto , par) ou no (mpar) s precisamos vericar se o ltimo algarismo par ou mpar. Observe que: 10 = 2 5, 100 = 2 50, 1000 = 2 500. E assim por diante... Ento, veja os exemplos a seguir: 1. 456 = 4 100 + 5 10 + 6 400 = 200 2 par (divisvel por 2) 50 = 25 2 par (divisvel por 2) 6 = 3 2 par (divisvel por 2) Ento 456 par.
15
2. 7568142635 mpar (no divisvel por 2). 3. 7568142636 par (divisvel por 2). Observao. Um fato importante que todos os fatores de um nmero mpar so mpares. Assim, basta um fator par para que o nmero seja par.
1.2.2
Divisibilidade por 4 e 8
Observe que: 100 = 4 25, 1000 = 4 250. E assim por diante: 1000000 = 4 250000. Isto , as potncias de 10, a partir de 100, so todas divisveis por 4. Mas 10 no divisvel por 4. Ento, para saber se um nmero divisvel por 4 no precisamos nos preocupar com as centenas, milhares, e assim por diante. Estas classes j tm o 4 como fator. Para saber se um nmero divisvel por 4, basta saber se os dois ltimos algarismos formam um nmero divisvel por 4. Para saber o resto da diviso de um nmero por 4, basta saber o resto da diviso dos seus dois ltimos algarismos por 4.
16 Exemplos:
1. 125867432 divisvel por 4 ? Basta vericar para 32 32 = 4 8 com resto 0 2. Qual o resto de 35971659 : 4 ? Basta vericar o resto de 59 : 4. 59 : 4 = 14 com resto 3
A divisibilidade por 8 segue o mesmo padro. Observe que: 1000 = 8 125, 10000 = 8 1250. E assim por diante: 1000000 = 8 125000. Isto , as potncias de 10, a partir de 1000, so todas divisveis por 8. Mas 10 no divisvel por 8 e 100 tambm no divisvel por 8. Ento, para saber se um nmero divisvel por 8 no precisamos nos preocupar com os milhares, dezenas de milhares e assim por diante. Estas classes j tm o 8 como fator. Para saber se um nmero divisvel por 8, basta saber se os trs ltimos algarismos formam um nmero divisvel por 8. Para saber o resto da diviso de um nmero por 8, basta saber o resto da diviso dos seus trs ltimos algarismos por 8.
17
Exemplos: 1. 125867344 divisvel por 8 ? Basta vericar para 344. 344 = 8 43 com resto 0
2. Qual o resto de 35971659 : 8 ? Basta vericar o resto de 659 : 8. 659 : 8 = 82 com resto 3.
Exerccio Calcule o resto das divises: (a) 1425782 : 2 (b) 1425782 : 4 (c) 1425782 : 8 (d) 658591 : 2 (e) 658591 : 4 (f) 658591 : 8
1.2.3
Divisibilidade por 5 e por 10
As mesmas idias da divisibilidade por 2 podem ser usadas na divisibilidade por 5 e por 10. Basta observar que 10 = 5 2, 100 = 5 10 2, 1000 = 5 100 2. E assim por diante...
18 Isso mostra que:
Um nmero divisvel por 5 se, e s se, o ltimo algarismo for 5 ou 0. Um nmero divisvel por 10 se, e s se, o ltimo algarismo for 0. Para saber o resto da diviso de um nmero por 5, basta saber o resto da diviso do seu ltimo algarismo por 5. Para saber o resto da diviso de um nmero por 10, basta saber o resto da diviso do seu ltimo algarismo por 10, isto , basta saber o seu ltimo algarismo.
Exemplos: 1. Sem executar a soma, determine o resto das divises: (a) (457 + 378 + 19) : 10 Os ltimos algarismos somam 24, logo o resto da diviso 4. (b) (358 + 57917 + 123) : 5 Os ltimos algarismos somam 18, logo o resto da diviso 3. 2. Se somarmos todos os nmeros de 1 a 587 qual o resto da diviso por 5 ? A soma dos algarismos de 1 a 9 (1+2+3+4+5+6+7+8+9+0) 45, logo at 580 a soma dos nmeros ser um mltiplo de
19
45 (58 45), logo um mltiplo de 5. S precisamos nos preocupar com o ltimo algarismo dos sete ltimos nmeros: 1 + 2 + 3 + 4 + 5 + 6 + 7 = 28. O ltimo algarismo 8 e o resto da soma 3.
3. Se somarmos todos os nmeros de 1 a 536 qual o resto da diviso por 10 ? A soma dos algarismos de 1 a 9 (1+2+3+4+5+6+7+8+9+0) 45, logo at 530 a soma dos ltimos algarismos dos nmeros ser 53 45, um nmero com ltimo algarismo igual a 5. S precisamos nos preocupar com este 5 e com o ltimo algarismo dos seis ltimos nmeros: 5 + 1 + 2 + 3 + 4 + 5 + 6 = 26. O ltimo algarismo 6 e o resto da soma 6.
Exerccios 1. Sem executar a soma, determine o resto das divises: (a) (3257 + 12378 + 1569) : 10 (b) (354567 + 356 + 1) : 10 (c) (5 + 15 + 25 + 35 + 45) : 5 (d) (1 + 3 + 5 + 7 + 9 + 11 + 13) : 2 (e) (1 + 3 + 5 + 7 + 9 + 11 + 13) : 5 (f) (1 + 3 + 5 + 7 + 9 + 11 + 13) : 10 2. Se somarmos todos os nmeros de 121 a 587 qual o resto da diviso desta soma por 5 ?
20
3. Se somarmos todos os nmeros de 131 a 536 qual o resto da diviso desta soma por 10 ? 4. Estabelea um critrio de divisibilidade por 100, por 1000 e, em geral, por 10t . 5. Estabelea um critrio de divisibilidade por 25, por 125 e, em geral, por 5t .
1.2.4
Divisibilidade por 3 e por 9
Vamos lembrar de um dos exerccios que j zemos: Qual o resto de (200 + 40 + 7) : 3 ? 200 : 3 = 66 com resto 2 - o mesmo resto de 2 : 3 40 : 3 = 13 com resto 1 - o mesmo resto de 4 : 3 7 : 3 = 2 com resto 1 - o mesmo resto de 7 : 3 O resto de 247 : 3 o mesmo resto de (2 + 4 + 7) : 3, isto , o mesmo resto de 13 : 3. Como 13 : 3 = 4 com resto 1 segue que 247 : 3 tem resto 1. Vamos investigar um pouco: 1 : 3 = 0 com resto 1 10 : 3 = 3 com resto 1 100 : 3 = 33 com resto 1 E assim por diante, 1000000 : 3 = 333333 com resto 1. O resto das potncias de 10 quando divididas por 3, sempre 1. Cada classe contribui com uma unidade para o resto da diviso por 3.
21
Por exemplo, 4000 contribui com 4 unidades para o resto da diviso 4573 : 3. Resumindo: O resto da diviso de um nmero por 3 o mesmo resto da diviso da soma de seus algarismos por 3.
Exemplos: 1. Para calcular o resto de 4573 : 3 observamos que: 4573 = 4 1000 + 5 100 + 7 10 + 3 = 4 (999 + 1) + 5 (99 + 1) + 7 (9 + 1) + 3 = 4 999 + 5 99 + 7 9 + 4 + 5 + 7 + 3. Basta ento calcular o resto de 4 + 5 + 7 + 3 = 19 por 3. O resto 1. 2. O resto da diviso de 4567 por 3 o resto da diviso de 4 + 5 + 6 + 7 = 22 por 3, isto o resto da diviso de 2 + 2 = 4 por 3, isto (nalmente) 1. De fato, 4567 = 1522 3 + 1. 3. Se somarmos todos os nmeros de 1 a 536 qual o resto da diviso por 3 ? O resto de (1 + 2 + 3) : 3 0; o resto de (4 + 5 + 6) : 3 0; e assim por diante, sempre indo de trs em trs at o prximo mltiplo de 3. Temos que nos preocupar apenas com os nmeros aps o ltimo mltiplo de 3, no caso 534 (pois 5 + 3 + 4 = 12). Basta vericar a soma 535 + 536 = 1071. A soma dos algarismos 9, que mltiplo de 3. Logo, o resto ser 0.
22
Observao. Podamos tambm somar os alagarismos de 535 e 536, o que nos daria 27, nos dando o resto 0. Isso pode ser feito pois: 535 + 536 = 5 100 + 3 10 + 5 + 5 100 + 3 10 + 6 = 5 (99 + 1) + 3 (9 + 1) + 5 + 5 (99 + 1)+ 3 (9 + 1) + 6 = 5 99 + 3 9 + 5 99 + 3 9 + 5 + 3 + 5+ 5 + 3 + 6. Exerccios 1. Qual o resto das divises indicadas ? (a) (3257 + 12378 + 1569) : 3 (b) (354567 + 356 + 1) : 3 (c) (5 + 15 + 25 + 35 + 45) : 3 (d) (1 + 3 + 5 + 7 + 9 + 11 + 13) : 3 2. Se somarmos todos os nmeros de 121 a 587 qual o resto da diviso por 3 ? 3. Se somarmos todos os nmeros de 131 a 536 qual o resto da diviso por 3 ? Para a divisibilidade por 9 podemos usar a mesma idia. Vejamos um exemplo:
23
Qual o resto de (400 + 80 + 7) : 9 ? 400 : 9 = 44 com resto 4 - o mesmo resto de 4 : 9 80 : 9 = 8 com resto 8 - o mesmo resto de 8 : 9 7 : 9 = 1 com resto 7 - o mesmo resto de 7 : 9 O resto de 487 : 9 o mesmo resto de (4 + 8 + 7) : 9, isto , o mesmo resto de 19 : 9. Como 19 : 9 = 2 com resto 1 segue que 487 : 9 tem resto 1. Como zemos no caso da divisibilidade por 3 estamos usando o fato de que: 487 = 4 100 + 8 10 + 7 = 4 (99 + 1) + 8 (9 + 1) + 7 = 4 99 + 8 9 + 4 + 8 + 7.
Basta ento calcular o resto de 4+5+7+3 = 19 por 3. O resto 1. Vamos investigar um pouco: 1 : 9 = 0 com resto 1 10 : 9 = 1 com resto 1 100 : 9 = 11 com resto 1 E assim por diante: 1000000 : 9 = 111111 com resto 1. O resto das potncias de 10 quando divididas por 9, sempre 1. De fato: 10 = 9 + 1 100 = 99 + 1 1000 = 999 + 1 e assim por diante. Cada classe contribui portanto com uma unidade
24
para o resto da diviso por 9. Por exemplo, 4000 contribui com 4 unidades para o resto da diviso 4000 : 9.
Exemplos: 1. O resto de 4585 : 9 o resto de 4 1000 + 5 100 + 8 10 + 5, isto , o mesmo resto que 4 1 + 5 1 + 8 1 + 5, ou ainda 4 + 5 + 8 + 5 = 22. O resto 4. Resumindo: O resto da diviso de um nmero por 9 o mesmo resto da diviso da soma de seus algarismos por 9. 2. O resto da diviso de 4567 por 9 o resto da diviso de 4 + 5 + 6 + 7 = 22 por 9, isto , o resto da diviso de 2 + 2 = 4 por 9, isto (nalmente) 4. De fato, 4567 = 507 9 + 4. 3. Se somarmos todos os nmeros de 1 a 536 qual o resto da diviso desta soma por 9 ? O resto de (1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9) : 9 o mesmo de 45 : 9 que 0; o resto de (10 + 11 + 12 + 13 + 14 + 15 + 16 + 17 + 18) : 9 o mesmo de 126 : 9 que 0; e assim por diante. Temos que nos preocupar apenas com os nmeros aps o ltimo mltiplo de 9, no caso 531 (pois 5 + 3 + 1 = 9). Basta vericar a soma 532 + 533 + 534 + 535 + 536. A soma dos algarismos 60. O resto de 60 : 9 6, logo o resto da soma 6.
25
Exerccios 1. Qual o resto das divises indicadas ? (a) (3257 + 12378 + 1569) : 9 (b) (354567 + 356 + 1) : 9 (c) (5 + 15 + 25 + 35 + 45) : 9 (d) (1 + 3 + 5 + 7 + 9 + 11 + 13) : 9 2. Se somarmos todos os nmeros de 121 a 587 qual o resto da diviso por 9 ? 3. Se somarmos todos os nmeros de 131 a 536 qual o resto da diviso por 9 ?
1.2.5
Divisibilidade por 7
Vamos mostrar dois critrios de divisibilidade por 7. O primeiro ser feito por etapas e o segundo ser deixado como exerccio. Mostre que 10x + y divisvel por 7 se e s se x 2y tambm for divisvel por 7. Soluo 10x + y divisvel por 7 10x + y 7x 7y divisvel por 7 3x 6y divisvel por 7 3(x 2y) divisvel por 7 x 2y divisvel por 7.
26
Use o exerccio anterior para estabelecer o seguinte critrio de divisibilidade por 7: Para saber se um nmero divisvel por 7 multiplicamos o ltimo algarismo do nmero por 2 e subtraimos o resultado do nmero obtido do nmero inicial pela supresso do ltimo algarismo. Exemplos: 1. 294 29|4 29 8 = 21 294 divisvel por 7. 2. 248738 24873 16 = 24857 2485 14 = 2471 247 2 = 245 24 10 = 14 248738 divisvel por 7. 3. 7557 755 14 = 741 74 2 = 72 7 4 = 3 7557 no divisvel por 7. Observao. Podemos expressar teoricamente o algoritmo acima. Um nmero qualquer expresso por algarismos: ABCDE KLM. Se zermos x = ABC KL e y = M , teremos ABCDE KLM = 10x + y que s ser divisvel por 7 se x2y = ABC KL2M tambm for. Invente seus exemplos. Verique que, ao contrrio dos algoritmos usuais, esse critrio NO permite descobrir o resto de uma diviso por 7.
27
Observao. De fato, no exemplo 3 7557 755 14 = 741 74 2 = 72 7 4 = 3 7557 no divisvel por 7. Mas o resto da diviso de 7557 por 7 4 e no 3.
Outro Critrio de Divisibilidade por 7
Um outro critrio de divisibilidade por 7 o seguinte: Tomamos o primeiro algarismo esquerda, multiplicamos por 3 e somamos ao segundo algarismo esquerda e em seguida substitumos o resultado pelos dois primeiros algarismos esquerda. Se o nmero original divisvel por 7 o nmero resultante tambm ser. Exemplos: 1. 3486 1386 686 266 126 56 21 3 3 + 4 = 13 13+3 =6 6 3 + 8 = 26 2 3 + 6 = 12 13+2 =5 5 3 + 6 = 21 23+1 =7
E 3486 mltiplo de 7
28 2. 5129 1629 929 299 159 89 33 12 5 3 + 1 = 16 13+6=9 9 3 + 2 = 29 2 3 + 9 = 15 13+5=8 8 3 + 9 = 33 3 3 + 3 = 12 13+2=5
E 5129 no mltiplo de 7, mas... Observe que 5129, quando dividido por 7, deixa o resto 5. Exerccios 1. Prove que o critrio de divisibilidade por 7 enunciado acima realmente funciona. (Sugesto: Considere o nmero como sendo da forma XY Z = X 10t + Y 10t1 + Z). 2. Mostre que este algoritmo nos d o resto do nmero original por 7.
1.2.6
Divisibilidade por 11
Para obter um critrio de divisibilidade por 11 vamos lanar mo, outra vez, do valor posicional dos algarismos. Para isso vamos observar que:
29
1 Para cada unidade haver sobra de uma unidade ao dividir por 11; 10 Para cada dezena haver falta de uma unidade para completar 11 (pois 10 + 1 = 11); 100 Para cada centena haver sobra de uma unidade ao dividir por 11 (pois 100 1 = 99 = 11 9); 1000 Para cada milhar haver falta de uma unidade para completar 11 (pois 1000 + 1 = 1001 = 11 91) e assim por diante... Exerccio Mostre que o resto da diviso de 10t por 11 1 se t par e 10 se t mpar. (Lembrete: 100 = 1). Essa observao nos d o seguinte critrio: Para saber se um nmero divisvel por 11 somamos os algarismos de ordem par (unidades, centenas, etc.) e subtramos a soma dos algarismos de ordem mpar. Se o resultado for mltiplo de 11, o nmero original ser mltiplo de 11.(Lembrete: A ordem das unidades 0, das dezenas 1, etc.). Exemplos: 1. 4520835 Algarismos de ordem par 5 + 8 + 2 + 4 = 19 Algarismos de ordem mpar 3 + 0 + 5 = 8
30 19 8 = 11 4520835 divisvel por 11
2. 75893482 Algarismos de ordem par 2 + 4 + 9 + 5 = 20 Algarismos de ordem impar 8 + 3 + 8 + 7 = 26 20 26 = 6 Como o resultado foi negativo, isso mostra que faltam 6 unidades para o nmero ser divisvel por 11, isto o resto da diviso de 75893482 por 11 11 6 = 5
Exerccios 1. Como podemos saber se um nmero divisvel por 6 ? 2. Como podemos saber se um nmero divisvel por 36 ? 3. Como podemos saber se um nmero divisvel por 55 ? 4. Pedro estava tentando dividir um nmero de 4 algarismos por 7. Joo ento lhe disse:Basta tirar o algarismo das centenas. Pedro viu que estava correto. Que nmero era este ? 5. Qual o menor nmero que tem todos os algarismos pares e divisvel por 18 ? 6. Qual o menor nmero composto por 4 algarismos pares e divisvel por 18 ?
SEC. 1.3: OUTRAS PROPRIEDADES DOS RESTOS: MULTIPLICAO E POTENCIAO31
7. Qual o menor nmero composto por 6 algarismos pares e divisvel por 18 ? 8. Qual o menor nmero composto por 30 algarismos pares e divisvel por 18 ?
1.3
Outras Propriedades dos Restos: Multiplicao e Potenciao
Vimos que quando dividimos dois nmeros pelo mesmo divisor, a soma (ou diferena) dos restos igual ao resto da soma (ou diferena) dos nmeros - eventualmente temos que corrigir a soma ou diferena, somando ou subtraindo o valor do divisor. Exemplos: Veja os exemplos no Fato 2 e no Fato 3 mais acima. Mas ser que a mesma idia permanece se usarmos a multiplicao? Veremos que sim, e para isso teremos que usar nossa velha equao de Euclides (a equao (1.1)):
D =dq+r Em que:
r<d
d>0
D, d, q, r N {0} (1.1)
D o dividendo; d o divisor (que deve ser diferente de 0); q o quociente;
32
r o resto (que deve ser menor que d). Vamos experimentar um exemplo: 45 : 7 = 6 com resto 3 37 : 7 = 5 com resto 2 45 37 = 1665 1665 : 7 = 237 com resto 6 Observe que o produto dos restos igual ao resto do produto ! Outro exemplo: 40 : 6 = 6 com resto 4 29 : 6 = 4 com resto 5 40 29 = 1160 1160 : 6 = 193 com resto 2 O que aconteceu? O produto dos restos 20, muito maior do que o divisor. Vamos retirando 6 unidades at obter um resto menor do que 6, isto , 20 6 6 6 = 2. Na verdade dividimos 20 : 6 = 3 com resto 2. So exemplos de que podemos conhecer o resto de uma multiplicao por um dado divisor, sabendo o resto da diviso dos fatores deste nmero pelo mesmo divisor. Vamos entender porque isso acontece. Digamos que tenho dois nmeros D1 e D2 que vamos dividir pelo mesmo divisor d. Pela equao de Euclides (equao (1.1)) podemos escrever: D1 = dq1 +r1 , r1 < d , d>0 ; D1 , d, q1 , r1 N{0}
D2 = dq2 +r2 e da tirar: D1 = d q1 + r1 , D2 = d q2 + r2 ,
r2 < d
d>0
D2 , d, q2 , r2 N{0}
com com
0 r1 < d; 0 r2 < d;
D1 , d, q1 , r1 N {0} D2 , d, q2 , r2 N {0}
Observe que no precisamos colocar ndice no divisor d pois ele igual nas duas equaes. Vamos fazer a multiplicao D1 D2 : D1 = d q1 + r1 , D2 = d q2 + r2 , donde D1 D2 = (dq1 +r1 )(dq2 +r2 ) = d2 q1 q2 +r1 dq2 +r2 dq1 +r1 r2 . Observe que d2 q1 q2 , r1 d q2 e r2 d q1 tm d como fator. Pelos fatos citados l no comeo, vemos que o resto da diviso (D1 D2) : d o mesmo resto da diviso (r1 r2 ) : d.
Exemplos: 1. Qual o resto da diviso (6779 3846) : 9 ? Calculamos os restos das divises 6799 : 9 e 3486 : 9 ; 6779 : 9 deixa resto 2, pois a soma dos algarismos 29 ( 29 27 = 2) 3486 : 9 deixa resto 3, pois a soma dos algarismos 21
34 ( 21 18 = 3)
O resto de (6779 3846) : 9 2 3 = 6. 2. Qual o resto da diviso (297 684 128) : 5 ? Calculando os restos: 297 : 5 deixa resto 2 (7 5 = 2) 684 : 5 deixa resto 4 128 : 5 deixa resto 3 (8 5 = 3) O produto dos restos 2 4 3 = 24. O resto de 24 : 5 4. O resto (297 684 128) : 5 tambm 4 . 3. Qual o resto da diviso (295 63 128) : 3 ? Poderamos fazer todas as contas, mas basta observar que 63 mltiplo de 3, logo o resto de 63 : 3 0. O produto dos restos ser 0, e o resto pedido ser 0. De fato, como 3 fator de 63, 3 ser fator do produto 295 63 128; isso quer dizer que o produto tambm mltiplo de 3 (e logo, o resto da diviso por 3 ser 0).
Exerccios 1. Sem efetuar os produtos, calcule o resto das divises: (a) (43 27 38 537) : 2 (b) (453 127 38) : 9
(c) (45 37 91) : 9 (d) (24 48 96) : 5 (e) (1289 2365 1589) : 5 (f) (37 43 57) : 10 J que conseguimos mostrar que os restos so bem comportados quanto multiplicao, podemos tambm usar as propriedades dos restos para a potenciao. Exemplos: 1. Qual o resto de 125 : 5 ? 125 = 12 12 12 12 12 O resto de 12 : 5 2 2 2 2 2 2 = 32 O resto de 32 : 5 2 logo, o resto de 125 : 5 2. 2. Qual o resto de 37 : 2 ? Como 3 mpar, 37 tambm mpar e o resto de de 37 : 2 1. 3. Qual o resto de 37 : 5 ? Note que s nos interessa o ltimo algarismo: 3=3 33=9 9 3 = 27 ltimo algarismo: 7
36
7 3 = 21 ltimo algarismo: 1 13=3 3 3 = 9 . . . e os ltimos algarismos continuam a se repetir nesta ordem: 3; 9; 7; 1; 3; . . . Como os ltimos algarismos se repetem de 4 em 4, 35 ter 3 como ltimo algarismo e 37 ter 7 como ltimo algarismo. Logo, o resto de 37 : 5 2 (pois 7 5 = 2). 4. Qual o resto de 362 : 5 ? Usando a mesma idia do exemplo anterior, vemos que o ltimo algarismo se repete a cada 4 potncias de 3. Como 62 : 4 = 15 com resto 2, vemos que o ciclo 3; 9; 7; 1 . . . se repete 15 vezes e as duas ltimas potncias produzem um nmero com nal 9. Logo, o resto de 362 : 5 4 (pois 9 5 = 4).
1.4
Nmeros Primos e Nmeros Compostos
Estamos trabalhando com o conceito de mltiplos, divisores (que tambm chamamos de fatores) e podemos perceber que alguns nmeros tm muitos fatores, como por exemplo, o 24. O conjunto D24 dos fatores de 24 : D24 = {1, 2, 3, 4, 6, 8, 12, 24}. O nmero 1 divisor de todos os nmeros.
SEC. 1.4: NMEROS PRIMOS E NMEROS COMPOSTOS
37
Observe que o nmero que tem s um divisor 1, pois D1 = {1}. Por outro lado, h nmeros que tm apenas dois fatores, como por exemplo o nmero 7. De fato: D7 = {1, 7}. Os nmeros que s tm dois fatores distintos (o 1 e ele prprio), so chamados nmeros primos. O nico divisor diferente de 1 de um nmero primo ele mesmo. Os nmeros diferentes de 1 e que no so primos, so chamados de compostos.
Um fato bem conhecido que podemos escrever qualquer nmero natural diferente de 1 como um produto de nmeros primos - a chamada decomposio em nmeros primos. Mais ainda, se colocarmos os fatores em ordem crescente, s h uma nica forma de fazer esta decomposio. Este fato importante, pois nos permite comparar as decomposies dos nmeros inteiros e deduzir propriedades. Embora j conhecido h mais tempo, Euclides apresenta uma demonstrao na sua obra Os Elementos. Devido sua larga utilizao, comumente chamado Teorema Fundamental da Aritmtica
38
Observao. O nmero 1 especial. O motivo que ele divide todos os nmeros naturais. Quais os divisores de um natural que interessam? Apenas os divisores diferentes de 1. Procuramos os divisores diferentes de 1. Os nmeros primos so os nmeros naturais, diferentes de 1, com o menor nmero de divisores, apenas dois divisores. Com os nmeros primos construmos os nmeros compostos. Exemplos: 1. Os nmeros 2, 3, 5, 37, 3413 e 7919 so primos. medida que os nmeros vo crescendo, vai cando mais difcil determinar se um nmero primo ou composto. 2. 512 composto. Sua decomposio 512 = 2 2 2 2 2 2 2 2 2. mais cmodo escrever 512 = 29 . 3. 825 composto pois 825 = 3 5 5 11, ou melhor, 825 = 3 52 11. 4. 296783 composto pois 296783 = 463 641. Observe que 463 e 641 so nmeros primos. Pode ser bastante difcil a decomposio em fatores primos.
Exerccio
Determine se os nmeros abaixo so primos ou compostos. Caso sejam compostos decomponha-os em fatores primos.
SEC. 1.4: NMEROS PRIMOS E NMEROS COMPOSTOS
39
(a) 35 (b) 43 (c) 105 (d) 131 (e) 1001
(f) 625 (g) 6480 (h) 1961 (i) 5292 (j) 3003
1.4.1
O Crivo de Eratstenes
O nome no deve assustar o leitor. Crivo quer dizer peneira e Eratstenes foi o sbio grego a quem se atribui sua inveno. uma peneira de nmeros. Vamos peneirar os nmeros divisveis por 2, por 3 e assim sucessivamente. Com este crivo podemos obter ao menos os primeiros nmeros primos, ou melhor todos os nmeros primos at um certo nmero. No nosso exemplo vamos peneirar at 50. Comeamos por riscar de 2 em 2, tirando os mltiplos de 2 (mas no riscamos o 2 - ele primo): 1 2 3 / 4 5 / 6 7 / 8 9 // 10
11 // 13 // 15 // 17 // 19 // 12 14 16 18 20 21 // 23 // 25 // 27 // 29 // 22 24 26 28 30 31 // 33 // 35 // 37 // 39 // 32 34 36 38 40 41 // 43 // 45 // 47 // 49 // 42 44 46 48 50 Retiramos os nmeros que passaram na peneira do 2. O prximo primo o 3. Riscamos de 3 em 3, tirando os mltiplos de 3 (mas no riscamos o 3 - ele primo):
40 1 11 // 21 31 41 2 3 13 23 // 33 43 5 // 15 25 35 // 45
7 17 // 27 37 47
/ 9 19 29 // 39 49
Retiramos os nmeros que passaram na peneira do 3. O prximo primo o 5. Riscamos de 5 em 5, tirando os mltiplos de 5 (mas no riscamos o 5 - ele primo): 1 11 31 41 43 2 3 13 23 // 25 // 35 37 47 49 5 7 17 19 29
Retiramos os nmeros que passaram na peneira do 5. O prximo primo o 7. Riscamos de 7 em 7, tirando os mltiplos de 7 (mas no riscamos o 7 - ele primo): 1 11 31 41 43 2 3 13 23 37 47 // 49 5 7 17 19 29
Retiramos o 49, que no passou na peneira do 7. Aqui paramos. Por qu? O prximo primo seria o 11, mas
SEC. 1.5: INFINITUDE DO CONJUNTO DOS NMEROS PRIMOS
41
qualquer nmero (at 50) dividido por 11 vai nos dar um quociente menor do que 11 pois 11 11 maior do que 50. Quando aplicamos o crivo ou examinamos se um determinado nmero primo, basta vericar at o maior nmero que, elevado ao quadrado, no ultrapasse o nmero examinado. No nosso caso 7 7 = 49, e 7 o maior nmero que, elevado ao quadrado, ainda menor que 50. Na nossa peneira ento s sobraram os nmeros primos. Lembramos que 1 no primo. Primos at 50: P50 = {2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47}. Nem sempre fcil procurar fatores. O crivo funciona bem com nmeros pequenos, mas um nmero primo grande pode complicar a nossa vida. Por exemplo: 34020977 primo ou composto ? Ele composto mas sua decomposio 34020977 = 5077 6701. Imagine o tamanho da peneira que voc teria que usar!
1.5
Innitude do Conjunto dos Nmeros Primos
Uma questo que surge naturalmente se o conjunto dos nmeros primos nito ou innito. Este problema antigo e a demonstrao da innitude do conjunto dos primos mais acessvel consta dos Elementos de Euclides. Antes de expor esta demonstrao vamos investigar um pouco. Suponhamos que eu j sei que 2, 3, 5 e 7 so nmeros primos. Se
42
eu multiplicar esses nmeros e somar 1 co com: 2 3 5 7 + 1 = 211 Fazemos duas observaes: 211 no divisvel por 2, 3, 5 ou 7. Isso decorrncia da forma como obtivemos este nmero. 211 primo. Bem, gostaramos que este fosse um mtodo para fabricar nmeros primos. Infelizmente isso no verdade (e fabricar nmeros primos com uma frmula uma faanha que ainda no foi conseguida). Vejamos o que acontece se tomamos os primos at 13. 2 3 5 7 11 13 + 1 = 30031 Como antes observamos que 30031 no divisvel por 2, 3, 5, 7, 11 ou 13. Mas desta vez obtivemos um nmero que no primo. De fato: 30031 = 59 509 Entretanto apareceram dois nmeros primos que no estavam na minha lista, o 59 e o 509. Na verdade, partir de um conjunto de nmeros primos, esse procedimento produz: Ou um nmero primo que no estava no conjunto inicial Ou pelo menos um nmero que tem na sua composio um nmero primo que no estava no conjunto inicial.
SEC. 1.5: INFINITUDE DO CONJUNTO DOS NMEROS PRIMOS
43
Vejamos alguns exemplos:
Nmeros primos 2, 3 3, 5 3, 7 3, 11 7, 11 2, 3, 5 2, 5, 7 2, 3, 5, 7
O produto +1 23+1= 7 3 5 + 1 = 16 = 2 3 7 + 1 = 22 = 2 11 3 11 + 1 = 34 = 2 17 7 11 + 1 = 78 = 2 3 13 2 3 5 + 1 = 31 2 5 7 + 1 = 71 2 3 5 7 + 1 = 211

4
Outro(s) nmero(s)primo(s) 7 2 2 e 11 2 e 17 2, 3 e 13 31 71 211
Estas observaes nos permitem formalizar o teorema a seguir. Teorema. O conjunto dos nmeros primos innito. Demonstrao: A demonstrao ser feita por absurdo, isto , faremos uma suposio contrria ao que desejamos e concluiremos que ela nos leva a um absurdo. Suponhamos que o conjunto dos nmeros primos nito, com digamos t elementos. Vamos enleirar os nmeros primos: p1 = 2 p2 = 3 p3 = 5 . . . pt O nmero r = p1 p2 p3 p4 . . . pt1 pt + 1 no divisvel por nenhum primo de nossa lista. Temos duas possibilidades:
44
O nmero r primo ou O nmero r no primo e tem um fator primo que no pertence ao conjunto {p1 , p2 , p3 , . . . , pt1 , pt }. Os dois casos contrariam a hiptese inicial que, portanto, absurda. Logo o conjunto dos nmeros primos innito.
Exerccio Veremos que vericar se um nmero ou no primo pode ser complicado. Use uma mquina de calcular e: (a) Verique se o nmero 2 3 5 7 11 13 17 + 1 ou no primo. (b) Verique se o nmero 2 3 5 7 11 13 17 19 + 1 ou no primo. (c) Verique se o nmero 2 3 5 7 11 13 17 19 23 + 1 ou no primo.
SEC. 1.6: NMERO DE DIVISORES
45
1.6
Nmero de Divisores
Uma outra questo, tambm bastante antiga, a de quantos divisores tem um determinado nmero. Vamos ver alguns exemplos, e veremos que no s obteremos quantos mas tambm quais. Exemplo: Quantos divisores tem o nmero 30 ? Para responder a isso comeamos por decompor o nmero 30 em fatores primos. 30 = 2 3 5. Ora, os divisores de 30 sero produto desses fatores. Ento: Podemos escolher no usar o 2 ou usar o 2. Podemos escolher no usar o 3 ou usar o 3. Podemos escolher no usar o 5 ou usar o 5. Temos ento 2 2 2 = 8 possibilidades. De fato, os divisores so: 1 No usamos nenhum divisor 2 usamos s o 2 3 usamos s o 3 5 usamos s o 5 6 usamos o 2 e o 3 10 usamos o 2 e o 5 15 usamos o 3 e o 5 30 usamos o 2, o 3 e o 5
46
Observe que o que zemos foi atribuir expoente 0 ou 1 a cada fator. Por exemplo 1 = 20 30 50 ; 15 = 20 31 51 . Exemplo: Tomemos agora um nmero que tenha fatores com expoente maior do que 1. Quantos divisores tem 360 ? 360 = 23 32 51 . Podemos escolher usar o nmero 2 trs vezes, duas vezes, uma vez ou nenhuma vez. Podemos escolher usar o nmero 3 duas vezes, uma vez ou nenhuma vez. Podemos escolher usar o nmero 5 uma vez ou nenhuma vez. Temos ento 4 3 2 = 24 possibilidades. Podemos esquematizar a obteno de divisores no quadro a seguir.
SEC. 1.6: NMERO DE DIVISORES Fator primo elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado elevado a a a a a a a a a a a a a a a a a a a a a a a a 5 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 3 0 0 0 0 1 1 1 1 2 2 2 2 0 0 0 0 1 1 1 1 2 2 2 2 2 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 divisor 1 2 4 8 3 6 12 24 9 18 36 72 5 10 20 40 15 30 60 120 45 90 180 360
47
Podemos ento formalizar estas idias. Seja um nmero n e sua decomposio em fatores primos:
r1 n = pt1 pt2 pt3 . . . pr1 ptr r 1 2 3
Lembrete: Os pi s so todos diferentes. O nmero de divisores de n igual a (t1 + 1) (t2 + 1) (t3 + 1) (tr1 + 1) (tr + 1).
48
Exerccio: Escolha alguns nmeros e descubra quantos e quais so os seus divisores. Quando temos trs ou menos fatores podemos utilizar uma forma grca para visualizar a composio dos divisores. o que chamamos de reticulado. Exemplicaremos com os divisores de 450 = 232 52 .
450 = 2 X 32 X 52 450 150 50 75 25 225 10 30 6 2 15 5 1 3 9 90 18 45 3 2 5
Observe que a cada fator corresponde uma direo - caminhando sobre essa direo multiplicamos ou dividimos pelo fator correspondente. Exerccio
1. Construa o reticulado de 180. Em que ele se parece com o de 450 ?
SEC. 1.7: UM TEMA AVANADO: NMEROS PERFEITOS
49
2. Construa os reticulados de 36, de 72 e de 108. O que voc observa ?
1.7
Um Tema Avanado: Nmeros Perfeitos
Um nmero inteiro perfeito quando a soma de seus divisores prprios (isto , excluindo o prprio nmero) igual ao nmero. Uma forma equivalente de denir dizer que um nmero inteiro n perfeito quando a soma de seus divisores 2 n. O menor nmero perfeito conhecido 6. De fato, D6 = {1, 2, 3, 6} e 1 + 2 + 3 = 6 . O prximo 28 (conrme !). 2t1 Uma forma conhecida de formar nmeros perfeitos calcular (2t 1), desde que 2t 1 seja primo.
Exemplos: 1. Se t = 3, 22 (23 1) = 4 7 = 28 que um nmero perfeito. Note que 7 um nmero primo. 2. Se t = 4 ,23 (24 1) = 8 15 = 120 que no um nmero perfeito. Note que 15 no um nmero primo. Euler provou que todo nmero perfeito par da forma 2t1 (2t 1) com (2t 1) primo. No se sabe ainda se existe algum nmero perfeito mpar. No apresentamos a demonstrao de Euler, mas vamos mostrar que, de fato, 2t1 (2t 1) perfeito, desde que 2t 1 seja primo.
50
Para isso precisaremos mostrar inicialmente que 20 + 21 + 22 + + 2t1 = 2t 1. No 2o grau isto feito por diviso de polinmios. Aqui faremos por induo: verdade para t = 1, pois 211 = 20 = 1 = 21 1. Se verdade para t, temos 20 + 21 + 22 + + 2t1 = 2t 1. Ento 20 + 21 + 22 + + 2t1 + 2t = 2t 1 + 2t = 2 2t 1 = 2t+1 1. Logo, verdade para t + 1. Vamos nossa frmula. Seja n = 2t1 (2t 1) Se 2t 1 um nmero primo (digamos p) os divisores de n so: Dn = {1, 2, 4 . . . 2t1 } {1 p, 2 p, 4 p, . . . , 2t1 p}. A soma dos elementos do primeiro conjunto 2t 1 e a dos elementos do segundo conjunto p (2t 1). Somando tudo: (2t 1) + p (2t 1) = (2t 1) (p + 1). Como p = 2t 1 , p + 1 = 2t = 2 2t1 e a nossa soma ca: (2t 1) (p + 1) = (2t 1) 2 2t1 = 2 2t1 (2t 1) Isto , a soma dos divisores de n o dobro de n. Logo n um nmero perfeito.
SEC. 1.8: MAIOR DIVISOR COMUM
51
Ateno: A ressalva de que (2t 1) seja primo no nada inocente ! Na verdade, no to fcil assim encontrar primos desta forma. Eles so chamados primos de Mersenne em homenagem a Marin Mersenne (1588-1648) embora outros matemticos j tivessem trabalhado com estes nmeros anteriormente. Para se ter uma idia das diculdades, at 2006 s haviam sido conrmados 44 primos de Mersenne, sendo que esse 44o nmero primo 232582657 1. Esse nmero tem 9808358 dgitos ! S para exemplicar, o 12o primo de Mersenne 170141183460469231731687303715884105727.
1.8
Maior Divisor Comum
Uma das principais utilizaes da decomposio em nmeros primos a determinao do maior divisor comum (mdc) e do menor mltiplo comum (mmc). Vamos supor que temos que remeter duas encomendas de sabonete para dois compradores diferentes. Um pediu 420 sabonetes e outro 480 sabonetes. Queremos fazer uma embalagem que sirva para os dois compradores. Estamos procurando um nmero de sabonetes que seja divisor (ou fator) de 420, mas tambm seja um divisor (fator) de 480. Isto : um fator comum (ou divisor comum) de 420 e 480. Isso fcil, basta usar embalagens de 10 sabonetes (10 um fator de 420 e de 480). O primeiro comprador receberia 42 embalagens e o segundo 48 embalagens.
52
Mas gostaramos de usar poucas embalagens, ou melhor de colocar mais sabonetes em cada embalagem. Ento no queremos apenas um divisor comum, queremos o maior divisor comum. Vamos usar a decomposio para isso. 420 = 22 3 5 7 480 = 25 3 5. Quais os fatores comuns ? 2, 3 e 5. Porm, o 2 pode ser usado duas vezes, pois em ambos os nmeros ele aparece duas vezes. Embora ele aparea mais vezes como fator de 480, s podemos utiliz-lo duas vezes, o nmero de vezes que o 2 aparece como fator no 420. Enm, o maior divisor que podemos obter ser: mdc(420; 480) = 22 3 5 = 60. De fato, 60 fator de 420 e de 480, e no possvel haver um fator maior. Podemos fazer embalagens com 60 sabonetes: o primeiro comprador receber 7 embalagens e o segundo 8 embalagens. Note que 7 o quociente que obtemos ao dividirmos 420 por 22 3 5 e que 8 = 23 o quociente que obtemos ao dividir 480 por 22 3 5. Exemplos: 1. Calcular mdc(30; 45). 30 = 2 3 5 45 = 32 5 Tomando os fatores comuns, temos mdc(30; 45) = 3 5 = 15.
SEC. 1.8: MAIOR DIVISOR COMUM
53
2. Podemos calcular o mdc de mais de dois nmeros simultaneamente: mdc(84; 72; 180) 84 = 22 3 7 72 = 23 32 180 = 22 32 5 mdc(84; 72; 180) = 22 3 = 12. 3. mdc(16; 45) 16 = 24 e 45 = 32 5 No h fator comum a no ser o 1. mdc(16; 45) = 1. Observao. Neste caso, dizemos que 16 e 45 so primos entre si.
Exerccios 1. Calcular : (a) mdc(49; 84) (b) mdc(36; 60; 72) (c) mdc(8; 32; 128) (d) mdc(13; 39; 21) (e) mdc(45; 135; 81) (f) mdc(343; 91; 169) (g) mdc(7; 11; 13) (h) mdc(1800; 2700; 4500) (i) mdc(1001; 1002) (j) mdc(1001; 1078)
2. Observe o reticulado do 450 (da seo anterior). Onde est o mdc(50, 90) ? e o mdc(75, 90)? O que voc pode concluir ?
54
Est tudo muito bem, mas nem sempre fcil fatorar um nmero. Tente fatorar, por exemplo, os nmeros a seguir: 102209, 102229, 102233, 102989, 107533, 107581, 107659, 107671, 107759 e 107687. (Uma pista: Cinco so primos, cinco so compostos.)
1.9
Algoritmo de Euclides
Espero que voc tenha se convencido de que s vezes (quase sempre) pode ser complicado encontrar uma decomposio em fatores primos. Mas a nossa boa e velha equao de Euclides (equao (1.1)) nos d uma outra forma de calcular o mdc entre dois nmeros. Vamos supor que quero encontrar o mdc(168; 49). A equao de Euclides (equao (1.1)) nos diz que 168 = 49 3 + 21. Ora, estou procurando um divisor comum de 168 e de 49. A equao acima mostra que ele ter que ser tambm um divisor de 21. Pela mesma equao um divisor comum de 21 e 49 deve obrigatoriamente ser divisor de 168. Resumindo, os divisores comuns de 168 e de 49 so os mesmos divisores comuns de 21 e 49. Ento, posso encontrar o mdc de 168 e 49 procurando o mdc de 49 e 21. Mas 49 = 21 2 + 7.
SEC. 1.9: ALGORITMO DE EUCLIDES
55
Pelo mesmo raciocnio posso procurar o mdc(21; 7). Mas 21 = 7 3, sem resto. Logo, 7 divide 21, isto mdc(7; 21) = 7. Voltando passo a passo, mdc(21; 49) = 7, e nalmente mdc(168; 49) = 7. O procedimento acima permite encontrar o mdc de nmeros grandes sem o uso da decomposio. Exemplos: 1. mdc(4873; 275) 4873 = 17 275 com resto 198 275 = 1 198 com resto 77 198 = 2 77 com resto 44 77 = 1 44 com resto 33 44 = 1 33 com resto 11 33 = 3 11 sem resto mdc(4873; 275) = 11 2. Esse procedimento chamado algoritmo de Euclides para determinao do mdc. Ele pode ser apresentado de uma forma grca: Quociente 4873 Resto 17 275 198 1 198 77 2 77 44 1 44 33 1 33 11 3 11 0
Note que o quociente no nos interessa neste algoritmo. Basta o resto.
56
Exerccio 1. Calcular, usando o algoritmo de Euclides: (a) mdc(1176; 471) (b) mdc(57; 36) (c) mdc(175; 98) (d) mdc(2536; 938) (e) mdc(12578; 6248) (f) mdc(1589; 3584)
1.10
Menor Mltiplo Comum
Outra utilizao da decomposio em nmeros primos a determinao do menor mltiplo comum. Vejamos um exemplo. Trs amigos passeiam de bicicleta, na mesma direo, em torno de uma pista circular. Para dar uma volta completa um deles demora 15 minutos, outro demora 18 minutos e o terceiro demora 21 minutos. Eles partem juntos e combinam interromper o passeio quando os trs se encontrarem pela primeira vez no ponto de partida. J que eles vo dar voltas completas, o tempo gasto ser mltiplo de 15 minutos, por causa do primeiro amigo. Ser tambm um mltiplo de 18 e de 21 por causa dos outros amigos. Procuramos, portanto
SEC. 1.10: MENOR MLTIPLO COMUM
57
um mltiplo comum. No h problema em conseguir um mltiplo comum de 15, 18 e 21; basta multiplic-los: 15 18 21 = 5670. Mas o que queremos saber a primeira vez que todos se encontram no ponto de partida, queremos o menor mltiplo comum. Vamos examinar as decomposies: 15 = 3 5; um mltiplo de 15 deve ter 3 e 5 como fatores. 18 = 2 32 ; um mltiplo de 18 deve ter 2 e 32 como fatores. 21 = 3 7; um mltiplo de 21 deve ter 3 e 7 como fatores. Um mltiplo comum de 15, 18 e 21 deve ter esse fatores todos (2,3,5 e 7), mas podemos economizar fatores: a potncia mais alta de 2 que precisamos 21 a potncia mais alta de 3 que precisamos 32 a potncia mais alta de 5 que precisamos 51 a potncia mais alta de 7 que precisamos 71 Resumindo, o menor mltiplo comum de 15, 18 e 21 : mmc(15; 18; 21) = 21 32 51 71 = 630. Os trs amigos se encontraro na linha de partida depois de 630 minutos. Isso quer dizer que eles vo pedalar durante 10 horas e meia! ou eles so muito bons na bicicleta ou alguma coisa est errada nos dados do problema !
58
Isso acontece com freqncia nos livros de Matemtica. A gente se preocupa com a Matemtica e esquece do bom senso . . . O mais correto seria pensar em uma pista rpida, e que os amigos zessem o contorno em 15, 18 e 21 segundos. Assim, a soluo nos daria um tempo de 630 segundos, isto , 10 minutos e meio. Agora sim . . .
Exemplos: 1. mmc(25; 15; 9) 9 = 32 ; 15 = 3 5; 25 = 52 mmc(25; 15; 9) = 32 52 = 225 2. mmc(16; 27) 16 = 24 27 = 33 mmc(16; 27) = 24 33 = 432 Note que os nmeros no tem fatores comuns, logo o mmc o produto dos dois nmeros. 3. mmc(6; 8; 24) 6= 23 8 = 23 24 = 23 3 = 24 Note que 24 mltiplo de 6 e de 8, logo ele mesmo o menor mltiplo comum.
59
Exerccio Calcular: (a) mmc(49; 84) (b) mmc(36; 60; 72) (c) mmc(8; 32; 128) (d) mmc(13; 39; 21) (e) mmc(45; 135; 81) (f) mmc(7; 11; 13) (g) mmc(343; 91; 169) (h) mmc(1800; 2700; 4500) (i) mmc(1001; 1002) (j) mmc(1001; 1078)
O algoritmo de Euclides, que utilizamos para calcular o mdc de dois nmeros, pode ser utilizado para calcular o mmc se lanarmos mo do seguinte fato. Fato 5: Dados dois nmeros naturais, seu produto igual ao produto do seu mmc pelo seu mdc.
Exemplos: 1. 12 e 18. mdc(12; 18) = 6 mmc(12; 18) = 36 36 6 = 216 12 18 = 216. No faremos uma prova formal deste fato. observar o que acontece neste caso: 12 = 22 3 18 = 2 32 Mas vamos
60
Usamos as maiores potncias para o mmc e as menores para o mdc. Assim mdc(12; 18) = 2 3 e mmc(12; 18) = 22 32 . Observe que todas as potncias foram usadas uma e s uma vez. Isso explica o Fato 5. Se um dos nmeros no tiver uma das potncias colocamos potncia 0 (todo nmero elevado a 0 igual a 1). 2. 45 e 21. 21 = 31 50 71 45 = 32 51 70 mdc(21; 45) = 31 50 70 = 3 1 1 = 3 mmc(21; 45) = 32 51 71 = 9 5 7 = 315 Outra vez, todas as potncias foram usadas uma e s uma vez. 21 45 = 3 315 = 945. Ateno: Esta propriedade s vale para dois nmeros. Para trs ou mais nmeros ela pode falhar. Veja: Tomemos os nmeros 6, 8 e 12. Temos: mdc(6; 8; 12) = 2 mmc(6; 8; 12) = 24 Mas 6 8 12 = 576 e 2 24 = 48. Os valores so bem diferentes.
Exemplo: 1. Calcule o mmc(4873; 275). Agora sabemos que 4873 275 = mmc mdc.
61
J calculamos antes o mdc(4873; 275) = 11
Quociente 4873 Resto
17 275 198
1 198 77
2 77 44
1 44 33
1 33 11
3 11 0
Temos: 4873 275 = mmc 11 1340075 = 11 mmc mmc = 1340075 : 11 = 121825
Exerccio 1. Calcular usando o algoritmo de Euclides e o Fato 5: (a) mmc(1176; 471) (b) mmc(57; 36) (c) mmc(175; 98) (d) mmc(2536; 938) (e) mmc(12578; 6248) (f) mmc(1589; 3584) 2. Observe o reticulado do 450 (da seo anterior). Onde est o mmc(5, 9) ? e o mmc(5, 18). O que voc pode concluir ?
62
1.11
Um Truque de Divisibilidade
Pense num nmero de 3 algarismos (por exemplo 347). Escreva-o duas vezes formando um nmero de 6 algarismos (no nosso exemplo 347 347). Divida esse nmero por 13. (no nosso exemplo, o resultado 26719). Divida esse nmero por 11. (no nosso exemplo, o resultado 2429). Divida esse nmero por 7. (no nosso exemplo, o resultado . . . 347). Experimente com seu nmero agora. Voc ver que: As divises so exatas e o nmero nal o que voc escolheu. Por que isto acontece? Bem, se zemos divises exatas e obtivemos o mesmo nmero, porque o nmero duplicado mltiplo do nmero original. O que zemos? 327 327 a mesma coisa que 1000 327 + 327. Ou melhor: 327 327 = 327 1001. Voc j fatorou o 1001 num exerccio anterior: 1001 = 7 11 13 Est explicado o mistrio. Ao duplicar o nmero (sempre de 3 algarismos), voc multiplicou o nmero por 7, por 11 e por 13. Uma variao deste truque usar um nmero de dois algarismos mas colocando um zero na duplicao:
SEC. 1.12: UMA APLICAO GEOMTRICA
63
35 35035 35035 : 13 = 2695 2695 : 11 = 245 245 : 7 = 35
1.12
Uma Aplicao Geomtrica
Um retngulo de lados inteiros 6 e 10 dividido em quadrados de lado 1. Um raio de luz entra no retngulo por um dos vrtices, na direo da bissetriz do ngulo reto, e reetido sucessivamente nos lados do retngulo. Quantos quadrados so atravessados pelo raio de luz? Observe que seja qual for o trajeto, o raio deve atravessar um mltiplo de 6 quadrados, cada vez que vai do lado de baixo at o
64
lado de cima, ou de cima para baixo (mesmo ricocheteando). Isso tambm verdade para os trajetos que vo de um lado para outro, s que a deve ser um mltiplo de 10 quadrados. Na primeira vez que o raio atinge um vrtice (depois da entrada) ele percorreu um nmero de quadrados mltiplo de 10 e de 6, na verdade o menor mltiplo comum pois a primeira vez que isso acontece. Como mmc(10; 6) = 30, o raio percorreu 30 quadrados. Observao. Para que essa soluo esteja correta temos que garantir que o raio de luz no passe pelo mesmo quadrado duas vezes. Uma forma de ver isto colorir os quadrados alternadamente, como no tabuleiro de jogo de damas. Observe que o raio atravessa quadrados de mesma cor at reetir, quando ento passa a atravessar quadrados da outra cor. Assim, raios paralelos passam por quadrados da mesma cor e raios perpendiculares passam por quadrados de cores diferentes. Se o raio de luz passar pelo centro de uma casa anteriormenete visitada haveria dois raios perpendiculares passando por casas da mesma cor, o que j vimos que no pode acontecer.
SEC. 1.12: UMA APLICAO GEOMTRICA
65
Pergunta 1: Se eu quiser que o raio atravesse todos os quadrados, que dimenses deve ter o meu retngulo?
Pergunta 2: Se eu quiser que o raio atravesse o retngulo sem ricochetear, que dimenses deve ter o meu retngulo?
Uma outra forma de visualizar o problema pavimentar o plano com cpias do retngulo (veja gura adiante). Fica bastante aparente que tenho que percorrer 3 vezes a largura (3 10 = 30) e 5 vezes a altura (5 6 = 30) do retngulo.
66
Esta visualizao d uma pista para responder pergunta 2 acima. 30
30
10
10
10
Captulo 2
Aritmtica Modular
Uma Introduo Passo a Passo
Os conceitos de divisibilidade, mdc e mmc que acabamos de ver podem parecer bem simples, mas so a semente de uma parte muito interessante da Matemtica. Vamos abordar algumas idias atravs de questes e respostas, passo a passo. A tabela da pgina seguinte mostra os nmeros naturais (e o zero) at 115 colocados em determinada ordem. Voc acha que todos os nmeros naturais poderiam entrar nesta tabela? (Se tivssemos papel e tempo suciente, claro).
67
68 0 4 8 12 16 20 24 28 32 36 40 44 48 52 56 60 64 68 72 76 80 84 88 92 96 100 104 108 112 1 5 9 13 17 21 25 29 33 37 41 45 49 53 57 61 65 69 73 77 81 85 89 93 97 101 105 109 113 2 6 10 14 18 22 26 30 34 38 42 46 50 54 58 62 66 70 74 78 82 86 90 94 98 102 106 110 114
CAP. 2: ARITMTICA MODULAR
3 7 11 15 19 23 27 31 35 39 43 47 51 55 59 63 67 71 75 79 83 87 91 95 99 103 107 111 115
Tabela 1
69 1.1. Em que coluna voc colocaria: (a) o nmero 116 ? (b) o nmero 117 ? (c) o nmero 119 ? (d) o nmero 200 ? (e) o nmero 223 ? (f) o nmero 15792732 ? (g) o nmero 1359735 ? 1.2. Nessa tabela qual o nmero que ca: (a) imediatamente abaixo do nmero 53 ? (b) imediatamente acima do nmero 107 ? (c) imediatamente abaixo do nmero 563 ? (d) imediatamente acima do nmero 107 ? (e) imediatamente acima do nmero 15792732 ? (f) imediatamente abaixo do nmero 15792732 ? (g) 5 linhas abaixo do nmero 114 (mas na mesma coluna)? (h) 5 linhas acima do nmero 1421 (mas na mesma coluna)? 1.3. Como voc descreveria os nmeros da coluna do 0 ? 1.4. Se voc somar dois nmeros quaisquer da coluna do 0, em que coluna vai cair o resultado? 1.5. Observe que a tabela apresentada pode ser considerada como uma tabuada. Se quisermos saber a soma de 84 + 3 basta
70
encontrar o nmero que est na linha do 84 e na coluna do 3, isto, 87. 1.6. Na questo 1.3 voc deu uma descrio da primeira coluna: so os mltiplos naturais de 4 (lembre-se que estamos incluindo o 0). Podemos escrever isso em Matematiquez: O conjunto dos nmeros da forma 4n, onde n um nmero natural ou ainda {4 n | n N}. Se quisermos descrever os nmeros da segunda coluna (a coluna do 1) podemos escrever: O conjunto dos nmeros naturais que, quando divididos por 4, do resto 1 ou O conjunto dos nmeros da forma 4 n + 1, onde n N ou ainda {4 n + 1 | n N} Observao. Voc deve ter notado que passamos a usar a notao de ponto para indicar a multiplicao. Isso se deve a que agora estamos indicando multiplicao entre smbolos literais (letras), em que o smbolo poderia gerar confuso. Para indicar a multiplicao entre nmeros continuaremos a usar , pois o ponto poderia nos confundir - embora usemos vrgulas para nmeros decimais menores do que 1 as mquinas de calcular que usamos utilizam o ponto.
71 1.7. Como voc descreveria os elementos da coluna embaixo do 2? 1.8. E da coluna embaixo do 3 ? 1.9. Se voc escolher dois nmeros da coluna do 3 e subtrair o menor do maior, em que coluna estar a diferena ? 1.10. Se voc escolher dois nmeros da coluna do 2 e subtrair o menor do maior, em que coluna estar a diferena ? 1.11. Como voc escreveria um resultado geral que se aplique a pares que esto na mesma coluna? 1.12. Se voc escolher dois nmeros da coluna do 3, em que coluna estar a soma desses nmeros? 1.13. Se voc escolher um nmero da coluna do 2 e um nmero da coluna do 3, em que coluna estar a soma desses nmeros?
Vamos organizar uma tabela de adio. Algumas casas esto preenchidas, outras caram para voc:
72
+ mod4 nmeros na coluna do 0 nmeros na coluna do 1 nmeros na coluna do 2 nmeros na coluna do 3 nmeros na coluna do 0 nmeros na coluna do 1
nmeros na coluna do 2
nmeros na coluna do 3
nmeros na coluna do 2 nmeros na coluna do 0 nmeros na coluna do 1
Tabela 2 Essa tabela chamada de adio mdulo 4, ou soma mdulo 4. Quando dois nmeros tm o mesmo resto quando divididos por 4, dizemos que eles so congruentes mdulo 4. Os nmeros congruentes mdulo 4 so aqueles que esto na mesma coluna da tabela 1. Em geral, escrevemos 47 43 mod 4. Isto quer dizer que o resto de 47 : 4 o mesmo de 43 : 4. Usando a questo 1.11 podemos escrever: 47 43 mod 4 o mesmo que dizer que: 47 43 mltiplo de 4.
Exemplo: Mostre que 107 83 mod 4. Soluo: 107 83 = 24 e 24 mltiplo de 4.
73
Agora experimente voc: 2.1. Mostre que 158 126 mod 4. 2.2. Mostre que 113 77 mod 4. 2.3. Mostre que 15107 34803 mod 4. 2.4. Mostre que 99999 55555 mod 4. 2.5. Mostre que 15807 4575 mod 4.
Outra forma de escrever a tabela acima (voc completa o resto): mod4 0 1 2 3 0 1

+
Para que o tracinho em cima dos nmeros? Note que no estamos falando do nmero 1 mas de qualquer nmero que esteja na coluna do 1 na tabela do mdulo 4. A soma tambm no a soma que estamos acostumados. Depois de somarmos temos que vericar em que coluna estar o resultado.
74 Exemplo: 473 + 486 473 1 mod 4 486 2 mod 4 473 + 486 = 959 3 mod 4 O resultado estar na coluna do 3.
A tabela adiante tem 5 colunas (e no 4 como a tabela 1). Voc conseguiria fazer uma tabela semelhante quela que zemos para a primeira tabela (tabela 2)? 0 5 10 15 20 25 30 35 40 45 50 55 60 65 1 6 11 16 21 26 31 36 41 46 51 56 61 66 2 7 12 17 22 27 32 37 42 47 52 57 62 67 3 8 13 18 23 28 33 38 43 48 53 58 63 68 4 9 14 19 24 29 34 39 44 49 54 59 64 69
Tabela 3
75 Exemplo: Mostre que 107 82 mod 5. Soluo: 107 82 = 25 e 25 mltiplo de 5.
Experimente voc: 3.1. Mostre que 158 123 mod 5. 3.2. Mostre que 112 77 mod 5. 3.3. Mostre que 1510 34805 mod 5. 3.4. Mostre que 12380 55555 mod 5. 3.5. Mostre que 15801 4576 mod 5. Observao. A esta altura dos acontecimentos voc j percebeu que podemos fazer tabelas para todos os nmeros naturais. Na tabela 1, escrevemos os nmeros de 4 em 4. Mostramos que todos os nmeros naturais podem ser escritos na forma: 4 n ou 4 n + 1 ou 4 n + 2 ou 4 n + 3 em que n N. Na tabela 3, vimos que todos os naturais podem ser escritos na forma: 5 n ou 5 n + 1 ou 5 n + 2 ou 5 n + 3 ou 5 n + 4 em que n N.
76
Baseado no que foi feito at agora, responda: 1. Se tomassemos uma tabela que tivesse 7 colunas, at que nmero iria a primeira linha? 2. Em que coluna estaria o nmero 48? 3. Em que coluna estaria o nmero 1001? 4. Que formas essa tabela nos sugeriria para escrever os nmeros naturais (como na observao acima) ? At agora s trabalhamos com os nmeros naturais e inclumos o zero. Ser que poderamos estender nossa tabela para os nmeros negativos? 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 4 8 12 16 20 24 28 1 5 9 13 17 21 25 29 2 6 10 14 18 22 26 30 3 7 11 15 19 23 27 31
Tabela 4
77 A tabela 4 mostra que isto possvel. Acabamos de estender a tabela 1 para trs e agora no temos s nmeros naturais - podemos perceber que poderemos incluir nesta tabela todos os nmeros inteiros, positivos, 0 e negativos. Estamos lidando com o conjunto dos nmeros inteiros, o conjunto Z. Quais os nmeros que esto na coluna do 0? Ainda so os mltiplos de 4. Mas a diviso que trabalhamos at agora no deixa resto negativo, lembre-se da equao de Euclides (a nossa equao (1.1)):
D =dq+r onde:
r<d
d>0
D, d, q, r N {0},
D o dividendo; d o divisor (que deve ser diferente de 0); q o quociente; r o resto (que deve ser menor que d). Entretanto, ainda podemos falar em mdulo d ! Exemplos: 1. 34 14 mod 4, pois 34 (14) = 34+ 14 = 48 e 48 mltiplo de 4. 2. 9 33 mod 4, pois 9 (33) = 9 + 33 = 24 e 24 mltiplo de 4.
78 Agora com voc. 4.1. Mostre que 36 36 mod 4. 4.2. Mostre que 34 +14 mod 4. 4.3. Mostre que 334 714 mod 4. 4.4. Mostre que 45 35 mod 4. 4.5. Mostre que 31 17 mod 4. 4.6. Mostre que 31 1017 mod 4.
Observe que, na tabela 4, o nmero 3 e o nmero 3 esto em colunas diferentes, mas os nmeros 22 e 22 esto na mesma coluna; isso mostra que devemos ter cuidado - as situaes variam de tabela para tabela. Uma forma simples de localizar nmeros negativos na tabela usar um artifcio conhecido, somar o divisor, no caso 4. Exemplo: Em que coluna estar o nmero 1437 ? Soluo: Se fosse 1436 a resposta seria fcil: na coluna do 0 pois 1436 mltiplo de 4. Se aceitarmos que o resto possa ser negativo, desde que no que maior do que 3, poderemos escrever uma equao parecida com a equao (1.1) que chamaremos de equao (2.1):
79
D = d q + r,
d < r < d,
d > 0;
D, q, r Z,
d N (2.1)
Repare que os nmeros D, q e r agora podem ser negativos, d continuar sendo positivo (por convenincia) e o resto r pode ir de d a d . No nosso exemplo, 1437 = 4 (359) 1, o que nos d resto igual a 1. Para saber em que coluna 1437 estar, basta somar 4 ao seu resto. Assim, como 1 estar na coluna (1) + 4 = 3 segue que 1437 tambm estar na coluna do 3.
Agora com voc. Em que coluna da tabela do mdulo 4 (tabela 4) se encontra: 4.7. o nmero 147 ? 4.8. o nmero 1487 ? 4.9. o nmero 140 ? 4.10. o nmero 473 ? 4.11. o nmero 4732 ? Observao. Note que, ao aceitarmos valores negativos para r perdemos a unicidade. De fato, agora temos a possibilidade de um resto positivo e um resto negativo. Isso no um problema, na verdade isso necessrio para podermos localizar os nmeros negativos na nossa tabela.
80
Vamos estender a tabela do mdulo 5 (tabela 3)?
10 9 8 7 6 5 4 3 2 1 0 5 10 15 1 6 11 16 2 7 12 17 3 8 13 18 4 9 14 19
Tabela 5 Em que coluna da tabela 5 voc colocaria: 5.1. o nmero 147 ? 5.2. o nmero 1487 ? 5.3. o nmero 140 ? 5.4. o nmero 473 ? 5.5. o nmero 4732 ?
81
Vamos estender a tabela do mdulo 7 ?
14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 7 14 1 8 15 2 9 16 3 10 17 4 11 18 5 12 19 6 13 20
Tabela 6 Estenda a tabela nos dois sentidos (positivo e negativo). Em que coluna da tabela 6 se encontra: 6.1. o nmero 147 ? 6.2. o nmero 1487 ? 6.3. o nmero 140 ? 6.4. o nmero 473 ?
82 6.5. o nmero 4732 ?
At agora nos aproveitamos do fato de que dois nmeros na mesma coluna tm a mesma forma. Por exemplo, na tabela 1: 473 ca na coluna do 1, pois da forma 4 118 + 1. 1013 tambm ca na coluna do 1, pois da forma 4 253 + 1. Os dois so da forma 4 n + 1. Se subtramos dois nmeros desta forma temos: (4a + 1) (4b + 1) = 4a + 1 4b 1 = 4(a b) que ser sempre um mltiplo de 4. A soma tambm se comportou bem, pois os nmeros esto sendo representados pelo resto da diviso por 4. Por exemplo: 473 = 4 118 + 1 473 ca na coluna do 1 473 representado pelo 1. 1027 = 4 256 + 3 1027 ca na coluna do 3 1027 representado pelo 3. A soma 473 + 1027 car na coluna do 0, pois na tabela que construmos: 1+3 = 0 Vamos tentar estender nossas idias para a multiplicao modular. Usaremos uma pequena poro da tabela 1.
83 0 4 8 12 16 20 1 5 9 13 17 21 2 6 10 14 18 22 3 7 11 15 19 23
Tabela 7 7.1. Escolha um nmero da coluna do 1 e outro da coluna do 3. Multiplique estes dois nmeros. Em que coluna caiu o produto? Exemplo: 9 7 = 63; 63 = 4 15 + 3. 63 est na coluna do 3, pois
7.2. Repita a experincia. O produto cai sempre na mesma coluna? 7.3. Experimente pegar dois nmeros da coluna do 3. Em que coluna cai o produto? Repita a experincia. Se voc fez as contas direito reparou que nos itens 7.1 e 7.2 o resultado cai na coluna do 3. Nenhuma surpresa, pois 1 3 = 3. J no item 7.3, os produtos recaem na coluna do 1. Como 3 3 = 9 e 9 1 mod 4, podemos desconar que a multiplicao tambm vai se comportar direitinho na nossa aritmtica dos mdulos. Em vez de desconar, vamos demonstrar. Vamos primeiro ver um caso simples. Vamos escolher um nmero da coluna do 2 e um nmero da coluna do 3. Eles podem ser escritos
84 como:
4 a + 2 e 4 b + 3. O seu produto
(4 a + 2) (4 b + 3) = 16 a b + 12 a + 8 b + 6
Observe que os termos literais (que contm letras) so todos mltiplos de 4. Resta-nos o 6, que est na coluna do 2, pois 6 2 mod 4. Podemos fazer o mesmo raciocnio para todos os nmeros e fabricar uma tabuada de multiplicao mdulo 4.
mod4 0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
Tabela 8 Voc pode usar a tabela do mdulo 5 (tabela 3) para fabricar a tabuada de multiplicao mdulo 5. J colocamos alguns resultados, voc preenche o resto.
85 mod5 0 1 2 3 4 3 4 Tabela 9 2 1 1
0 0
1 0
Exerccios 1. Fabrique a tabela do 7. 2. Fabrique a tabuada de adio mdulo 7. 3. Fabrique a tabuada de multiplicao mdulo 7. Nos exemplos a seguir, veremos casos em que se aplicam as tabuadas e outros em que seu uso no necessrio. Exemplos: 1. Qual o resto de 712 : 4 ? Soluo: Poderamos calcular 712 = 13841287201 e vericar que o resto 1; mas podemos fazer de forma mais simples.
86
7 3 mod 4, ento podemos trabalhar com 312 . 312 = 3 3 3 3 3 3 3 3 3 3 3 3 Mas olhando a tabuada de multiplicao mdulo 4, vericamos que 3 3 1 mod 4. Chegamos concluso que 712 1 1 1 1 1 1 mod 4, isto , 712 1 mod 4. O resto de 712 : 4 1. 2. Qual o resto de 415 : 7 ? Soluo: Se voc fez a tabuada de multiplicao mdulo 7 podemos calcular: 42 2 mod 7, 43 2 4 mod 7 8 mod 7 1 mod 7, 5 415 = 43 15 mod 7 1 mod 7. O resto de 415 : 7 1.
No precisaremos sempre formar a tabuada.
3. Qual o resto de 730 : 11 ? Soluo: Vamos calcular passo-a-passo: 72 = 49 5 mod 11 (pois 49 = 4 11 + 5) 74 52 mod 11 25 mod 11 3 mod 11 78 32 mod 11 9 mod 11 716 92 mod 11 81 mod 11 4 mod 11 730 = 7(16+8+4+2) = 716 78 74 72 4 9 3 5 mod 11
87 730 36 15 mod 11 3 4 mod 11 12 mod 11 1 mod 11 O resto de 730 : 11 1.
4. Mostre que 41 divide 220 1. (Sugesto: prove que 220 1 mod 41.) Soluo(uma delas): 210 = 1024 40 mod 41. Mas 40 1 mod 41 220 = 210 210 (1) (1) mod 41 1 mod 41. Como 220 1 mod 41 220 1 mltiplo de 41.
Exerccios
1. Diga se Verdadeiro ou Falso: (a) 19 7 mod 2. (b) 52 18 mod 10. (c) 1213 212 mod 13. 2. Se 1066 1776 mod m, quais so os possveis valores de m? 3. Ache todos os inteiros x, tais que 0 < x < 15 e 3 x 6 mod 15. 4. D todos os inteiros positivos x menores que 100, tais que x 8 mod 13.
88 5. Ache o resto da diviso 250 : 7.
6. Mostre que 89 divide 244 1. (Sugesto: Prove que 244 1 mod 89.)
Captulo 3
Material Complementar
A seqncia de Fibonacci
A seqncia de Fibonacci : 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, . . . isto , cada termo igual soma dos dois anteriores (com exceo dos dois primeiros que so iguais a 1). Costumamos simbolizar os termos desta seqncia por Fn . Por exemplo, F1 = 1 e F7 = 13. A formao da seqncia pode ser expressa por: Fn = Fn1 + Fn2 , n Z.
89
90
CAP. 3: MATERIAL COMPLEMENTAR
Exerccios Resolvidos
1. Mostre que dois termos seguidos da seqncia de Fibonacci so primos entre si, i.., mdc(Fn , Fn1 ) = 1. Demonstrao: Utilizando o algoritmo de Euclides obtemos a seguinte seqncia: Fn = Fn1 + Fn2 onde Fn2 o resto; Fn1 = Fn2 + Fn3 onde Fn3 o resto; . . . e assim por diante. Por induo, esta seqncia terminar com resto 1.
Por exemplo, calculando o mdc(89, 55): 89 = 55 + 34 55 = 34 + 21 34 = 21 + 13 21 = 13 + 8 13 = 8 + 5 8 = 5+3 5 = 3+2 3 = 2+1
91 2. Mostre que dois nmeros alternados da seqncia de Fibonacci so primos entre si, i.., mdc(Fn , Fn2 ) = 1. Demonstrao: Utilizando o algoritmo de Euclides obtemos a seguinte seqncia: Fn = Fn1 + Fn2 Fn = Fn2 + Fn3 + Fn2 Fn = 2 Fn2 + Fn3 onde Fn3 o resto; Fn2 = Fn3 + Fn4 onde Fn3 o resto; . . . e o problema se reduz ao tem anterior.
3. Mostre que F5k mltiplo de 5 para qualquer valor de k. Demonstrao: Queremos mostrar que F5k mltiplo de 5. Usaremos a induo sobre k. Se k = 1, F5k = F5 = 1. Se F5k mltiplo de 5 o que acontece com F5(k+1) = F5k+5 ? F5k+5 = F5k+4 + F5k+3 = F5k+3 + F5k+2 + F5k+2 + F5k+1 F5k+5 = F5k+3 + 2 F5k+2 + F5k+1 F5k+5 = F5k+2 + F5k+1 + 2 F5k+1 + 2 F5k + F5k+1 = F5k+2 + 4 F5k+1 + 2 F5k F5k+5 = F5k+1 + F5k + 4 F5k+1 + 2 F5k = 5 F5k+1 + 2 F5k As duas parcelas direita so mltiplos de 5 (a segunda parcela pela hiptese de induo) logo, F5k mltiplo de 5 para qualquer valor de k.
92
No captulo 2 voc construiu a tabela de multiplicao mdulo 5 (tabela 9):
mod5 0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1
Observe que para obter 0 tivemos que ter 0 como fator. Tambm fabricamos a tabela da multiplicao mdulo 4 (tabela 8): mod4 0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 2
3 0 3 2 1
Voc consegue encontrar um produto que d 0 com os dois fatores diferentes de 0 ? Isto o que chamamos um divisor de 0.
93 Exemplos: 1. Voc encontra divisores de 0 na tabela de multiplicao mdulo 7? Soluo: No h divisores de 0 na tabela de multiplicao mdulo 7. 2. Voc encontra divisores de 0 na tabela de multiplicao mdulo 6? Soluo: Sim, o 2 e o 3. 3. Em que tabelas voc encontra divisores de 0 ? e quem so os divisores 0? Soluo: Encontramos divisores de 0 na tabela de multiplicao mdulo n se e s se n no for primo. Se o nmero n for composto os divisores de 0 so os nmeros m para os quais mdc(m, n) > 1.
A Funo de Euler
Dizemos que um nmero n co-primo com m se mdc(m, n) = 1, isto , se m e n so primos entre si. A funo de Euler conta, para um nmero natural n, os naturais, menores que n e que so co-primos com ele, isto , (n) = {j N; 0 < j < n, mdc(n, j) = 1}.
94
Exemplos: 1. (6) = 2 pois : mdc(1, 6) = 1, mdc(2, 6) = 2, mdc(3, 6) = 3, mdc(4, 6) = 2, mdc(5, 6) = 1. 2. (8) = 4 pois : mdc(1, 8) = 1, mdc(2, 8) = 2, mdc(3, 8) = 1, mdc(4, 8) = 4, mdc(5, 8) = 1, mdc(6, 8) = 2, mdc(7, 8) = 1. 3. Calcule: (a) (1) = (b) (2) = (c) (3) = (d) (4) = (e) (5) = (f) (6) = Soluo: (a) (1) = 1, o conjunto de co-primos {1} (g) (7) = (h) (8) = (i) (9) = (j) (10) = (k) (11) = (l) (12) =
95 (b) (2) = 1, o conjunto de co-primos {1} (c) (3) = 2, o conjunto de co-primos {1; 2} (d) (4) = 2, o conjunto de co-primos {1; 3} (e) (5) = 4, o conjunto de co-primos {1; 2; 3; 4} (f) (6) = 2, o conjunto de co-primos {1; 5} (g) (7) = 6, o conjunto de co-primos {1; 2; 3; 4; 5; 6} (h) (8) = 4, o conjunto de co-primos {1; 3; 5; 7} (i) (9) = 6, o conjunto de co-primos {1; 2; 4; 5; 7; 8} (j) (10) = 4, o conjunto de co-primos {1; 3; 7; 9} (k) (11) = 10, o {1; 2; 3; 4; 5; 6; 7; 8; 9; 10} conjunto de co-primos
(l) (12) = 4, o conjunto de co-primos {1; 5; 7; 11} 4. Quais so os nmeros naturais n para os quais (n) = n 1 ? Soluo: n deve ser primo.
Equaes com Nmeros Inteiros: Diofantinas
Equaes
Vamos agora trabalhar com equaes com nmeros inteiros. Elas so chamadas diofantinas em homenagem a Diophante de Alexandria, matemtico grego que viveu nos meados do sculo III. Diophante considerado como um dos fundadores da lgebra. Escreveu uma obra sobre Aritmtica em 13 volumes e dos quais apenas
96
seis se preservaram. Seus estudos se basearam no uso de smbolos para facilitar a escrita e os clculos matemticos. Os smbolos criados por Diophante zeram com que as expresses, at ento escritas totalmente com palavras, pudessem ser representadas com abreviaes. Procuraremos nmeros inteiros que satisfaam s expresses algbricas. Exemplos: 1. Determine uma soluo inteira da equao: 5X + 3Y = 1 Soluo: Nestes primeiros exemplos, a idia procurar por meio de tentativa e erro. Os primeiros so simples, depois comea a complicar. Existe mais do que uma soluo, logo as respostas devem ser vericadas. Por exemplo X = 1 Y = 2. 2. Determine uma soluo inteira da equao: 17X + 5Y = 4 Soluo:
97 Por exemplo X = 3 Y = 11 3. Determine uma soluo inteira da equao: 3X + 6Y = 4 Soluo: impossvel. O mdc(3, 6) = 3 logo o termo direita tem que ser mltiplo de 3, o que no acontece. 4. Determine uma soluo inteira da equao: 119X + 35Y = 6 Pista: Qual o mdc(119, 35) ? Por que isso importante ? Soluo: impossvel. O mdc(119, 35) = 7 logo o termo direita tem que ser mltiplo de 7, o que no acontece. 5. Determine uma soluo inteira da equao: 119X + 35Y = 14 Soluo: O mdc(119, 35) = 7 e o termo direita mltiplo de 7, logo podemos simplicar para: 17X + 5Y = 2
98 Por exemplo
X=1 Y = 3 6. Suponha que mdc(a, b) no divida o nmero inteiro c. Mostre que a equao: aX + bY = c no admite solues inteiras. Soluo: aX +bY ser sempre mltiplo de mdc(a, b), logo c tambm deve ser, caso contrrio, a equao no tem soluo. Observao. O que vem a seguir depende do entendimento do Algoritmo de Euclides, abordado na apostila 1. Vamos encontrar uma soluo para a equao: 5X + 3Y = 1 Comeamos executando o algoritmo de Euclides (veja o captulo 1). Quociente 5 Resto mdc(5, 3) = 1 Quais foram as etapas ? 1 3 2 1 2 1
99
5 = 13+2 2 = 513 3 = 12+1 1 = 312 Vamos reconstruir o mdc, no caso 1. 1=312 Substituimos o 2 por seu valor na outra equao: 1 = 3 1 2 = 3 1 (5 1 3) O que nos d 1 = 315+13 = 2315 Observe que conseguimos uma soluo inteira para nossa equao ! X = 1 Y =2 De fato 5 (1) + 3 2 = 1. Acabamos de encontrar uma soluo inteira para 5X + 3Y = 1 a saber X = 1 Y =2 Exemplo: Encontre solues para as equaes: Observao. As solues das equaes a seguir se obtm por multiplicao das razes.
100 1. 5X + 3Y = 3 Soluo:
X = 3 Y =6 2. 5X + 3Y = 7 Soluo: X = 7 Y = 14 3. 5X + 3Y = 2 Soluo: X=2 Y = 4 4. 5X + 3Y = 127 Soluo: X = 127 Y = 254 Podemos agora enunciar a seguinte proposio: Proposio. Sejam a,b e c nmeros inteiros diferentes de 0. A equao: aX + bY = c admitir solues inteiras se e s o mdc(a, b) dividir c.
101 Outro exemplo: Determine nmeros X e Y inteiros que satisfaam s equaes (ou mostre que impossvel): 24X + 9Y = 6 Como mdc(24, 9) = 3 e 3 divide 6, a equao ter solues. Mais ainda, a equao equivalente a: 8X + 3Y = 2 Quociente 8 Resto mdc(8, 3) = 1 Quais foram as etapas ? 8 = 23+2 2 = 823 3 = 12+1 1 = 312 Vamos reconstruir o mdc, no caso 1. 1=312 Substituimos o 2 por seu valor na outra equao: 1 = 3 1 2 = 3 1 (8 2 3) O que nos d 1 = 318+23 = 3318 2 3 2 1 2 1
102
Observe que conseguimos uma soluo inteira para a equao: 8X + 3Y = 1 X = 1 Y =3 Mas nossa equao : 8X + 3Y = 2 Fazemos: X = 2 Y =6 De fato, 8 (2) + 6 3 = 2. Exemplos: Determine nmeros X e Y inteiros que satisfaam s equaes (ou mostre que impossvel): 1. 7X + 4Y = 5 Soluo: mdc(4, 7) = 1 Quais foram as etapas ? 7=4+3 4=3+1 Vamos reconstruir o mdc, no caso 1. 1=43
103 Substituimos o 3 por seu valor na outra equao: 1 = 4 (7 4) O que nos d 1 = 2417 Observe que conseguimos uma soluo inteira para a equao: 7X + 4Y = 1 X = 1 Y =2 Mas nossa equao : 7X + 4Y = 5 Fazemos: X = 5 Y = 10 De fato 7 (5) + 10 4 = 5. 2. 8X + 6Y = 12 Soluo: mdc(8, 6) = 2 Quais foram as etapas ?
8=6+2
104
Vamos reconstruir o mdc, no caso 2. 2=86 O que nos d 2 = 1816 Observe que conseguimos uma soluo inteira para a equao: 8X + 6Y = 2 X=1 Y = 1 Mas nossa equao : 8X + 6Y = 12 Fazemos: X=6 Y = 6 De fato 8 (6) + 6 (6) = 12. 3. 8X + 12Y = 18 Soluo: mdc(8, 12) = 4 que no divide 18. Logo a equao no tem soluo. 4. 7X + 3Y = 2 Soluo:
105 mdc(7, 3) = 1 Quais foram as etapas ? 7 = 23+1 Vamos reconstruir o mdc, no caso 2. 1 = 723 Observe que conseguimos uma soluo inteira para a equao: 7X + 3Y = 1 X=1 Y = 2 Mas nossa equao : 7X + 3Y = 2 Fazemos: X=2 Y = 4 De fato 7 (2) + 3 (4) = 2. 5. 8X + 12Y = 16 Soluo: mdc(8, 12) = 4 Quais foram as etapas ?
106
12 = 8 + 4 Vamos reconstruir o mdc, no caso 4. 4 = 12 8 Observe que conseguimos uma soluo inteira para a equao: 8X + 12Y = 4 X = 1 Y =1 Mas nossa equao : 8X + 12Y = 16 Fazemos: X = 4 Y =4 De fato 8 (4) 12 4 = 16. 6. 14X + 24Y = 8 Soluo: mdc(14, 24) = 2 Quais foram as etapas ? 24 = 14 + 10
107 14 = 10 + 4 10 = 2 4 + 2 Vamos reconstruir o mdc, no caso 2. 2 = 10 2 4 2 = 10 2 (14 10) = 3 10 2 14 2 = 3 (24 14) 2 14 = 3 24 5 14 Observe que conseguimos uma soluo inteira para a equao: 14X + 24Y = 2 X = 5 Y =3 Mas nossa equao : 14X + 24Y = 8 Fazemos: X = 20 Y = 12 De fato 14 (20) 24 12 = 8. 7. 15X + 12Y = 20 Soluo: mdc(15, 12) = 3 que no divide 20. Logo a equao no tem soluo.
108 8. 4X + 6Y = 9 Soluo:
mdc(4, 6) = 2 que no divide 9. soluo. 9. 3X + 6Y = 9 Soluo: mdc(3, 6) = 3 Quais foram as etapas ? 6=23
Logo a equao no tem
Vamos reconstruir o mdc, no caso 3. Neste caso a reconstruo extremamente simples: 3=3 Observe que conseguimos uma soluo inteira para a equao: 3X + 6Y = 3 X=1 Y =0 Mas nossa equao : 3X + 6Y = 9 Fazemos: X=3
109 Y =0 De fato 3 (3) + 6 0 = 9. 10. 128X + 64Y = 32 Soluo: mdc(128, 64) = 64 que no divide 32. Logo a equao no tem soluo. 11. 3X + 2Y = 493 Soluo: mdc(3, 2) = 1 Quais foram as etapas ? 3=2+1 Vamos reconstruir o mdc, no caso 2. 1=32 Observe que conseguimos uma soluo inteira para a equao: 3X + 2Y = 1 X=1 Y = 1 Mas nossa equao : 3X + 2Y = 493
110 Fazemos:
X = 493 Y = 493 De fato 3 (493) 2 (493) = 493.
Encontre todas as solues inteiras da equao: 5X + 3Y = 1 Soluo: J temos uma soluo (encontrada em itens anteriores): X = 1 Y =2 Podemos somar e subtrair o mesmo nmero ao lado esquerdo e a equao ser equivalente. Escolherei para somar e subtrair (quem adivinha ?) o mmc(5, 3) = 15. 5X + 15 + 3Y 15 = 1 5(X + 3) + 3(Y 5) = 1 Isso mostra que posso somar/subtrair 3 do valor de X desde que eu subtraia/some 5 ao valor de Y . Por exemplo: X = 1 + 3 = 2 Y = 2 5 = 3
111 tambm soluo da equao original. Vericando: 5(2) + 3(3) = 10 9 = 1 Portanto a soluo geral da equao 5X + 3Y = 1 X = 1 + 3t , t Z. Y = 2 5t
Observao. Podemos nos perguntar se realmente encontramos todas as solues da equao. Isso equivale a perguntar se as solues so todas da forma encontrada. Vamos demonstrar este fato. Se X = x e Y = y uma soluo arbitrria ento 5x + 3y = 1. Como X = 1 e Y = 2 uma soluo particular ento 5 (1) + 3 2 = 0. Como X = 1 e Y = 2 uma soluo particular ento 5(x + 1) + 3(y 2) = 0. Como 5 e 3 so primos entre si, segue-se que 3 divide (x+1). Logo x + 1 = 3t , com t Z, o qual substitudo na igualdade anterior fornece
112
y = 2 5t. Portanto todas as solues da equao 5X + 3Y = 1 so da forma X = 1 + 3t e Y = 2 5t com t Z. Importante: Para obter todas as solues, imprescindvel que a equao seja reduzida, seno a idia de usar o mmc para somar ou subtrair no funcionaria. Por exemplo: 4X + 6Y = 18 Reduzimos para: 2X + 3Y = 9 Uma soluo : X=0 Y =3 Uma soluo geral X = 0+3t, Y = 32t, t Z. Se tivssemos usado a equao sem reduzir teramos obtido erroneamente X = 0 + 6t, Y = 3 4t, t Z. Exemplos: Encontre todas as solues inteiras das equaes: Observao. Utilizaremos as solues obtidas em tens anteriores. 1. 7X + 4Y = 5 Soluo: X = 5 + 4t , t Z. Y = 10 7t
113 2. 8X + 6Y = 12 Soluo: Reduzimos para: 4X + 3Y = 6 Uma soluo : X=6 Y = 6 A soluo geral : X = 6 + 3t , t Z. Y = 6 4t 3. 8X + 12Y = 18 Soluo: mdc(8, 12) = 4 que no divide 18. Logo a equao no tem soluo. 4. 7X + 3Y = 2 Soluo: X = 2 + 3t , t Z. Y = 4 7t 5. 14X + 24Y = 8 Soluo: X = 20 + 12t , t Z. Y = 12 7t 6. 15X + 12Y = 20 Soluo:
114
mdc(15, 21) = 3 que no divide 20. Logo a equao no tem soluo. 7. 7X + 3Y = 2 Soluo: X = 2 + 3t , t Z. Y = 4 7t 8. 4X + 6Y = 9 Soluo: mdc(4, 6) = 2 que no divide 9. soluo. 9. 3X + 6Y = 9 Reduzimos para: X + 2Y = 3 Uma soluo : X=3 Y =0 A soluo geral : X = 3 + 2t , t Z. Y =0t 10. 128X + 64Y = 32 Soluo: mdc(128, 64) = 64 que no divide 32. Logo a equao no tem soluo. Logo a equao no tem
115 11. 3X + 2Y = 493 Soluo: X = 493 + 2t , t Z. Y = 493 3t Vamos agora utilizar o que j sabemos para resolver equaes envolvendo congruncias Encontre os valores de X que tornem verdadeira a equao: 5X 17 mod 4 Soluo: Pela denio de mod temos 5X 17 mod 4 5X 17 = 4Y 5X 4Y = 17 A soluo (j sabemos calcular...): X = 17 + 4t , t Z. Y = 17 + 5t Na verdade, s nos interessa X = 17 + 4t. Assim os nmeros inteiros 15, 11, 7, 3, 1, 5, 9, 13 so todos solues desta congruncia. Importante: Na equao aX b mod Y . Se tivermos a 0 mod Y , a equao s ter soluo se b 0 mod Y tambm. Nesse caso qualquer valor inteiro de X soluo da equao. Se b = 0 mod Y no haver soluo.
Exemplos:
116
1. Na equao 10X 25 mod 5, qualquer valor inteiro serve para X, pois 10 0 mod 5 e 25 0 mod 5. 2. Na equao 10X 23 mod 5, nenhum valor inteiro serve para X, pois 10 0 mod 5 mas 23 0 mod 5. Indicamos a seguir as equaes que devem ser resolvidas e o resultado, sem o desenvolvimento.
Exerccios Resolvidos 1. Encontre os valores de X que tornem verdadeira a equao: (a) 4X 3 mod 7 Soluo: Resolvendo a equao: 4X 7Y = 3 Encontramos X = 1 Y = 1 A resposta X = 1 + 7t, t Z. (b) 6X 10 mod 8 Soluo: Resolvendo a equao: 6X 8Y = 10 reduzida para 3X 4Y = 5
117 Encontramos X=3 Y =1 A resposta X = 3 + 4t, t Z. (c) 9X 2 mod 5 Soluo: Resolvendo a equao: 9X 5Y = 2 Encontramos X=3 Y =5 A resposta X = 3 + 5t, t Z. (d) 6X 7 mod 9 Soluo: Resolvendo a equao: 6X 9Y = 7 que no tem soluo. (e) 28X 8 mod 12 Soluo: Resolvendo a equao: 28X 12Y = 8 reduzida para 7X 3Y = 2 Encontramos X=2
118
Y =4 A resposta X = 2 + 3t, t Z. (f) 15X 10 mod 12 Soluo: Resolvendo a equao: 15X 12Y = 10 que no tem soluo. (g) 4X 3 mod 6 Soluo: Resolvendo a equao: 4X 6Y = 3 que no tem soluo. (h) 64X 128 mod 32 Soluo: Resolvendo a equao: Observe que 64 0 mod 32 e 128 0 mod 32. Qualquer valor de X tornar a equao verdadeira. (i) 15X 3 mod 18 Soluo: Resolvendo a equao: 15X 18Y = 3 reduzida para 5X 6Y = 1 Encontramos X = 1 Y = 1 A resposta X = 1 + 6t, t Z.
119 (j) 9X 2 mod 5 Soluo: Resolvendo a equao: 9X 5Y = 2 Encontramos X=3 Y =5 A resposta X = 3 + 5t, t Z. 2. Preencha a tabela abaixo com os nmeros de 0 a 11 (alguns nmeros j foram colocados como exemplo): mod3mod4 0 mod 3 1 mod 3 2 mod 3 Soluo: mod3mod4 0 mod 3 1 mod 3 2 mod 3 0 mod 4 0 4 8 1 mod 4 9 1 5 2 mod 4 6 10 2 3 mod 4 3 7 11 5 0 mod 4 0 7 1 mod 4 2 mod 4 3 mod 4
(a) Todas as casas ganharam um nmero ?
120
(b) O mesmo nmero pode ocupar duas casas ? 3. Qual o nmero que estar na casa 2 mod 3 e 3 mod 4 ? Observe que isso equivale a resolver um sistema: X 2 mod 3 X 3 mod 4 Podemos escrever: X 2 = 3Y X 3 = 4Z Ou melhor (subtraindo as equaes membro a membro): 3Y 4Z = 1 Dando a soluo geral: Y = 1 + 4t , t Z. Z = 1 + 3t Escolhendo Y = 1 obteramos X = 1. Para colocar X entre 0 e 11 somamos 12 (o mdc(3, 4)(por que ?), obtendo 11. Voce pode conferir com a tabela que preencheu no item anterior. Qualquer que fosse a casa, a equao teria soluo pois mdc(3, 4) = 1. Isso mostra que todas as casas podem ser preenchidas. Como as solues esto distantes12 unidades, cada casa s ganha um nmero. 4. Preencha a tabela abaixo, do inteiros de 0 a 35 mod 4 mod 9 com nmeros
121 mod9 mod4 0 1 2 3 Soluo: mod9 mod4 0 1 2 3 0 9 18 27 28 1 10 19 20 29 2 11 12 21 30 3 4 13 22 31 32 5 14 23 24 33 6 15 16 25 34 7 8 17 26 35 0 1 2 3 4 5 6 7 8
(a) Todas as casas ganharam um nmero ? (b) O mesmo nmero pode ocupar duas casas ? (c) Qual o mdc(4, 9) ? 5. E se tentarmos com dois nmeros que no sejam co-primos (isto , com mdc = 1) ? Preencha a tabela abaixo, do inteiros de 0 a 23 mod 4 mod 6 com nmeros
122 mod6 mod4 0 1 2 3 0
mod6 mod4
0 12 1 2 3 6 18 7 19 1 13
8 20 9 21 2 14 3 15
4 16 5 17 10 22 11 23
(a) Todas as casas ganharam um nmero ? (b) O mesmo nmero pode ocupar duas casas ? (c) Qual o mdc(4, 6) ? 6. Qual o nmero que ca na casa 2 mod 4 e 4 mod 6 ? Observe que isso equivale a resolver um sistema: X 2 mod 4 X 4 mod 6
123 Podemos escrever: X 2 = 4Y X 4 = 6Z Ou melhor (subtraindo as equaes membro a membro): 4Y 6Z = 2 2Y 3Z = 1 Dando a soluo geral: Y = 2 + 3t , t Z. Z = 1 + 2t Escolhendo Y = 2 obteramos X = 10. Mas escolhendo Y = 5 obteramos X = 22. As duas respostas esto no limite entre 0 e 23. 7. Por que algumas casas da tabela do mod 4 mod 6 no foram preenchidas ? Por exemplo, qual o nmero que ca na casa 3 mod 4 e 2 mod 6 ? Observe que isso equivale a resolver um sistema: X 3 mod 4 X 2 mod 6 Podemos escrever: X 3 = 4Y X 2 = 6Z Ou melhor (subtraindo as equaes membro a membro): 4Y 6Z = 1 Como mdc(6, 4) = 2 a equao no tem soluo e esta casa ca sem nmero.
124 8. Preencha a tabela abaixo, do inteiros de 0 a 53
mod 6 mod 9, com nmeros
Antes de preencher, responda: (a) Qual o mdc(6, 9) ? (b) Todas as casas ganharo um nmero ? Quantos ? Soluo: A partir do mmc(6, 9) = 18 os nmeros passam a ocupar casas j ocupadas. Assim: 0, 18 e 36 ocupam a mesma casa. 18 casas so ocupadas com (o mdc(6, 9) = 3) nmeros cada e 36 casas permanecem vazias. (c) Um mesmo nmero ocupar duas casas ? mod9 mod6 0 1 2 3 4 5 0 1 2 3 4 5 6 7 8
Voc calculou a funo para alguns nmeros. Ser que podemos obter outros valores a partir destes ?
125 Tome a tabela do mod 4 mod 9 com nmeros inteiros de 0 a 35. Qual ser o valor de (36) ? mod9 mod4 0 1 2 3 0 9 18 27 28 1 10 19 20 29 2 11 12 21 30 3 4 13 22 31 32 5 14 23 24 33 6 15 16 25 34 7 8 17 26 35
Vamos riscar as linhas correspondentes aos nmeros co-primos com 4 mod9 mod4 0 1 2 3 // 0 9 // // // // 28 20 12 4 1 29 21 13 // // // // 32 24 16 8 5 33 25 17 0 1 2 3 4 5 6 7 8
// // // 18 10 2 27 19 11
// // // // 30 22 14 6 3 31 23 15
// // 34 26 7 35
Observe que todos os nmeros riscados so no co-primos com 36. Vamos riscar as colunas(voce adivinhou) correspondentes aos nmeros no co-primos com 9.
126 mod9 mod4 0 1 2 3 // 0 // 9 0 1 2 3
// // // // 28 20 12 4 1 29 // 13 21
// // // // 32 24 16 8 5 // 25 33 17
// // // 18 10 2 // 19 27
// // // // 30 22 14 6 31 23 // 15
// // 34 26 7 35
11 // 3
E agora s sobraram os nmeros que so co-primos com 36. O nmero de linhas que sobrou igual a (4) e o nmero de colunas que sobrou igual a (9). Como cada casa tem apenas um nmero, podemos concluir que (4) (9) = (36). De fato, os nmeros naturais menores que 36 e co-primos com ele so 1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35 (4) = 2 (9) = 6 (36) = 12 Esse processo pode ser repetido sempre que os nmeros em questo sejam co-primos (primos entre si). Temos um caso particular da seguinte propriedade:
Propriedade: Se a e b so numeros naturais e mdc(a, b) = 1 ento (a b) = (a) (b)
127 Exemplo: Determine (usando a propriedade anterior): 1. (21) = 2. (42) = 3. (35) = 4. (63) = 5. (72) = 6. (60) = 7. (84) = 8. (1260) = Soluo: 1. (21) = (3)(7) = 2 6 = 12 2. (42) = (6)(7) = 2 6 = 12 3. (35) = (5)(7) = 4 6 = 24 4. (63) = (7)(9) = 6 6 = 36 5. (72) = (8)(12) = 4 4 = 16 6. (60) = (5)(12) = 4 4 = 16 7. (84) = (7)(12) = 6 4 = 24 8. (1260) = (35)(36) = (35)(4)(9) = 24 2 6 = 288
128
Exerccio: Mostre que a frmula da multiplicao no vale se os nmeros no forem co-primos. D pelo menos 3 exemplos. (4) (6) = 4 mas (24) = 8
129
Apndice A
Para saber mais

Para saber mais, voc pode consultar os artigos da Revista do Professor de Matemtica, editada pela SBM - o nmero da revista onde o artigo pode ser encontrado est assinalado. Sobre critrios de divisibilidade Carmen M. G. Taboas N.06 Sobre o processo de diviso de inteiros Jaime M. Cardoso N.08 Restos, congruncia e divisibilidade Luiz R. Dante N.10 Outros critrios de divisibilidade Mrio G. P. Guedes N.12 Um mtodo para o clculo do mdc e do mmc Roberto R. Paterlini N.13 A prova dos noves Flvio W. Rodrigues N.14 Divisores, mltiplos e decomposio em fatores primos Paulo Argolo N.20 130
131 Congruncia, divisibilidade e adivinhaes Benedito T. V. Freire N.22 Uma interpretao geomtrica do mdc Zelci C. de Oliveira N.29 A escolha do goleiro e o resto de uma diviso Claudio Arconcher N.30 Dispositivo prtico para expressar o mdc de dois nmeros como combinao linear deles Jos P. Q. Carneiro N.37 2 3 = 0? Cristina Ochoviet N.41 Divisibilidade por 7 Arnaldo Umbelino Jr. N.43 A prova dos onze Eric C.B. Guedes N.44 Os primos esquecidos Chico Nery e Claudio Possani N.47 Uma demonstrao de Euclides Arthur Almeida N.49 Um exemplo de situao problema: O problema do bilhar Marcelo Cmara dos Santos N.50 Um resultado recente: um algoritmo rpido para detectar nmeros primos Ricardo Bianconi N.50

1 Divisibilidade

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

1 Divisibilidade

Загружено:

Авторское право:

Доступные форматы

Divisrevisadofran 2008/6/23 page 1 Estilo OBMEP

Divisibilidade e Nmeros Inteiros

Divisrevisadofran 2008/6/23 page i Estilo OBMEP

Divisrevisadofr 2008/6/23 page ii Estilo OBMEP

1.4 1.5 1.6 1.7 1.8 1.9

Divisrevisadofran 2008/6/23 page iii Estilo OBMEP

2 Aritmtica Modular 3 Material Complementar A Para saber mais

Divisrevisadofran 2008/6/23 page 1 Estilo OBMEP

Divisrevisadofran 2008/6/23 page 2 Estilo OBMEP

Divisrevisadofran 2008/6/23 page 3 Estilo OBMEP

Divisrevisadofran 2008/6/23 page 4 Estilo OBMEP

Diviso de Nmeros Naturais

Divisrevisadofran 2008/6/23 page 5 Estilo OBMEP

Divisrevisadofran 2008/6/23 page 6 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 7 Estilo OBMEP

Divisrevisadofran 2008/6/23 page 8 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

3. Porque o resto tem que ser menor do que o divisor?

Divisrevisadofran 2008/6/23 page 9 Estilo OBMEP

SEC. 1.1: MLTIPLOS, FATORES E DIVISORES

Mltiplos, Fatores e Divisores

Divisrevisadofran 2008/6/23 page 10 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 11 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

2. Quais os fatores de 2471 ? Voc testou at que divisor ?

Critrios de Divisibilidade e o Sistema de Numerao

Exemplo: 12948 = 1 10000 + 2 1000 + 9 100 + 4 10 + 8.

Divisrevisadofran 2008/6/23 page 12 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 13 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Observao. Se a diferena for um nmero negativo, somamos o divisor.

Divisrevisadofran 2008/6/23 page 14 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisibilidade por 2: Nmeros Pares e mpares

Divisrevisadofran 2008/6/23 page 15 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisrevisadofran 2008/6/23 page 16 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 17 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisibilidade por 5 e por 10

Divisrevisadofran 2008/6/23 page 18 Estilo OBMEP

18 Isso mostra que:

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 19 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisrevisadofran 2008/6/23 page 20 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisibilidade por 3 e por 9

Divisrevisadofran 2008/6/23 page 21 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisrevisadofran 2008/6/23 page 22 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 23 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisrevisadofran 2008/6/23 page 24 Estilo OBMEP

CAP. 1: DIVISO DE NMEROS NATURAIS

Divisrevisadofran 2008/6/23 page 25 Estilo OBMEP

SEC. 1.2: CRITRIOS DE DIVISIBILIDADE E O SISTEMA DE NUMERAO

Divisrevisadofran 2008/6/23 page 26 Estilo OBMEP