如何数学证明垂直于速度的恒定非零加速度分量对应圆周运动轨迹？

嘿，我当初第一次推导这个的时候，也像你一样想用抛体的参数方程思路硬套，结果卡了半天！后来才发现，这里的加速度方向是跟着速度变的，和抛体固定方向的加速度完全不一样，得换个角度入手～

先把核心条件明确下来：

• 加速度向量$\vec{a}(t)$和速度向量$\vec{v}(t)$处处垂直，也就是$\vec{a} \cdot \vec{v} = 0$
• 加速度的大小恒定且不为零：$|\vec{a}| = a_0 > 0$

第一步：先证明速率是恒定的 #

我们知道速率的平方等于速度向量的点积：$|\vec{v}|^2 = \vec{v} \cdot \vec{v}$。对时间求导看看：
$$\frac{d}{dt}|\vec{v}|^2 = 2\vec{v} \cdot \frac{d\vec{v}}{dt} = 2\vec{v} \cdot \vec{a}$$
因为$\vec{v}$和$\vec{a}$垂直，它们的点积为0，所以$\frac{d}{dt}|\vec{v}|^2 = 0$——这就说明速率$|\vec{v}|=v_0$是个常数，不会随时间变化。

第二步：分析速度方向的变化率 #

既然速率不变，那速度的变化就只体现在方向上了。我们把速度用方向角$\theta(t)$表示：
$$\vec{v}(t) = v_0\left(\cos\theta(t), \sin\theta(t)\right)$$
对时间求导得到加速度：
$$\vec{a}(t) = \frac{d\vec{v}}{dt} = v_0\left(-\sin\theta \cdot \frac{d\theta}{dt}, \cos\theta \cdot \frac{d\theta}{dt}\right)$$
现在算加速度的大小，把这个向量的模长求出来：
$$|\vec{a}| = v_0\left|\frac{d\theta}{dt}\right| = a_0$$
因为$a_0$是恒定非零的，所以$\left|\frac{d\theta}{dt}\right| = \omega = \frac{a_0}{v_0}$，这是个常数！我们叫它角速度，方向不影响轨迹形状，就取$\omega>0$，也就是$\frac{d\theta}{dt}=\omega$，积分一下得到$\theta(t) = \omega t + \theta_0$，$\theta_0$是t=0时的初始方向角。

第三步：推导位置方程，得到圆周 #

设t=0时物体在$\vec{r}(0)=(x_0, y_0)$，位置向量$\vec{r}(t)=(x(t), y(t))$是速度对时间的积分：
$$\vec{r}(t) = \vec{r}(0) + \int_0^t \vec{v}(\tau) d\tau$$
把$\vec{v}(\tau)=v_0\left(\cos(\omega \tau + \theta_0), \sin(\omega \tau + \theta_0)\right)$代入积分，得到：
$$x(t) = x_0 + \frac{v_0}{\omega}\left[\sin(\omega t + \theta_0) - \sin\theta_0\right]$$
$$y(t) = y_0 - \frac{v_0}{\omega}\left[\cos(\omega t + \theta_0) - \cos\theta_0\right]$$
令$R = \frac{v_0}{\omega} = \frac{v_0^2}{a_0}$（因为$\omega=a_0/v_0$），再整理一下式子：
$$x(t) - \left(x_0 - R\sin\theta_0\right) = R\sin(\omega t + \theta_0)$$
$$y(t) - \left(y_0 + R\cos\theta_0\right) = R\cos(\omega t + \theta_0)$$
现在把这两个式子平方后相加，左边就是$(x - x_c)^2 + (y - y_c)^{2$，右边是$R}2\sin^2(...) + R^2\cos2(...) = R^2$。这不就是标准的圆周方程吗？圆心是$(x_c, y_c)=(x_0 - R\sin\theta_0, y_0 + R\cos\theta_0)$，半径就是$R$。

为啥抛体的方法不好用？ #

抛体运动的加速度方向是固定的（比如重力竖直向下），所以加速度的x、y分量都是常数，直接积分速度就能得到位置的二次函数，轻松化简成抛物线。但这里的加速度方向是始终垂直于速度，所以它的x、y分量会随时间变化，不是常数——得先利用垂直的条件推出速率恒定，再结合加速度大小恒定得到角速度恒定，最后积分才能得到圆周轨迹，这就是关键的差异啦！

内容的提问来源于stack exchange，提问作者Aumkaar Pranav