求证,函数f(x)等于x加(x分之a的平方) ,(a大于0),在区间(0,a]上是减函数