Artigo Original DOI:10.

5902/2179460X14529

Cincia e Natura, Santa Maria, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57

Revista do Centro de Cincias Naturais e Exatas - UFSM
ISSN impressa: 0100-8307 ISSN on-line: 2179-460X

Mtodo para resolver equaes diofantinas com coeficientes no

conjunto dos nmeros racionais
thod for solving Diophantine equations with coefficients in the set of rational

numbers

Josias Neubert Savis*1 e Daiane Freitas2

1,2
Universidade Federal do Rio Grande, RS, Brasil

Resumo

Desenvolver um conhecimento slido sobre as equaes diofantinas lineares em duas variveis possibilita a
resoluo de muitos problemas do cotidiano e, tambm, o real entendimento de alguns conceitos matemticos
ensinados na escola, mas que parecem sem utilidade e sem aplicao prtica. Alm disso, as relaes que estas
equaes estabelecem com outros contedos que j esto inseridos na educao bsica justificam o seu ensino
e a tornam uma importante ferramenta de contextualizao e interdisciplinaridade. Neste trabalho tambm
mostraremos, a importncia do ensino dos nmeros racionais e neste contexto fazer uma anlise sobre um novo
conceito de mximo divisor comum, chamado mximo divisor comum generalizado, com isto poderemos usar
os racionais como conjunto numrico dos coeficientes das equaes diofantinas, expandindo a abrangncia de
problemas solucionados por estas equaes. A criao de vrios problemas prticos de aplicao da teoria estudada
serve para nos convencermos da importncia deste trabalho e para incentivar a sua aplicao e a criao de novos
problemas levando em considerao a realidade de cada escola e de seus alunos.

Palavras-chave: Equaes diofantinas. Nmeros racionais. Problemas prticos. Contedos relacionados

Abstract

Develop a solid understanding of linear Diophantine equations in two variables facilitates the resolution of many
problems of daily life and also the real understanding of some mathematical concepts taught in school but they seem
useless and without practical application. Moreover, the relationships that these equations are established with
other content that are already inserted into the basic education justify their education and become an important
tool for contextualizing and interdisciplinarity. This work also aims to show the importance of teaching of rational
numbers and in this context do analysis on a new concept of greatest common divisor,called generalized maximum
common divisor, and thus we can use the numberpad as rational coefficients of Diophantine equations, expanding
the breadth of problems solved by these equations. The creation of various practical problems of implementation of
the theory studied serves to convince us of the importance of this work and to encourage their implementation and
creating new problems taking into account the reality of each school and its students.

Keywords: Diophantine Equations. Rational numbers. Practical problems. Related contents.

Recebido: 26/06/2014 Aceito: 08/10/2014

