Maths Olympiad Prep

Library / /2 of 91

, 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+caxy+yz+zx. ab + bc + ca \ge xy + yz + zx.

Solution

We may assume xyzx \ge y \ge z and abca \ge b \ge c. We are given xax \ge a. Consider the cubics
P(t)=(tx)(ty)(tz),Q(t)=(ta)(tb)(tc). 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 sas \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,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.