Maths Olympiad Prep

Library / /51 of 75

Algebra Difficulty 6.4 National Olympiad Prove it Czech Republic

Find the least real mm such that there exist reals aa and bb for which the inequality
∣x2+ax+b∣≤m |x^2 + a x + b| \le m
holds for all x∈(0,2)x \in (0, 2).

Solution

Notice that no negative number mm satisfies the problem evidently (absolute value is non-negative number).

Now we interpret the problem geometrically. A graph of some function y=x2+ax+by = x^2 + a x + b lies in a horizontal strip between lines y=+my = +m and y=−my = -m and in the interval (0,2)(0, 2). Our aim is to find the closest strip which contains the graph of such quadratic function in the interval (0,2)(0, 2).

Figure 1

The function
f(x)=(x−1)2−12=x2−2x+12, f(x) = (x - 1)^2 - \frac{1}{2} = x^2 - 2x + \frac{1}{2},
seems to be a good candidate for such the closest strip. Such function has a=−2a = -2, b=12b = \frac{1}{2} and it satisfies (to be shown below) inequalities −12≤f(x)≤12-\frac{1}{2} \le f(x) \le \frac{1}{2}.

Really, this inequalities are equivalent to the inequalities 0≤(x−1)2≤10 \le (x-1)^2 \le 1, which are evidently fulfilled for x∈(0,2)x \in (0, 2). Quadratic function f(x)=x2−2x+12f(x) = x^2 - 2x + \frac{1}{2} thus satisfies the conditions of the problem for m=12m = \frac{1}{2}.

In the second part of the solution we will show that there is no quadratic function satisfying the problem for any m<12m < \frac{1}{2}.

The crucial fact will be that at least one from differences f(0)−f(1)f(0) - f(1) and f(2)−f(1)f(2) - f(1) is greater or equal to 11 for an arbitrary function f(x)=x2+ax+bf(x) = x^2 + a x + b. This fact will imply that width of the closest strip will be greater or equal to 11. This will exclude the values m<12m < \frac{1}{2}. For f(0)−f(1)≥1f(0) - f(1) \ge 1 we obtain the desired estimate 2m≥12m \ge 1 easily from the well-known triangle inequality ∣a−b∣≤∣a∣+∣b∣|a - b| \le |a| + |b|:
1≤∣f(0)−f(1)∣≤∣f(0)∣+∣f(1)∣≤2m. 1 \le |f(0) - f(1)| \le |f(0)| + |f(1)| \le 2m.
Similarly we estimate for f(2)−f(1)≥1f(2) - f(1) \ge 1.

Now it remains to verify at least one from inequalities f(0)−f(1)≥1f(0) - f(1) \ge 1 and f(2)−f(1)≥1f(2) - f(1) \ge 1 for arbitrary f(x)=x2+ax+bf(x) = x^2 + a x + b. The values
f(0)=b,f(1)=1+a+b,f(2)=4+2a+b, f(0) = b, \quad f(1) = 1 + a + b, \quad f(2) = 4 + 2a + b,
yields
f(0)−f(1)=−1−a≥1⇔a≤−2, f(0) - f(1) = -1 - a \ge 1 \Leftrightarrow a \le -2,
f(2)−f(1)=3+a≥1⇔a≥−2. f(2) - f(1) = 3 + a \ge 1 \Leftrightarrow a \ge -2.
So at least one from inequalities f(0)−f(1)≥1f(0) - f(1) \ge 1 and f(2)−f(1)≥1f(2) - f(1) \ge 1 is true (regardless of the choice a,ba, b).

Conclusion. The desired minimal value of mm is 12\frac{1}{2}.

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.