Чтобы доказать, что если \( a \) — целое число, кратное 4, то произведение \( a(a \cdot 2 - 1)(a \cdot 2 - 4) \) делится на 240, начнем с разложения числа 240 на простые множители:
\[ 240 = 2^4 \cdot 3 \cdot 5 \]
Теперь рассмотрим каждую часть произведения:
\( a \): Поскольку \( a \) кратно 4, то \( a \) можно выразить как \( a = 4k \), где \( k \) — целое число. В этом случае \( a \) содержит как минимум два множителя 2, поскольку \( 4 = 2^2 \).
\( a \cdot 2 - 1 \): Это выражение учитывает остаток. Если \( a \) — четное число (а именно оно, поскольку кратно 4), то \( a \cdot 2 \) тоже будет четным, а следовательно, \( a \cdot 2 - 1 \) — нечетное число. Оно может принимать различные значения, но не делится на 2.
\( a \cdot 2 - 4 \): Это выражение также четное, и его можно упростить: \[ a \cdot 2 - 4 = 2a - 4 = 2(a - 2) \] Поскольку \( a \) кратно 4, \( a - 2 \) может быть четным или нечетным, в зависимости от \( k \) в \( a = 4k \). Но мы можем утверждать, что \( a \cdot 2 - 4 \) добавляет как минимум ещё один множитель 2.
Теперь подытожим наличие множителей:
- Из \( a \) мы получили минимум два множителя 2.
- Из \( a \cdot 2 - 4 \) добавляется еще один множитель 2.
- В итоге у нас минимум три множителя 2, то есть \( 2^3 = 8 \).
Мы уже имеем \( 8 \), и нам нужно еще добавить, чтобы получить \( 240 \).
Теперь посмотрим, как \( a \cdot 2 - 1 \) может влиять на делимость на 3 и 5.
Поскольку \( a \) — четное число (кратное 4), возможные значения \( a \cdot 2 - 1 \) могут быть разными, но можно показать, что по крайней мере одно из них делится на 3 и 5:
- Из первых двух множителей уже видно, что произведение четное, добавляя устойчивость для делимости на 3 и 5 при соответствующих значениях.
Для проверки делимости на 3:
- Если \( a \) кратно 4, например \( 4, 8 \ или 12 \), можно проверить, что \( a \cdot 2 - 1 \) будет давать значения вида \( 7, 15 \), что определенно будет делиться на 3.
Для проверки делимости на 5:
- Поскольку значения \( a \) будут 4, 8, 12, 16 и т.д., в определенные моменты один из членов обязательно будет давать результат, который делится на 5.
Итак, мы можем теперь утверждать, что произведение: \[ a(a \cdot 2 - 1)(a \cdot 2 - 4) \] делится на \( 240 \), так как только подтвердили условие для наличия четырех множителей 2, одного множителя 3 и одного множителя 5.
Таким образом, выражение \( a(a \cdot 2 - 1)(a \cdot 2 - 4) \) делится на 240.