已知函数f(x)在（-1,1）上有定义,f(0.5)=-1,当且仅当0＜x＜1时,f(x）＜0,且对任意x,y属于（-1

已知函数f(x)在（-1,1）上有定义,f(0.5)=-1,当且仅当0＜x＜1时,f(x）＜0,且对任意x,y属于（-1,1）都有f（x）+f(y)=f((x+y)/(1+xy)),试证明：f(x)为奇函数,在（-1,1）上单调递减.