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