rotor-reflect: 双反射实现向量旋转演示
Show HN: Rotation via Double Reflection
这是一个直观的数学可视化项目，展示了如何通过两次连续的反射操作来实现任意向量的旋转。用户只需拖动 rotor 弧段，即可实时观察向量在由两个反射向量定义的平面内的旋转过程。该演示不仅解释了旋转角度与反射向量夹角的两倍关系，还展示了无需使用 sin 或 cos 等三角函数即可完成旋转的巧妙算法。此外，项目还扩展到了三维空间以及基于圆反演的圆形反射变换，是理解 Geometric Algebra 核心概念的绝佳工具。
无需使用 sin 或 cos 三角函数，仅通过组合反射即可构建任意变换，这正是 Geometric Algebra 的核心所在。
- Sharlin
要构造张成给定角度的两个向量（正如文章所说，其中一个可以任意选择，最简单的就是直接用 (1, 0)），你当然需要三角函数。这完全等同于从角度构造旋转矩阵需要三角函数，但之后你可以仅用点积旋转任意多个向量；这也等同于构造 e^ai = sin(a) + cos(a)*i 需要三角函数，但之后就只是复数乘法了。
分解二维旋转的另一个有趣方法是将其拆分为三个剪切变换，最初由 Paeth 在 1986 年提出：https://silmon.github.io/arbitrary-image-rotation-using-shea...
- amluto
关于维度的部分触发了我的“模糊数学”蜘蛛感应：
> 在平面上的这种之字形运动中，向量仍然像上述 2D 情况一样在平面上旋转。
“平面”指的是什么？在 2D 中只有一个平面。在 3D 中，每个旋转都在一个 2D 平面内进行，并保持原始向量在该平面正交补上的投影（即距离平面的距离以及原始点位于哪一侧）。
在 4D 及更高维度，抱歉，我们所有美好的 3D 人类直觉都是错的。你可以同时在两个平面内旋转，而这并不等价于在任何给定平面内的旋转。
事实上，这篇文章几乎可以证明这种构造在 4D 及以上维度行不通。对余维数为 1 的超平面（即 n-1 维超平面）进行反射会取反单个基向量。做两次这样的操作，这些向量的张成空间定义了一个 2D 平面，你得到的只是该特定平面内的旋转，而没有其他旋转。这不足以描述一般旋转。
当然，在 4D 中还有其他类似反射的操作，就像在 3D 中你可以取反 x 和 y 坐标而保持 z 不变。（这个特定操作本身就是一个旋转，且不改变奇偶性！）我认为，如果你愿意适当扩展“反射”的概念，那么你就可以生成高维空间中的所有旋转。
- kazinator
需要注意的是，要反射一个刚性的 2D 形状物理模型，你必须将其在 3D 空间中绕反射轴旋转。也就是说，反射本质上只是涉及暂时借用一个额外维度的旋转。