Maths Olympiad Prep

Library / /43 of 65

Algebra Difficulty 6.1 National Olympiad Prove it Romania

Let k>2k > 2 be a real number.
a) Prove that for all positive real numbers xx, yy and zz the following inequality holds:
x+y+y+z+z+x>2(x+y)(y+z)(z+x)xy+yz+zx \sqrt{x+y} + \sqrt{y+z} + \sqrt{z+x} > 2\sqrt{\frac{(x+y)(y+z)(z+x)}{xy+yz+zx}}
b) Prove that there exist positive real numbers xx, yy and zz such that
x+y+y+z+z+x<k(x+y)(y+z)(z+x)xy+yz+zx \sqrt{x+y} + \sqrt{y+z} + \sqrt{z+x} < k \sqrt{\frac{(x+y)(y+z)(z+x)}{xy+yz+zx}}

Solution

a) We have x+y+y+z+z+x>2(x+y)(y+z)(z+x)xy+yz+zxx+y+z+x2+xy+yz+zx+y2+xy+yz+zx+z2+xy+yz+zx>2(x+y)(y+z)(z+x)xy+yz+zx\sqrt{x+y} + \sqrt{y+z} + \sqrt{z+x} > 2\sqrt{\frac{(x+y)(y+z)(z+x)}{xy+yz+zx}} \Leftrightarrow x+y+z + \sqrt{x^2+xy+yz+zx} + \sqrt{y^2+xy+yz+zx} + \sqrt{z^2+xy+yz+zx} > 2 \cdot \frac{(x+y)(y+z)(z+x)}{xy+yz+zx}. But
x2+xy+yz+zx>x\sqrt{x^2+xy+yz+zx} > x, y2+xy+yz+zx>y\sqrt{y^2+xy+yz+zx} > y and z2+xy+yz+zx>z\sqrt{z^2+xy+yz+zx} > z, hence
x+y+z+x2+xy+yz+zx+y2+xy+yz+zx+z2+xy+yz+zx>2(x+y+z). x+y+z+\sqrt{x^2+xy+yz+zx}+\sqrt{y^2+xy+yz+zx}+\sqrt{z^2+xy+yz+zx} > 2(x+y+z).
It is sufficient to show that x+y+z(x+y)(y+z)(z+x)xy+yz+zxx + y + z \ge \frac{(x+y)(y+z)(z+x)}{xy+yz+zx}, i.e. (x+y+z)(xy+yz+zx)(x+y)(y+z)(z+x)(x + y + z)(xy + yz + zx) \ge (x + y)(y + z)(z + x). After some computations, the previous inequality comes to xyz0xyz \ge 0, which is obviously true.

b) Fix z=1z = 1. We look for x,y>0x, y > 0, with y=xy = x, such that
x+y+y+z+z+x<k(x+y)(y+z)(z+x)xy+yz+zx \sqrt{x+y} + \sqrt{y+z} + \sqrt{z+x} < k \sqrt{\frac{(x+y)(y+z)(z+x)}{xy+yz+zx}}
i.e. 2x+1+2x<k2(x+1)2x+22\sqrt{x+1} + \sqrt{2x} < k\sqrt{\frac{2(x+1)^2}{x+2}}, or x+22(x+1)(2+2xx+1)<k\sqrt{\frac{x+2}{2(x+1)}}(2 + \sqrt{\frac{2x}{x+1}}) < k.
As x+22(x+1)<1\sqrt{\frac{x+2}{2(x+1)}} < 1, it is sufficient to find xx such that 2+2xx+1<k2 + \sqrt{\frac{2x}{x+1}} < k, i.e. 2xx+1<k2\sqrt{\frac{2x}{x+1}} < k - 2, or, equivalently, 2xx+1<(k2)2\frac{2x}{x+1} < (k-2)^2. Putting t=(k2)2>0t = (k-2)^2 > 0, the previous condition is fulfilled by any x>0x > 0 if t2t \ge 2, while in case that t<2t < 2, it reduces to x<t2tx < \frac{t}{2-t}. Since t2t>0\frac{t}{2-t} > 0, there exist positive numbers xx, yy, zz that fulfill the conditions of the statement.

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.