EQUAES DIOFANTINAS

A equao ax + by = c, tal que a, b, c, x, y pertencem ao conjunto dos nmeros

inteiros chamada Equao Diofantina.
Exemplos de Equaes Diofantinas:
2x + 3y = 7
- 4x + 7y = - 6
- 3x 5 y = 4

Diofanto foi um matemtico grego que viveu entre 200 e 290 dC.
Escreveu A aritmtica com a resoluo de problemas de lgebra que foram
resolvidos utilizando equaes do primeiro e segundo graus e sistemas de equaes. Por
esse motivo chamado o pai da lgebra e as equaes do primeiro grau e segundo grau
em duas variveis, envolvendo os nmeros inteiros, so chamadas Equaes
Diofantinas.
CONDIO DE
DIOFANTINA.

EXISTNCIA DA SOLUO

DE

UMA EQUAO

Seja a equao diofantina ax + by = c, com soluo.

a, b, c, x, y pertencem ao conjunto dos nmeros inteiros.
Existe (x0, y0) que satisfaz a equao ax + by = c, x0 e y0 nmeros inteiros.
(x0, y0) uma soluo da equao.
ax0 + b y0 = c
Seja mdc ( a, b) = d
1

a
b
r ; s ( r e s so nmeros inteiros)
d
d

Logo a = dr; b = ds
ax0 + by0 = drx0 + dsy0 = d ( rx0 + sy0) = c
rx0 + sy0 nmero inteiro
rx0 + sy0 =

c
d

Logo d divide c. ( se d no dividir c, rx0 + sy0 no ser nmero inteiro, mas

tem que ser nmero inteiro)

rx0 + sy0

Para existir soluo na equao diofantina ax + by = c, o mdc entre a e b tem que dividir
c.
SOLUO GERAL DA EQUAO DIOFANTINA.
Seja a equao ax + by = c, no conjunto dos inteiros.
Seja (x0, y0) uma soluo particular.
Seja mdc(a, b) = d.
Seja a soluo, qualquer, (x, y).
ax0 + by0 = ax+by=c.
mdc(a, b) = d, ento:
a
b
k1 ;
k 2 ; k1 e k 2 nmeros primos entre si; mdc (k1 , k 2 .) 1
d
d

ax0 + by0 = ax+by

ax-ax0=by0-by
a(x-x0)=b(y0-y) ; dividindo por d.
'

a ( x ' x0 ) b( y 0 y )

d
d

Como

a
b
k1 ; k 2
d
d

k1(x-x0)=k2(y0-y)
k1 ( x ' x 0 )
yo y'
k2

Veja que y0 y nmero inteiro. ( y0 e y so nmeros inteiros).

Veja que k1 e k2 so nmeros primos entre si, logo k 2 no divide k1, consequentemente,
k2 divide (x-x0).
x' x0
t , t inteiro.
k2

x- x0=k2t
como

b
k2
d

x-x0=

b
t
d

x = x0 +

b
t
d

Substituindo x = x0 +
a(x0 +

b
t em a(x-x0)=b(y0-y).
d

b
t - x0) = b(y0-y)
d

abt
b( y o y ' )
d
; Dividindo por b.
at
yo y'
d
a
y= y0 - t
d

Logo as solues de uma equao diofantina dada por:

x = x0 +

b
a
t e y= y0 t , onde x0 e y0 uma soluo particular, d o mdc entre a e
d
d

b, t so nmeros inteiros que, ao serem colocados, vo gerar as solues.

REPRESENTAO GEOMTRICA DAS SOLUES DE UMA EQUAO

DIOFANTINA.
Veja que ax + by = c, com a, b, c, x, y pertencente ao conjunto dos nmeros reais
representa uma reta. Os infinitos pontos que vo gerar a reta so as solues desta
equao. Neste caso seria simples achar as solues. Bastaria atribuir valores arbitrrios
para x e achar, na equao, os valores correspondentes para y.
3

Nas equaes diofantinas as coordenadas dos pontos so nmeros inteiros. Ao atribuir

para x um nmero inteiro, pode ocorrer que y no seja inteiro. Neste caso o par (x, y)
no soluo. Pode ocorrer que uma reta no tenha nenhum ponto com coordenadas
inteiras. Neste caso a equao diofantina no tem soluo.
Veja a equao 18 x + 5 y = 48 representada pela reta abaixo
4.0

3.0
2.0
1.0

-4.0 -3.0 -2.0 -1.0

1.0

2.0

3.0

4.0

x
5.0

-1.0
-2.0
-3.0
-4.0

Somente os pontos de coordenadas inteiras da reta sero solues da equao diofantina

18x + 5y = 48.
Veja que o ponto (6, -12) no representado na figura pertence reta, pois
18 x 6 +
5 x ( -12 ) = 48. O par x = 6 e y = -12 uma das solues da equao diofantina.
RESOLUES DE EQUAES DIOFANTINAS.
1- Mostre que a equao diofantina 4x + 6y = 9 no tem soluo.
Resoluo:
Verificar a condio de existncia das solues.
mdc ( 6, 4 ) = 2
2 no divide 9, logo, no h soluo.
2- a) Resolver a equao diofantina 2x + 3y = 9.
b) Determine quatro solues particulares.
c) Determine os valores de t para que as solues sejam positivas.
d) Determine os valores de t para que as solues sejam negativas.
Resoluo a)
Verificar a condio de existncia das solues.
mdc ( 3, 2 ) = 1
1 divide 9, logo tem soluo.
4

