Maths Olympiad Prep

Library / /6 of 12

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 0x10 \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 0x10 \le x \le 1.
Then the nonnegative integers P(0),P(1),32P(1/2)|P(0)|, |P(1)|, 32|P(1/2)| are strictly smaller than 1, thus are equal to 0. Let Q(x)=x(1x)(2x1)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
α=12125andβ=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 (5x25x+1)D(x)(5x^2 - 5x + 1) \mid D(x) and we may assume that D(x)=5x25x+1D(x) = 5x^2 - 5x + 1. This leads to the contradiction:
P(0.9)=0.90.10.80.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 0x10 \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,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.