原式=2(x²-x/2)+1
=2(x²-x/2+1/16-1/16)+1
=2(x²-x/2+1/16)-1/8+1
=2(x-1/4)²+7/8≥7/8>0
命题得证