*josiasneubert@hotmail.com
Cincia e Natura, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57
Cincia e Natura
1 Introduo
Equao diofantina linear em duas variveis um tipo
de equao que, alm de apresentar conceitos especi-
ais na sua resoluo, como por exemplo a viso de so-
luo geral da equao que determinada atravs da a compreenso do mesmo. Porm, algumas proposi-
insero de um parmetro (conceito este usado no es-
tudo das equaes paramtricas, em geometria anal-
tica), ajudam a resolver vrios problemas curiosos e in-
teressantes e tambm desenvolver o raciocnio dos alu-
nos atravs da unio da resoluo de clculos com a
interpretao de problemas. Para que seja possvel ensi-
nar estas equaes, outros conceitos devem ser aborda-
dos como pr-requisitos, como por exemplo a diviso
euclidiana, o algoritmo de Euclides e o mximo divisor
comum (mdc) entre dois ou mais nmeros inteiros.
Mesmo que as equaes diofantinas no estejam de-
finidas como contedo da educao bsica, possvel
improvisar e inserir este contedo no contexto escolar,
de preferncia relacionando-o com outros contedos j
trabalhados normalmente, os contedos de matemtica
tm uma flexibilidade que permite adaptar o ensino de
acordo com a necessidade e realidade de cada turma,
escola ou regio.
Fato curioso sobre as equaes diofantinas lineares
em duas variveis, as quais podem ser escritas da forma
ax + by = c, o de que os coeficientes desta equao
devem pertencer ao conjunto dos nmeros inteiros (Z),
ou seja , a, b, c Z. muito difcil olhar para estas
equaes e em algum momento no pensar "ser que se
os coeficientes pertencessem a outro conjunto numrico
teramos condies de encontrar sua soluo geral?"ou
mesmo difcil analisar um problema aplicado resol-
vido atravs das equaes diofantinas e no passar na
mente o devaneio de tentar criar um problema envol-
vendo dinheiro e decimais de igual resoluo atravs
dos mesmos conceitos e do mesmo formato de equao.
Por isso, desenvolvemos uma relao interessante e
inovadora entre nmeros racionais e equaes diofan-
tinas, possibilitando a resoluo de uma infinidade de
problemas didticos e do cotidiano. Esta relao poss-
vel atravs da generalizao de conceitos at ento ado-
tados somente no conjunto dos nmeros inteiros aos n-
meros racionais (Q), e reais comensurveis, tais como o
conceito de mximo divisor comum que nos racionais
chamaremos de mximo divisor comum generalizado
(mdcg) e os coeficientes de uma equao do tipo diofan-
tina que podero pertencer ao conjunto dos nmeros
racionais (Q).
48
2
2 Divisibilidade e Mximo Divisor
Comum (MDC)
Ao longo deste trabalho, mostraremos algumas defini-
es, proposies e teoremas que so necessrias para
es e teoremas que julgamos de fcil compreenso no
sero demonstradas, mas podem ser encontradas em
(Hefez, 2011), (Martinez, 2011) e (Neto, 2012).
Definio 2.1. Dados a,b Z, com b = 0, dizemos que b
divide a, ou que b um divisor de a, ou ainda que a mltiplo
de b, e escrevemos b| a, se existir q Z tal que a = bq. Caso
b no divida a, escrevemos b  a.
Proposio 2.1. Sejam a, b, c Z e x, y inteiros quaisquer.
Tem- se que:
(a) Se b| a , ento |b| | a|.
(b) Se b| a e a|b , ento a = b.
(c) Se c|b e b| a , ento c| a.
(d) Se c| a e c|b, ento c|( ax + by).
(e) Se c|b, ento c| ab( um caso particular do item anterior).
(f) Se b| a , ento bc| ac.
Teorema 2.1 (Diviso Euclidiana). Para quaisquer a, b
Z, com b = 0, existem nicos q, r Z , tais que a = bq + r,
onde 0 r < |b|.
Definio 2.2. O Mximo Divisor Comum de dois inteiros
a e b (com a ou b diferente de zero), denotado por mdc( a, b)
ou simplesmente por ( a, b), o maior inteiro que divide a e b,
ou seja, o maior inteiro que pertence ao conjunto dos diviso-
res de a e b.
Definio 2.3. O Mnimo Mltiplo Comum de dois inteiros
a e b (com a ou b diferente de zero), denotado por mmc( a, b)
ou simplesmente por [ a, b], o menor inteiro que mltiplo
a e b, ou seja, o menor inteiro que pertence ao conjunto dos
mltiplos de a e b.
Lema 2.1. Sejam a e b dois inteiros positivos e a = bq + r,
com 0 r < b e q Z. Ento mdc( a, b) = mdc(b, r ).
Assim, pelo lema anterior, dados a, b inteiros posi-
tivos com a  b, o problema de encontrar o mdc( a, b),
reduz-se a encontrar o mdc(b, r ), onde r tal que a =
bq + r, com 0  r < b. De posse desse resultado, po-
demos mostrar o algoritmo de Euclides. Este algoritmo
apresenta duas funes muito importantes: primeiro, o
algoritmo de Euclides fornece o mdc( a, b) de maneira
rpida e sistemtica; segundo, atravs deste algoritmo
49 Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no
3 Autores: Equaes diofantinas comdos
possvel escrever o mdc( a, b) como combinao linear
de a e b, fato este que ser indispensvel para a resolu-
o das equaes diofantinas lineares com duas vari-
veis, que sero abordadas mais adiante.
Vamos ao mtodo chamado de algoritmo de Eucli-
des. Sejam a e b inteiros positivos, com a b. Na-
turalmente, repetindo o algoritmo da diviso euclidi-
ana,temos:
a = bq1 + r1 , com 0 r1 < b
b = r1 q2 + r2 , com 0 r2 < r1
r1 = r2 q3 + r3 , com 0 r3 < r2
..
. sobre os nmeros racionais importante. No cotidi-
r n 2 = rn1 qn + rn , com 0 rn < rn1
r n 1 = rn qn+1 + rn+1 , com 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 pri-
meiro resto nulo. Utilizando o resultado do lema ante-
rior, temos que:
mdc( a, b) = mdc(b, r1 ) = mdc(r1 , r2 )
= mdc(r2 , r3 ) = = mdc(rn1 , rn )
Finalmente, como rn | rn1 fcil ver que mdc(rn1 , rn ) =
rn , logo, mdc( a, b) = rn .
Podemos usar o algoritmo de Euclides de maneira
mais simplificada e eficiente atravs do dispositivo pr-
tico abaixo, que torna os clculos mais mecnicos e mais
prticos de serem realizados. Este dispositivo prtico
que sintetiza o algoritmo de Euclides, alm de calcular
o mdc( a, b), serve para escrever o mesmo como com-
binao linear dos coeficientes a e b de uma equao
diofantina linear com duas variveis, fato este que ser
abordado mais adiante.
q1 q2 q3 ... q n 1 qn
a b r1 r2 ... r n 2 r n 1 rn = mdc( a,b)
r1 r2 r3 r4 ... rn
Observao: Com o algoritmo de Euclides encontramos
o MDC entre dois nmeros inteiros no nulos, o qual
tambm nos permite obter o MMC atravs da relao:
mmc( a,b) mdc( a,b) = a b.
3 Ensino dos Nmeros Racionais
O conjunto dos nmeros racionais Q um dos conjun-
tos numricos mais trabalhados nas sries finais do en-
sino fundamental. Junto com o conjunto dos nmeros
conjunto coeficientes
nmeros racionais
inteiros Z o conjunto de nmeros que serve de base e
de uso indispensvel na maioria dos contedos e pro-
blemas abordados durante o ensino fundamental. Em-
bora no ensino mdio seja dado nfase ao conjunto dos
nmeros reais R, a maioria dos problemas resolvidos
em sala de aula, em provas, em concursos e no Enem
(Exame Nacional do Ensino Mdio) usam os conheci-
mentos sobre nmeros decimais finitos ou infinitos e
peridicos, que podem ser escritos na forma de frao
p
, com p,q Z e q = 0, ou seja, o conjunto dos nme-
q
ros racionais.
E no s no contexto escolar que o conhecimento
ano de qualquer pessoa aparecem situaes envolvendo
uma frao ou um decimal finito. Basta perceber que to-
das as pessoas precisam utilizar dinheiro para viver em
qualquer sociedade atualmente, e para isto deve-se ter
a noo de dcimos e centsimos. Alm disso, fazer um
bolo ou comer uma pizza com os amigos necessita de
um conhecimento bsico sobre fraes.
Cabe apenas uma ressalva sobre a abordagem dos
racionais no ensino fundamental, em dois pontos inte-
ressantes. Primeiro, o professor deve prestar ateno
no uso das multiplicaes e divises de fraes (ou deci-
mais) como sendo operaes que, tambm, representam
quantidades e que s vezes so esquecidas por causa de
formulaes que "facilitam"a memorizao e a resolu-
o de problemas por parte dos alunos. Exemplo desta
memorizao pode ser dado pela regra da diviso de
fraes "na diviso de frao, copia-se a primeira frao
e multiplica-se pelo inverso da segunda frao", que
trabalhada por muitos professores somente como um
mtodo, uma receita, desvinculando assim o sentido de
"repartir"que uma diviso tem. Desse modo, as mul-
tiplicaes e divises de fraes se tornam abstraes
desprendidas de sentido, sem utilizao em situaes
reais encontrados no cotidiano, como por exemplo, cal-
q n +1 cular a quantidade de cada ingrediente que ser neces-
srio para fazer um bolo que rende 6 pores, sabendo
que a quantidade de cada ingrediente da receita origi-
nal rende 15 pores.
Um exemplo simples do fato de dar sentido s ope-
raes com fraes, conforme (Ribeiro, 2009), que con-
sideramos uma abordagem obrigatria, a representa-
o geomtrica de uma multiplicao de fraes. Veja o
exemplo dado na Figura 1..
Do mesmo modo que a multiplicao de frao, a
diviso de fraes tambm pode ser representada geo-
metricamente, usando o sentido de repartir que a divi-
so tem para facilitar o entendimento por parte dos alu-
nos. Vamos mostrar um exemplo de diviso de fraes
Cincia e Natura, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57
Cincia e Natura
Figura 1:- Multiplicao de Fraes.
Figura 2:- Diviso de Fraes.
representando-a geometricamente e passo a passo. Que-
2 1
remos efetuar o clculo da expresso de modo
3 4
geomtrico, ou seja, queremos repartir um produto que
2 se existem inteiros no nulos m, n tais que mr = ns.
ocupa de um determinado recipiente em "potes"que
3
1
tm da capacidade deste recipiente. Ento, para des-
4 Exemplos:
cobrir a quantidade de potes que iremos usar, proce-
demos de modo semelhante ao caso da multiplicao,
conforme Figura 2..
O outro ponto que deve ser abordado com muita
ateno a relao frao-decimal-porcentagem, que
exige por parte do aluno um domnio sobre as equi-
valncias entre fraes e tambm multiplicao, diviso
e simplificao de fraes. Alertar os alunos e faz-los
compreender o fato de que
6 2 4 40
= = 0,4 = = = 40%
15 5 10 100
de fundamental importncia para o desenvolvimento
de vrios clculos em vrias situaes e vrios conte-
dos de matemtica, como por exemplo na resoluo de
regras de trs, clculo de juros, equaes, funes, geo-
metria e trigonometria.
A partir do momento em que os alunos apresenta-
rem um domnio significativo das operaes e resolu-
es de problemas no campo das fraes, o ensino da
matemtica ir atingir outro patamar, podendo ser de-
senvolvida uma gama maior de contedos e de aplica-
50
4
es, facilitando de certo modo o trabalho do professor
de matemtica do ensino mdio e deixando-o a vontade
para mostrar aos alunos que quanto mais se aprende e
se desenvolve na matemtica, mais prazerosa e apaixo-
nante ela fica.
4 Conceito de MDC generalizado
A seguir sero expostas algumas definies que nos
permitem generalizar o conceito de mximo divisor co-
mum (e tambm mnimo mltiplo comum se for do in-
teresse do leitor) para o conjunto dos nmeros racionais
e para os nmeros reais comensurveis. Vale ressaltar
que o conceito de mximo divisor comum generalizado
(mdcg) foi retirado do artigo (Ripoll et al., 2006), publi-
cado em 2006 na revista Matemtica Universitria e es-
crito pelos professores Alveri Santanna, Cydara Ripoll
e Jaime Ripoll, conceituados professores da Universi-
dade Federal do Rio Grande do Sul (UFRGS).
Definio 4.1. Dizemos que dois segmentos da reta so co-
mensurveis quando ambos podem ser obtidos atravs de um
nmero inteiro de emendas no sobrepostas de um mesmo seg-
mento de reta.
Definio 4.2. Dois nmeros reais r e s so comensurveis
1. Dois racionais so sempre comensurveis.
2. Dois irracionais
podem
ser comensurveis:
por exemplo, 2 e 2 2.
3. Dois reais quaisquer nem sempre so comensurveis:
basta tomar um racional e um irracional, mas tambm a
maioria
de pares de irracionais, como, por exemplo, 2
e 3.
Definio 4.3. Dizemos que um nmero real r um mltiplo
inteiro de um nmero real s, ou que s um divisor inteiro de
r, se existe um inteiro a tal que r = as.
Devemos observar que a definio acima esclarece o
significado de mltiplo inteiro e divisor inteiro de nme-
ros reais, que ao longo do texto podem confundir o lei-
tor, pois nos referimos ao mltiplo inteiro comum como
sendo um nmero real que mltiplo um nmero in-
teiro de vezes de outro nmero real e ao divisor inteiro
comum, ao nmero real que divide outro nmero real
uma quantidade inteira de vezes.
Proposio 4.1. Sejam r e s dois nmeros reais no nulos.
As seguintes afirmaes so equivalentes:
51 Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no
5 Autores: Equaes diofantinas comdos
conjunto coeficientes racionais
nmeros racionais

