olymmath

Nemotron-IMO-Bench 2026 A13

    Prove that for all real numbers x,y,zx,y,z (x+y+z)2+∑(y+x)(y+z)1+∣x−z∣≥xy+yz+zx.(x+y+z)^2+\sum \frac{(y+x)(y+z)}{1+|x-z|}\geq xy+yz+zx.

    Dataset text Nemotron-IMO-Bench. Open licence.

    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 nemotron-imo-bench/2026/a13 · Tag X423SGCG8Z · Edit this page on GitHub · Keys: j next, k previous