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

大阪大学 2009年度
後期・理系数学 後期 第2問

問題

(1) が無理数であることを証明せよ。

(2) を有理数とする。多項式を満たすとき、を求めよ。

(3) を2以上の自然数とする。は有理数を係数とする次多項式で最高次の係数が1であるとする。となるとき、を示せ。

出典:大阪大学 2009年度 後期日程 第2次学力試験 後期・理系 後期 第2問

方針

(1)は既約分数 を仮定して3が分子・分母の両方を割る矛盾を導く。(2)は を代入し、有理数部分と の係数を分離する。(3)は (2) で得た最小の2次式 を割り、1次以下の余りが で0なら余り自体が0であることを (1) から示す。

解答

(1)

が有理数であると仮定し

と既約分数で表す。ただし は正の整数とする。2乗して だから は3の倍数であり、 も3の倍数である。 とおくと

となり、 も3の倍数である。これは が既約であることに反する。よって は無理数である。

(2)

より

もし なら は有理数となり、(1)に反する。したがって であり、さらに である。よって

である。

(3)

とおく。(2)より である。有理数係数の多項式の割り算により

と書ける。ただし は有理数係数の多項式、 は有理数である。 を代入すると

なら が有理数となるので、(1)に反する。よって 、さらに である。したがって である。

一方

だから