已知函数y=1 2x的平方-x-4