過去問データベース 過去問を探す

東京大学 2024年度
理系数学 第6問

問題

2以上の整数で,1とそれ自身以外に正の約数を持たない数を素数という。以下の問いに答えよ。

(1) とする。が素数となるような整数をすべて求めよ。

(2) を整数の定数とし,とする。が素数となるような整数の個数は3個以下であることを示せ。

出典:東京大学 2024年度 前期日程 第2次学力試験 理系 第6問

方針

(1)はと因数分解し,積が正の素数になる条件を整数の積として分類する。が正の素数で他方の因数が1,が負の素数の反数で他方の因数が,の4通りだけを調べる。(2)も同じ分類を一般のに対して行う。正の素数側と負の素数側は同時に起こらないことを示し,もし4個以上あるならの両方に加えて片側で2個必要になる。がともに起こるとが従い,正の素数側2個・負の素数側2個のどちらも矛盾することを示す。

解答

(1)

である。が素数であるとは,が2以上の正の素数であることをいう。

整数の積が正の素数になるためには,因数の一方がまたはでなければならない。場合分けする。

のとき であり,これは素数である。

のとき であり,正の素数ではない。

次に,が2以上の正の素数で,もう一方の因数が1の場合を考える。このとき であり, となる。しかし判別式は で平方数ではないので,整数解をもたない。

最後に,が負でが素数,もう一方の因数がの場合を考える。このとき であり, すなわち である。よって を得る。実際, であり,どちらも素数である。

以上より,求める整数 である。

(2)

である。が正の素数になるなら,整数の積の一方がまたはでなければならない。したがって,可能性は次の4種類に限られる。

まず,CとDは同時には起こらないことを示す。Cが正の素数で起こり,Dが正の素数に対して起こると仮定する。すると である。2式を引くと すなわち となる。しかしは正の素数なのでであり,左辺は整数の積であるから2にはなりえない。よってCとDは同時には起こらない。

次に,が素数となる整数が4個以上あると仮定して矛盾を導く。AとBはそれぞれ高々1個ずつであり,CとDは同時に起こらない。また,CもDもそれぞれ2次方程式で決まるので,それぞれ高々2個である。したがって4個以上にするには,AとBがともに起こり,さらにCが2個以上またはDが2個以上起こる必要がある。

AとBがともに起こるなら,はいずれも正の素数である。したがってその和 は正であり, である。

Cが2個以上起こるとする。相異なる正の素数について が成り立つ。2式を引くと である。であり,またであるから,これは不可能である。

Dが2個以上起こるとする。相異なる正の素数について が成り立つ。2式を引くと であり,より である。これをに代入すると より である。

ところがBが起こるためには が正の素数でなければならない。しかし上のを代入すると である。は相異なる正の素数なのでであり,右辺は0以下である。したがっては正の素数ではない。これはBが起こることに矛盾する。

以上より,Cが2個以上の場合もDが2個以上の場合も不可能である。したがってが素数となる整数の個数は3個以下である。