Maths Olympiad Prep

Library / Irish Mathematical Olympiad /56 of 236

Irish Mathematical Olympiad

Algebra Difficulty 5.1 AIME, harder Prove it Ireland

Let pp, qq be real numbers. Show there exists 1≤x≤41 \le x \le 4 such that
∣px+q+8x∣≥1 |px + q + \frac{8}{x}| \ge 1

Solution

We prove a stronger statement, that ∣px+q+8x∣≥1|px + q + \frac{8}{x}| \ge 1 for one of x∈{1,2,4}x \in \{1, 2, 4\}. Let us write:
f(x)=px+q+8x f(x) = px + q + \frac{8}{x}
We compare f(2)f(2) to the linear interpolation of f(1)f(1) and f(4)f(4), which is:
23f(1)+13f(4)=(23+43)p+(23+13)q+238+132=2p+q+6=f(2)+2. \begin{aligned} \frac{2}{3}f(1) + \frac{1}{3}f(4) &= \left(\frac{2}{3} + \frac{4}{3}\right)p + \left(\frac{2}{3} + \frac{1}{3}\right)q + \frac{2}{3}8 + \frac{1}{3}2 \\ &= 2p + q + 6 \\ &= f(2) + 2. \end{aligned}
Subtracting one from each side:
23(f(1)−1)+13(f(4)−1)=f(2)+1. \frac{2}{3}(f(1) - 1) + \frac{1}{3}(f(4) - 1) = f(2) + 1.
Now each side of these equations is either non-negative, or negative.
If the left hand side is non-negative, then:
23(f(1)−1)+13(f(4)−1)≥0. \frac{2}{3}(f(1) - 1) + \frac{1}{3}(f(4) - 1) \geq 0.
This implies one of the terms in the average is non-negative, and so at least one of f(1)≥1f(1) \ge 1 or f(4)≥1f(4) \ge 1.
If on the other hand the right hand side is negative, then f(2)<−1f(2) < -1.

In either case, we have found xx with ∣f(x)∣≥1|f(x)| \ge 1 as we were required to prove.

Remark: This inequality is best possible. Suppose we take p=2p = 2 and q=−9q = -9. Then, for 1≤x≤41 \le x \le 4:
1−f(x)=1−2x+9−8x=2(x−1)(4−x)x≥0. 1 - f(x) = 1 - 2x + 9 - \frac{8}{x} = \frac{2(x-1)(4-x)}{x} \ge 0.

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.