圆与直线的位置关系

问题提出

上节课结束时，我预告了今天的主题。没想到刚走进教室，阿普已经把两张纸片——一个圆和一条直线——摆在了桌面上，反复移动、比划。

“老师！“他还没等我放下教案就开口了，“你上次说两个圆之间有五种位置关系，那直线和圆呢？一条直线和一个圆，能有多少种不同的关系？”

贝塔也紧跟着站起来：“而且上节课我们用了圆心距和半径来判定两圆的位置关系。那直线和圆的位置关系，是不是也有类似的判定方法？”

伽玛安静地举起手：“我还有一个问题——如果直线和圆恰好碰在一起，只碰到了一个点，那个点叫什么？它有什么特殊性质吗？”

我看着这群蓝色皮肤的孩子们，心里非常满意。经过前面几节课的训练，他们已经学会了在学新知识之前先自己提问。

“你们问得非常好。“我在黑板上画了一个大圆，然后拿起直尺比划着，“今天，我们就来系统地回答这些问题。”

我在黑板上写下今天的核心任务：

一条直线和一个圆，究竟有几种位置关系？如何精确判定？

“进一步说，“我补充道，“当直线和圆’恰好相碰’时，会出现一个非常重要的几何对象——切线。切线的性质是整个圆几何中最重要的工具之一。”

阿普眼睛一亮：“又是那种看起来简单但背后藏着大道理的东西？”

“没错。“我笑了，“而且今天的课还有一个特殊意义——这是我们几何基础篇的最后一节课。学完今天的内容，你们就掌握了圆最基础的几何知识，可以进入下一阶段了。“

观察与猜想

第一步：动手实验

“在开始之前，我先做一个实验。”

我拿出一个用纸板剪成的大圆，贴在黑板上，然后用一根细长的木棍当作直线，从远处慢慢靠近圆。

“大家仔细看——木棍和纸板圆的公共点个数在变化。”

我一边移动木棍，一边让学生们观察：

第一阶段：木棍离圆很远，和圆没有任何接触。

“公共点有几个？“我问。

“零个！“全班齐声回答。

第二阶段：木棍慢慢靠近，恰好碰到圆的边缘。

“现在呢？”

“碰到一个点！“小洛喊道。

第三阶段：木棍继续移动，穿过了圆。

“现在呢？”

“穿过去了，有两个公共点！“贝塔说。

我在黑板上把这三种情况画了出来。

“等等，“阿普举手，“为什么不能有 $3$ 个公共点？一条弯弯曲曲的曲线和圆相交，不是可以有更多交点吗？”

“好问题！但请注意——我们的对象是直线，不是任意曲线。“我在黑板上写下一行字：

一条直线与一个圆最多有两个公共点。

“为什么呢？因为如果直线和圆有三个公共点，那就意味着直线上有三个点到圆心 $O$ 的距离都等于半径 $r$。但直线上的点到 $O$ 的距离是一个’先减小后增大’的函数（这一点我们稍后严格证明），所以距离等于 $r$ 的情况最多出现两次。”

伽玛若有所思：“所以三种位置关系的本质区别就是——公共点的个数？”

“可以这么说，但呼噜星人不会止步于此。“我微笑道，“我们还需要找到一种定量的判定方法——像上节课用圆心距和半径的关系来判定两圆位置关系那样。“

第二步：寻找判定的关键量

“上节课判定两圆位置关系时，我们用的是什么量？“我问。

“圆心距 $d$ 和两个半径 $r_1$、$r_2$！“小洛回答。

“很好。那直线和圆，我们该用什么量呢？”

贝塔想了想：“直线没有’圆心’……但是圆有圆心。我们可以算圆心到直线的距离！”

“太好了！“我在黑板上画了三种情况，每种都标出了圆心 $O$ 到直线的距离 $d$，以及半径 $r$。

“让我把三种情况的数据整理一下——“

“大家注意到了吗？判定的标准非常简洁——只需要比较圆心到直线的距离 $d$ 和 圆的半径 $r$ 这两个数的大小！”

“这个猜想和上节课两圆位置关系的判定如出一辙！“阿普兴奋地说，“都是比较’距离’和’半径’。”

“没错。但记住——猜想不等于定理。我们必须严格证明。“

第三步：关于切线的更多猜想

“在进入证明之前，我再做一个实验。“我把木棍调整到恰好碰到圆的位置，也就是相切的状态。

“你们看，在这个位置，木棍和圆只在一点接触。如果我连接圆心和这个接触点……”我画了一条从 $O$ 到切点 $T$ 的线段，“这条线和木棍看起来是什么关系？”

