問題
次の問いに答えよ.
(1) すべての整数に対してがつねに整数となるような定数を求めよ.
(2) ,を定数として整式を
によって定義する.すべての整数に対してがつねに整数となるための必要十分条件を,を用いて表せ.
方針
(1)はまず から が整数であることを押さえ、さらに と が互いに素であることから、分母が を割らなければならないと見る。分母の絶対値は無限に大きくなるので しかない。(2)では として剰余を求めるだけでなく、商そのものが整数である条件も必要になる。多項式除法で と分け、 と(1)を併用して必要十分条件を決める。
解答
(1)
を代入すると が整数でなければならない。したがって は整数である。
次に、任意の整数 について である。実際、 と の公約数は、 と の公約数でもあるからである。
よって が整数となるためには、分母 が を割り切る必要がある。ところが は を大きくすればいくらでも大きくなる。非零の整数 は、自分自身の絶対値より大きい整数で割り切られることはないので、すべての整数 で条件が成り立つには でなければならない。
逆に なら分子は常に0であり、条件を満たす。したがって である。
(2)
分母を とおく。多項式除法を行うと
である。したがって整数 について である。なお、 は整数解をもたないので、分母は整数 に対して0にならない。
まず必要条件を求める。 を代入すると であるから、条件が成り立つためには でなければならない。したがって は整数である。
このとき はすべての整数 に対して整数である。よって、もとの分数が常に整数となるためには もすべての整数 に対して整数でなければならない。(1)を に適用すると、これは を意味する。
逆に、 が整数で なら、上の式は となる。これはすべての整数 に対して整数である。
したがって必要十分条件は である。