a) r e s so comensurveis; irredutvel, ento

r
b) o quociente um nmero racional; r s
s mdcg(r, s) = = ,
c) existe um real t que mltiplo inteiro comum de r e de s; u v
d) existe um real u que divisor inteiro comum de r e de s.
o que completa a prova do teorema.

Demonstrao: 
( a) (b) Se r e s so comensurveis ento existem
r No caso de r e s serem nmeros racionais, a frmula
m, n Z tais que mr = ns. Consequentemente, = dada no teorema acima pode ser reescrita em termos
s
n das representaes destes racionais em fraes irredut-
Q.
m veis:
r r n
(b) (c) Suponhamos que Q, digamos, = .
s s m
Ento, multiplicando a igualdade acima por sm obte-
mos que t = mr = ns um mltiplo inteiro comum de Teorema 4.2. Sejam r,s racionais no nulos e sejam a,b,c,d
a c
r e de s, com t R. inteiros tais que e so as representaes para r e s, respec-
b d
(c) (d) Seja t R um mltiplo inteiro comum de r tivamente, na forma de frao irredutvel. Ento mdcg(r, s) =
e de s, digamos, t = mr = ns, com m, n Z . Ento, o mdc( a,c)
r s .
nmero u = = um divisor inteiro comum de r e mmc(b,d)
n m
de s. Demonstrao:
(d) ( a) Seja u um divisor comum de r e de s, diga- Novamente aqui provamos apenas para o caso r e s po-
mos r = un e s = um, com m, n Z . Ento, temos que sitivos.
mr = ns concluindo a demonstrao. Como mdc( a,b) = 1 = mdc(c,d), temos
 a