Vamos, por tentativa, achar uma soluo particular.

Tirar o valor de x : x

9 3y
.
2

Atribuir valores inteiro para y, at encontrarmos o x correspondente tambm

inteiro.
Veja que y = 1 teremos x = 3.
Uma soluo particular ser x0 = 3 e y0 = 1.
A soluo geral dada por x = x0 +

b
a
t e y = y0 t , t nmeros inteiros.
d
d

Soluo geral da equao diofantina.

x=3+

3
2
t e y = 1 - t , t nmeros inteiros.
1
1

Resoluo b)
Atribuir t = 0; t = 1; t = - 1; t = 2
Para t = 0 temos x = 3 e y = 1;
Para t = 1 temos x = 6 e y = - 1
Para t = - 1 temos x = 0 e y = 3
Para t = 2 temos x = 9 e y = -3
( faa a verificao, de cada soluo encontrada, na equao 2x + 3 y = 9)
Resoluo c)
x=3+

3
2
t ey=1- t
1
1

3 + 3t > 0
3t > -3
t>-1
12t>0
-2t>-1
2t < 1
t<

1
2

-1 < t <

1
( t nmero inteiro)
2

t = 0 ( a nica soluo inteira positiva x = 3 e y = 1)

(Verifique para outros valores de t, fazendo uma anlise na soluo geral da
equao)
Resoluo d)
x=3+

3
2
t ey=1- t
1
1

3 + 3t < 0
3t < -3
t<-1
12t<0
-2t<-1
2t > 1
t>

1
2

No existe t inteiro que satisfaa t >

1
e t < -1.
2

No h solues inteiras, com x e y ambos negativos.

(Verifique fazendo uma anlise na soluo geral da equao)

3 - Escrever o mdc entre 143 e 17 como combinao linear entre esses dois
nmeros, isto , mdc ( 143, 17) = 143 a + 17 b.
Abaixo, o algoritmo do mdc:
8
143 17
7
3

2
7
1

2
3
0

3
1

mdc ( 143, 17) = 1

143 = 17 x 8 + 7

7 = 143 17 x 8

17 = 7 x 2 + 3

3 = 17 7 x 2

7=3x2+1

1=73x2

1 = 7 3 x 2 ; substituir 3 = 17 7 x 2.
1 = 7 ( 17 7 x 2) x 2 = 7 x 1 17 x 2 + 7 x 4 = 7 x 5 17 x 2
substituir 7 = 143 17 x 8.
1 = ( 143 17 x 8) x 5 17 x 2.
1 = 143 x 5 17 x 40 17 x 2
1 = 143 x 5 17 x 42
Logo 1 = 143 x 5 + 17 x ( - 42) . Veja que verdade.
Logo a = 5 e b = - 42.
4 - Escrever o mdc entre -345 e 215 como combinao linear entre esses
nmeros, isto , mdc ( - 345, 215) = - 345 a + 215 b.
Abaixo, o algoritmo do mdc:
1
1
1 1 1 8
345 215 130 85 45 40 5
130 85 45 40 5 0
mdc ( - 345, 215) = mdc ( 345 , 215 ) = 5
345 = 215 x 1 + 130

130 = 345 215 x 1

215 = 130 x 1 + 85

85 = 215 130 x 1

