通过广义平均值定理证明余项的拉格朗日形式。