Maths Olympiad Prep

Library / /2 of 7

Algebra Difficulty 5.6 AIME, harder Prove it Switzerland

Problem:

Determine all monic polynomials P(x)=x2023+a2022x2022++a1x+a0P(x) = x^{2023} + a_{2022} x^{2022} + \cdots + a_{1} x + a_{0} with real coefficients such that a2022=0a_{2022} = 0, P(1)=1P(1) = 1, and all roots of PP are real and less than 11.

Solution

Solution:

Write P(x)=(xz1)(xz2)(xz2023)P(x) = (x - z_{1})(x - z_{2}) \ldots (x - z_{2023}), where z1,,z2023z_{1}, \ldots, z_{2023} are the roots of PP. Note that P(1)=1P(1) = 1 is equivalent to (1z1)(1z2)(1z2023)=1(1 - z_{1})(1 - z_{2}) \ldots (1 - z_{2023}) = 1. Furthermore, by Vieta, z1+z2++z2023=0z_{1} + z_{2} + \ldots + z_{2023} = 0. This gives us the two equations
(1z1)+(1z2)++(1z2023)=2023(1z1)(1z2)(1z2023)=1 \begin{aligned} (1 - z_{1}) + (1 - z_{2}) + \ldots + (1 - z_{2023}) & = 2023 \\ (1 - z_{1}) \cdot (1 - z_{2}) \cdot \ldots \cdot (1 - z_{2023}) & = 1 \end{aligned}
By observing that
12023i=12023(1zi)=(i=12023(1zi))12023 \frac{1}{2023} \cdot \sum_{i=1}^{2023} (1 - z_{i}) = \left( \prod_{i=1}^{2023} (1 - z_{i}) \right)^{\frac{1}{2023}}
and using the equality case of AM-GM (which can be applied since 1zi>01 - z_{i} > 0 for all ii), we deduce that z1=z2==z2023=0z_{1} = z_{2} = \ldots = z_{2023} = 0. Therefore, the only solution is P(x)=x2023P(x) = x^{2023}. This polynomial obviously satisfies the desired properties.

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.