几道数学题,求证:函数f(x)=-1/4x²+1,x属于[0,+无穷大]是减函数