Maths Olympiad Prep

Library / /81 of 299

Algebra Difficulty 6.1 National Olympiad Prove it Iran

Determine the smallest possible value of real number kk such that the inequality
(2aab)2+(2bbc)2+(2cca)2+k4(2aab+2bbc+2cca) \left(\frac{2a}{a-b}\right)^2 + \left(\frac{2b}{b-c}\right)^2 + \left(\frac{2c}{c-a}\right)^2 + k \ge 4 \left(\frac{2a}{a-b} + \frac{2b}{b-c} + \frac{2c}{c-a}\right)
holds for all real numbers a,b,ca, b, c.

Solution

Let x=2aabx = \frac{2a}{a-b}, y=2bbcy = \frac{2b}{b-c}, z=2ccaz = \frac{2c}{c-a}. Then
(12x)(12y)(12z)=1, (1 - \frac{2}{x}) (1 - \frac{2}{y}) (1 - \frac{2}{z}) = 1,
which is equivalent to
xy+yz+zx2(x+y+z)+4=0. xy + yz + zx - 2(x + y + z) + 4 = 0.
If we denote x+y+z=sx + y + z = s, then the inequality of the problem becomes
x2+y2+z24(x+y+z)+k0    s22(xy+yz+zx)4s+k0    s22(2s4)4s+k=(s4)2+k80. \begin{align*} & x^2 + y^2 + z^2 - 4(x + y + z) + k \ge 0 \\ \iff & s^2 - 2(xy + yz + zx) - 4s + k \ge 0 \\ \iff & s^2 - 2(2s - 4) - 4s + k = (s - 4)^2 + k - 8 \ge 0. \end{align*}
The right hand side of the latest equality is sum of a complete square and k8k - 8 thus we must have 8k8 \le k so that the inequality always holds. Equality holds when x+y+z=4x + y + z = 4. One possible triple which satisfies x+y+z=4x + y + z = 4 and xy+yz+zx2(x+y+z)+4=0xy + yz + zx - 2(x + y + z) + 4 = 0 is (x,y,z)=(83,23,23)(x, y, z) = (\frac{8}{3}, \frac{2}{3}, \frac{2}{3}), which is attained for (a,b,c)=(4,1,2)(a, b, c) = (4, 1, -2) so we can conclude that the desired number is k=8k = 8.

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.