消元思想
y=4-x
原式=x^2-x(4-x)+4(4-x)=2x^2-8x+16=2(x-2)^2+8>=8