圆的反射

今天，我来到了呼噜星球，准备教关于”圆的反射”这一课。呼噜星人们用怀疑的眼神看着我，毕竟在他们看来，圆怎么可能关于直线反射后还是圆呢？这听起来太不可思议了！

问题提出

“大家好，我是地球老师。今天我们要探讨一个有趣的问题：圆关于直线反射后还是圆吗？”

我话音刚落，呼噜星球的小精灵们就议论纷纷。

“老师，这不是很明显吗？圆反射后肯定不是圆了！” “就是啊，反射会把圆拉变形的！” “我觉得可能还是圆，但我不确定…”

面对大家的质疑，我笑了笑说：“让我们通过数学来验证这个猜想吧！”

首先，我们需要回顾一下什么是反射。在几何学中，反射是指将图形关于某条直线（称为反射轴）进行对称变换，使得图形上每一个点都找到它在反射轴上的对称点。

观察与猜想

为了更好地理解，我们先来看一些简单的例子。

基本反射矩阵

关于x轴的反射： 如果我们关于x轴反射，那么点 $(x, y)$ 会变成 $(x, -y)$。对应的变换矩阵是：

$$R_x = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$$

关于y轴的反射： 关于y轴反射时，点 $(x, y)$ 会变成 $(-x, y)$。对应的变换矩阵是：

$$R_y = \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}$$

关于直线 $y = x$ 的反射： 关于直线 $y = x$ 反射时，点 $(x, y)$ 会变成 $(y, x)$。对应的变换矩阵是：

$$R_{y=x} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$$

关于直线 $y = -x$ 的反射： 关于直线 $y = -x$ 反射时，点 $(x, y)$ 会变成 $(-y, -x)$。对应的变换矩阵是：

$$R_{y=-x} = \begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}$$

圆在基本反射下的表现

让我们看看单位圆 $x^2 + y^2 = 1$ 在这些基本反射下的情况：

1. 关于x轴反射： 原圆上的点 $(x, y)$ 变成 $(x, -y)$ 由于 $x^2 + y^2 = 1$，所以 $x^2 + (-y)^2 = x^2 + y^2 = 1$ 变换后仍然是单位圆！

2. 关于y轴反射： 原圆上的点 $(x, y)$ 变成 $(-x, y)$ 由于 $x^2 + y^2 = 1$，所以 $(-x)^2 + y^2 = x^2 + y^2 = 1$ 变换后仍然是单位圆！

3. 关于 $y = x$ 反射： 原圆上的点 $(x, y)$ 变成 $(y, x)$ 由于 $x^2 + y^2 = 1$，所以 $y^2 + x^2 = x^2 + y^2 = 1$ 变换后仍然是单位圆！

4. 关于 $y = -x$ 反射： 原圆上的点 $(x, y)$ 变成 $(-y, -x)$ 由于 $x^2 + y^2 = 1$，所以 $(-y)^2 + (-x)^2 = y^2 + x^2 = x^2 + y^2 = 1$ 变换后仍然是单位圆！

呼噜星人们看到这里，眼睛都亮了起来！

“哇！原来圆在基本反射下还是圆！” “太神奇了！我还以为会变形呢！”

一般直线反射

现在我们来看看更一般的情况：圆关于任意直线的反射。

假设我们要关于直线 $y = mx + b$ 进行反射。这个问题的计算会复杂一些，但我们可以先从通过原点的直线开始，即 $y = mx$。

对于直线 $y = mx$ 的反射矩阵可以通过以下方式推导：

设直线的法向量为 $\vec{n} = (-m, 1)$，单位法向量为：

$$\hat{n} = \frac{1}{\sqrt{m^2 + 1}}(-m, 1)$$

反射变换的公式为：$\vec{v}' = \vec{v} - 2(\vec{v} \cdot \hat{n})\hat{n}$

经过复杂的计算，可以得到关于直线 $y = mx$ 的反射矩阵：

$$R_{y=mx} = \frac{1}{1+m^2}\begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}$$

让我们验证一下这个矩阵是否正确。当 $m = 0$ 时（即x轴）：

$$R_{y=0} = \frac{1}{1+0}\begin{pmatrix} 1-0 & 0 \\ 0 & 0-1 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = R_x$$

