Докажите, что если 1*2*3*... (n - 1) + 1 делится на n, то n- простое число

Давайте разберем это утверждение шаг за шагом. Мы хотим доказать, что если \(1 \cdot 2 \cdot 3 \cdots (n - 1) + 1\) делится на \(n\), то \(n\) – простое число.

Обозначим произведение первых \(n-1\) чисел как \(P = 1 \cdot 2 \cdot 3 \cdots (n - 1)\). Условие задачи говорит нам, что \(P + 1\) делится на \(n\) или, в математических терминах, \(P + 1 \equiv 0 \ (\text{mod} \ n)\).

1. Предположим, что \(n\) – составное число. Тогда оно может быть представлено как произведение двух чисел \(a\) и \(b\), где \(1 < a < n\) и \(1 < b < n\).

2. В этом случае, \(P\) (то есть \(1 \cdot 2 \cdots (n - 1)\)) будет содержать все целые числа от 1 до \(n-1\), включая \(a\) и \(b\). Это значит, что \(P\) делится на \(n\) и, следовательно, на \(a\) и \(b\).

3. Обозначим \(k\) как целое число, которое удовлетворяет \(P = k \cdot n\). Мы также знаем, что \(P\) включает \(a\) и \(b\), значит \(P \equiv 0 \ (\text{mod} \ a)\) и \(P \equiv 0 \ (\text{mod} \ b)\).

4. Теперь давайте рассмотрим \(P + 1\). Поскольку \(P \equiv 0 \ (\text{mod} \ n)\), это означает, что \(P + 1 \equiv 1 \ (\text{mod} \ n)\).

5. Однако у нас есть конфликт, поскольку утверждение говорит о том, что \(P + 1 \equiv 0 \ (\text{mod} \ n)\). Это возможно только в том случае, если \(n\) не является составным числом, так как в противном случае \(P + 1\) будет равно \(1\) по модулю \(n\).

Таким образом, мы приходим к выводу, что если \(1 \cdot 2 \cdots (n - 1) + 1\) делится на \(n\), то \(n\) должно быть простым числом. Это и доказывает наше утверждение.

Если у вас возникли дополнительные вопросы или нужно подробнее рассмотреть какие-то моменты, не стесняйтесь спрашивать!