解答例
を3で割った余りは次のようになります。
\begin{array}{|c|c|}
\hline
n & n^2 +2 \\ \hline
0 & 2 \\
1 & 0 \\
2 & 0 \\ \hline
\end{array}
これは、のいずれかが必ず3の倍数になることを示しています。
なお、(素数)の場合、も素数となります。
よって、題意は証明されました。
解説
3で割った余りで分類すると、いずれかが必ず3の倍数になります。
したがって、の場合のみを考えればよろしい、ということです。
分類してみて、その威力の凄まじさにびっくりしました。
これで隙はない筈です。
また、はじめからは素数に限定してもよいですが、やることは本文と同じです。