证明∫lnt/(1+t)dt+∫lnx/(1+x)dx=1/2(lnx)^2