四只虫子问题

Andrew Zhang
Mar 24, 2016

解析：求解这道题目需要一点极坐标下简单的微积分知识即可。

一、向径与切线夹角关系
向径：曲线上点与原点连线。切线：曲线上该点切线。他们之间夹角正切有如下关系：
$\tan \phi=\frac{r(\theta)}{r'(\theta)} \tag 1$

证明如下
$\tan \phi=\tan(\alpha-\theta)=\frac{\tan(\alpha)-\tan(\theta)}{1+\tan(\alpha)\tan(\theta)} \tag 2$
其中
$\tan \alpha=\frac{dy}{dx}=\frac{(r(\theta)sin(\theta))'}{(r(\theta)cos(\theta))'}=\frac{r'(\theta)\tan(\theta)+r(\theta)}{r'(\theta)-r(\theta)\tan(\theta)} \tag 3$
将3式带入2式即可得到1式。

二、对数螺旋线
对数螺旋线，数学上有一类特殊的曲线，数学表达形式为$r(\theta)=e^{a\theta},\theta \in [-\infty,\infty ]$。其中上图所示曲线就为对数螺旋线当$a=0.5，\theta属于[0，0.9\pi]$时的图像。
对于对数螺旋线利用公式1可以发现
$\tan \phi=\frac{1}{a} \tag 4$
即对数螺旋线在任何一点的向径与切线夹角是定值$\arctan \frac{1}{a}$。
对于四只虫子问题，令虫子构成的正方形中心为原点的话会发现虫子在任何一点的向径与切线夹角为$\frac{\pi}{4}$，即虫子轨迹为$r(\theta)=e^{\theta}$。其他的虫子只需要将同样的轨迹分别旋转$\frac{\pi}{2},\pi,\frac{3\pi}{2}即可$。四只虫子运行轨迹图如下

因此只需要根据初始虫子与中心的距离求出$\theta 的上限进行积分求解即可(\theta下限显然是负无穷)$。

三、曲线积分
数学上的曲线积分公式
$\int_{L}{r(\theta)}=\int_{\theta_1}^{\theta_2}{r(\theta)}\sqrt{1+r'(\theta)^2}d\theta$，带入公式求解即可得到每只虫子走过的路径长度。