求证：使单个三角形顺时针翻转的TRS变换矩阵是否会翻转所有三角形

核心结论 #

你观察到的「一个三角形翻转则所有三角形同步翻转」的现象，在单轴负1缩放（或更广义的行列式=-1的正交线性变换）场景下是完全成立的。换句话说，只要存在任意一组向量a,b满足Vector3.Cross(Ma, Mb) == -M * Vector3.Cross(a,b)，则该等式对所有向量a,b都成立。

为什么会这样？ #

1. 问题简化

TRS矩阵的平移部分不影响向量叉乘（Matrix4x4.MultiplyVector会自动忽略平移分量），所以我们只需要关注旋转+缩放的线性部分M = R * S：

• R是旋转矩阵：属于正交矩阵，转置等于逆矩阵，且行列式为1（旋转不会改变坐标系手性）
• S是缩放矩阵：你遇到的单轴负1缩放属于正交缩放（对角元为±1，转置等于逆矩阵）

2. 正交变换的叉乘特性

对于任意正交矩阵M，叉乘有固定性质：

Vector3.Cross(Ma, Mb) = det(M) * M * Vector3.Cross(a, b)

当det(M) = -1时（变换会反转坐标系手性，比如单轴负1缩放+任意旋转），上式直接变为：

Vector3.Cross(Ma, Mb) = -M * Vector3.Cross(a, b)

这个等式对所有向量a,b都成立，没有例外。

3. 单轴负1缩放的适配性

单轴负1缩放的矩阵S行列式为-1，旋转矩阵R行列式为1，组合后的M行列式为1 * (-1) = -1，刚好符合上述正交变换条件。这意味着所有三角形的顶点顺序会被同步翻转，法线方向也统一反转。

反例：非正交缩放不成立

如果缩放系数绝对值≠1（比如X轴缩放-2），M不再是正交矩阵，等式不会对所有向量成立。比如取a=(1,0,0)、b=(0,1,0)：

• Cross(Ma, Mb) = Cross((-2,0,0), (0,1,0)) = (0,0,-2)
• -M*Cross(a,b) = -(-2*0,1*0,1*1) = (0,0,-1)
  两者明显不等，说明这类场景下不会出现所有三角形同步翻转的情况。

开发实际建议 #

在你的网格合并算法里可以这么处理：

1. 提取Transform的线性变换矩阵（忽略平移）
2. 计算矩阵行列式：
   • 如果行列式<0，且缩放系数绝对值都是1（正交负缩放），直接统一翻转所有三角形的顶点顺序即可
   • 如果行列式>0，或虽<0但缩放系数绝对值≠1，不需要统一翻转（这类场景要么不会翻转，要么需单独处理每个三角形）

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