古鲁金定理的证明-古鲁金定理证法

古鲁金定理，亦称帕普斯-古尔丁定理，是几何学中关于旋转体表面积和体积计算的重要定理。该定理以两位数学家——古希腊的帕普斯和瑞士的古尔丁命名，揭示了平面图形绕与其共面但不相交的轴旋转时，所生成旋转体的几何度量（体积或表面积）与图形重心所经过路径之间的简洁关系。具体来说呢，定理分为两部分：第一古鲁金定理指出，一个平面图形绕同一平面内且不与其相交的轴旋转一周所产生的旋转体体积，等于该图形的面积乘以其重心在旋转过程中所经过的圆周长度；第二古鲁金定理则指出，一段平面曲线绕同一平面内且不与其相交的轴旋转一周所产生的旋转曲面面积，等于该曲线的长度乘以其重心在旋转过程中所经过的圆周长度。这一定理将复杂的旋转体度量计算，转化为对原平面图形面积、曲线长度及其重心位置的求解，极大地简化了计算过程，在工程力学、机械设计、数学分析等领域具有广泛的应用价值。理解并掌握古鲁金定理，不仅是深入学习多元积分学和重心理论的关键，也是解决实际工程问题的有力工具，其思想体现了数学中“以简驭繁”的深刻智慧。对于备考各类理工科考试，尤其是涉及微积分应用与几何度量的考生来说呢，透彻理解古鲁金定理的证明与应用，是提升解题效率与准确性的重要一环，易搜职考网提醒广大考生务必重视此部分内容。

古鲁金定理是连接平面几何与立体几何的一座桥梁，它通过重心的概念，将旋转体的体积和表面积与生成它们的平面图形或曲线的几何特征 elegantly 地联系起来。下面，我们将深入探讨这一定理的内涵，并给出其严谨的证明过程。证明将主要基于微积分的基本思想，即“分割、近似、求和、取极限”。

在进入证明之前，我们需要明确定理的精确表述和一些前置概念。

设有一条平面曲线C（对于第二定理）或一个平面区域D（对于第一定理），它们位于一个平面内。在该平面内有一条固定的直线L，L不与曲线C或区域D相交。将曲线C或区域D绕直线L旋转一周，便得到一个旋转曲面（由曲线C生成）或旋转体（由区域D生成）。

• 重心（形心）：对于一个均匀密度的平面区域，其重心就是其几何中心。对于曲线，同样可定义其线密度均匀时的重心。重心坐标可以通过积分公式计算。这是应用古鲁金定理的核心参数。
• 旋转路径：重心在旋转过程中形成的轨迹是一个圆。该圆的半径等于重心到旋转轴L的垂直距离，记为 ( R_g )。
  也是因为这些，重心经过的圆周长度为 ( 2pi R_g )。

第一古鲁金定理（体积定理）：平面区域D绕L旋转所得旋转体的体积V，等于D的面积A乘以重心旋转一周所经过的圆周长度。即： ( V = A cdot (2pi R_g) )。

第二古鲁金定理（表面积定理）：平面曲线C绕L旋转所得旋转曲面的面积S，等于C的长度L乘以其重心旋转一周所经过的圆周长度。即： ( S = L cdot (2pi R_g) )。

易搜职考网提示，许多考试题目直接考察这两个公式的应用，前提是能正确求出面积、弧长以及重心位置。

我们采用微元法进行证明。考虑一个位于直角坐标系xOy平面上的闭区域D，其边界由连续曲线构成。设旋转轴为x轴（这是不失一般性的，通过坐标变换总可实现）。即区域D位于上半平面（y ≥ 0），绕x轴旋转。

设区域D的面积为A，其重心坐标为 ( (bar{x}, bar{y}) )。根据重心坐标公式，有： [ bar{y} = frac{1}{A} iint_D y , dA ] 其中 ( dA = dx,dy ) 是面积微元。

现在，区域D绕x轴旋转生成一个旋转体。我们利用“柱壳法”来计算这个旋转体的体积。考虑区域D中一个垂直于x轴的细长条，其位于x处，宽度为dx。这个细长条可以近似看作一个矩形，其上下边界由函数 ( y = f_1(x) ) 和 ( y = f_2(x) ) 决定（设 ( f_2(x) ge f_1(x) )），因此该细长条的高度约为 ( f_2(x) - f_1(x) )，但其更精确的描述是：在x处，区域D的“厚度”在y方向上的范围。

当这个宽度为dx的细长条绕x轴旋转时，它生成的是一个薄壁圆柱壳（更准确地说，是圆筒壁的一部分的集合，但所有微元合起来就是一个柱壳）。这个柱壳的半径是y（从x轴到细长条上任意点的距离），高度是dx，但其“长度”或“周长”方向需要仔细考虑。

