设f(x)=ln x,则f(x)在[a,b]上连续,在(a,b)上可导,
则至少存在一点c∈(a,b)使得f'(c)=[f(b)-f(a)]/(b-a)
f'(x)=(ln x)'=1/x,左边=(2a)/(a^2+b^2)