130 = 85 x 1 + 45

45 = 130 85 x 1

85 = 45 x 1 + 40

40 = 85 45 x 1

45 = 40 x 1 + 5

5 = 45 40 x 1

5 = 45 40 x 1; substituir 40 = 85 45 x 1.
5 = 45 (85 - 45 x 1) x 1= 45 85 x 1 + 45 x 1 = 45 x 2 85 x 1
7

Substituir 45 = 130 85 x 1
5 = (130 85 x 1) x 2 85 x 1= 130 x 2 85 x 2 85 x 1 = 130 x 2 85 x 3.
Substituir 85 = 215 130 x 1.
5 = 130 x 2 ( 215 130 x 1 ) x 3.
5 = 130 x 2 215 x 3 + 130 x 3 = 130 x 5 215 x 3.
Substituir 130 = 345 215 x 1.
5 = (345 215 x 1) x 5 215 x 3 = 345 x 5 215 x 5 215 x 3 =
345 x 5 215 x 8.
5 = 345 x 5 215 x 8.
Vamos escrever a combinao linear entre 345 e 215.
5 = - 345 x ( -5) + 215 x ( -8 ). Veja que verdade.
Logo a = -5 e b = -8
5) Resolver a equao diofantina 143 x + 17 y = 132.
D trs solues particulares.
Vamos verificar se tem soluo.
mdc (143, 17) = 1. 1 divide 132, logo tem soluo.
Se fizermos a combinao linear entre o mdc (143 e 17) e os nmeros 143 e 17
encontraremos 1 = 143 x 5 + 17 x ( - 42). Veja o exerccio 3 acima.
Como a equao 143 x + 17 y = 132, teremos:
143 x 5 + 17 x ( - 42 ) = 1. Multiplicando os dois membros por 132.
143 x 5 x 132 + 17 x ( - 42 ) x 132 = 1 x 132
143 x 660 + 17 x ( - 5544) = 132.
Soluo particular : x0 = 660 e y0 = - 5544
Soluo geral:
x = 660 +

17
143
t e y = - 5554 t
1
1

x = 660 + 17 t e y = - 5554 143 t.

Solues particulares:
Substituir t inteiro, arbitrrio, na soluo geral:
t = 0 : x = 660 e y = -5554.
t = 1 : x = 677 e y = - 5697
t = 2 : x = 694 e y = - 5840
6) Determinar todos os mltiplos de 11 e de 9 cuja soma seja 270.
Resoluo:
11 x + 9 y = 270 , x e y so inteiros.
Abaixo, o algoritmo do mdc( 11, 9)
1 4 2
11 9 2 1
2 1 0
mdc ( 11, 9 ) = 1. A equao admite soluo.
11 = 9x1+2

2 = 11 9x1

9 = 2x4 +1

1 = 9 2x4

1 = 9 2x4 = 9 (11 9x1)x4 = 9 11 x 4 + 9x4 = -11x4 + 9x5.

11x(-4) + 9x5 = 1 . Multiplicando os dois membros por 270 temos:
11x(-4)x270 + 9x5x270 = 1x270.
11x ( -1080) + 9x1350 = 270
Logo x0= -1080 e y0=1350 uma soluo particular.
A soluo geral :
x = -1080 + 9 t e y = 1350 11 t.
- 1080 + 9t >0
9t > 1080

t>

1080
9

t > 120
1350 11 t > 0
- 11 t > - 1350
11 t < 1350
t<

1350
11

t < 122,7
Logo t = 121 e t =122
Para t = 121.
Da x = - 1080 + 9 x 121 = 9
Da y = 1350 11 x 121 = 19
Os mltiplos de 11 e 9 sero 11x9 = 99 e 9 x 19 = 171. Veja que a soma de 99 e
171 d 270.
Para t = 122.
Da x = - 1080 + 9 x 122 = 18
Da y = 1350 11 x 122 = 8
Os mltiplos de 11 e 9 sero 11x18 = 198 e 9 x 8 = 72. Veja que a soma de 198 e
72 d 270.
Resposta: 99 e 171; 198 e 72

6- D a soluo geral das Equaes Diofantinas abaixo:

a)
b)
c)
d)

56x +72y = 40
221x + 91y = 117
49x + 7y = 5
44x + 66y = 11

10

7- Determinar todas as solues inteiras e positivas das seguintes equaes

