玫瑰线 r = sin 3θ 与蚶线 r = 1 + 2cos θ 的面积(Calculus With Analytic Geometry 16.5 Problems 5–7)
  微積分

玫瑰线 r = sin 3θ 与蚶线 r = 1 + 2cos θ 的面积(Calculus With Analytic Geometry 16.5 Problems 5–7)

 次点击
118 分钟阅读
使用自定义字体 使用自定义字体
Calculus With Analytic Geometry · 16.5 · Problems 5–7
玫瑰线与蚶线:极坐标下的面积
r=\sin 3\theta 与 r=1+2\cos\theta
第 5 题\dfrac{\pi}{4}第 6 题\pi-\dfrac{3\sqrt3}{2}第 7 题\pi+3\sqrt3

这三道题问的其实是同一件事:一条用极坐标写出来的曲线,到底围住了多大一块面积?题目本身不难,但里面藏着两个初学者最容易踩的坑——负的 r 和重复计算。这篇文章会从极坐标讲起,把每一步都拆开来说清楚。

题目

第 5 题

Find the total area inside the rose r=\sin 3\theta.

求玫瑰线 r=\sin 3\theta 所围的总面积。

第 6 题

Find the area inside the smaller loop of the limaçon r=1+2\cos\theta.

求蚶线 r=1+2\cos\theta 小圈内的面积。

第 7 题

Find the area between the two loops of the limaçon r=1+2\cos\theta.

求蚶线 r=1+2\cos\theta 大圈与小圈之间的面积。

动态示意图

极坐标平面
用法:上方切换题目;动画在关键角度会停一下,下方说明随之变化;也可以用「上一阶段 / 下一阶段」逐段看,或拖动滑块。

一、准备知识:极坐标是什么

平时我们用 (x,y) 描述一个点:向右走多少,向上走多少。极坐标换了一种说法:先转一个角度 \theta,再沿这个方向走 r 远。\theta 从 x 轴正方向开始,逆时针为正。这很像生活中指路:「朝东北方向走 300 米」。

两种坐标之间可以互相换算:

x=r\cos\theta,\qquad y=r\sin\theta

像 r=\sin 3\theta 这样的极坐标方程,意思是:每给一个角度 \theta,就算出一个距离 r,描出一个点;让 \theta 连续变化,这些点就连成一条曲线。不妨想象原点处有一束绕着转的探照灯光,光束上有一个亮点,它离原点的远近随角度不断变化——亮点走过的路线就是曲线。

角度在这里一律用弧度:转一整圈是 2\pi,半圈是 \pi,直角是 \dfrac{\pi}{2},\dfrac{\pi}{3} 就是 60^\circ。

有趣

有些曲线在极坐标里简单得惊人,换回直角坐标却很复杂。比如第 5 题的玫瑰线 r=\sin 3\theta,写成 x,y 的关系是

(x^2+y^2)^2=3x^2y-y^3

同一条曲线,用对了坐标,方程就从一团乱麻变成一句话。

哲思

坐标系只是描述世界的「语言」,曲线本身并不因此改变。选对语言,复杂的东西会变得简单——解题如此,看待很多问题也是如此。

二、核心工具:扇形面积公式

先从圆的扇形说起

半径为 r 的整个圆,面积是 \pi r^2,对应的角度是一整圈 2\pi。圆心角为 \theta 的扇形只占整圆的 \dfrac{\theta}{2\pi},所以

\text{扇形面积}=\frac{\theta}{2\pi}\cdot\pi r^2=\frac12 r^2\theta
曲线围成的区域

极坐标曲线的麻烦在于:r 不是常数,转到不同角度,距离也不同。办法是把区域切成许多张角极小(记作 d\theta)的「细扇形」。角度小到一定程度时,这一小段里的 r 几乎不变,于是每个细扇形的面积约等于 \dfrac12 r^2\,d\theta。把它们全部加起来,再让切得无限细,就得到本节公式 (2):

A=\int_\alpha^\beta \frac12 r^2\,d\theta

