Since x+y+z=3, we only need to prove yx+zy+xz⩽3. By the AM-GM inequality, we have yx+zy+xz⩽y2x+1+z2y+1+x2z+1⩽2x+z+y+zx+y⩽2
Or by the Cauchy-Schwarz inequality, (yx+zy+xz)2⩽(xy+yz+zx)(y+z+x)(1(x+y+z)2(y+z+x)=31(x+y+z)3yx+zy+xz⩽3 Thus, we have proved the required inequality.
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.