---
title: 积分的定义：从一元到多元 | 黎曼和与几何直观
breadcrumb: 积分定义
titleTemplate: 微积分专题
description: 说明定积分与二重积分的正式定义。通过 Manim 动画演示黎曼和（Riemann Sum）的分割、近似、求和与取极限过程。
keywords: 黎曼和, 定积分定义, 二重积分定义, 微积分教学, 可视化数学, Riemann Sum, Double Integral, 极限思想, 分割近似求和取极限
tags: ["微积分", "定积分", "二重积分", "黎曼和"]
structuredData:
  course:
    name: "微积分直觉：积分定义篇"
    description: "通过几何直观与 Manim 动画说明黎曼积分的定义，涵盖一元定积分与二重积分。"
    provider: "MatNoble"
  mathSolver:
    name: "积分定义可视化工具"
    description: "直观演示黎曼和分割与极限过程，辅助理解定积分与二重积分。"
    potentialAction:
      - type: "SolveAction"
        target: "https://matnoble.top/teaching/integral-definition"
head:
  - - script
    - type: application/ld+json
    - |
      {
        "@context": "https://schema.org",
        "@type": "TechArticle",
        "headline": "积分的定义：从一元定积分到二重积分的黎曼和",
        "author": {
          "@type": "Person",
          "name": "MatNoble"
        },
        "description": "本页详细介绍了微积分中积分的正式定义，包括一元函数定积分和二重积分。通过可视化手段解释黎曼和的构建过程。",
        "keywords": "黎曼和, 定积分定义, 二重积分定义, 微积分教学, 可视化数学"
      }
---

<ArticleHero 
  tag="积分定义"
  title="积分的定义 (Definitions)" 
  description="积分可以从黎曼和定义出发理解：先分割区域，再用简单几何量近似，最后通过极限得到精确结果。"
/>

<ThreeOneQuote author="MatNoble">
  “定积分和二重积分的定义都遵循同一流程：分割、近似、求和、取极限。”
</ThreeOneQuote>

## 1. 一元函数定积分 (Definite Integral)

在微积分中，一元函数的定积分通常通过**黎曼和 (Riemann Sum)** 来定义。基本想法是将区间分割成许多小段，用矩形面积近似曲线下的面积。

### 黎曼和的构建过程

1.  **分割**：将闭区间 $[a, b]$ 划分为 $n$ 个子区间 $[x_{i-1}, x_i]$。
2.  **近似**：在每个子区间内任取一点 $\xi_i$，以 $f(\xi_i)$ 为高，$\Delta x_i$ 为宽构建矩形。
3.  **求和**：计算所有矩形的面积之和 $S_n = \sum_{i=1}^n f(\xi_i) \Delta x_i$。
4.  **取极限**：令子区间长度的最大值 $\lambda \to 0$。

<ManimVideo src="RiemannSum1D.mp4" />

### 正式定义

设函数 $f(x)$ 在 $[a, b]$ 上有界，若极限
$$ \int_a^b f(x) \mathrm{d}x = \lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i) \Delta x_i $$
存在且与分割方式及点 $\xi_i$ 的取法无关，则称 $f(x)$ 在 $[a, b]$ 上**可积**。

---

## 2. 二重积分 (Double Integral)

当我们从一维延伸到二维空间，积分的定义在逻辑上是完全平移的。二重积分衡量的是三维空间中曲顶柱体的体积。

### 从一维到二维的跨越

在二重积分中，我们的“积分域”从一段区间 $[a, b]$ 变成了平面上的一个区域 $D$。

1.  **分割**：将区域 $D$ 划分成 $n$ 个小区域 $\Delta \sigma_i$。
2.  **近似**：在每个小区域内任取一点 $(\xi_i, \eta_i)$，以 $f(\xi_i, \eta_i)$ 为高，$\Delta \sigma_i$ 的面积为底。
3.  **求和**：计算所有小柱体的体积之和 $\sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_i$。
4.  **取极限**：令所有小区域直径的最大值 $\lambda \to 0$。

<ManimVideo src="DoubleIntegralFullNarrative.mp4" />

### 正式定义

设 $f(x, y)$ 是定义在闭区域 $D$ 上的有界函数，若极限
$$ \iint_D f(x, y) \mathrm{d}A = \lim_{\lambda \to 0} \sum_{i=1}^n f(\xi_i, \eta_i) \Delta \sigma_i $$
存在，则称此极限值为 $f(x, y)$ 在 $D$ 上的**二重积分**。

::: tip 💡 几何意义
- **一元定积分**：代表 $x$ 轴上方曲线围成的**面积**。
- **二重积分**：代表 $xy$ 平面上方曲面围成的**体积**。
:::

---

## 3. 四个步骤

无论是一元积分还是多元积分，定义通常都按这四个步骤展开：

| 步骤 | 操作 | 目的 |
| :--- | :--- | :--- |
| **分割 (Partition)** | 将整体切碎 | 变“变率”为“常量” |
| **近似 (Approximate)** | 代以简单几何体 | 可计算性 |
| **求和 (Sum)** | 重新组合 | 恢复总量 |
| **取极限 (Limit)** | 让分割趋细 | 消除误差，获得精确值 |

理解这四步，有助于把定积分、二重积分和更高维积分放在同一套定义框架中。

<ChapterNavigation 
  :next="{ 
    title: '微分万能公式', 
    link: '/teaching/derivative-method',
    description: '继续学习复合函数求导的逐层微分写法。'
  }"
/>