“垂直的？“伽玛试探着说。

“我猜也是垂直的！“小洛说。

“那如果我从圆外一点 $P$ 向圆作两条切线，“我在黑板上画了一个点 $P$ 在圆外，然后从 $P$ 出发作两条切线，分别切圆于点 $A$ 和 $B$，“这两条切线的长度有什么关系？”

贝塔仔细看了看：“看起来 $PA$ 和 $PB$ 一样长？”

“好了，猜想已经够多了。现在——轮到证明登场了。“

严格证明

一、直线与圆的位置关系判定定理

“我们首先证明最核心的定理。”

证明：

设从 $O$ 向 $l$ 作垂线，垂足为 $H$，则 $|OH| = d$。

在直线 $l$ 上任取一点 $P$（$P \neq H$），在 $\triangle OHP$ 中，由于 $\angle OHP = 90°$，$\triangle OHP$ 是直角三角形，由勾股定理：

$|OP|^2 = |OH|^2 + |HP|^2 = d^2 + |HP|^2$

关键观察：点 $P$ 在 $\odot O$ 上，当且仅当 $|OP| = r$，即 $|OP|^2 = r^2$。

情况一：$d > r$

由于 $|HP|^2 \geq 0$，所以：

$|OP|^2 = d^2 + |HP|^2 \geq d^2 > r^2$

因此 $|OP| > r$ 对 $l$ 上所有点 $P$ 成立。

这意味着 $l$ 上没有任何点到 $O$ 的距离等于 $r$，即 $l$ 与 $\odot O$ 没有公共点。$\blacksquare$

情况二：$d = r$

对于 $P \neq H$：

$|OP|^2 = r^2 + |HP|^2 > r^2$

所以 $l$ 上除了 $H$ 以外的所有点都不在圆上。

而对于垂足 $H$ 本身：

$|OH| = d = r$

所以 $H$ 在圆上。

因此 $H$ 是唯一的公共点——即直线与圆相切。$\blacksquare$

情况三：$d < r$

垂足 $H$ 到 $O$ 的距离 $|OH| = d < r$，所以 $H$ 在圆的内部。

在 $l$ 上从 $H$ 出发向两侧各走一段距离 $\sqrt{r^2 - d^2}$，到达点 $A$ 和 $B$：

$|HA| = |HB| = \sqrt{r^2 - d^2}$

则：

$|OA|^2 = d^2 + |HA|^2 = d^2 + (r^2 - d^2) = r^2$

$|OB|^2 = d^2 + |HB|^2 = d^2 + (r^2 - d^2) = r^2$

所以 $A$ 和 $B$ 都在圆上，且 $A \neq B$（分别在 $H$ 的两侧），因此直线与圆有两个公共点。

唯一性论证：对 $l$ 上任意点 $P$，$|OP|^2 = d^2 + |HP|^2 = r^2$ 要求 $|HP|^2 = r^2 - d^2$，即 $|HP| = \sqrt{r^2 - d^2}$。$l$ 上满足此条件的点恰好有两个（$H$ 两侧各一个），所以恰好两个公共点。$\blacksquare$

证明完毕，教室里一片安静。然后阿普猛地一拍桌子：

“我懂了！整个证明的核心就是勾股定理——在直角三角形 $\triangle OHP$ 中，$|OP|^2 = d^2 + |HP|^2$。然后看 $|OP|$ 能不能等于 $r$，等价于看 $d^2 + |HP|^2 = r^2$ 有没有解。$d > r$ 时不可能，$d = r$ 时只有 $H$ 一个解，$d < r$ 时有两个解。”

“总结得非常漂亮。“我由衷地赞叹。

二、切线的定义与性质

“在三种位置关系中，相切是最特殊也最重要的。让我们给它一个正式的定义。”

“根据刚才的判定定理，相切的条件是 $d = r$，其中 $d$ 是圆心到直线的距离。而且，从证明中我们还知道——切点恰好是从圆心向直线所作垂线的垂足。”

“这立刻引出了一个重要的性质——”

证明：

设 $l$ 与 $\odot O$ 相切于点 $T$。由判定定理，圆心 $O$ 到 $l$ 的距离 $d = r$。

而 $|OT| = r$（$T$ 在圆上），所以 $|OT| = d$。

$d$ 的定义是 $O$ 到 $l$ 上所有点的最短距离，而 $|OT| = d$，说明 $T$ 就是 $O$ 到 $l$ 的垂足。

