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

Introduo

Equao diofantina linear em duas variveis um tipo

de equao que, alm de apresentar conceitos especiais na sua resoluo, como por exemplo a viso de soluo geral da equao que determinada atravs da
insero de um parmetro (conceito este usado no estudo das equaes paramtricas, em geometria analtica), ajudam a resolver vrios problemas curiosos e interessantes e tambm desenvolver o raciocnio dos alunos atravs da unio da resoluo de clculos com a
interpretao de problemas. Para que seja possvel ensinar estas equaes, outros conceitos devem ser abordados 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 definidas 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 resolvido atravs das equaes diofantinas e no passar na
mente o devaneio de tentar criar um problema envolvendo 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 diofantinas, possibilitando a resoluo de uma infinidade de
problemas didticos e do cotidiano. Esta relao possvel atravs da generalizao de conceitos at ento adotados somente no conjunto dos nmeros inteiros aos nmeros 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 diofantina que podero pertencer ao conjunto dos nmeros
racionais (Q).

48
2

Divisibilidade e Mximo Divisor

Comum (MDC)

Ao longo deste trabalho, mostraremos algumas definies, proposies e teoremas que so necessrias para
a compreenso do mesmo. Porm, algumas proposies 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 divisores 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 positivos 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, podemos 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
3

Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no

Autores: Equaes diofantinas
comdos
coeficientes
conjunto
nmeros racionais

possvel escrever o mdc( a, b) como combinao linear

de a e b, fato este que ser indispensvel para a resoluo das equaes diofantinas lineares com duas variveis, que sero abordadas mais adiante.
Vamos ao mtodo chamado de algoritmo de Euclides. Sejam a e b inteiros positivos, com a b. Naturalmente, repetindo o algoritmo da diviso euclidiana,temos:

= bq1 + r1 , com 0 r1 < b

= r1 q2 + r2 , com 0 r2 < r1
= r2 q3 + r3 , com 0 r3 < r2

a
b
r1
..
.

= rn1 qn + rn , com 0 rn < rn1

= rn qn+1 + rn+1 , com rn+1 = 0.

r n 2

r n 1

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. Utilizando o resultado do lema anterior, 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 prtico 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 combinao linear dos coeficientes a e b de uma equao
diofantina linear com duas variveis, fato este que ser
abordado mais adiante.

a
r1

q1
b
r2

q2
r1
r3

q3
r2
r4

...
...
...

q n 1
r n 2
rn

qn
r n 1

q n +1
rn = mdc( a,b)

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.

Ensino dos Nmeros Racionais

O conjunto dos nmeros racionais Q um dos conjuntos numricos mais trabalhados nas sries finais do ensino fundamental. Junto com o conjunto dos nmeros

inteiros Z o conjunto de nmeros que serve de base e

de uso indispensvel na maioria dos contedos e problemas abordados durante o ensino fundamental. Embora 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 conhecimentos 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 nmeq
ros racionais.
E no s no contexto escolar que o conhecimento
sobre os nmeros racionais importante. No cotidiano de qualquer pessoa aparecem situaes envolvendo
uma frao ou um decimal finito. Basta perceber que todas 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 interessantes. Primeiro, o professor deve prestar ateno
no uso das multiplicaes e divises de fraes (ou decimais) como sendo operaes que, tambm, representam
quantidades e que s vezes so esquecidas por causa de
formulaes que "facilitam"a memorizao e a resoluo 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 multiplicaes e divises de fraes se tornam abstraes
desprendidas de sentido, sem utilizao em situaes
reais encontrados no cotidiano, como por exemplo, calcular a quantidade de cada ingrediente que ser necessrio para fazer um bolo que rende 6 pores, sabendo
que a quantidade de cada ingrediente da receita original rende 15 pores.
Um exemplo simples do fato de dar sentido s operaes com fraes, conforme (Ribeiro, 2009), que consideramos uma abordagem obrigatria, a representao 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 geometricamente, usando o sentido de repartir que a diviso tem para facilitar o entendimento por parte dos alunos. Vamos mostrar um exemplo de diviso de fraes

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

Cincia e Natura

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 apaixonante ela fica.

4
Figura 1:- Multiplicao de Fraes.

Figura 2:- Diviso de Fraes.

