Você está na página 1de 76

UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA - UESB

DEPARTAMENTO DE CINCIAS EXATAS E TECNOLGICAS DCET


CURSO DE LICENCIATURA EM MATEMTICA

DINGUISTON DOS SANTOS BISPO

EQUAES DIOFANTINAS LINEARES


E SUAS APLICAES

Vitria da Conquista - BA
2013

DINGUISTON DOS SANTOS BISPO

EQUAES DIOFANTINAS LINEARES


E SUAS APLICAES

Monografia apresentada ao curso de


Licenciatura
em
Matemtica
da
Universidade Estadual do Sudoeste da
Bahia UESB / Campus de Vitria da
Conquista - BA, para obteno do ttulo
de Licenciado em Matemtica, sob
orientao da Prof.Antnio Augusto
Oliveira Lima.

Orientador: Prof.Antnio Augusto Oliveira Lima.

Vitria da Conquista - BA
2013
2

FOLHA DE APROVAO

DINGUISTON DOS SANTOS BISPO

EQUAES DIOFANTINAS LINEARES E SUAS


APLICAES

Monografia apresentada como requisito para obteno do ttulo de Licenciado em


Matemtica no curso de Licenciatura em Matemtica da Universidade Estadual do
Sudoeste da Bahia UESB.
Aprovada em _____de _______________de_______

Componentes da banca examinadora:

______________________________________________________
Prof. Antnio Augusto Oliveira Lima.
Orientador

______________________________________________________
Prof. Ms. Wallace Juan Teixeira Cunha

______________________________________________________
Prof. Ms. Clnia Andrade Oliveira de Melo

AGRADECIMENTOS

Quero expressar aqui a minha gratido a todos que, direta ou indiretamente


contriburam para minha formao acadmica e a realizao desse trabalho.
A Deus por me fortalecer e iluminar nos momentos mais difceis da vida
universitria e ainda por me ter dado sade fsica e mental para enfrentar os
desafios que a vida nos oferece.
A meus pais por sempre me apoiarem nas minhas decises.
A minha amada esposa que amavelmente me acompanhou em todos os
momentos decisivos na minha vida.
A UESB por oferecer uma excelente formao acadmica que nos prepara
para a vida.
A todos os professores do curso de Licenciatura em Matemtica e em
especial ao meu orientador Antnio Augusto Oliveira Lima que gentilmente
disponibilizou tempo, dedicao, flexibilidade, carisma, ateno e proporcionou uma
grande evoluo pessoal e profissional.
Aos meus carssimos colegas, pela troca de experincias e discusses
enriquecedoras nos grupos de estudos que sempre fazamos.
Em fim, a todos vocs o meu muito obrigado.

Um bom ensino da Matemtica forma


melhores hbitos de pensamento e habilita o
indivduo a usar melhor a sua inteligncia.
Irene de Albuquerque

Sumrio
INTRODUO ......................................................................................................................... 7
1. REFERENCIAL HISTRICO ......................................................................................... 8
2. REFERENCIAL TERICO ........................................................................................... 13
2.1. Divisibilidade em Z ..................................................................................................... 13
2.2.Mximo Divisor Comum ............................................................................................. 15
2.3.Algoritmo da Diviso de Euclides ............................................................................. 16
2.4 Teoria da Congruncia ............................................................................................... 25
2.5 Congruncia Linear..................................................................................................... 35
3.EQUAES DIOFANTINAS LINEARES ....................................................................... 42
3.1. Condio de Existncia de Soluo ....................................................................... 44
3.2.Solues da equao a.x + b.y

c........................................................................... 45

3.3. Usar a congruncia linear para resolver equaes diofantinas ......................... 52


3.4.Equaes Diofantinas Linear com 3 variveis ....................................................... 53
4. APLICAES DAS EQUAES DIOFANTINAS LINEARES .................................. 58
4.1 Problemas Envolvendo Equaes Diofantinas Lineares ...................................... 58
4.2.Utilizando o Winplot .................................................................................................... 68
CONSIDERAES FINAIS ................................................................................................. 74
REFERNCIA BIBLIOGRAFIA ........................................................................................... 75

INTRODUO
Este trabalho tem como finalidade auxiliar estudantes na resoluo e
compreenso de problemas envolvendo Equaes Diofantinas Lineares com Duas e
at Trs incgnitas atravs dos conceitos da teoria dos nmeros. Pretende-se no
desenvolvimento desse estudo promover uma integrao entre Aritmtica com a
lgebra e tambm a Geometria ao utilizar o programa computacional Winplot como
suporte para a visualizao grfica de solues inteiras das Equaes Diofantinas.
Inicialmente fazemos um breve estudo da histria da lgebra ilustrando os
principais fatos que contriburam para o desenvolvimento da lgebra e acerca da
vida de Diofanto. A quem se deve o surgimento deste contedo, viveu
presumivelmente no sculo III em Alexandria - Egito, j sob o domnio de Roma. Foi
o nico matemtico da Grcia antiga que se dedicou teoria dos nmeros. Fazia
uso de mtodos geomtricos para deduzir e provar suas afirmaes.
Nos prximos captulos vamos conhecer melhor a essncia da Teoria
Elementar dos Nmeros, pois apresentaremos e demonstraremos as ferramentas
matemticas que sero utilizadas na resoluo das Equaes Diofantinas Lineares,
algumas delas j conhecidas, que o caso do mximo divisor comum (m.d.c) e a
poderosa ferramenta para calcul-lo, algoritmo de Euclides. Destaca-se tambm o
papel da Congruncia Linear na resoluo desses problemas. Ao estudar Equaes
Diofantinas Lineares da forma a.x + b.y

c, com a, b e c inteiros conveniente

perguntar:
Sob quais condies a equao admite solues inteiras?
E se existem essas solues, como determin-las?
Em seguida sero introduzidas as equaes diofantinas e os mtodos de
determinao de solues da mesma para aplicao em resoluo de problemas do
cotidiano.
No quarto capitulo apresentamos algumas situaes-problemas, a fim de
aplicar os mtodos acima referidos para resoluo de problemas aritmticos.
Por fim esta monografia deseja mostrar o desenvolvimento a importncia da
interpretao algbrica e geomtrica das Equaes Diofantinas Lineares, e que o
contato com problemas desta rea contribui para que o aluno desenvolva, de forma
criativa suas habilidades de raciocnio.
7

1.

REFERENCIAL HISTRICO

Para podermos compreender as primeiras manifestaes ditas algbricas


fazemos meno de uma pequena diviso histrica acerca da lgebra, sugerida por
Sr.G.H.FNesselmenn (1842) que destaca-se em trs momentos distintos:
-O Retrico ou Verbal conhecido tambm pelo desenvolvimento da lgebra
pr-diofantina em que os argumentos da resoluo de um problema so escritos em
prosa pura, sem abreviaes ou smbolos especficos.
-Sincopado, aqui se adotavam algumas abreviaes para das quantidades e
operaes que se repetem mais frequentemente.
-Simblico, nesse momento as resolues se expressam numa espcie de
taquigrafia matemtica formada por smbolos que aparentemente nada tm a ver
com os entes que representam. (Ives, p.206).
Notemos que no h possibilidades de definir uma linha de demarcao exata
acerca do desenvolvimento da lgebra na historia da matemtica. Visto que foram
inmeras influencias em diferentes tempos que contriburam para a formao da
lgebra que estudamos. Desta forma, mostraremos alguns fatos histricos que
evidenciaram o papel da lgebra no pensamento matemtico.
Desde os primrdios que so notveis a nfase dada aos procedimentos e
resoluo de tcnicas nos problemas de equaes.
Por volta de 2000 a.C a aritmtica babilnica parecia ter evoludo para uma
lgebra retrica desenvolvida. Eles resolviam equaes lineares e quadrticas com
duas incgnitas, tanto pelo mtodo equivalente ao de substituio numa frmula
geral, como pelo mtodo de completar quadrados. A lgebra naquela poca era
utilizada para resolver problemas por meio de equaes que ainda, nos dias de hoje,
requerem uma considervel habilidade numrica, e nota-se ainda que os babilnicos
eram infatigveis construtores de tbuas de clculos, calculistas extremamente
hbeis e certamente mais fortes em lgebra do que em geometria. (Eves, 2004,
p.63)
Devido a sua importncia histrica faz-se necessrio destacar a civilizao
egpcia. Os mais conhecidos documentos antigos da historia da matemtica so os
papiros egpcios. Os papiros de Rhind e de Moscou juntos contm 110 problemas de
origem prticas com questes sobre po, cerveja, o balanceamento de raes para
o gado e aves. As resolues de boa parte dos problemas eram feitas por uma
8

equao linear com uma incgnita, utilizando a regra da falsa posio que mais
tarde foi desenvolvido na Europa.
Percebe-se que nesse perodo a busca por solues das equaes algbricas
eram feitas de modo especifico, no se se preocupava com a generalizao do
conhecimento matemtico.

Os Gregos
Na era grega nota-se o surgimento de um nmero significativo de
matemticos que se preocupavam em buscar solues para problemas matemticos
no de ordem prtica, mas que representava um pensamento mais generalizado das
questes matemticas de forma dedutiva com manipulaes geomtricas. A
caracterstica principal desse perodo a passagem da lgebra aritmtica para a
lgebra geomtrica, destacando-se a resoluo de equaes lineares e quadrticas
atravs do mtodo das propores e aplicaes de reas, tais mtodos parecem ter
origens nos pitagricos.
Uma das melhores fontes de problemas algbricos gregos antigos a coleo
conhecida como Palatine ou Antologia Grega. Trata-se de uma coleo de quarenta
e seis problemas numricos, em forma epigramtica, reunida por volta de 500 D.C.
pelo gramtico Metrdoro.
-Euclides (c. 300 a.c.): Em os Elementos, apresentava-se a resoluo das
identidades algbricas por meio da terminologia geomtrica. Demonstrou com
clareza a seguinte preposio: (a + b)2 = a2 + 2ab + b2.
-Hero de Alexandria (150 a.C. a 250 d.C.?): Supe-se que era um egpcio
com formao grega. A sua mais importante obra A Mtrica composta por trs livros
sendo descoberta s em 1896 em Constantinopla por R. Schone Trata-se de
problemas de mensurao e do seu principal mtodo de aproximar a raiz quadrada
de um inteiro que no quadrado perfeito. Tal mtodo hoje frequentemente usado
nos computadores.
-Diofanto: Matemtico grego, pouco se sabe, presumindo-se que nasceu em
cerca de 200 d.C. em Alexandria, no Egito, uma colnia grega e morreu em cerca de
284 d.C., tambm em Alexandria. A nica evidncia para essa data que Antlios
Bispo de Laodiceia sendo um matemtico de talento, que comeou seu episcopado
em 270 d.C, dedicou um livro seu amigo Diofantos. Devido a uns versos

encontrados no seu tmulo, em forma de um enigmtico problema, deduz-se que


viveu 84 anos.
Deus lhe concedeu ser menino pela sexta parte de sua vida, e somando sua
duodcima parte aisso, cobriu-lhe as faces de penugem. Ele lhe acendeu a lmpada
nupcial aps uma stima parte, e cinco anos aps seu casamento concedeu-lhe um
filho. Ai! Infeliz criana; depois de viver a metade da vida de seu pai, o Destino frio o
levou. Depois de se consolar de sua dor durante quatro anos com a cincia dos
nmeros, ele terminou sua vida. (BOYER, [3]).
Diofanto escreveu trs trabalhos: Aritmtica, o mais importante, do qual
remanesceram seis dos treze livros; Sobre Nmeros Poligonais do qual restou
apenas um fragmento; e Porismas, que se perdeu. Foi um gnio que se diferenciou
dos demais de sua poca pela originalidade, pelo seu alto grau dehabilidade
matemtica e profundidade de suas obras. Atravs de sua obra Aritmtica fez uma
abordagem analtica da teoria algbrica dos nmeros. (Ives, p. 205 a 207). Segundo
estudiosos, em sua obra Aritmtica, Diofanto s se interessava por solues
racionais positivas, no aceitando as negativas ou as irracionais. Este livro
considerado o primeiro manual de lgebra que usa smbolos para indicar incgnitas
e potncias, e apresenta a resoluo exata de equaes indeterminadas. As outras
obras tratam de um trabalho sobre fraes, introduzindo o emprego de nmeros
fracionrios. Os problemas estudados por Diofante so problemas indeterminados
que exigem solues inteiras (ou racionais) positivas e envolvem, em geral,
equaes de grau superior ao primeiro. Mesmo assim, hoje em dia, equaes
indeterminadas do primeiro grau, com coeficientes inteiros, so chamadas equaes
diofantinas em homenagem ao pioneirismo de Diofante nessa rea, das quais,
veremos mais adiante as suas aplicaes.

rabes e Hindus
Al-khwarizmi um dos principais nomes da poca escreveu umas das mais
importantes obras do estudo das equaes llmal-JabrWa al Muqabalah, que pode
ser entendida como restaurao por transposio de termos de um lado da
equao para o outro. Nesse livro aparecem pela primeira vez regras para a
resoluo de equaes do 1 e 2 graus com coeficientes numricos.
A matemtica hindu era desenvolvida de forma intuitiva, dois matemticos
que contriburam significativamente para historia da lgebra foi Brahmagupta e
10

Bhskara. Segundo Bashmakova e Smirnova (2000), Brahmagupta matemtico


hindu que viveu em 628 na ndia central, encontrou solues gerais das equaes
quadrticas, determinando duas razes, inclusive uma delas negativa. Pode observar
a influencia da matemtica grega em Brahmagupta. Ele foi o primeiro a encontrar
todas as solues inteiras possveis para a equao linear diofantinaa.x + b.y

onde a, b e c so inteiros, enquanto Diofanto, em sua poca, procurava uma soluo


racional qualquer.
No sculo XII com sua obra Lilavati, Bhskara veio unificar a soluo geral
das equaes quadrticas pelo mtodo do complemento de quadrados (mtodo
hindu) que ficou conhecida at os dias atuais como Formula de Bhskara.

