Чтобы доказать, что выражение \( n^2 + 1 \) не делится на 3 для любого целого числа \( n \), сначала рассмотрим возможные остатки \( n \) при делении на 3. Любое целое число \( n \) может принимать одно из трех значений по модулю 3:
- \( n \equiv 0 \mod 3 \)
- \( n \equiv 1 \mod 3 \)
- \( n \equiv 2 \mod 3 \)
Теперь рассмотрим каждое из этих случаев и найдем значение \( n^2 + 1 \) для каждого остатка:
Случай 1: \( n \equiv 0 \mod 3 \)
Если \( n \equiv 0 \), то: \[ n^2 \equiv 0^2 \equiv 0 \mod 3 \] Тогда: \[ n^2 + 1 \equiv 0 + 1 \equiv 1 \mod 3 \]Случай 2: \( n \equiv 1 \mod 3 \)
Если \( n \equiv 1 \), то: \[ n^2 \equiv 1^2 \equiv 1 \mod 3 \] Тогда: \[ n^2 + 1 \equiv 1 + 1 \equiv 2 \mod 3 \]Случай 3: \( n \equiv 2 \mod 3 \)
Если \( n \equiv 2 \), то: \[ n^2 \equiv 2^2 \equiv 4 \equiv 1 \mod 3 \] Тогда: \[ n^2 + 1 \equiv 1 + 1 \equiv 2 \mod 3 \]
Теперь мы видим, что во всех трех случаях \( n^2 + 1 \) дает остаток 1 или 2 при делении на 3. Это означает, что \( n^2 + 1 \) не может быть делимым на 3, так как делить на 3 можно только те числа, которые дают остаток 0.
Таким образом, мы доказали, что для любого целого числа \( n \), выражение \( n^2 + 1 \) не делится на 3.