Maths Olympiad Prep

Library / Irish Mathematical Olympiad /126 of 236

Irish Mathematical Olympiad

Algebra Difficulty 5.8 AIME, harder Prove it Ireland

Suppose aa, bb, and cc are real numbers, with a≠ba \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))2−94(a+b)2+3(a2+ab+b2))=(3x+c)2−(c+32(a+b))2−12(a2+ab+b2)−9(a2+2ab+b2)4=(3x+c)2−(c+32(a+b))2−3(a2−2ab+b2)4≥−((c+32(a+b))2+3(a−b)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(a−b)212 \frac{(2c + 3(a+b))^2 + 3(a-b)^2}{12}
is the minimum value of pp. Since a≠ba \neq b, this is a negative real number.

Next
p(a)=3a2+2ca−c(a+b)−(a2+ab+b2)=2a2−ab−b2+c(a−b)=(2a+b)(a−b)+c(a−b)=(a−b)(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)=(b−a)(2b+a+c)p(b) = (b-a)(2b + a + c). Hence
p(a)+p(b)=(a−b)(2a+b+c−(2b+a+c))=(a−b)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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.