根据函数单调性定义,判断y=ax/x^2+1(a不等于0)在[1,正无穷大)上的单调性并给出证明