57. Let x,y,z be real numbers, prove that: 2x2+1x2−y2+2y2+1y2−z2+2z2+1z2−x2⩽0.
Solution
57. Let a=x2,b=y2,c=z2, then the problem reduces to proving under the condition a,b,c⩾0 2a+1a+2b+1b+2c+1c⩽2a+1b+2b+1c+2c+1a(1)⇔12abc+2(ab+bc+ca)⩽4(a2b+b2c+c2a)+2(a2+b2+c2)
By the AM-GM inequality, we have a2b+b2c+c2a⩾33a2b⋅b2c⋅c2a=3abc,a2+b2+c2⩾ab+bc+ca, so inequality (2) holds.
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.