Problem

Source: 2021 IMOC qualification problem, A1

Tags: algebra, inequalities



Prove that if positive reals $x,y$ satisfy $x+y= 3$, $x,y \ge 1$ then $$9(x- 1)(y- 1) + (y^2 + y+ 1)(x + 1) + (x^2-x+ 1)(y- 1) \ge 9$$