Europeus
A principal obra lgebra da Europa foi publicada na Itlia e escrita por um
frade chamado de Luca Pacioli: A Summa de arithmetica, geomtrica, proportioni et
proportionalita Sendo concluda em 1487 destacando a resoluo usual de
equaes lineares e quadrticas.
Outro feito matemtico extraordinrio foi descoberta de solues algbrica
das equaes cbicas e qurticas pelos italianos. Nicolo Fontana, mais conhecido
por Tartaglia nasceu em 1499 e desenvolveu a soluo algbrica para a equao
cbica

Retratando assim a melhor lgebra do sculo XVI.


Franois Vite nasceu na Frana em 1540 e considerado por muitos como

precursor da lgebra simblica. Foi o primeiro algebrista a demonstrar as vantagens


no uso de letras para designar quantidades desconhecidas ou incgnitas. Em 1591,
publicou a obra In ArtemAnalyticamIsagoge Introduo a Arte Analtica. Nessa
obra ele destaca o simbolismo algbrico introduzindo uma conveno extremamente
importante para escrita das equaes na forma geral, para representar uma
quantidade desconhecida usava uma vogal e para representar uma grandeza ou
nmeros usava uma consoante.
Outro matemtico que contribuiu significativamente para o desenvolvimento
da linguagem algbrica foi Ren Descartes, nascido em 1596 na Frana. Descartes
consolidou a lgebra simblica introduzindo as seguintes inovaes para aperfeioar
a lgebra de Vite: criando o smbolo (.) para a operao de multiplicao; a notao
que usamos hoje para os expoentes de uma potenciao: e ainda passou a usar as
primeiras letras do alfabeto para os coeficientes da incgnita e os termos
11

independentes (se literais) e as ltimas letras para representar as incgnitas.


Formulou o mtodo geral para a aplicao da lgebra a problemas geomtricos
determinados. Em sua obra La Geomtrie apresenta a teoria elementar das
equaes; regra de sinais; como achar a soluo algbrica de equaes cbicas e
qurticas (Boyer: p. 248 a 253). E sem dvida estabeleceu um elo forte entre a
lgebra e a geomtrica implantando o plano cartesiano.
Pierre de Fermat (1601 - 1655), funcionrio pblico francs foi ultimo dos
grandes matemticos amadores que cultivou o estudo da Cincia dos Nmeros. Fez
importantssimas contribuies matemtica. Ao traduzir a Arithmetica de Diofanto
transcreveu uma das declaraes mais conhecidas da lgebra que muitos
matemticos ao longo de sculos tentaram demonstrar, conhecida como ltimo
teorema de Fermat.
impossvel escrever um cubo como soma de dois cubos, uma
quarta potncia como soma de duas quartas potncias, e, em
geral, qualquer potncia maior que a segunda como soma de
duas potncias similares. Para isso eu descobri uma prova
verdadeiramente maravilhosa, mas esta margem muito
pequena para cont-la.
Pierre de Fermat, em torno de 1637.
Explicitamente, afirma - se que para

a equao

no

possui solues inteiras.


Grande parte dos teoremas anunciados por Fermat foram posteriormente provados
pelo matemtico suo Leonhard Euler (1707 - 1783).

12

2.

REFERENCIAL TERICO

Hoje em dia Teoria dos Nmeros uma rea de conhecimento mais ampla do
que na antiguidade. O domnio de suas aplicaes est se multiplicando, nos
diferentes ramos da Cincia. E esse crescimento se deve ao belo elo entre o
passado da historia da matemtica com o seu futuro.
bem verdade que na matemtica no h como negar um resultado
demonstrado, pois estamos lidando com verdadeiro ou falso no existindo um
terceiro caso. Contudo, isso feito baseando-se em suposies, definies,
axiomas, postulados e princpios.
Portanto, nessa mesma perspectiva iremos apresentar neste captulo para
que o nosso objetivo seja atingindo alguns conceitos bsicos de teoria dos nmeros
aos quais faremos uma breve apresentao das definies, proposies e teoremas,
exemplificando-os quando necessrio e a partir delas deduzir a frmula geral que
fornece o nmero total de solues inteiras de uma equao diofantina linear.
Algumas vezes o leitor ir encontrar o smbolo que indica o fim de uma
demonstrao.

2.1. Divisibilidade em Z

Definio 1:
Dados a, b

Zeb

0 dizemos que b divide a, ou que a um mltiplo de b,

ou ainda que b um divisor de a se e somente se existe c

Z tal que a

Note que o c da definio uma soluo da equao b.x


pode no ter soluo em N, por exemplo, 2.x

b.c.

a. Esta equao

7 no tem soluo em Z, mas

sempre tem soluo em Q. Logo a definio de divisibilidade no faria sentido em Q.


Por esse motivo, s estudaremos divisibilidade em Z.
Destacamos quatro consequncias imediatas dessa relao.
i.

Para todo a

Z, 1 divide a; j que a

1.a

ii.

Para todo a

Z, a divide a; j que a

a.1

iii.

Para todo a

Z, a divide 0; j que 0

a.0
13

Para todo a, d

iv.

Z, d divide a implica que |d|

|a|.

A partir de agora usaremos a notao a|b para indicar que a divide b. Note
que b|a

b.c, c

Z. Se b

0, o inteiro c nas condies da definio nico.

Pois se existisse outro c Z tal que a

b.c, teramos b.c

b.c, da obtemos que c

c. Esse c assim definido chamado de quociente de a por b.


Por outro lado, veja que 0|a se e somente se a
no nico, pois 0.c

0, para todo c

0. Neste caso o quociente

Z. Por isso exclumos o caso em que o

divisor nulo.
De acordo com a definio de divisibilidade apresentamos as seguintes
proposies.
Proposio 1:
Se a|1, ento a

1.

Demonstrao:De fato, se a divide 1, existe q


1eq

1 ou a

-1eq

-1, ou seja a

Z tal que 1

q.a. O que implica a

1.

Proposio 2:
Se a, b, c e d so inteiros com a
Demonstrao: Existe u, v

0eb

0, tais que a|b e c|d ento ac|bd.

Z tais que se a|b ento b

u.a e se c|d ento d

Multiplicando-se as equaes membro a membro temos que b.d

v.c.

(u.v).ac da ac|bd.

Proposio 3:
Se a, b e c so inteiros com a
Demonstrao: Existe u, v
Logo, c

0eb

0, tais que a|b e b|c ento a|c.

Z tais que se a|b ento b

a.u e se b|c ento c

b.v.

a.(u.v) e assim a|c.

Proposio 4:
Sejam a e b inteiros e diferentes de zero, se a|b e b|a ento a
Demonstrao: Existe u, v
b.v. Logo a
a

Z tais que se a|b ento b

a.(u.v) que implica u.v

b.

a.u e se tambm b|a ento a

1, assim u|1 e da temos que u

1 e que

b.

14

Proposio 5:
Sejam a e b inteiros e diferentes de zero, se a|b ento |a|
Demonstrao: Existe u
|a|.|u|. Como u

Z com u

0,temos que |u|

|b|.

0 tal que se a|b ento b


1, desse modo segue que |b|

a.u, ou seja |b|


|a|.

Proposio 6:
Se a, b, c, x e y so inteiros com a

0, tais que se a|b e se a|c ento a|(b.x +

c.y).
Demonstrao: Existe u, v

Z tais que se a|b ento b

a.u e se a|c ento c

Logo, quaisquer que sejam os inteiros x e y temos que b.x + c.y


a.(u.x) + a.(v.y)

a.v.

(a.u).x + (a.v).y

a.(u.x + v.y), o que implicaque a|(b.x + c.y).

2.2.Mximo Divisor Comum


O conceito de Mximo Divisor Comum extremamente usado nas mais
variadas reas do conhecimento. Desde analisar o ciclo de vida de alguns seres
vivos at avaliar o desperdcio em construes civis.As noes fundamentais de
Mximo Divisor Comum so de suma importncia para o seu estudo do nosso
trabalho, pois compem uma parcela significativa da Teoria Elementar dos Nmeros,
com isso pretendemos mostrar esta relevncia atravs da seguinte abordagem de
terica.

Definio 2:
Diz-se que c um divisor comum de a e b se c|a e c|b.
O conjunto D(a, b) de todos os divisores comuns de a e b limitado
superiormente, pois se a

0 para todo elemento c

D(a, b) temos que c

|a|. Logo

D(a, b) tem mximo. Chama-se mximo divisor comum de a e b o maior de seus


divisores comuns.
mdc (a, b)
Dados a, b

max D(a,b)

Z diz-se que um inteiro d MXIMO DIVISOR COMUM entre a

e b se, e somente se, so vlidas as seguintes condies;


i.

ii.

d|a e d|b

iii.

Para todo nmero inteiro d, se d|a e d|b ento d|d.


15

Exemplificando:
Sejam a

12 e b

4. Determine o mdc (12, 4).

Soluo:
Sabemos que o divisor de um nmero inteiro todo o nmero inteiro que ao dividir
tal nmero, resultar em uma diviso exata. Com essa informao vamos determinar
o conjunto dos divisores de a
D12

12 e de b

{ 1, 2, 4, 6, 12} e D4

4, sendo denotados por D12 e D4. Assim,

{ 1, 2, 4}. Como o mdc (12, 4) o maior inteiro

que divide 12 e 4, para encontrar o mximo divisor comum entre esses nmeros,
basta determinar a interseco D12
conjunto. Logo, D12

D4

D4 e tomar o maior nmero em mdulo desse

{ 1, 2, 4} e mx (D12

D4)

4. Portanto mdc (12, 4)

4.

2.3.Algoritmo da Diviso de Euclides


No muito que se sabe sobre a vida de Euclides, provvel que sua
formao matemtica tenha sido dada na escola platnica de Atenas e logo depois
lecionou em Alexandria. Uma das obras mais importantes do mundo ocidental o
tratado matemtico de Euclides Os elementos composto por trezes livros sendo
que o stimo trata de um processo algbrico para achar o mximodivisor comum de
dois ou mais nmeros inteiros e ainda usa para verificar se dois inteiros so primos
entre si, conhecido como algoritmo euclidiano.

Teorema 1:(Algoritmo da Diviso de Euclides)


Para quaisquer a, b
que a

Z, com b

b.q + r, onde 0

0, existe um nico par de inteiros q e r, de modo

b.

Demonstrao: Ser divida em duas partes.


(1) Prova da existncia:
Seja b um nmero inteiro positivo no nulo. Se a

Z, ento a mltiplo de b ou est

compreendido entre dois mltiplos consecutivos de b, isto , b.q


b.q

a, ento a

b.q + b e da r

b.q + r, onde r

Zer

0. Se a

b. Logo, podemos afirmar que a

b.(q + 1). Se

b.(q + 1), temos que b.q + r

b.q + r, com 0

r < b.

16

2) Prova da unicidade:
Suponhamos que existam inteiros q1, q2, r1, r2, onde q1

q2 e r1

que satisfaam s igualdades: a

bea

r2

b. Se b

r1 e b

b.q1 + r1, com 0

r2, ento b

implica que b.(q2 - q1)

r1

r1 - r2 e temos que a

r1 - r2. Fazendo k

r2, com r1

r2 e

b.q2 + r2, com 0

b.q1 + r1

b.q2 + r2 o que

(q2 - q1), temos que r1 - r2

b.k, com k

Z, mostrando que b|(r1 - r2).


Portanto b

(r1 - r2) absurdo, pois contradiz a hiptese. Logo, r1

tambm que b.(q2 - q1)

0. Se b

0, temos (q2 - q1)

r2 e conclumos

0, mostrando que q2

q1.

Proposio 7:
Quaisquer que sejam a, b

Z, existem d

Z que o mximo divisor comum

de a e b.
Demonstrao:
O caso em que a
Seja K

0eb

0.

{a.x + b.y; x, y

Z}. Tomando os elementos estritamente positivos

de K. Seja d o menor desses elementos.


Vamos mostrar que d o mximo divisor comum entre a e b.
i.

Como d

K+ ento d

ii.

Como d

K, ento existem x0 e y0

Z tais que;

a.x0 + b.y0

Aplicando o algoritmo da diviso aos elementos a e d;


a

d.q + r, com 0

Das duas ltimas igualdades teremos;

(a.x0 + b.y0).q + r

a.x0 .q + b.y0. q + r
a.(1 x0. q) + b.(-y0). q
17

Dessa forma r

K, r

0. Como r

d e d o menor elemento de K, temos:


r

0;

Onde tiramos
a

d.q

d|a

Aplicando o algoritmo da diviso aos elementos b e d.


b

d.q + r, com 0

(a.x0 + b.y0). q + r

b b.y0. q a.x0. q

b.(1 q. y0) + a.(-x0). q

Logo r
iii.

d.q

d|b

Se d|a e d|b temos;

a. x0

d.k. x0

d. k

d. q

a.x0 + b.y0
d
Portanto d|d o que implica d

d.q.y0

b.y0
d.(k.x0 + q.y0)

d. (k.x0 + q.y0)
mdc (a, b).

Lema 1.
Sejam a e b dois inteiros positivos e a
b)

b.q + r, com 0

