Olympiad Maths Prep

Track / Stage 7 / 15 of 300 #1415 of 2000

Problem 1415

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it

A polynomial P(x)P(x) with integer coefficients satisfies the following: if F(x)F(x), G(x)G(x), and Q(x)Q(x) are polynomials with integer coefficients satisfying P(Q(x))=F(x)G(x)P\Big(Q(x)\Big)=F(x)\cdot G(x), then F(x)F(x) or G(x)G(x) is a constant polynomial. Prove that P(x)P(x) is a constant polynomial.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To prove that P(x) P(x) is a constant polynomial, we will use the given condition that if P(Q(x))=F(x)G(x) P(Q(x)) = F(x) \cdot G(x) for polynomials F(x) F(x) , G(x) G(x) , and Q(x) Q(x) with integer coefficients, then either F(x) F(x) or G(x) G(x) must be a constant polynomial.

1. **Assume P(x) P(x) is not a constant polynomial**:
Let P(x) P(x) be a polynomial of degree n1 n \geq 1 .

2. **Consider the degree of P(Q(x)) P(Q(x)) **:
If Q(x) Q(x) is a polynomial of degree m m , then P(Q(x)) P(Q(x)) will be a polynomial of degree nm n \cdot m .

3. **Factorization of P(Q(x)) P(Q(x)) **:
Since P(Q(x))=F(x)G(x) P(Q(x)) = F(x) \cdot G(x) , the degrees of F(x) F(x) and G(x) G(x) must multiply to nm n \cdot m . Let the degrees of F(x) F(x) and G(x) G(x) be d1 d_1 and d2 d_2 respectively. Thus, d1d2=nm d_1 \cdot d_2 = n \cdot m .

4. Given condition:
By the problem's condition, either F(x) F(x) or G(x) G(x) must be a constant polynomial. Without loss of generality, assume F(x) F(x) is a constant polynomial. Therefore, d1=0 d_1 = 0 .

5. Implication for degrees:
Since d1=0 d_1 = 0 , we have 0d2=nm 0 \cdot d_2 = n \cdot m . This implies nm=0 n \cdot m = 0 .

6. **Conclusion about n n **:
Since m m is the degree of Q(x) Q(x) and can be any non-negative integer, the only way nm=0 n \cdot m = 0 holds for all m m is if n=0 n = 0 .

7. Final conclusion:
If n=0 n = 0 , then P(x) P(x) must be a constant polynomial.

Thus, we have shown that P(x) P(x) must be a constant polynomial.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.