若f(x)是定义在(0,正无穷大)上的减函数,对于一切a,b属于(0,正无穷大),都有f(a/b)=f(a)-f(b).