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

大阪大学 2015年度
理系数学 第3問

問題

以下の問いに答えよ.

(1) が無理数であることを示せ.

(2) がすべて有理数であるとする.そのとき,であることを示せ.

出典:大阪大学 2015年度 前期日程 第2次学力試験 理系 第3問

方針

(1) は有理数と仮定して既約分数で表し、平方・立方の割り切りから分子分母が同時に割り切れる矛盾を出す。(2) は と置き、 なら と書けることを利用する。これを3乗して有理部分と の部分に分け、 の無理性から係数が になることを示す。最後に 後の の無理性で排除する。

解答

(1)

まず が有理数であると仮定する。このとき互いに素な正の整数 を用いて と書ける。両辺を2乗して を得る。よって は偶数であり、したがって も偶数である。 とおくと となるので、同様に も偶数である。これは が互いに素であることに反する。したがって は無理数である。

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

(2)

とおく。仮定より はすべて有理数である。

まず と仮定して矛盾を導く。このとき である。したがって、有理数 を用いて と書ける。

両辺を3乗する。左辺の3乗は であり、右辺は

である。よって となる。

もし なら、上の等式から が有理数として表されてしまい、(1)に反する。したがって でなければならない。これは である。 であり、これが になるのは のときだけであるから、結局 である。すると となり、 が有理数になってしまう。これは(1)に反する。

よって は不可能であり、 である。このとき である。もし なら となって が有理数になり、(1)に反する。したがって である。

以上より が示された。