r b ad a d
Definio 4.4. Sejam r e s dois nmeros reais comensurveis = c = =  ,
s bc bc
no nulos. Dizemos que u o mximo divisor comum gene- d
ralizado (mdcg) entre r e s, e escrevemos u = mdcg(r, s), se
a) u um divisor inteiro comum de r e s. onde
b) se u divisor inteiro comum de r e de s ento u u. a b c
a = , b = , c = ,
mdc( a,c) mdc(b,d) mdc( a,c)
De posse das definies acima, podemos enunciar o
d
teorema que nos fornece uma frmula para o mdcg en- d = .
mdc(b,d)
tre dois reais comensurveis quaisquer.
a d
claro, que a frao   irredutvel, e portanto, pelo
bc
Teorema 4.1. Sejam r e s dois reais comensurveis no nulos. Teorema 4.1 , temos
Ento
r s r a mdc( a,c) mdc(b,d)
mdcg(r, s) = = , mdcg(r, s) = = . .
u v a d b a d
u r
onde a forma irredutvel do racional .
v s mdc(b,d) mdc( a,c)
= mdc( a,c). =
bd bd
Demonstrao: mdc(b,d)
Consideraremos aqui apenas o caso r e s positivos. Ob-
servamos inicialmente que se a,b,c,d so inteiros tais mas como
bd
que ar = bs e cr = ds ento = mmc(b,d)
mdc(b,d)
b d ento substituindo esta expresso temos que
= ,
a c
r mdc( a,c)
e este nmero nada mais do que o nmero . As- mdcg(r, s) = ,
s mmc(b, d)
sim, os menores naturais a,b que satisfazem ar = bs so
claramente obtidos quando tomamos o numerador e o
denominador da frao irredutvel que representa o ra- o que completa a prova.
r u
cional . Da, pela definio de mdcg, se tal frao 
s v
Cincia e Natura, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57 52
Cincia e Natura 6

Este conceito de mdc generalizado ser utilizado mais b

