已知函数f(x)=lg1-x/1+x,求证f(x)+f(y)=f(x+y/1+xy)