已知f(x)= lnt/(1+t)dt证明f(x)+f(1/x)=1/2*ln2 x