分段函数与圆

问题提出

上节课，我们学习了隐函数——圆的方程 $x^2 + y^2 = r^2$ 虽然整体上不是函数，但在上半圆（$y > 0$）和下半圆（$y < 0$）的范围内，可以分别确定两个隐函数：

$y = \sqrt{r^2 - x^2} \quad \text{（上半圆）}$

$y = -\sqrt{r^2 - x^2} \quad \text{（下半圆）}$

贝塔当时提出了一个关键问题：“把圆切成两半，每一半用函数表示。“今天，我们就要把这个想法变成现实。

走进教室后，我在黑板上画了一个大圆，然后用 $x$ 轴把它分成上下两半，问大家：

我们有两个函数——一个描述上半圆，一个描述下半圆。能不能把它们”拼”成一个完整的表达式？

阿普想了想说：

拼在一起？就是说……在 $y \geq 0$ 的部分用一个公式，在 $y < 0$ 的部分用另一个公式？

完全正确！这种”在不同区间用不同公式”的函数，就叫做分段函数。今天我们要解决三个问题：

1. 什么是分段函数？它和普通函数有什么区别？
2. 如何用分段函数精确地表示整个圆？
3. 分段函数在数学中还有哪些应用？

观察与猜想

第一步：从圆的上下两半说起

我指着黑板上的圆说：

圆的方程是 $x^2 + y^2 = r^2$。从 $x$ 轴把圆分成上下两半：

• 上半圆：$y = \sqrt{r^2 - x^2}$，其中 $x \in [-r, r]$
• 下半圆：$y = -\sqrt{r^2 - x^2}$，其中 $x \in [-r, r]$

现在我要做一件事——写一个表达式，让它在 $x \in [-r, r]$ 上的每一点都给出正确的 $y$ 值。上半圆的点用正的 $\sqrt{r^2 - x^2}$，下半圆的点用负的 $-\sqrt{r^2 - x^2}$。

伽玛问：

但是你怎么告诉数学公式”现在是上半圆，用正号”？

好问题！我们需要一种”分情况讨论”的写法。

第二步：分段函数的直觉

我在黑板上画了一个简单的图：

        y
        ↑
   ●●●●●|●●●●●    y = √(r²-x²)（上半圆）
  ●     |     ●
 ●      |      ●
●-------+-------●→ x
 ●      |      ●
  ●     |     ●
   ●●●●●|●●●●●    y = -√(r²-x²)（下半圆）
        |

请看——在 $x$ 轴上方，圆的 $y$ 值为正；在 $x$ 轴下方，$y$ 值为负。如果我定义一个函数，让它在不同的 $x$ 范围内取不同的表达式，就能把整个圆”拼接”起来。

但等一下，这里有一个微妙的问题——圆不是函数！一个函数 $y = f(x)$ 要求每个 $x$ 只对应一个 $y$，但圆上每个 $x$ 都对应两个 $y$。

我停顿了一下，让全班思考。

所以，用分段函数并不能表示整个圆。它只能表示圆的上下两半分别作为函数。分段函数是一种”在不同区间使用不同公式”的函数——每个 $x$ 仍然只对应一个 $y$，只不过在不同区间用不同的规则来计算这个 $y$。

贝塔立刻反应过来：

啊！所以分段函数不是把圆”拼”成一个函数，而是——我们用分段的方式来写一个函数，它的图像正好是圆的一半？

不完全是。让我更精确地说：我们可以用分段函数来表示一个图像包含圆的某些部分的函数。比如，我们可以构造一个分段函数，让它的图像恰好是右半圆。但更重要的应用是——分段函数本身是一个非常有用的数学工具，理解它有助于我们处理圆的函数表示问题。

第三步：分段函数的例子

为了让大家有更直观的感受，我先举几个简单的分段函数例子。

例子 1：绝对值函数

这是最经典的分段函数。当 $x$ 为正或零时，$|x| = x$；当 $x$ 为负时，$|x| = -x$。

例子 2：符号函数

符号函数告诉我们一个数是正、零还是负。

阿普举手：

老师，这些和圆有什么关系？

马上就到了！让我先用一个和圆直接相关的例子。

例子 3：半圆函数

这就是上半圆——它本身就是一个普通的函数，不需要分段。但如果我们想构造一个更有趣的函数，把圆和其他图形组合起来，分段函数就派上用场了。

严格证明

分段函数的定义

我强调：

分段函数的关键特征是：每个 $x$ 仍然只对应一个 $y$。分段只是说”计算规则在不同区间不同”，并没有违反函数的基本定义。

用分段函数构造与圆相关的函数

现在回到圆。虽然我们不能用分段函数表示完整的圆（因为圆本身不是函数），但我们可以构造一些有趣的与圆相关的分段函数。

