圆的定义与基本性质

问题提出

上节课结束时，我用一句话定义了圆——“到定点距离等于定值的点的集合”。呼噜星人的反应比我预想的要强烈。

“老师！“一个叫阿普的学生还没坐下就举起了手，“你给我们一个定义，我们就得接受吗？”

另一个叫贝塔的学生也站起来：“在呼噜星球，我们不相信第一眼看到的东西。你说这就是圆的定义，但凭什么？凭什么这个定义是对的？凭什么没有别的说法也能定义同一个东西？”

我看着这群蓝色皮肤的孩子们，他们的眼睛里满是怀疑和好奇——正是我喜欢的那种眼神。

“你们说得对，“我把粉笔放到粉笔槽里，双手撑着讲台，“给一个定义很容易，但验证这个定义是否’合理’、是否’完备’，才是数学真正要做的事。”

我转身在黑板上写下今天的核心问题：

圆的定义是唯一的吗？是否存在不同的条件，能描述同一个图形？

“进一步说，“我补充道，“从这个定义出发，我们能推导出圆的哪些性质？这些性质是否和我们对’圆’的直觉一致？”

教室安静了两秒钟。阿普慢慢坐下来，但手还举着。

“老师，你的意思是——同一个图形，可能有不止一种’等价’的定义方式？”

“正是如此。“我微笑道，“今天我们就来证明这件事。“

观察与猜想

“在开始之前，让我们先回忆上节课的定义。“我在黑板上画了一个圆，标出圆心 $O$ 和半径 $r$。

“上节课，我告诉你们，圆 $\odot O$ 是所有满足 $|OP| = r$ 的点 $P$ 的集合。”

“但你们想过没有，“我停下笔，看向学生们，“能不能用别的条件来描述这同一个图形？”

贝塔歪着头想了想：“比如……要求到两个点的距离满足某个关系？”

“很好的思路！“我在黑板上标出两个点 $A$ 和 $B$，“如果我们要求一个动点 $P$ 满足：到 $A$ 的距离与到 $B$ 的距离之比是一个常数，也就是：

$$\frac{|PA|}{|PB|} = k$$

其中 $k$ 是一个固定的正数。你们猜，$P$ 的轨迹是什么？”

“也是圆吗？“一个叫伽玛的女生怯怯地问。

“大胆猜！“我鼓励她。

“我猜……是圆。“伽玛说。

“那如果 $k=1$ 呢？“阿普追问。

“如果 $k=1$，“贝塔接话，“那就是 $|PA| = |PB|$……到两点距离相等……那不就是线段 $AB$ 的中垂线吗？”

“漂亮！“我忍不住赞叹。这些孩子虽然不是天才，但逻辑推理的能力一点不差。

“所以你们看，$k=1$ 时是一条直线，$k \neq 1$ 时……我们先保留这个猜想。“

“再来一个，“我继续说，“如果我们要求动点 $P$ 满足：到 $A$ 和 $B$ 的距离之和等于常数，即 $|PA| + |PB| = 2a$，轨迹是什么？”

“也是圆？“伽玛又猜。

“这次可不是了。“我摇摇头，“这个轨迹叫做椭圆。不过，椭圆和圆之间有密切的关系——当 $A$ 和 $B$ 重合时，椭圆就变成了圆。“

“好了，“我拍拍手，“现在回到我们的主线。让我们来验证猜想一——如果它是对的，我们就找到了圆的一个等价定义。”

“老师，“阿普举手，“什么叫等价定义？”

“好问题。“我在黑板上写下：

如果两个定义描述的是完全相同的点集，那么这两个定义就是等价的。

“等价的意思是：从定义甲能推出定义乙，从定义乙也能推出定义甲。两者完全互换，不影响任何结论。“

严格证明

证明一：阿波罗尼奥斯圆

“现在，让我们严格证明猜想一。”

我在黑板上写下标题：到两定点距离之比为常数的轨迹。

“我们先建立坐标系，“我一边说一边在黑板上画，“把 $A$ 和 $B$ 放在 $x$ 轴上。”

设 $A(-a, 0)$，$B(a, 0)$，其中 $a > 0$。

设点 $P(x, y)$ 满足：

$$|PA| = k|PB|$$

展开距离公式：

$$\sqrt{(x + a)^2 + y^2} = k\sqrt{(x - a)^2 + y^2}$$

“接下来怎么办？“我问。

“两边平方！“贝塔喊道。

“对，两边平方：”

$$(x + a)^2 + y^2 = k^2[(x - a)^2 + y^2]$$

展开：

$$x^2 + 2ax + a^2 + y^2 = k^2 x^2 - 2k^2 ax + k^2 a^2 + k^2 y^2$$

“现在，把同类项移到同一边：”

