57. Let x,y,z be positive real numbers, and satisfy xyz=1,x1+y1+z1⩾x+y+z, prove: for any positive integer k, we have xk1+yk1+zk1⩾xk+yk+zk⋅(1999 Russian Mathematical Olympiad problem)
Solution
57. Since xyz=1,x1+y1+z1⩾x+y+z⇔(x−1)(y−1)(z−1)⩽0. For any positive integer k,t−1 has the same sign as tk−1, so x1+y1+z1⩾x+y+z⇔(x−1)(y−1)(z−1)⩽0⇔(xk−1)(yk−1)(zk−1)⩽0⇔xk1+yk1+zk1⩾xk+yk+zk
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.