Rolle定理与构造性证明

在高等数学的命题论证中,可能需要构造一个辅助函数或辅助命题,这就是构造性证明。一些较难的证明题,常常需要采用构造性证明,但是在进行构造性证明时,最难掌握的是如何设置辅助函数和辅助命题。本文通过Rolle定理在构造性证明的运用,介绍常用的构造性证明方法。Rollo定理:若函数f(x)满足:(1)在闭区间〔a,b〕上连续,(2)在开区间(a,b)内可导, (3)f(a)=f(b),则至少存在一点ξ∈(a,b),使 f'(ξ)=0．微分中值定理一章中,对Lagrange定理和 Cauchy定理,一般教材均是以Rolle定理为基础,运用构造性证明的方法进行论证的。