方法：做差法
原式=x^2+5y^2+1-4xy-2y
=4y^2-4xy+x^2+y^2-2y+1
=(2y-x)^2+(y-1)^2
所以
x^2+5y^2+1>=2y(2x+1)