Доказательство:
Пусть a = bq + r, где q - целое число, а r - остаток от деления a на b.
Так как НОД(a, b) = d, то a = md и b = nd, где m и n - наименьшие натуральные числа, такие что d = ma + nb.
Тогда а - b = bq + r - b = b(q - 1) + r.
Таким образом, (a - b) = b(q - 1) + r = nd(q - 1) + r = n(q - 1)d.
Так как НОД(a, b) = d, то НОД(b, r) = d.
Поэтому НОД(a - b, b) = d.
Таким образом, мы доказали, что если НОД(a, b) = d, то НОД(a - b, b) = d.
Доказательство:
Пусть a = bq + r, где q - целое число, а r - остаток от деления a на b.
Так как НОД(a, b) = d, то a = md и b = nd, где m и n - наименьшие натуральные числа, такие что d = ma + nb.
Тогда а - b = bq + r - b = b(q - 1) + r.
Таким образом, (a - b) = b(q - 1) + r = nd(q - 1) + r = n(q - 1)d.
Так как НОД(a, b) = d, то НОД(b, r) = d.
Поэтому НОД(a - b, b) = d.
Таким образом, мы доказали, что если НОД(a, b) = d, то НОД(a - b, b) = d.