Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
We proved the intermediate value theorem for continuous function at closed interval by constructing auxiliary sequence ingeniously and applying compact theorem as well as Cauchy convergence criterion.
通过巧妙地构造辅助数列，应用致密性定理、柯西收敛准则来证明闭区间上连续函数的介值性定理。
Mean value theorem and Taylor formula are generally proofed by constructing an auxiliary function.
中值定理是研究函数特性的一个有力工具。
Mean value theorem and Taylor formula are generally proofed by constructing an auxiliary function.
中值定理是研究函数特性的一个有力工具。
应用推荐