同一道题，两种境界：当几何直观遇上微积分

题目

给你两个椭圆，一个横着，一个竖着：

E_1: \frac{x^2}{a^2} + \frac{y^2}{b^2} \leq 1

E_2: \frac{x^2}{b^2} + \frac{y^2}{a^2} \leq 1 \quad (a > b > 0)

它们重叠的部分，像个中心对称的“四瓣花”。那么，这个交集区域的面积到底是多少呢？

答案是 $S = 4ab \arctan\frac{b}{a}$

这个问题很有趣，因为它正好处在“巧妙的几何直观”和“严密的微积分计算”的交汇点上。今天，我们就用两种境界的解法来攻克它，感受数学思维的不同之美。

两种解法对比呈现

方法一：几何变换法 —— 把椭圆“变”成圆

核心思想：利用对称性，把复杂区域通过线性变换，变成我们最熟悉的图形——圆。

想象一下，整个交集区域关于 $x$ 轴、 $y$ 轴，甚至两条对角线 $y = \pm x$ 都是对称的。我们只需要聚焦在第一象限里，直线 $y=x$ 下方的那一小块区域 $D$ 就够了——它是整个图形的 1/8。

在区域 $D$ 里，因为 $y \le x$ ，你会发现一个神奇的事实：我们只需要考虑那个“竖着的”椭圆 $E_2$ 的边界就够了，另一个自动满足。这步分析简化了问题。

接下来是“神来之笔”的坐标变换。令：

x = b u, \quad y = a v

这个变换不是凭空来的，它完全贴合了 $E_2$ 的方程结构。代入 $E_2$ 的约束：

原来复杂的椭圆不等式，瞬间变成了：

u^2 + v^2 \le 1

一个干干净净的单位圆！

那么，原来的区域 $D$ 的边界条件 $0 \le y \le x$ 呢？代入变换后变成：

0 \le a v \le b u \quad \Rightarrow \quad v \le \frac{b}{a} u

这正是从 $u$ 轴正向开始，角度为 $\theta = \arctan\frac{b}{a}$ 的一条射线。

所以，在 $uv$ 平面上，区域 $D$ 变成了单位圆被这个角度切出的扇形。它的面积就是 $\frac{1}{2} \times 1^2 \times \arctan\frac{b}{a}$ 。

而我们知道，坐标变换 $(x,y) \to (u,v)$ 会将面积缩放，缩放因子就是雅可比行列式的绝对值，这里是 $ab$ 。因此，原区域 $D$ 的面积为：

Area(D) = ab \times \frac{1}{2} \arctan\frac{b}{a}

最后，别忘了 $D$ 只是 1/8，整个交集面积 $S$ 就是：

S = 8 \times Area(D) = 4ab \arctan\frac{b}{a}

计算结束。 没有求交点，没有分段积分，没有三角换元，干净利落。

方法二：分段积分法 —— 微积分的“标准拳法”

如果你是刚学完定积分的学生，看到这个问题，第一反应大概率是这样：

1. 求交点，定边界

在第一象限，联立两个椭圆方程，解出它们的交点。你会得到 $x_0 = y_0 = \frac{ab}{\sqrt{a^2+b^2}}$ 。这个点是两条边界曲线的分水岭。

2. 分段，积分

对固定的 $x$ ，交集区域的 $y$ 值是从 0 到两条曲线中较低的那个。通过比较发现在 $[0, x_0]$ 区间，竖椭圆 $E_2$ 的上边界更低；在 $[x_0, b]$ 区间，横椭圆 $E_1$ 的上边界更低。于是，第一象限的面积 $S_1$ 为：

S_1 = \int_0^{x_0} b\sqrt{1-\frac{x^2}{a^2}} dx + \int_{x_0}^b a\sqrt{1-\frac{x^2}{b^2}} dx

3. 计算积分

这是两个标准的含有 $\sqrt{1-k^2x^2}$ 的积分，用三角换元法解决。

- 第一段：令 $x = a\sin\theta$ ，积分变成 $ab\int_0^{\theta_0} \cos^2\theta d\theta$ ，其中 $\theta_0 = \arctan\frac{b}{a}$ 。计算得：

I_1 = \frac{ab}{2}\arctan\frac{b}{a} + \frac{a^2b^2}{2(a^2+b^2)}

- 第二段：令 $x = b\sin\phi$ ，积分变成 $ab\int_{\phi_0}^{\pi/2} \cos^2\phi d\phi$ ，其中 $\phi_0 = \arctan\frac{a}{b}$ 。计算得：

I_2 = \frac{\pi ab}{4} - \frac{ab}{2}\arctan\frac{a}{b} - \frac{a^2b^2}{2(a^2+b^2)}

4. 化简合并

将 $I_1$ 和 $I_2$ 相加，那个复杂的交叉项 $a^2b^2 / 2(a^2+b^2)$ 一正一负，正好抵消。再利用反三角恒等式 $\arctan\frac{a}{b} = \frac{\pi}{2} - \arctan\frac{b}{a}$ 进行化简：

S_1 = I_1 + I_2 = \frac{\pi ab}{4} + \frac{ab}{2}(\arctan\frac{b}{a} - \arctan\frac{a}{b}) = ab \arctan\frac{b}{a}

最终，总面积 $S = 4S_1 = 4ab \arctan\frac{b}{a}$ 。

两种方法，殊途同归。

两种境界的对话

我们用一张表来清晰对比一下：

维度	方法一：几何变换法	方法二：分段积分法
核心思维	整体洞察，寻找对称与结构	按部就班，制定流程攻克难关
知识要求	对称性、坐标变换、扇形面积公式	定积分、三角换元、反三角恒等式
计算量	几乎没有复杂计算	需要处理多个积分和化简
思维跳跃度	想到变换是关键	思路直接，不易卡壳
通用性/鲁棒性	依赖特殊的对称性	几乎可以处理任何边界

方法一是“聪明”的解法，它胜在洞察力。关键一步的坐标变换，需要我们看穿椭圆方程的结构，发现它可以无缝对接成圆的方程。这需要一点想象力，但一旦看破，就是降维打击。

方法二是“扎实”的解法，它胜在普适性。它不依赖灵光一闪，而是依靠一套成熟的流程。即便两个椭圆不是正交的，没有这么好的对称性，积分法依然可以硬算（可能要借助数值积分）。它代表了微积分作为一门工具的通用力量。

延伸思考与互动

1. 自我验证：如果 $a = b$ ，两个椭圆都退化成了半径为 $a$ 的圆。此时， $\arctan\frac{b}{a} = \arctan(1) = \frac{\pi}{4}$ ，代入结果 $S = 4a^2 \cdot \frac{\pi}{4} = \pi a^2$ ，这不就是圆的面积吗？完美自洽。

2. 数值小实验：取 $a=2, b=1$ ，用两种方法算算看，结果是不是都等于 $8 \cdot \arctan(0.5) \approx 3.71$ ？你可以在评论区贴上你的验算过程。

3. 挑战一下：如果我们改变条件，让两个椭圆不是“正交”，比如第二个椭圆方程变成 $\frac{x^2}{b^2} + \frac{y^2}{a^2} \le 1$ ，但整体旋转了45度，你觉得解法一的核心思想——“坐标变换”还能发挥作用吗？解法二的优势是不是就更明显了？

你更钟爱哪种解法？或者，你是否想到了第三种解法——比如利用极坐标变换或格林公式？欢迎在评论区分享你的思路，我们一起探索数学的更多可能。