中值定理公式如下：
中值定理是微积分中的重要定理之一，用于描述函数在某个区间内的平均变化率与其导数在该区间内某点的值之间的关系。根据中值定理，如果一个函数在闭区间[a,b]上连续且可导，在开区间(a,b)上可导，则存在一个点c∈(a,b)，使得函数在点c处的导数等于函数在区间[a,b]上的平均变化率。
1.中值定理的数学表述
中值定理的数学表述可以通过以下公式表示：若函数f(x)在闭区间[a,b]上连续，在开区间(a,b)上可导，则存在一个点c∈(a,b)，使得函数在点c处的导数等于函数在区间[a,b]上的平均变化率，即存在c∈(a,b)，使得f'(c)=(f(b)-f(a))/(b-a)。
2.中值定理的几何意义
中值定理的几何意义是：如果一条曲线在两个点之间的平均切线与曲线本身相切于某一点，那么在这两个点之间必然存在一个点，该点的切线与曲线重合。换句话说，中值定理告诉我们，如果函数在某个区间内的平均变化率与其导数在某点的值相等，那么在该区间内一定存在一个点，该点的切线与函数重合。
3.中值定理的应用
寻找函数的极值点：根据中值定理，如果一个函数在某个区间内连续且可导，那么该函数在该区间内的任意两个极值点之间一定存在一个点，该点的导数为零。因此，可以通过中值定理来帮助寻找函数的极值点。
判断函数的增减性：根据中值定理，如果一个函数在某个区间内连续且可导，那么函数在该区间内的导数的正负性可以用来判断函数的增减性。当导数大于零时，函数递增；当导数小于零时，函数递减。
证明极限存在：中值定理可以用来证明某些极限的存在。通过构造一个满足中值定理条件的函数序列，可以借助中值定理来证明极限的存在与求值。
中值定理公式如下
1、罗尔定理
如果函数f(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导；在区间端点处的函数值相等，即f(a)=f(b)，那么在（a,b)内至少有一点ξ（a<ξ＜b)，使得f'(ξ）＝0。
2、柯西定理
如果函数f(x)及F(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导；（3)对任一x∈（a,b)，F'(x)≠0那么在（a,b)内至少有一点ξ，使等式［f(b)-f(a)]/=f'(ξ）／F'(ξ）成立。
3、拉格朗日定理
如果函数f(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导。那么在（a,b)内至少有一点ξ（a<ξ＜b)，使等式f(b)-f(a)=f′（ξ）（b-a)成立。
拓展知识
定义
函数与其导数是两个不同的函数；而导数只是反映函数在一点的局部特征；如果要了解函数在其定义域上的整体性态，就需要在导数及函数间建立起联系，微分中值定理就是这种作用。微分中值定理，包括罗尔定理、拉格朗日定理、柯西定理、泰勒定理。
是沟通导数值与函数值之间的桥梁，是利用导数的局部性质推断函数的整体性质的工具。以罗尔定理、拉格朗日中值定理和柯西中值定理组成的一组中值定理是一整个微分学的理论基础。
拉格朗日中值定理，建立了函数值与导数值之间的定量联系，因而可用中值定理通过导数去研究函数的性态；中值定理的主要作用在于理论分析和证明；同时由柯西中值定理还可导出一个求极限的洛必达法则。
中值定理的应用主要是以中值定理为基础，应用导数判断函数上升，下降，取极值，凹形，凸形和拐点等项的重要性态。从而能把握住函数图象的各种几何特征。在极值问题上也有重要的实际应用。