函数f(x)=lgcosx 根号下25-x²