inteira qualquer da equao, ento as frmulas x = x0 + t
adiante para possibilitar a resoluo de equaes do d
a
tipo diofantinas com coeficientes racionais e deste modo e y = y0 t, para todo t Z, fornecem todas as solues
d
estender o emprego dos mtodos de resoluo destas inteiras possveis.
equaes para problemas que at o momento so solu-
cionados atravs de outros artifcios matemticos. Mas,
vale lembrar que a Definio 4.4 s tem sentido quando Demonstrao: Se a equao admite soluo inteira,
adotada como referncia nica e exclusivamente a Defi- pela Proposio 2.1, mdc( a, b)| ax + by, logo mdc( a, b) | c.
Reciprocamente, suponhamos que mdc( a, b) | c , diga-
nio 4.3. Se pensarmos na divisibilidade em um anel
mos c = kmdc( a, b) com k Z. Pelo teorema 5.1 exis-
(conjunto munido de duas operaes que satisfazem al-
tem inteiros x0 e y0 , tais que ax0 + by0 = mdc( a, b). Mul-
gumas propriedades pr-determinadas), conforme pro-
tiplicando essa igualdade por k obtemos que x = kx0 e
posto por Ripoll et al. (2006), em que dado um anel A,
y = ky0 so solues da equao dada.
com a,b A, ento podemos dizer que a mltiplo de
b ou que b divisor de a se a = bt para algum t A, Para o que falta, suponha que mdc( a, b)|c e seja x =
teramos neste caso o diferencial de que um mltiplo a x0 , y = y0 uma soluo inteira qualquer da equao. Se
no significa um nmero inteiro de vezes o nmero b, x = x1 e y = y1 for outra soluo inteira da mesma, en-
como abordamos at o momento. to a( x1 x0 ) = b(y0 y1 ). Dividindo essa igualdade
por d = mdc( a, b), temos:
a b
( x x0 ) = ( y0 y1 ). (1)
d 1 d
5 Equaes diofantinas lineares em  
b a a b
duas variveis Assim, | ( x x0 ) e, como mdc
d d 1
,
d d
= 1, te-
b b
So chamadas equaes diofantinas todas as equaes mos que |( x x0 ). Logo t Z tal que x1 x0 =
t,
d 1 d
polinomiais (no importando o nmero de incgnitas) b b
com coeficientes inteiros, sempre que for tomado como o u seja, x1 = x0 + t. Substituindo ( x1 x0 ) por t
d d
conjunto soluo das variveis da equao o conjunto a
na equao (1), obtemos de modo anlogo y1 = y0 t,
dos nmeros inteiros. Visto a importncia, facilidade d
com t Z. Reciprocamente, imediato verificar que
de resoluo e quantidade de problemas que se enqua-
tais frmulas fornecem, de fato, para todo t Z, solu-
dram neste formato, tomaremos como foco do nosso
es inteiras para a equao.
estudo a compreenso e resoluo das equaes diofan-
tinas lineares com duas variveis. 
Uma observao importante deve ser feita no teo-
Uma equao diofantina linear em duas variveis
rema acima: como d|c, temos que c = dq, com q Z
uma expresso da forma ax + by = c, na qual a, b, c so c
inteiros, com a e b no simultaneamente nulos e cujas e q = . Escrevendo d = ar + bs , com r, s Z, e
d
solues esto restritas ao conjunto dos nmeros intei- c
multiplicando a equao por q = obtm-se a equao
ros. Uma soluo dessa equao ento um par de d
c c c
inteiros ( x0 , y0 ) tal que ax0 + by0 = c. c = ar + bs , e a partir da conclui-se que x0 = r e
d d d
c
y0 = s e que as solues gerais da equao diofantina
Vale ressaltar que, apesar deste tipo de equaes que d
visa solues inteiras receberem o nome de diofantinas ax + by = c podem ser escritas da seguinte forma:
rc + bt sc at
devido a Diofanto de Alexandria, o primeiro matem- x= ey= , para qualquer t Z.
tico a encontrar uma soluo geral de uma equao dio- d d
fantina linear foi o hindu Brahmagupta (598 670), cuja Exemplo de resoluo de uma equao diofantina.
resoluo foi embasada no algoritmo de Euclides, con-
forme (Eves, 2011).
Exemplo 5.1. Vamos resolver a equao 5x + 12y = 81 com
soluo pertencente a Z.
Teorema 5.1 (Teorema de Bzout). Se d = mdc( a, b), en-
to existem x, y Z, de modo que ax + by = d. Resoluo
Vamos comear usando o algoritmo de Euclides.
Teorema 5.2. Sejam a, b, c Z, com a e b no simulta-
neamente nulos. A equao ax + by = c admite soluo 2 2 2
inteira em x e y se, e somente se, mdc( a, b) | c. Nesse 12 5 2 1
caso, se d = mdc( a, b) e x = x0 , y = y0 uma soluo 2 1
53 Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no
7 Autores: Equaes diofantinas comdos
Pelo Teorema 5.2, como o mdc(5,12) = 1 ento a
equao tem soluo. Usando o algoritmo acima e fa-
zendo as substituies necessrias, encontramos a solu-
o particular procurada. Segue que
1 = 5 2.2 e 2 = 12 5.2
o que implica
1 = 5.1 2(12.1 2.5)
1 = 5.5 + 12.(2)
Multiplicando a equao acima por 81, seque que
81 = 5.(405) + 12.(162).
Deste modo temos que a soluo geral da equao
5x + 12y = 81 no conjunto dos inteiros :
X = 405 + 12t e Y = 162 5t , com t Z.
6 Aplicaes
6.1 Problemas prticos envolvendo equaes
diofantinas em duas variveis
As equaes diofantinas lineares com duas variveis so
de fundamental importncia para solucionar problemas
que, geralmente, so apresentados no ensino fundamen-
tal e resolvidos por tentativa ou resolvidos atravs de
um sistema de equaes. A quantidade de problemas
prticos do cotidiano ou didticos na escola que po-
dem ser resolvidos atravs deste modelo de equao
torna ainda mais significativo o aprendizado deste con-
tedo e a sua abordagem no contexto escolar indepen-
dente da srie que o mesmo seja trabalhado, mas sem-
pre vinculando-o com outros contedos que so nor-
malmente ensinados, como por exemplo as equaes do
7o ano, as funes polinomiais do 1o grau da 8a srie e
do 1o ano do ensino mdio ou at mesmo a geometria
analtica que abordada normalmente nas sries finais
do ensino mdio.
Exemplo 6.1. - Em um pedgio, cada carro paga R$ 7,00 e
cada motocicleta paga R$ 4,00. Sabendo que foi arrecadado
em um certo perodo de tempo R$ 142,00, calcule o maior
nmero de carros e o maior nmero de motos possveis que
tenham passado neste pedgio.
Resoluo
Vamos modelar o problema atravs de uma equao
diofantina 7C + 4M = 142 , onde C o nmero de car-
ros e M o nmero de motos.
conjunto coeficientes racionais
nmeros racionais
Utilizando o algoritmo de Euclides temos que 1 =
4 3.1 e 3 = 7 4.1, e substituindo a segunda igual-
dade na primeira temos que 1 = 7.(1) + 4.(2), o que
implica 142 = 7.(142) + 4.(284) , de onde conclumos
que as solues gerais do problema so C = 142 + 4t
e M = 284 7t, com t Z.
Como o nmero de carros e motos maior do que
zero, podemos definir os limites para a varivel t, ou
seja,
142 + 4t > 0 e 284 7t > 0,
e portanto, t  36 e t  40
Deste modo o valor da varivel t fica delimitado as-
sim: 36  t  40.
Analisando as sentenas gerais que determinam o
nmero de carros e de motocicletas, podemos perceber
que quanto maior o valor de t maior ser o nmero de
carros e menor o de motos, e quanto menor o valor de t
o nmero de motos ser mximo e o nmero de carros
ser mnimo, ou seja, quando t = 40 ento C = 18 e
M = 4 e quando t = 36 ento C = 2 e M = 32. Desta
forma conclumos que passou no mximo 18 carros ou
no mximo 32 motos neste pedgio.
6.2 Resoluo de equaes do tipo diofantinas
com coeficientes racionais
Exemplo 6.2. Guardo em um cofre s moedas de R$ 0,25
e R$ 0,10. Quantas moedas so necessrias, no mnimo,
tendo ao menos 6 moedas de cada valor, para que eu tenha
R$ 25,00?
Este problema ser resolvido utilizando os conheci-
mentos sobre mdc generalizado.
Resoluo
Do problema acima extramos a equao 0,25X +
0,10Y = 25. Pelo Teorema 4.2, temos que
1 1
mdcg(0,25; 0,10) = mdcg , =
4 10
mdc(1,1) 1
= = 0,05
mmc(4,10) 20
Assim, utilizando o algoritmo de Euclides para en-
contrar o mdcg como combinao linear dos coeficien-
tes, temos a equao
0,05 = 0,25 + 0,10.(2)
que multiplicada por 500 resulta
25 = 0,25.(500) + 0,10.(1000)
Cincia e Natura, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57 54
Cincia e Natura 8

