Задача: доказать, что число n^2 - 8 не делится на 5 для любого натурального n.
Решение по модулю 5 (пошагово):
Рассмотрим квадрат числа по остаткам от деления на 5. Пусть n ≡ r (мод 5), где r ∈ {0,1,2,3,4}. Соответственно n^2 ≡ r^2 (мод 5).
Посчитаем возможные значения r^2 (мод 5):
- r = 0 → r^2 ≡ 0
- r = 1 → r^2 ≡ 1
- r = 2 → r^2 ≡ 4
- r = 3 → r^2 ≡ 9 ≡ 4
- r = 4 → r^2 ≡ 16 ≡ 1
Итого, для любого n: n^2 ≡ 0, 1 или 4 (мод 5).
8 по модулю 5 равен 3, так как 8 ≡ 3 (мод 5).
Следовательно n^2 - 8 ≡ n^2 - 3 (мод 5). Рассмотрим возможные варианты:
- если n^2 ≡ 0 → n^2 - 8 ≡ 0 - 3 ≡ 2 (мод 5)
- если n^2 ≡ 1 → n^2 - 8 ≡ 1 - 3 ≡ -2 ≡ 3 (мод 5)
- если n^2 ≡ 4 → n^2 - 8 ≡ 4 - 3 ≡ 1 (мод 5)
Во всех случаях остаток при делении на 5 не равен 0. Значит 5 не делит n^2 - 8.
- Альтернатива (для ясности): если предположить противное, что 5 | (n^2 - 8), то n^2 ≡ 8 ≡ 3 (мод 5). Но квадраты чисел по модулю 5 могут быть только 0, 1 или 4, поэтому n^2 ≡ 3 невозможно. Противоречие.
Вывод: для любого натурального n число n^2 - 8 не делится на 5.