representando-a geometricamente e passo a passo. Que1
2
remos efetuar o clculo da expresso de modo
3
4
geomtrico, ou seja, queremos repartir um produto que
2
ocupa de um determinado recipiente em "potes"que
3
1
tm da capacidade deste recipiente. Ento, para des4
cobrir a quantidade de potes que iremos usar, procedemos 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 equivalncias entre fraes e tambm multiplicao, diviso
e simplificao de fraes. Alertar os alunos e faz-los
compreender o fato de que
2
4
40
6
= = 0,4 =
=
= 40%
15
5
10
100
de fundamental importncia para o desenvolvimento
de vrios clculos em vrias situaes e vrios contedos de matemtica, como por exemplo na resoluo de
regras de trs, clculo de juros, equaes, funes, geometria e trigonometria.
A partir do momento em que os alunos apresentarem um domnio significativo das operaes e resolues de problemas no campo das fraes, o ensino da
matemtica ir atingir outro patamar, podendo ser desenvolvida uma gama maior de contedos e de aplica-

Conceito de MDC generalizado

A seguir sero expostas algumas definies que nos

permitem generalizar o conceito de mximo divisor comum (e tambm mnimo mltiplo comum se for do interesse 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), publicado em 2006 na revista Matemtica Universitria e escrito pelos professores Alveri Santanna, Cydara Ripoll
e Jaime Ripoll, conceituados professores da Universidade Federal do Rio Grande do Sul (UFRGS).
Definio 4.1. Dizemos que dois segmentos da reta so comensurveis quando ambos podem ser obtidos atravs de um
nmero inteiro de emendas no sobrepostas de um mesmo segmento de reta.
Definio 4.2. Dois nmeros reais r e s so comensurveis
se existem inteiros no nulos m, n tais que mr = ns.
Exemplos:
1. Dois racionais so sempre comensurveis.
2. Dois irracionais
ser comensurveis:
podem

por exemplo, 2 e 2 2.
3. Dois reais quaisquer nem sempre so comensurveis:
basta tomar um racional e um irracional, mas tambm
a
2
maioria
de
pares
de
irracionais,
como,
por
exemplo,

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 nmeros reais, que ao longo do texto podem confundir o leitor, pois nos referimos ao mltiplo inteiro comum como
sendo um nmero real que mltiplo um nmero inteiro 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
5

Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no

Autores: Equaes diofantinas
comdos
coeficientes
racionais
conjunto
nmeros racionais

a) r e s so comensurveis;
r
b) o quociente um nmero racional;
s
c) existe um real t que mltiplo inteiro comum de r e de s;
d) existe um real u que divisor inteiro comum de r e de s.
Demonstrao:
( a) (b) Se r e s so comensurveis ento existem
r
m, n Z tais que mr = ns. Consequentemente, =
s
n
Q.
m
r
r
n
(b) (c) Suponhamos que Q, digamos, = .
s
s
m
Ento, multiplicando a igualdade acima por sm obtemos que t = mr = ns um mltiplo inteiro comum de
r e de s, com t R.
(c) (d) Seja t R um mltiplo inteiro comum de r
e de s, digamos, t = mr = ns, com m, n Z . Ento, o
s
r
um divisor inteiro comum de r e
nmero u = =
n
m
de s.
(d) ( a) Seja u um divisor comum de r e de s, digamos r = un e s = um, com m, n Z . Ento, temos que
mr = ns concluindo a demonstrao.

irredutvel, ento
mdcg(r, s) =

o que completa a prova do teorema.


No caso de r e s serem nmeros racionais, a frmula
dada no teorema acima pode ser reescrita em termos
das representaes destes racionais em fraes irredutveis:
Teorema 4.2. Sejam r,s racionais no nulos e sejam a,b,c,d
a c
inteiros tais que e so as representaes para r e s, respecb d
tivamente, na forma de frao irredutvel. Ento mdcg(r, s) =
mdc( a,c)
.
mmc(b,d)
Demonstrao:
Novamente aqui provamos apenas para o caso r e s positivos.
Como mdc( a,b) = 1 = mdc(c,d), temos


