Ulfc106025 TM Dúnia Pontes

Universidade de Lisboa
Faculdade de Cincias
Departamento de Matemtica
Problemas de Teoria dos Nmeros

Dnia Lisandra Serra Ldo Pontes
Dissertao
MESTRADO EM MATEMTICA PARA PROFESSORES
2013
Universidade de Lisboa
Faculdade de Cincias
Departamento de Matemtica
Problemas de Teoria dos Nmeros

Dnia Lisandra Serra Ldo Pontes
Dissertao
MESTRADO EM MATEMTICA PARA PROFESSORES
Orientador: Professor Doutor Pedro Jorge Santos Freitas

2013
1
Resumo
A tese em questo, como o ttulo sugere Problemas de teoria dos nmeros
prope-se a estudar problemas relativos a uma das reas mais antigas e mais ricas da
matemtica, considerada uma forte influncia na evoluo de grandes matemticos.
Este trabalho conjuga dois temas deveras importantes para o desenvolvimento da
criatividade e do conhecimento matemtico: resoluo de problemas e teoria dos nmeros.
A resoluo de problemas a fora motora da progresso da Matemtica enquanto cincia e
a teoria dos nmeros uma fonte particularmente frtil de problemas interessantes e que
so acessveis a vrios nveis.
Deste modo, pretende-se com este trabalho reunir alguns dos problemas de teoria
dos nmeros e, criar uma coleco que estimule o interesse dos alunos em Matemtica e os
incentive a participar em competies matemticas.
No um objectivo desta tese ocupar-se de problemas impenetrveis, mas sim
construir um manual de auxlio para um pequeno curso de resoluo de problemas em
teoria dos nmeros, apresentando problemas mais simples, que qualquer aluno (pruniversitrio) consiga resolver, e problemas de diferentes graus de dificuldade. A sequncia
de problemas est estruturada numa perspectiva evolutiva, comeando por um captulo
dedicado a problemas que no envolvem tcnicas especiais, seguido de um captulo onde
so apresentados teoremas teis, e algumas demonstraes, para a resoluo de problemas
mais avanados, que so integrados no captulo seguinte.
ainda inteno desta tese explorar alguns dos mais importantes temas de teoria
elementar dos nmeros, focando especialmente em ideias cruciais para a resoluo de
problemas.
Ao longo deste trabalho expem-se, comentam-se e resolvem-se problemas,
escolhidos a pensar em alunos que desfrutam da Matemtica e que simultaneamente tenham
algum hbito de ler e compreender demonstraes.
Palavras-chave: teoria dos nmeros, problemas, divisibilidade, primo, congruncias.
(No foi escrita ao abrigo do novo acordo ortogrfico)
Agradecimentos
minha famlia, que sempre apoiou todas as minhas decises e que sempre se orgulhou do
meu trabalho. Ao meu sobrinho que, apesar de ainda no ter conscincia, uma das pessoas
que mais alegrias me d.
Aos meus amigos por toda a pacincia e encorajamento. Ao meu melhor amigo, Emanuel,
por estar sempre presente e pelo bom humor contagiante.
A todos os professores do Mestrado em Matemtica para Professores pelo conhecimento
que partilharam comigo e pela dedicao demonstrada. professora Carlota Gonalves
pela preocupao e ateno ao longo destes anos.
Ao professor Pedro Freitas pela compreenso, pela disponibilidade, pela fora e coragem
que me deu e por toda a sua sabedoria.
ndice
1. Introduo .............................................................................6
1.1. Breve incurso na Histria da Matemtica ...............7
2. Problemas que no envolvam tcnicas especiais ..............9
2.1. Mais alguns problemas ............................................. 27
3. Teoremas teis................................................................... 38
4. Problemas avanados ........................................................ 53
5. Coleco de problemas ..................................................... 69
5.1. Solues/Sugestes.................................................... 71
6. Referncias bibliogrficas ................................................. 73
God created the integers, all else is the work of man.

Leopold Kronecker (1823-1891)
1. Introduo
A motivao para o tema desta tese Problemas de Teoria dos Nmeros surgiu no
decorrer do Mestrado de Matemtica para Professores. A cadeira de Teoria e Histria dos
Nmeros fomentou o meu interesse pela teoria dos nmeros, tendo sido inevitvel escolher
um assunto a desenvolver que inclusse esta temtica. Por outro lado, a resoluo de
problemas sempre fez parte da minha viso da Matemtica. O meu prematuro interesse pela
Matemtica e pelo ensino teve incio com os jogos, problemas e puzles de que fui tendo
conhecimento. Por isso, fez sentido para mim, que este mestrado, terminasse com uma
abordagem a estes contedos.
Para a escolha deste tema, tambm foi importante o meu percurso profissional, que passou
pelo ensino em diferentes escolas, consequentemente com alunos de diferentes capacidades,
aptides e interesses, e pelo trabalho numa editora de manuais escolares que visa, entre
outros objetivos, ajudar os professores a estimular os seus alunos para a disciplina,
apresentando aspectos atrativos da Matemtica. Neste sentido, tenho sempre em mente o
empenho, o progresso dos alunos em Matemtica mas ao mesmo tempo o prazer que advm
do conhecimento matemtico.
O raciocnio e a lgica so, provavelmente, das capacidades mais importantes que podemos
desenvolver com a Matemtica, principalmente com a resoluo de problemas.
Vejo esta tese de mestrado como uma oportunidade para pesquisar assuntos que sempre tive
vontade de estudar mas que infelizmente pouco foram tratados ao longo da licenciatura e
cujo escasso tempo das nossas vidas nos permite aprofundar.
O meu principal objectivo criar um recurso til para todos os professores ou alunos que
vejam na Matemtica um desafio, por vezes ldico, mas com certeza sempre motivador e
estimulante. Pretende-se ainda que este trabalho sirva como uma ferramenta para um
pequeno curso em teoria dos nmeros, ampliando a viso que os alunos tm da Matemtica
e, talvez, melhor prepar-los para uma possvel participao em competies matemticas,
como o exemplo das Olimpadas Portuguesas de Matemtica.
Pretendo ainda proporcionar o enriquecimento em algumas reas da teoria dos nmeros
atravs da reorganizao e otimizao de estratgias dos alunos na resoluo de problemas,
bem como incentivar os alunos para a continuao dos estudos em Matemtica.
A resoluo de exerccios, apesar de necessria, principalmente no ensino bsico, tem um
poder limitado. Um exerccio, muitas vezes, uma pergunta que se limita a testar os
conhecimentos recentemente assimilados. Os exerccios podem ser fceis ou difceis, mas
nunca so enigmticos (puzzling), sendo facilmente percetvel o procedimento a aplicar.
Um problema o oposto, uma pergunta cuja resposta no pode ser obtida imediatamente,
pode at ser no ter soluo e muitas vezes requere alguma pesquisa antes de se chegar
soluo. A investigao em Matemtica resume-se resoluo de problemas em aberto e,
consequentemente, pode dizer-se que os problemas e a resoluo de problemas esto no

centro da Matemtica.
Algum que capaz de resolver problemas em Matemtica desenvolve confiana e poder
inspirar outros a seguir o seu exemplo. E acima de tudo, resolver problemas um
divertimento, permitindo compreender e apreciar a beleza da Matemtica.
A minha fascinao pela resoluo de problemas prende-se com a capacidade que um
problema tem em captar a minha ateno e incentivar-me a desenvolver um trabalho que,
para qualquer outra pessoa, poder parecer rduo (e talvez intil), mas que para mim ser
uma conquista.
de referir, que a inscrio neste mestrado foi puramente opcional e uma escolha pessoal,
devido necessidade que sentia em completar a minha formao inicial. Uma possibilidade
para obter conhecimentos e instrumentos que me permitissem aperfeioar o meu trabalho. E
se o meu maior objetivo com a frequncia deste mestrado adquirir mais conhecimentos,
penso ser importante, a esprito de introduo, pesquisar um pouco sobre a histria da teoria
dos nmeros.
Fazer uma contextualizao histrica da teoria dos nmeros pode tornar-se um trabalho
ingrato, no sentido em que esta rea matemtica to antiga e to vasta, sendo quase
impossvel fazer uma abordagem concisa e resumida sem deixar de mencionar algumas
situaes importantes.
Deste modo, farei uma breve incurso na histria da matemtica de modo a apresentar
alguns exemplos que permitam perceber a origem e evoluo da teoria dos nmeros, com o
objetivo de melhor compreender este tema, apesar de no ter a inteno de fazer um
desenvolvimento histrico exaustivo deste assunto.
1.1. Breve incurso na Histria da Matemtica

A teoria dos nmeros, ao longo do tempo, tem fascinado tanto amadores como
profissionais, talvez mais do que qualquer outro ramo da Matemtica.
A necessidade de contar, presente nas civilizaes mais antigas, impulsionou o surgimento
dos nmeros naturais e est na origem da teoria dos nmeros.
Assim, o objeto de estudo desta rea matemtica acompanha a humanidade desde sempre, e
ao longo da histria das civilizaes foi sendo feito o estudo das propriedades e relaes
entre os nmeros inteiros, mesmo que ainda no de um modo formal.
Povos como os egpcios ou os babilnios criaram formas de representao dos nmeros

naturais e modos de os operar. At aos nossos dias chegaram-nos registos de relaes
descobertas por estes povos, como o caso da tbua Plimpton, escrita pelos babilnios por
volta de 1900 a 1600 a. C., onde esto registados os ternos designados atualmente por
ternos pitagricos, por satisfazerem o conhecido teorema de Pitgoras; ou o caso do papiro
de Rhind, um documento egpcio escrito cerca de 1650 a. C, com informaes sobre
aritmtica, fraces, clculo de reas, volumes, entre muitos outros temas.
Para os gregos a palavra nmero referia-se apenas aos nmeros inteiros. Os pitagricos
estudaram as propriedades dos nmeros, e a eles atribudo, por exemplo, o conceito de
nmero perfeito: um nmero cuja soma dos seus divisores prprios igual ao prprio
nmero.
Trs dos livros da obra Elementos, de Euclides, contm um total de
proposies que
trabalham essencialmente com a natureza e as propriedades dos nmeros naturais. Nestes
livros encontram-se, por exemplo: a definio de nmero primo e uma demonstrao, ainda
hoje utilizada, da infinidade dos nmeros primos; o algoritmo para calcular o mximo
divisor comum de dois nmeros, hoje conhecido por algoritmo de Euclides e o estudo de
nmeros perfeitos.
Diofanto (sculo III) foi outro matemtico grego importante que influenciou outros grandes
matemticos na explorao e desenvolvimento da teoria dos nmeros. Fermat (1601-1665)
foi um dos matemticos a interessar-se pela obra de Diofanto, tendo escrito numa das
margens do livro de autoria de Diofanto, Aritmtica, que tinha conseguido provar que no
h solues inteiras da equao
quando
. Esta demonstrao no
chegou a ser conhecida, pois Fermat afirmou no ter espao para a incluir na referida
margem. Este resultado ficou conhecido como o ltimo Teorema de Fermat e apenas fo i
demonstrado em 1994 pelo matemtico Andrew Wiles. Mais uma vez, Fermat tinha razo,
pois a demonstrao tem cerca de 125 pginas
Euler, Lagrange, Gauss so outros exemplos de nomes sonantes da matemtica que
desenvolveram o seu trabalho na rea da teoria dos nmeros.
Actualmente, a teoria dos nmeros uma rea da matemtica com vrios resultados
importantes, tendo grande impacto no desenvolvimento de outras reas matemticas.
Mathematics is the Queen of the sciences, and the theory of
numbers is the Queen of mathematics.
Gauss
de referir que ao longo do trabalho o conjunto dos nmeros inteiros (positivos e

negativos, incluindo o zero) ser denotado por e o conjunto dos nmeros naturais (apenas
inteiros positivos) por . Se nada for dito em contrrio assumimos que qualquer letra do
alfabeto, de a , representa um nmero inteiro, reservando as letras e para representar
nmeros primos.
2. Problemas que no envolvam tcnicas especiais

