Maths Olympiad Prep

Library / /14 of 16

Algebra Difficulty 7.1 National Olympiad, round 2 Prove it JBMO

Problem:
Let xx, yy, zz be positive real numbers such that x+y+z=1x+1y+1zx + y + z = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}.

a) Prove the inequality
x+y+zxy+12+yz+12+zx+12 x + y + z \geq \sqrt{\frac{x y + 1}{2}} + \sqrt{\frac{y z + 1}{2}} + \sqrt{\frac{z x + 1}{2}}

b) When does the equality hold?

Solution

Solution:

a. We rewrite the inequality as
(xy+1+yz+1+zx+1)22(x+y+z)2 (\sqrt{x y + 1} + \sqrt{y z + 1} + \sqrt{z x + 1})^2 \leq 2 \cdot (x + y + z)^2
and note that, from CBS,
LHS(xy+1x+yz+1y+zx+1z)(x+y+z) \text{LHS} \leq \left(\frac{x y + 1}{x} + \frac{y z + 1}{y} + \frac{z x + 1}{z}\right)(x + y + z)
But
xy+1x+yz+1y+zx+1z=x+y+z+1x+1y+1z=2(x+y+z) \frac{x y + 1}{x} + \frac{y z + 1}{y} + \frac{z x + 1}{z} = x + y + z + \frac{1}{x} + \frac{1}{y} + \frac{1}{z} = 2(x + y + z)
which proves (1).

b. The equality occurs when we have equality in CBS, i.e. when
xy+1x2=yz+1y2=zx+1z2(=xy+yz+zx+3x2+y2+z2) \frac{x y + 1}{x^2} = \frac{y z + 1}{y^2} = \frac{z x + 1}{z^2} \left(= \frac{x y + y z + z x + 3}{x^2 + y^2 + z^2}\right)
Since we can also write
(xy+1+yz+1+zx+1)2(xy+1y+yz+1z+zx+1x)(y+z+x)=2(x+y+z)2 (\sqrt{x y + 1} + \sqrt{y z + 1} + \sqrt{z x + 1})^2 \leq \left(\frac{x y + 1}{y} + \frac{y z + 1}{z} + \frac{z x + 1}{x}\right)(y + z + x) = 2(x + y + z)^2
the equality implies also
xy+1y2=yz+1z2=zx+1x2(=xy+yz+zx+3x2+y2+z2) \frac{x y + 1}{y^2} = \frac{y z + 1}{z^2} = \frac{z x + 1}{x^2} \left(= \frac{x y + y z + z x + 3}{x^2 + y^2 + z^2}\right)
But then x=y=zx = y = z, and since x+y+z=1x+1y+1zx + y + z = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}, we conclude that x=1x=1=y=zx = \frac{1}{x} = 1 = y = z.

Alternative solution to b): The equality condition
xy+1x2=yz+1y2=zx+1z2 \frac{x y + 1}{x^2} = \frac{y z + 1}{y^2} = \frac{z x + 1}{z^2}
can be rewritten as
y+1xx=z+1yy=x+1zz=x+y+z+1x+1y+1zx+y+z=2 \frac{y + \frac{1}{x}}{x} = \frac{z + \frac{1}{y}}{y} = \frac{x + \frac{1}{z}}{z} = \frac{x + y + z + \frac{1}{x} + \frac{1}{y} + \frac{1}{z}}{x + y + z} = 2
and thus we obtain the system:
{y=2x1xz=2y1yx=2z1z \left\{\begin{array}{l} y = 2x - \frac{1}{x} \\ z = 2y - \frac{1}{y} \\ x = 2z - \frac{1}{z} \end{array}\right.
We show that x=y=zx = y = z. Indeed, if for example x>yx > y, then 2x1x>2y1y2x - \frac{1}{x} > 2y - \frac{1}{y}, that is, y>zy > z and z=2y1y>2z1z=xz = 2y - \frac{1}{y} > 2z - \frac{1}{z} = x, and we obtain the contradiction x>y>z>xx > y > z > x. Similarly, if x<yx < y, we obtain x<y<z<xx < y < z < x.
Hence, the numbers are equal, and as above we get x=y=z=1x = y = z = 1.

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.