Definio 4.4. Sejam r e s dois nmeros reais comensurveis
no nulos. Dizemos que u o mximo divisor comum generalizado (mdcg) entre r e s, e escrevemos u = mdcg(r, s), se
a) u um divisor inteiro comum de r e s.
b) se u divisor inteiro comum de r e de s ento u u.
De posse das definies acima, podemos enunciar o
teorema que nos fornece uma frmula para o mdcg entre dois reais comensurveis quaisquer.
Teorema 4.1. Sejam r e s dois reais comensurveis no nulos.
Ento
r
s
= ,
mdcg(r, s) =
u
v
u
r
onde a forma irredutvel do racional .
v
s
Demonstrao:
Consideraremos aqui apenas o caso r e s positivos. Observamos inicialmente que se a,b,c,d so inteiros tais
que ar = bs e cr = ds ento
d
b
= ,
a
c

r
. Ass
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 rau
r
cional . Da, pela definio de mdcg, se tal frao
s
v
e este nmero nada mais do que o nmero

r
s
= ,
u
v

a
r
ad
a d
b
= c =
=  ,
s
bc
bc
d
onde
a =

a
b
c
, b =
, c =
,
mdc( a,c)
mdc(b,d)
mdc( a,c)
d
d =
.
mdc(b,d)

a d
claro, que a frao   irredutvel, e portanto, pelo
bc
Teorema 4.1 , temos
mdcg(r, s) =

r
a mdc( a,c) mdc(b,d)
.
= .
a d
b
a
d

= mdc( a,c).

mas como

mdc( a,c)
mdc(b,d)
=
bd
bd
mdc(b,d)

bd
= mmc(b,d)
mdc(b,d)

ento substituindo esta expresso temos que

mdcg(r, s) =

mdc( a,c)
,
mmc(b, d)

o que completa a prova.

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

Cincia e Natura

Este conceito de mdc generalizado ser utilizado mais

adiante para possibilitar a resoluo de equaes do
tipo diofantinas com coeficientes racionais e deste modo
estender o emprego dos mtodos de resoluo destas
equaes para problemas que at o momento so solucionados atravs de outros artifcios matemticos. Mas,
vale lembrar que a Definio 4.4 s tem sentido quando
adotada como referncia nica e exclusivamente a Definio 4.3. Se pensarmos na divisibilidade em um anel
(conjunto munido de duas operaes que satisfazem algumas propriedades pr-determinadas), conforme proposto por Ripoll et al. (2006), em que dado um anel A,
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,
teramos neste caso o diferencial de que um mltiplo a
no significa um nmero inteiro de vezes o nmero b,
como abordamos at o momento.

5 Equaes diofantinas lineares em

duas variveis
So chamadas equaes diofantinas todas as equaes
polinomiais (no importando o nmero de incgnitas)
com coeficientes inteiros, sempre que for tomado como
conjunto soluo das variveis da equao o conjunto
dos nmeros inteiros. Visto a importncia, facilidade
de resoluo e quantidade de problemas que se enquadram neste formato, tomaremos como foco do nosso
estudo a compreenso e resoluo das equaes diofantinas lineares com duas variveis.
Uma equao diofantina linear em duas variveis
uma expresso da forma ax + by = 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 soluo dessa equao ento um par de
inteiros ( x0 , y0 ) tal que ax0 + by0 = 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 equao diofantina linear foi o hindu Brahmagupta (598 670), cuja
resoluo foi embasada no algoritmo de Euclides, conforme (Eves, 2011).
Teorema 5.1 (Teorema de Bzout). Se d = mdc( a, b), ento existem x, y Z, de modo que ax + by = d.

Teorema 5.2. Sejam a, b, c Z, com a e b no simultaneamente nulos. A equao ax + by = c admite soluo

inteira em x e y se, e somente se, mdc( a, b) | c. Nesse
caso, se d = mdc( a, b) e x = x0 , y = y0 uma soluo

52
6