b. Ento mdc(a,

mdc(b, r).

Demonstrao: Com efeito, se a

b.q + r, ento r

a b.q. Seja k um divisor

comum de a e de b ento k|a e k|b. Assim, k|r, ou seja, k um divisor comum de b e


de r. Reciprocamente, como a

b.q + r, vemimediatamente que todo divisor comum


18

de b e de r divisor comum de b e de a. Assim, o conjunto dos divisorescomuns de


a e de b igual ao conjunto dos divisores comuns de b e de r. Logo, mdc(a, b)
mdc(b, r).

Demonstrado esse resultado, podemos enunciar e provar o algoritmo de


Euclides:

Teorema 2.
Sejam a e b inteiros positivos, com a

b. Usando sucessivamente o algoritmo

da diviso, segue do lema 1 que o problema de achar o mdc(a, b) reduz-se a achar o


mdc(b, r).
Demonstrao:
Naturalmente, repetindo esse processo e fazendo divises sucessivas,
teremos:
a

b.q1 + r1, com 0

r1

r1.q2 + r2, com 0

r2

r1

r1

r2.q3 + r3, com 0

r3

r2

rn -1.qn + rn, com 0

rn

................................
.................................
rn -2
rn -1

rn.qn+1 + rn+1, com rn+1

rn -1
0

Como o resto diminui a cada passo, o processo no pode continuar


indefinidamente, e alguma das divises deve ser exata. Suponhamos ento que rn+1
seja o primeiro resto nulo, como est indicado antes. Do lema 1,temos que:
mdc(a, b)

mdc(b, r1)

mdc(r1, r2)

...........

mdc(rn -1,rn)

Demonstramos que, nesse processo o mximo divisor comum de a e b o


ltimo resto diferente de zero.

usual o seguinte dispositivo de clculo no emprego do algoritmo de Euclides


para encontrar o mdc(a, b) de acordo com o Teorema 2:
Geralmente, para dividir a por b utilizamos o seguinte esquema:
19

Mudando o esquema temos;

q
a

b
r

Aplicando o dispositivo prtico do clculo do mdc(a, b) dispomos os nmeros;

q1

q2

q3

r1

r2

r1

r2

r3

...

...

qn

qn+1

rn-2

rn-1

rn

rn

O procedimento exposto se traduz na seguinte REGRA:


Para se achar o mdc de dois inteiros a e b positivos, divide-se o maior pelo
menor, este pelo primeiro resto obtido, o segundo resto pelo primeiro, e assim
sucessivamente at encontrar um resto nulo. O ltimo resto no nulo o mximo
divisor comum procurado.

Teorema 3: (Bzout)
Sejam a e b dois nmeros inteiros no nulos simultaneamente e seja d

mdc

(a, b); nestas condies, existem inteiros r e s tais que;


d

r.a + s.b

Demonstrao:
Consideremos o conjunto A
PBO existe d1

min A

{(m.a + n.b)

0. Como d1
d1

0; m, n

Z}. Note que A

A, ento existem r, s

, logo pelo

Z, tais que;

r.a + s.b

E observando que d|a e d|b resultam que d|d1, da temos d

d1.
20

Com essas afirmaes, obtemos d1|a e d1|b. Suponha que d1 no divide nem a e
nem b. Assim existiriam nmeros inteiros q, q e t, t tais que;
a

q.d1 + t,

com 0

q.d1 + t,

com 0

Segue-se;
t

a q.d1

a q.(r.a + s.b)

a q.r.a q.s.b
(1 q.r).a + (- q.s).b
e
t

b q. d1

b q.(r.a + s.b)

b q. r.a q.s.b
(- q.r).a + (1 q.s)
Como 0

t, t

d1 temos que t, t

A.(absurdo), pois 0

Portanto, d1 divisor comum positivo de a e b, logo d1

d1

min A.

d e ento d1

d.

Alm de servir de ferramenta computacional para o clculo do mdc, a diviso


euclidiana tem consequncias tericas importantes. O algoritmo de Euclides tambm
pode ser usado para achar a expresso do mdc(a, b)

rn como combinao linear

de a e de b. Para isso basta eliminar sucessivamente os restos rn -1; rn - 2;...; r3; r2; r1
entre as n primeiras igualdades do Teorema 2.

Exemplo 1:
Achar o mdc(963, 657) pelo algoritmo de Euclides e sua expresso como
combinao linear de 963 e 657.
Aplicando as divises sucessivas, temos:

963

657

306

45

36

306

45

36

21

963

657.1 + 306, ento 306

657

306.2 + 45, ento 45

306

45.6 + 36, ento 36

45

36.1 + 9, ento 9

36

9.4 + 0

963 657.1
657 306.2

306 - 45 .6

45 - 36 .1

Portanto, o mdc(963, 657)

9 e a sua expresso como combinao linear de

963 e 657 se obtm eliminando - se os restos 36, 45 e 306 entre as quatro primeiras
igualdades anteriores do seguinte modo:
9

45 - 36

15.306

45 -(306 45 6)

7.657 15.(963 - 657)

- 306 + 7.(657 306.2)

- 306 + 7.45

7.657

963.(-15) + 657.2.

Assim, a expresso do mdc(963, 657)


963.x + 657.y

9 como combinao linear :


9, onde x0

-15 e y0

2.

Teorema 4:
Os nmeros inteiros a e b so primos entre si se, e somente se, existem r, s

Z tais

que:
r.a + s.b

Demonstrao:

Como a, b

Z so primos entre si por definio temos que mdc (a, b)

uso do teorema de Bzout existem r, s

Z tais que:

r.a + s.b

Suponhamos que d
r.a + s.b

1. Fazendo

mdc (a, b) e ainda temos que existem r, s

Z tais que

1. Como d|a e d|b isso implica d|(r.a + s.b) da d|1 o que resulta d

assim o mdc (a, b)

1,

1.

Portanto a e b so primos entre si.

22

Definio 3:
Diz - se que dois nmeros inteiros a e b so primos entre si se, e somente se, mdc
(a, b)

1.

Teorema 5: (Euclides)
Sejam a, b, c

Z tais que a|(b.c). Se mdc (a. b)

1 ento a|c.

Demonstrao:
Como a|(b.c) temos que existe k
De mdc (a. b)

Z tal que b.c

1 temos que existem r, s

a.k.

Z tais que r.a + s.b

1.

Multiplicando por c e substituindo (b.c) nesta ltima igualdade obtemos:


c

r.a.c + s.b.c

r.a.c + s.a.k

(r.c + s.k). a

(x.a);

Logo a divide c.

Corolrio 1:
Se a, b

Z e mdc(a, b)

d, ento o mdc (a, b)

Demonstrao: Inicialmente nota-se que

d, ento mdc ( , )

1.

so inteiros, pois d um divisor

comum de a e b.
Agora como mdc(a, b)

d, ento existem inteiros x0 e y0 tais que a.x0 + b.y0

d. Dividindo-se ambos os membros desta igualdade por d, temos que:


( ).x0 + ( ).y0
Pelo Teorema 4, os inteiros

1.

so primos entre si assim, o mdc ( , )

1.

23

Exemplificando:
Seja os nmeros 12 e 30, cujo mdc (12, 30)
temos que mdc ( ,

mdc (2, 5)

6 da pelo corolrio acima

1.

Teorema Fundamental da Aritmtica


Um nmero natural um nmero primo quando ele tem exatamente dois divisores
naturais distintos: o nmero 1 e ele mesmo. J nos inteiros um nmero p
se ele tem exatamente quatro divisores distintos:

1e

Z primo

p. Se um nmero inteiro tem

mdulo maior que um e no primo, diz-se que composto. Por conveno, os


nmeros 0, 1 e -1 no soconsiderados primos nem compostos.
O Teorema Fundamental da Aritmtica coloca em evidncia o papel dos
nmeros primos na estrutura dos inteiros. Ele nos assegura que um nmero pode
ser expresso como um produto de nmeros primos de modo nico, a menos da
ordem desses fatores primos.
O matemtico que primeiro construiu uma tabela de primos foi Eratstenes,
que foi diretor da biblioteca de Alexandria no sculo III a. C. Criou uma tcnica para
achar todos os primos menores do que ou iguais a um numero inteiro dado n, que
ficou conhecida como crivo de Eratstenes.

Teorema 6:
Todo nmero inteiro maior do que 1 se escreve como o produto nico de
nmeros primos, amenos da ordem desses fatores primos.
Demonstrao:
Vamos supor que o teorema seja falso. Seja n o menor inteiro maior do que 1
que no pode ser escrito como produto de primos.
Note que n no pode ser primo, pois se fosse seria a sua prpria
decomposio em fatores primos. Assim n seria composto podendo ser escrito como
n

a.b, com 0

ne0

n. Nesse caso, a e b podem ser decomposto em

produtos primos, pois ambos so menores que n j que pela hiptese o menor
nmero que no pode ser decomposto em fatores primos o n. Logo teramos;
a

p1.p2.p3.p4...pn onde p1, p2, p3, p4,..., pn

So nmeros primos no necessariamente distintos e.


b

q1.q2.q3.q4...qn onde q1, q2, q3, q4,...,qn


24

So nmeros primos no necessariamente distintos. Da tem;


n

a.b

p1.p2.p3.p4...pn...q1.q2.q3.q4...qn

Dessa forma teramos n escrito como produto de primos, o que contraria a


escolha do n.
Logo todo inteiro maior do que 1 se escreve como produto de nmeros
primos.

2.4 Teoria da Congruncia


A teoria da congruncia fundamental no estudo dos nmeros inteiros. E o
seu desenvolvimento est intimamente relacionado ao nome do grande matemtico
alemo Carl Friedrich Gauss (1777 1855). Sua contribuio teoria dos nmeros
foi essencial e seu trabalho mais importante sobre o assunto o livro
Disquisitionesarithmeticae, (investigaes na aritmtica) publicado em 1801. Com
ele, essa teoria se tornou mais explicita com sua definio mais precisa e o
simbolismo que usamos at hoje.
Para nos dar uma ideia ilustrativa da noo de congruncia vamos considerar
a seguinte questo.
Se hoje sexta-feira, que dia da semana ser daqui a 1520 dias?
Para organizar o raciocnio vamos indicar o zero (0) para o dia de hoje (sexta)
e o 1 para o dia de amanh (sbado) e assim por diante. Veja a tabela:

Sexta

Sbado

Domingo

Segunda

Tera

Quarta

Quinta

10

11

12

13

...

...

...

...

...

...

...

Agora a nossa questo se resume em apenas encontrar a coluna em que est


o numero 1520. Observe que dois nmeros na sequncia 0, 1, 2,..., esto na mesma
coluna se, e somente se, sua diferena divisvel por 7.
Assim vamos supor que o numero 1520 est na coluna encabeada pelo
numero 0

6. Fazendo uso da diviso euclidiana temos que para algum q

Z,

25

1520

7.q + a, com 0

segue-se 1520

6. E ainda pela unicidade do resto na diviso euclidiana

7.217 + 1. Logo se tem que aps 1520 dias ser um sbado.

Definio 4:
Seja m

0 um inteiro fixo. Dois inteiros a e b dizem-se congruentes mdulos m se m

divide a diferena a b.
Notao: a

b (mod m)

m|(a b)

Em outros termos a congruente a b mdulo m se, e somente se, existe um inteiro k


tal que a

b + k.m.

Se m no divide a diferena de a e b ento dizemos que a incongruente mdulo m


e denotamos por a

b (mod m).

Demonstrao: Queremos mostrar que a e b deixam o mesmo resto quando


divididos por m se e somente se m|(a b).

Se a e b deixam o mesmo resto quando divididos por m, temos;


a

q.m + r

p.m + r

com 0

|m|

Isso acontece para certos p e q inteiros.

Se m|(a b) ento existe k

ab

q.m p.m

ab

(q p).m

m|(a b)

Z tal que;
ab
a

k.m
k.m + b

Por outro lado, a diviso euclidiana garante que existem q e r pertencentes a Z tais
que;
26

q.m + r

com 0

|m|

Assim temos;
k.m + b
b

q.m + r
(k q). m + r

com 0

|m|

Note que a unicidade do resto da diviso euclidiana garante que a e b deixam o


mesmo resto quando divididos por m.

Exemplo:
24 mod 7, pois 7|(3 24) donde que 21

7. (- 3).

Proposio 8:
Seja m

0 um inteiro e a, b, c

Reflexiva: a

i.

Z. Ento a congruncia mdulo m satisfaz;

b (mod m)

Demonstrao:
Como m|0, pois existe c
Assim m|(a a)

Simtrica: Se a

ii.

Z tal que 0

m.c (0

m.0).

a (mod m).

b (mod m) ento b

a (mod m).

Demonstrao:
Se a

b (mod m) ento para algum k1

a k1. M

a + (- k1). M

Assim existe um inteiro x


Logo por definio b

iii.

- k1 tal que b

Z temos a

b + k1.m. Da;

a + x.m

a (mod m).

Transitiva: Se a

b (mod m) e b

c (mod m) ento a

c (mod m).

Demonstrao:
Como a

b (mod m) e b

ab

k1.m

bc

k2.m

c (mod m) ento existem k1 e k2 inteiros tais que;

27

Somando membro a membro das duas ltimas equaes obtemos;


a-c

(k1 + k2).m

Portanto a

c (mod m).

A relao de congruncia mdulo m uma relao de equivalncia, pois


acabamos de mostrar que ela reflexiva, simtrica e transitiva.
Observaes:

Dois inteiros quaisquer so congruentes mdulo 1.

Dois inteiros so congruentes mdulo 2, se ambos so pares ou ambos

mpares.

0 (mod m) se, e somente se, m|a.

Mostrar que se a

7 (mod 12) ento, a

Note que 12|(a 7) o que implica a 7

3 (mod 4) para todo a


12.k, k

Z.

Z. Pelas propriedades

operatrias fazemos;
a34

12.k

a3

4 + 12.k

a3

4.(1 + 3.k)

Assim,
a3

4.x, tal que x

Temos que 4|(a 3), por definio de congruncia obtemos a

b (mod 4).

Teorema 7:

Se a,b,c, m so inteiros tais que a


1.

(a + c)

b (mod m) ento;

(b + c) (mod m).

Demonstrao:
Como a

b (mod m) ento para algum k

Note que a b
implica (a + c)

2.

(a c)

Z, temos a b

k.m;

(a + c) (b + c), assim escrevemos (a + c) (b + c)

k.m e isso

(b + c) (mod m).
(b c) (mod m).

28

Demonstrao:
Note que (a c) (b c)

a b e ainda a b

k.m;

Fazendo;
(a c) (b c)

3.

a.c

k.m

(a c)

(b c) (mod m).

b.c (mod m).

Demonstrao:
Por hiptese temos a b
Como c

k.m, para algum k

Z, podemos escrever a.c b.c

O que implica a.c

Z.

(c.k).m;

b.c (mod m).

Teorema 8:
Se a, b, c, d, m inteiros tais que a
1) (a + c)

b (mod m) e c

d (mod m) ento;

(b + d) (mod m)

Demonstrao:
Como a

b (mod m) e c

d (mod m) segue-se;
ab

k1.m

cd

k2.m

Somando membro a membro obtemos;


(a + c) (b + d)
Portanto (a + c)

2) (a c)