1
= = 0,01
100
Se pensarmos em uma resoluo anloga ao Teo-
rema 5.2 para os coeficientes racionais, teremos
Como o mdcg(2,89; 2,39) = 0,01 divide 5000, ento o
problema tem soluo e podemos usar o algoritmo de
0,1 Euclides para encontrar o mdcg dos coeficientes como
X = 500 + t
0,05 combinao linear dos coeficientes da equao.
0,25
Y = 1000 t 1 4 1 3 1 1 5
0,05
2,89 2,39 0,5 0,39 0,11 0,06 0,05 0,01
0,5 0,39 0,11 0,06 0,05 0,01
Ento a "soluo geral"da equao com coeficientes
racionais dada por Fazendo as substituies necessrias, encontramos a
"soluo geral"

X = 500 + 2t, com t Z G = 21500000 + 239t , com t Z

Y = 1000 5t, com t Z D = 26000000 289t , com t Z

Calcula-se agora os limites do valor de t possveis Usando as restries do problema, temos:

de acordo com as exigncias do problema.

500 + 2t 6 1000 5t 6 21500000 + 239t > 26000000 289t

t 247 t 202 528t > 47500000
t 89963
Analisando o problema percebe-se que o nmero m-
nimo de moedas ocorre quando t = 202. Dessa ma- G = 21500000 + 239.89963 = 1157
neira, D = 26000000 289.89963 = 693

X = 500 + 2.(202) = 96 moedas Portanto, foram vendidos 1157 litros de gasolina e

Y = 1000 5.(202) = 10 moedas 693 litros de leo diesel.

O nmero mnimo de moedas deve ser 96 moedas

