問題
とする。とがともに素数となる整数をすべて求めよ。
出典:京都大学 2019年度 前期日程 第2次学力試験 理系 第2問
方針
偶奇で分ける。 が偶数なら は偶数なので、 が素数なら2に限られる。 とおくと であり、 から候補が に絞られる。 が奇数なら が偶数なので、同じ議論を に適用し、 を得る。最後に4候補を必ず代入して、両方の絶対値が素数であることを確認する。
解答
である。
まず が偶数の場合を考える。 とおくと であり、 は偶数である。 が素数であるためには、偶数の素数が2だけであることから でなければならない。
これは と同値である。もし なら より である。一方 なら となるが、左辺は4の倍数なので不可能である。したがって、 が偶数のときの候補は である。
次に が奇数の場合を考える。このとき は偶数である。上と同じ議論を整数 に適用すると、 が素数であるためには でなければならない。したがって である。
以上より候補は に限られる。実際に確認すると
であり、いずれも 、 はともに素数である。
よって求める整数は である。