关于三条共点直线反射变换复合等式的证明咨询

Hi there! Let's break down your proof question and your current approach, then fill in the gaps to get a complete solution.

首先先明确原问题：

Let $l_1, l_2, l_3\in L(\mathbb{R²})$ be three concurrent lines with the common point $q\in\mathbb{R²}$. Show that there exist lines $h_1,h_2\in L(\mathbb{R²})$ with $q\in h_1,h_2$ so that $r_{l_1}\circ r_{l_2}=r_{l_3}\circ r_{h_1}=r_{h_2}\circ r_{l_3} $ where $r$ denotes reflection over the given line.

对你现有思路的肯定与补充 #

你的第一步变形是完全正确的：从 $r_{l_1}\circ r_{l_2}=r_{l_3}\circ r_{h_1}$ 推导出 $r_{h_1}=r_{l_3}\circ r_{l_1}\circ r_{l_2}$，这利用了反射是对合变换的性质——也就是对任意直线 $l$，$r_l\circ r_l = \text{id}$（恒等变换），所以两边左乘 $r_{l_3}$ 后，左边 $r_{l_3}\circ r_{l_3}\circ r_{l_1}\circ r_{l_2}$ 就简化为 $r_{l_1}\circ r_{l_2}$，右边就是 $r_{l_3}\circ r_{h_1}$，反过来就能得到 $r_{h_1}$ 的表达式。

你指出 $q$ 是所有反射的不动点，因此 $r_{h_1}(q)=q$，从而 $q\in h_1$，这部分也没问题。不过这里有个关键细节需要补充：我们需要确认 $r_{l_3}\circ r_{l_1}\circ r_{l_2}$ 确实是一个反射变换（而不是其他正交变换），这样才能保证它对应某条直线 $h_1$ 的反射。

在 $\mathbb{R}^2$ 中：

• 两个反射的复合是绕交点的旋转（旋转角度是两条直线夹角的2倍），属于定向保持的正交变换；
• 旋转再复合一个反射（也就是三个反射的复合），会得到定向反转的正交变换。而所有固定点 $q$ 的定向反转正交变换，只能是过 $q$ 的直线的反射（滑移反射会移动所有点，不可能固定 $q$）。所以 $r_{l_3}\circ r_{l_1}\circ r_{l_2}$ 必然是某个过 $q$ 的直线 $h_1$ 的反射，这就证明了 $h_1$ 的存在性。

证明第二个等式 $r_{l_1}\circ r_{l_2}=r_{h_2}\circ r_{l_3}$ #

用同样的思路，利用反射的对合性：
对等式 $r_{l_1}\circ r_{l_2}=r_{h_2}\circ r_{l_3}$ 两边右乘 $r_{l_3}$，得到：
$$r_{l_1}\circ r_{l_2}\circ r_{l_3} = r_{h_2}\circ r_{l_3}\circ r_{l_3} = r_{h_2}\circ \text{id} = r_{h_2}$$

同样分析这个复合变换：$r_{l_1}\circ r_{l_2}$ 是旋转，再复合 $r_{l_3}$（反射），得到的是定向反转的正交变换，且固定 $q$，因此必然是某个过 $q$ 的直线 $h_2$ 的反射，所以 $h_2$ 存在且 $q\in h_2$。

验证三者相等 #

现在我们已经得到：

• $r_{h_1}=r_{l_3}\circ r_{l_1}\circ r_{l_2}$，因此 $r_{l_3}\circ r_{h_1}=r_{l_3}\circ r_{l_3}\circ r_{l_1}\circ r_{l_2} = \text{id}\circ r_{l_1}\circ r_{l_2}=r_{l_1}\circ r_{l_2}$；
• $r_{h_2}=r_{l_1}\circ r_{l_2}\circ r_{l_3}$，因此 $r_{h_2}\circ r_{l_3}=r_{l_1}\circ r_{l_2}\circ r_{l_3}\circ r_{l_3}=r_{l_1}\circ r_{l_2}\circ \text{id}=r_{l_1}\circ r_{l_2}$。

所以三者 $r_{l_1}\circ r_{l_2}$、$r_{l_3}\circ r_{h_1}$、$r_{h_2}\circ r_{l_3}$ 完全相等，证明完成。

几何直观的补充（可选） #

如果用角度来理解会更直观：假设三条直线 $l_1,l_2,l_3$ 过 $q$，相对于某条基准线的极角分别为 $\theta_1,\theta_2,\theta_3$。反射 $r_l$ 对极角为 $\alpha$ 的点，会将其变为 $2\theta - \alpha$（$\theta$ 是 $l$ 的极角）。

• $r_{l_1}\circ r_{l_2}$ 的复合效果：先将点的极角变为 $2\theta_2 - \alpha$，再变为 $2\theta_1 - (2\theta_2 - \alpha) = \alpha + 2(\theta_1 - \theta_2)$，这是绕 $q$ 旋转 $2(\theta_1-\theta_2)$ 的变换；
• 要让 $r_{l_3}\circ r_{h_1}$ 等于这个旋转，设 $h_1$ 的极角为 $\theta_{h_1}$，则复合效果是 $\alpha + 2(\theta_3 - \theta_{h_1})$，令其等于 $2(\theta_1-\theta_2)$，解得 $\theta_{h_1} = \theta_2 + \theta_3 - \theta_1$，对应的直线显然过 $q$；
• 同理，$r_{h_2}\circ r_{l_3}$ 的复合效果是 $\alpha + 2(\theta_{h_2} - \theta_3)$，令其等于 $2(\theta_1-\theta_2)$，解得 $\theta_{h_2} = \theta_1 + \theta_3 - \theta_2$，对应的直线也过 $q$。

这种几何角度的推导和代数推导完全一致，能帮助你更直观地理解为什么 $h_1,h_2$ 存在。

备注：内容来源于stack exchange，提问作者BananaHead