de R$ 0,25 e 10 moedas de R$ 0,10.
Exemplo 6.3. Em um posto de combustvel o preo da gaso-
lina R$ 2,89 o litro e o preo do leo diesel R$ 2,39 o litro.
Em um dia foram arrecadados R$ 5000,00 com a venda de
combustvel. Calcule o total de litros de gasolina e leo diesel
vendidos, sabendo que foi vendido mais gasolina do que diesel,
mas a diferena foi a mnima possvel.
O problema acima pode em alguma turma da educa-
o bsica "assustar os alunos"devido aos altos valores
das solues G0 , D0 e tambm da varivel t. Mas vale
lembrar que existem infinitas solues gerais de uma
equao diofantina, e pode ser encontrado uma solu-
o geral que tenha os valores de x0 e y0 bem menores
e com isto os limites da varivel t tambm se tornam
menores.

Resoluo 7 Relao entre equaes diofantinas

Usando G para representar a quantidade de litros e funo afim
de gasolina e D para a quantidade de litros de leo die-
sel vendidos, podemos encontrar uma equao do tipo Ao estudarmos as equaes diofantinas lineares em duas
diofantina mas com coeficientes racionais para solucio- variveis inevitvel a comparao das mesmas com
nar o problema. uma funo polinomial do 1o grau (ou funo afim),
pois toda funo afim pode ser escrita da forma ax +
by = c, com a, b, c, x, y R.
2,89G + 2,39D = 5000
289 239 Contudo, esta comparao deve ser efetuada com
mdcg(2,89; 2,39) = mdcg( , ) muito cuidado, devido aos conjuntos numricos distin-
100 100
mdc(289, 239) tos em que so trabalhados uma equao diofantina e
= uma funo afim. correto afirmar, por exemplo, que
mmc(100, 100)
55 Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no
9 conjunto
Autores: Equaes diofantinas comdos nmeros racionais
coeficientes

toda equao diofantina linear com duas variveis re-

presenta uma funo afim que tenha a restrio das va-
riveis x e y pertencerem ao conjunto dos nmeros intei-
ros (Z) (ou seja, representa um conjunto de pontos que
esto alinhados no plano) ou que ao permitirmos que
as variveis x e y de uma equao diofantina pertenam
ao conjunto dos nmeros reais (R) obtm-se uma fun-
o afim. Porm, no verdade que toda funo afim
representa uma equao diofantina, e para mostrar isto
basta tomar os coeficientes a, b I, onde I representa o Figura 3:- Soluo da equao diofantina 3x + 2y = 7.
conjunto dos nmeros irracionais.

Para esclarecer melhor estas diferenas citadas acima,

vamos analisar um exemplo atravs da sua resoluo e
sua representao geomtrica no plano cartesiano.

Exemplo 7.1. Encontre a soluo geral da equao diofan-

tina 3x + 2y = 7, represente esta soluo no plano cartesiano
e compare com o grfico da funo afim f : R R que tem
a forma cartesiana 3x + 2y = 7. Figura 4:- Grfico da funo afim 3x + 2y = 7.

Resoluo
A equao 3x + 2y = 7 pode ser resolvida facilmente
usando os conhecimentos adquiridos at o momento.
1 = 3 (1) + 2 (1) (7)
7 = 3 (7) + 2 (7)
A soluo geral x = 7 + 2t e y = 7 3t, com
t Z. A representao no plano da equao acima
apresentada na Figura 3.
O grfico apresentado na Figura 4 o grfico da
funo afim 3x + 2y = 7, com x,y R e serve para
que possamos comparar e entender as semelhanas e
diferenas entre a funo afim 3x + 2y = 7 e a equao
diofantina 3x + 2y = 7.
Fazendo a anlise do grfico acima, percebemos que
a partir do momento em que encontramos um nico
ponto ( x0 , y0 ) onde x0 ,y0 so uma soluo particular da
equao diofantina estudada conseguimos encontrar to-
dos os outros pontos que tambm so soluo da equa-
o, pois como a soluo geral representa por x =
b a
x0 + t e y = y0 t com t Z e d = mdc( a, b) como
d d
b an = a1 r + rn
j vimos anteriormente, basta aumentar ou diminuir
d
no valor da abscissa x0 e respectivamente diminuir ou
a
aumentar no valor da ordenada y0 e repetir este pro-
d
cesso em cada ponto ( xn , yn ) encontrado.
8 Relao entre equaes diofantinas
e progresso aritmtica (P.A.)
Uma progresso aritmtica (P.A.) uma sequncia nu-
mrica em que a diferena entre um termo e seu anteces-
sor sempre a mesma, para qualquer termo da sequn-
cia. O termo geral de uma P.A. encontrado atravs da
frmula an = a1 + (n 1).r, onde an o termo geral,
a1 o primeiro termo da P.A., n N a posio do
termo procurado e r a razo da P.A. que definida
por r = a2 a1 = ... = an an1 . Para facilitar a asso-
ciao que pretendemos fazer, vamos escrever o termo
geral da P.A. como an = a1 r + rn. E o fato de n N
condio necessria em uma P.A. pois n a ordem do
elemento an .
Para representar uma progresso aritmtica no plano
cartesiano podemos escrever a P.A. como funo de x e
y onde an = y e n = x. Mas como n pertence ao con-
junto N = {1,2,3,4,5, }, podemos perceber que seu
grfico ser discreto, ou seja ser igual ao grfico de
uma equao diofantina. Ento, podemos estabelecer
uma relao entre estes assuntos de matemtica. Fa-
zendo as substituies de x e y temos:
y = a1 r + rx
e portanto

