問題
,は実数係数の多項式で,どちらも定数でないとする.,,,のそれぞれがまたはのどちらかに一致するものとする.ただし,2つの関数,に対して,はとの合成関数を表す.
(1) ,はともに1次式であることを示せ.
(2) を満たす,の組をすべて求めよ.
方針
(1) は次数を見る。合成多項式の次数は次数の積なので、最大次数が 以上なら、その多項式を自分自身と合成したとき次数が最大次数を超えて矛盾する。(2) は を固定する1次式を と表し、合成が係数の積に対応することから、 が積について閉じる条件を調べる。
解答
(1)
の次数を とする。どちらも定数でないので である。
多項式の合成では次数が積になるから である。一方、仮定より は または に一致するので、その次数は または のどちらかである。 とする。もし なら、次数 の多項式を自分自身と合成したものの次数は である。しかし合成結果は または のどちらかなので次数は高々 でなければならない。これは に反する。したがって であり、 である。
(2)
(1) より は1次式であり、さらに だから と表せる。ただし定数でないので , である。
この形の1次式を合成すると、傾きの部分は積になる。実際、 である。したがって はいずれも または に等しくなければならない。
まず のとき、 である。かつ なので である。したがって を得る。
次に とする。 は または に等しい。もし なら 、もし なら である。たとえば の場合、 は または である。 なので は不可能であり、 から である。 の場合も同様に である。
以上より、求める組は である。
別解。
(2) は傾きの集合 だけを見ると、 が を再び の中に戻す、という有限集合の問題になる。非零実数でこの条件を満たす1個または2個の集合は、 と だけである。したがって上と同じ3組が得られる。