Maths Olympiad Prep

Library / /180 of 520

Algebra Difficulty 6.3 National olympiad Prove it

57. Let x,y,zx, y, z be positive real numbers, and satisfy xyz=1,1x+1y+1zx+y+zx y z=1, \frac{1}{x}+\frac{1}{y}+\frac{1}{z} \geqslant x+y+z, prove: for any positive integer kk, we have 1xk+1yk+1zkxk+yk+zk(1999\frac{1}{x^{k}}+\frac{1}{y^{k}}+\frac{1}{z^{k}} \geqslant x^{k}+y^{k}+z^{k} \cdot(1999 Russian Mathematical Olympiad problem)

Solution

57. Since xyz=1,1x+1y+1zx+y+z(x1)(y1)(z1)0x y z=1, \frac{1}{x}+\frac{1}{y}+\frac{1}{z} \geqslant x+y+z \Leftrightarrow(x-1)(y-1)(z-1) \leqslant 0. For any positive integer k,t1k, t-1 has the same sign as tk1t^{k}-1, so
1x+1y+1zx+y+z(x1)(y1)(z1)0(xk1)(yk1)(zk1)01xk+1yk+1zkxk+yk+zk\begin{array}{l} \frac{1}{x}+\frac{1}{y}+\frac{1}{z} \geqslant x+y+z \Leftrightarrow(x-1)(y-1)(z-1) \leqslant 0 \Leftrightarrow \\ \left(x^{k}-1\right)\left(y^{k}-1\right)\left(z^{k}-1\right) \leqslant 0 \Leftrightarrow \\ \frac{1}{x^{k}}+\frac{1}{y^{k}}+\frac{1}{z^{k}} \geqslant x^{k}+y^{k}+z^{k} \end{array}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.