Let x,y,z be three positive reals such that xyz≥1 . Prove that
x5+y2+z2x5−x2+x2+y5+z2y5−y2+x2+y2+z5z5−z2≥0.
Hojoo Lee, Korea
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2005 official English paper, page 1.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Add a solution
Locator imo/2005/p3 · Tag RYG0H3ARPH · Edit this page on GitHub · Keys: j next, k previous