9・110 Let real numbers a,b,c satisfy ax2+bx+c⩽1, for any −1⩽x⩽1.
Prove: cx2+bx+a⩽2, for any −1⩽x⩽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+a, then ∣g(1)∣=∣f(1)∣⩽1,∣g(−1)∣=∣f(−1)∣⩽1.
If c=0 or c=0 but the maximum or minimum value of g(x) is not reached within (−1,1), then by the properties of linear or quadratic functions, we have ∣g(x)∣=cx2+bx+a⩽1, for any −1⩽x⩽1.
If c=0 and the extremum of g(x) is reached within (−1,1), let x0 be the extremum point, then g(x)=c(x−x0)2+g(x0).
Thus, ∣g(x0)∣⩽∣g(1)∣+∣c∣∣1−x0∣2⩽1+∣c∣, and ∣c∣=∣f(0)∣⩽1.
Therefore, ∣g(x0)∣⩽2. By the properties of quadratic functions, we have ∣g(x)∣⩽max(∣g(x0)∣,∣g(1)∣,∣g(−1)∣)⩽2, for any −1⩽x⩽1. [Proof 2] Let f(x)=ax2+bx+c, by the assumption we have ∣f(0)∣=∣c∣⩽1,∣f(1)∣=∣a+b+c∣⩽1,∣f(−1)∣=∣a−b+c∣⩽1.
Since cx2+bx+a=c(x2−1)+(a+b+c)21+x+(a−b+c) 21−x,
for any x∈[−1,1] we have cx2+bx+a⩽⩽∣c∣x2−1+∣a+b+c∣21+x+∣a−b+c∣∣21−xx2−1+21+x+21−x=1−x2+21+x+21−x=2−x2⩽2
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.