Home Competitions FKMO 2014 Problem 1
Suppose x x x , y y y , z z z are positive numbers such that x + y + z = 1 x+y+z=1 x + y + z = 1 . Prove that
( 1 + x y + y z + z x ) ( 1 + 3 x 3 + 3 y 3 + 3 z 3 ) 9 ( x + y ) ( y + z ) ( z + x ) ≥ ( x 1 + x 3 + 9 x 2 4 + y 1 + y 3 + 9 y 2 4 + z 1 + z 3 + 9 z 2 4 ) 2 . \frac{(1+xy+yz+zx)(1+3x^3 + 3y^3 + 3z^3)}{9(x+y)(y+z)(z+x)}
\ge
\left(
\frac{x \sqrt{1+x} }{\sqrt[4]{3+9x^2}}
+ \frac{y \sqrt{1+y} }{\sqrt[4]{3+9y^2}}
+ \frac{z \sqrt{1+z}}{\sqrt[4]{3+9z^2}}
\right)^2. 9 ( x + y ) ( y + z ) ( z + x ) ( 1 + x y + y z + z x ) ( 1 + 3 x 3 + 3 y 3 + 3 z 3 ) ≥ ( 4 3 + 9 x 2 x 1 + x + 4 3 + 9 y 2 y 1 + y + 4 3 + 9 z 2 z 1 + z ) 2 .
Dataset text AI-MO AoPS . Quoted with source.
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
Similar problems
These problems have the most words in common with this statement.
Locator kr-fkmo/2014/p1 · Tag MC7X4GA12F · Edit this page on GitHub · Keys: j next, k previous