b
inteira qualquer da equao, ento as frmulas x = x0 + t
d
a
e y = y0 t, para todo t Z, fornecem todas as solues
d
inteiras possveis.
Demonstrao: Se a equao admite soluo inteira,
pela Proposio 2.1, mdc( a, b)| ax + by, logo mdc( a, b) | c.
Reciprocamente, suponhamos que mdc( a, b) | c , digamos c = kmdc( a, b) com k Z. Pelo teorema 5.1 existem inteiros x0 e y0 , tais que ax0 + by0 = mdc( a, b). Multiplicando essa igualdade por k obtemos que x = kx0 e
y = ky0 so solues da equao dada.
Para o que falta, suponha que mdc( a, b)|c e seja x =
x0 , y = y0 uma soluo inteira qualquer da equao. Se
x = x1 e y = y1 for outra soluo inteira da mesma, ento a( x1 x0 ) = b(y0 y1 ). Dividindo essa igualdade
por d = mdc( a, b), temos:
a
b
( x x0 ) = ( y0 y1 ).
d 1
d
Assim,

b a
| ( x x0 ) e, como mdc
d d 1

(1)


a b
,
d d

= 1, te-

b
t,
d
b
t
d
a
t,
d
com t Z. Reciprocamente, imediato verificar que
tais frmulas fornecem, de fato, para todo t Z, solues inteiras para a equao.
b
|( x x0 ). Logo t Z tal que x1 x0 =
d 1
b
o u seja, x1 = x0 + t. Substituindo ( x1 x0 ) por
d
na equao (1), obtemos de modo anlogo y1 = y0
mos que


Uma observao importante deve ser feita no teorema acima: como d|c, temos que c = dq, com q Z
c
e q = . Escrevendo d = ar + bs , com r, s Z, e
d
c
multiplicando a equao por q = obtm-se a equao
d
c
c
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
d
ax + by = c podem ser escritas da seguinte forma:
rc + bt
sc at
ey=
, para qualquer t Z.
x=
d
d
Exemplo de resoluo de uma equao diofantina.
Exemplo 5.1. Vamos resolver a equao 5x + 12y = 81 com
soluo pertencente a Z.
Resoluo
Vamos comear usando o algoritmo de Euclides.
12
2

2
5
1

2
2

2
1

53
7

Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no

Autores: Equaes diofantinas
comdos
coeficientes
racionais
conjunto
nmeros racionais

Pelo Teorema 5.2, como o mdc(5,12) = 1 ento a

equao tem soluo. Usando o algoritmo acima e fazendo as substituies necessrias, encontramos a soluo particular procurada. Segue que
1 = 5 2.2 e 2 = 12 5.2
o que implica

= 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 fundamental e resolvidos por tentativa ou resolvidos atravs de
um sistema de equaes. A quantidade de problemas
prticos do cotidiano ou didticos na escola que podem ser resolvidos atravs deste modelo de equao
torna ainda mais significativo o aprendizado deste contedo e a sua abordagem no contexto escolar independente da srie que o mesmo seja trabalhado, mas sempre vinculando-o com outros contedos que so normalmente 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 carros e M o nmero de motos.

Utilizando o algoritmo de Euclides temos que 1 =

4 3.1 e 3 = 7 4.1, e substituindo a segunda igualdade 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 assim: 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 conhecimentos 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 encontrar o mdcg como combinao linear dos coeficientes, 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

Cincia e Natura

54
8
1
= 0,01
100

=
Se pensarmos em uma resoluo anloga ao Teorema 5.2 para os coeficientes racionais, teremos
0,1
t
0,05
0,25
t
1000
0,05

= 500 +

Ento a "soluo geral"da equao com coeficientes

racionais dada por
X
Y

Como o mdcg(2,89; 2,39) = 0,01 divide 5000, ento o

problema tem soluo e podemos usar o algoritmo de
Euclides para encontrar o mdcg dos coeficientes como
combinao linear dos coeficientes da equao.
2,89
0,5

Analisando o problema percebe-se que o nmero mnimo de moedas ocorre quando t = 202. Dessa maneira,
X
Y

= 500 + 2.(202) = 96 moedas

= 1000 5.(202) = 10 moedas

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 gasolina 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.

Usando G para representar a quantidade de litros

de gasolina e D para a quantidade de litros de leo diesel vendidos, podemos encontrar uma equao do tipo
diofantina mas com coeficientes racionais para solucionar o problema.
2,89G + 2,39D
mdcg(2,89; 2,39)

= 5000
289 239
,
)
100 100
mdc(289, 239)
mmc(100, 100)

