x y的平方减去4(x y-1),其中x=根号2017,y=2