$$(1 - k^2)x^2 + (1 - k^2)y^2 + (2a + 2k^2 a)x + (a^2 - k^2 a^2) = 0$$

“因为 $k \neq 1$，所以 $1 - k^2 \neq 0$，可以两边除以 $1 - k^2$：”

$$x^2 + y^2 + \frac{2a(1 + k^2)}{1 - k^2} x + a^2 = 0$$

“我们把它配成圆的标准方程 $(x - h)^2 + y^2 = R^2$ 的形式：”

$$\left(x + \frac{a(1 + k^2)}{1 - k^2}\right)^2 + y^2 = \frac{4k^2 a^2}{(1 - k^2)^2} - a^2 + a^2$$

“等等，让我仔细算一下右边。“我一步步化简：

$$\left(x - \frac{a(k^2 + 1)}{k^2 - 1}\right)^2 + y^2 = \left(\frac{2ka}{k^2 - 1}\right)^2$$

“所以，“我放下粉笔，拍掉手上的灰，“这个方程的形式是 $(x - h)^2 + y^2 = R^2$，其中：

• 圆心 $\left(\dfrac{a(k^2 + 1)}{k^2 - 1}, 0\right)$
• 半径 $R = \dfrac{2ka}{|k^2 - 1|}$

这确实是一个圆！”

阿普从座位上站起来：“等一下！你是说，只要我拿两个钉子钉在桌面上，然后用一根绳子按照距离比来画，就能画出一个圆？不需要找圆心？”

“理论上是的。“我点头，“这个圆以古希腊数学家阿波罗尼奥斯命名，叫做阿波罗尼奥斯圆。你们看，我们完全不需要提到’圆心’和’半径’这两个概念，仅用’到两点距离之比’就描述了一个圆。”

证明二：圆的轴对称性

“现在，我们从标准定义出发，证明圆的一些基本性质。这些性质你们凭直觉可能觉得’显然’，但在数学中，‘显然’二字是最危险的。”

我环顾教室：“谁来说说，什么叫圆的对称性？”

伽玛举手：“就是……沿着某条线对折，圆还是那个圆？”

“没错。严格来说，我们要证明：圆关于任何过圆心的直线都是对称的。“

证明：

取圆上任意一点 $P$，设 $P$ 关于直线 $l$ 的对称点为 $P'$。

因为 $l$ 过 $O$，且 $P'$ 是 $P$ 关于 $l$ 的对称点，所以：

$$|OP'| = |OP|$$

（对称变换保持到对称轴上点的距离不变。这是因为：设 $M$ 是 $PP'$ 与 $l$ 的交点，则 $\triangle OMP \cong \triangle OMP'$，从而 $|OP| = |OP'|$。）

又因为 $P$ 在圆上，所以 $|OP| = r$。

因此 $|OP'| = r$，即 $P'$ 也在圆上。 $\blacksquare$

“看，我们只用了定义 $|OP| = r$ 和对称的基本性质，就完成了证明。”

“老师，“贝塔若有所思，“那如果直线不过圆心呢？圆还对称吗？”

“好问题！你们可以先想一想——如果直线 $l$ 不过圆心 $O$，圆关于 $l$ 还对称吗？”

我给了他们半分钟思考。

阿普说：“如果对称的话，那圆心 $O$ 关于 $l$ 的对称点 $O'$ 也应该是圆心……但圆只有一个圆心，所以除非 $O$ 在 $l$ 上，否则不可能。”

“推理非常漂亮！“我竖起大拇指，“这就说明了：圆的对称轴一定过圆心。反过来，过圆心的任何直线都是圆的对称轴。“

证明三：圆的旋转不变性

“接下来，证明另一个性质：把圆绕圆心旋转任意角度，它和原来的圆完全重合。“

证明：

取圆上任意一点 $P$，设将 $P$ 绕 $O$ 旋转角度 $\theta$ 后得到点 $P'$。

旋转不改变点到旋转中心的距离（这是旋转的基本性质），因此：

$$|OP'| = |OP| = r$$

所以 $P'$ 也在圆上。

反过来，圆上任意一点 $Q$，都可以通过将某个圆上的点旋转 $-\theta$（即反向旋转 $\theta$）得到（因为旋转是可逆的）。

因此，旋转前后圆上的点集完全相同。 $\blacksquare$

“这个性质看起来简单，但它意味着——圆上没有任何一个点是特殊的。”

贝塔突然抬头：“没有任何一个点是特殊的……这就是说，从圆心看出去，所有方向都是等价的？”

“正是！“我激动地点头，“这在物理学上叫做各向同性。圆是最具’对称性’的平面图形——它关于圆心有完全的旋转对称性。“

证明四：等弧对等弦、等圆心角

“再来看一个实用的性质。“我在黑板上画出圆 $\odot O$，标出两个圆心角 $\angle AOB$ 和 $\angle COD$。

证明：