Neste captulo pretende-se abordar problemas cuja resoluo no exija nenhuma tcnica
avanada. Praticamente todos os temas trabalhados neste captulo so estudados,
provavelmente no de forma to aprofundada, no Ensino Bsico ou Secundrio, permitindo
que as resolues tenham uma abordagem prxima dos conhecimentos dos alunos.
Divisibilidade
Sejam ,
inteiros, dizemos que
que
, isto , inteiro. Denota-se por
mltiplo de
e que
divisvel por , ou
divide
se existe um inteiro
. Neste caso, tambm se diz que
tal
divisor de .
Se no divisvel por
referidas).
ento escrevemos
(ou seja, no existe
Temos ainda que:

para qualquer inteiro , pois
, qualquer que seja
;e
nas condies
para todo
pois
A partir da definio de divisibilidade possvel obter algumas propriedades simples.

1.
2.
3.
4.
5.
6.
7.
8.
9.
e
e
e
e
e
10.
ento
11.
para qualquer que seja
Seja
ento
ento
ento
ento
ento
e
ento
ento
e ainda
, dizemos que
para
par se
inteiros
e que
mpar se
Assim, o conjunto dos nmeros inteiros pode ser dividido em dois subconjuntos, o conjunto
dos nmeros pares e o conjunto dos nmeros mpares:
e
, respectivamente.
Observaes.
1. Todo o nmero par da forma ,
2. Todo o nmero mpar da forma
Problema 2.1. Vinte alunos esto num corredor com cacifos numerados de 1 a 20. O
primeiro aluno abre todos os cacifos; o segundo fecha os cacifos com nmeros pares; o
terceiro muda o estado das portas dos cacifos numerados com mltiplos de 3, ou seja, se a
porta est fechada ele abre, se est fechada ele abre; e assim sucessivamente at ao
vigsimo aluno. No final quantos cacifos ficam abertos?
Resoluo:
Vamos resolver este problema de duas formas diferentes. A primeira resoluo ser feita
recorrendo a um esquema e acessvel a qualquer aluno com algumas bases de
matemtica, enquanto a segunda resoluo ir utilizar uma das propriedades anteriores.
Contudo, bvio que a primeira resoluo limitada, pois se o nmero de cacifos for
maior, o esquema deixa de ser vivel.
1. resoluo:
Se o -simo aluno, apenas, altera o estado dos cacifos numerados com mltiplos de ,
ento abre ou fecha as portas dos cacifos com nmeros
tais que
. Assim, fcil
verificar que o estado de cada cacifo ser alterado tantas vezes quanto o nmero de
divisores do respectivo nmero.
Como inicialmente os cacifos esto fechados, sabemos que ficam abertos os cacifos cujo
estado da porta for alterado um nmero mpar de vezes, isto , os cacifos cujo nmero de
divisores for mpar.
Faamos, ento, uma tabela com os divisores de cada nmero de
n.
1
cacifo
divisores 1
( -simo
aluno)
n.
11
cacifo
divisores 1, 11
( -simo
aluno)
1, 2
1, 3
4
1, 2, 4
1, 5
1, 2,
3, 6
1, 7
1, 2,
4, 8
9
1, 3, 9
12
13
14
15
16
17
18
19
1, 2,
3, 4,
6, 12
1, 13
1, 2,
7, 14
1, 3,
5, 15
1, 2,
4, 8,
16
1, 17
1, 2,
3, 6,
9, 18
1, 19
10
1, 2,
5, 10
20
1, 2,
4, 5,
10, 20
Pela tabela, observamos que o estado dos cacifos numerados com 1, 4, 9 e 16 alterado
um nmero mpar de vezes e por isso sero 4 os cacifos com as portas abertas no final.
10
2. resoluo:
Pela propriedade 10, verificamos que qualquer inteiro
tem um nmero par de
divisores positivos, excepto se for um quadrado perfeito, isto , se existir um inteiro
tal que
Isto acontece porque para cada divisor
divisores de
de
surgem aos pares. No caso de
tambm divide , logo se

ento
e, portanto,
os
um
quadrado perfeito.
Como foi visto na primeira resoluo, estamos procura dos cacifos cujo nmero de
divisores seja mpar, ou seja, os cacifos numerados com quadrados perfeitos:
e
Contundo, para quaisquer dois inteiros e , nem sempre divisvel por . Vamos,
assim, introduzir um resultado que tem um papel importante na teoria dos nmeros: o
algoritmo da diviso.
Algoritmo da Diviso
Sejam
que,
inteiros, com
ento existe um nico par
de nmeros inteiros tal
e
Dizemos que
o quociente e o resto da diviso de
Problema 2.2. Prova que o nmero
por .
divisvel por 3, para qualquer natural .
Resoluo:
Nesta resoluo partimos do princpio de que os restos da diviso de
ser iguais a 0, 1 ou 2.
Para facilitar os clculos, consideremos
com
por 3 s podem
Obtida a expresso anterior, analisaremos cada um dos casos.
11
Se
Logo,
divisvel por 3.
Se
Logo,
divisvel por 3.
Se
Logo,
divisvel por 3.
Nmeros Primos
Seja
inteiro
, diz-se que primo se for divisvel apenas por

primo se no existir nenhum inteiro com
e por , com
e
tal que
Isto , o
Os primeiros nmeros primos so 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, sendo 2 o nico primo
par.
Um nmero inteiro
que no seja primo designado de composto. Eratstenes
observou que todo nmero composto divisvel por qualquer primo menor ou igual sua
raiz quadrada, ou seja, existe primo tal que
e
.
Por exemplo, ser 53 primo ou composto? Como
, sabemos que 53 primo se
no for divisvel por 2, 3, 5 e 7. De facto, nenhum destes nmeros primos divide 53, logo 53
tambm primo.
Observaes.
1. O nmero 1 no nem primo nem composto.
2. Existe uma infinidade de nmeros primos.
12
dem: Suponhamos que existe um nmero finito

de primos,
com
.
Consideremos o nmero
. Se
for primo, temos que existem pelo menos
primos, pois
, o que contradiz a hiptese. Ento composto, e por isso existe primo, de entre
os primos
tal que
Seja
, com
ento
divide
. bvio
que
divide
e, pela propriedade 8 da divisibilidade, temos que
, chegando assim a outra
contradio pois primo e logo maior do que 1
Problema 2.3. Sejam e dois inteiros primos. Sabendo que a equao

tem duas razes inteiras distintas, descobre e
Resoluo:
Sejam
as duas razes da equao dada. Sendo as razes distintas suponhamos que
.
Ento, podemos escrever
Apesar de no constar do programa de Matemtica, ao estudar a frmula resolvente no

Ensino Bsico, este resultado referente soma e ao produto das razes de uma equao
do 2. grau , geralmente, abordado.
Assim, temos que
Como primo e
ento
e
. Logo,
e, portanto, e
so primos consecutivos. Os menores primos nestas condies so e , ou seja,
e
Nota: no h mais primos consecutivos, pois dados quaisquer dois nmeros consecutivos, um deles par e
o nico primo par.
Ainda, primo dizemos que

divide completamente
, e escreve-se
. Por exemplo,
e
se
.
for o maior natural tal que
Teorema Fundamental da Aritmtica

trivial perceber que um nmero composto pode ser escrito como o produto de dois
nmeros naturais diferentes de e de ele prprio. Por exemplo,
composto porque pode
ser representado por
Mas, neste produto, surge o
que tambm composto
pois
e por isso
. Se observamos este ltimo produto, ainda
podemos escrever o 6 como produto de 2 por 3. Assim, temos
,
obtendo um produto com apenas nmeros primos.
13
Aplicando este raciocnio, percebe-se facilmente, que podemos decompor num produto de
factores cada vez menores qualquer nmero natural maior do que .
Voltando ao exemplo, e se tivssemos escrito primeiro
, obteramos a mesma
decomposio em factores? A resposta, sim. Apenas teramos os factores escritos por uma
ordem diferente, por exemplo
, e por isso verificamos que
a decomposio em factores primos a mesma em ambos os casos.
Este um exemplo simples e muito prximo do que os alunos aprendem no Ensino Bsico
que conduz a um teorema muito importante na Teoria dos Nmeros.
Teorema Fundamental da Aritmtica (TFA) diz que todo o nmero natural maior do que
1 se factoriza como produto de primos e os primos que aparecem na factorizao so bem
determinados, isto , tem uma nica representao como produto de nmeros primos.
Demonstremos ento o teorema.
A demonstrao apresentada da existncia consiste num mtodo que se designa por induo
forte em que o objectivo provar que a proposio
) verdadeira para todo ,
utilizando a induo em Assim, primeiro necessrio mostrar que
verdadeira e,
de seguida, supondo que as proposies
, ,
so verdadeiras, provar que a
proposio
tambm verdadeira.
dem:
Existncia
O resultado verdadeiro para
factorizao.
, pois
um nmero primo e por isso
a sua
Suponhamos que o resultado verdadeiro para todos os naturais menores que e vamos
mostrar que tambm verdadeiro para . Se for um nmero primo ento existe primo
tal que a decomposio em factores primos de seja
Se for composto podemos
escrever
, com e diferentes de e de Como
, por hiptese de induo
e admitem decomposio em factores primos. O produto das decomposio em factores
primos de e d-nos a decomposio em factores primos de
Provavelmente, muitos consideram trivial a existncia da decomposio em factores

