拉格朗日定理公式-拉格朗日定理公式

拉格朗日函数值定理是微积分里最让人头疼也最实用的那一章。它的根本结论实际上就是：要是在闭区间 [a, b] 上有一个连续函数 f(x)，并且这个函数在 a、b 处的值分别是 f(a) 和 f(b)，那么沿着这个区间从 a 走到 b，函数值肯定会落在连接这两个端点的线段上。
不用慌，把那条线段画出来，从左边端点引一条水平线，从右边端点引一条水平线，这两个水平线围成的梯形面积里，总存有一个横坐标 x，那里的函数值 y 正好等于连接两端点的直线上的那个点。 大量人一看到这个定理就懵了，认定这玩意儿别看名字听着像“平均值”，但实际上是个存有性难题。它问的不是“平均值是多少”，而是“平均值一定在哪儿”。
这就像问“在单位圆上取一个点，它的坐标一定知足啥方程”一样，别看没规定具体哪个点，但范围是有明确的几何边界。 举个例子，用这个定理证明一个经典结论会不会哑火？比如要证区间 [0, π] 上余弦函数 cosx 的值域。直接按定义画个图，从 x=0 到 x=π，cosx 从 1 降到 -1。
那最大值肯定是 1，最小值肯定是 -1。但什么的，定理说的是函数值梯形里肯定有个横坐标，它没说函数值只能是端点的函数值啊？这仿佛有点绕。
实际上定理的功能恰恰在于，它告诉我们能够放心地取 x=0 和 x=π 这两个端点作为梯形的两个顶点。
既然这两个端点确定了，那么中间任何位置只要函数值是连续变化的，它就务必在这个由端点确定的“带状区域”里。
故此，既然最左边的值是 1，最右边的值是 -1，那中间那块区域里肯定藏着-1 和 1 之间的所有数。 再看一个更生活化的例子。假设你在 0 到 10 个小时的区间内工作，且工作强度（假设是正数函数）是连续变化的。工作强度不可能突然消亡，也不可能无限大。根据拉格朗日定理，你在任何时刻的工作强度，都一定是在你启动工作的强度（比如 1 单位）和你终止工作的强度（比如 2 单位）之间的某个数值。你能够放心地认定，不管中间经历了多少波折，比如 2 小时时强度降到 0.5，3 小时时升到 1.5，哪怕中间有陡峭的下降和急刹车，最终你看到的“平均值”高度，绝对不可能低于 1 也不可能高于 2。
这就像你每天跑的距离总和除以总工夫，结局肯定在最大速度和最小速度之间。 实际上这个定理的几何意义特别直观，就是“康托儿定理”的儿孙辈。康托儿定理是说，有界区间里肯定存有一个点，那里的函数值等于连接两端点的线段上的那个点。拉格朗日定理把这个“点”的存有性给证实了，并且给出了它的唯一性——那就是区间内所有知足条件的点的并集。 有时候你会认定这个定理忒宽泛了，如何验证它？实际上不需求复杂的计算。
比如要证 x² 在 [0, 1] 上知足拉格朗日定理，只需求画个图，x=0 时 y=0，x=1 时 y=1。连接这两点的线段方程就是 y=x。根据定理，这个段子里肯定有个 x₀，让 f(x₀)=x₀，也就是 (x₀)² = x₀，解出来非负根就是 x₀=0 和 x₀=1。
看来端点本身也算在内了。再像 sinx 在 [-1, 1] 上，f(-1)=-1, f(1)=1，线段是 y=2x。定理保证存有 x₀ 让 sinx₀ = 2x₀。别看解出来是 x₀=0 和 x₀=π/2，但定理只要求存有，这两个解刚好都在 [-1, 1] 区间内，根本不矛盾。 别被那些数学家的名字给吓倒了，拉格朗日定理根本不是那个十七世纪法国数学家拉格朗日写的。它是孔坦·安德烈·朗格（Lagrange），法语叫朗格。至于那个 18 世纪的法国数学家拉格朗日，那是另一个人，叫拉格朗日。别看中文里把两个都叫“拉格朗日”了，但好在数学圈里大家习惯用“拉格朗日定理”指代这个微积分存有性结论，至于孔坦·朗格定理之类的，那是另一个彻底不同的东西，别看名字也长，但内容不一样，不要混淆。 最终再说说这个定理的真正价值。在高中数学里，你可能还没学到微积分，但老师已经启动把它作为导数的存有性证明的基础。出于在微积分里，函数可导意味着连续，可导又蕴含连续。可导的函数，其图像肯定是光滑不断线的曲线。
既然图像是光滑不断线的，那它注定不会在图像上“撞墙”要么“自杀”。
这意味着，对于任何开区间 (a, b)，只要函数在内部可导，那么在开区间内必然存有一个点，让函数值等于连接 a 和 b 的直线段上的那个点。
这个结论别看在本例中仿佛产物，但它是用严格的数学语言描述出来的图像轨迹。 故此，拉格朗日函数值定理别看看起来是个好办的结论，但它实际上是连接微积分理论和几何直观的一座桥梁。它告诉你，连续函数的图像别看可能挺复杂，但它的走势一辈子受限于端点的数据，中间任何一点都逃不过“平均值定理”的审视。
这不仅是数学上的一种严谨表述，更是我们在做工程估算、定价策略要么物理建模时，心里有一杆秤的关键工具。
只要函数连续，你就一辈子不用揪心中间漏网之鱼，出于那个“点”是存有的。