因此 $OT \perp l$，即切线垂直于过切点的半径。$\blacksquare$

“老师，“贝塔若有所思，“这个证明好简洁……就是’切点到圆心的距离恰好等于圆心到直线的距离’，所以切点就是垂足，所以垂直？”

“完全正确。逻辑链条是：相切 $\Rightarrow$ $d = r$ $\Rightarrow$ 切点到圆心距离 $= r = d$ $\Rightarrow$ 切点是垂足 $\Rightarrow$ 垂直。每一步都是等价推理，无懈可击。”

小洛举起了手：“那反过来呢？如果一条直线过圆上一点 $T$，并且和 $OT$ 垂直，那这条直线是不是一定是切线？”

“非常好的问题！答案是——是的。这就是切线的判定定理。”

证明：

因为 $l \perp OT$ 且 $T$ 在 $l$ 上，所以 $|OT|$ 就是 $O$ 到 $l$ 的距离，即 $d = |OT|$。

又因为 $T$ 在圆上，$|OT| = r$，所以 $d = r$。

由位置关系判定定理（$d = r$ $\Rightarrow$ 相切），$l$ 与 $\odot O$ 相切，且切点为 $T$。$\blacksquare$

“你们看，判定定理和性质定理是互逆的：“

伽玛认真地记着笔记，小声说：“所以只要我能证明一条直线过圆上一点并且垂直于半径，就能断定它是切线。这是一个非常好用的工具。“

三、切线长定理

“现在来看另一个重要的定理。“我在黑板上画了一个圆 $\odot O$，然后在圆外画了一个点 $P$，从 $P$ 向圆作了两条切线，分别切于点 $A$ 和 $B$。

“注意区分两个概念：切线是一条无限延伸的直线，而切线长是从外点到切点的那条线段的长度。”

证明：

连接 $OA$、$OB$、$OP$。

因为 $PA$ 是切线，由切线性质定理，$PA \perp OA$，即 $\angle OAP = 90°$。

同理，$PB$ 是切线，所以 $PB \perp OB$，即 $\angle OBP = 90°$。

现在考察直角三角形 $\triangle OAP$ 和 $\triangle OBP$：

• $|OA| = |OB| = r$（同圆半径）
• $|OP| = |OP|$（公共边）

由 HL（Hypotenuse-Leg，斜边直角边）全等判定：

$\triangle OAP \cong \triangle OBP$

因此：

$|PA| = |PB|, \quad \angle OPA = \angle OPB$

$\blacksquare$

“漂亮！“阿普忍不住鼓掌，“又是三角形全等！HL 全等——斜边都是 $OP$，直角边都是半径 $r$，所以两个三角形全等，对应边相等、对应角相等。”

“对。你们有没有发现一个规律？圆的很多定理，到最后都归结为三角形全等或勾股定理。这就是呼噜星人说的——复杂系统有简单基础。”

四、例题精讲

“理论讲完了，现在来做几道例题，看看怎么应用。“

例题一：判定位置关系

解：

关键公式——点 $P(x_0, y_0)$ 到直线 $ax + by + c = 0$ 的距离：

$d = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}}$

（a） 圆心 $O(0, 0)$ 到 $3x + 4y - 10 = 0$ 的距离：

$d = \frac{|3 \times 0 + 4 \times 0 - 10|}{\sqrt{9 + 16}} = \frac{10}{5} = 2$

因为 $d = 2 < 3 = r$，所以相交。

（b） 圆心 $O(0, 0)$ 到 $x - y + 5 = 0$ 的距离：

$d = \frac{|0 - 0 + 5|}{\sqrt{1 + 1}} = \frac{5}{\sqrt{2}} \approx 3.54$

因为 $d \approx 3.54 > 3 = r$，所以相离。

（c） 圆心 $O(0, 0)$ 到 $2x + y - 5 = 0$ 的距离：

$d = \frac{|0 + 0 - 5|}{\sqrt{4 + 1}} = \frac{5}{\sqrt{5}} = \sqrt{5} \approx 2.24$

因为 $d \approx 2.24 < 3 = r$，所以相交。

小洛看了结果问：“（a）和（c）都是相交，那它们和圆的交点坐标能算出来吗？”

“当然可以！“我说，“把圆的方程和直线方程联立，解方程组就行。比如（a）：”

$\begin{cases} x^2 + y^2 = 9 \\ 3x + 4y = 10 \end{cases}$

由第二个方程得 $x = \dfrac{10 - 4y}{3}$，代入第一个方程：

