問題
(1) が無理数であることを証明せよ.
(2) は有理数を係数とするの多項式で,を満たしているとする.このときはで割り切れることを証明せよ.
方針
(1)は を既約分数と仮定し、3乗して2の素因数の指数を比較する背理法で示す。(2)は を で割った余り を考える。 を代入すると余りも0になるので、 を得る。 の場合は(1)に反し、 の場合は式に を掛けたものと元の式から が有理数になるか、または となって(1)に反する。したがって余りは0である。
解答
(1)
が有理数であると仮定する。すると、互いに素な正の整数 を用いて と書ける。両辺を3乗すると であるから である。よって は2で割り切れるので、 も2で割り切れる。 とおくと より である。したがって も2で割り切れ、 も2で割り切れる。
これは が互いに素であることに反する。よって である。
(2)
とおく。 を で割った商を 、余りを とすると である。余りは高々2次なので、有理数 を用いて と書ける。 であり、 であるから である。すなわち である。
まず の場合を考える。このとき である。もし なら となり が有理数になるので、(1)に反する。したがって でなければならず、さらに である。
次に と仮定する。式 に を掛けると、 より を得る。元の式とこの式から を消去する。具体的には、元の式に を掛け、後の式に を掛けて引くと である。
もし なら となり が有理数になる。これは(1)に反する。よって でなければならない。
この2式から である。第1式に を掛けると であり、第2式に を掛けると である。したがって となる。 だから である。ところが は有理数なので、これは が有理数であることを意味し、(1)に反する。
したがって はありえない。結局 であり、余り は0である。よって である。