primos, principalmente depois de observar um caso concreto como o que foi apresentado.
Mas, talvez, o mesmo no acontea com a unicidade. Na verdade, a unicidade no to
simples quanto parece ser. Vejamos um exemplo de como a unicidade no pode ser dada
como garantida.
Consideremos o seguinte problema:
Sejam
tal que
. Ser que podemos afirmar que
?
14
Pela igualdade, verificamos que

mltiplo de e como e so nmeros primos
distintos ento
tem de ser mltiplo de , ou seja,
tem de conter o
na sua
decomposio em factores primos. Este raciocnio s possvel devido ao Teorema
Fundamental da Aritmtica, pois caso a decomposio em factores primos no fosse nica
seria possvel um nmero ser decomposto em factores de uma determinada forma e ter um
como um factor primo mas sem nenhum , e quando decomposto em factores de outra
forma no ter nenhum factor igual a mas ter um factor 3.
Por exemplo, consideremos o conjunto dos nmeros naturais pares
.
Definimos primo neste conjunto como um nmero que no admite decomposio em
factores primos dentro do conjunto. Nestas condies, por exemplo, um nmero primo
mas no . De facto, nas duas possveis decomposies em factores de
e
, h elementos mpares, isto , que no pertencem a
O nmero no primo
porque podemos escrever como um produto de dois nmeros pares,
Deste modo, existem sistemas que admitem a decomposio em factores em primos mas
onde no se verifica a unicidade. Por exemplo, como os nmeros
e
so primos
em , o nmero
tem duas decomposies em factores primos diferentes:
Assim, no se verifica a unicidade em
. Logo, se
tal que
podemos concluir que
e
, apesar de e
serem primos, pois em
nem
.
, no
temos que
Portanto, a questo relativa unicidade mais complexa do que parece e por isso iremos
demonstr-la mais frente depois de serem estudados alguns resultados que simplificam a
compreenso da prova.
Deste teorema (TFA) podemos ainda verificar que qualquer natural
forma nica como,
com
se escreve de
primos distintos e
A esta representao chamamos factorizao de . Note-se que a factorizao do produto

de dois nmeros naturais maiores do que 1 igual ao produto da factorizao de cada um
dos nmeros.
O resultado seguinte ser utilizado na resoluo dos exemplos apresentados. A sua

demonstrao simples mas o raciocnio aplicado importante para obter a soluo dos
referidos exemplos.
15
Sejam
inteiros e
primo. Se
ento
ou
dem:
Se divide
ento um dos factores da factorizao de . Como a factorizao de
igual ao produto das factorizaes de e , e estas so nicas, ento tem de fazer parte
de pelo menos uma das factorizaes e .
Por induo se verifica que se
ento
para algum .
Problema 2.4.
4.1. O produto
divisvel por 8? E por 9?
4.2. Verdadeiro ou falso? Qualquer nmero natural que seja divisvel por
divisvel por
e por
Resoluo:
4.1. Para
ser divisvel por necessrio que na factorizao de
pelo menos trs factores iguais a 2, pois
. Logo,
divisvel por
sua factorizao existem nove factores 2.
Na factorizao de
divisvel por .
existe apenas um factor 3, mas
apaream
porque na
. Logo,
no
4.2. Seja natural tal que

e
. Como
e
ento na factorizao de
existem, pelo menos, dois factores iguais a 2 e um factor 3. No entanto,
,
logo para ser divisvel por
a sua factorizao tem de ter pelo menos trs factores 3.
Facilmente encontramos um contra-exemplo. Se considerarmos
divisvel por e por mas no divisvel por .
ento
Mximo Divisor Comum e Mnimo Mltiplo Comum

A noo de mximo divisor comum, tal como a de mnimo mltiplo comum, trabalhada
desde cedo, no 1. ciclo, apesar da introduo formal destes conceitos s ser feita no 2.
ciclo.
Sejam
i.
ii.
dois inteiros. Dizemos que

e
e
ento
o mximo divisor comum de
se:
, para todo .
Escreve-se
Observaes. imediato que:
1.
2.
16
3.
(0, 0) no existe
4.
5. Se
, ento
6. Se primo ento
7. Todos os divisores comuns de
Sejam
i.
ii. Se
ou
e dividem
dois inteiros. Dizemos que
o mnimo mltiplo comum de
se:
e
for outro mltiplo comum de
O mnimo mltiplo comum de
e , ento
e b, o menor inteiro positivo que divisvel por
e .
Escreve-se
Observaes. imediato que:
1.
2.
3.
4.
5. Se
6.
(0, 0) no existe
no existe
, ento
divide todos os mltiplo comuns de
de referir que ambas as definies de mdc e mmc podem ser estendidas para mais do que
dois nmeros:
o maior natural de entre todos os divisores comuns a
o menor natural de entre todos os mltiplos comuns a
Problema 2.5. Dados os nmeros

os valores de A e B, determina
, sem calcular
Resoluo:
Seja um divisor comum de A e B, ento a factorizao de dada pelo produto dos
nmeros primos que constam, simultaneamente, das factorizaes de A e B, ou seja, 2 e
3 (por exemplo, se na factorizao de
existir algum factor que no faa parte da
factorizao de A ento no pode dividir A).
Assim, podemos escrever
, com ,
Como na factorizao de A
existem apenas trs factores 2, ento
, caso contrrio
; analogamente,
porque existe apenas um factor 3, na factorizao de B, ento
, caso contrrio
.
Como procuramos o mximo divisor comum pretende-se obter o maior valor de , logo,
17

valores de A e B, determina
, sem calcular os
Resoluo:
A resoluo deste problema anloga ao problema 5. Neste caso, a factorizao de , o
mnimo mltiplo comum, tem de incluir todos os factores que constam das factorizaes
de A e B, elevados ao maior expoente. de notar que o mmc no necessita de incluir
mais nenhum factor pois caso inclusse deixava de ser o menor mltiplo comum. Logo
.
Problema 2.7. Encontra o menor nmero natural que tem resto 1 quando dividido por 2,
resto 2 quando dividido por 3, resto 3 quando dividido por 4, resto 4 quando dividido por 5
e resto 5 quando dividido por 6.
Resoluo:
Seja
o nmero que procuramos, ento podemos representar de cinco formas diferentes:
Observando as diferentes representaes verifica-se que

