方針
命題 は、整数の平方根が有理数ならその整数は平方数であることを使い、連続する2つの正整数がともに平方数になるかを調べる。差が1の正の平方数は と しかないため、 では存在しない。命題 は差が有理数だと仮定し、その逆数を有理化して和 も有理数になることを示す。和と差が有理数なら2つの平方根がともに有理数となり、命題 の否定事実と矛盾する。
解答
まず命題を調べる。整数についてと書けるなら、よりである。したがってであり、は平方数である。したがって、 と がともに有理数なら、ある整数 を用いて と表せる。ただし なので である。このとき すなわち である。しかし なら であり、積が1になることはない。よってそのような は存在しない。したがって命題 は正しくない。
次に命題 を調べる。ある について が有理数であると仮定する。この は正であるから、 も有理数である。ところが である。したがって がともに有理数である。
この2式を足し引きするとおよびも有理数になる。これは、命題 の検討で示した「 では と がともに有理数になることはない」という事実に反する。
よってすべての について は無理数である。したがって命題 は正しい。
別解
解法2(積と最大公約数を使う)
方針
命題は連続する平方数の不存在で否定する。命題では差が有理数と仮定して2乗し、が有理数になることを導く。互いに素なの積が平方数なら両方が平方数となるため矛盾する。
解答
整数についてが有理数なら、は整数の平方である。実際、とおくとである。これよりとなるのでである。
命題
もし命題が正しければ、ある正の整数についてとなる。よってしかしなのでであり、積は1にならない。したがって命題は正しくない。
命題
あるについてが有理数であると仮定する。両辺を2乗するとだから、も有理数である。したがっては平方数である。
ところがである。互いに素な2整数の積が平方数なら、素因数の指数を比較することで各整数がそれぞれ平方数だと分かる。するとは連続する正の平方数となり、命題の検討に反する。
ゆえに差は常に無理数であり、命題は正しい。
総評
難度4、計算量3。命題は存在命題だが、反例ではなく「そのようなが存在しない」ことを示して偽と判定する。命題は有理化で和を作る方法と、積と互いに素を使う方法の2答案を収録した。「整数の平方根が有理数なら平方数」という補題にも理由を付けた。10分から15分が目安である。