用叉积证明sin(a-b)恒等式时,单位向量为何导致结果符号相反?
嘿,这个问题的核心其实是叉积里角度的定义方向和右手定则在搞鬼,咱们一步步拆解清楚:
先对齐向量定义的基础
假设咱们取两个单位向量:
- $U$ 是与x轴正方向夹角为 $a$ 的单位向量,分量为 $U=(\cos a, \sin a)$
- $V$ 是与x轴正方向夹角为 $b$ 的单位向量,分量为 $V=(\cos b, \sin b)$
你推导里的关键错误:叉积的角度不是“$a-b$”,而是“从$U$逆时针转到$V$的角度”
叉积的几何公式是:
$$U \times V = |U||V| \sin\theta \ \boldsymbol{e}$$
这里的 $\theta$ 有严格定义:从第一个向量$U$,逆时针旋转到第二个向量$V$的最小正角度(范围是$[0, 2\pi)$),$\boldsymbol{e}$ 是垂直于平面的单位向量(右手定则:四指沿逆时针转的方向,拇指指向就是$\boldsymbol{e}$的方向)。
而你要证明的 $\sin(a-b)$ 里的角度,是“$U$的角度减去$V$的角度”——这个角度可能是顺时针的(如果$a < b$),或者是大于$\pi$的逆时针角(如果$a > b$),这时候$\sin\theta$和$\sin(a-b)$的符号就会相反:
- 如果$a > b$:从$U$逆时针转到$V$的角度是$2\pi - (a-b)$,$\sin(2\pi - (a-b)) = -\sin(a-b)$
- 如果$a < b$:从$U$逆时针转到$V$的角度是$b - a$,$\sin(b - a) = -\sin(a-b)$
所以不管$a$和$b$的大小关系,$U \times V = 1 \times 1 \times (-\sin(a-b)) \boldsymbol{e}$
结合代数计算修正符号
你代数计算的部分是对的:
$$U_xV_y - U_yV_x = \cos a \sin b - \sin a \cos b$$
这个值正好等于 $U \times V$ 的标量分量(二维叉积的结果是垂直平面的向量,标量部分就是这个值)。
把几何和代数结合起来:
$$\cos a \sin b - \sin a \cos b = -\sin(a-b)$$
两边同时乘以$-1$,就得到了目标恒等式:
$$\sin(a-b) = \sin a \cos b - \cos a \sin b$$
额外提醒:别混淆“叉积的大小”和“带符号的叉积值”
你推导里写了 $\frac{|U \times V|}{|U||V|} = \sin(a-b)$,这里犯了一个小错误:$|U \times V|$ 是叉积的绝对值(大小),它等于 $|\sin(a-b)|$,而不是直接等于 $\sin(a-b)$——因为$\sin(a-b)$可以是负数,但大小永远是非负的。只有当你考虑带符号的叉积值时,才能和角度的正负方向对应起来。
内容的提问来源于stack exchange,提问作者antrobus

