从拉格朗日中值定理的证明说起