设非零得实系数多项式 f ( x ) f(x) f(x) (即系数都是实数得多项式)满足 f ( f ( x ) ) = f k ( x ) f(f(x)) = f^k(x) f(f(x))=fk(x),其中 k k k 是给定得正整数。求多项式 f ( x ) f(x) f(x)。
设 f ( x ) = a n x b n + a n − 1 x b n − 1 + ⋯ + a 2 x b 2 + a 1 x b 1 + a 0 x b 0 f(x)=a_n x^{b_n} + a_{n-1}x^{b_{n-1}} + \cdots + a_2x^{b_2} + a_1 x^{b_1} + a_0x^{b_0} f(x)=anxbn+an−1xbn−1+⋯+a2xb2+a1xb1+a0xb0,其中 b n > b n − 1 > b n − 2 ⋯ > b 2 > b 1 > b 0 b_n > b_{n-1} > b_{n-2} \cdots > b_{2} > b_1 > b_0 bn>bn−1>bn−2⋯>b2>b1>b0,且 a n ⋯ a 0 a_n \cdots a_0 an⋯a0 均不等于 0
则
f
(
f
(
x
)
)
f(f(x))
f(f(x)) 的次数最高项和次数最低项分别为
a
n
b
n
+
1
x
b
n
2
,
a
0
b
0
+
1
x
b
0
2
a_n^{b_n+1}x^{b^2_n}, a_0^{b_0+1}x^{b^2_0}
anbn+1xbn2,a0b0+1xb02.
f
k
(
x
)
f^k(x)
fk(x) 的次数最高项和次数最低项分别为
a
n
k
x
k
b
n
,
a
0
k
x
k
b
0
a_n^k x^{kb_n}, a_0^k x^{kb_0}
ankxkbn,a0kxkb0
由于
a
n
,
a
0
a_n,a_0
an,a0 不为 0,所以有等式:
a
n
b
n
+
1
=
a
n
k
b
n
2
=
k
b
n
a
0
b
0
+
1
=
a
0
k
b
0
2
=
k
b
0
\begin{aligned} a_n^{b_n+1}&=a_n^k\\ b^2_n&=kb_n\\ a_0^{b_0+1}&=a_0^k\\ b^2_0&=kb_0 \end{aligned}
anbn+1bn2a0b0+1b02=ank=kbn=a0k=kb0
解得:
b
n
=
b
0
=
k
,
a
n
=
a
0
=
1
b_n=b_0=k, a_n=a_0=1
bn=b0=k,an=a0=1
所以, f ( x ) f(x) f(x) 只有一项,即 f ( x ) = x k f(x)=x^k f(x)=xk