Olympiad Maths Prep

Library / /2 of 16

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+bm(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)=1a+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,1a)=1+a1. \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
11+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
11+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 m13m \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)=x213f(x) = x^2 - \frac{1}{3} for m=13m = \frac{1}{3} satisfies the conditions of the problem: The inequality x21313(x2+1)|x^2 - \frac{1}{3}| \le \frac{1}{3}(x^2 + 1) is equivalent with the inequalities
13(x2+1)x21313(x2+1)orx213x21x2+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 0x210 \le x^2 \le 1, which is evidently fulfilled on (1,1](-1, 1].

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

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.