幂函数的定义域为[0,+∞)时单调性