当 $m = 1$ 时（即直线 $y = x$）：

$$R_{y=x} = \frac{1}{1+1}\begin{pmatrix} 1-1 & 2 \\ 2 & 1-1 \end{pmatrix} = \frac{1}{2}\begin{pmatrix} 0 & 2 \\ 2 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} = R_{y=x}$$

很好，这个公式在特例下是正确的！

圆在一般反射下的性质

现在我们要证明：圆关于任意直线反射后仍然是圆。

设原圆的方程为 $(x-a)^2 + (y-b)^2 = r^2$。

应用任意反射矩阵 $R$ 后，新的点集为 $\{R\vec{p} : \vec{p} \in \text{圆}\}$。

由于反射是正交变换（保持距离），我们有：

$\|R\vec{p} - R\vec{c}\| = \|R(\vec{p} - \vec{c})\| = \|\vec{p} - \vec{c}\|$

其中 $\vec{c} = (a, b)$ 是圆心。

所以 $\|R\vec{p} - R\vec{c}\| = r$，这说明变换后的点集是以 $R\vec{c}$为圆心，半径为 $r$ 的圆！

严格证明

现在让我们用更严谨的数学语言来证明这个结论。

证明： 以关于直线 $y = mx$ 的反射矩阵为例：

$$R = \frac{1}{1+m^2}\begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}$$

计算 $R^T R$：

$$R^T = \frac{1}{1+m^2}\begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}$$ $$R^T R = \frac{1}{(1+m^2)^2}\begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}\begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}$$

计算各个元素：

左上角：$(1-m^2)^2 + (2m)^2 = 1 - 2m^2 + m^4 + 4m^2 = 1 + 2m^2 + m^4 = (1+m^2)^2$

右上角：$(1-m^2)(2m) + (2m)(m^2-1) = 2m - 2m^3 + 2m^3 - 2m = 0$

左下角：$(2m)(1-m^2) + (m^2-1)(2m) = 2m - 2m^3 + 2m^3 - 2m = 0$

右下角：$(2m)^2 + (m^2-1)^2 = 4m^2 + m^4 - 2m^2 + 1 = m^4 + 2m^2 + 1 = (1+m^2)^2$

所以：

$$R^T R = \frac{1}{(1+m^2)^2}\begin{pmatrix} (1+m^2)^2 & 0 \\ 0 & (1+m^2)^2 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = I$$

因此反射矩阵是正交矩阵。

推论： 正交变换保持距离，因此圆反射后仍然是圆。

反射与旋转的关系

现在我们来探讨一个有趣的关系：两次反射等于一次旋转。

定理：设 $R_1$ 和 $R_2$ 是两个反射矩阵，则 $R_2 R_1$ 是一个旋转矩阵。

直观解释： 想象一下，先关于一条直线反射，再关于另一条直线反射，相当于绕着两条直线的交点旋转一定的角度。

具体例子： 设 $R_x$ 是关于x轴的反射，$R_y$ 是关于y轴的反射：

$$R_x = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}, \quad R_y = \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}$$

计算 $R_y R_x$：

$$R_y R_x = \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} = R(180^\circ)$$

这确实是一个180度的旋转！

再比如，设 $R_{y=x}$ 是关于 $y=x$ 的反射，$R_{y=-x}$ 是关于 $y=-x$ 的反射：

$$R_{y=x} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad R_{y=-x} = \begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}$$

计算 $R_{y=-x} R_{y=x}$：

$$R_{y=-x} R_{y=x} = \begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} = R(180^\circ)$$

又是一个180度的旋转！

行列式的意义

对于2×2矩阵 $A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$，行列式定义为：

$$\det(A) = ad - bc$$

行列式的几何意义： 行列式的绝对值表示变换对面积缩放的比例，符号表示变换是否保持方向（右手系还是左手系）。

计算反射矩阵的行列式：

关于x轴：$\det(R_x) = 1 \times (-1) - 0 \times 0 = -1$

关于y轴：$\det(R_y) = (-1) \times 1 - 0 \times 0 = -1$

关于 $y=x$：$\det(R_{y=x}) = 0 \times 0 - 1 \times 1 = -1$

