Теорема: Всякое простое число, начиная с 5, либо увеличенное, либо уменьшенное на 1, делится на 6.
1. Проверка на примерах:
Примечание: Простые числа 2 и 3 не удовлетворяют условию, так как \(2-1=1\), \(2+1=3\), \(3-1=2\), \(3+1=4\), ни одно из которых не делится на 6.
2. Обсуждение справедливости свойства:
Простые числа, большие 3, имеют вид \(6k ± 1\) для некоторого целого \(k\). Это следует из того, что любое число может быть представлено в виде \(6k, 6k+1, 6k+2, 6k+3, 6k+4, 6k+5\). Числа \(6k\), \(6k+2\), \(6k+4\) делятся на 2, а \(6k\), \(6k+3\) делятся на 3. Следовательно, простые числа, большие 3, могут иметь только вид \(6k+1\) или \(6k+5\), что эквивалентно \(6k ± 1\).
Если простое число \(p > 3\), то \(p = 6k ± 1\).
Таким образом, для любого простого числа \(p > 3\), либо \(p-1\), либо \(p+1\) делится на 6.
3. Доказательство:
Пусть \(p\) — простое число, \(p ≥ 5\).
Рассмотрим число \(p\) по модулю 6.
Любое целое число может быть записано в одном из следующих видов: \(6k, 6k+1, 6k+2, 6k+3, 6k+4, 6k+5\).
Поскольку \(p\) — простое число и \(p ≥ 5\), оно не может делиться на 2 или 3. Поэтому \(p\) не может иметь вид \(6k\) (делится на 6), \(6k+2\) (делится на 2), \(6k+3\) (делится на 3), \(6k+4\) (делится на 2).
Следовательно, \(p\) может иметь только вид \(6k+1\) или \(6k+5\).
Случай 1: \(p = 6k+1\)
Рассмотрим \(p-1\):
\(p-1 = (6k+1) - 1 = 6k\).
Число \(6k\) делится на 6. Таким образом, \(p-1\) делится на 6.
Случай 2: \(p = 6k+5\)
Рассмотрим \(p+1\):
\(p+1 = (6k+5) + 1 = 6k+6 = 6(k+1)\).
Число \(6(k+1)\) делится на 6. Таким образом, \(p+1\) делится на 6.
В обоих случаях, либо \(p-1\) (уменьшенное на 1) делится на 6, либо \(p+1\) (увеличенное на 1) делится на 6.
Ответ: Доказано.