問題
以下の問に答えよ.ただし,,が無理数であることは使ってよい.
(1) 有理数,,について,ならば,であることを示せ.
(2) 実数係数の2次式について,,,のいずれかは無理数であることを示せ.
方針
(1)は から、係数の一部が非零なら , , のいずれかが有理数になってしまうことを場合分けで示す。(2)は3つの値がすべて有理数だと仮定する。差 から という形を得て、差 から という形も得る。両者を等置すると、有理係数の の一次関係ができ、(1)に反する。
解答
(1)
有理数 が を満たすとする。
まず かつ と仮定する。このとき と書ける。両辺を2乗すると である。したがって となる。右辺は有理数であり、 だから が有理数になってしまう。これは仮定に反する。よって である。 の場合、 である。もし かつ なら、両辺に をかけて となり、 が有理数になってしまう。これは矛盾である。したがって または であり、どちらの場合も元の式から残りの係数も0になる。よって である。 の場合、 である。もし なら が有理数になり矛盾する。したがって 、さらに である。
以上より、必ず である。
(2)
背理法で示す。3つの値 がすべて有理数であると仮定する。
まず だから である。また であり、差を取ると である。左辺は有理数なので、ある有理数 を用いて と書ける。したがって である。 とおけば は有理数であり、 と書ける。
次に である。これも有理数なので、ある有理数 を用いて と書ける。よって である。
2つの の表示を等置すると である。両辺を2倍して整理すると である。ここで , , はすべて有理数であるから、(1)より でなければならない。しかし と は同時に成り立たない。これは矛盾である。
したがって、3つの値がすべて有理数であることは不可能であり、 が示された。