*在符号表示中,我们将会区分向量和标量。斜体表示标量;粗体表示向量。
定义:每一个二维向量都能表示成一个矩阵:
m=[xy] 如果将向量 m 的起点置于平面直角坐标系的原点,那么它的终点即处在 (x,y) 的位置。x 和 y 的值,实际上代表了 m 在 x 轴和 y 轴上的分量的权。
我们研究作匀速圆周运动的物体从 Pi 到 Pf 的加速度。作一个(奇怪的)要求——不使用导数,而只凭极限的思想解决问题(虽然实际上和导数只差一步之遥)。
首先,列出最基本的加速度公式:
a=Δt→0limΔtΔv 讨论的语境,是时间变化无限小。但现在不必关心。第一步,是用向量矩阵表示出初速度和终速度。
vivf=[vsinθi−vcosθi]=[vsinθf−vcosθf] 其中 v 表示物体一直维持的速率,是标量。至于这样两个矩阵是如何得出的,是来自非常基础的几何学和三角学,只要略作几条垂线,再倒角即可,不再赘述。将 Δv=vf−vi 代入原公式:
a=Δt→0limΔt1[v(sinθf−sinθi)v(cosθi−cosθf)] 注意到矩阵中可以提取出一个 v;更重要的是,为了消除棘手的 sin(a)−sin(b) 这样的东西,使用和差化积公式:
sinα−sinβcosα−cosβ=2cos2α+βsin2α−β=2sin2α+βsin2α−β (其实,当用上这一武器时,我们已经是在推导导数公式)
将原式变形成如下:
a=Δt→0limΔtv⎣⎡2cos2θf+θisin2θf−θi2sin2θf+θisin2θf−θi⎦⎤ 为了简便运算,我们令 Δθ=θf−θi。
a=Δt→0limΔtv⎣⎡2cos(2Δθ+θi)sin(2Δθ)2sin(2Δθ+θi)sin(2Δθ)⎦⎤ 注意到,在时间无限小的语境下,Δθ 同样趋近于 0。此时,有公式:
Δθ→0limsinΔθ=Δθ 运用这一公式:
a=Δt→0limΔtv⎣⎡2cos(2Δθ+θi)2Δθ2sin(2Δθ+θi)2Δθ⎦⎤ 末尾的除以 2 和开头的系数 2 相抵消,剩下 Δθ,将其提取出来。
a=Δt→0limΔtΔθv⎣⎡cos(2Δθ+θi)sin(2Δθ+θi)⎦⎤ 出现了喜闻乐见的无穷小相比的形式;同时,在矩阵中留下的 Δθ,我们也不需要它了,因为 Δθ 是 θ 的高阶无穷小,将其抹去。令 ω=Δt→0limΔtΔθ 为角度的变化率,则原式的最终形态为:
a=ωv[cosθisinθi] 作一处小小的修正——由于物体作顺时针运动,θi 要比 θf 大,此时的 ω 是一个负值,显然不符合我们“角速度是正值”的直观感受。因此我们简单地将右侧取相反数:
a=ωv[−cosθi−sinθi] 最后一个小小的惊喜:向量 [−cosθi−sinθi] 其实是一个单位向量,它的长度为 1!而它所指的方向,在图上是:
如果起点在 Pi 的位置,就正是一条指向圆心的向量。得证加速度的方向指向圆心。
另一方面,消去单位向量后,
∥a∥=ωv 圆周运动的公式初见端倪。证明为何 v=ωr 则非常简单——由于运动一周后,走过了 2π 的角度和 2πr 的圆周长,易得在这段时间 t 中,
{2π=ωt2πr=vt 下式除以上式即可。再把 ω=rv 代回原式,就得到了
a=rv2 写作此文,仅供测试公式编辑器,因此使用了更加繁琐的方法。如果会用向量求导,知道链式法则,直接求导岂不美哉。