Для нахождения наибольшего общего делителя двух целых неотрицательных чисел используют
алгоритм Евклида.Решим
диофантово уравнение с помощью алгоритма Евклида.
Пример. Решить уравнение 12
x - 17
y = 2.
12
x - 17
y = 2, (12, -17, 2), следовательно, это диофантово уравнение, (12, -17)=1. Данное уравнение разрешимо в целых числах.
Найдем выражение числа 1 через
a и
b,
a = 12,
b = -17, но мы будем рассматривать |b|, так как y ∈ Z.
Ответ: (-14 -17t, -10-12t), k ∈ Z.