1. 费马引理

定义：设函数\(y = f(x)\)在点\(x_0\)的某邻域\(U(x_0)\)内有定义，并且在\(x_0\)处可导，如果对任意的\(x\in U(x_0)\)，有\(f(x)\leq f(x_0)\)（或\(f(x)\geq f(x_0)\)），那么\(f^{\prime}(x_0) = 0\)。

解释：简单来说，如果函数在某一点处取得局部的最大值或最小值，并且在该点可导，那么该点的导数为\(0\)。例如，对于函数\(y=-x^{2}+1\)，在\(x = 0\)处取得最大值\(y = 1\)。对\(y=-x^{2}+1\)求导得\(y^{\prime}=-2x\)，当\(x = 0\)时，\(y^{\prime}=0\)。

2. 罗尔定理

定义：如果函数\(y = f(x)\)满足：（1）在闭区间\([a,b]\)上连续；（2）在开区间\((a,b)\)内可导；（3）在区间端点处的函数值相等，即\(f(a)=f(b)\)，那么在\((a,b)\)内至少存在一点\(\xi\)，使得\(f^{\prime}(\xi)=0\)。

示例：设\(f(x)=x^{2}-2x + 1\)在区间\([0,2]\)上。首先，\(f(x)\)是一个二次函数，它在\([0,2]\)上连续。其次，\(f^{\prime}(x)=2x - 2\)，在\((0,2)\)内可导。并且\(f(0)=1\)，\(f(2)=2^{2}-2\times2 + 1=1\)，满足\(f(0)=f(2)\)。令\(f^{\prime}(x)=0\)，即\(2x-2 = 0\)，解得\(x = 1\)，\(1\in(0,2)\)，这就验证了罗尔定理。

3. 拉格朗日中值定理

定义：如果函数\(y = f(x)\)满足：（1）在闭区间\([a,b]\)上连续；（2）在开区间\((a,b)\)内可导，那么在\((a,b)\)内至少存在一点\(\xi\)，使得\(f(b)-f(a)=f^{\prime}(\xi)(b - a)\)。

解释与类比：它可以理解为在一个连续且光滑（可导）的曲线上，在区间\([a,b]\)内一定存在某一点的切线斜率（\(f^{\prime}(\xi)\)）等于连接区间端点\((a,f(a))\)和\((b,f(b))\)的割线的斜率\(\frac{f(b)-f(a)}{b - a}\)。例如，对于函数\(f(x)=x^{2}\)在区间\([1,3]\)上，\(f(3)-f(1)=3^{2}-1^{2}=8\)，\(f^{\prime}(x)=2x\)，根据拉格朗日中值定理\(f(3)-f(1)=f^{\prime}(\xi)(3 - 1)\)，即\(8 = 2\xi\times2\)，解得\(\xi = 2\)，\(2\in(1,3)\)。

4. 柯西中值定理

定义：如果函数\(f(x)\)及\(g(x)\)满足：（1）在闭区间\([a,b]\)上连续；（2）在开区间\((a,b)\)内可导；（3）对任意\(x\in(a,b),g^{\prime}(x)\neq0\)，那么在\((a,b)\)内至少存在一点\(\xi\)，使得\(\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f^{\prime}(\xi)}{g^{\prime}(\xi)}\)。

示例：设\(f(x)=x^{2}\)，\(g(x)=x^{3}\)在区间\([1,2]\)上。\(f(2)-f(1)=2^{2}-1^{2}=3\)，\(g(2)-g(1)=2^{3}-1^{3}=7\)，\(f^{\prime}(x)=2x\)，\(g^{\prime}(x)=3x^{2}\)。根据柯西中值定理\(\frac{f(2)-f(1)}{g(2)-g(1)}=\frac{f^{\prime}(\xi)}{g^{\prime}(\xi)}\)，即\(\frac{3}{7}=\frac{2\xi}{3\xi^{2}}\)，解方程可得\(\xi\)的值。

这些微分中值定理在证明不等式、等式以及研究函数的性质等方面都有广泛的应用。例如，利用拉格朗日中值定理证明不等式\(\frac{b - a}{b}<\ln\frac{b}{a}<\frac{b - a}{a}(0 < a < b)\)。令\(f(x)=\ln x\)，在区间\([a,b]\)上应用拉格朗日中值定理\(f(b)-f(a)=f^{\prime}(\xi)(b - a)\)，其中\(a <\xi < b\)，\(f^{\prime}(x)=\frac{1}{x}\)，所以\(\ln b-\ln a=\frac{1}{\xi}(b - a)\)，因为\(\frac{1}{b}<\frac{1}{\xi}<\frac{1}{a}\)，所以\(\frac{b - a}{b}<\ln\frac{b}{a}<\frac{b - a}{a}\)。

高等数学