Investigation 2 - The area function | 探究2：面积函数

📚 Investigation 2 – The area function | 探究2：面积函数

In integral calculus, one of the most remarkable discoveries is the intimate link between the concept of area under a curve and the process of differentiation. This investigation explores the idea of an area function – a function that accumulates the signed area under a graph from a fixed starting point to a variable endpoint. By constructing and analysing such functions for simple curves, we will uncover a deep relationship that leads directly to the Fundamental Theorem of Calculus.

在积分学中，最引人注目的发现之一就是曲线下面积的概念与微分过程之间的紧密联系。本探究将探讨面积函数的概念——一个从固定起点到可变终点累积图形下方带符号面积的函数。通过为简单曲线构造并分析这样的函数，我们将揭示一个深刻的关系，它直接引出了微积分基本定理。

1. Introducing the Area Accumulation Idea | 引入面积累积思想

Suppose we have a continuous function f defined on an interval [a, b]. Imagine sliding a vertical line from x = a to the right, and painting the region between the graph of f and the x‑axis. The total painted area up to position x is a number that depends on x. We can think of this as a new function, which we often denote by A(x). The study of how A(x) grows as x moves is the heart of this investigation.

假设我们有一个定义在区间 [a, b] 上的连续函数 f。想象一条竖直线从 x = a 向右滑动，并涂色 f 图形与 x 轴之间的区域。直到位置 x 为止的涂色总面积是一个依赖于 x 的数。我们可以将其视为一个新函数，通常记为 A(x)。研究 A(x) 如何随 x 移动而增长是本次探究的核心。

2. Defining the Area Function Formally | 正式定义面积函数

For a chosen lower limit a, the area function is defined as

A(x) = ∫_a^x f(t) dt

where x ≥ a. Here t is a dummy variable. The value A(x) represents the net signed area between the graph of f and the t‑axis from t = a to t = x. If the curve lies above the axis, the area contributes positively; if below, it contributes negatively. This signed character distinguishes definite integrals from purely geometric areas.

对于选定的下限 a，面积函数定义为

A(x) = ∫_a^x f(t) dt

其中 x ≥ a。这里 t 是虚拟变量。A(x) 的值表示从 t = a 到 t = x 之间 f 的图形与 t 轴之间的净带符号面积。如果曲线位于轴上方，面积贡献为正；如果在下方，则贡献为负。这种带符号的特性将定积分与纯几何面积区分开来。

3. Constant Function: f(t) = k | 常数函数：f(t) = k

Consider the simplest case where f(t) = k, a constant. The graph is a horizontal line at height k. The region from a to x is a rectangle of width (x − a) and height k. Therefore, the area function is

A(x) = k (x − a)

This is a linear function in x with slope k. Notice that the derivative A'(x) = k, which exactly equals the original function f(x). Already we see a pattern beginning to emerge.

考虑最简单的情形，f(t) = k，一个常数。图形是一条高度为 k 的水平线。从 a 到 x 的区域是一个宽为 (x − a)、高为 k 的矩形。因此面积函数为

A(x) = k (x − a)

这是 x 的线性函数，斜率为 k。注意到导数 A'(x) = k，恰好等于原函数 f(x)。我们已经看到一个模式开始浮现。

4. Linear Function: f(t) = mt + c | 线性函数：f(t) = mt + c

Now let f(t) = mt + c. The area from a to x can be found by treating the region as a trapezoid (or via elementary integration). The result is

A(x) = ½ m (x² − a²) + c (x − a)

If we differentiate A(x) with respect to x, we obtain A'(x) = mx + c, which is precisely f(x) again. This confirms that the derivative of the area function seems to recover the original integrand, regardless of the constant term c.

现在设 f(t) = mt + c。从 a 到 x 的面积可以通过将区域视作梯形（或通过初等积分）求得。结果为

A(x) = ½ m (x² − a²) + c (x − a)

如果我们对 x 求导 A(x)，得到 A'(x) = mx + c，这恰好又是 f(x)。这证实了面积函数的导数似乎总能还原被积函数，与常数项 c 无关。

5. Quadratic Function: f(t) = t² | 二次函数：f(t) = t²

