参数方程曲线的弧长公式 ∫√(x'²+y'²)dt 的推导

1. 从基本概念开始

理解参数方程与弧长的核心定义。一条平面曲线可以用参数方程表示，其中 x 和 y 坐标都是另一个变量（参数）t 的函数：x = x(t)，y = y(t)。当参数 t 从 a 变化到 b 时，点 (x(t), y(t)) 就描绘出一段曲线。这段曲线的总长度，就是我们要求的 弧长。

想象我们无法直接用尺子测量弯曲的弧线长度。一个经典的方法是：用一条由许多微小直线段组成的折线来近似这条光滑曲线，然后计算这条折线的总长度，并让这些小直线段变得无限短，从而得到精确的弧长。

2. 应用微元法思想

设置参数 t 的变化区间为 [a, b]。我们将这个大区间分成 n 个很小的小区间，每个小区间的长度为 Δt（在极限情况下，Δt 趋近于0）。对应地，曲线上就有 n 个分隔点。

分解曲线为微小段。考虑从 t 到 t + Δt 这一小段参数变化所对应的曲线片段。在这一小段上，点从 (x(t), y(t)) 移动到了 (x(t+Δt), y(t+Δt))。

3. 近似计算微小段长度

近似这一小段曲线为一条直线。当 Δt 非常非常小时，这一小段曲线几乎就是一条直线。这条直线段的长度 Δs，可以使用两点间的距离公式计算：

$$\Delta s = \sqrt{ (x(t+\Delta t) - x(t))^2 + (y(t+\Delta t) - y(t))^2 }$$

引入导数的概念。我们认出，x(t+Δt) - x(t) 就是函数 x(t) 在 t 点，当自变量增加 Δt 时的改变量。根据导数的定义，x(t) 在 t 点的导数 x'(t) （也写作 dx/dt）可以近似表示为：

$$x'(t) \approx \frac{x(t+\Delta t) - x(t)}{\Delta t}$$

因此，x(t+\Delta t) - x(t) ≈ x'(t) * Δt。对于 y 坐标同理，y(t+\Delta t) - y(t) ≈ y'(t) * Δt。

4. 得到微元表达式

替换上述近似关系到 Δs 的表达式中：

$$\Delta s \approx \sqrt{ (x'(t) \Delta t)^2 + (y'(t) \Delta t)^2 } = \sqrt{ x'(t)^2 + y'(t)^2 } \cdot |\Delta t|$$

因为我们通常让 t 递增，所以 Δt > 0，可以去掉绝对值符号，写作：

$$\Delta s \approx \sqrt{ x'(t)^2 + y'(t)^2 } \, \Delta t$$

理解这个表达式的物理意义：√(x'(t)² + y'(t)²) 是曲线在参数 t 对应点处的“瞬时速率”或“切向量的长度”。它告诉我们，当参数 t 变化 Δt 时，弧长大约变化了这么多。

5. 从近似到精确：积分

整合所有微小段。曲线的总弧长 S，近似等于所有这些小直线段长度 Δs 的和。当我们将区间 [a, b] 无限细分，使得 n 趋向无穷大，每个 Δt 趋向于0时，这个和式的极限就是精确的弧长。

应用定积分的定义。这个“无穷多个无穷小量之和”的极限，正是定积分的概念。因此，弧长 S 可以表示为：

$$S = \lim_{n \to \infty} \sum_{i=1}^{n} \sqrt{ x'(t_i)^2 + y'(t_i)^2 } \, \Delta t_i$$

写出最终的弧长公式。根据定积分的定义，上式等价于从 a 到 b 对函数 √(x'(t)² + y'(t)²) 的积分：

$$S = \int_{a}^{b} \sqrt{ \left( \frac{dx}{dt} \right)^2 + \left( \frac{dy}{dt} \right)^2 } \, dt$$

这就是我们要求的参数方程曲线的弧长公式。其中 x' 和 y' 是 x 和 y 对参数 t 的导数。