实际上，我们可以考虑区域D内一个位于点(x, y)处的面积微元dA = dx dy。这个微元绕x轴旋转生成一个半径为y的细圆环（或称为一个周长为 ( 2pi y ) 的无限薄的带子）。这个细圆环的体积等于其周长 ( 2pi y ) 乘以微元的宽度dx和“厚度”（这里需要小心）。更严谨地说，点(x, y)处的面积微元dA旋转时，扫过的体积微元dV可以表示为： [ dV = (2pi y) cdot (dx) cdot (dy) ? ] 这并不正确，因为dx dy是面积，不是长度。正确的思路是：将区域D先沿y方向积分，再沿x方向积分。

对于固定的x，区域D在x处的垂直截线长度（即y从 ( f_1(x) ) 到 ( f_2(x) ) 的区间长度）记为 ( h(x) = f_2(x) - f_1(x) )。那么，在x处，宽度为dx的垂直细条的面积微元是 ( dA_x = h(x) , dx )。这个细条上所有点到x轴的平均距离并不是一个常数，但当我们用积分求和时，可以先将这个细条沿y方向分割。

考虑这个垂直细条内一个高度为dy的小微元，其坐标为(x, y)，面积为 dx dy。当这个小微元绕x轴旋转时，它生成一个半径为y、厚度为dy、高度为dx的极薄空心圆柱壳（的一片）。这个极薄壳的体积近似等于其侧面积乘以厚度：( (2pi y cdot dx) cdot dy )。
也是因为这些，体积微元 ( dV = 2pi y , dx , dy )。

于是，整个旋转体的体积就是对整个区域D积分： [ V = iint_D 2pi y , dA = 2pi iint_D y , dA ] 根据前面重心坐标 ( bar{y} ) 的公式：( iint_D y , dA = A cdot bar{y} )。 代入上式，立即得到： [ V = 2pi cdot (A cdot bar{y}) = A cdot (2pi bar{y}) ]

注意到这里 ( bar{y} ) 正是区域D的重心到旋转轴（x轴）的垂直距离 ( R_g )。
也是因为这些，( V = A cdot (2pi R_g) )。这正是第一古鲁金定理。

证明的核心在于将体积积分 ( iint 2pi y , dA ) 分解为 ( 2pi ) 乘以关于y的一次矩 ( iint y , dA )，而后者直接与重心坐标和面积相关。这个证明过程清晰展示了微积分如何将几何问题代数化。在易搜职考网提供的备考资料中，这种微元法的思想是解决各类应用问题的通用利器。

第二定理的证明思路与第一定理类似，但对象从平面区域变为平面曲线。考虑一条位于xOy平面第一象限的平面曲线C，其参数方程为 ( (x(t), y(t)) )， ( t in [alpha, beta] )，且 ( y(t) ge 0 )。曲线C绕x轴旋转生成一个旋转曲面。

设曲线C的长度为L，其重心坐标为 ( (bar{x}_c, bar{y}_c) )。对于线密度均匀的曲线，其重心坐标公式为： [ bar{y}_c = frac{1}{L} int_C y , ds = frac{1}{L} int_{alpha}^{beta} y(t) sqrt{[x'(t)]^2 + [y'(t)]^2} , dt ] 其中 ( ds = sqrt{dx^2 + dy^2} ) 是弧长微元。

现在计算旋转曲面的面积S。根据微积分，由曲线绕x轴旋转所成曲面的面积公式为： [ S = int_C 2pi y , ds = int_{alpha}^{beta} 2pi y(t) sqrt{[x'(t)]^2 + [y'(t)]^2} , dt ]

观察这个公式：( S = 2pi int_C y , ds )。而根据曲线重心坐标 ( bar{y}_c ) 的公式，有 ( int_C y , ds = L cdot bar{y}_c )。

也是因为这些， [ S = 2pi cdot (L cdot bar{y}_c) = L cdot (2pi bar{y}_c) ]

同样，这里的 ( bar{y}_c ) 就是曲线重心到旋转轴（x轴）的垂直距离 ( R_g )。于是我们证明了第二古鲁金定理：( S = L cdot (2pi R_g) )。

证明过程简洁明了，关键在于识别出旋转曲面积分公式 ( int 2pi y , ds ) 中包含了曲线关于y的一次矩 ( int y , ds )，而这个一次矩直接关联到曲线重心。掌握这个证明，有助于考生在遇到复杂曲线旋转问题时，能迅速洞察其与重心路径的联系，从而选择最便捷的解题路径。易搜职考网建议学员在练习时，不仅要记忆公式，更要理解其背后的积分原理。

古鲁金定理的应用并非无条件，理解其限制条件至关重要。

