没看出怎么用中值定理做.f'(x)=x+a/x-(a+1)=[(x-1)(x-a)]/x,因此f(x)在（0 1）上递增,在(1 a)上递减,在(a +无穷）上递增.1是极大点,a是极小点,因此要证明不等式实际上等价于证明f(1)-f(a)