diofantinas:
a) 32 x + 55y = 771
b) 5x 11y = 29
c) 54x + 21y = 906

CONGRUNCIA ARITMTICA
Congruncia a relao entre dois nmeros inteiros que, divididos por um terceiro
chamado mdulo de congruncia, deixam o mesmo resto. Por exemplo, 20 cngruo ou
congruente de 14 com relao a 6 (20/6=3 restando 2 e 14/6=2 restando 2). Podemos
escrever 20 14 (mod 6).
Por exemplo:
Em 17 5 ( mod 2) temos 17/2 restando 1 e 5 /2 restando 1.
11

Em -10 23 (mod 3) temos 10/3= - 4, restando 2. Ao multiplicarmos - 4 por 3

devemos encontrar um nmero que seja menor que o divisor -10. Se 10 / 3 desse 3
teramos ( 3) x 3 = - 9 que maior que -10, no servindo. Ao dividirmos 23 por 3
teremos resto 2.
Veja que -10 dividido por 3 deixa o mesmo resto que 23 dividido
por 3 ( resto 2). Da -10 23 (mod 3).
Se a dividido por m deixa o mesmo resto que b dividido por m podemos escrever a
(mod m).

Suponha que a, b sejam nmeros inteiro e m seja nmero inteiro maior que zero.
Dizemos que a congruente de b mdulo m se m dividir
a - b. Escrevemos isto
como: a b (mod m).
Prova:
a/m=q1 e resta r; b/m=q2 e resta r. ( No conjunto dos Inteiros)
a = mq1 + r
b = mq2 + r
Subtraindo termo a termo:
a b = mq1 + r (mq2 + r) = mq1 + r mq2 - r = mq1 mq2 =
m ( q 1 q 2 ). Da (a - b)/ m = q 1 q 2. Como q1 e q 2 so inteiros,
q1q2
inteiro. Isto significa que (a - b)/ m d um inteiro, indicando que o resto zero. Ento m
divide a b. ( Provado)
Por exemplo:
20 14 (mod 6) //// 20 14 divisvel por 6.
-1 9 (mod 5)/// -1 9 divisvel por 5.
1100 2 (mod 9) /// 1100 2 divisvel por 9.
Propriedades das congruncias
A propriedade reflexiva: Se a qualquer inteiro, a a (mod m).
Prova:
a a = 0 divisvel por m, para qualquer m (zero sempre divisvel por qualquer
nmero).
Exemplo:
5 5 (mod 71)
-43 -43 (mod 37)
A propriedade simtrica: Se a b (mod m), ento b a (mod m).
Prova:
Se a b (mod m) ento a b divisvel por m.
Se b a (mod m) ento b a = - ( a b ) divisvel por m ( difere apenas pelo sinal de
menos).
Logo a b (mod m) e b a (mod m) ( provado).

A propriedade transitiva: Se a b (mod m) e b c (mod m), ento a c (mod m)

Prova:
Devemos provar que m divide c a, partindo das hipteses
a b (mod m) e b
c (mod m).
Se a b (mod m) ento ( b-a ) / m = k1.

12

Se b c (mod m) ento ( c b) / m = k2.

Da: b-a = m k1
c-b = m k2
Somando termo a termo temos:
b a + c b = m k1 + m k 2.
c a = m k1 + m k 2.
c a = m ( k1 + k 2).
( c a ) / m = k1 + k 2.
Da m dividir c a. (Provado)
Outras Propriedades:
Se a, b, c e d so inteiros quaisquer com a b (mod m) e c d (mod m), ento a + c
b + d (mod m).
Prova:
Temos de provar que b + d (a+ c) divisvel por m.
Se a b (mod m) ento b - a m k 1
Se c d ( mod m) ento d c = m k 2
Somando termo a termo temos:
b a + d c = m k 1 + m k2 = m ( k1 + k2).
b + d (a+ c) = m ( k1 + k2).
Ento b + d (a+ c) dividido por m d k 1 + k2. Isto significa que
b + d (a+ c)
divisvel por m. ( Provado)
ac bd (mod m)
Prova:
Temos de provar que (bd ac) divisvel por m.
Se a b (mod m) ento b - a = m k 1
Se c d ( mod m) ento d c = m k 2
Multiplicando por c : c (b - a) = c k1 m; cb ca = c k1 m
Multiplicando por b : b (dc ) = c k2 m; bd bc = c k2 m
Somando termo a termo:
cb ca + bd bc = c k1m + c k2 m.
Ento bd ac = m ( c k 1 + c k 2) e (bd ac)/ m = ( c k 1 + c k 2). Isto significa que (bd
ac) divisvel por m ( Provado).

