Maths Olympiad Prep

Library / /46 of 49

, 2022

Algebra Difficulty 7.3 National Olympiad, round 2 Prove it Bulgaria

Let PP and QQ be fixed polynomials with real coefficients, let the degree of QQ be 20212021, and let a1,a2,,a2022,b1,b2,,b2022a_1, a_2, \dots, a_{2022}, b_1, b_2, \dots, b_{2022} be real numbers, such that a1a2a20220a_1 a_2 \dots a_{2022} \neq 0. If
P(a1Q(x)+b1)++P(a2021Q(x)+b2021)=P(a2022Q(x)+b2022),xR, P(a_1Q(x) + b_1) + \dots + P(a_{2021}Q(x) + b_{2021}) = P(a_{2022}Q(x) + b_{2022}), \quad \forall x \in \mathbb{R},
prove that P(x)P(x) possesses at least one real root.

Solution

If PP is a constant, then P0P \equiv 0. If there exist a,ba, b, such that P(a)<0P(a) < 0 and P(b)>0P(b) > 0, due to continuity PP will have a real root between aa and bb. If no such a,ba, b exist, then PP attains either only positive or only negative values. WLOG P(x)>0P(x) > 0 for all xx. If aia2022a_i \neq a_{2022} for some ii, due to the odd degree of QQ, there exists x0x_0, satisfying Q(x0)=b2022biaia2022Q(x_0) = \frac{b_{2022}-b_i}{a_i-a_{2022}}, which gives rise to
P(a1Q(x0)+b1)++P(ai1Q(x0)+bi1)+P(ai+1Q(x0)+bi+1)++P(a2021Q(x0)+b2021)=0. P(a_1Q(x_0) + b_1) + \dots + P(a_{i-1}Q(x_0) + b_{i-1}) + P(a_{i+1}Q(x_0) + b_{i+1}) + \dots + P(a_{2021}Q(x_0) + b_{2021}) = 0.

A contradiction with P(x)>0P(x) > 0. Hence a1=a2==a2022=aa_1 = a_2 = \dots = a_{2022} = a, meaning that
P(aQ(x)+b1)++P(aQ(x)+b2021)=P(aQ(x)+b2022). P(aQ(x) + b_1) + \dots + P(aQ(x) + b_{2021}) = P(aQ(x) + b_{2022}).
Denote by bb and cc the leading coefficients of PP and QQ, respectively, and let d=degPd = \deg P. The LHS leading coefficient equals 2021badcd2021ba^d c^d, while the RHS leading coefficient is badcdba^d c^d. Since a,c0a, c \neq 0, we deduce that b=0b = 0, e.g., P(x)0P(x) \equiv 0.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.