= mdcg(
=

3
0,11
0,05

1
0,06
0,01

1
0,05

5
0,01

= 21500000 + 239t , com t Z

D = 26000000 289t , com t Z
Usando as restries do problema, temos:

21500000 + 239t
528t
t
G
D

>
>

=
=

26000000 289t
47500000
89963

21500000 + 239.89963 = 1157

26000000 289.89963 = 693

Portanto, foram vendidos 1157 litros de gasolina e

693 litros de leo diesel.
O problema acima pode em alguma turma da educao 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 soluo geral que tenha os valores de x0 e y0 bem menores
e com isto os limites da varivel t tambm se tornam
menores.

Resoluo

1
0,39
0,06

Calcula-se agora os limites do valor de t possveis

de acordo com as exigncias do problema.

1000 5t 6
t 202

4
0,5
0,11

Fazendo as substituies necessrias, encontramos a

"soluo geral"

= 500 + 2t, com t Z

= 1000 5t, com t Z

500 + 2t 6
t 247

1
2,39
0,39

Relao entre equaes diofantinas

e funo afim

Ao estudarmos as equaes diofantinas lineares em duas

variveis inevitvel a comparao das mesmas com
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.
Contudo, esta comparao deve ser efetuada com
muito cuidado, devido aos conjuntos numricos distintos em que so trabalhados uma equao diofantina e
uma funo afim. correto afirmar, por exemplo, que

55
9

Savis e Freitas: Mtodo para resolver equaes diofantinas com coeficientes no

Autores: Equaes diofantinas
comdos
coeficientes
conjunto
nmeros racionais

toda equao diofantina linear com duas variveis representa uma funo afim que tenha a restrio das variveis x e y pertencerem ao conjunto dos nmeros inteiros (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 funo 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
conjunto dos nmeros irracionais.

Figura 3:- Soluo da equao diofantina 3x + 2y = 7.

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 diofantina 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.
Resoluo

Figura 4:- Grfico da funo afim 3x + 2y = 7.

A equao 3x + 2y = 7 pode ser resolvida facilmente

usando os conhecimentos adquiridos at o momento.

= 3 (1) + 2 (1)
7 = 3 (7) + 2 (7)

(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 todos os outros pontos que tambm so soluo da equao, 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
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 prod
cesso em cada ponto ( xn , yn ) encontrado.

Relao entre equaes diofantinas

e progresso aritmtica (P.A.)

Uma progresso aritmtica (P.A.) uma sequncia numrica em que a diferena entre um termo e seu antecessor sempre a mesma, para qualquer termo da sequncia. 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 associao 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 conjunto 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. Fazendo as substituies de x e y temos:

= a1 r + rn
y = a1 r + rx

an

e portanto

rx + y = a1 r

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

56

Cincia e Natura

10

A soluo geral neste caso pode ser calculada utilizando as informaes da P.A. destacados nas frmulas
citadas acima:

= 1 + t , com t N
t = 4 + 3t , com t N

Figura 5:- Grfico da P.A an = 1 + 3n e soluo da equao 3x + y = 1

O grfico apresentado na Figura 5 representa a P.A

de termo geral an = 1 + 3n e a soluo da equao diofantina 3x + y = 1 foi construdo utilizando a 1a maneira de construo que citamos, utilizando as funes
de uma planilha eletrnica no Geogebra.

9
A equao rx + y = a1 r uma equao diofantina, 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 obedecem 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 diofantina. Basta tomar uma P.A. em que o primeiro termo
um nmero decimal.
Veja o exemplo abaixo de uma progresso aritmtica que pode ser trabalhada como uma equao diofantina, 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 geral, 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
3x + y = 1
y

Concluses

Tivemos a oportunidade de esclarecer e desenvolver o

estudo das equaes diofantinas lineares em duas variveis, um tipo de equao que se mostra eficaz na resoluo de vrios problemas do cotidiano dos estudantes
e rica em relao quantidade, diversidade e propores 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 amostras prticas de utilizao dos conhecimentos adquiridos sobre este assunto. Nos exemplos de aplicao das
equaes do tipo diofantinas com coeficientes racionais
trabalhamos com situaes que realmente podem acontecer no dia a dia, seja na zona urbana ou na zona rural.
Devido aos altos valores encontrados em suas resolues, 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 matemtica.

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.,
Editora
da Unicamp,
So Paulo. 2nd Edition.
HEFEZ,
2011. Elementos
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.