Beruflich Dokumente
Kultur Dokumente
Vitria da Conquista - BA
2013
Vitria da Conquista - BA
2013
2
FOLHA DE APROVAO
______________________________________________________
Prof. Antnio Augusto Oliveira Lima.
Orientador
______________________________________________________
Prof. Ms. Wallace Juan Teixeira Cunha
______________________________________________________
Prof. Ms. Clnia Andrade Oliveira de Melo
AGRADECIMENTOS
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
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
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
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
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
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
a equao
no
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
Z tal que a
b.c.
a. Esta equao
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.
|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, para todo c
divisor nulo.
De acordo com a definio de divisibilidade apresentamos as seguintes
proposies.
Proposio 1:
Se a|1, ento a
1.
1 ou a
-1eq
-1, ou seja a
Z tal que 1
1.
Proposio 2:
Se a, b, c e d so inteiros com a
Demonstrao: Existe u, v
0eb
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
b.v.
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
b.
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
|b|.
Proposio 6:
Se a, b, c, x e y so inteiros com a
c.y).
Demonstrao: Existe u, v
a.v.
(a.u).x + (a.v).y
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
|a|. Logo
max D(a,b)
ii.
d|a e d|b
iii.
Exemplificando:
Sejam a
12 e b
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
que divide 12 e 4, para encontrar o mximo divisor comum entre esses nmeros,
basta determinar a interseco D12
conjunto. Logo, D12
D4
{ 1, 2, 4} e mx (D12
D4)
4.
Z, com b
b.q + r, onde 0
b.
a, ento a
b.q + b e da r
b.q + r, onde r
Zer
0. Se a
b.(q + 1). Se
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
bea
r2
b. Se b
r1 e b
r2, ento b
r1
r1 - r2 e temos que a
r1 - r2. Fazendo k
r2, com r1
r2 e
b.q1 + r1
b.q2 + r2 o que
b.k, com k
0. Se b
r2 e conclumos
0, mostrando que q2
q1.
Proposio 7:
Quaisquer que sejam a, b
Z, existem d
de a e b.
Demonstrao:
O caso em que a
Seja K
0eb
0.
{a.x + b.y; x, y
Como d
K+ ento d
ii.
Como d
K, ento existem x0 e y0
Z tais que;
a.x0 + b.y0
d.q + r, com 0
(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
0;
Onde tiramos
a
d.q
d|a
d.q + r, com 0
(a.x0 + b.y0). q + r
b b.y0. q a.x0. q
Logo r
iii.
d.q
d|b
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).
b.q + r, ento r
Teorema 2.
Sejam a e b inteiros positivos, com a
r1
r2
r1
r1
r3
r2
rn
................................
.................................
rn -2
rn -1
rn -1
0
mdc(b, r1)
mdc(r1, r2)
...........
mdc(rn -1,rn)
q
a
b
r
q1
q2
q3
r1
r2
r1
r2
r3
...
...
qn
qn+1
rn-2
rn-1
rn
rn
Teorema 3: (Bzout)
Sejam a e b dois nmeros inteiros no nulos simultaneamente e seja d
mdc
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
A, ento existem r, s
, logo pelo
Z, tais que;
r.a + s.b
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
d1
min A.
d e ento d1
d.
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
306
45
36.1 + 9, ento 9
36
9.4 + 0
963 657.1
657 306.2
306 - 45 .6
45 - 36 .1
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)
- 306 + 7.45
7.657
963.(-15) + 657.2.
-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 tais que:
r.a + s.b
Suponhamos que d
r.a + s.b
1. Fazendo
Z tais que
1. Como d|a e d|b isso implica d|(r.a + s.b) da d|1 o que resulta d
1,
1.
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
1 ento a|c.
Demonstrao:
Como a|(b.c) temos que existe k
De mdc (a. b)
a.k.
1.
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 mdc ( , )
1.
comum de a e b.
Agora como mdc(a, b)
1.
1.
23
Exemplificando:
Seja os nmeros 12 e 30, cujo mdc (12, 30)
temos que mdc ( ,
mdc (2, 5)
1.
1e
Z primo
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
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
a.b
p1.p2.p3.p4...pn...q1.q2.q3.q4...qn
Sexta
Sbado
Domingo
Segunda
Tera
Quarta
Quinta
10
11
12
13
...
...
...
...
...
...
...
Z,
25
1520
7.q + a, com 0
segue-se 1520
Definio 4:
Seja m
divide a diferena a b.
Notao: a
b (mod m)
m|(a b)
b + k.m.
b (mod m).
q.m + r
p.m + r
com 0
|m|
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|
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.
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
a k1. M
a + (- k1). M
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
27
(k1 + k2).m
Portanto a
c (mod m).
mpares.
Mostrar que se a
Z.
Z. Pelas propriedades
operatrias fazemos;
a34
12.k
a3
4 + 12.k
a3
4.(1 + 3.k)
Assim,
a3
b (mod 4).
Teorema 7:
(a + c)
b (mod m) ento;
(b + c) (mod m).
Demonstrao:
Como a
Note que a b
implica (a + c)
2.
(a c)
Z, temos a b
k.m;
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).
Demonstrao:
Por hiptese temos a b
Como c
Z.
(c.k).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
2) (a c)
(k1 + k2).m
(b + d) (mod m).
(b d) (mod m)
Demonstrao:
Por hiptese temos;
ab
k1.m
cd
k2.m
(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
1, ento
b (mod m).
Demonstrao:
Se a.c
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
Z, temos;
m.q
ak
m.x
tal que x
bk (mod m).
Teorema 11:
Se a, b, c, m so inteiros e a.c
d.
Demonstrao:
De a.c
c.(a b)
k.m;
k.
30
Assim
b (mod )
Definio 5:
Se h, k so dois inteiros com 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).
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.
m.q + s
m
31
ns
Assim temos n
m 1, 0
tj (mod m)
m.q
m 1. O que implica ti
i,j
tj (mod m) para i
j.
m e isso no acontece.
j.
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.
congruncia temos;
32
a.ri
Mas como mdc (a, m)
1, temos;
ri
Implicando em i
a.rj (mod m)
rj (mod m)
j.
Exemplo 1:
Encontrar o resto de 62009 quando dividido por 37.
Veja que 62
36
6. (62)1004
6. (-1)1004
6 (mod 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
14 laranjas. Mas, 14
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
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
100
(-1)
100
(mod 31).
Logo, 61100
3099 + 61100
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
(32)50
(-1)50(mod
3100 1.
34
b (mod m) e x1
a.x0
a.x
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.
b.
m. Por exemplo, x
Como 2
4.x
2 e x
3 (mod 5).
3 (mod 5).
Definio 7:
Dizemos que uma soluo x0 de a.x
Teorema 14:
Sejam a, b inteiros positivos e mdc (a, b)
+ b.y
se x
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)
d implica que d|a e d|b. Assim d deveria dividir c, j que ser est escrito
n0.k e y0
k.d
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
c da forma
c.
0.
d podemos escrever
. (y y0)
| . (x x0)
x0 +. k.
y0
.k
Teorema 15:
A congruncia linear a.x
b, sendo d
mdc(a, m).
Demonstrao:
m.k, sendo k
-b
m.k a.x
a.x m.k
(1)
d.p
d.q
Z tais que;
a.x m.k
(d.p).x (d.q).k
d.(p.x d.q)
37
c, onde a, b, c so inteiros
b (mod
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
Z tais que;
b.
a.x0 b
m.(y0)
m|(a.x0 - b)
Por definio de congruncia obtemos a.x0
congruncia.
Teorema 16:
Sejam a, b, m inteiros tais que m
b a congruncia a.x
0 e mdc (a, m)
b (mod m) se e, somente se
b. Sabemos que de
x0 ( ).k
y0 ( ).k
b.
x0 (
m
).k
d
temos que
k1
Obs: O m foi substitudo por d
k2 (mod m)
m| .
Teorema 17:
Se mdc (a, m)
b (mod m) tem
Demonstrao:
Seja C um sistema completo de resduos mdulo m. Pelo teorema 13 o conjunto
{a.x; x
b (mod m),
x0
(mod m).
Teorema 18:
Se a.c
d, ento a
b (mod ).
Demonstrao:
Se a.c
d, ento c
d.c e m
d.m.
Assim, temos:
d.m|d.c. (a - b)
m|c. (a - b),
39
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).
de congruncia,
36.x
6.x
40
Exemplo 2:
Encontrar as solues incongruentes da congruncia linear 64.x
16 (mod 84).
1 (mod 21).
4e
21
-5 (mod 21),
16 (mod 21).
0, 1, 2 e 3.
16 (mod 84), x
37 (mod 84).x
58
79 (mod 84).
Exemplo 3:
3.x
1 (mod 17).
3.x
x
por transitividade
6 (mod 18)
O mdc (3,18)
2 (mod 6)
2 + 6.t; t
Obtendo x
2, x
0, 1, e 2.
8ex
14.
41
Exemplo 4:
9 (mod 21).
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
32
. Como estamos
0ex
0 e 32 4.y
0.
Portanto o y
Para y
temos x
1
Para y
temos x
Para y
Para y
temos x
Para y
Para y
temos x
Paray
4ey
3.
0eb
0 ou b
0 a equao
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
c. Assim todo
0 a equao
0 e, neste caso A
Z.
Teorema 19:
A equao diofantina linear a.x + b.y
c.
Seja mdc(a, b)
c.
d. Se d|c, ento c
d.m
equao.
Observao:
No caso do mdc(a, b)
c admite um
44
Observao:
Na Geometria Analtica, a equao a.x + b.y
procurarmos solues em Z da equao a.x + b.y
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)
Seja (x0, y0) uma soluo particular da equao diofantina linear a.x + b.y
que a.b
c, em
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 +
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;
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)
d.
.k
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. Assim,
a.x0 + b.y0
Outra demonstrao:
Considere d
mdc( , )
mdc(a, b)
a.x0 + b.y0
a.x a.x0
b.y0 b.y
a.(x x0)
b.(y0 - y)
a.t implicando em y
Z.
b.t e ainda x
x0 + b.t.
Corolrio1:
Se mdc (a, b)
c, com a, b, e c inteiros e
b,
b.q + r
47
1 e assim descobrir
uma soluo inteira dessa equao equivale a encontrar inteiros r e s tais que a.r +
b.s
igualdade obtm-se:
( .m0.a) + ( .n0.b)
( .d)
( .m0).a + ( .n0).b
( . m0) e y0
equao.
48
7.
32
(3.9) + 5
(A)
(1.5) + 4
(B)
(1.4) + 1
(C)
mdc(9, 5)
mdc(5, 4)
mdc(4, 1)
1. Portanto pelo
32 (3.9)
(A)
9 (1.5)
(B)
5 (1.4)
(C)
5 (1.4)
5 [1.9 (1.5)]
5 (1.9) + (1.5)
(2.5) (1.9)
(2.32) (7.9)
1
1
7.1
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
Exemplo 1:
Vamos encontrar uma soluo particular da equao 5.x + 3.y
Como o mdc(5, 3)
Ou seja, 1
100.
3 1.2
1.3 + 2
1.2 + 1
1.2 + 0
3 1.(5 1.3)
3 + 3 + 5.(-1)
5.(-1) + 3.2
100
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
3-2
3 - (5 - 3)
2.3 - 5
2.(18 - 5.3) - 5
18.2 + 5.(-7)
18.2 + 5.(- 7)
96 e y0
48
x0 + b.t
y0 a.t
96 + 5.t
Z.
0ey
0 e -336 18.t
Isto :
t
-19,2 e t
- 19 e, portanto:
96 + 5.( - 19)
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)
50
x0 +
.t
- 75 +
.t
- 75 + 11.t
y0 - .t
50 -
.t
- 75 + 11.t
t
7.t
6,8
7,1
0
50 7.t
50
t
7.
2ey
1.
c e a.x0 c
- b.y0.
x0 da congruncia a.x
52
c.
Apresentaremos agora alguns exemplos de resoluo de Equaes
Exemplo 1:
Determine a soluo geral da equao diofantina 12.x + 25.y
linear.
Soluo:
Como o mdc(12, 25)
12.x 331
25.(- y) da 12.y
12.13
7.
A soluo geral : x
13 + 25.t, y
Exemplo 2:
7.x + 6.y
9 (mod 6); 9
- 2.
3 + 6.t, y
(I)
d. Evidentemente
se d c ento a equao (I) no admite solues inteiras. Mas por outro lado, se d|c
e considerarmos d
53
a.u1 + b.u2
x2
p.u1 + q.u2
(I)
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
c
c
c
c
x2
xk
Exemplo 1:
Encontrar todas as solues inteiras de 10.x + 6.y + 5.z
O mdc (10, 6)
8.
, seno
um inteiro. Uma
dada por;
x
+ 3.u
2. 5.u, com u
- 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.
+ 103.z
104 e z
- 1 o que nos
oferece as equaes;
104 + 103.t
z
-1t
com t inteiro
Da,
55
N no mximo
finita.
Demonstrao:
Seja a.x + b.y
a.x0 + b.y0
n, com x
0ey
Z,
temos;
a.x0 + b.y0 + k.a.b k.a.b
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
{k,
Z limitado.
(I)
d|c.
Demonstrao:
Queremos mostrar que
a1.x1 + a2.x2 + a3.x3 + ... + ak.xk
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)
a1 + a2+...+ ak
Z tal que c
Z tais que d
d, temos que
temos;
Fazendo x1
d.q
d.q
m1.q
x2
m2.q
.
.
.
xk
mk.q
Tm se
a1.x1 + a2.x2 + a3.x3 + ... + ak.xk
57
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
40 onde mdc(6, 5)
1.
40
58
40 j que mdc
x0 + b.t
40 + 5.t
Com t
y0 a.t
Z
- 40 6.t
0ey
0 e - 40 -6.t
Isto :
t
-8 e t
-6,67, da temos -8
-7.
Para t
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
52.y + 15
diofantina linear.
37.x + 52.y
Para escrevermos 1
59
52
52
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 - 7.37.
- 42 e y0
x0 + b.t
Com t
y0 - a.t
-42 -52.t
Z
- 30 - 37.t
0eY
0 e - 30 -37.t
0, onde t
0, onde t
-0,812.
6 possui uma
37.x + 9
- 1.545 -1924.t
Z; t
10.000 da obtemost
- 6} a equao N
- 6,001
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:
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
51 onde mdc(5, 2)
1.
-102 e y0
51
51 j que mdc(5, 2)
1 as demais
x0 + b.t
Com t
y0 a.t
-102 + 5.t
Z
51 2.t
0ey
0 e 51 2.t
Isto :
t
20,4 e t
25,5
61
Z; 21
25}, assim t
Para t
Para t
Para t
Para t
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
83
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
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|500. Agora
3-2
3 -(5 - 3)
2.3 - 5
2.(8 - 5) - 5
2.8 3.5
Isto :
8.(2) + 5.( - 3)
1.000 e y0
500
x0 + b.t
Com t
y0 - a.t
1000 + 5.t
Z
-1500 -8.t
0ey
0 e -1500 -8.t
Isto :
t
O que implica que {t
Z; -200
-200 e t
t
-187,5
- 188.
63
1000 + 5.(-188)
60
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
Soluo:
Vamos inicialmente encontrar o mdc(3,4) pelo algoritmo de Euclides:
Como o mdc(3, 4)
1|61. Agora
- 61 e y0
61
x0 + b.t
-61 + 4.t
Com t
y0 - a.t
61 -3.t
0ey
0 e 61 3.t
0
64
Isto :
15,25
O que implica que t
20,33
ser;
Para t
Para t
Para t
Para t
Para t
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
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
5 - 2.2
5 - 2.(7 -1.5)
3.5 - 2.7
3.12 + 5.(- 7)
3.12 + 5.(-
1 dado por:
12.(13) + 31.(-5)
4784 e y0
368
x0 + b.t
4784 + 31.t
Com t
y0 - a.t
-1840 -12.t
31 e 1
12
4784 + 31.t
31
-1840 -12.t
12
-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)
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.
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
10.
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.
Vamos encontrar uma soluo particular. Para isso, usamos o Algoritmo da Diviso:
21 + (-2).10
31
1.21 + 10;
21
2.10 + 1;
3.21 + (-2).31.
(- 3540).31 + (5310).21.
- 3540 e y
- 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
0.
168,57 e t
171,29.
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.
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:
coeficientes.
Figura 3:Inserindo os coeficientes de uma equao diofantina que representa uma reta no plano.
69
Como o restante das mas ser dividido igualmente entre 79 pessoas, temos
que r mltiplo de 79 e ento da forma r
17
9 + 79.te ordenada y
4+
0 na equao y
4 + 37.t.Obtendo y
Figura 6:Representao geomtrica da nica soluo que apresenta as menores coordenadas inteiras.
71
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.
[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