✨ Jawaban Terbaik ✨
こういう問題で手をつけられなくなった時は、具体的に考えるのが一番です。
まず、nは素数なので、少なくとも奇数ですよね。
そこで、3以外の素数を入れて行って実際にn^2+2が素数ではないことを確かめてみましょう。
n=5,7,11,13,17としていくと
n^2+2=51,123,171,291となりますね!
全て3で割り切れるので素数ではないです。
ここで「もしかしたら?」と思いますよね。nが3以外の素数ならn^2+2は3の倍数になるのではないか?と予想します。
こういうとき、modを使うのが1番議論しやすいでしょう。結果的にn^2+2が3の倍数であることを示したいので、まずmod3で考えます。
nは3の倍数でないので、素数nは少なくともn≡1又は2(mod3)のどちらかを満たします。
すると、そのどちらにおいてもn^2≡1(mod3)となりますね。なのでn^2+2≡0(mod3)となって、無事、n^2+2が3の倍数であることが示ました。
今示したのは、nが3の倍数じゃなかったらn^2+2は3の倍数になるということです。つまり、例えばnとn^2+2が同時に素数だったとします。すると少なくともnは(3以外の)3の倍数ではなくて、すると今度はn^2+2は3の倍数になってしまいます。つまり、両立することは不可能ということですね。
一方nが3の時はn^2+2=11となり、どちらも素数です!なので、これだけがどちらも素数であるようなnとなることが言えます!
もう一度言いますが、こういう手の出しにくい問題は具体的に考えましょう!
ありがとうございます🙇♀️