6, e o menor valor dado por
.
mltiplo de 2, 3, 4, 5 e
Temos que 2, 3 e 5 so nmeros primos e
, logo
.
Portanto,
Dos problemas 5 e 6, podemos generalizar e escrever o que se segue.
Dados dois nmeros
ento:
se
, com
tal como
tambm til conhecer a seguinte relao entre o mximo divisor comum e o mnimo
mltiplo comum de dois nmeros naturais:
Esta relao no facilmente generalizada para mais de dois naturais. Por exemplo, para o
caso de trs nmeros a igualdade nem sempre verificada:
18
Algoritmo de Euclides
A factorizao de nmeros permite-nos determinar o mximo divisor comum de dois
nmeros. Contudo para nmeros muito grandes pode no ser exequvel, pelo menos sem um
computador. Para algum que tenha dvidas, tente calcular o mximo divisor comum de
1381955 e 690713.
O algoritmo de Euclides um mtodo para a determinao do mximo divisor comum de
dois nmeros naturais e destaca-se por ser simples e eficiente. Trata-se de um dos mais
antigos algoritmos conhecidos, apresentado na obra Elementos do matemtico Euclides
(325 a. C.-265 a. C.) e, ainda hoje, utilizado e ensinado nas escolas. Por requerer apenas a
diviso inteira constitui um processo acessvel e prtico.
O algoritmo de Euclides baseia-se no seguinte: pelo algoritmo da diviso podemos escrever
. Ento
Isto ,
e
dem:
(
Suponhamos que
Por hiptese
e
, ou seja,
, logo pela propriedade 9 da divisibilidade
( Suponhamos que
Com um raciocnio anlogo ao anterior, temos que

Assim,
iguais.
e pela propriedade 7
so definidos como mximos do mesmo conjunto, logo so
O algoritmo de Euclides consiste na aplicao repetida do algoritmo da diviso:

Sejam ,
, pelo algoritmo da diviso

tais que
Se
Se
ento o processo termina.

,
tais que
19
Se
Se
,
tais que
Se
Se
,
tais que
Esta cadeia de igualdades finita porque

Logo, existe
tal que
porm
.
.
Assim, aplicando sucessivamente a igualdade, anteriormente provada,

em que
, obtemos
Problema 2.8. Prova que, para todo o natural
a fraco
irredutvel.
Resoluo:
Uma fraco irredutvel se no existe nenhum divisor comum ao numerador e
denominador, isto , se o mximo divisor comum entre os da fraco for igual a 1.
Assim, basta determinar
e verificar que igual a 1.
Utilizando o algoritmo de Euclides:

6
2
Isto ,
Voltemos algoritmo de Euclides para determinar
35
15
20
Assim,
A partir das divises efectuadas possvel escrever trs igualdades que permitiro a escrita
do
como uma combinao linear de
e
, isto , ser possvel
escrever na forma
.
O
resultou do algoritmo de Euclides como o ltimo resto diferente de zero,
logo podemos exprimir como combinao linear de
e
Iniciamos o processo por
esta igualdade, fazendo, de seguida, sucessivas substituies com as outras duas igualdades.
Portanto, podemos escrever
, com
Identidade de Bzout diz que se

.
Seja
, ento existem inteiros
. Os elementos se
tais que
so exactamente os mltiplos de
. Em particular,
dem:
Pela Identidade de Bzout sabemos que
restantes elementos de so mltiplos de .
Se
ento existe
Como
temos que
Reciprocamente, seja
Como
tal que
. Queremos provar que os
A equao
Os inteiros ,
ento
, logo
, queremos mostrar que
, isto ,
mltiplo de
tem solues inteiras se e s se
dizem-se primos entre si ou coprimos se mdc
21
Por exemplo, 8 e 3, 9 e 2, 5 e 7, so coprimos. Alis, facilmente se percebe que quaisquer

dois de nmeros primos so coprimos, assim como quaisquer dois nmeros consecutivos.
Expomos de seguida algumas propriedades dos nmeros coprimos.
Os nmeros
so coprimos se e s se
dem:
Se
forem coprimos ento
Logo,
Reciprocamente, se
Se
ento
, ento
mltiplo de
. Logo,
e so coprimos.
dem:
Pela identidade de Bzout temos
Dividindo ambos os membros da equao por , obtemos

Logo,
Lema de Euclides. Sejam
so coprimos e
ento
dem:
Como e so coprimos ento
equao por , obtemos
Mas
Sejam
e por hiptese
e
coprimos. Se
. Multiplicando ambos os membros da

.
logo
. Portanto,
ento
, ou seja,
dem:
Como
temos que
para um certo
inteiro. Mas
logo
Como e so coprimos pelo Lema de Euclides temos que

, ou seja,
certo inteiro. Assim, podemos escrever
e, portanto,
.
para um
Vejamos o seguinte exemplo:

Consideremos os nmeros e . O mximo divisor comum destes dois nmeros
isso no so coprimos. Temos, por exemplo, que
e
mas
.
e por
logo, facilmente se v que,

e
dividem
. Mas ao
multiplicarmos por estamos a aumentar a potncia do factor primo
e por isso o
produto destes dois nmeros j no divide .
Com a apresentao do Lema de Euclides podemos finalmente concluir a demonstrao do
Teorema Fundamental da Aritmtica, provando a unicidade da factorizao.
22
dem (continuao TFA):

Unicidade
Vamos assumir que existe pelo menos um nmero natural
distintas.
, com
que tem duas factorizaes
, nmeros primos.
Suponhamos, sem perda de generalidade, que

. Pela igualdade apresentada sabemos
que
, logo pelo Lema de Euclides
,
. Consideremos, por
exemplo, que
(a menos de uma renomeao dos s. Mas,
primo e por isso os
seus nicos divisores so e . Como , tambm, primo temos que
e, portanto,
.
Assim, simplificando a igualdade anterior podemos escrever
Iterando o processo, iremos obter
reordenao dos s.
Simplificando de novo a igualdade, como
Esta igualdade impossvel, logo
, ,
, a menos de uma
, obtemos
Nmero de Divisores
Consideremos, dado
, o conjunto definido por pelos divisores de . O nmero de
elementos deste conjunto denota-se por
.
Assim,
representa o nmero de divisores de
Para todo
, podemos escrever
Por exemplo, se
ento
Observao.
1.
2.
Pela propriedade 10 da divisibilidade verificamos que

.
23
Se
, por exemplo, temos que
Problema 2.9. Escolhendo ao acaso um divisor positivo de

ser mltiplo de
qual a probabilidade deste
Resoluo:
Comecemos por escrever a factorizao
. Temos que
, logo
e
Assim, qualquer que seja
divisor de
,
com
.
Quantos divisores tem
? Pela desigualdade apresentada, para cada expoente, e ,
existem
hipteses, logo
tem
divisores (casos possveis).
Quantos destes divisores so mltiplos de
ser maior ou igual a
, ento
e , existem
hipteses, logo existem
de
(casos possveis).
? Para ser mltiplo de

, tem de
. Isto , para cada para cada expoente,
divisores de
que tambm so mltiplos
Portanto, a probabilidade pedida dada pela fraco
A resoluo do problema do ltimo exemplo poderia ter sido simplificada caso j tivesse
sido apresentado o seguinte resultado:
Se
uma factorizao de , ento
Usando a igualdade anterior, rapidamente teramos determinado o nmero de divisores de

, calculando o produto
Problema 2.10. Determina o nmero de pares ordenados

.
, com
naturais, tal que
Resoluo:
Como
ento
com
.
Por isso,
,
e
. Assim, por exemplo, para os
valores de e , sabemos que um deles tem de ser igual a 3, podendo o outro tomar
qualquer valor inteiro entre e , isto ,
pode ser igual
,
,
,
,
,
,
. Logo, existem hipteses para
. Analogamente, existem 15
hipteses para
e 27 hipteses para
.
Portanto, h
mnimo mltiplo comum igual a
pares ordenados de nmeros naturais

.
cujo
24
O raciocnio utilizado na resoluo deste exemplo idntico ao aplicado na demonstrao

do resultado que nos permite dizer que:
Se
uma factorizao de , ento existem
pares ordenados de nmeros naturais
com
Para finalizar este contedo, temos, ainda, uma igualdade que nos permite calcular o
produto dos divisores positivos de um nmero natural.
Para todo
temos
dem:
Este produto tem tantas parcelas

quanto o nmero de divisores de
Assim, obtemos
Soma dos Divisores

Para todo
a soma de todos os divisores naturais de
dada por
Observao.
1.
2.
25
Por exemplo, se
Se
ento
uma factorizao de , ento
Assim, para o exemplo anterior, como
temos
dem:
Os divisores de
so da forma
, com
Cada divisor de aparece exactamente uma nica vez como parcela na seguinte soma, uma
vez aplicada a propriedade distributiva:
Como cada um destes factores representa a soma de uma progresso geomtrica de razo
, obtemos o resultado pretendido.
Problema 2.11. Determina soma dos divisores pares de

Resoluo:
Como
todos os seus divisores so da forma

. Mas os divisores pares tm de incluir, pelo menos, um
factorizao, logo so da forma
com
e
.
, com
na sua
Assim, a soma dos divisores pares ser dada por:

+
26
Com isto terminamos a teoria relativamente aos problemas que no necessitam de tcnicas
especiais. De facto, de uma maneira ou de outra, os alunos at ao Ensino Secundrio esto
familiarizados com os temas estudados at aqui, facilitando o trabalho.
Segue-se um pequeno conjunto de problemas de modo a possibilitar a aplicao dos
contedos abordados e assim treinar os raciocnios expostos. Sero apresentadas algumas
resolues ou apenas sugestes de resoluo.
2.1. Mais alguns problemas

Problema 2.12. Dados dois nmeros primos diferentes, p e q, descobre quantos divisores
diferentes tem o nmero:
a)
b)
c)
d)
Resoluo:
Para qualquer uma das alneas sabemos qualquer divisor de cada um destes nmeros da
forma
, com
inteiros positivos, variando apenas o intervalo de nmeros
inteiros a que pertencem os expoentes e
a) Para este caso, mesmo sem utilizar a igualdade anterior, fcil verificar que os
divisores de
so:
e . Assim, so os divisores de .
b) Seja
ser igual
a:
e
,
(
divide
se
. Logo, para o par

pode
; obtendo os divisores
e
Assim, so
os divisores de
c) Analogamente ao que foi feito para b), temos que

divide
se
e
. Ento, existem possibilidades para cada um dos expoentes e Portanto,
o nmero de divisores ser igual ao nmero de combinaes possveis entre os expoentes
e , ou seja, para cada existem possibilidades para . Logo, existem
divisores de
d) bvio que a resoluo desta questo anloga s resolues anteriores, pois trata-se
da generalizao dos casos estudados.
Escrevendo por outras palavras, cada divisor de
igual ao produto entre um
divisor
e um divisor de
, isto , os divisores de so as diferentes combinaes
possveis entre os divisores de cada um dos primos que compe
Assim, para cada divisor de
divisor de
(
divisores de
.
(
ou seja,
ou seja,
divisores) escolhemos um
divisores). Logo, existem
27
Utilizando a frmula para o nmero de divisores de um nmero obteramos rapidamente

a resposta.
Logo,
Problema 2.13.
a) Prova que o produto de quaisquer trs nmeros naturais consecutivos divisvel por 6.
b) Mostra em que condies o produto de quaisquer trs nmeros naturais consecutivos
divisvel por 12.
Resoluo:
a) Para a resoluo deste problema h que observar que em qualquer grupo de trs
nmeros naturais consecutivos existe sempre um nmero par e existe sempre um nmero
mltiplo de . Assim, na factorizao deste produto ir constar pelo menos um e um .
Logo, como a factorizao de igual a
, conclumos que este produto divisvel
por
b) Primeiro observemos que
. Como j vimos, em qualquer grupo de trs
nmeros consecutivos, um deles mltiplo de , logo na factorizao do produto
quaisquer trs nmeros naturais consecutivos existe pelo menos um factor Assim, para
este produto ser divisvel por , a sua factorizao ter de incluir, tambm, a potncia
.
Seja
consecutivos.
, com
natural, o produto de trs nmeros naturais
Se for par ento

tambm par. Logo, na factorizao deste produto ir constar
pelo menos dois factores iguais a Assim, produto
consta da factorizao
de e, portanto,
.
Se for mpar ento
par e
mpar. Como o produto de dois nmeros
mpares mpar, significa que, para garantirmos a existncia da potncia
no produto
,
tem de ser mltiplo de .
c) Prova que o produto de quaisquer cinco nmeros naturais consecutivos divisvel por
30.
Sugesto: raciocnio semelhante ao aplicado na alnea 2.1.
Problema 2.14. Seja um nmero natural maior do que . Prova que

nmeros mpares consecutivos.
a soma de dois
Resoluo:
Sejam
dois nmeros impares consecutivos. Ento,
28
Logo, para
obtemos
Problema 2.15. Encontra todos os naturais

representam nmeros primos.
para os quais as expresses
Resoluo:
Como
sabemos que a soma destes trs nmeros
primos par, pois
. Assim, no mnimo um destes trs nmeros
par, pois a soma de trs nmeros mpares impar. A soma de dois nmeros par se
ambos forem pares ou se ambos forem mpares.
no pode ser par pois
sempre par para todo o e mpar, logo destes trs nmeros, apenas as expresses
e
podem representar nmeros pares.
O nico nmero primo par o , ento
Se
ento
Se 5
ento
Logo, apenas para
ou
e
.
.
as expresses dadas representam nmeros primos.
Problema 2.16. Determina o produto de todos os divisores inteiros positivos distintos de

Resoluo:
Na resoluo deste problema iremos aplicar a frmula do produto dos divisores de um
nmero natural, demonstrada no tema Nmero de divisores:
Precisamos de calcular o nmero de divisores de

determinar a factorizao de :
e por isso comecemos por
Assim,
Logo,
29
Problema 2.17.
a) O Emanuel multiplicou dois nmeros positivos de dois algarismos no seu caderno.
Depois substituiu todos os algarismos por letras (algarismos diferentes correspondem a
letras diferentes e algarismos iguais correspondem a letras iguais).
No final obteve
. Prova que o Emanuel cometeu um erro.
b) O Emanuel calculou o quadrado de um nmero positivo de dois algarismos no seu

caderno obtendo de novo o nmero
. Determina os valores de E e de F.
Resoluo:
a) Comecemos por analisar o membro da direita da igualdade.
Verificamos que o nmero

verdadeira, tambm
divisvel por . Assim, para a igualdade dada ser

ter de ser divisvel por .
Como
primo, se
ento
tem de fazer parte da factorizao de AB ou
de CD, isto , ou
ou
. Mas, qualquer nmero de dois algarismos divisvel
por
o algarismo das dezenas igual ao algarismo das unidades. Logo, como
e
temos que
nem
.
Portanto, se
no divide os dois membros da igualdade significa que
e por isso o Emanuel cometeu um erro.
b) O nmero obtido um quadrado perfeito, logo existe
inteiro tal que
Pela alnea anterior, sabemos que

