Доказательство того, что произведение двух последовательных четных чисел либо делится на 3, либо при делении на 3 дает остаток 2, можно провести с использованием свойств четных чисел и делимости.
Обозначим два последовательных четных числа как \(2n\) и \(2n + 2\), где \(n\) — целое число.
Теперь найдем произведение этих двух чисел:
\[ P = (2n)(2n + 2) = 2n(2n + 2) = 2n(2(n + 1)) = 4n(n + 1). \]
Теперь рассмотрим делимость этого произведения на 3. Чтобы это сделать, проанализируем остатки, которые могут быть при делении \(n\) на 3. Возможные остатки \(n\) могут быть 0, 1 или 2:
Если \(n \equiv 0 \mod 3\): В этом случае \(n = 3k\) для некоторого целого \(k\). Тогда одно из двух последующих четных чисел будет \(2n = 6k\), и \(P\) будет делиться на 3, так как \(6k\) делится на 3.
Если \(n \equiv 1 \mod 3\): Тогда \(n = 3k + 1\). Последовательные четные числа будут \(2n = 2(3k + 1) = 6k + 2\) и \(2n + 2 = 6k + 4\). Оба числа при делении на 3 дают остатки 2 и 1 соответственно, а их произведение: \[ P = (6k + 2)(6k + 4). \] При делении на 3, первое число даёт остаток 2, а второе — остаток 1. Произведение двух остатков: \[ 2 \cdot 1 = 2 \,(\text{при делении на 3}), \] таким образом, \(P \equiv 2 \mod 3\).
Если \(n \equiv 2 \mod 3\): Тогда \(n = 3k + 2\). Четные числа будут \(2n = 2(3k + 2) = 6k + 4\) и \(2n + 2 = 6k + 6\). Первое число при делении на 3 даёт остаток 1, а второе делится на 3. Опять же, произведение: \[ P \equiv (1 \cdot 0) = 0 \,(\text{при делении на 3}), \] значит, \(P\) делится на 3.
Таким образом, мы рассмотрели все возможные случаи для \(n\) и показали, что произведение двух последовательных четных чисел либо делится на 3, либо при делении на 3 даёт остаток 2.