(k1 + k2).m

(b + d) (mod m).

(b d) (mod m)

Demonstrao:
Por hiptese temos;
ab

k1.m

cd

k2.m

Subtraindo membro a membro obtemos;


(a c) (b d)

(k1 k2).m
29

Portanto (a c)

(b d) (mod m).

Proposio 9:
Seja m um inteiro fixo e sejam a, b, c inteiros arbitrrios. Se mdc (c, m)
a.c

b.c (mod m) implica a

1, ento

b (mod m).

Demonstrao:
Se a.c

b.c (mod m), temos que m|(a b).c:

Como o mdc (c, m)

1 pelo Teorema de Euclides vem que m|(a b), donde vem a

b (mod m).

Proposio 10:
Se a, b, k, m so inteiros com k

0ea

b (mod m) ento ak

bk (mod m).

Demonstrao:
Fazendo uso da seguinte identidade:
ak bk
Como a

(a b).(ak 1 + ak 2.b + ak 3.b2 ++a.bk 2 + bk 1 )

b (mod m) ento m|(a b) e ainda para algum q


ab

Z, temos;

m.q

Das duas ultimas igualdade conclumos que:


ak bk
Portanto m|(ak bk)

ak

m.x

tal que x

bk (mod m).

Teorema 11:
Se a, b, c, m so inteiros e a.c

b.c (mod m) ento a

b (mod ), com mdc (m, c)

d.
Demonstrao:
De a.c

b.c (mod m) temos que a.c b.c

c.(a b)

k.m;

Dividindo-se membro a membro por d, obtemos;


.(a b)

k.

30

Assim

| .(a b), note ainda que mdc ( , )

1. Fazendo uso do Teorema de

(Euclides) implica que:


|(a b)

b (mod )

Definio 5:
Se h, k so dois inteiros com h

k (mod m) dizemos que k um resduo de h

mdulo m.

Definio 6:
O conjunto dos inteiros {r1, r2,..., rs} um sistema completo de resduos mdulo m se
i.
ri for incongruente a rjmdulo m , para todo i j
ii.
Para todo inteiro n existe um ri, i 1, 2,..., s tal que n
Observaes:

ri (mod m).

O sistema completo de resduos mais simples que podemos obter :


{0,1, 2,...,m 1}
Mas no o nico possvel.
Os r1, r2,..., rm so congruente mdulo m em alguma ordem, aos nmeros;
{0, 1,..., m 1}
Exemplo:
Para m 5, {0, 1, 2, 3, 4} o conjunto dos menores restos no negativos
mdulo 5.
{-14, -13, 18, 24, 500} um sistema completo de resduos mdulo 5.

Teorema 12:
Se k inteiros r1, r2,..., rk formam um sistema completo de resduos mdulo m ento k
m.
Demonstrao:
Primeiro vamos mostrar que os inteiros t0, t1,..., tm-1, com ti

i sendo 0

m -1.

Formando de fato um sistema completo de resduos mdulo m.


Sabemos que pela diviso euclidiana para cada n inteiro existe um nico par de
inteiros q e s tal que;
n

m.q + s

m
31

ns
Assim temos n

s (mod m), sendo que s um dos ti.

Note que |ti tj|


Pois se ti

m 1, 0

tj (mod m)

Assim |ti tj|

m.q

m 1. O que implica ti

i,j

m|(ti tj). O que acarretaria ti tj

tj (mod m) para i

j.

m.k para algum k inteiro.

m e isso no acontece.

De fato ti incongruente tj mdulo m, com i

j.

Portanto o conjunto {t0, t1,..., tm 1} um sistema completo de resduos mdulo m.


Com isso cada ri congruente a exatamente um dos ti, isso nos garante que;
k

m1

m.

Como o conjunto {r1, r2,..., rk} por hiptese forma um sistema completo de resduos
mdulo m, por definio cada ti congruente a exatamente um dos ri e isso implica;
m1
Portanto k

m.

Teorema 13:
Se r1, r2,..., rm um sistema completo de resduos mdulo m, a e b so inteiros com
mdc (a, m)

1 ento;
a.r1 + b, a.r2 + b,.., a.rm + b.

Tambm um sistema completo de resduos mdulo m.


Demonstrao:
Fazendo uso do teorema anterior.
Agora vamos mostrar que quaisquer dois inteiros do conjunto;
a.r1 + b, a.r2 + b,.., a.rm + b.
So incongruentes modulo m.
Suponhamos que (a.ri + b)

(a.rj + b) (mod m), fazendo uso de propriedades de

congruncia temos;
32

a.ri
Mas como mdc (a, m)

1, temos;
ri

Implicando em i

a.rj (mod m)

rj (mod m)

j (absurdo), pois o conjunto {r1, r2,..., rm} S.C.R. Logo;


a.ri + b

a.rj + b (mod m) para i

j.

Portanto o conjunto a.r1 + b, a.r2 + b,.., a.rm + b. S.C.R.

A congruncia mdulo m permite a identificao de todos os nmeros que


deixam o mesmo resto quando divididos por m. Isso nos permite a criao de outros
sistemas numricos. Apresentaremos em seguida alguns exemplos que ilustram
bem as potencialidades desta ferramenta.

Exemplo 1:
Encontrar o resto de 62009 quando dividido por 37.
Veja que 62

36

(mod 37), e assim 62009

6. (62)1004

6. (-1)1004

6 (mod 37).

Dessa forma o resto da diviso 6, pois 62009 6 mltiplo de 37.

Exemplo 2:
Ana, Bernardo e Carla arrumam laranjas para vender na feira, colocando 12
laranjas emcada saco. Ana tinha 389 laranjas, Bernardo 188 e Carla 97. Depois de
arrumar todas as laranjas nos sacos, quantas sobraram ao todo?
Para responder, temos que observar que precisamos considerar, para cada
um deles, aquantidade de laranjas mdulo 12. Como 389
(mod 12) e 97

5 ( mod 12); 188

1 (mod 12), quando Ana terminou de arrumar as laranjas nos sacos,

sobraram 5 laranjas, das laranjas de Bernardo sobraram 5 e das de Carla sobrou 1.


Portanto, no final sobraram 5 + 8 + 1

14 laranjas. Mas, 14

2 (mod 12). Isso

significa que eles, em conjunto, poderiam completar mais um saco com 12 laranjas e
sobrariam apenas 2laranjas.

Exemplo 3:
Sejam a, b e c nmeros inteiros positivos cujos restos na diviso por 8 so 3,
5 e 1, respectivamente. Ache o resto da diviso de (a + b + c) por 8.
33

Temos que a

3 (mod 8), b

5 (mod 8) e c

membroas trs congruncias, obtemos (a + b + c)


b + c)

9 (mod 8). Como 9

1 (mod 8). Somando membro a


3 + 5 + 1 (mod 8) . Ou seja, (a +

1 (mod 8), segue que (a + b + c)

1 (mod 8) . Logo o

resto da diviso 1.

Exemplo 4:
Verifique se o nmero 3099 + 61100 um nmero divisvel por 31.
Observe que 30

-1 (mod 31). Portanto, 3099

1 (mod 31). Por outro lado, 61

(-1)99 (mod 31). Logo, 3099

-1 (mod 31). Portanto, 61

100

(-1)

100

(mod 31).

Logo, 61100

1 (mod 31). Assim, 3099 + 61100

3099 + 61100

0(mod 31). Portanto, 3099 + 61100 um nmero divisvel por 31.

-1 + 1 (mod 31), que o mesmo que

Exemplo 5:
Ache o dgito das unidades do nmero 3100.
Suponha que a representao decimal de 3 100 seja c0 + c1.10 + c2.102 + c3.103+ ...+
cn.10n, com c0, c1, c2, ..., cn inteiros no negativos, todos menores do que 10. O
quequeremos encontrar o valor de c0. Na linguagem das congruncias, 3100
c0(mod 10). Agora, observe que 32
10). Portanto, podemos escrever 3100

-1 (mod 10). Logo, 3100

(32)50

(-1)50(mod

1 (mod 10) . Assim, o dgito das unidades de

3100 1.

34

2.5 Congruncia Linear


Chama-se de congruncia linear em uma varivel a uma congruncia da
forma;
a.x

b (mod m), onde x uma incgnita.

Se x0 uma soluo de a.x


soluo. De fato, pois se x1

b (mod m) e x1

x0 (mod m) ento x1 tambm

x0 (mod m) ento a.x1

a.x0

a.x

b (mod m). Note

que se um membro da classe de equivalncia soluo ento todo membro tambm


. Se x0 uma soluo da congruncia linear a.x

b (mod m), ento todos os

inteiros x0 + k.m, onde k um inteiro arbitrrio, tambm so solues da


congruncia linear. Note que pela definio de congruncia a.x0

b (mod m) se e

somente se, o n divide a.x0 b. Assim existe um inteiro y tal que a.x0 b

m.y.

Desse modo, o problema de encontrar todas as solues de uma congruncia


linear idntico ao de obter todas as solues da equao diofantina a.x0 m.y

Duas solues x0 e x1 da congruncia a.x


isto , x0

b.

b (mod m) congruente mdulo m

x1 (mod m) no so consideradas solues distintas. O nmero de

solues da congruncia dado pelo nmero de solues mutuamente incongruente


mdulo m, ou seja, quando falamos do nmero de solues da congruncia linear
a.x

b (mod m) estamos contando somente aquelas que so incongruente mdulo

m. Por exemplo, x
Como 2
4.x

2 e x

7 satisfazem a congruncia linear 4.x

3 (mod 5).

7 (mod 5), tratamos 2 e 7 como a mesma soluo da congruncia linear

3 (mod 5).

Definio 7:
Dizemos que uma soluo x0 de a.x

b (mod m) nica mdulo m quando qualquer

outra soluo x1 for congruente a x0 mdulo m.

Teorema 14:
Sejam a, b inteiros positivos e mdc (a, b)
+ b.y
se x

d. Se d no divide c ento a equao a.x

c no possui nenhuma soluo inteira. Se d|c ela possui infinitas solues e


x0 e y

y0 uma soluo particular ento todas as solues so dadas por;

35

x0 + ( ). k

y0 ( ). k

Onde k um inteiro.

Demonstrao:
Se d no divide c, ento a equao a.x + b.y
mdc (a, b)

c no possui soluo, pois como o

d implica que d|a e d|b. Assim d deveria dividir c, j que ser est escrito

como combinao linear de a e b.


Suponha que d|c pelo Teorema 3 (Bezout) existem inteiros n0 e m0 tais que
a.n0 + b.m0
De d|c existe um inteiro k tal que c

k.d. Multiplicando ambos os membros da

igualdade acima por k obtemos.


a.(n0.k) + b.(m0.k)
Assim o par (x0, y0), sendo x0

n0.k e y0

k.d

m0.d uma soluo de a.x + b.y

c.

Note que fcil verificar que os pares da soluo da equao a.x + b.y

c da

forma
x

x0 + ( ). k

y0 ( ). k

Veja que
a.x + b.y

a.(x0 + ( ). k) + b.( y0 ( ). k)
a.x0 + (

).k + b.y0 - ( ).

a.x0 + b.y0
Note que acabamos de mostrar que a partir de uma soluo particular (x0, y0)
podemos gerar infinitas solues.
Agora s basta mostrar que toda soluo da equao a.x + b.y
x

x0 + ( ). k

y0 ( ). k

Vamos supor que (x, y) a soluo de a.x + b.y


particular a.x0 + b.y0

c da forma

c e ainda (x0, y0) uma soluo

c.

Subtraindo as duas ultimas igualdade temos;


36

a.x + b.y a.x0 b.y0


O que implica em a.(x x0)
que mdc ( , )

a(x x0) + b.(y y0)

b.(y y0). Como o mdc (a, b)

0.
d podemos escrever

1. Dividindo a igualdade acima por d.


.(x - x0)

Usando o Teorema de Euclides


x x0

. (y y0)

| . (x x0)

| (x x0), portanto existe um k inteiro tal que;


k.

x0 +. k.

Substituindo x na equao acima obtemos;


y

y0

.k

Teorema 15:
A congruncia linear a.x
b, sendo d

b (mod m) tem soluo se, e somente se, d divide

mdc(a, m).

Demonstrao:

Por hiptese temos a.x

b (mod m), assim m|(a.x - b)


a.x b

Como o mdc (a, m)

m.k, sendo k

-b

m.k a.x

a.x m.k

(1)

d, ento d|a e d|m. Assim existem p, q


a

d.p

d.q

Z tais que;

Substituindo as duas ultimas equaes na expresso (1), obtemos;


b

a.x m.k

(d.p).x (d.q).k

d.(p.x d.q)

d.(r) tal que r

Dessa forma d|b.

37

Sabemos que uma equao da forma a.x + b.y

c, onde a, b, c so inteiros

chamada de equao diofantina linear. Se x soluo da congruncia a.x


m), existe y

