方針
(1) は の偶奇を3通りに分ける。(2)は、少なくとも一方が奇数なら左辺が奇数、両方が偶数なら左辺が4の倍数となる一方、右辺 は4で割ると2余ることを使う。(3)は異なる2整数解 があると仮定して方程式の差を取り、 を導いて (2) に反することを示す。
解答
(1)
平方はもとの整数と同じ偶奇をもつので の偶奇はのいずれかである。右辺の余りはそれぞれしたがって は奇数である。
(2)
は奇数なのでもし の少なくとも一方が奇数なら、(1) より左辺は奇数となり、偶数 に等しくない。
一方、 がともに偶数なら と書ける。このときは4の倍数であり、 に等しくない。よって条件を満たす整数 は存在しない。
(3)
異なる2つの整数解 があると仮定する。すると両式を引いて だから は奇数であるため、これは (2) に を代入した式に反する。したがって整数解は1個以下である。
別解
解法2
方針
(1) は式を を法として に変形し、一方が奇数なら積が偶数になることを使う。(2)は左辺が偶数なら両変数が偶数でなければならないことを先に確定し、4を法として矛盾させる。(3)は1つの整数解で多項式を割った商を用い、別の整数解がある場合に (2) の禁止式が現れることを示す。
解答
(1)
を法として の少なくとも一方が奇数なら、 の少なくとも一方は偶数である。よって積は偶数であり、上式は となる。
(2)
仮にが成り立つとする。右辺は偶数なので、(1) の対偶から はともに偶数である。すると左辺は4の倍数である。しかし奇数 に対して は4の倍数ではない。これは矛盾である。
(3)
整数 が方程式の解だとする。 を代入するともし と異なる整数解 も存在すればとなるが、(2) に反する。よって整数解は高々1個である。
総評
難度5、目安時間15分。偶奇の補題を3次方程式へつなぐ誘導問題である。(2)では左辺は「少なくとも一方が奇数なら奇数」「両方が偶数なら4の倍数」のどちらかであり、4で割って2余る数にはならない。(3)は異なる2整数解を仮定して差を取るか、1つの整数解で因数分解すると、ちょうど (2) の形が現れる。 かつ が奇数であることを明記する。