IrMO 2017 Problem 9

Show that for all non-negative numbers $a,b$ , $1 + a^{2017} + b^{2017} \geq a^{10}b^{7} + a^{7}b^{2000} + a^{2000}b^{10}$ When is equality attained?

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.