b (mod

Z tal que o par (x, y) soluo da equao diofantina a.x + b.y

Isso nos leva dizer que a congruncia linear a.x


equao diofantina a.x m.y

c.

b (mod m) equivalente

b.

Por hiptese temos d|b, assim o Teorema 14 nos garante que a equao
diofantina a.x m.y

b possui infinitas solues. Assim existem x0, y0


a.x0 m.y0

Z tais que;

b.

a.x0 b

m.(y0)

m|(a.x0 - b)
Por definio de congruncia obtemos a.x0

b (mod m), sendo x0 soluo da

congruncia.

Teorema 16:
Sejam a, b, m inteiros tais que m
b a congruncia a.x

0 e mdc (a, m)

d. No caso em que d no divide

b (mod m) no possui nenhuma soluo e quando d|b possui

exatamente d soluo incongruente mdulo m.


Demonstrao:
Sabemos que o inteiro x soluo de a.x
existe um inteiro y tal que a.x

b (mod m) se e, somente se

b + m.y, ou seja, a.x m.y

b. Sabemos que de

acordo o Teorema 14 esta equao no possui nenhuma soluo caso d no divide


b e se d|b ento a dita equao possui infinitas solues dadas por;
x

x0 ( ).k

y0 ( ).k

Onde (x0, y0) uma soluo particular de a.x m.y


Assim a congruncia a.x

b.

b (mod m) possuem infinitas solues dadas por


x

x0 (

m
).k
d

Estamos interessados em saber o nmero de solues incongruentes. Tome x1, x2


solues congruente mdulo m. Ento x0 ( ).k1
O que implica ( ).k1

x0 ( ).k2 (mod m).

( ).k2 (mod m). E como ( )|m e mdc ( , m)

temos que

pelo Teorema 11 nos permite o cancelamento.


38

k1
Obs: O m foi substitudo por d

k2 (mod m)

m| .

Assim conclumos que as solues incongruentes sero obtidas ao tomarmos


x

x0 ( ). k, onde k percorre um sistema completo de resduos mdulo d.

Teorema 17:
Se mdc (a, m)

1 ento a congruncia linear a.x

b (mod m) tem

exatamente uma soluo incongruente.

Demonstrao:
Seja C um sistema completo de resduos mdulo m. Pelo teorema 13 o conjunto
{a.x; x

C} tambm um sistema completo de resduos mdulo m. Por definio

existe um nico elemento x0


mdulo m, ou seja, a.x0
onde mdc (a, m)

C tal que a.x0 congruente a um inteiro dado b

b (mod m). Portanto, a congruncia linear a.x

b (mod m),

1, tem exatamente uma soluo incongruente, a saber, x

x0

(mod m).

Teorema 18:
Se a.c

b.c (mod m) e mdc (c, m)

d, ento a

b (mod ).

Demonstrao:
Se a.c

b.c (mod m), ento m|(a.c b.c); isto , m|c.(a - b).

Como o mdc (c, m)

d, ento c

d.c e m

d.m.

Assim, temos:
d.m|d.c. (a - b)
m|c. (a - b),

39

Onde mdc (c, m)

Portanto,
m|(a - b).
E da,
a

b (mod m);

Isto ,
a

b (mod )

Exemplo 1:
Resolver a congruncia linear 36.x
Como o mdc (36, 131)

53 (mod 131).

1, pelo Teorema 17 a congruncia linear tem exatamente

uma soluo incongruente. Como 53

-78 (mod 131), pela transitividade de relao

de congruncia,
36.x

-78 (mod 131)

6.x

-13 (mod 131)

Pelo Teorema 11,

Usando as propriedades transitiva e simtrica da relao de congruncia e o fato de


que
-144

-13 (mod 131), obtemos


6.x

-144 (mod 131)

Outra vez, pelo Teorema 11,


x

-24 (mod 131),

107 (mod 131)

40

Exemplo 2:
Encontrar as solues incongruentes da congruncia linear 64.x

Como mdc (64, 84)

16 (mod 84).

4 e ainda 4|16, pelo Teorema 16 existe exatamente quatro

solues incongruentes mdulo 84. Pelo Teorema 11.


4.x
Temos que mdc (64, 16)

1 (mod 21).

16 e mdc (16, 84)

4e

21

Pelo Teorema 11 e pelas propriedades da relao de congruncia,


4.x

-20 (mod 21),

-5 (mod 21),

16 (mod 21).

Assim as quarto solues incongruentes do sistema completo de resduos


mdulo 84 { 0 , 1, 2, ..., 83} so inteiros da forma 16 + 2.t, onde t

0, 1, 2 e 3.

Segue que o conjunto soluo


{16, 37, 58, 79};
Isto as solues incongruentes so x
(mod 84), x

16 (mod 84), x

37 (mod 84).x

58

79 (mod 84).

Exemplo 3:

3.x

1 (mod 17).

O mdc (3, 17)

1 e 1|1 logo a congruncia possui uma soluo. Veja que:


1

3.x
x

3.6 (mod 17)

por transitividade

3.6 (mod 17)


6 (mod 17)
3.x

6 (mod 18)

O mdc (3,18)

3 e 3|6 logo a congruncia possui trs solues.

Dividindo por 3 a congruncia dada temos;


x

2 (mod 6)

Assim a soluo geral dada por


x

2 + 6.t; t

Obtendo x

2, x

0, 1, e 2.
8ex

14.

41

Exemplo 4:

Resolver a congruncia linear 7.x

Veja que o mdc (7, 21)

9 (mod 21).

7 e como 7 no divide 9, ento no existe soluo para a

congruncia linear dada.

3.EQUAES DIOFANTINAS LINEARES

Diofantofoi um matemtico e filsofo Grego. considerado o maior algebrista


grego, verdadeiro precursor da moderna teoria dos nmeros e para alguns o
consideramcomo pai da lgebra, principalmente devido sua inovao com as
notaes, o primeiro a usar smbolos na resoluo de problemas algbricos.
Interessou-se por uma grande variedade de equaes indeterminadas que
eventualmente admitem infinitas solues, porm ele procurava solues racionais.
Por isso faz-se justia associar os problemas relativos aos nmeros inteiros ao nome
de Fermat que foi o primeiro a chamar ateno s questes aritmticas estritamente
no conjunto dos nmeros inteiros, no prembulo de um problema que props em
1657.
Uma equao diofantina linear em duas variveis uma expresso da
forma a.x + b.y

c, na qual a, b, c so inteiros, com a e b no simultaneamente

nulos e cujas solues esto restritas ao conjunto dos nmeros inteiros. Uma
soluodessa equao ento um par de inteiros (x0, y0) tal que a.x0 + b.y0

c.

Vale ressaltar que, apesar deste tipo de equaes que visa solues inteiras
receberem o nome de Diofantinas devido a Diofanto de Alexandria, o primeiro
matemtico a encontrar uma soluo geral de uma EDL foi o hindu Bramagupta (598
670), cuja resoluo foi embasada no algoritmo de Euclides. Segundo Fernandes
(2005), certamente muitas dessas equaes podem ser resolvidas por tentativas,
mtodo muito utilizado na idade mdia.
Todavia, h muitos problemas cujas possibilidades so limitadas, de modo
que no so necessrias.Certamente muitas equaes Diofantinas podem ser
resolvidas por tentativa. Veja o seguinte exemplo.
Vamos encontrar todas as solues inteiras positivas da equao:
15.x + 12.y

96.
42

Ora, essa equao equivalente a 5.x + 4.y

32

. Como estamos

restritos aos nmeros inteiros positivos, devemos ter:


y

0ex

0 e 32 4.y

0.

Portanto o y

{1, 2, 3, 4, 5, 6, 7}, com isso calcula-se o valor correspondente para x.

Para y

temos x

1
Para y

temos x

Para y

Para y

temos x

Para y

Para y

temos x

Paray

Observemos que existe uma nica soluo x

4ey

3.

Usamos o mtodo de tentativa para encontrar uma soluo particular da


equao dada no exemplo acima. Esse , muitas vezes, o melhor caminho a seguir.
A resoluo de muitos problemas de aritmtica depende da resoluo de
equaes do tipo a.x + b.y

c,onde a, b e c so nmeros inteiros dados e x e y so

incgnitas a serem determinadas em Z. claro que se a


tem resoluo imediata. Por exemplo, se a

0eb

e b|c e, neste caso a soluo geral dada por x


onde neste caso a soluo geral dada por y

0 ou b

0 a equao

0 ento existe soluo inteiras


Zey

Zex

. Anlogo para b

0,

Mas, antes de procurar uma soluo para a equao diofantina, conveniente saber
se essa existe. Por isso desenvolveremos aqui resultados que possibilitem a ns
respondermos as seguintes perguntas:
Quais so as condies para que essa equao possua soluo?
Quantas so as solues?
Como calcular as solues, caso existam?
O resultado a seguir d a condio necessria e suficiente para a existncia
de solues de uma dada equao diofantina linear. Dada uma equao diofantina
do primeiro grau a duas incgnitas x, y tais que:
43

a.x + b.y

Com a, b e c nmeros inteiros a fim de obter a soluo de tais equaes


determinaro todos os pares ordenados (x, y)
de todos os pares ordenados (x0, y0)

Z. Indicaremos por A o conjunto

Z tais que a.x0+ b.y0

c. Assim todo

elemento de A chamado de Soluo Inteira da equao diofantina. Suporemos


sempre que a, b no sejam simultaneamente nulos, pois se a
diofantina a.x+ b.y

c tem soluo se, e somente se, c

0 a equao

0 e, neste caso A

Z.

Apresentaremos agora uma condio para que o conjunto-soluo A no seja vazio,


isto , que a equao diofantina admita soluo.

3.1. Condio de Existncia de Soluo

Teorema 19:
A equao diofantina linear a.x + b.y

c possui soluo se, e somente se, o

mximo divisor comum de a e b divide c.


Demonstrao:

Suponhamos que (x0, y0) seja uma soluo da equao, isto :


a.x0 + b.y0
Seja o mdc (a, b)

c.

d por definio de mximo divisor comum temos que d|a e d|b,

ento d divide qualquer combinao linear formada pelos inteiros a e b. Portanto


d|(a.x0 + b.y0)

Seja mdc(a, b)

c.

d. Se d|c, ento c

inteiros x0 e y0 tais que a.x0 + b.y0


Logo, a.(x0.m) + b.(y0.m)

d.m

d.mpara algum inteiro m; alm disso, existem


d.

c e, portanto, (m.x0, m.y0) uma soluo da

equao.

Observao:
No caso do mdc(a, b)

d e d|c, a equao diofantina linear a.x + b.y

c admite um

nmero infinito de solues, uma para cada valor arbitrrio do inteiro t.

44

Observao:
Na Geometria Analtica, a equao a.x + b.y
procurarmos solues em Z da equao a.x + b.y

c representa uma reta r. Ao


c, estamos perguntando se a

reta r, por ela representada, contm pontos que tenham ambas as coordenadas
inteiras. O Teorema 1 nos diz que existem equaes dessa forma sem solues
inteiras, por exemplo, a equao 12.x + 8.y
mdc(12, 8)

7 no tem solues inteiras, j que

4 que no divide 7. Fica, ento, provado o fato surpreendente que a

reta r de equao 12.x + 8.y

7 consegue evitar todos os pontos do plano

cartesiano tal que o par (x, y) tenha coordenadas inteiras.

3.2.Solues da equao a.x + b.y

Seja (x0, y0) uma soluo particular da equao diofantina linear a.x + b.y
que a.b

c, em

0. Ento qualquer soluo inteira dessa equao dada por

Onde mdc (a, b)

x0 + .k

y0 - .k

d e k um inteiro qualquer.

Demonstrao:
Consideremos a equao diofantina;
a.x + b.y

c, com a.b

Primeiro vamos mostrar que se (x0, y0) soluo particular da equao ento o par

(x0 +

.k, y0 - .k) tambm soluo para qualquer inteiro k.

De fato, como a

.d e b

.d.

Fazendo:
a.( x0 + .k) + b.( y0 - .k)
a.x0 + b.y0

a.x0 + a. .k + b.y0 - b. .k

Portanto (x0 + .k, y0 - .k) tambm soluo da equao diofantina dada. Agora
vamos mostrar que se (X, Y) soluo da equao diofantina:
a.x + b.y

c, com a.b

0;

Ento existe um inteiro k tal que


45

x0 + .k

y0 - .k

a soluo geral.
Note que vale se (x0, y0) e (X, Y) so solues da equao ento temos;
a.X + b.Y

a.x0 + b.y0

a.(X - x0)
d.(y0 Y)

.d.(X - x0)
.(X x0)
Veja que

b.(y0 Y)

.(y0 Y)

divide o lado direito da igualdade e tambm o lado esquerdo. E ainda

so primos entre si, pois o mdc (a, b)


Assim pelo Teorema de Euclides

d.

| (X x0). Logo existe um inteiro k tal que;


X x0
X

.k

x0 + .k

Tomando X e substituindo na igualdade acima obtemos Y.


.(x0 (x0 + .k))

. .k
.k
Y

.(y0 Y)

.(y0 Y)
y0 - Y
y0 - .k

Proposio 11:
Se (x0, y0) uma soluo da equao diofantina linear a.x + b.y

c, ento o par (x0

+ b.t, y0 a.t) tambm soluo dessa equao, para qualquer inteiro t.


Demonstrao:

Como (x0, y0) soluo da equao a.x + b.y

c, temos que a.x0 + b.y0

c. Assim,

para qualquer inteiro t, vale:


a.(x0 + b.t) + b.(y0 a.t)

a.x0 + a.b.t + b.y0 a.b.t

a.x0 + b.y0

(note que somamos e subtramos o inteiro a.b.t)


O implica em (x0 + b.t, y0 a.t) tambm ser uma soluo da equao.
46

Outra demonstrao:
Considere d
mdc( , )

mdc(a, b)

1, caso contrrio divida a equao por d e sabemos que

1. Sendo (x0, y0) soluo temos que;


a.x + b.y

a.x0 + b.y0

a.x a.x0

b.y0 b.y

a.(x x0)

b.(y0 - y)

Da a|b.(y0 - y), mas a b, logo a|(y0 - y) temos y0 y


y0 a.t com t

a.t implicando em y

Z.

Analogamente, b|a.(x x0) e b a temos ento b|(x x0) o que resulta em x


x0

b.t e ainda x

x0 + b.t.

Corolrio1:
Se mdc (a, b)

1, se a, b so relativamente primos ento a equao a.x + b.y

sempre tem solues inteiras para qualquer que seja c.


Demonstrao:
Para resolver a equao diofantina linear a.x + b.y
mdc(a, b)

c, com a, b, e c inteiros e

1, equivale encontrar inteiros r e s tais que a.r+ b.s

1. Para isso vamos

fazer o uso do algoritmo de Euclides.


Sejam a, b inteiros com b
nicos tais que a

0. Pelo algoritmo da diviso existem q e r com 0

b,

b.q + r. Se p divisor comum de a, b ento p|a e p|b. Como p|b

implica que p|b.q.


Fazendose a b.q

r, como p|a e p|b.q logo p|c. Assim p divisor comum tambm

de b, r isto , mdc (a, b)

mdc(b, r). Reciprocamente se p|b e p|r, como a

ento p|a. Portanto o mdc (a, b)

b.q + r

mdc(b, r). Assim conclumos que existem de fato r

e s inteiros tais que a.r+ b.s 1.


Para efeito de encontrar solues inteiras, apenas o caso em que o mdc(a, b)
1 nos interessa. Pois se a equao possui soluo e o mximo divisor comum for
diferente de 1, isto , (d

1) basta dividir ambos os membros da equao por d

assim nos deparamos no caso de coeficientes a e b relativamente primos, e com o


segundo membro ainda um nmero inteiro.

47

Na busca de solues inteiras de uma equao diofantina do primeiro grau, a


saber, a.x + b.y

n, vimos que podemos tomar o mdc(a, b)

1 e assim descobrir

uma soluo inteira dessa equao equivale a encontrar inteiros r e s tais que a.r +
b.s

1. Para determinar uma soluo particular em caso que a e b so nmeros

relativamente pequenos procede-se por inspeo. Se no for possvel esse mtodo,


para encontrarmos os nmeros r e s utilizamos o algoritmo de Euclides para o
clculo do mdc(a, b)
tais que a.m0 + b.n0

d. Com a aplicao desse algoritmo obtemos inteiros m 0 e n0


mdc(a, b)

d. Multiplicando-se em ambos os lados dessa

igualdade obtm-se:
( .m0.a) + ( .n0.b)

( .d)

Portanto o par ordenado dado por x0

( .m0).a + ( .n0).b
( . m0) e y0

( . n0) a soluo particular da

equao.

Satisfeita a condio de existncia de soluo para uma equao diofantina


linear, para descobrir as solues gerais deve-se inicialmente obter uma soluo
particular da mesma. E a partir dela encontrar todas as solues da equao. Mas
para isso fazemos uso do algoritmo de Euclides. Usualmente, o algoritmo para dividir
dois nmeros inteiros dado por:

Generalizando o algoritmo de Euclides obtemos:

48

Vamos usar um exemplo de uma equao diofantina presente no artigo de Rocque e


Pitombeira (1991) para evidenciar o processo de obter uma soluo particular
atravs das divises sucessivas.
Determinar as solues da equao diofantina 32.x + 9.y

7.

Fazendo uso do algoritmo de Euclides para o calculo do mdc (32, 9) obtemos:

32

Nota-se que mdc(32, 9)

(3.9) + 5

(A)

(1.5) + 4

(B)

(1.4) + 1

(C)

mdc(9, 5)

mdc(5, 4)

mdc(4, 1)

1. Portanto pelo

corolrio anterior a equao dada possui soluo.


O prximo passo desse processo escrever as equaes (A), (B) e (C) em funo
dos restos das divises euclidianas.
5

32 (3.9)

(A)

9 (1.5)

(B)

5 (1.4)

(C)

Combinando-se as equaes, substitui-se (B) em (C);


1

5 (1.4)

5 [1.9 (1.5)]

5 (1.9) + (1.5)

(2.5) (1.9) (D)

Substituindo a equao (A) em (D) obtm-se


1

(2.5) (1.9)

(2.32) (7.9)

1
1

2.[32 (3.9)] (1.9)

(2.32) (6.9) (1.9)

(2).(32) + (- 7).(9) (E).

Note que os valores 2 e -7 correspondem r e s na demonstrao do corolrio


anterior. Assim para encontrarmos uma soluo particular da equao basta
multiplicarmos a equao (E) por 7.
1

(2). (32) + (- 7). (9)

7.(2).(32) +7.(- 7).(9)

7.1

32.(14)+ 9.(- 49)

Logo a soluo particular almejada dada pelo par ordenado (14, - 49).
Enquanto a soluo geral dada por:
x

x0 + b.k

14 + 9.k
49

y0 a.k

- 49 - 32.k, para qualquer k inteiro.

Uma soluo particular da equao diofantina linear se obtm por tentativas


ou pelo algoritmo de Euclides. Em ambos os casos a soluo geral da equao
diofantina a.x + b.y

c obtida por proposio 3 e ou 4.

Exemplo 1:
Vamos encontrar uma soluo particular da equao 5.x + 3.y
Como o mdc(5, 3)

1, a equao dada possui soluo, pois 1|100. O nosso objetivo

encontrar inteiros x0, y0 tais que 5.x0 + 3.y0

Ou seja, 1

100.

3 1.2

1. Pelo algoritmo de Euclides temos;

1.3 + 2

1.2 + 1

1.2 + 0

3 1.(5 1.3)

3 + 3 + 5.(-1)

5.(-1) + 3.2

Multiplicando por 100;


5.(-100) + 3.(200)

100

Logo a soluo particular procurada (-100, 200).


Note que uma equao diofantina linear 39.x + 26.y
o mdc(39,26)

105 no possui soluo, pois

13 e como 13 no divide 105, segue-se que a equao dada no

tem soluo.

Exemplo 2:
Determinar todas as solues inteiras e positivas da equao diofantina 18.x
+ 5.y

48.
Determinamos o mdc (18, 5) pelo algoritmo de Euclides:

18

50

Da tem:
18

5.3 + 3, ento 3

18 - 5.3

3.1 + 2, ento 2

5 - 3.1

2.1 + 1, ento 1

3 - 2.1

2
Conclumos que o mdc (18, 5)

1.2 + 0

1 e que a equao possui soluo, pois 1|48.

Vamos escrever o 1 como combinao linear de 18 e 5.


1

3-2

3 - (5 - 3)

2.3 - 5

2.(18 - 5.3) - 5
18.2 + 5.(-7)

18.2 + 5.(- 7)

Multiplicando-se a equao por 48 obtemos;


18.96 + 5.(-336)
Logo o par de inteiros x0

96 e y0

48

- 336 uma soluo particular da

equao e aplicando o a proposio 1.0 as demais solues so dadas pelas


formulas
x
y

x0 + b.t

y0 a.t

96 + 5.t

- 336 18.t, com t

Z.

As solues inteiras so encontradas escolhendo o t de modo que satisfazem


as desigualdades
x

0ey

0 e -336 18.t

0, assim tm que 96 + 5.t

Isto :
t

-19,2 e t

-18, 6o que implica que t


x
y

Assim, o par de inteiros x


equao 18.x + 5.y

- 19 e, portanto:

96 + 5.( - 19)

- 336 18.( - 19)


1ey

6 a nica soluo inteira e positiva da

48.

Exemplo 3:
Dada a equao diofantina 14.x + 22.y

50, determine:

a) A soluo geral;
b) A menor soluo natural para x.
Primeiro usamos o algoritmo de Euclides para calcular omdc(14, 22).
22