它的意思是:射线从 \theta=\alpha 转到 \theta=\beta,所扫过的面积。在动态示意图里,下面那张图中曲线 \tfrac12 r^2 下方的阴影面积,正好等于上面极坐标图里射线扫过的面积。

哲思

弯弯曲曲的形状无法直接计算,就把它切成无数块几乎规则的小块,算完再拼回去——「以直代曲、化整为零」,这是整个微积分最核心的想法。

三、容易忽略的约定:r 可以是负数

在极坐标里,r 允许取负值。规则是:先面朝 \theta 方向,再往身后(反方向)走 |r|。

例如 (r,\theta)=\left(-1,\dfrac{\pi}{4}\right):先面朝东北方向,再往反方向退 1 步,于是到了西南方向的第三象限。用换算公式验证:

x=-1\cdot\cos\frac{\pi}{4}=-\frac{\sqrt2}{2},\qquad y=-1\cdot\sin\frac{\pi}{4}=-\frac{\sqrt2}{2}

它和 \left(1,\dfrac{5\pi}{4}\right) 其实是同一个点。

这个约定在本文三道题里至关重要:玫瑰线朝下的那片花瓣、蚶线里面的小圈,都是由 r<0 的那一段画出来的。动态示意图里,r<0 时点会用橙色虚线画在射线的反方向上。

注意

面积公式里出现的是 r^2,它永远不会是负数,所以负的 r 不会让面积变成负的。但负的 r 会让同一块区域被射线重复扫过——这是后面两道题要特别留心的地方。

哲思

同一个点可以有无数个极坐标「名字」:\left(1,\frac{\pi}{4}\right)、\left(1,\frac{9\pi}{4}\right)、\left(-1,\frac{5\pi}{4}\right)……名字不同,所指相同。分清「表示」和「被表示的东西」,是数学送给我们的一点清醒。

四、第 5 题:玫瑰线 r = sin 3θ

第 1 步:找出 r=0 的角度

\sin 3\theta=0 时,3\theta=0,\pi,2\pi,3\pi,\dots,也就是 \theta=0,\dfrac{\pi}{3},\dfrac{2\pi}{3},\pi,\dots 曲线每隔 \dfrac{\pi}{3} 回到原点一次,在相邻两次之间画出一片花瓣。

第 2 步:逐段看 r 的正负
\theta 的范围r 的正负画出的花瓣
0\to\frac{\pi}{3}r\ge0① 朝 30^\circ 方向(第一象限)
\frac{\pi}{3}\to\frac{2\pi}{3}r\le0② 朝正下方
\frac{2\pi}{3}\to\pir\ge0③ 朝 150^\circ 方向(第二象限)

第 ② 片最值得细看:这时射线指向上方(在 60^\circ 到 120^\circ 之间,例如 \theta=\dfrac{\pi}{2} 时指向正上方),可 r=\sin\dfrac{3\pi}{2}=-1 是负的,点要画在反方向,落在 (0,-1)——所以这片花瓣长在正下方。

\theta 走到 \pi 时,三片花瓣已经各画一遍。再往后转只会重画:比如 \pi\le\theta\le\dfrac{4\pi}{3} 时 r\le0,点落在反方向,恰好又把第 ① 片描了一遍。

第 3 步:列积分
A=\int_0^{\pi}\frac12\sin^2 3\theta\,d\theta
第 4 步:降次

\sin^2 不方便直接积分,先用降次公式把平方去掉。它来自二倍角公式 \cos 2x=1-2\sin^2 x,移项即得

\sin^2 x=\frac{1-\cos 2x}{2}

取 x=3\theta:\sin^2 3\theta=\dfrac{1-\cos 6\theta}{2}。

第 5 步:计算
\begin{aligned} A &= \frac14\int_0^{\pi}(1-\cos 6\theta)\,d\theta \\ &= \frac14\Big[\theta-\frac{\sin 6\theta}{6}\Big]_0^{\pi}=\frac14(\pi-0) \end{aligned}
A=\boxed{\dfrac{\pi}{4}}

