判断函数f(x)=ax3+1(a大于0)的单调性,并证明