Условие простоты
здесь нужно для того, чтобы сделать следующий важный вывод:
делится на
или
делится на
. После чего, действительно, уже нетрудно довести дело до конца. Если на
и
не налагать никаких условий (т.е. просто считать их целыми числами), то задача перестает быть элементарной.
Подобные задачи впервые появились в олимпиадной практике довольно давно (лет 25 назад по крайней мере). Но и сейчас они еще попадаются на олимпиадах, хотя сюжет уже приелся. Один из последних примеров, который мне запомнился: задача про уравнение
, которая предлагалась на олимпиаде "Туймаада-2013". В оригинале его нужно было решить в простых числах
и
. На самом деле его можно элементарно решить в следующих двух ситуациях: а) считая только
простым числом; б) считая только
простым числом. В книге Кохась К.П., Берлов С.Л., Храбров А.И. и др. Задачи Санкт-Петербургской олимпиады школьников по математике 2014 года. М.: МЦНМО, 2015. (см. стр. 126-127) приводится якобы решение задачи о нахождении всех решений данного уравнения в произвольных натуральных числах, но оно содержит тривиальную ошибку (и даже, что совсем удивительно, имеет неправильный ответ).
-- Пт авг 28, 2020 08:10:04 --Может где-то и доказано.
Разумеется, доказано, и даже эффективно (с указанием границ для решений), но очень не элементарно. Это сложная тема. Автор (A. Baker), придумавший метод для получения эффективных оценок для решений, получил филдсовскую медаль.