Цитата:
Следовательно,
![$2014!+1$ $2014!+1$](https://dxdy-01.korotkov.co.uk/f/4/9/3/493abb7c894b689dd2175df93e40de9b82.png)
не делится на 2015, и, по теореме Вильсона, 2015 не может быть простым.
Ну вот. Часть остававшейся работы уже выполнена.
По поводу сравнения по модулю 1 я не додумался...
А доказательство различности 4 и 144 у меня было. Правда, за пределами теории чисел (что, видимо, не есть хорошо). Я использовал возможности матанализа и вычислительной техники. Приведу его на всякий случай. Если оно и не совсем строго, то как правдоподобное рассуждение, надеюсь, сойдёт.
Будем исходить из противного предположения:
![$4=144$ $4=144$](https://dxdy-03.korotkov.co.uk/f/6/b/b/6bb34c02603e6a0a4d6ffcac3916786c82.png)
. Тогда, несомненно
![$\cos(4-144)=\cos(0)=1$ $\cos(4-144)=\cos(0)=1$](https://dxdy-01.korotkov.co.uk/f/0/d/5/0d55338b2539c4eb4b56c132b82f1b5b82.png)
Но, как показывают расчёты
![$\cos(4-144)=\cos(4)\cos(144)+\sin(4)\sin(144)=-0,1978...$ $\cos(4-144)=\cos(4)\cos(144)+\sin(4)\sin(144)=-0,1978...$](https://dxdy-01.korotkov.co.uk/f/0/c/8/0c82ccf16f3603f3e272f5de682f0df582.png)
Не буду заострять внимание на том, что полученный результат отрицателен и уже потому отличается от единицы. Это как-то грубо.
Замечу следующее. Целое число 1 естественным образом отождествляется с бесконечной периодической дробью 1,000000... (либо 0,999999...) период которой - единица, а у результата моих вычислений
![$\cos(4-144)=-0,1978...$ $\cos(4-144)=-0,1978...$](https://dxdy-04.korotkov.co.uk/f/7/b/e/7beb486b8b37872f9e50553cf3100b7e82.png)
период если и существует, то никак не меньше 4. Поскольку 1 всё же меньше 4 (будем считать это утверждение интуитивно очевидным), то доказательство (либо правдоподобное рассуждение) окончено.