すでに YouTube でも話題になっている整数問題です.
問題
解答解説
強烈に短い問題文ですが,短いがゆえにどうしていいか困ったかもしれません.
しかし,実際には難しくはないと思います.というか,難しく考えない方がいいです.
は素数であるので, もしくは である.
のとき, より, は素数ではない.
であるとき, であり, であるので, となり, は で割り切れる. であるので, は素数ではない.
以上のことから, が素数ならば は素数でない.
感想
証明を見て分かる通り,実は が素数でなくても が素数にならない場合がたくさんあります.実際, が の倍数でないならば は素数になりません.
また, が の倍数でないときにも, より であることから, となって, が素数でないことが言えます.
このように言われれば簡単に証明できるのですが,条件を「 が素数」とすることで,こういう方針を気付きにくくさせています.それが出題者の意図だろうと思います.