Let x, y, z and a, b, c be positive real numbers such that x+y+z=a+b+c and xyz=abc. Suppose max{x,y,z}≥max{a,b,c}. Prove that ab+bc+ca≥xy+yz+zx.
Solution
We may assume x≥y≥z and a≥b≥c. We are given x≥a. Consider the cubics P(t)=(t−x)(t−y)(t−z),Q(t)=(t−a)(t−b)(t−c). Since a is the largest root of Q(t)=0, it follows that Q(s)≥0 for s≥a. In particular, Q(x)≥0. Observe that P(t)−Q(t)=(α−β)t, where α=xy+yz+zx and β=ab+bc+ca. We thus get (α−β)x=P(x)−Q(x)=−Q(x)≤0. Since x is positive, we conclude that α≤β. 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.