14.1 + 8

14

8.1 + 6
51

8
6

6.1 + 2
2.3 + 0, assim o mdc (14, 22)

Veja que a equao tem soluo, pois 2|50. Escrevemos agora o mdc como
combinao linear de 14 e 22.
2

8-6

8 (14 - 8)

-14 + 2.8
- 14 + 2.(22 - 14)
2.22 3.14
14.(-3) + 22.(2)

Multiplicamos a ltima equao por 25 para obter o termo independente da


equao diofantina linear dada.
14. (- 75) + 22.(50)

50

Utilizamos as frmulas da proposio 1.1 e encontramos a soluo geral.

x0 +

.t

- 75 +

.t

- 75 + 11.t

y0 - .t

50 -

.t

50 7.t, para qualquer inteiro t.

Para encontrarmos a menor soluo natural para x. Fazemos;


X

- 75 + 11.t
t

7.t

6,8

7,1

0
50 7.t

50
t

Assim, devemos ter t

7.

Substituindo na expresso da soluo geral obtemos x

2ey

1.

3.3. Usar a congruncia linear para resolver equaes diofantinas


A teoria das congruncias lineares pode ser usada como uma forma de obter
as solues de uma equao diofantina linear caso elas existam. Uma soluo de
uma equao diofantina linear par de inteiros x0, y0 que satisfaz a equao: a.x0 +
b.y0

c e a.x0 c

- b.y0.

O que implica na congruncia ax0


soluo qualquer x

b (mod m). Determinaremos agora uma

x0 da congruncia a.x

c (mod m) depois substitumos x0 na

52

equao a.x + b.y


b.y0

c a fim de encontrar o valor correspondente y0 tal que a.x0 +

c.
Apresentaremos agora alguns exemplos de resoluo de Equaes

Diofantinas com a utilizao das congruncias lineares.

Exemplo 1:
Determine a soluo geral da equao diofantina 12.x + 25.y

331 por congruncia

linear.
Soluo:
Como o mdc(12, 25)
12.x 331

1 e 1|331, ento a equao diofantina possui soluo.

25.(- y) da 12.y

(mod 25), por fim, x

331(mod 25); 331

13 (mod 25). Assim x0

12.13 (mod 25); 12.x

12.13

13 uma soluo particular da

equao diofantina linear. Substituindo este valor na equao diofantina, obtemos;


y0

7.

A soluo geral : x

13 + 25.t, y

7 12.t com t inteiro.

Exemplo 2:
7.x + 6.y

Note que mdc(7, 6)


7.x 9

1 e 1 | 9, logo a equao diofantina possui soluo.

6.(- 7) da temos 7.x

(mod 6). Assim x0


obtemos y0

9 (mod 6); 9

7.3 (mod 6); 7.x

7.3 (mod 6); x

3 uma soluo particular. Substituindo este valor na equao

- 2.

Portanto a soluo geral : x

3 + 6.t, y

- 2 7.t para qualquer inteiro.

3.4.Equaes Diofantinas Linear com 3 variveis

Seja a equao geral dada por;


a1.x1 + a2.x2 + a3.x3 + ... + ak.xk

Onde os ais so inteiros no nulos, e o mdc(a1, a2, ..., ak)

(I)
d. Evidentemente

se d c ento a equao (I) no admite solues inteiras. Mas por outro lado, se d|c
e considerarmos d

1. Podemos encontrar as solues atravs do seguinte mtodo

que reduz o nmero de variveis da equao (I).

53

Consideremos os inteiros a, b, p, q e escrevemos na forma de combinao


linear tais que;
a.q b.p

E ainda denotarmos as variveis x1 e x2 da seguinte forma;


x1

a.u1 + b.u2

x2

p.u1 + q.u2

Ento como x1 e x2 so inteiros acarretar em u1 e u2 tambm inteiros. Agora


substituiremos as expresses de x1 e x2 na equao (I) e obtemos;
a1.x1 + a2.x2 + a3.x3 + ... + ak.xk

(I)

a1.(a.u1 + b.u2) + a2.(p.u1 + q.u2) + ... + ak.xk

a1.a.u1 + a1.b.u2 + a2.p.u1 + a2.q.u2 + a3.x3 + ...+ ak.xk


(a1.a + a2.p).u1 + (a1.b + a2.q).u2 + a3.x3 +...+ ak.xk

c (II)

Assim o conjunto (u1, u2, x3,..., xk) uma soluo da equao (II) se e
somente se, (x1, x2, x3, ..., xk) soluo de (I). Note que a escolha dos inteiros a, b, p
e q deve obedecer condio de a.q b.p
Considerando que a
(a, p)

,p

1.

sendo d

mdc (a1, a2), temos que o mdc

1. Agora pelo algoritmo de Euclides encontramos q e b. A partir dessas

escolhas podemos escrever a equao geral da seguinte forma;


(- p.d).(a.u1 + b.u2) + a.d.(p.u1 + q.u2) + a3.x3 + ... + ak.xk
- a.p.d.u1 b.p.d.u2 +a.d.p.u1 + a.d.q.u2 + a3.x3 + ...+ ak.xk
a.q.d.u2 b.p.d.u2 + a3.x3 +...+ ak.xk
(a.q b.p). d.u2 + a3.x3 +...+ ak.xk
1. d.u2 + a3.x3 +...+ ak.xk

c
c

c
c

Dessa forma na ltima equao vale;


(d, a3,..., ak, c)

1, com mdc (a1, a2)

Fazendo a repetio desse processo obtemos as solues na forma paramtrica


dada por
x1

a11.u1 + a12.u2 +...+ a1k 1.u k 1 + b1

x2

a21.u1 + a22.u2 +...+ a2k 1.u k 1 + b2


...
...
...
...
54

xk

a21.u1 + ak2.u2 +...+ akk 1.uk 1 + bk

Onde os aij e os bis so inteiros e os uis so variveis tomando valores inteiros.

Exemplo 1:
Encontrar todas as solues inteiras de 10.x + 6.y + 5.z
O mdc (10, 6)

8.

2. Escrevendo como combinao linear obtemos 10.x + 6.y

2. . Note que essa equao equivalente a 5.x + 3.y

, seno

um inteiro. Uma

soluo particular desta o par ordenado (- , 2. ), da a soluo geral para a


equao diofantina 5.x + 3.y

dada por;
x

+ 3.u

2. 5.u, com u

Note que a equao inicial pode ser escrita assim:


2. + 5.z

Que nos d a soluo geral


24 + 5.t, com t

- 8 2.t

Dessa forma a soluo geral da equao linear diofantina 10.x + 6.y + 5.z

dada por:
x

- 24 5.t + 3.u

48 + 10.t - 5.u
- 8 2.t

Exemplo 2:
Encontrar todas as solues inteiras de 101.x + 102.y + 103.z
O mdc (101, 102)
102.y
-

, com

+ 102.u e y

Fazendo

1.

1. Escrevendo como combinao linear obtm 101.x +

um inteiro e (- , ) uma soluo particular e a geral dada por x


101.u, sendo u um inteiro.

+ 103.z

1, cuja soluo particular

104 e z

- 1 o que nos

oferece as equaes;
104 + 103.t
z

-1t

com t inteiro

Da,
55

- 104 + 103.t + 102.u

104 + 103.t - 101.u


-1t

