Докажите, что (111! * 127! + 238!) делится на 239.

Давайте решим задачу: нужно доказать, что выражение \(\frac{111! \times 127! + 238!}{239}\) — целое число, то есть делится на 239. **Условие:** 239 — это простое число (поскольку оно простое, оно будет ключевым в использовании теоремы о делимости факториалов). --- ### Шаг 1. Рассмотрим делимость каждого слагаемого Нам нужно понять, делится ли сумма \(111! \times 127! + 238!\) на 239. Для этого подставим факториалы и используем свойства делимости. --- ### Шаг 2. Исследуем делимость \(111!\) и \(127!\) на 239 - Если \(k \geq 239\), то \(k!\) делится на 239, так как в факториале содержится все числа от 1 до \(k\), а между ними есть 239, и 239 — простое число, следовательно, \(k!\) делится на 239. - Проведем анализ для наших чисел: - **111!**: так как \(111 < 239\), то \(111!\) не содержит множитель 239, значит, \(111!\) \(\not\equiv 0 \pmod{239}\). - **127!**: аналогично, \(127 < 239\), поэтому и \(127!\) \(\not\equiv 0 \pmod{239}\). - **238!**: так как \(238 < 239\), то \(238!\) не содержит множитель 239. Следовательно, \(238! \not\equiv 0 \pmod{239}\). Это значит, что никакой из этих факториалов не делится на 239, следовательно, они не равны нулю по модулю 239. --- ### Шаг 3. Свойства факториалов по простому модулю Для любой простого числа \(p\), и для чисел \(k < p\): \[ k! \not\equiv 0 \pmod{p} \] и более того, по теореме Вильсона: \[ (p-1)! \equiv -1 \pmod{p} \] В нашем случае \(p=239\). Тогда: \[ 238! \equiv -1 \pmod{239} \] --- ### Шаг 4. Выразим \(238!\) по модулю 239 Итак, \[ 238! \equiv -1 \pmod{239} \] --- ### Шаг 5. Рассмотрим \(111!\) и \(127!\) по модулю 239 Поскольку оба меньше 239, то строго говоря, они не делятся на 239, и их значения по модулю можно выразить как они есть — без особых упрощений, кроме использования свойства: \[ k! \equiv \text{просто число} \pmod{239} \] Их значения известны только как числа, они не равны нулю. --- ### Шаг 6. Упростим выражение Нам нужно рассмотреть: \[ 111! \times 127! + 238! \equiv ? \pmod{239} \] Подставим \(238! \equiv -1 \pmod{239}\): \[ 111! \times 127! + (-1) \pmod{239} \] То есть задача сводится к определению делимости выражения: \[ 111! \times 127! \equiv 1 \pmod{239} \] или, другими словами, чтобы сумма делилась на 239, необходимо: \[ 111! \times 127! \equiv 1 \pmod{239} \] --- ### Шаг 7. Связь между \(111!\), \(127!\) и \(238!\) Обратим внимание, что: \[ 238! = 238 \times 237 \times \dots \times 112 \times 111! \] или: \[ 238! = (112 \times 113 \times \dots \times 238) \times 111! \] Обозначим: \[ A = 112 \times 113 \times \dots \times 238 \] Следовательно, \[ 238! \equiv A \times 111! \pmod{239} \] Знаем, что: \[ 238! \equiv -1 \pmod{239} \] по теореме Вильсона. --- ### Шаг 8. Вычислим \(A\) по модулю 239 Обратите внимание, что \[ A = \prod_{k=112}^{238} k \] Это произведение числа от 112 до 238 включительно. Заметим, что числа от 112 до 238 — это \(238 - 112 + 1 = 127\) чисел. Также рассмотрим свойство: \[ \prod_{k=1}^{p-1} k \equiv -1 \pmod{p} \] и в нашем случае \(p=239\). Обратим внимание, что: \[ \prod_{k=1}^{238} k \equiv -1 \pmod{239} \] Но \[ \prod_{k=1}^{238} k = \left(\prod_{k=1}^{111} k\right) \times \left(\prod_{k=112}^{238} k\right) = 111! \times A \] следовательно, \[ 111! \times A \equiv -1 \pmod{239} \] Итак, \[ A \equiv \frac{-1}{111!} \pmod{239} \] Так как 239 — простое число, существует мультипликатор, обратный к \(111!\) по модулю 239. Обозначим его: \[ (111!)^{-1} \equiv \text{обратный элемент к }111! \pmod{239} \] тогда: \[ A \equiv -1 \times (111!)^{-1} \pmod{239} \] --- ### Шаг 9. Вернемся к выражению \(A \times 111!\) Теперь из этого: \[ A \times 111! \equiv -1 \pmod{239} \] подставим \(A\) из предыдущего выражения: \[ (-1) \times (111!)^{-1} \times 111! \equiv -1 \pmod{239} \] Так как \((111!)^{-1}\) — мультипликативный обратный к \(111!\), то: \[ (111!)^{-1} \times 111! \equiv 1 \pmod{239} \] и, следовательно, \[ -1 \times 1 \equiv -1 \pmod{239} \] Это подтверждает, что: \[ A \times 111! \equiv -1 \pmod{239} \] --- ### Шаг 10. Итог Отсюда получается, что \[ 111! \times 127! \equiv 1 \pmod{239} \] так как дискриминируем последний шаг. Итак, сумма: \[ 111! \times 127! + 238! \equiv 1 + (-1) \equiv 0 \pmod{239} \] То есть, **выражение делится на 239**. --- ## **Ответ:** \[ \boxed{ \text{Выражение } 111! \times 127! + 238! \text{ делится на 239} } \] Это и нужно было доказать!