rx + y = a1 r
Cincia e Natura, v. 37 Ed. Especial PROFMAT, 2015, p. 47 57
Cincia e Natura
Figura 5:- Grfico da P.A an = 1 + 3n e soluo da equa-
o 3x + y = 1
A equao rx + y = a1 r uma equao dio-
fantina, onde a = r, b = 1 e c = a1 r. Como
mdc(r,1) = 1 e 1| a1 r ento a equao tem soluo.
E a soluo geral ser x = x0 + t = 1 + t, pois sempre
teremos x0 = 1 e y = y0 + rt, com t N , y0 = a1 e r
a razo da P.A. que da origem a esta equao.
Pelo que foi provado acima, podemos concluir que
toda equao diofantina da forma ax + y = c que obe-
decem as restries adicionais de s admitir x N
e t N, representam tambm, automaticamente, uma
progresso aritmtica (P.A.). Mas fcil verificar que a
recproca no verdadeira, ou seja, nem toda P.A. de
termo geral an = a1 + (n 1).r gera uma equao dio-
fantina. Basta tomar uma P.A. em que o primeiro termo
um nmero decimal.
Veja o exemplo abaixo de uma progresso aritm-
tica que pode ser trabalhada como uma equao dio-
fantina, relacionando os dois contedos e mostrando
graficamente a correspondncia entre os dois formatos.
Exemplo 8.1. Seja a P.A. (4,7,10,13,...). Encontre a equao
diofantina correspondente a esta P.A., calcule sua soluo ge-
ral, e construa o grfico discreto que representa esta sequncia
e equao simultaneamente.
Resoluo
Na P.A. acima temos a1 = 4, r = 3 e ento o terno
geral ser an = 1 + 3n. Fazendo as substituies de
an = y e n = x chegamos na equao desejada:
= 1 + 3x
y
3x + y = 1
56
10
A soluo geral neste caso pode ser calculada utili-
zando as informaes da P.A. destacados nas frmulas
citadas acima:
x = 1 + t , com t N
t = 4 + 3t , com t N
O grfico apresentado na Figura 5 representa a P.A
de termo geral an = 1 + 3n e a soluo da equao dio-
fantina 3x + y = 1 foi construdo utilizando a 1a ma-
neira de construo que citamos, utilizando as funes
de uma planilha eletrnica no Geogebra.
9 Concluses
Tivemos a oportunidade de esclarecer e desenvolver o
estudo das equaes diofantinas lineares em duas vari-
veis, um tipo de equao que se mostra eficaz na reso-
luo de vrios problemas do cotidiano dos estudantes
e rica em relao quantidade, diversidade e propor-
es destes problemas. Outro fator importante que foi
apresentado e comprovado, o fato de estas equaes
se relacionarem diretamente com outros contedos de
outras reas de conhecimento da matemtica que j so
abordadas normalmente na educao bsica.
A aceitao de um novo conjunto de coeficientes
para estas equaes se baseia na fundamentao terica
de um novo conceito de mdc, o mximo divisor comum
generalizado (mdcg), que possibilita explorar o conjunto
dos nmeros racionais Q em sua totalidade e com amos-
tras prticas de utilizao dos conhecimentos adquiri-
dos sobre este assunto. Nos exemplos de aplicao das
equaes do tipo diofantinas com coeficientes racionais
trabalhamos com situaes que realmente podem acon-
tecer no dia a dia, seja na zona urbana ou na zona rural.
Devido aos altos valores encontrados em suas resolu-
es, acreditamos, que alguns destes exemplos podero
causar espanto nos alunos em um primeiro momento,
mas que uma de suas funes ser cumprida depois do
seu entendimento que mostrar a realidade da mate-
mtica.
Referncias
Referncias
E V E S , H., 2011. Introduo histria da matemtica.,
5th Edition. Editora da Unicamp, So Paulo.
Eves, H., 2011. Introduo histria da matemtica., 5th
Edition.A.,
HEFEZ, Editora da Unicamp,
2011. Elementos So Paulo. 2nd Edition.
de Aritmtica,
SBM, Rio de Janeiro.
Hefez, A., 2011. Elementos de Aritmtica, 2nd Edition.
SBM, Rio de Janeiro.
57 Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no
conjunto dos nmeros racionais

MARTINEZ, F. B., 2011. Teoria dos nmeros, um passeio

com primos e outros nmeros familiares pelo mundo
inteiro, 2nd Edition. IMPA, Rio de Janeiro.

NETO, A. C. M., 2012. Tpicos de Matemtica Elementar:

teoria dos nmeros. Vol. 5. SBM, Rio de Janeiro.

RI B E I R O , J., 2009. Matemtica 7o ano;Coleo Projeto

Radix. SCIPIONE, So Paulo.

R I P O L L , J ., R I P O L L , C ., S A N TA N A , A., 2006. O
mnimo mltiplo comum e o mximo divisor comum
generalizados, 5974.