(\sin 6\pi=\sin 0=0,所以第二项消失。)

换个角度验算:三片花瓣一模一样,只算第 ① 片:\dfrac12\displaystyle\int_0^{\pi/3}\sin^2 3\theta\,d\theta=\dfrac{\pi}{12},乘以 3 也是 \dfrac{\pi}{4}。

注意

如果习惯性地从 0 积到 2\pi,会得到 \dfrac{\pi}{2},恰好多算一倍——每片花瓣都被扫了两次。积分上下限要选「曲线恰好画完一遍」的那段角度,而不是机械地取一整圈。

有趣

一般地,r=\sin n\theta:n 为奇数时有 n 片花瓣,n 为偶数时有 2n 片。更妙的是面积——

  • n 为奇数时,总面积永远是 \dfrac{\pi}{4};
  • n 为偶数时,总面积永远是 \dfrac{\pi}{2}。

不论 3 片、5 片还是 101 片,结果都一样!原因是 \sin^2 在整周期上的平均值总是 \dfrac12。所有这些玫瑰都装在半径为 1 的圆(面积 \pi)里:奇数瓣的占 \dfrac14,偶数瓣的占 \dfrac12。

哲思

花瓣越分越多,每一片越来越瘦,总面积却纹丝不动。变化的表象之下藏着不变的量——这样的「守恒」在数学和物理里随处可见。

五、第 6 题:蚶线的小圈

r=1+2\cos\theta 叫做蚶线(limaçon,法语里是「蜗牛」的意思)。形如 r=b+a\cos\theta 的曲线,当 a>b>0 时,外面一个大圈,里面还套着一个小圈。

第 1 步:曲线什么时候经过原点?

令 r=0:1+2\cos\theta=0,即 \cos\theta=-\dfrac12,得 \theta=\dfrac{2\pi}{3} 或 \dfrac{4\pi}{3}(120^\circ 和 240^\circ)。

第 2 步:看 r 的正负
  • \dfrac{2\pi}{3}<\theta<\dfrac{4\pi}{3} 时 \cos\theta<-\dfrac12,所以 r<0;
  • 其余角度 r>0。

r>0 的部分画出大圈。r<0 的部分呢?这时射线指向左边(第二、三象限),点却要画在反方向——于是出现在原点右侧,画出了小圈。例如 \theta=\pi 时 r=-1,点落在 (1,0),正是小圈最右端。

所以:小圈恰好由 \dfrac{2\pi}{3}\le\theta\le\dfrac{4\pi}{3} 这一段画出。

第 3 步:列积分
A=\frac12\int_{2\pi/3}^{4\pi/3}(1+2\cos\theta)^2\,d\theta
第 4 步:展开并降次

先把平方展开:(1+2\cos\theta)^2=1+4\cos\theta+4\cos^2\theta。再用另一个降次公式 \cos^2\theta=\dfrac{1+\cos 2\theta}{2},得 4\cos^2\theta=2+2\cos 2\theta。合并:

(1+2\cos\theta)^2=3+4\cos\theta+2\cos 2\theta

逐项求原函数(\cos 2\theta 的原函数是 \dfrac12\sin 2\theta):

F(\theta)=3\theta+4\sin\theta+\sin 2\theta

