Maths Olympiad Prep

Library / Mongolian Mathematical Olympiad /25 of 97

Mongolian Mathematical Olympiad

Algebra Difficulty 5.6 AIME, harder Prove it Mongolia

Let aa, bb, cc be real numbers which satisfy the conditions: a<b<ca < b < c, a+b+c=6a + b + c = 6, ab+bc+ca=9ab + bc + ca = 9. Prove that the inequality
a2+b2+c2−a−4b−7c+15<0 a^2 + b^2 + c^2 - a - 4b - 7c + 15 < 0

Solution

It is obvious that a<2<ca < 2 < c. Therefore
3(a−1)(a−3)−(a−b)(a−c)=3(b−1)(b−3)−(b−1)(b−a)= 3(a-1)(a-3) - (a-b)(a-c) = 3(b-1)(b-3) - (b-1)(b-a) =
3(c−1)(c−3)−(c−a)(c−b)=0 3(c-1)(c-3) - (c-a)(c-b) = 0
(0=9−ab−bc−ca=9+a2−2a(b+c)−(a−b)(a−c)==9+a2−2a(6−a)−(a−b)(a−c)=3(a−1)(a−3)−(a−b)(a−c)) \left( \begin{array}{l} 0 = 9 - ab - bc - ca = 9 + a^2 - 2a(b + c) - (a - b)(a - c) = \\ \qquad = 9 + a^2 - 2a(6 - a) - (a - b)(a - c) = 3(a - 1)(a - 3) - (a - b)(a - c) \end{array} \right)
Since a<b<ca < b < c we get (a−b)(b−c)>0(a-b)(b-c) > 0, (b−a)(b−c)<0(b-a)(b-c) < 0, (c−a)(c−b)>0(c-a)(c-b) > 0 and (a−1)(a−3)>0(a-1)(a-3) > 0, (b−1)(b−3)>0(b-1)(b-3) > 0, (c−1)(c−3)>0(c-1)(c-3) > 0. Therefore a<1<b<3<ca < 1 < b < 3 < c. It follows that (1−a)(1−b)<0(1-a)(1-b) < 0.
Since 0=9−ab−bc−ca=(c−1)(c−4)−(1−a)(1−b)0 = 9 - ab - bc - ca = (c-1)(c-4) - (1-a)(1-b) we get (c−1)(c−4)<0(c-1)(c-4) < 0 and c<4c < 4.
Similarly, (1−a)(1−b)<0(1-a)(1-b) < 0 and 0=9−ab−bc−ca=a(a−3)−(3−b)(3−c)0 = 9 - ab - bc - ca = a(a-3) - (3-b)(3-c) we get a(a−3)<0a(a-3) < 0 and a>0a > 0. It implies 0<a<1<b<3<c<40 < a < 1 < b < 3 < c < 4 and a(1−a)+(b−1)(3−b)+(c−3)(4−c)>0a(1-a) + (b-1)(3-b) + (c-3)(4-c) > 0 from which follows required inequality. There is no value to attain equality.

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.