Maths Olympiad Prep

Library / Mongolian Mathematical Olympiad Round 3 /6 of 12

Mongolian Mathematical Olympiad Round 3

Algebra Difficulty 5.9 AIME, harder Prove it Mongolia

Find the smallest positive integer NN with the following property:
For any degree five polynomial P(x)P(x) with integer coefficients, there is 0≤x≤10 \le x \le 1 such that ∣P(x)∣>1N|P(x)| > \frac{1}{N}.

Solution

Answer: N=56N = 56.
First we prove N=56N = 56 has the property. Suppose, on the contrary, that for a degree five polynomial P(x)P(x) with integer coefficients, we have ∣P(x)∣≤156|P(x)| \le \frac{1}{56} for all 0≤x≤10 \le x \le 1.
Then the nonnegative integers ∣P(0)∣,∣P(1)∣,32∣P(1/2)∣|P(0)|, |P(1)|, 32|P(1/2)| are strictly smaller than 1, thus are equal to 0. Let Q(x)=x(1−x)(2x−1)Q(x) = x(1-x)(2x-1). By the Gauss lemma, there is a quadratic polynomial D(x)D(x) with integer coefficients such that P(x)=Q(x)D(x)P(x) = Q(x)D(x). Now consider
α=12−125andβ=12+125. \alpha = \frac{1}{2} - \frac{1}{2\sqrt{5}} \quad \text{and} \quad \beta = \frac{1}{2} + \frac{1}{2\sqrt{5}}.
Clearly 0<α<β<10 < \alpha < \beta < 1, α+β=1\alpha + \beta = 1, αβ=15\alpha\beta = \frac{1}{5} and Q(α)=−155Q(\alpha) = -\frac{1}{5\sqrt{5}}, Q(β)=155Q(\beta) = \frac{1}{5\sqrt{5}}.
Moreover, 25D(α)D(β)25D(\alpha)D(\beta) is a polynomial expression of 5αβ5\alpha\beta and α+β\alpha + \beta with integer coefficients, thus is an integer. It follows
3125P(α)P(β)=−25D(α)D(β) 3125P(\alpha)P(\beta) = -25D(\alpha)D(\beta)
is an integer. On the other hand, ∣3125P(α)P(β)∣≤31253136<1|3125P(\alpha)P(\beta)| \le \frac{3125}{3136} < 1, hence D(α)D(β)=0D(\alpha)D(\beta) = 0. It follows (5x2−5x+1)∣D(x)(5x^2 - 5x + 1) \mid D(x) and we may assume that D(x)=5x2−5x+1D(x) = 5x^2 - 5x + 1. This leads to the contradiction:
P(0.9)=0.9⋅0.1⋅0.8⋅0.55>0.036>0.02>156. P(0.9) = 0.9 \cdot 0.1 \cdot 0.8 \cdot 0.55 > 0.036 > 0.02 > \frac{1}{56}.
This proves for any degree five polynomial P(x)P(x) with integer coefficients, there is 0≤x≤10 \le x \le 1 such that P(x)>156P(x) > \frac{1}{56}.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.