三维空间旋转后点含0分量时，旋转矩阵行的性质探究

我们先从矩阵乘法的本质入手拆解问题：

已知点$P = \begin{bmatrix}X \ Y \ Z\end{bmatrix}$，旋转矩阵$R$是3x3正交矩阵（行/列向量都是单位正交向量），旋转后得到$P' = RP = \begin{bmatrix}0 \ X' \ Y'\end{bmatrix}$。

从矩阵乘法的点积形式来看，$P'$的第一个分量是$R$的第一行向量与$P$的点积，即：
$$\mathbf{r}1 \cdot P = r{11}X + r_{12}Y + r_{13}Z = 0$$

核心结论 #

这直接说明：旋转矩阵$R$中，对应旋转后零分量的那一行向量，必须与原始点$P$正交。这里就是$R$的第一行$\mathbf{r}_1$与$P$垂直。

解释你遇到的特殊情况 #

你提到当$P=(0,a,b)$（即$P$在YZ平面）时，用绕X轴的初等旋转矩阵$R_x(\theta) = \begin{bmatrix}1 & 0 & 0 \ 0 & \cos\theta & -\sin\theta \ 0 & \sin\theta & \cos\theta\end{bmatrix}$无法得出新结论，这是因为：

• $R_x$的第一行向量是$\mathbf{r}_1 = [1,0,0]$，而$P$的X分量为0，所以$\mathbf{r}_1 \cdot P = 10 + 0a + 0*b = 0$，这个等式天生成立，不管$\theta$取何值都满足。
• 换句话说，绕X轴旋转的矩阵，其第一行本来就与所有YZ平面内的点正交，所以“旋转后第一个分量为0”这个条件，对$R_x$的行没有额外约束——这是这种特殊旋转矩阵和特殊点的组合导致的。

反过来想，如果$P$不在YZ平面（即$X≠0$），那$R_x$的第一行与$P$的点积是$X≠0$，这时候$R_x$根本不可能让$RP$的第一个分量为0，这也符合我们的结论：只有当$R$的对应行与$P$正交时，才能出现旋转后该分量为0的情况。

推广到任意旋转矩阵与任意零分量 #

如果旋转后$P'$的第$k$个分量为0（$k=1,2,3$），同理可得：

• $R$的第$k$行向量$\mathbf{r}_k$必须满足$\mathbf{r}_k \cdot P = 0$
• 同时，因为$R$是正交矩阵，$\mathbf{r}_k$还必须是单位向量，且与$R$的其他行向量正交。

举个例子：假设$P=(1,1,0)$，要让$RP$的第二个分量为0，那么$R$的第二行$\mathbf{r}2 = [r{21}, r_{22}, r_{23}]$必须满足$r_{21}*1 + r_{22}*1 + r_{23}*0 = 0$，即$r_{21} = -r_{22}$，同时$\mathbf{r}2$是单位向量（$r{21}^2 + r_{22}^2 + r_{23}^2 =1$），且与$R$的第一、三行正交。

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