关于 $y=mx$：$\det(R_{y=mx}) = \frac{1}{(1+m^2)^2}[(1-m^2)(m^2-1) - (2m)(2m)] = \frac{1}{(1+m^2)^2}[-(1-m^2)^2 - 4m^2] = \frac{1}{(1+m^2)^2}[-(1 - 2m^2 + m^4) - 4m^2] = \frac{1}{(1+m^2)^2}[-1 + 2m^2 - m^4 - 4m^2] = \frac{1}{(1+m^2)^2}[-1 - 2m^2 - m^4] = \frac{-(1 + 2m^2 + m^4)}{(1+m^2)^2} = \frac{-(1+m^2)^2}{(1+m^2)^2} = -1$

果然，所有的反射矩阵行列式都是-1！

这解释了为什么两次反射等于一次旋转：$(-1) \times (-1) = 1$。

结论与应用

通过前面的分析，我们得出以下重要结论：

应用实例

让我们看一个具体的例子：求圆 $(x-2)^2 + (y-1)^2 = 4$ 关于直线 $y = x$ 反射后的方程。

步骤1：找到圆心 圆心为 $(2, 1)$

步骤2：圆心关于直线 $y = x$ 反射 $(2, 1)$ 关于 $y = x$ 反射得到 $(1, 2)$

步骤3：半径不变 仍然是 $r = 2$

步骤4：写出新圆的方程 $(x-1)^2 + (y-2)^2 = 4$

让我们验证一下： 原圆上的任意点 $(x, y)$ 满足 $(x-2)^2 + (y-1)^2 = 4$ 反射后变为 $(y, x)$ 检查是否在新圆上：$(y-1)^2 + (x-2)^2 = (x-2)^2 + (y-1)^2 = 4$ 确实满足！

另一个例子：关于一般直线的反射

求圆 $x^2 + y^2 = 9$ 关于直线 $y = 2x$ 反射后的方程。

步骤1：圆心 $(0, 0)$ 关于直线 $y = 2x$ 反射 使用反射矩阵：

$$R_{y=2x} = \frac{1}{1+4}\begin{pmatrix} 1-4 & 4 \\ 4 & 4-1 \end{pmatrix} = \frac{1}{5}\begin{pmatrix} -3 & 4 \\ 4 & 3 \end{pmatrix}$$

应用到圆心 $(0, 0)$：

$$\frac{1}{5}\begin{pmatrix} -3 & 4 \\ 4 & 3 \end{pmatrix}\begin{pmatrix} 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix}$$

圆心仍然是 $(0, 0)$！

步骤2：写出新圆的方程 $x^2 + y^2 = 9$

看起来圆没有变化？让我们验证一下：

原圆上的点 $(x, y)$ 满足 $x^2 + y^2 = 9$ 反射后为 $\frac{1}{5}(-3x + 4y, 4x + 3y)$ 检查是否在新圆上：

$\left(\frac{-3x + 4y}{5}\right)^2 + \left(\frac{4x + 3y}{5}\right)^2 = \frac{(-3x + 4y)^2 + (4x + 3y)^2}{25} = \frac{9x^2 - 24xy + 16y^2 + 16x^2 + 24xy + 9y^2}{25} = \frac{25x^2 + 25y^2}{25} = x^2 + y^2 = 9$

确实满足！因为圆心在反射轴上，所以整个圆反射后重合。

课堂总结

“同学们，今天我们学习了圆的反射。通过数学推导，我们发现了一个惊人的事实：圆关于任意直线反射后仍然是圆！”

呼噜星人们纷纷点头表示理解。

小精灵说：“我明白了，因为反射是保距变换，不会改变距离，所以圆的形状不会改变。”

另一个精灵补充道：“而且反射变换很有趣，两个反射可以组合成一个旋转。”

“说得很好！“我赞赏地说，“今天我们不仅学到了圆的反射性质，还理解了反射变换的数学本质。”

“数学真是一门神奇的学科！“呼噜星球的小精灵们感叹道，“看似简单的反射变换，背后竟然有如此深刻的数学原理！”

“没错，“我笑着说，“数学的美妙之处就在于，通过严谨的逻辑推导，我们能发现自然界中隐藏的规律。下次课我们将继续探索更多有趣的线性变换！”

上一章节 圆的平移 如何用矩阵表示圆的平移？

下一章节 复合变换与圆 多个变换组合后，圆会变成什么？