Maths Olympiad Prep

Library / /442 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 5 Given the functions F(x)=ax2+bx+cF(x)=a x^{2}+b x+c and G(x)=cx2+bx+aG(x)=c x^{2}+b x+a, where F(0)1,F(1)1,F(1)1|F(0)| \leqslant 1,|F(1)| \leqslant 1,|F(-1)| \leqslant 1, prove that for x1|x| \leqslant 1, we have F(x)54,G(x)2|F(x)| \leqslant \frac{5}{4},|G(x)| \leqslant 2. (26th IMO Shortlist)

Solution

Prove (1) F(0)=c,F(1)=ab+c,F(1)=ab+cF(0)=c, F(-1)=a-b+c, F(1)=a-b+c, so
F(x)=x(x1)2F(1)(x21)F(0)+x(x+1)2F(1),F(x)=\frac{x(x-1)}{2} F(-1)-\left(x^{2}-1\right) F(0)+\frac{x(x+1)}{2} F(1),

Hence 2F(x)=x(x1)F(1)+2x21F(0)2|F(x)|=|x(x-1)| \cdot|F(-1)|+2\left|x^{2}-1\right| \cdot|F(0)|
+x(x+1)F(1)x(x1)+2x21+x(x+1)\begin{aligned} & +|x(x+1)| \cdot|F(1)| \\ \leqslant & |x(x-1)|+2\left|x^{2}-1\right|+|x(x+1)| \end{aligned}

For x1|x| \leqslant 1, we have 01+x2,01x2,01x210 \leqslant 1+x \leqslant 2,0 \leqslant 1-x \leqslant 2,0 \leqslant 1-x^{2} \leqslant 1, thus
2F(x)x(1x)+2x21+x(1+x)=2(x+1x2)2|F(x)| \leqslant|x|(1-x)+2\left|x^{2}-1\right|+|x|(1+x)=2\left(|x|+1-|x|^{2}\right)

That is F(x)x+1x2=(x12)2+5454|F(x)| \leqslant|x|+1-|x|^{2}=-\left(|x|-\frac{1}{2}\right)^{2}+\frac{5}{4} \leqslant \frac{5}{4}.
(2) By the given conditions F(0)=c1,F(1)=ab+c1|F(0)|=|c| \leqslant 1,|F(-1)|=|a-b+c| \leqslant 1, F(1)=a+b+c1|F(1)|=|a+b+c| \leqslant 1, since
cx2+bx+a=c(x21)+(a+b+c)1+x2+(ab+c)1x2c x^{2}+b x+a=c\left(x^{2}-1\right)+(a+b+c) \cdot \frac{1+x}{2}+(a-b+c) \cdot \frac{1-x}{2}

Therefore, for any x1|x| \leqslant 1 we have
cx2+bx+a=c(x21)+a+b+c1+x2+ab+c1x2(x21)+1+x2+1x2(1x2)+1+x2+1x2=2x22\begin{aligned} \left|c x^{2}+b x+a\right|= & |c| \cdot\left|\left(x^{2}-1\right)\right|+|a+b+c| \cdot\left|\frac{1+x}{2}\right| \\ & \left.+|a-b+c| \cdot \left|\frac{1-x}{2}\right| \right. \\ \leqslant & \left|\left(x^{2}-1\right)\right|+\left|\frac{1+x}{2}\right|+\left|\frac{1-x}{2}\right| \\ \leqslant & \left(1-x^{2}\right)+\frac{1+x}{2}+\frac{1-x}{2} \\ = & 2-x^{2} \leqslant 2 \end{aligned}

That is G(x)2|G(x)| \leqslant 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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.