mltiplo de
e, consequentemente,
tambm mltiplo de . Como um nmero positivo de dois algarismos podemos
escrever
. Experimentando os nove casos possveis (11, 22, 33, 44, 55, 66,
77, 88 e 99) o nico nmero que ao quadro da forma
o , pois
.
Portanto,
e
.
Problema 2.18. Considera um nmero escrito com cem algarismos iguais a 0, cem
algarismos iguais a 1 e cem algarismos iguais a 2. Poder este nmero ser um quadrado
perfeito?
Sugesto: Mostra que este nmero divisvel por 3 mas no divisvel por 9.
Resoluo:
Seguindo a sugesto dada, utilizaremos os critrios de divisibilidade por e por . Um
nmero divisvel por e por 9 se a soma dos seus algarismos for divisvel por e por
9, respetivamente.
Seja
o nmero em questo, ento
30
Logo, a soma dos algarismos de
Assim,
divisvel por
dada por
pois
mas no divisvel por
porque
Suponhamos que um quadrado perfeito, ento

. Como primo
e
ento existe
tal que
. Consideremos, sem perda de generalidade,
obtemos
, logo
Chegamos, assim, a uma contradio e
por isso no pode ser um quadrado perfeito.
Problema 2.19. Qual o ltimo algarismo do nmero 250.

Resoluo:
As primeiras potncias de base 2 so:
fcil perceber que o algarismo das unidades da prxima potncia ser igual ao produto
do algarismo das unidades da potncia anterior por 2, ou seja, 4, e assim sucessivamente.
Logo, obtemos um ciclo: o ltimo algarismo de
igual a
como , o ltimo
algarismo de
igual a como , o ltimo algarismo de
igual a como , o
ltimo algarismo de
igual a como , etc.
Logo, o algarismo das unidades de uma potncia de base
e por isso possvel determinar o ltimo algarismo de
de
por
Como
ento
repete-se de em potncias
calculando o resto da diviso
. Logo, o ltimo algarismo de
ao segundo elemento do ciclo, coincidindo com o ltimo digito de
Problema 2.20. Determina o menor nmero natural
tal que
ser igual
, que igual a
Resoluo:
Sabemos que
o produto de todos os naturais menores ou iguais a .
Como
e
ento
. Assim,
tem de dividir o
produto , mas
primo, o que significa que
um dos factores de e, portanto,
. Logo, o menor valor de nas condies do enunciado
Problema 2.21. Determina

em que existem cem algarismos 1
na representao decimal do primeiro nmero e sessenta algarismos 1 na representao
decimal do segundo nmero.
31
Resoluo:
Aplicando o algoritmo de Euclides:
Logo,
Problema 2.22. Qual o maior nmero natural

.
para o qual
divisvel por
Resoluo:
Faamos a diviso de
1
por
0
utilizando, por exemplo, a regra de Ruffini.

100
100
1
100
32
Ento,
Como
divide
divide
ento
tambm
O maior divisor de
o prprio
, logo o maior valor que
Portanto, o maior valor que pode tomar
Problema 2.23. Seja
pode tomar
um inteiro maior do que . Mostra que, de entre as fraces,
existe um nmero par de fraes irredutveis.

Resoluo:
Para a resoluo deste problema necessrio observar que
,
isto ,
e
e
Esta equivalncia facilmente demonstrada
utilizando as propriedades 7 e 8 da divisibilidade.
Assim, a fraco
Se
irredutvel se e s se a fraco
irredutvel, pois
para todo , ento emparelhando-as obtemos um nmero par de fraces
irredutveis.
Se
, para algum , ento
. Logo, a fraco redutvel pois
por isso o problema reduz-se ao caso anterior.
Problema 2.24. Sejam

tais que
dos dois nmeros divisvel pelo outro.
. Prova que um
Resoluo:
Queremos provar que ou
Sejam
Como
ou
e
e
.
.
podemos escrever
Visto que e so coprimos, a partir da relao entre o mdc e o mmc, temos
Assim, podemos escrever a igualdade do enunciado da seguinte forma:
33
Se
, ento
, logo
, ou seja,
.
, ou seja,
Se
, ento
, logo
Problema 2.25. Um nmero natural escrito em cada face de um cubo. A cada vrtice
atribudo o produto dos nmeros escritos nas trs faces que intersectam o vrtice. A soma
dos nmeros atribudos a cada vrtice igual a 1001. Descobre a soma dos nmero escritos
nas faces do cubo.
Resoluo:
Sejam
e os nmeros escritos em cada uma das faces, com e , e , e
escritos em faces opostas, e
e os vrtices do cubo. Suponhamos que na
face
est escrito o nmero .
Ento,
.
Assim,
Como
ento
e cada uma das somas

. Logo,
maior do que
34
Problema 2.26. Dizemos que um nmero composto que no divisvel por 2, 3 ou 5 tem
aspecto de primo. Por exemplo, os nmeros 49, 77 e 91 so os menores nestas condies.
Sabendo que existem
nmeros primos menores do que
, quantos nmeros
menores do que 1000 tm aspecto de primo?
Resoluo:
Para facilitar a resoluo deste problema vamos definir
menor ou igual a .
como o maior inteiro
Existem 999 nmeros menores do que 1000. Destes 999 nmeros,
so
pares, ou seja, divisveis por
so
so divisveis por 3 e
divisveis por 5.
Mas existem nmeros que so simultaneamente divisveis por mais do que um destes
nmeros. Assim, interessa-nos saber quantos nmeros so divisveis por , 10, 15 e 30.
Temos que, h
nmeros divisveis por 6;
divisveis por 15 e
divisveis por 10;
divisveis por 30.
Portanto, existem
divisveis por pelo menos um dos nmeros 2, 3 e 5.
nmeros que so
Para facilitar vejamos o seguinte diagrama de Venn:
n.s divisveis
por 2
267
134
n.s divisveis
por 3
133
33
66
33
67
n.s divisveis
por 5
Confirmamos que existem

so divisveis por pelo menos um dos nmeros 2, 3 e 5.
nmeros que
35
Dos restantes
nmeros,
so primos diferentes de 2, 3 ou 5.
Como, o nmero 1 no primo nem composto, temos
nmeros
com aspecto de primo.
Problema 2.27. O nmero

a sua soma.
tem exactamente quatro factores primos. Determina
Resoluo:
Vejamos que
, logo podemos escrever
Como
temos que
Facilmente se v que
uma
raiz deste polinmio e obtemos
a factorizao apresentada
Portanto, a resposta
Problema 2.28. Mostra que
so coprimos.
Resoluo:
e
Portanto,
so coprimos se e s se
36
Problema 2.29. Encontra vinte nmeros compostos e consecutivos.

Resoluo:
Por exemplo, a sequncia
enunciado.
, ,
satisfaz as condies do
Vejamos que
, logo
, logo
, logo
Do exemplo, facilmente se percebe que para qualquer natural, a sequncia
, formada por
nmeros compostos e consecutivos.
com
37
3. Teoremas teis
Neste captulo, pretende-se expor um conjunto de resultados que permitiro resolver
problemas mais complexos, que exigem um maior aprofundamento na teoria dos nmeros.
Os teoremas mais importantes sero demonstrados com a principal finalidade de apresentar
raciocnios e estratgias que sero teis para descobrir a soluo de alguns problemas.
Ao contrrio dos temas estudados no captulo anterior, a teoria aqui apresentada no
trabalhada no ensino no superior. No entanto, por utilizar muitos dos resultados anteriores
possvel torn-la acessvel aos alunos mais interessados.
Equaes Diofantinas
No captulo 2 foi apresentada a Identidade de Bzout que diz que se
, ento
existem inteiros
tais que
. Iremos agora estudar um pouco sobre estas
equaes.
A equaes do tipo
chamam-se equaes diofantinas lineares a duas variveis.
Esta designao deve-se ao matemtico grego Diofanto (sculo III d. C.), autor do livro
Aritmtica, que se dedicou resoluo de equaes em
. A todas as equaes para
as quais procuramos solues inteiras ou racionais chamamos de equaes diofantinas,
sendo as equaes lineares a duas variveis as mais simples.
Tambm foi visto na seco anterior que a equao
tem soluo se e s se
. Por exemplo, a equao
tem soluo pois
e
. Para alm disso, vimos como possvel escrever
como combinao
linear de
e 14.
Neste caso,
, pois
Logo,
uma soluo desta equao, mas no a nica.
Proposio. Sejam
e inteiros e
. Se
de
, ento as restantes solues so dadas por
for uma soluo particular
38
dem:
Sabemos que a equao
Se
ento
tem soluo se e s se
uma soluo ento

. Seja
outra soluo da equao dada
. Fazendo a diferena entre as duas equaes obtemos
Ou seja,
Faamos
ento pela proposio 3.1.6.
e so coprimos.
Dividindo a ltima equao por , obtemos

Assim, desta igualdade verificamos que
Lema de Euclides
Substituindo
, mas
, isto ,
por
. Ento
na equao
e so coprimos, logo pelo

.
obtemos
Problema 3.1. (Problema das cem aves) Este problema foi enunciado num livro chins do
sculo V, Manual aritmtico, de Zhang Quijan.
Um galo compra-se por 5 qian, uma galinha por 3 qian e 3 pintos por 1 qian. Se 100 aves
forem compradas por 100 qian, quantos galos, galinhas e pintos h?
Resoluo:
Sejam
nmeros naturais.
- representa o nmero de galos

- representa o nmero de galinhas
- representa o nmero de pintos
Traduzindo problema para linguagem matemtica, obtemos o seguinte sistema:
Simplificando,
39
A equao
uma equao Diofantina que tem solues se e s se

.
Apesar de ser fcil determinar o

algoritmo de Euclides.
sem clculos, iremos faz-los aplicando o
Como
sabemos que a equao tem soluo e podemos escrever
seguinte forma:
da
Mas, queremos escrever

como combinao linear de e . Logo multiplicamos
ambos os membros da ltima igualdade por
, obtendo o pretendido:
Sendo
solues gerais so dadas por:
uma soluo particular da equao

e
as
Substituindo na primeira equao do sistema, temos
Assim,
No entanto, no contexto do problema, sabemos que
40
Portanto, temos que

