O documento discute algoritmos e propriedades relacionados ao máximo divisor comum (mdc) e mínimo múltiplo comum (mmc) de números inteiros. Ele apresenta: (1) definições e propriedades básicas de mdc e mmc, (2) o algoritmo de Euclides para calcular o mdc, (3) propriedades importantes do mdc como o lema de Gauss, e (4) como generalizar os conceitos de mdc e mmc para vários números inteiros.
William J. Bennett - O livro das virtudes para Crianças.pdf
Algoritmo de Euclides: MDC, MMC e propriedades
1. Sumário
ALGORITMO DE EUCLIDES
Luciana Santos da Silva Martino
lulismartino.blogspot.com.br
lulismartino@gmail.com
PROFMAT - Colégio Pedro II
07 de outubro de 2016
2. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Sumário
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
3. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
4. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Máximo Divisor Comum
Definição: Sejam dados dois inteiros a e b, distintos ou não. Um
número inteiro d será dito um divisor comum de a e b se d | a e d | b
Definição: Diremos que um número inteiro d ≥ 0 é um máximo
divisor comum (mdc) de a e b, se possuir as seguintes propriedades:
i) d é um divisor comum de a e b
ii) d é divisível por todo divisor comum de a e b
ii’) Se c é divisor comum de a e b então c | d
Resultado: O mdc de dois números, quando existe, é único
5. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Máximo Divisor Comum
O mdc de dois números inteiros, que demonstraremos mais
tarde sempre existir, é denotado por (a, b), sendo
(a, b) = (b, a)
Em alguns casos particulares, é fácil verificar a existência do
mdc
. Se a ∈ Z então (0, a) = |a|, (1, a) = 1 e (a, a) = |a|
. ∀b ∈ Z temos que
a | b ⇔ (a, b) = |a|
(a, b) = 0 ⇔ a = b = 0
6. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Máximo Divisor Comum
Resultado: O máximo divisor comum de dois números, não
ambos nulos, quando existe, é efetivamente o maior dentre
todos os divisores comuns desses números
. Dados a, b ∈ Z, se existir (a, b) então
(a, b) = (−a, b) = (a, −b) = (−a, −b)
Lema 5.2: Sejam a, b, n ∈ Z. Se existe (a, b − na), então,
(a, b) = (a, b − na)
7. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Máximo Divisor Comum
Exemplo 5.3: Dados a ∈ Z com a = 1 e m ∈ N, temos que
am−1
a−1 , a − 1 = (a − 1, m)
Exemplo 5.4: Sejam a ∈ Z e n ∈ N, vamos determinar
(a + 1, a2n + 1)
Exemplo 5.5: Sejam a ∈ Z e n ∈ N, vamos determinar
(a + 1, a2n+1 − 1)
8. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
9. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Algoritmo de Euclides
Prova construtiva da existência do mdc dada por Euclides
Dados a, b ∈ N, podemos supor b ≤ a. Se b = 1 ou b = a, ou ainda
b | a, já vimos que (a, b) = a
Suponhamos então que 1 < b < a e que b a
q1 q2 q3 ... qn−1 qn qn+1
a b r1 r2 ... rn−2 rn−1 rn = (a, b)
r1 r2 r3 r4 ... rn
Exemplo 5.6: (372, 162)
10. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
11. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Propriedades do mdc
Sejam a, b ∈ Z. Definimos o conjunto
I (a, b) = {xa + yb; x, y ∈ Z}
Note que se a e b não são simultaneamente nulos então
I (a, b) ∩ N = ∅
A seguir utilizaremos a notação
dZ = {ld, l ∈ Z}
12. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Propriedades do mdc
Teorema 5.7: Sejam a, b ∈ Z, não ambos nulos. Se
d = min I (a, b) ∩ N, então
i) d é o mdc de a e b e
ii) I (a, b) = dZ
Esse Teorema nos dá uma outra demonstração da existência do mdc
de dois números a e b e da existência dos inteiros m e n tais que
(a, b) = ma + nb, mas não é uma demonstração construtiva
Corolário 5.8: Quaisquer que sejam a, b ∈ Z, não ambos nulos, e
n ∈ N tem-se que (na, nb) = n(a, b)
Corolário 5.9: Dados a, b ∈ Z, não ambos nulos, tem-se que
a
(a,b) , b
(a,b) = 1
13. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Propriedades do mdc
Definição: Dois números inteiros a e b serão ditos primos
entre si, ou coprimos, se (a, b) = 1, ou seja, se o único divisor
positivo de ambos é 1
Proposição 5.10: Dois números inteiros a e b são primos
entre si se, e somente se, existem números inteiros m e n tais
que ma + nb = 1
14. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Propriedades do mdc
Lema de Gauss
Teorema 5.11: Sejam a, b e c números inteiros. Se a | bc e
(a, b) = 1, então a | c
Corolário 5.12: Dados a, b e c números inteiros, com b e c
não ambos nulos, temos que
b | a e c | a ⇔
bc
(b, c)
| a
15. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
MDC: generalização
Definição: um número natural d será dito mdc de dados números
inteiros a1, ..., an, não todos nulos, se possuir as seguintes
propriedades:
i) d é um divisor comum de a1, ..., an
ii) Se c é um divisor comum de a1, ..., an então c | d
O mdc, quando existe, é certamente único e será representado por
(a1, ..., an)
Proposição 5.13: Dados números inteiros a1, ..., an, não todos nulos,
existe o seu mdc e (a1, ..., an) = (a1, ..., (an−1, an))
Essa Proposição nos fornece um método indutivo para o cálculo do
mdc de n inteiros
16. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Definição: Os inteiros a1, ..., an serão ditos primos entre si, ou
coprimos, quando (a1, ..., an) = 1
. Dado um subconjunto finito A = {a1, a2, ..., an} de Z podemos
definir o mdc de A como sendo mdc A = (a1, a2, ..., an)
. No caso em que A = {a1, a2, ...} é um subconjunto infinito de
Z, ainda existe d = mdc A (Problema 5.2.13 p.100)
17. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
18. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Algoritmo de Euclides Estendido
Suponhamos a ≥ b. Para calcular o mdc de a e b montamos a matriz
A =
b 1 0
a 0 1
. l2 = l2 − q1l1, sendo q1 = a
b
A1 =
b 1 0
a − bq1 −q1 1
=
b 1 0
r1 −q1 1
onde r1 é o resto da divisão de a por b
. l1 = l1 − q2l2, sendo q2 = b
r1
A2 =
b − q2r1 1 + q1q2 −q2
r1 −q1 1
=
r2 1 + q1q2 −q2
r1 −q1 1
onde r2 é o resto da divisão de b por r1
19. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Algoritmo de Euclides Estendido
. A linha (d, m, n) da matriz B, obtida no final do processo, que
contém o elemento não nulo da primeira coluna será tal que
d = (a, b)
. Os inteiros m e n assim obtidos são tais que (a, b) = ma + nb
Exemplo 5.14: (162, 372)
20. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
21. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Mínimo Múltiplo Comum
Definição: Diremos que um número inteiro é um múltiplo comum de
dois números inteiros dados se ele é simultaneamente múltiplo de
ambos os números
Em qualquer caso os números ab e 0 são sempre múltiplos comuns
de a e b
Definição: Diremos que um número inteiro m ≥ 0 é um mínimo
múltiplo comum (mmc) dos números inteiros a e b, se possuir as
seguintes propriedades:
i) m é um múltiplo comum de a e b, e
ii) se c é um múltiplo comum de a e b, então m | c
Resultado: O mmc, se existe, é único e é o menor dos múltiplos
comuns positivos de a e b
22. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Mínimo Múltiplo Comum
. O mínimo múltiplo comum de a e b, se existe, é denotado por
[a, b]
. Caso exista [a, b] = [−a, b] = [a, −b] = [−a, −b]
Resultado: [a, b] = 0 ⇔ a = 0 ou b = 0
Proposição 5.15: Dados dois números inteiros a e b, temos
que [a, b] existe e [a, b](a, b) = |ab|
23. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Mínimo Múltiplo Comum
Corolário 5.16: Se a e b são números inteiros primos entre si,
então [a, b] = |ab|
Exemplo 5.17: Sejam b e m dois números naturais. Vamos
mostrar que, na sequência de números b, 2b, 3b, ..., mb,
existem exatamente (b, m) números divisíveis por m
24. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Mínimo Múltiplo Comum
Definição: Diremos que um número natural m é um mmc dos
inteiros não nulos a1, ..., an se m é múltiplo comum de a1, ..., an,
e, se para todo múltiplo comum m desses números tem-se
que m | m
O mmc, se existe, é único, sendo denotado por [a1, ..., an]
Proposição 5.18: Sejam a1, ..., an números inteiros não nulos.
Então existe o número [a1, ..., an] e
[a1, ..., an−1, an] = [a1, ..., [an−1, an]]
25. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
Outline
1 Máximo Divisor Comum
2 Algoritmo de Euclides
3 Propriedades do mdc
4 Algoritmo de Euclides Estendido
5 Mínimo Múltiplo Comum
6 A Equação Pitagórica
26. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
A Equação Pitagórica
Vamos resolver em Z a equação pitagórica
X2
+ Y2
= Z2
Pitágoras: conjunto de soluções expressas por
x =
n2 − 1
2
, y = n , z =
n2 + 1
2
onde n > 1 é um inteiro ímpar
. Note que as soluções de Pitágoras não fornecem todas as
soluções, já que a solução (8, 15, 17) não pode ser obtida
dessa forma
. Quando os lados de um triângulo retângulo, solução da
equação pitagórica, forem números naturais, ele será chamado
de triângulo pitagórico
27. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
A Equação Pitagórica
Vamos determinar todas as soluções inteiras da equação
pitagórica
. As únicas soluções com uma das coordenadas não nula são
(0, b, ±b), (a, 0, ±a), onde a, b ∈ Z: são chamadas de soluções
triviais
. Como os expoentes a que estão elevadas as incógnitas são
todos pares basta encontrar as soluções em números naturais
28. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
A Equação Pitagórica
Lema 5.20: Dados dois números naturais a e b primos entre si,
se ab é um quadrado, então tanto a quanto b são quadrados
Resultado: Se ab = cn, onde a, b e c são números naturais,
com (a, b) = 1, então a e b são potências n-ésimas
(Problema 5.5.1, p.113) (Problema 7.1.3, p.149)
29. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
A Equação Pitagórica
. Um terno (a, b, c) de números naturais será dito um terno
pitagórico quando for solução da equação pitagórica, ou seja,
quando a2 + b2 = c2
. Chamaremos de triângulo pitagórico primitivo a um triângulo
retângulo cujos lados são números naturais coprimos. Um
terno que representa os lados de um triângulo pitagórico
primitivo será chamado de terno pitagórico primitivo
. Os ternos pitagóricos primitivos (a, b, c) dão origem a todos
os ternos pitagóricos. Podemos portanto concentrar nossa
atenção nos ternos primitivos
30. Máximo Divisor Comum Algoritmo de Euclides Propriedades do mdc Algoritmo de Euclides Estendido Mínimo Múltiplo
A Equação Pitagórica
. As soluções primitivas
a = n2
− m2
, b = 2nm , c = n2
+ m2
são devidas a Euclides, e toda solução primitiva é representada de modo
único nessa forma
Teorema 5.21: As soluções em N da equação pitagórica X2
+ Y2
= Z2
expressam-se de modo único, a menos da ordem de x e y, como
x = l(n2
− m2
) , y = 2lnm e z = l(n2
+ m2
)
onde l, n, m ∈ N, n > m, com m e n coprimos e com paridades distintas.
Reciprocamente, todo terno (x, y, z) como acima, é um terno pitagórico
Resultado: Dado um número natural existe sempre um triângulo pitagórico
com um dos catetos igual a esse número natural. Entretanto, nem todo
número natural c ímpar pode ser a hipotenusa de um triângulo pitagórico