Se a b ( mod m) ento a + c
Prova:

an

b + c ( mod m) e ac bc ( mod m).

Veja que se fizermos a b ( mod m) e c c ( mod m) podemos escrever a + c

b + c ( mod m) e ac bc ( mod m) ( Pelas propriedades anteriores).
b n ( mod m ), n inteiro positivo.
Prova:
Se fizermos a b ( mod m); a b ( mod m); a b ( mod m), vrias vezes,
teremos a.a.a.a....a b.b.b.b.....b ( mod m) que d a n b n onde n o nmero de
fatores ( inteiro positivo).
13

4
Uma
aplicao
prtica
da
relao
de
Se hoje sexta-feira, que dia da semana ser daqui a 1520 dias?

congruncia:

D S T Q Q S S
0 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
3
30
32 33 34 35 36
1
Em que coluna da tabela se encontra o nmero 1520?
No temos que nos preocupar se o ms tem 28, 30 ou 31 dias.
Devemos observar que dois nmeros a e b esto na mesma coluna se sua diferena a b
divisvel por 7. Isto significa dizer a b ( mod 7). Da 1520 b ( mod 7).
Veja que b pode ser 0, 1, 2, 3, 4, 5 ou 6. O b s pode ser 1. D
1520
1 (mod
7), pois 1520 1 divisvel por 7. Este 1 determina que o dia sbado. Veja que sexta
zero ( no conta), sbado 1, domingo 2, segunda 3, tera 4, quarta 5, quinta 6. Ento,
cai no sbado.
Se voc v que 1520 dividido por 7 deixa resto 1 e busca o dia de sbado no calendrio,
voc
est
fazendo
congruncia
tambm.
EXERCCIOS
1- Verificar se verdadeiro ou falso:
a) 91 0 ( mod 7)
Veja que 91 0 divisvel por 7.
b) -2 2 ( mod 8)
Veja que 2 ( -2 ) = 4 no divisvel por 8.
c) 112 1 ( mod 3)
Veja que 121 1 divisvel por 3.
d) 5 -1 ( mod 6) e -1 - 7 ( mod 6) ento 5 -7 (mod 6)
Estamos fazendo a propriedade transitiva. A proposio verdadeira.

2-Determine o resto da diviso de 5 1000 por 18.

Veja:
51 = 5
52 = 25
53 = 125
54 = 625
55 = 3125
56 = 15625
Veja que 15625 1 divisvel por 18, isto , 56 - 1 divisvel por 18.
Ento 56
1 ( mod 18).
6 166
Ento (5 )
1 166 ( mod 18);
14

(5 996) 1 166 ( mod 18);

5 996 x 5 4 1 166 x 5 4 ( mod 18);
(5 1000) 54 ( mod 18);
54 13 ( mod 18);
Ento (5 1000) 13 ( mod 18).
O resto da diviso 13.
3 - Verifique se 100 divide (1110 - 1).
Queremos provar que 1110 1 ( mod 100).
112 21 ( mod 100);
114 441 ( mod 100) e 441 41 ( mod 100);
114 41 ( mod 100);
118 41 2 ( mod 100) e 41 2 81 ( mod 100);
11 8 81 ( mod 100)
11 8 x 11 2 81 x 11 2 ( mod 100);
11 10 10501 ( mod 100) e 10501 1 ( mod 100);
Ento 11 10 1 ( mod 100)
4 Ache os dois ltimos algarismos de 3 1234.
3 2 9 ( mod 100);
34 81 ( mod 100);
38 81x81 ( mod 100)
81x81 61 ( mod 100);
38 61 ( mod 100);
38 x 3 2 61 x 3 2 ( mod 100);
3 10 549 ( mod 100);
549 49 ( mod 100);
3 10 49 ( mod 100);
(3 10) 2 (49) 2 ( mod 100);
(49) 2 1 ( mod 100);
3 20 1 ( mod 100);
(3 20)61 1 61 ( mod 100);
3 1220x 3 14 3 14 ( mod 100)
3 1234 2187x2187 ( mod 100) e 2187 x 2187 69 ( mod 100).
Ento os dois ltimos algarismos de 3 1234 so 6 e 9;

15