证明拉格朗日中值定理所构造出的函数如何想出来的