• 条件一：旋转轴必须与图形（或曲线）在同一平面内。 这是定理成立的基本几何前提。
• 条件二：旋转轴不得与图形（或曲线）相交。 如果相交，旋转生成的体积或表面积将包含重叠或退化的部分，重心到旋转轴的距离可能为零或无法定义，定理中的乘法关系不再成立。通常要求图形位于旋转轴的一侧。
• 条件三：图形必须是连通的，且有明确的面积（或曲线有明确长度）和重心。 这要求边界是分段光滑的。

实例分析1（第一定理）： 求一个半径为r的圆盘，绕与其共面且距离圆心为d (d > r) 的直线旋转所成圆环体的体积。

• 圆盘面积 ( A = pi r^2 )。
• 圆盘重心即圆心，到旋转轴的距离 ( R_g = d )。
• 根据第一古鲁金定理，体积 ( V = A cdot 2pi R_g = pi r^2 cdot 2pi d = 2pi^2 r^2 d )。

实例分析2（第二定理）： 求一段长度为L的直线段，绕与其共面平行且距离为d (d大于线段到直线的距离) 的直线旋转所成圆柱侧面积。

• 线段长度即为L。
• 线段重心在其中点，中点到旋转轴的距离 ( R_g ) 需要根据几何关系计算。若线段与旋转轴平行，则 ( R_g ) 即为两平行线间的距离。
• 根据第二古鲁金定理，侧面积 ( S = L cdot 2pi R_g )。

通过这些实例可以看到，当图形的重心位置容易确定时，古鲁金定理能极大地简化计算。反之，如果重心难求，直接使用定理可能并无优势。易搜职考网在解析相关真题时，会着重帮助学员判断何时使用古鲁金定理能达到事半功倍的效果。

古鲁金定理不仅可以应用于基本的旋转体，其思想还可以进行推广。

• 非完整旋转：如果旋转角不是 ( 2pi ) 而是 ( theta ) 弧度，那么定理公式中的 ( 2pi R_g ) 应替换为 ( theta R_g )，即重心经过的弧长。
• 组合图形：对于由多个部分组成的图形，可以分别应用定理后再叠加（因为体积和面积具有可加性）。但需注意，整体图形的重心并非各部分重心的简单平均，除非是在分别计算各部分生成的体积/面积时。
• 与帕普斯定理的关系：在历史上，帕普斯早就知道类似结论（对于体积），古尔丁则重新发现并赋予了其更明确的重心形式。这一定理是“重心法”计算旋转度量的典范。

其深层意义在于，它揭示了旋转这种几何变换下的一种守恒量或不变关系：旋转体的度量（体积/面积）等于生成元的度量（面积/长度）乘以一个由重心运动决定的几何因子（路径长度）。这体现了整体性质（旋转体）与局部性质（生成元及其重心）之间的深刻联系。

在工程和物理中，这一定理常用于快速估算旋转部件的材料用量（体积）或表面涂覆面积。对于备考者来说呢，深入理解古鲁金定理，不仅能解决具体的数学问题，更能培养一种通过寻找“重心”或“等效中心”来简化复杂系统计算的思维模式，这种模式在物理、力学乃至经济学中都有广泛应用。易搜职考网致力于帮助考生构建这种跨学科的问题解决能力。

回顾整个证明过程，我们始终贯穿着微积分的基本思想：

• 分割：将平面区域分割成无数个面积微元dA，或将曲线分割成无数个弧长微元ds。
• 近似：每个微元旋转生成的形状近似为一个薄圆环（对于面积微元生成体积）或一个窄带（对于弧长微元生成面积）。
• 求和：将所有微元的贡献（( 2pi y , dA ) 或 ( 2pi y , ds )）通过积分进行求和。
• 取极限：积分过程本身就是令分割无限细密，取极限得到精确值。

最终，积分结果自然地表达为图形自身的度量（A或L）乘以一个与重心运动相关的因子 ( 2pi R_g )。这个证明是微积分应用于几何的完美范例。

对于正在利用易搜职考网平台进行备考的学员，我们提出以下建议：

• 务必亲手推导一遍定理的证明，理解每一步的几何与代数意义。
• 熟练掌握常见平面图形（三角形、矩形、圆、扇形等）的重心位置公式。
• 在练习中，有意识地比较使用古鲁金定理和直接使用积分公式（如圆盘法、柱壳法）解题的异同，选择最合适的方法。
• 注意定理的适用条件，避免误用于旋转轴与图形相交的情况。
• 将古鲁金定理视为一个工具，其价值在于简化计算。如果重心比直接积分更难求，则应选择直接积分。

通过系统性的学习和练习，考生可以将古鲁金定理内化为自身知识体系的一部分，在考试中灵活运用，高效准确地解决相关问题。数学定理的魅力在于其普适性与简洁性，古鲁金定理正是这样一个典范，它用最简洁的公式，概括了一类广泛存在的几何关系。