Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /48 of 70

Czech and Slovak Mathematical Olympiad

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,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.