PROPRIEDADES DO MDC

Viviane Beuter

Universidade do Estado de Santa Catarina

Centro de Ciências Tecnológicas
Departamento de Matemática

Semestre 2022/02

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 1 / 13

Identidade de Bézout

Exercício
Determine números inteiros x e y tais que

mdc (372, 162) = 372x + 162y .

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 2 / 13

Identidade de Bézout
O seguinte teorema nós dá uma demonstração da existência do mdc de
dois números.

Teorema
(Identidade de Bézout) Sejam a, b números inteiros. Então, existem x0 e y0
inteiros tais que
mdc (a, b) = ax + by .

Demonstração.
Consideramos
S = {ax + by ∈ N∗ | x, y ∈ Z}.
Notemos que a2 + b 2 = aa + bb ∈ S, pois a2 + b 2 > 0. Assim, S ̸= ∅ e,
pelo Princípio da Boa Ordenação, S possui um elemento mínimo.

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 3 / 13

Demonstração.
Suponhamos que x0 , y0 ∈ Z são tais que ax0 + by0 é o elemento mínimo de
S. Mostraremos que d = ax0 + by0 é o máximo divisor comum de a e b.
De fato,
(i) d ≥ 0, pois d = ax0 + by0 ∈ S.

(ii) Na divisão de a por d, existem q, r ∈ Z tais que

a = dq + r , com 0 ≤ r < d.

Substituindo d = ax0 + by0 na igualdade acima, obtemos

a = (ax0 + by0 ) q + r = ax0 q + by0 q + r , com 0 ≤ r < d.

Portanto,

r = a − ax0 q − by0 q = a (1 − x0 q) + b (−yo q), com 0 ≤ r < d.

.Viviane (UDESC) Propriedades do MDC Semestre 2022/02 4 / 13

Demonstração.
Se r > 0, então
r = a (1 − x0 q) + b (−yo q) ∈ S,
mas r < d e d é o elemento mínimo de S. Logo, r não pode ser maior do
que 0 e, assim, r = 0.
Dessa forma, a = dq e, consequentemente, d | a. Analogamente,
considerando a divisão euclidiana de b por d, concluímos que d | b.

(iii) Se c | a e c | b, então c | ax0 + by0 = d.

Pela definição de mdc, temos que ax0 + by0 = d = mdc (a, b).

Na demonstração acima, temos que se mdc (a, b) é o elemento mínimo do

conjunto
{ax + by ∈ N∗ | x, y ∈ Z}.

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 5 / 13

Identidade de Bézout

Exercício
Determine números inteiros x e y tais que

mdc (−68, 42) = −68x + 42y .

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 6 / 13

Propriedades

Proposição
Quaisquer que seja a, b ∈ Z, não ambos nulos, e n ∈ N,

mdc (n · a, n · b) = n · mdc (a, b)

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 7 / 13

Propriedades

Definição
Dois números inteiros a e b são ditos primos entre si se mdc (a, b) = 1.

Por exemplo, 7 e 15 são primos entre si.

Quaisquer dois números inteiros consecutivos são primos entre si.

Para qualquer x ∈ Z, x 2 + 1 e x são primos entre si.

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 8 / 13

Propriedades

Proposição
Sejam a, b números inteiros, não ambos nulos, e d = mdc (a, b). Então,
 
a b
mdc , = 1.
d d

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 9 / 13

Propriedades

Proposição
Sejam a, b números inteiros. Então, mdc (a, b) = 1 se, e somente se,
existem x0 , y0 ∈ Z tais que ax0 + by0 = 1.

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 10 / 13

Propriedades

Proposição
Sejam a, b e c números inteiros. Se a | bc e mdc (a, b) = 1, então a | c.

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 11 / 13

MDC

O mdc pode ser estendido para mais números. Por exemplo,

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

Exemplo
Determine mdc (18, 256, 504).

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 12 / 13

Exemplos

O mdc pode ser estendido para mais números. Por exemplo,

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

Exemplo
Determine mdc (18, 256, 504).

Viviane (UDESC) Propriedades do MDC Semestre 2022/02 13 / 13