Para
, logo s pode ser igual a 26, 27 ou 28.
,
;
Para
,
;
Para
,
;
Congruncias
Na resoluo de problemas referentes divisibilidade, muitas vezes, conveniente
trabalhar, no com os nmeros dados, mas com os seus restos quando divididos por um
outro nmero. Assim, outra abordagem s questes relativas divisibilidade atravs dos
restos, conhecida como a teoria das congruncias. Desenvolvida pelo matemtico alemo
Gauss (1777-1855) no seu livro Disquisitiones Arithmeticae (traduo do latim:
Investigaes aritmticas).
Se um nmero mede a diferena entre dois nmeros e , ento
e
dizem-se congruentes em relao a ; caso contrrio,
incongruentes.
Gauss
Definio. Sejam
. Escreve-se
Observao: Se
Dizemos que
congruente com
mdulo
se
no congruente com , escreve-se
O smbolo utilizado para representar uma congruncia tambm foi introduzido por Gauss,
tendo sido escolhido devido s semelhanas da relao de congruncia com a relao de
igualdade.
possvel explicar esta relao utilizando um conceito presente no nosso dia-a-dia, a
medio do tempo. A medio do tempo est relacionada a fenmenos cclicos, como o
caso dos dias ou dos anos. Em relao ao dia sabemos que de 24 horas em 24 horas o
relgio reinicia a contagem.
Imaginemos uma situao em que duas pessoas diferentes, A e B, partem s 22h do mesmo
dia para uma viagem de 8 e 32 horas, respetivamente.
41
Logo, no dizemos que a pessoa A chegou s 30h e que a pessoa B chegou s 54h. Na
verdade, dizemos que ambas chegaram s 6h. Mas, como possvel?
Se pensarmos apenas no que foi dito at agora, faria sentido escrever
No entanto, igualdade falsa e, obviamente, deve-se ao facto de terem chegado em dias
diferentes.
Na verdade, temos que
e
. Assim,
podemos desprezar os mltiplos de 24, subtraindo-os ou adicionando-os, at obtermos a
hora certa.
Portanto, neste caso, dizemos que
, isto ,
Proposio. Sejam
Os nmeros
e tm o mesmo resto na diviso por
so congruentes mdulo
se e s se
dem:
()
Da diviso de
escrever
por
podemos escrever
, com
e da diviso de
por
podemos
Logo, podemos escrever
so congruentes mdulo , ou seja,
Como
mltiplo de
,e
ento
, logo
. Portanto,
()
Se
tm o mesmo resto na diviso por

, com
.
ento podemos escrever
42
Assim,
Logo,
A prxima proposio consequncia imediata do resultado anterior.
Proposio. A relao de congruncia uma relao de equivalncia, isto :

(a)
(b) Se
(c) Se
, ento
, ento
A classe de congruncia de um nmero inteiro

Cada resto possvel na diviso por
Por exemplo, se
as classes mdulo 4.
definida pelo conjunto
d origem a uma classe de congruncia.
, temos quatro classes de congruncia. A figura a seguir exemplifica
Legenda:
Classe do zero
Classe do 1
Proposio. Sejam
Classe do 2
Classe do 3
. Se
, ento:
e
Em particular,
dem:
Iremos demonstrar apenas para o produto,
praticar.
ento
ento
, deixando as restantes para
43
Logo,
Portanto,
, ou seja,
Observao:
Seja o resto da diviso de
por
ento
, pois
divisvel por 5, para todo
inteiro.
Resoluo:
Este problema idntico ao problema 2. Mas, agora, iremos resolv-lo aplicando as
congruncias. Iremos analisar os possveis restos da diviso de por , ou seja, iremos
trabalhar com o mdulo 5.
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
, logo
e
, logo
e
, logo
e
, logo
e
Problema 3.3. Prova que
, logo
divisvel por
Resoluo:
ento
ento
Logo,
Problema 3.4. Qual o resto da diviso do nmero

por ?
Resoluo:
Como
ento
, logo
Assim, temos
44

Logo,
Os famosos critrios de divisibilidade, estudados no Ensino Bsico, so um bom exemplo

da aplicabilidade das congruncias. Vejamos como podemos utilizar as congruncias para
descobrir o critrio de divisibilidade por .
Seja
, como podemos determinar o resto da diviso de
por ?
conhecida dos alunos a representao de um nmero na base

nmero natural se escreve de maneira nica na forma
Com
, em que qualquer
Iremos usar a congruncia mdulo . Como

.
pois
ento
Logo,
Portanto, o resto na diviso de

algarismos por
Por exemplo,
Isto ,
divisvel por
por 9 igual ao resto da diviso da soma dos seus
porque o resto da diviso de
por
diferente de zero.
se e s se a soma dos seus algarismos for divisvel por
Com o mesmo raciocnio obtemos o critrio de divisibilidade por

.
pois, tambm,
Desta forma, facilmente se deduzem os restantes critrios de divisibilidade.

Existem muitas outras reas com aplicaes prticas das congruncias, como por exemplo a
prova dos nove, o ISBN (International Standard Book Number) ou o nmero do bilhete de
identidade.
45
Proposio (Regras de clculo). Sejam

1. Se
ento
2. Se
, ento
em que
Em particular, se
com
3. Se
com
primo e
coprimos, ento
, ento
dem:
1.
. Ento,
2.
Se
ento
. Ento,
e so coprimos.
Dividindo a igualdade
, mas
por
obtemos,
e so coprimos, logo
3. Sai da demonstrao de 2., pois neste caso

4. Sai da demonstrao de 2., pois se
primo e
, isto ,
.
, entp
e so coprimos.
Equaes Lineares com Congruncias

possvel considerar equaes com congruncias e neste trabalho sero abordadas mas
mais simples, que so da forma
com
.
Comeamos por observar que se a equao
infinitas solues. Isto , se for soluo da equao e
uma soluo
tiver soluo, ento tem

, ento tambm
Por exemplo, consideremos a equao

. Como estamos a trabalhar com
mdulo , sabemos que ser congruente com um dos restos possveis da diviso por 6: 0,
1, 2, 3, 4 ou 5.
Experimentando cada um dos valores possveis verificamos que apenas
da equao.
so solues
46
Assim, todos os elementos da classe de congruncia do

equao.
Classe do
e da classe do
so solues da
; Classe do
e
No entanto, nem sempre vivel experimentar um elemento de cada classe, ou pelo menos
no o faramos caso estivemos a trabalhar com mdulo
Proposio. A equao
tem soluo se e s se
caso, h solues no congruentes, duas a duas.
. Neste
Verificamos que,
Em geral as solues desta equao so da forma
Observao: Existem
solues diferentes.
Corolrio. Se
(em particular, se
equao tem uma e uma s soluo (mdulo ).
Proposio. Seja
for primo e no dividir ), ento a
, a equao
pode ser simplificada para
Exemplos: Vejamos dois exemplos de como resolver equaes lineares.

1.
A equao tem soluo pois
, e existem
solues mdulo
Simplificando,
47
Como o mdulo pequeno podemos experimentar os valores possveis e determinar uma

soluo particular da equao. De facto, neste caso, como
, sabemos que esta
equao tem apenas uma soluo mdulo :
Logo, as trs solues da so:

;
Assim, todos os nmeros congruentes com ,

Portanto, as solues gerais so da forma:
;
ou
so tambm solues da equao.
2.
, e existe apenas
soluo mdulo
Neste exemplo, no praticvel experimentar todas as possibilidades por isso iremos

aplicar o mtodo geral.
Utilizando algoritmo de Euclides podemos determinar
tal que
Logo,
J vimos que a equao tem apenas uma soluo e

Portanto, as solues gerais so da forma
.
.
48
Teorema chins dos restos

Iremos agora considerar sistemas de congruncias. A resoluo destes sistemas baseia-se
num mtodo que aparece pela primeira vez na resoluo de um problema do sculo III, que
abordaremos de seguida. Falamos do famoso Teorema chins dos restos.
Teorema chins dos restos. Sejam
sistema de congruncias
tem soluo nica, mdulo
coprimos dois a dois, e
. Ento o
dem:
Seja
, para
Consideremos a equao
dois ento
coprimo com
. Seja
essa soluo.
definimos
. Como os nmeros
, logo a equao
so coprimos dois a
tem soluo mdulo
Ento, a soluo do sistema ai ser dada por

Seja
, verifiquemos que
ento
soluo de
, pois neste caso
por definio de .
. Observemos que, se
contm o factor . Alm disso,
Assim,
Se
for outra soluo, ento
Como os nmeros
so coprimos dois a dois ento
Problema 3.5. (Problema de Sun-Tzu)

Temos coisas, das quais no conhecemos o nmero.
Dividida por , o resto ,
por , o resto ,
e por 7 o resto 2.
Qual ser o nmero?
Resoluo:
Simplificando, pretende-se encontrar um nmero com restos ,
e , respectivamente.
na diviso por ,
Para resolver este problema temos de considerar o seguinte sistema de equaes
49
Consideremos
, logo
Pelo Teorema chins dos restos, temos de resolver as seguintes equaes
Portanto, uma soluo do sistema ser dada por

Por tentativas, obtemos
Logo,
Logo,
Logo,
A soluo geral do sistema dado por

tambm dadas por
.
Estas solues podem ser
Pequeno Teorema de Fermat e Teorema de Euler

Definio. Seja
se
Observao. Sejam
Proposio: Seja
ento
Por exemplo,
4. Mas, tambm,
. Dizemos que
.
e
um sistema completo de resduos se
um sistema completo de resduos, ento
um sistema completo de resduos

tambm um sistema completo de resduos.
e
para um e um s .
coprimo com ,
so dois sistemas completos de resduos (s.c.r) mdulo

um s.c.r, mas
j no um s.c.r. pois e no
so coprimos
Pequeno Teorema de Fermat. Se
primo, ento
se
para todo
,
.
dem:
Seja
primo,
um s.c.r. Pela proposio anterior
tambm um
s.c.r.
Assim, podemos escrever,
50
Logo,
. Como todos os nmeros que aparecem so coprimos com
podemos simplificar a equao, obtendo
.
Suponhamos agora que
no for,
qualquer. Se
for coprimo com , ento
Problema 3.6. Qual o resto da diviso de
por
. Se
Resoluo:
Pretendemos descobrir
Como
primo e
tal que
, pelo pequemo teorema de Fermat sabemos que
Assim,
divisvel por
Resoluo:
Factorizando o nmero
, obtemos
Vejamos ento quais os restos da diviso de

Como ,
por ,
so primos temos que

,
Logo,
Portanto,
por
Logo,
Definio (Funo de Euler). Seja

h entre e , coprimos com ; isto ,
, isto ,
divisvel por , por
. A funo conta o nmero de elementos que
A tabela que se segue apresenta os primeiros valores de
51
coprimos com
Proposio. Se
1, 2
1, 3
1, 2, 3, 4
1, 5
1, 2, 3, 4, 5, 6
1, 3, 5, 7
1, 2, 4, 5, 7, 8
10
1, 3, 7, 9
primo ento
e
Teorema de Euler. Se
coprimo com
, ento
Este teorema tambm conhecido como o Grande Teorema de Fermat.
Teorema: Se
coprimos
divisvel por
Resoluo:
Comecemos por calcular a factorizao de
Ento,
factores dividir
se e s se
mas
Portanto,
, isto , se e s se cada um dos
logo
mas
logo
mas
logo
, isto ,
.
52
4. Problemas avanados
Vejamos agora alguns problemas onde podem ser aplicados os contedos estudados no
captulo anterior.
Problema 4.1. (Mahaviracarya, 850) Havia 63 pilhas de fruta e 7 frutos soltos. Os frutos
foram divididos por 23 viajantes. Qual o nmero de frutos em casa pilha.
Resoluo:
Sejam ,
nmeros naturais em que

