数式で独楽する

数式を使って楽しむブログです

[tex: ]

京大 2006年前期 理系 第4問

2以上の自然数 nに対し、 n n^2 +2がともに素数となるのは n = 3の場合に限ることを示せ。

解答例

 n, \ n^2 +2を3で割った余りは次のようになります。
\begin{array}{|c|c|}
\hline
n & n^2 +2 \\ \hline
0 & 2 \\
1 & 0 \\
2 & 0 \\ \hline
\end{array}
これは、 n, \ n^2 +2 \ (> n)のいずれかが必ず3の倍数になることを示しています。
なお、 n = 3(素数)の場合、 n^2 +2 = 11素数となります。

よって、題意は証明されました。

解説

3で割った余りで分類すると、いずれかが必ず3の倍数になります。
したがって、 n = 3の場合のみを考えればよろしい、ということです。
分類してみて、その威力の凄まじさにびっくりしました。

これで隙はない筈です。

また、はじめから n素数に限定してもよいですが、やることは本文と同じです。