二重积分中值定理推导：核心概念与深度解析

在高等数学与数学分析的体系中，二重积分中值定理不仅是连接定积分与多元积分的桥梁，更是解决物理场论、概率统计中复杂问题的关键钥匙。许多同学在初次接触该定理时，往往只记住了结论公式，而忽略了其背后的几何意义与推导逻辑。本文将带你深入推导过程，解析其在实际计算与理论证明中的独特价值。

推导步骤详解

第一步：利用有界闭区域上连续函数的性质

由于 f(x,y) 在有界闭区域 D 上连续，根据最值定理，f(x,y) 在 D 上必能取得最大值 M 和最小值 m。即对于任意 (x,y) ∈ D，有：

m ≤ f(x,y) ≤ M

第二步：利用积分的保号性与线性性质

对上述不等式在区域 D 上进行二重积分：

∬_D m dσ ≤ ∬_D f(x,y) dσ ≤ ∬_D M dσ

由于 m 和 M 是常数，可以提取出来：

m ∬_D dσ ≤ ∬_D f(x,y) dσ ≤ M ∬_D dσ

注意到 ∬_D dσ 即为区域 D 的面积，记为 S_D。因此：

m · S_D ≤ ∬_D f(x,y) dσ ≤ M · S_D

第三步：构造平均值并应用介值定理

若 S_D > 0，则不等式两边同除以 S_D：

m ≤ frac{1}{S_D} ∬_D f(x,y) dσ ≤ M

令 μ = frac{1}{S_D} ∬_D f(x,y) dσ。显然 μ 介于 f(x,y) 的最小值 m 和最大值 M 之间。根据连续函数的介值定理，在区域 D 上必存在一点 (ξ,η)，使得：

f(ξ,η) = μ = frac{1}{S_D} ∬_D f(x,y) dσ

移项即得：

∬_D f(x,y) dσ = f(ξ,η) · S_D

证毕。

⚠️ 注意： 点 (ξ,η) 通常位于区域 D 的内部，但在某些特殊情况下也可能在边界上。且该点通常不唯一。