求所有實係數多項式 , 使得:
其中 表所有實數所成的集合。
Solution
All real coefficient polynomials satisfying the requirements of the problem are the zero polynomial and
where is any nonnegative integer.
Substituting into the original equation, it is easy to see that the above are all solutions of this functional equation; in what follows we consider the case where is not the zero polynomial.
First we prove that has no real roots. Using proof by contradiction, if has a real root , substituting into the original equation gives
Let , then is also a real root of , and clearly . Consider the infinite sequence
where ; by the same method as above, substituting respectively into the original equation, we obtain that every term of this sequence is a real root of .
When it is clear that , so this sequence is strictly increasing, that is, has infinitely many real roots, contradicting the fact that is a polynomial! Since has no real roots, its degree must be even. Consider the leading coefficient of ; comparing the coefficients of the highest degree term in the original equation gives
, so , that is, is a monic polynomial.
Let the degree of be , and consider ; since is monic, . Substituting back into the original equation gives
Expanding and simplifying gives
If is not the zero polynomial, let and let the leading coefficient of be ; since , the highest degree of the left side is at most , and the coefficient of the degree term is , so the highest degree of the left side is . But the highest degree of the right side is clearly , so , a contradiction!
Therefore can only be the zero polynomial, that is, all the possibilities for are only the identically zero polynomial and