Решить уравнения в натуральных числах:

, если

.
скажите с чего начать, пожалуйста
В пионерлагере "Океан" нас учили делать это так.
Для начала надо подобрать хотя бы одну пару целых

и

, для которых справедливо указанное равенство. Есть универсальный метод подбора таких пар, основанный на алгоритме Евклида, но здесь можно к нему не прибегать, поскольку нужные числа легко находятся методом пристального вглядывания. Имеем

. Далее, находим общее решение однородного уравнения

. Из того, что в однородном уравнении

должен делиться на

, заключаем, что для целых

и

выполнено

тогда и только тогда, когда

и

для некоторого целого

. Поскольку общее решение неоднородного уравнения есть сумма частного решения неоднородного и общего решения однородного, заключаем, что все целочисленные решения уравнения

описываются следующей системой с целочисленным параметром

:

Осталось выяснить, при каких значениях параметра

решение удовлетворяет ограничениям

и

. Условие

выполняется при

. А

выполняется при

. Таким образом,

равно либо нулю, либо единице, и исходное уравнение при соблюдении условия

имеет в натуральных числах ровно два решения:

и

.