已知函数F(X)=log2(1+X)/(1-X) 求证f(x1)+f(x2)=f((x1+x2)/(1+x1x2))