嘿，我最近在处理极坐标下的二重积分，确定积分区域的r和θ范围时卡壳了，想请大家帮忙捋捋！

我现在要处理的是单位圆$x^2+y2 ≤1$和直线$x+y ≤1$围成的公共区域D，需要把这个区域转换成极坐标下的r和θ范围，方便计算二重积分。

首先，单位圆转换成极坐标很直接，就是$0 ≤ r ≤1$，θ的范围是$0 ≤ θ ≤ 2π$，这个我没问题。

然后是直线$x+y ≤1$，我把$x=r\cosθ$，$y=r\sinθ$代入，得到$r(\cosθ + \sinθ) ≤1$，进一步整理成了$r ≤ \frac{1}{\cosθ + \sinθ}$，也用三角恒等变换转换成了$r ≤ \frac{1}{\sqrt{2}\sin(θ+\frac{π}{4})}$，这一步应该是对的吧？

接下来我就纠结了：到底该先确定θ的范围再定r，还是反过来？而且直线和圆有交点，我得先找到这些交点对应的θ值，才能拆分区间对吧？

我先算了直线和圆的交点：联立$x^2+y2=1$和$x+y=1$，把y=1-x代入圆的方程，解得x=0或x=1，对应的交点是(0,1)和(1,0)，转换成极坐标就是θ=$\frac{π}{2}$和θ=0。

然后我就开始分析不同θ区间的情况：

1. 当θ∈[0, $\frac{π}{2}$]时，$\cosθ + \sinθ >1$（除了端点θ=0和θ=$\frac{π}{2}$时等于1），这时候$\frac{1}{\cosθ + \sinθ} <1$，也就是说直线在单位圆的内部，所以r的上限是直线对应的$\frac{1}{\cosθ + \sinθ}$，下限是0；
2. 当θ∈[$\frac{π}{2}$, $2π$]时，情况就不一样了：
   • 比如θ=$π$时，$\cosθ + \sinθ = -1$，这时候$r(\cosθ + \sinθ) = -r ≤1$对所有r≤1的点都成立，因为左边是负数，肯定小于1；
   • 再比如θ=$\frac{3π}{4}$时，$\cosθ + \sinθ=0$，$0 ≤1$恒成立，所有r≤1的点都满足条件；
   • 总结下来，这个区间里所有r≤1的点都满足$x+y ≤1$，所以r的上限是1，下限是0。

哦对了，我还发现当$\cosθ + \sinθ$为负数时，$\frac{1}{\cosθ + \sinθ}$是负数，而r是非负的，所以这时候r≤负数是没有意义的，也就是说所有r≥0的点都满足不等式，再结合单位圆的限制，r的上限就是1。

后来我又验证了几个特殊点：

• θ=$\frac{π}{4}$时，r的上限是$\frac{1}{\cos\frac{π}{4}+\sin\frac{π}{4}} = \frac{1}{\sqrt{2}} ≈0.707$，这时候x+y=0.707*(√2/2+√2/2)=1，刚好在直线上，而r=1时x+y=√2≈1.414>1，确实不满足条件，所以r的上限是直线没错；
• θ=π时，r=1对应的x+y=-1≤1，满足条件，所以r的上限是1没错。

那这样的话，积分区域D的极坐标范围就可以拆成两部分：
$$
\begin{cases}
0 ≤ θ ≤ \frac{π}{2}, & 0 ≤ r ≤ \frac{1}{\cosθ + \sinθ} \
\frac{π}{2} ≤ θ ≤ 2π, & 0 ≤ r ≤ 1
\end{cases}
$$

对应的二重积分就可以拆成两个部分计算：
$$
\iint_D f(r,θ) r dr dθ = \int_0^{\frac{π}{2}} \int_0^{\frac{1}{\cosθ + \sinθ}} f(r,θ) r dr dθ + \int_{\frac{π}{2}}^{2π} \int_0^1 f(r,θ) r dr dθ
$$

我也想过先固定r再找θ的范围，但感觉更复杂：

• 当r∈[0, $\frac{1}{\sqrt{2}}$]时，$\frac{1}{r} ≥\sqrt{2}$，而$\cosθ + \sinθ$的最大值是√2，所以$r(\cosθ + \sinθ) ≤r*√2 ≤1$，所有θ都满足条件，θ范围是0到2π；
• 当r∈[$\frac{1}{\sqrt{2}}$,1]时，需要$\cosθ + \sinθ ≥\frac{1}{r}$，也就是$\sin(θ+\frac{π}{4}) ≥\frac{1}{r\sqrt{2}}$，对应的θ范围是$\arcsin(\frac{1}{r\sqrt{2}})-\frac{π}{4} ≤θ ≤ \frac{3π}{4} - \arcsin(\frac{1}{r\sqrt{2}})$，这部分就麻烦多了。

所以想来想去，还是先固定θ，分区间定r的范围更简单不容易出错。

我是不是哪里想错了？比如θ的区间拆分有没有问题？或者r的上限判断有没有错？麻烦大家帮我看看！

备注：内容来源于stack exchange，提问作者A Math Wonderer