一、介值定理，又名中间值定理，闭区间连续函数的重要性质之一。
二、定理定义
设函数f(x)在闭区间[a,b]上连续，且在这区间的端点取不同的函数值，f(a)=A及f(b)=B，那么，对于A与B之间的任意一个数C，在开区间(a,b)内至少有一点ξ，使得f(ξ)=C (a<ξ<b)。
三、定理证明
设函数f(x)在闭区间[a,b]上连续，且在这区间的端点取不同的函数值，f(a)=A及f(b)=B，C为A与B之间的任意一个数，g(x)=F(x)-C，则g(x)在闭区间[a,b]上连续，且g(a)=A-C与g(b)=B-C异号。根据零点定理，开区间(a,b)内至少有一点ξ，使得g(ξ)=0 (a<ξ<b)。由于g(ξ)=f(ξ)-C，因此可得f(ξ)=C.
四、定理推广
在闭区间[a,b]上连续的函数f(x)的值域为闭区间[n,M]，其中m与M依次为f(x)在[a,b]上的最小值和最大值。
扩展资料
一、简介
介值定理，又名中间值定理，是闭区间上连续函数的性质之一，闭区间连续函数的重要性质之一。在数学分析中，介值定理表明，如果定义域为[a，b]的连续函数f，那么在区间内的某个点，它可以在f（a）和f（b）之间取任何值，也就是说，介值定理是在连续函数的一个区间内的函数值肯定介于最大值和最小值之间。
二、历史
对于上面的u = 0，该声明也称为博尔扎诺定理。这个定理在1817年被伯纳德·博尔扎诺（Bernard Bolzano）首次证明。奥古斯丁 - 路易·柯西在1821年提供了一个证据。两者的灵感来自于对约瑟夫·路易斯拉格朗日函数的分析正式化的目标。连续函数具有中间值的想法早有起源。西蒙·斯蒂文通过提供用于构造解的十进制扩展的算法，证明了多项式的介值定理（以立方为例）。该算法迭代地将间隔细分为10个部分，在迭代的每个步骤产生一个附加的十进制数字。在给出连续性的正式定义之前，将介值作为连续函数定义的一部分。支持者包括路易斯·阿博加斯特（Louis Arbogast），没有跳跃的函数满足介值定理，并且具有尺寸对应于变量大小的增量。早期的作者认为结果是直观的，不需要证明。博尔扎诺和柯西的观点是定义一个连贯性的概念（就柯西案中的无限小数而言，在博尔扎诺案中使用实际的不平等），并提供基于这种定义的证据。
参考资料：百度百科—介值定理