f(x)是定义域在(0,+∞)上的减函数,实数a满足f(a+1)