đây nhétrước tiên chứng minh được cái này
$x^3+y^3=(x+y)^3-3xy(x+y)\geq (x+y)^3-\frac{3(x+y)^3}{4}=\frac{(x+y)^3}{4}$
nhân ra
$12(x^3+y^3)+16x^2y^2+34xy\geq 3+16x^2y^2+34xy$
đặt $0\leq t=xy\leq \frac{(x+y)^2}{4}=\frac{1}{4}$
đến đây xét hàm chắc được rồi -_-