Maths Olympiad Prep

Library / India — Team Selection Test /2 of 77

India — Team Selection Test, 2009

Algebra Difficulty 4.6 AIME Prove it India

Let xx, yy, zz and aa, bb, cc be positive real numbers such that x+y+z=a+b+cx + y + z = a + b + c and xyz=abcxyz = abc. Suppose max⁡{x,y,z}≥max⁡{a,b,c}\max\{x, y, z\} \ge \max\{a, b, c\}. Prove that
ab+bc+ca≥xy+yz+zx. ab + bc + ca \ge xy + yz + zx.

Solution

We may assume x≥y≥zx \ge y \ge z and a≥b≥ca \ge b \ge c. We are given x≥ax \ge a. Consider the cubics
P(t)=(t−x)(t−y)(t−z),Q(t)=(t−a)(t−b)(t−c). P(t) = (t - x)(t - y)(t - z), \quad Q(t) = (t - a)(t - b)(t - c).
Since aa is the largest root of Q(t)=0Q(t) = 0, it follows that Q(s)≥0Q(s) \ge 0 for s≥as \ge a. In particular, Q(x)≥0Q(x) \ge 0. Observe that
P(t)−Q(t)=(α−β)t, P(t) - Q(t) = (\alpha - \beta)t,
where α=xy+yz+zx\alpha = xy + yz + zx and β=ab+bc+ca\beta = ab + bc + ca. We thus get
(α−β)x=P(x)−Q(x)=−Q(x)≤0. (\alpha - \beta)x = P(x) - Q(x) = -Q(x) \le 0.
Since xx is positive, we conclude that α≤β\alpha \le \beta. This gives the desired inequality.

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.