44-я Международная Математическая OлимпиадаЯпония, Токио, 2003 год

Пусть $p$ — простое число. Докажите, что существует такое простое число $q$, что при любом целом $n$ число ${{n}^{p}}-p$ не делится на $q$.

Комментарий/решение

Допустим не существует тогда число $n^p-p=p^{a_1}_1*....*p^{a_x}_x$ по МТФ $n^p-p\equiv 0,p \pmod {p}$

Пусть $n^p-p \equiv 0 \pmod {p}$$\Rightarrow$$n=px$ Заметим $x=p^{l_1}_c*....*p^{l_v}_v+c$ где $n>p^{l_1}_c,....,p^{l_v}_{v+c}$

$\Rightarrow$ $n^p-p \ne \equiv 0 \pmod {z}$ где $z$ умножение нескольких простых чисел из набора $p^{a_1}_1*....*p^{a_x}_x$

$n^p-p\equiv n\pmod {p}$ Заметим что обязательно $p>n^p-p$ а иначе $q=p$ и все

$2p>n^p\Rightarrow \sqrt[p]{2p}>n$

Заметим что $2>\sqrt[a]{a}$

$3>\sqrt[p]{p}*\sqrt[p]{2}=\sqrt[p]{2p}>n$

$1)n=1,2)n=2$

Случай $1)$ невозможен

Случай $2)$ тоже легко проверить

Осталось проверить случай где $n$ неотриц

Ваше решение не верно

Во первых вы в самом начале берете: $n^p-p\equiv 0,p \pmod {p}$ как факт, если такого числа не существует

Что далеко не является фактом

В продолжении вы разобрали случай:

$n^p-p\equiv 0,p \pmod {p}$

Что эронично ведь в начале вы взяли это как факт

Во второй половине решения случай:

$n^p-p\equiv n\pmod {p}$

Но почему из этого следует что при $p=q$

$q \mid n^p-p$

Это не является фактом

Так как изначальное:

$n^p-p\equiv 0,p \pmod {p}$

Не является фактом