Mostre que o nmero de solues positivas de A.x + B.y

N no mximo

finita.
Demonstrao:
Seja a.x + b.y
a.x0 + b.y0

n, com x

0ey

0. Tome (x0, y0) uma soluo. Assim,

n (I). Somando e subtraindo o inteiro k.a.b na equao I com k

Z,

temos;
a.x0 + b.y0 + k.a.b k.a.b

a.x0 + a.k.b + b.y0 b.a.k

a.(x0 + b.k) + b.(y0 a.k)

Portanto a forma da soluo geral dada por;

Para x

0, temos x0 + b.k

x0 + b.k

y0 a.k

0
b.k

- x0

k
Para y

0, temos y0 a.k

0
- a.k

- y0

k
Notemos que h certa condio para o inteiro k, pois
Com

pertence aos reais.

Logo k est compreendido entre dois nmeros reais, assim o conjunto k


k1,...,kn}

{k,

Z limitado.

Portanto se existir a soluo positiva da equao diofantina ela finita dada


por x0 + b.k e y0 a.k.

Outra demonstrao que julgo necessria. o fato de que a equao.


56

a1.x1 + a2.x2 + a3.x3 + ... + ak.xk

(I)

Admite soluo inteira se, e somente se mdc(a1, a2,..., ak)

d|c.

Demonstrao:
Queremos mostrar que
a1.x1 + a2.x2 + a3.x3 + ... + ak.xk

Como o mdc(a1, a2,..., ak)

d|c

d, ento temos;

d|a1

q1

d|a2

Z tal que a1
q2

d.q1

Z tal que a2

(1)

d.q2

...
...
...
d|ak

qk

Z tal que ak

d.qk

(K)

Somando (1) +...+ (K)


a1 + a2+...+ ak

d.q1 + d.q2 +...+ d.qk

a1 + a2+...+ ak

d.(q1 + q2 +...+ qk)

Portanto d|a1 + a2+...+ ak, usando as propriedades da divisibilidade j estudadas d|c.

Se d|c ento existe q


existem m1, m2,...mk

Z tal que c
Z tais que d

d.q. Como mdc (a1, a2,...,ak)

d, temos que

m1.a1 + m2.a2 +...+ mk.ak. Multiplicando por q,

temos;

Fazendo x1

d.q

m1.a1.q + m2.a2.q +...+ mk.ak.q

d.q

a1.m1.q + a2.m2.q +...+ ak.mk.q

m1.q
x2

m2.q
.
.
.

xk

mk.q

Tm se
a1.x1 + a2.x2 + a3.x3 + ... + ak.xk

57

4. APLICAES DAS EQUAES DIOFANTINAS LINEARES

No capitulo anterior, fizemos um estudo sobre as equaes diofantinas


analisando sua condio de existncia, sua admisso de solues e como encontralas. Agora vamos realizar uma aplicao desse estudo na resoluo de problemas
aritmticos.
Em certos problemas de agrupamentos aparecem naturalmente um caso de
equao diofantina:

4.1 Problemas Envolvendo Equaes Diofantinas Lineares

Problema 1.
Quantas quadras de basquete e quantas quadras de vlei so necessrias
para que 80 alunos joguem simultaneamente qualquer um dos esportes? (LA
ROQUE; PITOMBEIRA, 1991, p. 39 [7]).

Soluo:
As equipes de basquete e vlei so compostas, respectivamente, de 5 e 6
jogadores. Como precisamos de duas equipes por quadra, modelamos nosso
problema atravs da seguinte equao diofantina:
12.x + 10.y

80

Onde x e y representam, respectivamente, a quantidade de quadras de vlei e


basquetenecessrias para acomodar os 80 jogadores.
Temos que o mdc(12, 10)

2 e a equao dada tem soluo, pois 2|80. Utilizando o

Corolrio 3 e dividindo a equao 12.x + 10.y


equivalente: 6.x + 5.y

40 onde mdc(6, 5)

80 por 2, obtemos a equao

1.

Escrevendo 1 como combinao linear de 6 e 5 temos:


6.1 + 5.( - 1)

Multiplicando a equao por 40, obtemos:


6.40 + 5.( - 40)

40

58

Logo, o par de inteiros x0

40 e y0 - 40 uma soluo particular da equao

proposta, e utilizando oCorolrio 2 na equao equivalente 6.x + 5.y


(6, 5)

40 j que mdc

1 as demais solues so dadas pelasfrmulas:


X

x0 + b.t

40 + 5.t

Com t
y0 a.t

Z
- 40 6.t

Como o nmero de quadras natural devemos restringir nossa resposta de modo


que escolhendo t sejamsatisfeitas as desigualdades:
x

0ey

0, assim temos que 40 + 5.t

0 e - 40 -6.t

Isto :
t

-8 e t

-6,67, da temos -8

-7.

O que implica que:


Para t

- 8, temos 0 quadras de vlei e 8 quadras de basquete.

Para t

- 7, temos 5 quadras de vlei e 2 quadras de basquete.

Problema 2.
Encontrar todos os nmeros naturais N menores do que 10.000 tais que:
O resto da diviso de N por 37 9;
O resto da diviso de N por 52 15.

Soluo:
Dividindo N por 37, obtemos um quociente x e resto 9, ou seja,
(i) N

37.x + 9

Analogamente, representando o outro quociente por y, temos.


(ii) N
De (i) e (ii), segue que 37.x + 9

52.y + 15

52.y + 15, ou seja, encontramos a equao

diofantina linear.
37.x + 52.y

Inicialmente, fcil perceber que 37 primo e no divide 52, ento o mdc(52,


37)

1 e como 1|6 a equao possui soluo em Z.

Para escrevermos 1

mdc(52, 37) como combinao linear dos nmeros 52 e 37

vo recorrer ao algoritmo de Euclides:

59

52

52

1.37 + 15, ento 15

37

2.15 + 7, ento 7

15

2 .7 + 1, ento 1

37

15

15

52 - 1.37
37 - 2.15

15 - 2 .7

7.1 + 0

Da,
1

15 - 2.7

Assim, 1

15 -2.(37 - 2.15)

5.15 - 2.37

5.(52 - 37) - 2.37

5.52 - 7.37.

mdc(52, 37) como combinao linear representado por:


37.( - 7) - 52.( - 5)

Multiplicando a equao por 6, segue que


37.( - 42) - 52.( - 30)
Temos que x0

- 42 e y0

- 30 uma soluo particular da equao proposta, e

utilizando o Corolrio2 as demais solues so dadas pelas frmulas:


X

x0 + b.t
Com t

y0 - a.t

-42 -52.t
Z
- 30 - 37.t

Para encontrar as solues da equao em N, basta determinarmos t de modo que


sejam satisfeitas asdesigualdades:
X

0eY

0, assim temos -42 -52.t

0 e - 30 -37.t

Temos assim as condies para t:


-42 -52.t

0, onde t

O que implica que se {t

-0,808 e -30 -37.t


Z; t

0, onde t

-0,812.

-1} temos que a equao 37.x - 52.y

6 possui uma

infinidade de solues em N. Retomando pergunta inicial, os nmeros N que


estamos procurando so dados, por:
N

37.x + 9

37.( -42 -52.t) + 9

- 1.545 -1924.t

Para que N < 10.000, devemos ter;


- 1.545 1.924.t
Logo se {t

Z; t

10.000 da obtemost

- 6} a equao N

- 6,001

- 1.545 1.924.t nos fornece um nmero N

10.000.
60

Agora para que esse nmero N seja natural e menor que 10.000 devem ser
satisfeitas ao mesmo tempo as condies {t
que t

Z; t

1} e {t

Z; t

6} que implicam

{ - 6,- 5, - 4,- 3,- 2,-1}. Assim, os seis possveis valores naturais para N so:

379, 2303, 4227, 6151, 8075 e 9999.

Problema 3
Se um trabalhador recebe 510 reais em tquetes de alimentao, com valores de 20
reais ou 50 reais cada tquete, de quantas formas pode ser formado o carn de
tquetes desse trabalhador?

Soluo:
Se x denota a quantidade de tquetes de 20 reais e y a quantidade de tquetes de 50
reais ento aequao :
20.x + 50.y
fcil perceber que o mdc(50, 20)
mdc(50, 20)

510

10 e a equao dada tem soluo, pois

10|510. Utilizando o Corolrio 3 e dividindo a equao 20.x + 50.y

510 por 10, obtemos a equao equivalente:


2.x + 5.y

51 onde mdc(5, 2)

1.

Agora, escrevendo 1 como combinao linear de 2 e 5 temos:


2.( - 2) + 5.(1)

Multiplicando a equao por 51, obtemos:


2.( - 102) + 5.(51)
Onde x0

-102 e y0

51

51 uma soluo particular da equao proposta, e utilizando

o Corolrio 2 na equao equivalente 2.x + 5.y

51 j que mdc(5, 2)

1 as demais

solues so dadas pelas frmulas:


X

x0 + b.t
Com t
y0 a.t

-102 + 5.t
Z
51 2.t

Na busca de solues no negativas devem ser satisfeitas as desigualdades:


x

0ey

0, assim temos que -102 + 5.t

0 e 51 2.t

Isto :
t

20,4 e t

25,5

61

O que implica que {t

Z; 21

25}, assim t

{21, 22, 23, 24, 25} e temos 5

possibilidades para os carns, a saber:


Para t

21, temos um carn com 3 tquetes de 20 reais e 9 tquetes de 50 reais.

Para t

22, temos um carn com 8 tquetes de 20 reais e 7 tquetes de 50 reais.

Para t

23, temos um carn com 13 tquetes de 20 reais e 5 tquetes de 50 reais.

Para t

24, temos um carn com 18 tquetes de 20 reais e 3 tquetes de 50 reais.

Para t

25, temos um carn com 23 tquetes de 20 reais e 1 tquetes de 50 reais.

Problema 4.
Se o custo de uma postagem de 83 centavos e os valores dos selos so de 6 e 15
centavos, comopodemos combinar os selos para fazer essa postagem?

Soluo:
Se x denota a quantidade de selos de 6 centavos e y denota a quantidade de selos
de 15 centavos,ento a equao que representa essa situao :
6.x + 15.y
fcil ver que o mdc(15, 6)

83

3 e como 3 83 a equao diofantina 6.x + 15.y

83

no possui solues inteiras e assim o problema de postagem no tem soluo.

Problema 5.
O valor da entrada de um cinema R$ 8,00 e da meia entrada de R$ 5,00. Qual
o menornmero de pessoas que podem assistir a uma sesso de maneira que a
bilheteria seja de R$ 500,00?

Soluo:
Inicialmente vamos identificar as variveis do problema, seja x o nmero de pessoas
que pagaro ovalor integral da entrada, e y o nmero de pessoas que pagaro o
valor da meia entrada. Dessa forma a equao representativa :
8.x + 5.y

500

Vamos encontrar o mdc(8, 5) pelo algoritmo de Euclides:

62

1.5 + 3, ento 3

8 1.5

1.3 + 2, ento 2

5 -1.3

1.2 + 1, ento 1

3 1.2

2.1 + 0

Como o mdc(8, 5)

1, a equao apresenta soluo, pois mdc(8, 5)

1|500. Agora

para escrever 1 comocombinao linear de 8 e 5 basta eliminar os restos 2 e 3 das


trs primeiras igualdades anteriores do seguintemodo:
1

3-2

3 -(5 - 3)

2.3 - 5

2.(8 - 5) - 5

2.8 3.5

Isto :
8.(2) + 5.( - 3)

Multiplicando a equao por 500, temos:


8.(1000) + 5.( - 1500)
Logo, o par de inteiros x0

1.000 e y0

500

- 1.500 uma soluo particular da

equao proposta, e utilizandoo Corolrio 2 as demais solues so dadas pelas


frmulas:
X

x0 + b.t
Com t

y0 - a.t

1000 + 5.t
Z
-1500 -8.t

O problema requer solues inteiras e positivas, que sero encontradas escolhendo


t de modo que sejamsatisfeitas as desigualdades:
x

0ey

0, assim tm que 1000 + 5.t

0 e -1500 -8.t

Isto :
t
O que implica que {t

Z; -200

-200 e t
t

-187,5

-187,5}. Agora para que encontremos o

menor nmero de pessoas,devemos utilizar o maior valor inteiro de t, ento se tem


que t

- 188.
63

Da, obtemos os valores;


X

1000 + 5.(-188)

60

-1500 -8.( -188)

Sendo assim, para a bilheteria ser de R$ 500,00 com o menor nmero de pessoas
possvel, deve-se ter 60pessoas que iro pagar R$ 8,00 cada e 4 pessoas que iro
pagar R$ 5,00 cada. Assim, nessas condies o menornmero de pessoas ser 64.

Problema 6:
Dois irmos, Joo e Jos, pescaram em uma manh x e y peixes,
respectivamente. Sabendoque 3.x + 4.y

61, determine as possveis quantidades

de peixes que eles conseguiram juntos?

Soluo:
Vamos inicialmente encontrar o mdc(3,4) pelo algoritmo de Euclides:

Como o mdc(3, 4)

1, a equao apresenta soluo, pois mdc(3, 4)

1|61. Agora

podemos escrever 1 comocombinao linear de 3 e 4 da seguinte forma:


3.( -1) + 4.(1)

Multiplicando a equao por 61, temos:


3.( -61) + 4.(61)
Logo, o par de inteiros x0

- 61 e y0

61

61 uma soluo particular da equao

proposta, e utilizando o Corolrio 2 as demais solues so dadas pelas frmulas:


X

x0 + b.t

-61 + 4.t

Com t

y0 - a.t

61 -3.t

O problema requer solues inteiras e positivas, que sero encontradas escolhendo


t de modo que sejamsatisfeitas as desigualdades:
x

0ey

0, assim temos que - 61 + 4.t

0 e 61 3.t

0
64

Isto :
15,25
O que implica que t

20,33

{16, 17, 18, 19, 20}. Assim as solues da equao podem

ser;
Para t

16, temos que Joo pescou 3peixes e Jos 13.

Para t

17, temos que Joo pescou 7peixes e Jos 10

Para t

18, temos que Joo pescou 11peixes e Jos 7

Para t

19, temos que Joo pescou 15peixes e Jos 4

Para t

20, temos que Joo pescou 19peixes e Jos 1.


Logo as possveis quantidades de peixes que os irmos conseguiram juntos

so 16, 17, 18, 19 e 20.


Problema 7.
Joo pediu a Pedro que multiplicasse o dia de seu aniversrio por 12 e o ms do
aniversriopor 31 e somasse os resultados. Pedro obteve 368. Qual o produto do
dia do aniversrio de Pedro pelo msde seu nascimento?

Soluo:
Inicialmente vamos identificar as variveis do problema, seja x o nmero que
representa o dia do aniversrio de Pedro, e y o nmero que representa o ms do
aniversrio de Pedro. Dessa forma a equaorepresentativa :
12.x + 31.y

368

Vamos encontrar o mdc(12,31) pelo algoritmo de Euclides:

31

31

2.12 + 7, ento 7

12

1.7 + 5, ento 5

1.5 + 2, ento 2

12

31 - 2.12
12 -1.7
7 - 1.5
65

2.2 + 1, ento 1

1.2 + 0

5 - 2.2

Da, podemos escrever o 1 como combinao linear de 12 e 31 da seguinte


forma;
1

5 - 2.2

5 - 2.(7 -1.5)

3.5 - 2.7

31 + 2.12) = 13.12 + 5.(-31)