设 $\angle AOB = \angle COD$，我们证明弦 $AB = CD$。

将 $\angle AOB$ 绕 $O$ 旋转角度 $\angle AOC$（即使 $OA$ 与 $OC$ 重合）。

由于 $\angle AOB = \angle COD$，旋转后 $OB$ 恰好与 $OD$ 重合。

因此 $A$ 旋转到 $C$，$B$ 旋转到 $D$。

由于旋转保持距离不变（旋转不变性），所以 $|AB| = |CD|$。 $\blacksquare$

“反过来也成立——如果 $|AB| = |CD|$，我们可以通过三角形全等证明 $\angle AOB = \angle COD$：”

在 $\triangle AOB$ 和 $\triangle COD$ 中：

• $|OA| = |OC| = r$（同圆半径）
• $|OB| = |OD| = r$（同圆半径）
• $|AB| = |CD|$（已知）

由 SSS 全等，$\triangle AOB \cong \triangle COD$，因此 $\angle AOB = \angle COD$。 $\blacksquare$

“注意，这里我们用到了两个东西：第一，圆的旋转不变性（证明正向）；第二，三角形全等（证明反向）。而三角形全等的公理，是你们之前已经学过的。”

一个有趣的问题

“好了，让我提一个有趣的问题来检验你们的理解。“我在黑板上画了两个同心圆。

“两个同心圆，半径分别是 $r_1$ 和 $r_2$。它们之间的区域——‘圆环’——能不能用类似的’距离条件’来定义？”

阿普立刻回答：“到圆心的距离在 $r_1$ 和 $r_2$ 之间的所有点！”

$$\{P \mid r_1 \leq |OP| \leq r_2\}$$

“完全正确！这个集合叫做圆环或者环形区域。它不是一条曲线，而是一个区域。”

“那如果我只要求 $|OP| < r$ 呢？“伽玛问。

“那就是圆的内部，也叫开圆盘。要求 $|OP| \leq r$ 则是闭圆盘。”

结论与应用

“好，让我们总结一下今天学到的内容。”

我在黑板上画了一个思维导图式的总结：

圆的多种等价描述

1. 标准定义：到定点（圆心）距离等于定值（半径）的点集。

$$\odot O = \{P \mid |OP| = r\}$$

2. 阿波罗尼奥斯定义：到两定点距离之比为常数（不等于 $1$）的点集。

$$\{P \mid |PA| = k|PB|\}, \quad k \neq 1$$

3. 方程定义（解析几何视角）：满足 $(x - h)^2 + (y - k)^2 = r^2$ 的点集。

圆的基本性质（已证明）

应用举例

“这些性质有什么用？“我问。

“车轮是圆的，就是因为旋转不变性——车轮旋转时，车轴到地面的距离始终不变，所以不会颠簸！“阿普兴奋地说。

“很好！“我赞许道，“再想想——管道为什么是圆的？”

“因为对称性，圆形管道在各方向上受力均匀，最不容易破裂？“贝塔试探着说。

“完全正确！在工程中，等周长条件下圆的面积最大（这个结论我们以后证明），所以圆形管道用料最省、强度最高。“

---

呼噜星人的收获

下课铃响了。我把粉笔放回粉笔槽，看着学生们收拾笔记。

“老师，“伽玛走到讲台前，“我以前觉得’圆’是一个很简单的东西，就是一个圆圆的形状。但今天我发现，这个’圆圆的形状’背后，居然有这么多不同的描述方式，而且它们都是等价的。”

“这就是数学的魅力，“我笑着说，“越是看起来简单的东西，背后越可能藏着深刻的道理。”

阿普也走过来说：“今天我最喜欢的是阿波罗尼奥斯圆——不需要知道圆心在哪里，用两个点和一根绳子就能画出圆。这太神奇了。”

“不过，“贝塔推了推眼镜（虽然呼噜星人不需要眼镜，但他戴了一副装饰用的），“我觉得最关键的还是那个标准定义——$|OP| = r$。因为其他所有等价定义和性质，最终都要回到这个定义来证明。”

“说得太好了！“我赞许地点头，“这就是呼噜星人信奉的’复杂系统有简单基础’——圆的所有美妙性质，都建立在那一个最简单的条件之上。”

“下节课，“我最后说道，“我们将深入认识圆上的各种’零件’——弦、弧、直径、扇形……看看这些基本元素之间，又有什么有趣的关系。”

学生们带着满足的笑容离开了教室。我看着他们的背影，心想：地球上再简单的知识，只要用正确的方式呈现，都能成为一段奇妙的旅程。

而我，很荣幸成为这趟旅程的向导。

上一章节圆的几何基础从最基础的几何概念开始，探索圆的定义、基本元素和位置关系

下一章节圆的基本元素圆心、半径、直径、弦、弧、扇形、弓形是什么？