Maths Olympiad Prep

Track / Stage 6 / 136 of 400 #1136 of 1964

Problem 1136

National olympiad, first round
Algebra Difficulty 6.2 Prove it

9・110 Let real numbers a,b,ca, b, c satisfy
ax2+bx+c1\left|a x^{2}+b x+c\right| \leqslant 1, for any 1x1-1 \leqslant x \leqslant 1.

Prove: cx2+bx+a2\left|c x^{2}+b x+a\right| \leqslant 2, for any 1x1-1 \leqslant x \leqslant 1.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

[Proof 1] Let f(x)=ax2+bx+c,g(x)=cx2+bx+af(x)=a x^{2}+b x+c, g(x)=c x^{2}+b x+a, then
g(1)=f(1)1,g(1)=f(1)1 |g(1)|=|f(1)| \leqslant 1,|g(-1)|=|f(-1)| \leqslant 1 \text {. }

If c=0c=0 or c0c \neq 0 but the maximum or minimum value of g(x)g(x) is not reached within (1,1)(-1,1), then by the properties of linear or quadratic functions, we have
g(x)=cx2+bx+a1, for any 1x1 |g(x)|=\left|c x^{2}+b x+a\right| \leqslant 1 \text {, for any }-1 \leqslant x \leqslant 1 \text {. }

If c0c \neq 0 and the extremum of g(x)g(x) is reached within (1,1)(-1,1), let x0x_{0} be the extremum point, then
g(x)=c(xx0)2+g(x0) g(x)=c\left(x-x_{0}\right)^{2}+g\left(x_{0}\right) \text {. }

Thus, g(x0)g(1)+c1x021+c\quad\left|g\left(x_{0}\right)\right| \leqslant|g(1)|+|c|\left|1-x_{0}\right|^{2} \leqslant 1+|c|, and c=f(0)1|c|=|f(0)| \leqslant 1.

Therefore, g(x0)2\left|g\left(x_{0}\right)\right| \leqslant 2. By the properties of quadratic functions, we have
g(x)max(g(x0),g(1),g(1))2, for any  |g(x)| \leqslant \max \left(\left|g\left(x_{0}\right)\right|,|g(1)|,|g(-1)|\right) \leqslant 2 \text {, for any }
1x1-1 \leqslant x \leqslant 1.
[Proof 2] Let f(x)=ax2+bx+cf(x)=a x^{2}+b x+c, by the assumption we have
f(0)=c1,f(1)=a+b+c1,f(1)=ab+c1. \begin{array}{l} |f(0)|=|c| \leqslant 1, \\ |f(1)|=|a+b+c| \leqslant 1, \\ |f(-1)|=|a-b+c| \leqslant 1 . \end{array}

Since cx2+bx+a=c(x21)+(a+b+c)1+x2+(ab+c)c x^{2}+b x+a=c\left(x^{2}-1\right)+(a+b+c) \frac{1+x}{2}+(a-b+c)
1x2, \frac{1-x}{2},

for any x[1,1]x \in[-1,1] we have
cx2+bx+acx21+a+b+c1+x2+ab+c1x2x21+1+x2+1x2=1x2+1+x2+1x2=2x22 \begin{aligned} \left|c x^{2}+b x+a\right| \leqslant & |c|\left|x^{2}-1\right|+|a+b+c|\left|\frac{1+x}{2}\right|+\mid a- \\ & \left.b+c|| \frac{1-x}{2} \right\rvert\, \\ \leqslant & \left|x^{2}-1\right|+\left|\frac{1+x}{2}\right|+\left|\frac{1-x}{2}\right| \\ & =1-x^{2}+\frac{1+x}{2}+\frac{1-x}{2} \\ & =2-x^{2} \\ & \leqslant 2 \end{aligned}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.