(可以求导检查:F'(\theta)=3+4\cos\theta+2\cos 2\theta,没错。)

第 5 步:代入上下限
\theta\sin\theta\sin 2\thetaF(\theta)
\frac{4\pi}{3}-\frac{\sqrt3}{2}\frac{\sqrt3}{2}4\pi-\frac{3\sqrt3}{2}
\frac{2\pi}{3}\frac{\sqrt3}{2}-\frac{\sqrt3}{2}2\pi+\frac{3\sqrt3}{2}
\begin{aligned} A &= \frac12\Big[\Big(4\pi-\frac{3\sqrt3}{2}\Big)-\Big(2\pi+\frac{3\sqrt3}{2}\Big)\Big] \\ &= \frac12\big(2\pi-3\sqrt3\big) \end{aligned}
A=\boxed{\pi-\dfrac{3\sqrt3}{2}}\approx 0.544
注意

积分上下限要看「画小圈时 \theta 走了哪一段」,而不是「小圈在哪个位置」。小圈明明在原点右侧,对应的角度却是指向左侧的 120^\circ 到 240^\circ——这正是负 r 的效果。

估算一下

小圈从 (0,0) 延伸到 (1,0),宽约 1。直径为 1 的圆面积是 \dfrac{\pi}{4}\approx0.785,小圈比圆瘦一些,算出 0.544 是合理的。养成估算的习惯,能帮你及时发现算错的地方。

六、第 7 题:大圈与小圈之间

思路:之间 = 大圈 − 小圈

大圈围住的区域把小圈整个包在里面,所以两圈之间的面积,就是大圈面积减去小圈面积。小圈已经在第 6 题算出,只差大圈。

第 1 步:大圈对应哪段角度?

大圈由 r\ge0 的部分画出,即 -\dfrac{2\pi}{3}\le\theta\le\dfrac{2\pi}{3}(等价于 0\to\dfrac{2\pi}{3} 和 \dfrac{4\pi}{3}\to2\pi 两段合起来)。

第 2 步:利用对称性

因为 \cos(-\theta)=\cos\theta,蚶线关于 x 轴上下对称。只算上半部分再乘 2:

\begin{aligned} A_{\text{大}} &= 2\cdot\frac12\int_0^{2\pi/3}(1+2\cos\theta)^2\,d\theta=F\Big(\frac{2\pi}{3}\Big)-F(0) \\ &= 2\pi+\frac{3\sqrt3}{2}\approx 8.881 \end{aligned}
第 3 步:相减
A=\Big(2\pi+\frac{3\sqrt3}{2}\Big)-\Big(\pi-\frac{3\sqrt3}{2}\Big)
A=\boxed{\pi+3\sqrt3}\approx 8.338
注意:最典型的错误

有人会直接从 0 积到 2\pi:

\frac12\int_0^{2\pi}(1+2\cos\theta)^2\,d\theta=\frac12\cdot 6\pi=3\pi\approx 9.42

这个数既不是大圈,也不是两圈之间。原因是:\theta 转一整圈时,r>0 的部分扫过了整个大圈(小圈所在的地方也被扫到了),r<0 的部分又单独把小圈扫了一遍。所以

3\pi=A_{\text{大}}+A_{\text{小}}=\Big(2\pi+\frac{3\sqrt3}{2}\Big)+\Big(\pi-\frac{3\sqrt3}{2}\Big)

小圈被数了两次。在动态示意图的「第 7 题」里,可以看到两种颜色的面积读数分别累加。

顺便一提

上面这个等式反过来也很有用:既然整圈积分 = 大 + 小,第 6 题算出小圈后,大圈只需 3\pi-\left(\pi-\frac{3\sqrt3}{2}\right) 就能得到,完全不必再积一次。

哲思

「之间」往往意味着「相减」。先看清整体由哪些部分组成、哪些部分被重复计入,再决定加还是减——理清整体与部分的关系,比埋头计算更重要。

七、小结

  • 极坐标面积公式 A=\displaystyle\int_\alpha^\beta\tfrac12 r^2\,d\theta,本质是把区域切成细扇形再加起来;
  • 先求出 r=0 的角度,把 \theta 分成几段,逐段判断 r 的正负;
  • r<0 时点画在反方向,图形会出现在「意想不到」的位置;
  • 弄清曲线画完一遍需要的 \theta 范围,警惕重复计算;
  • 能用对称就用对称,算完再估算或换一种方法验算。

三道题的答案:第 5 题 \dfrac{\pi}{4},第 6 题 \pi-\dfrac{3\sqrt3}{2},第 7 题 \pi+3\sqrt3。

© 本文著作权归KOICHI所有,未经许可不得转载使用。