直线旋转后与原直线夹角的关系

命题

将一条直线绕任意点旋转一个角度 $\theta$（$0^\circ \le \theta < 360^\circ$），得到新直线。约定两直线的夹角 $\alpha$指它们相交所成的锐角或直角（即$\alpha \le 90^\circ$）。

那么 $\alpha$由$\theta$ 完全确定：

• 若 $0^\circ \le \theta \le 90^\circ$，则 $\alpha = \theta$；
• 若 $90^\circ < \theta \le 180^\circ$，则 $\alpha = 180^\circ - \theta$；
• 若 $180^\circ < \theta \le 270^\circ$，先将 $\theta$减去$180^\circ$得到$\theta' = \theta - 180^\circ$（此时 $\theta' \le 90^\circ$），则 $\alpha = \theta'$；
• 若 $270^\circ < \theta < 360^\circ$，令 $\theta' = \theta - 180^\circ$（此时 $90^\circ < \theta' < 180^\circ$），则 $\alpha = 180^\circ - \theta' = 360^\circ - \theta$。

一句话记忆：旋转角不大于 $90^\circ$时，夹角就等于旋转角；否则夹角等于旋转角的补角（保证$\le 90^\circ$）；若旋转角超过 $180^\circ$，先减掉 $180^\circ$ 再同样处理。

该结论与旋转中心是否在直线上无关。

---

严谨命题（保留取模与最小值，供对照）

设 $l$绕某点旋转$\theta$得$l'$，两直线夹角 $\alpha$取锐角或直角。记$\theta_0 = \theta \bmod 180^\circ$并使其满足$0^\circ \le \theta_0 < 180^\circ$，则

$$ \alpha = \min\bigl(\theta_0,\thickspace 180^\circ - \theta_0\bigr). $$

等价地：

• $0^\circ \le \theta \le 90^\circ \Rightarrow \alpha = \theta$，
• $90^\circ < \theta \le 180^\circ \Rightarrow \alpha = 180^\circ - \theta$，
• $\theta > 180^\circ$时减去$180^\circ$的整数倍，化为$[0^\circ,180^\circ)$ 内的角，再按上述规则计算。

---

多样化证明

- 证明一：向量法

1. 设 $l$的方向向量为$\vec{v}$，旋转后 $l'$的方向向量为$\vec{v}' = R_\theta(\vec{v})$。
2. $\vec{v}$与$\vec{v}'$的夹角$\phi$等于$\theta \bmod 180^\circ$（落在 $[0^\circ,180^\circ)$ 内）。
3. 直线的夹角 $\alpha$取$\phi$与$180^\circ-\phi$ 中的较小者，即得结论。

- 证明二：几何法（等腰三角形）

将旋转中心移至直线上（不影响方向）。设 $O$在$l$上，取点$A$，旋转得 $A'$。$\triangle OAA'$等腰，顶角$\angle AOA' = \theta$（或补角）。$l$与$l'$的夹角等于顶角本身（若$\theta\le 90^\circ$）或顶角的补角（若 $\theta>90^\circ$），直接得证。

- 证明三：复数法

直线方向对应复数 $e^{i\varphi}$，旋转后为 $e^{i(\varphi+\theta)}$。两方向辐角差为 $\theta \bmod \pi$。直线夹角取该差值与其补角中的最小值（弧度），化为角度即与命题一致。

- 证明四：斜率与倾角法

设 $l$倾角$\beta$，斜率 $k_1=\tan\beta$；旋转后倾角 $\beta+\theta$，斜率 $k_2=\tan(\beta+\theta)$。夹角公式 $\tan\alpha = \left|\frac{k_2-k_1}{1+k_1k_2}\right| = |\tan\theta|$。由 $\alpha\in[0^\circ,90^\circ]$可定$\alpha = |\theta|$或$180^\circ-|\theta|$，视 $\theta$ 范围即得结论。

- 证明五：反射复合（群论视角）

旋转 $\theta$可分解为关于夹角为$\theta/2$的两条直线的两次反射。由反射性质，原直线与其旋转后的像所夹的锐角即为$\min(\theta,180^\circ-\theta)$（当 $\theta\le180^\circ$时）；若$\theta>180^\circ$，先减 $180^\circ$ 同理。

- 证明六：矩阵与正交变换

旋转矩阵 $R_\theta$作用在方向向量上，有$\cos\phi = \frac{\vec{v}\cdot R_\theta\vec{v}}{|\vec{v}|^2} = \cos\theta$，故方向向量夹角 $\phi$在$[0^\circ,180^\circ]$内等于$\theta \bmod 180^\circ$。直线夹角取该 $\phi$与$180^\circ-\phi$ 的较小者，结论得证。

- 证明七：垂线与周角法（四边形内角和）

第一步：把直线的旋转转化成垂线的旋转。
设直线 $l$绕点$O$旋转$\theta$得$l'$。过 $O$作$l$的垂线$m$，则 $m$同样绕$O$旋转$\theta$得到$m'$，且 $m' \perp l'$。
此时，$m$与$m'$的（方向）夹角就是旋转角$\theta$（模 $180^\circ$ 后取锐角或钝角）。

第二步：证明“直线的夹角 = 垂线的夹角”。
平移使 $l \cap l'$与$m \cap m'$重合于一点$O$（平移不改变角度）。
从 $O$ 出发的四条射线按逆时针顺序依次为：$l$、$m'$、$l'$、$m$（当 $\theta$ 较小时的一种典型顺序，其他顺序同理）。
周角 $360^\circ$ 由四个角组成：

• $\angle(l, m')$ （未知）
• $\angle(m', l') = 90^\circ$（因为 $m' \perp l'$）
• $\angle(l', m)$ （未知）
• $\angle(m, l) = 90^\circ$（因为 $m \perp l$）

由周角和为 $360^\circ$：
$$ \angle(l, m') + 90^\circ + \angle(l', m) + 90^\circ = 360^\circ \implies \angle(l, m') + \angle(l', m) = 180^\circ. $$ 另一方面，$l$与$l'$的夹角$\alpha$可表示为$\alpha = \angle(l, m') + \angle(m', l') = \angle(l, m') + 90^\circ$（按所选顺序）。
而 $\angle(l', m)$是$l'$与$m$的夹角，它与$m$与$m'$的夹角$\theta$ 的关系取决于排序。
若调整射线顺序使 $\theta$恰好为$\angle(m, m')$，则可类似得到 $\theta + \alpha = 180^\circ$或$\theta = \alpha$（取决于 $\theta$ 是否锐角）。
通过分情况验证，始终有：若 $\theta \le 90^\circ$，则 $\alpha = \theta$；若 $\theta > 90^\circ$，则 $\alpha = 180^\circ - \theta$。

第三步：消去平移，回到原图。
角度关系与位置无关，所以原直线 $l$与$l'$ 的夹角满足相同结论。

直观总结：旋转把直线和它的垂线一起转过 $\theta$。垂线夹角就是旋转角，而直线夹角又等于垂线夹角，所以直线夹角就是旋转角的“锐角化”。

---

总结：所有证明最终都指向同一个事实 —— 直线旋转后方向改变了 $\theta$，而两直线的夹角约定为锐角，因此当旋转角超过 $90^\circ$ 时，实际观察到的夹角是它的补角。