Здравствуйте! Решая задачу, наткнулся на ряд однотипных диофантовых уравнений. Все из них различны, но соотвествуют общему виду.
Вот, например, такое:

, где

и

предполагаются известными. Применив теорему из Нестеренко, получил вид:


, где первые слагаемые правых частей-фиксированные решения, а

-произвольное целое число.
Не очень понял, как действовать дальше. Подскажите, как связать алгоритм Евклида и это уравнение (т.е. что я конкретно должен сделать).
И ещё вопрос: если я, допустим, решу некоторое количество диофантовых уравнений (эти уравнения возникли в результате выполнения алгоритма решения матрицы), можно ли всё выразить через одно и то же

?
С уважением, Николай