费马引理是微分学中的重要基础定理，由17世纪法国数学家皮埃尔·德·费马提出。其核心内容及意义如下：

一、核心内容

定理陈述 ：设函数 $f（x）$ 在点 $x_0$ 的某邻域 $U（x_0）$ 内可导，若对任意 $x in U（x_0）$ 都有 $f（x） leq f（x_0）$（或 $f（x） geq f（x_0）$），则 $f'（x_0） = 0$。

几何解释 ：在函数曲线 $y = f（x）$ 上，若某点 $（x_0, f（x_0））$ 为局部极大值或极小值，则该点处的切线平行于 $x$ 轴，即导数为零。

二、必要条件与充分条件

必要条件 ：费马引理仅表明，若函数在某点可导且取得极值，则该点导数必为零。但反之不成立，即导数为零的点不一定是极值点（例如拐点）。

充分条件 ：若函数在某点的二阶导数存在且小于零，则该点为极大值点；若大于零则为极小值点。

三、应用与意义

求极值的方法 ：通过求解 $f'（x） = 0$ 找出驻点，再结合二阶导数判断极值类型。

数学基础 ：作为微分中值定理（如罗尔定理、拉格朗日中值定理）的预备定理，为分析函数行为提供了重要工具。

历史影响 ：费马大定理（费马最后定理）的证明过程中，费马引理的思想被用于分析椭圆曲线和模形式的关系，推动了数论和代数几何的发展。

四、总结

费马引理通过简洁的语言揭示了可导函数极值点与导数的内在联系，是微分学中分析函数性质的基石，同时为后续数学理论的发展奠定了基础。