Take f(t) = t² and choose a = 0 for convenience. Then A(x) = ∫₀^x t² dt. Using the power rule for integration (which we can anticipate or derive numerically), we find

A(x) = (1/3) x³

Differentiating gives A'(x) = x², which is exactly f(x). The pattern holds for a polynomial of degree two as well. At this stage, it becomes natural to hypothesise that for any continuous f, the derivative of the area function A'(x) is equal to f(x).

取 f(t) = t²，为方便起见选择 a = 0。则 A(x) = ∫₀^x t² dt。运用积分的幂法则（我们可以预期或通过数值方法推导），得到

A(x) = (1/3) x³

求导得 A'(x) = x²，正好是 f(x)。这一模式对二次多项式同样成立。至此，我们很自然地假设：对任何连续函数 f，面积函数的导数 A'(x) 等于 f(x)。

6. Numerical Exploration and Graphical Insight | 数值探索与图形洞察

We can strengthen our conjecture without knowing antiderivatives. For a chosen f, compute A(x) at several x‑values using Riemann sums or geometry, then estimate the rate of change ΔA/Δx for small Δx. For instance, with f(t) = √t from a = 0, tabulate:

x	Approx. A(x)	ΔA/Δx (h=0.01)
1.0	0.667	1.000
2.0	1.886	1.414
3.0	3.464	1.732

The computed rate of change approximates √x, matching f(x). Graphically, the area function’s steepness at any point mirrors the height of the original curve.

我们可以在不知道原函数的情况下加强这个猜想。对于选定的 f，使用黎曼和或几何方法计算若干 x 处的 A(x)，然后估计小 Δx 下的变化率 ΔA/Δx。例如取 f(t) = √t 从 a = 0，制表如上。计算出的变化率近似为 √x，与 f(x) 吻合。从图形上看，面积函数在任一点的陡峭程度反映了原曲线的高度。

7. Discovering the Fundamental Theorem of Calculus (Part 1) | 发现微积分基本定理（第一部分）

The observed relationship is not a coincidence. It is a rigorous theorem: if f is continuous on [a, b] and A(x) = ∫_a^x f(t) dt, then A is differentiable on (a, b) and

A'(x) = f(x)

A geometric justification considers the difference A(x+h) − A(x) = ∫_x^x+h f(t) dt. For small h, this thin slice is approximately a rectangle of height f(x) and width h, so the difference quotient is roughly f(x). Taking the limit as h → 0 makes the statement exact.

观察到的关系并非巧合。这是一个严格的定理：如果 f 在 [a, b] 上连续，且 A(x) = ∫_a^x f(t) dt，则 A 在 (a, b) 上可导，并且

A'(x) = f(x)

几何上的合理性在于考虑差 A(x+h) − A(x) = ∫_x^x+h f(t) dt。对于微小的 h，这片薄条近似为一个高为 f(x)、宽为 h 的矩形，因此差商大约为 f(x)。取 h → 0 的极限使得陈述精确成立。

8. Connection to Antiderivatives | 与原函数的联系

The theorem reveals that the area function A is an antiderivative of f. More precisely, A(x) is the particular antiderivative that satisfies A(a) = 0. If F is any antiderivative of f, then A(x) = F(x) − F(a). This provides a powerful tool: to compute a definite integral ∫_a^b f(t) dt, we can simply find any antiderivative F and evaluate F(b) − F(a). The area function bridges the gap between geometric accumulation and algebraic antidifferentiation.

该定理揭示了面积函数 A 是 f 的一个原函数。更准确地说，A(x) 是满足 A(a) = 0 的那个特定原函数。如果 F 是 f 的任意一个原函数，那么 A(x) = F(x) − F(a)。这提供了一个强大的工具：要计算定积分 ∫_a^b f(t) dt，我们只需找到任意一个原函数 F，并计算 F(b) − F(a)。面积函数在几何累积和代数反微分之间架起了桥梁。

9. Evaluating Definite Integrals via Area Functions | 通过面积函数计算定积分

