已知函数f x平方-3=lg