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

京都大学 2012年度
理系数学 第4問

問題

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

(2) は有理数を係数とするの多項式で,を満たしているとする.このときで割り切れることを証明せよ.

出典:京都大学 2012年度 前期日程 第2次学力試験 理系 第4問

方針

(1)は を既約分数と仮定し、3乗して2の素因数の指数を比較する背理法で示す。(2)は で割った余り を考える。 を代入すると余りも0になるので、 を得る。 の場合は(1)に反し、 の場合は式に を掛けたものと元の式から が有理数になるか、または となって(1)に反する。したがって余りは0である。

解答

(1)

が有理数であると仮定する。すると、互いに素な正の整数 を用いて と書ける。両辺を3乗すると であるから である。よって は2で割り切れるので、 も2で割り切れる。 とおくと より である。したがって も2で割り切れ、 も2で割り切れる。

これは が互いに素であることに反する。よって である。

(2)

とおく。 で割った商を 、余りを とすると である。余りは高々2次なので、有理数 を用いて と書ける。 であり、 であるから である。すなわち である。

まず の場合を考える。このとき である。もし なら となり が有理数になるので、(1)に反する。したがって でなければならず、さらに である。

次に と仮定する。式 を掛けると、 より を得る。元の式とこの式から を消去する。具体的には、元の式に を掛け、後の式に を掛けて引くと である。

もし なら となり が有理数になる。これは(1)に反する。よって でなければならない。

この2式から である。第1式に を掛けると であり、第2式に を掛けると である。したがって となる。 だから である。ところが は有理数なので、これは が有理数であることを意味し、(1)に反する。

したがって はありえない。結局 であり、余り は0である。よって である。