Доказать, что для каждого натурального n и каждого целого неотрицательного m уравнение
имеет бесконечно много решений в натуральных числах.
Я не поняла одну деталь в условии. Подразумевается ли, что

обязаны быть попарно различными?
Если нет, то решение уж чересчур очевидно.
(Вот оно)
Если

, где k - натуральное, то

, а поскольку среди чисел 3k+1 имеется бесконечно много делящихся на 3m+2, мы получаем бесконечно много решений.
Пример для n=17, m=2:


Ну и так далее.
Значит, я так понимаю, всё-таки иксы попарно различными быть должны?