Yntz писал(а):
Руст писал(а):
Легко получается, что вместе с каждым простым делитем p, числа n - число p-1 так же является делителем.
Но в условии написано что для любого делителя

можно найти еще два делителя

, для которых верен предикат

, а не что для любых делителей

верно

... или я ничего не понял
Не понял к чему ваше замечание. Если к первому, то для x=n не существуют y и x. Именно поэтому я сказал об внесении уточнения.
А второе - я не утверждаю, что разница любых двух делитей является делителем, а говорю, что для простого делителя p легко доказывается, что p-1 так же делитель исходя из условия. Достаточно рассмотреть представление числа n/p в виде разности двух делителей n/a-n/b.
Интереснее доказать, что начиная от любого числа n1 взяв

(беря НОК, включающий p-1, по всем простым делителям), далее продолжая этот простой алгоритм добавляя делимость на p-1 для вновь добавленных простых, придём к окончательному числу n, удовлетворяющему условию задачи.