In practice, we rarely construct A(x) from scratch. Instead, we use the antiderivative shortcut. For example, to find ∫₁³ (2t + 1) dt, we identify F(t) = t² + t, then compute F(3) − F(1) = (9+3) − (1+1) = 10. This matches the area of the trapezoid under the line. The area function concept assures us that the result equals the limit of Riemann sums, linking the algebraic method to the geometric idea of accumulation.

在实践中，我们很少从头构造 A(x)，而是利用原函数的捷径。例如，求 ∫₁³ (2t + 1) dt，我们找到 F(t) = t² + t，然后计算 F(3) − F(1) = (9+3) − (1+1) = 10。这与直线下方梯形的面积相符。面积函数的概念确保了该结果等于黎曼和的极限，将代数方法与累积的几何思想联系起来。

10. Extending to Piecewise and Absolute Value Functions | 扩展到分段函数与绝对值函数

The area function works equally well when f has changes of sign. For f(t) = t − 2 on [0, 4], the graph crosses the t‑axis at t = 2. The area function A(x) = ∫₀^x (t − 2) dt increases initially (negative values reduce the net area), reaches a minimum at x = 2, then climbs as positive contributions accumulate. Differentiating A(x) always returns t − 2, even though the geometric area below the axis might be considered positive in pure area problems. This distinction is crucial when modelling displacement versus total distance travelled.

当 f 有符号变化时，面积函数同样适用。对于 [0, 4] 上的 f(t) = t − 2，图形在 t = 2 处穿过 t 轴。面积函数 A(x) = ∫₀^x (t − 2) dt 最初增加（负值减少了净面积），在 x = 2 处达到最小值，然后随着正值贡献累积而上升。对 A(x) 求导始终得到 t − 2，尽管在纯面积问题中轴下方的几何面积可能被视为正值。在建模位移与总路程时，这一区别至关重要。

11. Implications for Further Calculus Topics | 对微积分后续内容的影响

The area function concept underlies techniques such as accumulation of rates, solving differential equations, and the second part of the Fundamental Theorem. It also explains why the integral of a rate of change gives total change: if F'(x) = f(x), then ∫_a^b f(x) dx = F(b) − F(a). The area function A(x) = F(x) − F(a) is the net accumulation of the rate f. Recognising this duality – that integration and differentiation are inverse processes – transforms the way we model real-world phenomena.

面积函数的概念支撑着诸如速率累积、微分方程求解以及微积分基本定理第二部分等技巧。它也解释了为什么变化率的积分给出总变化量：如果 F'(x) = f(x)，那么 ∫_a^b f(x) dx = F(b) − F(a)。面积函数 A(x) = F(x) − F(a) 就是速率 f 的净累积。认识到这种对偶性——积分与微分是互逆过程——改变了我建模现实世界现象的方式。

12. Summary and Key Takeaways | 总结与要点归纳

The area function A(x) = ∫_a^x f(t) dt is a lens through which we see the unity of calculus. Through this investigation, we have observed that:

A(x) accumulates net signed area from a to x.
A'(x) = f(x) for continuous f, establishing the derivative–integral inverse relationship.
Any antiderivative F of f satisfies ∫_a^b f(t) dt = F(b) − F(a).
Numerical experimentation and geometric reasoning confirm the theoretical result.
The concept extends to negative values and absolute area considerations with careful interpretation.

Mastering the area function solidifies the bridge between geometric intuition and algebraic computation, forming a cornerstone for advanced study in mathematics and its applications.

面积函数 A(x) = ∫_a^x f(t) dt 是一面透镜，通过它我们看到了微积分的统一性。通过本次探究，我们观察到：

A(x) 累积从 a 到 x 的净带符号面积。
对连续函数 f，有 A'(x) = f(x)，建立了导数与积分的逆关系。
f 的任意原函数 F 都满足 ∫_a^b f(t) dt = F(b) − F(a)。
数值实验与几何推理证实了理论结果。
概念可扩展到负值和绝对值面积问题，但需谨慎理解。

掌握面积函数可以巩固几何直觉与代数计算之间的桥梁，为数学及其应用的高阶学习奠定基石。

Published by TutorHao | IB Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

Investigation 2 – The area function | 探究2：面积函数