$\left(\frac{10 - 4y}{3}\right)^2 + y^2 = 9$

$\frac{100 - 80y + 16y^2}{9} + y^2 = 9$

$100 - 80y + 16y^2 + 9y^2 = 81$

$25y^2 - 80y + 19 = 0$

用求根公式：

$y = \frac{80 \pm \sqrt{6400 - 1900}}{50} = \frac{80 \pm \sqrt{4500}}{50} = \frac{80 \pm 30\sqrt{5}}{50} = \frac{8 \pm 3\sqrt{5}}{5}$

“所以有两个实数根——对应两个交点。这和 $d < r$ 的结论一致。“

例题二：求切线方程

解：

先验证 $P$ 在圆上：$3^2 + 4^2 = 9 + 16 = 25$ ✓

由切线性质定理，切线垂直于过切点的半径 $OP$。

$OP$ 的斜率：

$k_{OP} = \frac{4 - 0}{3 - 0} = \frac{4}{3}$

切线的斜率与 $OP$ 的斜率互为负倒数：

$k_{\text{切}} = -\frac{1}{k_{OP}} = -\frac{3}{4}$

由点斜式，切线方程为：

$y - 4 = -\frac{3}{4}(x - 3)$

化简：

$4(y - 4) = -3(x - 3)$

$4y - 16 = -3x + 9$

$3x + 4y - 25 = 0$

验证：圆心 $O(0,0)$ 到此直线的距离 $= \dfrac{|-25|}{\sqrt{9 + 16}} = \dfrac{25}{5} = 5 = r$。恰好相切！$\blacksquare$

“太妙了！“贝塔说，“先验证点在圆上，然后利用切线垂直于半径求出斜率，最后写出方程。而且还能用距离公式反过来验证。”

“这就是数学的’闭环思维’——每一步都有理有据，最后还能验证。“

例题三：切线长的应用

解：

设切点为 $A$，由切线性质定理，$PA \perp OA$。

在直角 $\triangle OAP$ 中：

• $|OA| = r = 3$（半径）
• $|OP| = 5$（已知）
• $\angle OAP = 90°$

由勾股定理：

$|PA|^2 = |OP|^2 - |OA|^2 = 25 - 9 = 16$

$|PA| = 4$

由切线长定理，两条切线的长度都等于 $4$。$\blacksquare$

“老师，“阿普说，“我发现切线长 $= \sqrt{|OP|^2 - r^2}$ 总是成立的？”

“没错！这就是切线长的通用公式——”

$\text{切线长} = \sqrt{|OP|^2 - r^2}$

“只要点 $P$ 在圆外（$|OP| > r$），这个公式就能用。而且你注意到了吗——证明这个公式只需要两样东西：切线性质定理（垂直）和勾股定理。又是简单基础支撑复杂结论。“

五、相交时的弦长公式

“最后，我们来看一个实用的公式。“我说，“当直线与圆相交时，交点之间的弦长是多少？”

证明：

从 $O$ 向 $l$ 作垂线 $OH \perp l$，垂足为 $H$，$|OH| = d$。

因为 $OA = OB = r$，且 $OH \perp AB$，由等腰三角形的性质（或垂径定理），$H$ 是 $AB$ 的中点。

在直角 $\triangle OAH$ 中，由勾股定理：

$|AH|^2 = |OA|^2 - |OH|^2 = r^2 - d^2$

$|AH| = \sqrt{r^2 - d^2}$

因此：

$|AB| = 2|AH| = 2\sqrt{r^2 - d^2}$

$\blacksquare$

“你们有没有发现——这个公式和上节课学过的弦心距公式 $|AB| = 2\sqrt{r^2 - d^2}$ 完全一样？”

小洛恍然大悟：“当然一样！因为直线被圆截出的弦，弦心距就是圆心到直线的距离！同一个东西，不同的角度理解。”

“对。数学的美妙之处就在这里——不同的视角看到的是同一个结构。“

结论与应用

知识总结

“好，让我们把今天的内容系统化。”

我在黑板上画了一张总结表：

直线与圆的三种位置关系

其中 $d$ 是圆心到直线的距离，$r$ 是圆的半径。

核心定理

关键公式

$\text{切线长} = \sqrt{|OP|^2 - r^2}$

$\text{相交弦长} = 2\sqrt{r^2 - d^2}$

$\text{点}(x_0, y_0)\text{到直线 } ax + by + c = 0 \text{ 的距离} = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}}$

几何基础篇总回顾

