第4問
をすべての整数からなる集合とする。次の性質を満たす整数係数多項式 をすべて求めよ: の各整数がちょうど1回ずつ現れる整数の無限数列 に対して、常に添字 と整数 が存在して となる。
詳しい解説
が奇数で 以上ならば、 のとき間隔 は際限なく大きくなるので、任意の境界 に対し かつ に の値が入らないような が存在する。数列を貪欲に構成する: を配置済みとし、 を未使用の絶対値最小の整数として とおき、間隔についての事実を使って を選ぶ(新しい区間和はすべて を含み、その周りの有界な窓の中にある)ことで、新しく生じる連続区間和がすべて の値域を避けるようにする。これにより、どの区間和も に等しくならない全単射 が得られ、 は性質を満たさない;前段と合わせて、性質を満たせるのは の1次多項式 のみである。