但是，我们可以做以下事情：

构造 1：上半圆作为分段函数

虽然上半圆 $y = \sqrt{r^2 - x^2}$ 可以直接写成一个表达式，但我们也可以把它写成更一般的形式：

构造 2：用分段函数描述半圆和直线的组合

考虑一个函数，它的图像在 $[-r, r]$ 上是上半圆，在 $|x| > r$ 时是一条水平线：

这是一个合法的分段函数！它的图像像一个”山丘”——中间是半圆弧，两边是平地。

构造 3：用分段函数精确描述右半圆

如果从 $y$ 轴的角度来看，右半圆可以写成 $x = \sqrt{r^2 - y^2}$，这是一个关于 $y$ 的函数。但如果我们想把它写成一个关于 $x$ 的分段函数——这行不通，因为右半圆在 $y$ 方向上”折叠”了。

我补充道：

这就回到了我们之前的结论：圆无论从 $x$ 方向还是 $y$ 方向看，都会有”一个输入对应两个输出”的问题。分段函数能解决的是不同区间用不同规则的问题，不能解决同一区间一个输入多个输出的问题。

分段函数的连续性

咕噜举手问：

老师，分段函数在分段的”接缝”处会断开吗？

好问题！这就是分段函数的一个重要性质——连续性。让我用一个例子来说明。

考虑函数：

在 $x = 1$ 处，检查是否连续：

• 左极限：$\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} x^2 = 1$
• 右极限：$\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+} (2x - 1) = 1$
• 函数值：$f(1) = 1^2 = 1$

左极限 = 右极限 = 函数值，所以这个分段函数在 $x = 1$ 处连续。

例题：验证半圆拼接函数的连续性

让我们回到与圆相关的分段函数。

检查在 $x = r$ 处的连续性：

• 左极限：$\lim_{x \to r^-} \sqrt{r^2 - x^2} = \sqrt{r^2 - r^2} = 0$
• 右极限：$\lim_{x \to r^+} 0 = 0$
• 函数值：$f(r) = \sqrt{r^2 - r^2} = 0$

三者相等，所以在 $x = r$ 处连续。同理可验证 $x = -r$ 处也连续。

这个结果在几何上也很直观——半圆弧在端点 $(\pm r, 0)$ 处恰好”着地”，和水平线 $y = 0$ 平滑地相接。

更深入的分段函数应用

分段函数在数学中有广泛的应用，以下是几个重要的例子：

应用 1：取整函数

这是一个典型的分段函数，图像呈”阶梯状”。

应用 2：矩形脉冲函数

这个函数在信号处理中非常重要。

应用 3：半圆函数在概率论中的应用

上半圆 $f(x) = \sqrt{r^2 - x^2}$（适当缩放后）可以作为一种概率密度函数，这就是维格纳半圆分布（Wigner semicircle distribution）：

结论与应用

本节结论

应用：用圆的视角理解分段函数

我总结道：

今天我们从圆出发学习了分段函数。虽然分段函数不能解决”把圆变成函数”这个问题——这需要参数方程或隐函数等更高级的工具——但分段函数本身是数学中非常重要的概念。

回顾我们学过的三种处理圆的函数方法：

所以，要完整地用代数方式描述圆，隐函数（方程）是正确的框架。分段函数虽然不能解决圆的问题，但它在其他场合非常有用。

预告：下节课

下节课，我们将进入一个新的篇章——学习三角函数。三角函数和圆有着密不可分的关系：单位圆上的点的坐标就是 $(\cos\theta, \sin\theta)$。这将给我们提供一种全新的、优雅的方式来描述圆。

呼噜星人的收获

下课铃响了。学生们围过来分享今天的收获。

阿普说：

我一开始以为分段函数能把圆”拼”成函数，但后来明白了——分段改变的是规则，不是本质。函数”一个输入一个输出”的限制，不是分段能绕过去的。

贝塔补充道：

但分段函数本身还是很有用的！那个半圆和水平线拼接的例子让我看到了它的灵活性。而且连续性的判定很优雅——左右极限相等就行。

伽玛想了想说：

我最喜欢的是维格纳半圆分布。原来圆不只是一个几何图形，它还能出现在概率论里！这让我觉得数学各个分支之间是相通的。

咕噜最后总结：

今天让我明白了一件事：数学中的每个概念都有它的能力边界。函数不能描述圆，分段函数也不能。承认一个工具的局限，才能找到更合适的工具。隐函数就是那个更合适的工具。

我笑着在黑板上写下最后一句话：

分段函数是灵活的工具，但不是万能的工具。知道什么时候该用它、什么时候该换别的工具，才是真正的数学智慧。