“今天的课还有一层特殊意义。“我环顾教室，“这是我们几何基础篇的最后一节课。让我们回顾一下这四章学了什么。”

我在黑板上画了一个知识图谱：

第一章：圆的定义
  └── 到定点距离等于定值的点的集合
  └── 阿波罗尼奥斯圆（等价定义）

第二章：圆的基本元素
  └── 半径、直径、弦、弧、圆心角
  └── 弦心距与弦长的关系
  └── 扇形、弓形

第三章：圆与圆的位置关系
  └── 五种位置关系（外离、外切、相交、内切、内含）
  └── 用圆心距和半径判定

第四章：直线与圆的位置关系 ← 今天
  └── 三种位置关系（相离、相切、相交）
  └── 用圆心到直线的距离和半径判定
  └── 切线的性质与判定
  └── 切线长定理

“你们看到了吗？这四章的核心逻辑是一致的：”

1. 先定义——明确研究对象
2. 认识元素——拆解内部结构
3. 研究关系——看对象之间怎么互动
4. 建立工具——发展出判定方法和计算公式

“这就是数学研究的通用方法论。“

应用场景

“最后说说实际应用。“我问学生们，“你们能想到切线在生活中有什么用吗？”

阿普想了想：“卫星绕地球运行的时候，如果走圆形轨道……不对，那和切线没关系……”

“换个角度想。“我提示，“如果你站在一个圆形花坛旁边，想拉一条绳子刚好碰到花坛——”

“那就是切线！“伽玛说，“而且从我所站的位置拉两条绳子碰到花坛两侧，两条绳子一样长！”

“没错。工程上还有很多例子——”

• 齿轮传动：两个齿轮啮合时，接触点处的工作齿廓的公切线就是啮合线
• 光学反射：光线打在圆形镜面上，反射角由入射光线与切线的夹角决定
• 道路设计：直道和弯道（圆弧）的衔接必须用切线过渡，否则车辆会颠簸

呼噜星人的收获

下课铃响了。我放下粉笔，看着学生们收拾东西。

阿普第一个跑到讲台前：

“老师，今天我最受震撼的是那个位置关系判定定理的证明。你把三种情况全部用勾股定理搞定了——$|OP|^2 = d^2 + |HP|^2$，然后就是比大小。这么简单的关系，就决定了直线和圆的’命运’。”

贝塔推了推他装饰用的眼镜：

“我最喜欢的是切线长定理。从圆外一点作两条切线，看起来像是不太相关的两条线，结果它们不仅等长，而且圆心和那一点的连线还是它们夹角的角平分线。这里面一定藏着更深的对称性。”

伽玛安静地说：

“我想说的是——这四章学下来，我发现一件事。我们学了定义、元素、两圆关系、直线与圆关系，这么多内容，但追根溯源，它们都回到一个东西——圆的定义：到定点距离等于定值。所有定理的证明，最终都用到了这个定义，再加上勾股定理和三角形全等。”

我欣慰地看着他们三个：

“伽玛说得最好。这就是你们呼噜星球信奉的’复杂系统有简单基础’——圆几何的全部大厦，就建立在一个定义和几条基本公理之上。定义是种子，公理是土壤，定理是大树。”

我在黑板上画了一棵”知识树”：

                圆几何
               /      \
          性质定理    位置关系
         /    \       /     \
    对称性  等角   两圆    直线与圆
      |      |    |        |
    旋转  弦弧  圆心距   圆心到直线
      \     |      \      /
       \    |      判定定理
        \   |        |
         定义：|OP| = r
              |
         勾股定理 + 三角形全等

“好，几何基础篇到此结束。从下节课开始，我们进入新的篇章——圆的度量。”

我看着他们期待的眼神，最后说：

“圆的周长是多少？面积是多少？弧长怎么算？扇形面积怎么算？这些问题看似简单——$\pi r^2$、$2\pi r$，你们可能早就背过了。但是，$\pi$ 是什么？为什么周长和直径的比值是一个常数？这个常数为什么恰好是 $3.14159\ldots$？”

“要回答这些问题，我们不能只背公式。我们需要从最基础的定义出发，一步步推导。而这，正是下阶段要做的事。”

学生们带着兴奋和好奇离开了教室。我听到阿普在走廊上对贝塔说：

“他说 $\pi$ 为什么是那个值……我还真从来没想过这个问题。”

“因为我们在呼噜星球嘛，“贝塔回答，“看到的东西首先选择不相信。”

我笑了。这趟旅程才刚刚开始。