Maths Olympiad Prep

Library / /16 of 69

Algebra Difficulty 5.6 AIME, harder Prove it Mongolia

Let P(x)P(x) and Q(x)Q(x) be polynomials with non-negative real coefficients, and let P(x)P'(x) denote the derivative of P(x)P(x). Suppose that we have P(0)=Q(0)=0P(0) = Q(0) = 0 and Q(1)1P(0)Q(1) \le 1 \le P'(0).
(1) Prove that 0Q(x)xP(x)0 \le Q(x) \le x \le P(x) for all 0x10 \le x \le 1.
(2) Prove that P(Q(x))Q(P(x))P(Q(x)) \le Q(P(x)) for all 0x10 \le x \le 1.
It is not necessary to study the conditions for equality.

Solution

Since P(0)=Q(0)=0P(0) = Q(0) = 0 and the coefficients of P(x)P(x) and Q(x)Q(x) are non-negative, we see that the functions P(x)/xP(x)/x and Q(x)/xQ(x)/x are increasing for x>0x > 0.
Let 0x10 \le x \le 1.
(1) For x=0x = 0, we have Q(0)=0=P(0)Q(0) = 0 = P(0). For 0<x10 < x \le 1, we have
0Q(x)/xQ(1)/11P(0)P(x)/x,0 \le Q(x)/x \le Q(1)/1 \le 1 \le P'(0) \le P(x)/x,
thus 0Q(x)xP(x)0 \le Q(x) \le x \le P(x).

(2) If Q(x)=0Q(x) = 0, we have P(Q(x))=P(0)=0Q(P(x))P(Q(x)) = P(0) = 0 \le Q(P(x)). For Q(x)>0Q(x) > 0, we have P(Q(x))/Q(x)P(x)/xP(Q(x))/Q(x) \le P(x)/x and Q(x)/xQ(P(x))/P(x)Q(x)/x \le Q(P(x))/P(x), therefore
P(Q(x))P(x)Q(x)/xQ(P(x)). P(Q(x)) \le P(x)Q(x)/x \le Q(P(x)).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.