证明：4x的平方+y的平方-4x+6y+16
=4x^2-4x+1+y^2+6y+9+6
=(2x-1)^2+（y+3)^2+6
(2x-1)^2≥0,（y+3)^2≥0
所以4x的平方+y的平方-4x+6y+16≥6
即多项式4x的平方+y的平方-4x+6y+16的值恒为正数