Maths Olympiad Prep

Library / /223 of 462

Algebra Difficulty 5.8 AIME, harder Prove it Ireland

Suppose aa, bb, and cc are real numbers, with aba \neq b. Prove that the minimum value of the quadratic polynomial
p(x)=3x2+2cx(c(a+b)+(a2+ab+b2)),<x<, p(x) = 3x^2 + 2c x - (c(a+b) + (a^2 + ab + b^2)), \quad -\infty < x < \infty,
is negative. Prove also that p(a)+p(b)p(a) + p(b) is positive.

Solution

3p(x)=(3x)2+2c(3x)(3c(a+b)+3(a2+ab+b2))=(3x+c)2(c2+3c(a+b)+3(a2+ab+b2))=(3x+c)2((c+32(a+b))294(a+b)2+3(a2+ab+b2))=(3x+c)2(c+32(a+b))212(a2+ab+b2)9(a2+2ab+b2)4=(3x+c)2(c+32(a+b))23(a22ab+b2)4((c+32(a+b))2+3(ab)24), \begin{align*} 3p(x) &= (3x)^2 + 2c(3x) - (3c(a+b) + 3(a^2 + ab + b^2)) \\ &= (3x + c)^2 - (c^2 + 3c(a+b) + 3(a^2 + ab + b^2)) \\ &= (3x + c)^2 - \left( \left(c + \frac{3}{2}(a+b)\right)^2 - \frac{9}{4}(a+b)^2 + 3(a^2 + ab + b^2) \right) \\ &= (3x + c)^2 - \left( c + \frac{3}{2}(a+b) \right)^2 - \frac{12(a^2 + ab + b^2) - 9(a^2 + 2ab + b^2)}{4} \\ &= (3x + c)^2 - \left( c + \frac{3}{2}(a+b) \right)^2 - \frac{3(a^2 - 2ab + b^2)}{4} \\ &\geq - \left( \left(c + \frac{3}{2}(a+b)\right)^2 + \frac{3(a-b)^2}{4} \right), \end{align*}
for all real xx, with equality iff x=c3x = -\frac{c}{3}. Thus
(2c+3(a+b))2+3(ab)212 \frac{(2c + 3(a+b))^2 + 3(a-b)^2}{12}
is the minimum value of pp. Since aba \neq b, this is a negative real number.

Next
p(a)=3a2+2cac(a+b)(a2+ab+b2)=2a2abb2+c(ab)=(2a+b)(ab)+c(ab)=(ab)(2a+b+c). \begin{aligned} p(a) &= 3a^2 + 2c a - c(a+b) - (a^2 + ab + b^2) \\ &= 2a^2 - ab - b^2 + c(a-b) \\ &= (2a + b)(a-b) + c(a-b) \\ &= (a-b)(2a + b + c). \end{aligned}
And interchanging aa and bb, p(b)=(ba)(2b+a+c)p(b) = (b-a)(2b + a + c). Hence
p(a)+p(b)=(ab)(2a+b+c(2b+a+c))=(ab)2>0 p(a) + p(b) = (a-b)(2a + b + c - (2b + a + c)) = (a-b)^2 > 0

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.