定积分平均值定理公式 · 从面积到平均高度
把曲线下的面积“拉成”一条线——定积分平均值定理是连接积分与函数极值的桥梁，也是工程近似、数值分析的基石。
思想 平均高度
定积分平均值定理告诉我们：连续函数在区间上的平均值等于积分除以区间长度。但这不仅仅是公式，它本质上是把曲边梯形“压平”，寻找一个等效的矩形高度。你绝对能发现它和下限定理的内在统一。
公式 标准形式
其中 (f) 在 ([a,b]) 连续。这是定积分平均值公式的经典表达。但仔细想想，积分到底在“算”啥？它是在找函数值的“重心”。
下限定理 极值加权
平均值 (bar{f}) 介于最小值 (m) 和最大值 (M) 之间，且等于 (frac{m+M}{2}) 的某种加权？实际上，它由积分中值定理保证：存在 (cin(a,b)) 使得 (bar{f}=f(c))。这就是定积分平均值定理的深层含义。
从“分割”到“平均”
假设你在区间 ([a,b]) 上插入 (n-1) 个分点，每个小区间宽度 (Delta x)。每个小区间上取一点 (x_i^)，则积分近似为 (sum f(x_i^)Delta x)。平均值近似为 (frac{1}{b-a}sum f(x_i^)Delta x)。当分割无限细，这个和就是积分。而定积分平均值定理正是这一过程的极限表达。
? 数值示例： (f(x)=x^2) 在 ([0,2])，积分 (int_0^2 x^2 dx = frac{8}{3})，平均值 (= frac{8}{3} div 2 = frac{4}{3})。而最小值 (m=0)，最大值 (M=4)，平均值确实在两者之间。
为什么需要连续？
定积分平均值定理要求函数连续，因为介值定理保证函数能取到介于最小最大值之间的所有值。若函数有跳跃间断，平均值可能不等于任何点函数值。例如分段函数，平均值仍可计算，但“存在一点等于平均值”的结论不再成立。
- 连续条件 → 保证存在 (c) 使得 (f(c)=bar{f})
- 工程近似 即使不连续，仍可用平均值公式，但需注意误差
下限定理的视角
所谓“下限定理”其实是指定积分平均值定理给出了一个下界：平均值不小于最小值、不大于最大值。更精确的“加权平均”思想：若函数单调，平均值更靠近函数值较大的区域。例如 (f(x)=x) 在 ([0,1]) 平均值0.5，恰好是两端平均。
? 网友常问：定积分平均值公式是否就是梯形法的基础？没错！梯形法正是用端点平均值近似整个区间平均值。
? 例1：温度分布
根细杆温度从 (T(0)=20°C) 到 (T(10)=80°C)，且温度呈线性变化。平均温度 = (frac{20+80}{2}=50°C)。用定积分平均值公式验证：(frac{1}{10}int_0^{10} (20+6x)dx = 50)。完美吻合。
⚙️ 例2：变力做功
弹簧力 (F(x)=kx)，从0到L压缩。平均力 = (frac{1}{L}int_0^L kx dx = frac{kL}{2})。这正是定积分平均值定理的直观——平均力等于最大力的一半。
? 例3：电流有效值
正弦交流电 (i(t)=I_msin(omega t))，在一个周期内平方的平均值再开方得到有效值。这里使用了定积分平均值公式的平方形式。工程中无处不在。
⏳ 定积分平均值定理 · 思想演化
? 17世纪 · 积分萌芽
卡瓦列里、费马等用“不可分量”方法求面积，隐含了平均高度的概念。
? 19世纪 · 严格化
柯西、黎曼给出定积分严格定义，定积分平均值定理作为积分中值定理正式确立。
? 现代 · 数值分析核心
梯形法、辛普森法都基于定积分平均值公式的局部近似，成为计算机求解积分的基础。
? 思维拓展：局部决定全局
定积分平均值定理体现了“局部样本代表整体”的思想。在数值分析中，我们用越来越小的区间去逼近真实平均值。这也就是为什么梯形法、辛普森法会收敛到真实积分值。该定理是信任近似计算的基石。
? 网友提问：“如果区间很大，平均值还能用极值估计吗？” 答案是：只要连续，平均值一定介于极值之间，但需要更多样本才能精确。
? 相关公式对比
- 定积分平均值公式：(bar{f}=frac{1}{b-a}int_a^b f(x)dx)
- 加权平均：(frac{int_a^b w(x)f(x)dx}{int_a^b w(x)dx})
- 离散平均：(frac{1}{n}sum f(x_i))
者的联系：当权函数为1时，加权平均就是定积分平均值公式；离散平均是积分平均的近似。
⚠️ 使用条件自查
✔ 区间长度不为零 ✔ 函数连续 (可放宽至可积)
❌ 不连续时，结论“存在一点等于平均值”不成立，但平均值本身仍可计算。
? 反例：(f(x)=0) 当 (x<0.5)，(f(x)=1) 当 (xge0.5) 在 ([0,1])，平均值=0.5，但没有任何点的函数值等于0.5。此时定积分平均值定理的“存在性”部分失效。