representa o n. de frutos por pilha
representa o n. de frutos de cada viajante
O problema pode ser traduzido pela seguinte equao
Ento,
Como
temos
Logo, para todo inteiro
.
,
soluo do problema.
53
Problema 4.2. Reduz
mdulo .
Resoluo:
Como
temos que
Logo,
divisvel por
Resoluo:
Como
, sabemos que
divisvel por
se e s se
.
Como
ento
Como
ento
Logo,
isto ,
Como
ento
Como
.
.
ento
Logo,
isto ,
Como
ento
.
Como
ento
Logo,
isto ,
Portanto,
Problema 4.4. Encontra trs inteiros consecutivos, sendo cada um divisvel por um
quadrado perfeito.
Sugesto: encontrar
tal que
Resoluo:
Seguindo a sugesto, pretende-se um nmero
tal que
54
Assim, obtemos um sistema de congruncias com trs equaes,
Iremos utilizar o Teorema chins dos restos para resolver este sistema.
Consideremos
, logo
.
Assim, temos de resolver as seguintes equaes auxiliares
Logo,
Logo,
Podemos determinar
por
tentativas ou resolvendo a equao
diofantina
.
Faamos um clculo auxiliar para determinar
Como
, utilizando o algoritmo de Euclides podemos escrever
)
Logo,
Portanto, uma soluo do sistema ser dada por
A soluo geral do sistema dado por

tambm dadas por
.
. Estas solues podem ser
Portanto, por exemplo, os nmeros 548, 549 e 550 so uma soluo do problema.
Verifica-se que, de facto,
.
55
Problema 4.5. Existe algum nmero natural
tal que
divisvel por
Resoluo:
Factorizando
, obtemos
Assim,
se e s se
Comecemos por investigar se
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Logo,
0
para todo
natural. Portanto, se
divisvel por , ento tambm no divisvel por
no
Problema 4.6. Quantos nmeros de quatro algarismos, com os algarismos do meio iguais a
so divisveis por ?
Resoluo:
Seja
a representao decimal do referido nmero de quatro algarismos.
Como
temos que
, sabemos que
s pode tomar os valores:
. Pelos critrios de divisbilidade de

ou ; e
.
Se
ento
Se
ento
Portanto, existem apenas dois nmeros nas condies do enunciado:
Problema 4.7. Seja

a)
ou
b)
ou
c)
ou
d)
ou
e)
ou
e de
um inteiro. Prova que:
ou
Resoluo:
A verificao destes casos ser til para a resoluo de outros problemas. Sendo o
raciocnio anlogo em todas as alneas, apenas algumas sero resolvidas.
56
a) Em mdulo
temos que
Se
ento
Se
ento
Se
ento
Logo,
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Logo,
.
.
como queriamos provar.
temos que
ou 4. Analisemos todos os casos possveis:
.
.
.
.
.
ou
d) Em mdulo
possveis:
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Logo,
ou
b) Em mdulo
ou . Analisemos os trs casos possveis:
ou

temos que
ou 8. Analisemos todos os casos
57
Problema 4.8. Seja

Prova que o nmero
o produto dos primeiros nmeros primos (mais do que um primo).

no pode ser um quadrado perfeito.
Resoluo:
Pela definio de
por .
sabemos que um dos seus factores igual a , isto ,
divisvel
Logo,
. Pelo alena a) do problema 4.4. sabemos que um quadrado
perfeito congruente com ou com em mdulo 3. Portanto,
no pode ser um
quadrado perfeito.
Problema 4.9. Descobre todos os primos
tal que
Resoluo:
Como
Como
so distintos e por isso coprimos.
, temos que
Assim,
Mas,
so coprimos e por isso tambm
Logo,
so coprimos.
, isto ,
Analogamente,
. Como e so coprimos, tambm o so
e
. Logo,
, ou seja,
. Como os divisores de so os
nmeros e , facilmente se verifica que
e por isso
Portanto,
Problema 4.10. Seja
primo. Prova que
divide
para todos os inteiros
Resoluo:
Comecemos por observar que
Se
.
ento
. Mas se
).
, ento
Pelo pequeno teorema de Fermat temos que

. Logo,
Portanto,
para todo .
so coprimos, assim como

e
, ou seja,
, isto ,
.
58
Problema 4.11. Seja
primo com
. Prova que
Resoluo:
obtemos
se
, ou seja, se e s se
. Logo,
se e s se
. Factorizando,
, isto , se e s
Pelo pequeno teorema de Fermat

isso, coprimo com e com Assim,
, pois
e por
e
Qualquer nmero mpar e
so primos entre si, logo
teorema de Euler temos que
so coprimos. Pelo
. Como
temos que
.
Portanto,
e, por isso,
Problema 4.12. A soma dos algarismos do nmero

na sua representao decimal
igual a Seja a soma dos algarismos de . Determina a soma dos algarismos de .
Resoluo:
Sejam
decimal para todo
Como
Logo,
e
a soma dos algarismos do nmero
natural.
na sua representao
podemos escrever
no pode ter mais do que
algarismos na sua representao decimal.
Como cada algarismo no mximo igual a , temos que
Dos nmeros naturais menores ou iguais do que

, o nmero com a maior soma
dos algarismos que o constituem o
. Por isso,
. Assim, dos
nmeros menores do que , o
o nmero com o maior valor da soma dos seus
algarismos. Logo, a soma dos algarismos de
.
Utilizando o critrio de divisibilidade por , temos que
Portanto, basta saber o resto da diviso de
por .
Como
Logo, a soma dos algarismos de
temos que
igual a 7.
59
Problema 4.13. Seja um primo da forma

que divide
inteiros e . Prova que e so ambos divisveis por .
para alguns
Resoluo:
Iremos resolver este problema tentando chegar a uma contradio, por isso suponhamos
que
.
Como
divide
divide
. Logo,
ento tambm
.
Assim, podemos escrever

Por isso,
forma
tambm no divide
assim como
temos que
.
. Aplicando o pequeno teorema de Fermat vem que
, isto ,
. Logo, como
da
Portanto,
Como
ento
, isto ,
so coprirmos,
. Esta concluso e o facto de
que
hiptese.
. Como
implica
vem que
Problema 4.14. Determina todos os inteiros positivos

perfeito.
divide , o que contradiz a
para os quais
um cubo
Resoluo:
Para a resoluo deste problema iremos utilzar o que j foi provado na alnea d) do
problema 4.4: qualquer cubo congruente com , ou
em mdulo .
Vejamos o que acontece para os primeiros valores de
,
,
,
,
,
,
Assim, verifica-se que para
representa um cubo perfeito.
apenas quando
a expresso
Quando toma valores maiores do que temos que

divide , isto ,
pois na factorizao de constam, pelo menos, dois factores iguais a .
Logo, se
Portanto,
ento
um cubo perfeito apenas para
.
60
no pode representar a soma de dois cubos perfeitos.
Sugesto: Verifica que qualquer cubo perfeito congruente com
ou
Resoluo:
Vimos que qualquer cubo congruente com ,
razo utilizar mdulo em vez de mdulo
ou
em mdulo . Ento por que
Em mdulo
, a soma de dois cubos sempre congruente com um dos nmeros:

. Como
ento
. No entanto, no
podemos concluir nada, pois o recproco do que foi verificado em 4.4. d) no
verdadeiro.
Vamos ento seguir a sugesto e trabalhar em mdulo
Analogamente ao que foi feito em 4.4. d), facilmente verificamos que qualquer cubo
perfeito congruente com
ou
mdulo .
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Assim, a soma de dois cubos sempre congruente com um dos nmeros:

Como
ento
.
Logo,
se
for par temos
se
for mpar temos
Portanto,
no pode representar a soma de dois cubos perfeitos.
61

natural.
divisvel por
para qualquer que seja
Resoluo:
Problema 4.17. Mostra que qualquer nmero natural congruente com o seu ltimo
algarismo mdulo 10, mdulo 2 e mdulo 5.
Resoluo:
Seja
natural. Podemos escrever
Ento
Isto ,
Portanto, ao subtrairmos o ltimo algarismo a

unidades igual a zero e por isso divisvel por
Como
seja,
obtemos um nmero cujo algarismo das

.
, verificamos que este nmero tambm divisvel por
e por
ou
Problema 4.18. possvel escrever um quadrado perfeito usando apenas os algarismos

e , cada um deles, exactamente dez vezes?
Sugesto: utiliza congruncias mdulo .
Resoluo:
Seja
um quadrado perfeito nas condies do enunciado.
A soma dos algarismos de igual a

Mas, nenhum quadrado perfeito congruente com
verificar:
.
em mdulo
, como podemos
62
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Se
ento
Logo, no possvel que
seja um quadrado perfeito.
Problema 4.19. Prova que o nmero
no primo.
Sugesto: mostra que o nmero divisvel por
Resoluo:
Como
primo e
pelo pequeno teorema de Fermat temos que
Assim,
Portanto,
e por isso
no primo.

Resoluo:
Portanto, o critrio de divisibilidade por diz: qualquer nmero natural divisvel por
se e s se o nmero formado pelos seus dois ltimos algarismos for divisvel por . Por
exemplo, o nmero
divisvel de porque
divisvel por .
Problema 4.21. O ltimo algarismo do quadrado de um nmero natural

Prova que o algarismo das dezenas mpar.
igual a
63
Resoluo:
Comeemos por observar que para todo ,
ltimo algarismo tambm par; e que
logo o seu ltimo algarismo mpar.
Como o ltimo algarismo de
igual a
um nmero par, logo o seu

um nmero mpar,
ento
par.
O quadrado de qualquer nmero par divisvel por , pois

. Assim, pelo critrio
de divisibilidade por , sabemos que os ltimos dois algarismos de divisvel por .
Existem as seguintes possibilidades para os dois ltimos algarismos de :
, 46, , , ,
e . Destas dez possibilidades, apenas , , ,
mltiplos de , e em todos os casos o algarismo das dezenas mpar.
Problema 4.22. Determina todos os primos

tais que
divisores distintos (incluindo e o prprio nmero).
,
,e
,
so
tem exactamente seis
Resoluo:
Se
, pelo pequeno teorema de Fermat,

. Por isso
, isto ,
). Analogamente, se
, pelo teorema de Euler,
, e por isso
, isto ,
).
Assim, para
e
vem que
, ento
). Como
tem seis divisores
tem de ter mais do que seis divisores.
Portanto, falta verificar os casos em que
Se
, ento
, que tem apenas quatro divisores
ento
, que, de facto, tem seis divisores
apenas
soluo do problema.
e
e
Se
,
. Por isso,
Problema 4.23. Sabendo que

