方針
(1) 係数比較で求める。(2) 差分作用素が 次項を 次項へ移し、その最高次係数を 倍する三角構造を用いる。(3) を階乗型多項式で表し、整数点で順次係数を決める。
解答
(1) のときより では とおくと係数比較により だから(2) 多項式に作用する差分をと書く。 に対してである。従って、 の係数を高次から順に選べばを満たす 次多項式を作れる。最後に定数項を選んで とすれば存在が示される。
また二つの解の差を とすると非定数多項式 なら の次数は で0にはならない。従って は定数であり、さらに だから である。よって解はただ一つである。
(3) 条件を満たす多項式はである。実際、 で0となり、 である。
条件 (C) を整数 に順次用いるととなるので、 は整数である。
まず を代入してと定める。次に に対して順にと定める。ここでは整数であるから、帰納的にすべての は整数となる。
このように作ったは の 点で と一致する。両者の次数は高々 なので恒等的に一致する。また へ順に代入すれば各 が一意に決まる。従って整数 はそれぞれただ一つ存在する。
別解
解法2(整数点補間と差分表)
方針
(1) は直接計算する。(2)は整数点で累積和を定め、0から までの補間多項式を作る。差分の根の個数から条件(C)を恒等的に示す。(3)はNewton補間の差分係数が整数であることを使う。
解答
(1)
は条件を満たす。 とおけばなので 。したがって(2)
整数 に対しと定める。この 個の点 を通る次数 以下の補間多項式を
とする。は次数 以下であり、 では次数以下の多項式が 個の相異なる根をもつので 。
また であり、差が だから の次数は実際に である。
これで存在が示された。
2解の差 は を満たす。非定数なら左辺の差の次数は
となって0ではないため、 は定数である。 より一意である。
(3) は条件を満たす。Newton補間公式により、 を使えばただし である。
整数点ではだから、その有限差分 もすべて整数である。
また 、 なので、
を順に代入すれば各 は一意に定まる。
総評
難度8、計算量7。差分作用で次数が1つ下がる三角構造が存在と一意性を支える。第2解法では整数点の累積和を補間し、k個の根をもつ差分多項式が恒等的に0となることから別経路で存在を示した。 は二項係数コマンドを使わず階乗型多項式として記述し、係数の整数性も有限差分で保証した。 2つの解法は着眼点を分け、必要性・十分性、端点、等号条件を省略せず記述した。