Assim o mdc (12, 31)

3.(12 -7) - 2.7

3.12 + 5.(- 7)

3.12 + 5.(-

1 dado por:
12.(13) + 31.(-5)

Multiplicando a equao por 368, segue que.


12.(4784) + 31.(- 1840)
Temos que x0

4784 e y0

368

- 1840 uma soluo particular da equao proposta, e

utilizando o Corolrio2 as demais solues so dadas pelas frmulas:


x

x0 + b.t

4784 + 31.t
Com t

y0 - a.t

-1840 -12.t

Para encontrar as solues da equao basta determinarmos t de modo que sejam


satisfeitas asdesigualdades:
1

31 e 1

12

Assim temos para x:


1

4784 + 31.t

31

-1840 -12.t

12

Assim temos para y:

Dessa forma fazendo algumas aproximaes temos as condies para os valores de


t;
-154

-153

Observa-se ainda que a nico valor para t que satisfaz as condies de soluo da
equao t

-154.
x

4784 + 31.(-154)

10

- 1840 -12.(-154)

Portanto o aniversrio de Pedro no dia 10 de agosto, ento temos o produto dado


por 8.10

80.

66

Outra soluo para este problema dado pelos autores da REVISTA DAOLIMPADA
DE MATEMTICA DO ESTADO DE GOIS, p. 13, 2003.
Suponhamos quePedro nasceu no dia x, 1
Pelo enunciado, 12.x + 31.y

31 do ms y, 1

12.

368. Observa-se que 4 um divisor de 12 e de 368 e,

como 31 e 4 so primos entre si, 4 tem que ser um divisor de y. Os possveis valores
de y so 4, 8 e 12. Somente y

8 resultar um valor inteiro para x, no caso x

10.

O aniversrio de Pedro no dia 10 de agosto. O produto pedido 80.

Problema 8
Um fazendeiro deseja comprar filhotes de pato e de galinha, gastando um total de
R$ 1.770,00. Um filhote de pato custa R$ 31,00 e um de galinha custa R$ 21,00.
Quantos de cada um dos dois tipos o fazendeiro poder comprar?

Soluo:
Vamos modelar o problema da seguinte maneira.
31.x + 21.y
Observe que mdc (31, 21)

1770.

1 e que 1 divide 1.770. Logo, a equao tem soluo.

Vamos encontrar uma soluo particular. Para isso, usamos o Algoritmo da Diviso:

21 + (-2).10

31

1.21 + 10;

21

2.10 + 1;

21 + (-2).[31 + (-1). 21]

3.21 + (-2).31.

Multiplicando ambos os lados por 1.770, obtemos:


1770

(- 3540).31 + (5310).21.

Portanto, uma soluo particular x

- 3540 e y

5310. A soluo geral da

equao dada por:


x

- 3540 + 21.t e y

5310 -31.t.

Observe que estamos interessados somente nas solues positivas ou nulas, pois
representam quantidades de animais. Assim, temos que impor as condies
seguintes:
- 3540 + 21.t
Portanto, 21.t

3540 e 31.t

0 e 5310 -31.t

5310, que o mesmo que: t

Assim, como t um nmero inteiro, temos que 169

0.
168,57 e t

171,29.

171. Desse modo, as

solues so:
67

- 3540 + 21.169

5310 -31.169

71; ou

- 3540 + 21.170

30

5310 -31.170

40; ou

- 3540 + 21.171

51

5310 -31.171

9.

Essas solues dizem que o fazendeiro tem trs alternativas de comprar:


Que so 9 patos e 71 galinhas ou 30 patos e 40 galinhas, ou 51 patos e 9 galinhas.

4.2.Utilizando o Winplot

Agora vamos usar o Winplot para construir alguns grficos que representam
as equaes diofantinas lineares e percebermos as suas solues inteiras nestas
construes geomtricas. O uso desse programa computacional uma estratgia
geomtrica que viabiliza nosso estudo nas busca por solues inteiras de uma
equao diofantina linear.

Exemplo 1:

Represente graficamente as solues inteiras e positivas da equao 20.x + 50.y


510 (Problema 3) com a ajuda do Winplot.
Primeiro no Winplot escolhemos a opo plotar grfico de 2a dimenso.

Figura 1:Tela Inicial do Winplot

Na prxima janela selecione Equao e depois Reta.


68

Figura 2: Instrues para construo do grfico de uma reta

Agora para plotar o grfico da equao a.x + b.y

c, basta digitar seus

coeficientes.

Figura 3:Inserindo os coeficientes de uma equao diofantina que representa uma reta no plano.

Visualizao geomtrica do conjunto-soluo da equao linear 20.x + 50.y


510 do Problema 3.

69

Figura 4: Representao geomtrica das solues inteiras da equao diofantina do problema 3.

Encontrar todas as solues naturais da equao 3.x + 4.y

61. (Problema 6).

Figura 5: Solues da Equao Diofantina do problema 6 obtidas Winplot

Caso a Equao Diofantina Linear tenha soluo, observamos que quando o


coeficiente angular das retas suporte a.x + b.y

c for negativo, teremos um nmero

finito de solues inteiras e positivas. Analogamente, se ele for positivo, a Equao


Diofantina Linear ter infinitas solues inteiras e positivas.
70

Analise o exemplo a seguir:


Ao entrar num bosque, alguns viajantes avistam 37 montes de mas. Aps
serem retiradas 17 frutas, o restante foi dividido igualmente entre 79 pessoas. Qual
pode ter sido a menor parte recebida de cada pessoa? (IEZZI, G. et al. 2003 [11]).
Veja que se cada um dos 37 montes tem x mas e aps serem retiradas 17
mas sobraram-nos r mas, assim temos a equao:
37.x -17

Como o restante das mas ser dividido igualmente entre 79 pessoas, temos
que r mltiplo de 79 e ento da forma r

79.y, sendo y a parte inteira que cabe a

cada pessoa. Da tem a seguinte equao diofantina linear.


37.x -79.y

17

As solues desta equao so dadas pela abscissa x

9 + 79.te ordenada y

4+

37.t, com t inteiro.


Para que possamos repartir a menor quantidade de mas possvel para cada
pessoa basta tomar t

0 na equao y

4 + 37.t.Obtendo y

4, ou seja, cada uma

das pessoas receber 4 mas. Graficamente;

Figura 6:Representao geomtrica da nica soluo que apresenta as menores coordenadas inteiras.

71

Deixamos aqui agora alguns problemas a serem resolvidos a cargo do leitor


para que o mesmo pratique os conhecimentos adquiridos e desenvolvidos neste
trabalho.

Problema 9.
Camila possui R$ 500,00 depositados num banco. Duas operaes bancrias so
permitidas, retirar R$ 300,00 e depositar R$ 198,00. Essas operaes podem ser
repetidas quantas vezes Camila desejar,mas somente o dinheiro inicialmente
depositado pode ser usado. Qual o maior valor que Camila pode retirardo banco?
(REVISTA DA OLIMPADA DE MATEMTICA DO ESTADO DE GOIS, abril. 2003).
Problema 10.
Um laboratrio dispe de 2 mquinas para examinar amostras de sangue. Uma
delas examina 15 amostras de cada vez enquanto a outra examina 25. De quantos
modos diferentes essas mquinas podem ser acionadas para examinar 2 mil
amostras? (LA ROCQUE; PITOMBEIRA, 1991, p. 39 [7]).

Problema 11.
Um grupo de pessoas gastou 690 dlares num hotel. Sabendo que apenas alguns
dos homensestavam acompanhados pelas esposas e que cada homem gastou 18
dlares e cada mulher gastou 15 dlares,determinar quantas mulheres e quantos
homens estavam no hotel. (FONSECA, 2011, p. 116 [10]).
Problema 12.
Para participar de um evento comemorativo em um clube no scio pagavam R$
12,00 e sciosR$ 8,00. Sabendo-se que foram arrecadados R$ 908,00 na portaria,
quantas pessoas no mximo poderiamestar presentes neste evento? (FONSECA,
2011, p. 116 [10]).

Problema 13.
Temos duas balanas: uma que marca pesos mltiplos de 10 e outra que marca
pesos mltiplos de 13. Como que com essas balanas podemos pesar 107
gramas?

72

Problema 14.
Numa papelaria vedem-se dois tipos de canetas por 110 e 70 reais respectivamente.
Ao fim de um dia a importncia total recebida pela venda dessas canetas foi 6570
reais. Qual o menor numero possvel de canetas vendidas? E qual o maior?

Problema 15.
Dispondo de 100 reais, quais so as quantias que se podem gastar comprando
selos de R$ 5,00 e de R$ 7,00.

Problema 16:
Um grupo de pessoas gastou 1000 dlares num hotel. Sabendo-se que apenas
alguns dos homens estavam acompanhados pelas esposas e que cada homem
gastou 19 dlares e cada mulher gastou 13 dlares, pede-se determinar quantas
mulheres e quantos homens estavam no hotel?

73

CONSIDERAES FINAIS
Espera-se com esse trabalho de concluso de curso, favorecer ao leitor um
embasamento terico e prtico das Equaes Diofantinas Lineares. Com uma
linguagem clara de acessibilidade ao aluno de graduao.
notvel a contribuio de Diofanto para a histria da matemtica,
precisamente lgebra, pois foi pioneirono desenvolvimento da notao lgebra em
que algumas operaes eram representadas por suas abreviaes.Apesar de no
ser o primeiro a trabalhar com equaes indeterminadas ou a resolver equaes
quadrticas de maneira no geomtrica, podemos considerar que Diofanto foi
primeiro a dar os passos iniciais rumo a uma estrutura da simbologia algbrica que
estudamos hoje. Da a importncia fundamental de se fazer um estudo acerca das
equaes, com vistas s aplicaes das mesmas na resoluo dos problemas
aritmticos.
Alm da estratgia de tentativa e erro as equaes diofantinas lineares na
busca por suas solues permite articular outras estratgias de enfoque aritmtico
para possibilitar a evoluo do uso da escrita algbrica. Houve-se um fortalecimento
na demonstrao dos conceitos bsicos da Teoria Elementar dos Nmeros que so
necessrios para deduo dos nmeros de solues de uma Equao Diofantina
Linear.
Compreende-se que uso das estratgias algbricas e geomtricas para
resoluo de problemas aritmticos contidas neste trabalho estimula-se ao leitor a
repensar sobre o processo de aprendizagem do contedo algbrico e a aprimorar os
seus conhecimentos.
Dessa forma, desejo que esse trabalho contribua significativamente para uma
melhor compreenso da disciplina de Teoria dos nmeros, considerada por muitos a
rea mais nobre da Matemtica. Portanto produzir no discente a capacidade de
identificar problemas que possam ser modelados e em seguida serem resolvidos por
meio dessas equaes.

74

REFERNCIA BIBLIOGRAFIA
[1] POLCINO Csarmilies: Nmeros Uma introduo matemtica

[2] Dan Avritzer Hamilton Prado Bueno Marlia Costa de Faria Maria Cristina Costa
Ferreira. Fundamentos da lgebra.

[3] BOYER, Carl. Benjamim. Histria da Matemtica. 9. Ed. So Paulo: Editor Edgard
Blucher, 1991.

[4] BARROS, Alayde Ferreira dos Santos. Equaes Diofantinas e suas


Aplicaes. 1998. 55p. Monografia (Especialista em Matemtica), UESB-BA.

[5] POMMER, Wagner Marcelo. Equaes Diofantinas Lineares: um desafio


motivadorpara alunos de ensino mdio. 2008. 153p. Dissertao (Mestrado em
EducaoMatemtica), PUC-SP, 2008.

[6] COSTA, Eduardo S., Equaes Diofantinas Lineares e o Professor do Ensino


Mdio. 2007. 119f. Dissertao de Mestrado Acadmico em Educao Matemtica.
Pontifcia Universidade Catlica de So Paulo, So Paulo.

[7] LA ROQUE, G., PITOMBEIRA, J.B., Uma Equao Diofantina e Suas


Resolues. In Revista do Professor de Matemtica. So Paulo, v. 19, p. 39-47,
1991.

[8] OLIVEIRA, Silvio. B., As Equaes Diofantinas Lineares e o Livro Didtico de


Matemtica para o Ensino Mdio. 2006. 102 f. Dissertao de Mestrado Acadmico
em Educao Matemtica. Pontifcia Universidade Catlica de So Paulo, So
Paulo.

[9] OLIVEIRA, Jos Plinio. Introduo Teoria dos Nmeros. Coleo Matemtica
Universitria. 1998. Campinas-SP.

75

[10] FONSECA, Rubens V., Teoria dos Nmeros Belm: Universidade do Estado do
Par. 2011.

76