um nmero com nove algarismos distintos, sem calcular
o valor do nmero, determina qual dos dez algarismos est a faltar.
Resoluo:
Vejamos que um nmero constitudo pelos dez algarismos, de
pois
a , um mltiplo de ,
.
Logo, para sabermos qual o algarismo em falta, basta saber qual o resto da diviso de
por
Pelo teorema de Euler, como
ento
so coprimos e
. Logo,
Portanto, a soma dos algarismos do nmero

quando dividido por , ou seja, igual a
Como
menor do que
.
e tem resto igual a
, o algarismo em falta o .
Neste caso, possvel verificar que de facto
.
64
Problema 4.24. Seja um nmero natural que no divisvel por

ou
divisvel por .
. Mostra que
Resoluo:
Pelo pequeno teorema de Fermat, sabemos que
Como
.
, ento um dos factores,
, divisvel por
ou
Problema 4.25. Seja

um nmero primo. Mostra que o nmero
algarismos iguais a divisvel por
com
Resoluo:
Como
temos que
so coprimos, pois
.
Portanto, em mdulo
isto ,
. Logo, pelo pequeno teorema de Fermat
obtemos
divide o nmero
Problema 4.26. Determina o ltimo algarismo (alagrismo das unidades) dos nmeros:
a)
b)
Resoluo:
Em ambas as alneas basta determinar o resto da diviso de cada um dos nmeros por
a) Podemos utilizar o teorema de Euler pois
coprimo com , com
e com
Ento,
65
Assim,
Portanto,
b) Pela alnea a) vimos que
de
Como
, logo interessa-nos saber qual o resto da diviso
por .
e coprimo com , temos que

para todo natural. Logo,
Assim,
e por isso
.
e obtemos
Problema 4.27. Determina os ltimos trs algarismos do nmero
Resoluo:
Neste caso necessrio determinar o resto da diviso de
por
Temos que
Como e
calcular
so coprimos, podemos aplicar o teorema de Euler e por isso vamos
Logo, necessrio calcular

Como
para algum
ou
divide
mdulo
, temos que
natural.
Mas,
66
Logo,
Novamente, utilizando o teorema de Euler, como
Portanto,
, temos
e por isso
Logo,
Ao escrever
possvel aplicar o Binmio de Newton
Como todos os termos mltiplos de

, temos
, com
Problema 4.28. Seja

a) Mostra que se
por .
b) Prova que se
so congruentes com zero, mdulo
um nmero primo.
diferente de
ento nmero
ento o nmero
( algarismos
algarismos
no divisvel
divisvel por .
Resoluo:
a)
a possibilidade de dividir
Logo,
(repara que
, ou seja,
e por isso existe
no divisvel por
pois
b)
Logo,
, ou seja,
pois
divisvel por
pois
67
Problema 4.29. Seja

divisvel por .
um nmero natural. Prova que
divisvel por 2, mas no
Resoluo:
logo
logo
Problema 4.30. Encontra
tal que
Resoluo:
Vejamos primeiro que
Assim, temos que
Pelo problema 4.29 verificamos que
divisvel por
mas no divisvel por
para todo
. Logo, no produto
factores iguais a
Como
existem
, no total na factorizao de
existem
factores iguais a
Portanto,
68
5. Coleco de problemas
Segue-se um conjunto de problemas com o objectivo de desafiar o aluno, permitindo a
aplicao dos conhecimentos adquiridos nos captulos anteriores.
As solues ou sugestes de resoluo destes problemas encontram-se no final do captulo.
divisvel por . Ser verdade que
divisvel por
? Ser tambm divisvel por

o
Problema 5.4. Determina
divisvel por ?
encontra o
Problema 5.6. Indica todos os nmeros naturais que so soluo da equao
Problema 5.7. Encontra
Problema 5.5. Quantos zeros h no final da representao decimal do nmero
Sugesto:
?
.
o maior divisor do nmero
tal que
Problema 5.8. Sem utilizar congruncias, mostra que

todo o
no divisvel por , para
Problema 5.9. Sem utilizar congruncias, qual o resto da diviso de
por .
Problema 5.10. Sejam

e
dois nmeros naturais de dois algarismos. Prova que a soma
destes dois nmeros um nmero composto.
Problema 5.11. (Euler,
e a outra mltipla de .
) Divide
em duas parcelas, sendo a primeira mltipla de
Problema 5.12. Qual o ltimo algarismo do nmero

Problema 5.13. Qual o resto da diviso de
por .
divisvel por .
69
Problema 5.15. Determina todos os naturais
tais que o nmero
no um
quadrado perfeito..
Problema 5.16. Seja um nmero de cinco algarismos distintos, todos pares. Pode
um quadrado perfeito?
um quadrado perfeito?
Problema 5.18. Descobre o resto da diviso de

Problema 5.19. Sejam , , ,
no divisvel por
ser
por
algarismos distintos. Prova que o nmero representado por

.
Problema 5.20. A soma de dois nmeros algarismos e

nmero representado por
tambm divisvel por .
divisvel por . Mostra que o
Problema 5.21. Seja um nmero inteiro maior do que . Prova que

pode ser uma potncia perfeita.
no
70
5.1. Solues/Sugestes
Problema 5.1. No. Encontra um contra-exemplo.
Problema 5.2. A resposta s duas perguntas no. Factoriza os nmeros
Problema 5.3.
Problema 5.4.
Problema 5.5. Repara que se um nmero tem

zeros no final da sua representao
decimal, ento divisvel por
O nmero
termina com
zeros.
Problema 5.6.
Problema 5.7. Observa que

como o produto de dois polinmios de grau menor.
Problema 5.8. Analisa os restos da diviso de
e escreve
por
Problema 5.9. Comea por determinar os restos das divises de

valores de
. O resto igual a .
mltiplo de
Problema 5.11. Resolve a equao diofantina
por
para os primeiros
.
.
Problema 5.12. O ltimo algarismo igual a .

Problema 5.13. O igual a 6.
congruente com zero, mdulo
Problema 5.15. O nmero dado um quadrado perfeito apenas para

.
Mostra que
71

Problema 5.17. No. Mostra que
Problema 5.18. Utiliza o pequeno teorema de Fermat. O resto igual a 7.
Problema 5.19. Utilizando o critrio de divisibilidade por 11, mostra que nmero
divisvel por
e o nmero
no .
Problema 5.20.
Problema 5.21. Visto que
, ento no pode ser quadrado
perfeito, nem potncia perfeita de expoente par. Para potncias de expoente mpar, verifica
diretamente para
e depois mostra que para
o nmero
no
mltiplo de .
72
6. Referncias bibliogrficas
Andreescu, Titu; Andrica, Dorin; Feng, Zuming, 104 Number Theory Problems, Boston,
Birkhuser, 2007
Burton, David. M, Elementary Number Theory, New York, McGraw-Hill, 2002
Burton, David. M, The History of Mathematics: An Introduction, New York, McGraw-Hill, 2006
Engel, Arthur, Problem-Solving Strategies, New York, Springer, 1998
Fomin; Dmitri; Genkin, Sergey; Itenberg, Llia Mathematical Circles (Russian

Experience), Hyderguda, Universities Press, 1998
Freitas, Pedro J., Apontamentos da cadeira Teoria Elementar dos Nmeros, 2012
Hong-Bing, Yu, Mathematical Olympiad Series (Vol. 2) Problems of Number Theory

in Mathematical Competitions, Shanghai, East China normal University Press and World
Scientific Publishing Co. Pte. Ltd., 2010
Krantz, Steven G., Techniques of Problem Solving, USA, American Mathematical

Society, 1997
Zeitz, Paul, The Art and Craft of Problem Solving, USA, John Wiley & Sons, Inc., 2007
73
74

Ulfc106025 TM Dúnia Pontes

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Ulfc106025 TM Dúnia Pontes

Uploaded by

Copyright:

Available Formats

Universidade de Lisboa

Problemas de Teoria dos Nmeros

Problemas de Teoria dos Nmeros

Orientador: Professor Doutor Pedro Jorge Santos Freitas

Palavras-chave: teoria dos nmeros, problemas, divisibilidade, primo, congruncias.

(No foi escrita ao abrigo do novo acordo ortogrfico)

God created the integers, all else is the work of man.

consequentemente, pode dizer-se que os problemas e a resoluo de problemas esto no

1.1. Breve incurso na Histria da Matemtica

Povos como os egpcios ou os babilnios criaram formas de representao dos nmeros

de referir que ao longo do trabalho o conjunto dos nmeros inteiros (positivos e

2. Problemas que no envolvam tcnicas especiais

inteiros, dizemos que

, isto , inteiro. Denota-se por

. Neste caso, tambm se diz que

(ou seja, no existe

Temos ainda que:

A partir da definio de divisibilidade possvel obter algumas propriedades simples.

para qualquer que seja

surgem aos pares. No caso de

tambm divide , logo se

ento existe um nico par

de nmeros inteiros tal

o quociente e o resto da diviso de

Problema 2.2. Prova que o nmero

divisvel por 3, para qualquer natural .

Obtida a expresso anterior, analisaremos cada um dos casos.

, diz-se que primo se for divisvel apenas por

dem: Suponhamos que existe um nmero finito

Problema 2.3. Sejam e dois inteiros primos. Sabendo que a equao

as duas razes da equao dada. Sendo as razes distintas suponhamos que

Apesar de no constar do programa de Matemtica, ao estudar a frmula resolvente no

Ainda, primo dizemos que

for o maior natural tal que

Teorema Fundamental da Aritmtica

um nmero primo e por isso

Provavelmente, muitos consideram trivial a existncia da decomposio em factores

. Ser que podemos afirmar que

Pela igualdade, verificamos que

A esta representao chamamos factorizao de . Note-se que a factorizao do produto

O resultado seguinte ser utilizado na resoluo dos exemplos apresentados. A sua

divisvel por 8? E por 9?

existe apenas um factor 3, mas

4.2. Seja natural tal que

Mximo Divisor Comum e Mnimo Mltiplo Comum

dois inteiros. Dizemos que

o mximo divisor comum de

dois inteiros. Dizemos que

o mnimo mltiplo comum de

O mnimo mltiplo comum de

e b, o menor inteiro positivo que divisvel por

o maior natural de entre todos os divisores comuns a

o menor natural de entre todos os mltiplos comuns a

Problema 2.5. Dados os nmeros

Problema 2.6. Dados os nmeros

o nmero que procuramos, ento podemos representar de cinco formas diferentes:

Observando as diferentes representaes verifica-se que

Temos que 2, 3 e 5 so nmeros primos e

, logo pela propriedade 9 da divisibilidade

Com um raciocnio anlogo ao anterior, temos que

so definidos como mximos do mesmo conjunto, logo so

O algoritmo de Euclides consiste na aplicao repetida do algoritmo da diviso:

, pelo algoritmo da diviso