Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /6 of 70

Czech and Slovak Mathematical Olympiad

Algebra Difficulty 5.3 AIME, harder Prove it Czech Republic

Find the least real mm, for which there exists real aa, bb such that
∣x2+ax+b∣≤m(x2+1) |x^2 + a x + b| \leq m(x^2 + 1)
holds for any x∈(−1,1]x \in (-1, 1].

Solution

Let us assume that aa, bb, mm satisfy the condition:
∀x∈(−1,1):∣f(x)∣≤m(x2+1),wheref(x)=x2+ax+b. \forall x \in (-1, 1): |f(x)| \leq m(x^2 + 1), \quad \text{where} \quad f(x) = x^2 + a x + b.
Firstly we prove that at least one of the f(1)−f(0)≥0f(1) - f(0) \geq 0 and f(−1)−f(0)≥0f(-1) - f(0) \geq 0 holds:
for arbitrary f(x)=x2+ax+bf(x) = x^2 + a x + b there is
f(0)=b,f(1)=1+a+b,f(−1)=1−a+b, f(0) = b, \quad f(1) = 1 + a + b, \quad f(-1) = 1 - a + b,
and
max⁡(f(1)−f(0),f(−1)−f(0))=max⁡(1+a,1−a)=1+∣a∣≥1. \max(f(1) - f(0), f(-1) - f(0)) = \max(1 + a, 1 - a) = 1 + |a| \geq 1.
Our assumption means ∣f(1)∣≤2m|f(1)| \le 2m, ∣f(−1)∣≤2m|f(-1)| \le 2m and ∣f(0)∣≤m|f(0)| \le m. Consequently
1≤1+∣a∣=f(1)−f(0)≤∣f(1)∣+∣f(0)∣≤2m+m=3m,(1) 1 \le 1 + |a| = f(1) - f(0) \le |f(1)| + |f(0)| \le 2m + m = 3m, \quad (1)
or
1≤1+∣a∣=f(−1)−f(0)≤∣f(−1)∣+∣f(0)∣≤2m+m=3m.(2) 1 \le 1 + |a| = f(-1) - f(0) \le |f(-1)| + |f(0)| \le 2m + m = 3m. \quad (2)
In both cases we get m≥13m \ge \frac{1}{3}.
We show, that m=13m = \frac{1}{3} fulfills the problem conditions. For this mm either (1) or (2) is equality, that is a=0a = 0, −f(0)=∣f(0)∣-f(0) = |f(0)| and ∣f(0)∣=m=13|f(0)| = m = \frac{1}{3}, thus b=f(0)=−13b = f(0) = -\frac{1}{3}.
We will verify, that the function f(x)=x2−13f(x) = x^2 - \frac{1}{3} for m=13m = \frac{1}{3} satisfies the conditions of the problem: The inequality ∣x2−13∣≤13(x2+1)|x^2 - \frac{1}{3}| \le \frac{1}{3}(x^2 + 1) is equivalent with the inequalities
−13(x2+1)≤x2−13≤13(x2+1)or−x2−1≤3x2−1≤x2+1 -\frac{1}{3}(x^2 + 1) \le x^2 - \frac{1}{3} \le \frac{1}{3}(x^2 + 1) \quad \text{or} \quad -x^2 - 1 \le 3x^2 - 1 \le x^2 + 1
which are equivalent to 0≤x2≤10 \le x^2 \le 1, which is evidently fulfilled on (−1,1](-1, 1].

The sought mm is 13\frac{1}{3}.

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.