导航菜单

圆的函数表示

问题提出

前两节课,我们完成了”圆的度量”——证明了周长公式 C=2πrC = 2\pi r 和面积公式 S=πr2S = \pi r^2。呼噜星的学生们已经习惯了用几何方法来研究圆:画图、测量、猜想、严格证明。

今天,我决定换一个方向。

走进教室后,我没有像往常一样画圆,而是在黑板上写了一个大大的 ff

函数

学生们好奇地看着我。一个叫阿普的学生问:

老师,我们不是在学圆吗?怎么突然讲函数了?

我说:

问得好。前面我们用几何语言描述圆——“到定点距离等于定值的点的集合”。这是用文字和图形说话。但数学还有另一种强大的语言——代数语言。函数就是代数语言中最重要的概念之一。

今天我们要问一个根本性的问题:圆,能不能用函数来描述?

我在黑板上写下今天的核心问题:

  • 问题 1:什么是函数?函数对”输入”和”输出”有什么严格要求?
  • 问题 2:如果把圆放在坐标系中,它的几何关系能转化成函数关系吗?
  • 问题 3:圆到底能不能写成 y=f(x)y = f(x) 的形式?如果不能,到底哪里出了问题?

我转身对全班说:

这是全新的视角。我们不再用圆规画圆,而是要问——能不能用一个公式来”画”圆?这个问题的答案,会让我们发现一件非常重要的事。

观察与猜想

第一步:回顾——什么是函数?

在开始之前,我必须确保每个人都清楚”函数”是什么意思。

谁来告诉我,什么是函数?

贝塔率先举手:

函数就是一种规则——你给我一个输入 xx,我根据规则给你一个确定的输出 yy。比如 y=2x+1y = 2x + 1,输入 x=3x = 3,输出一定是 y=7y = 7

我点头:

很好。但你说的是”给一个确定的输出”——这句话里藏着函数最关键的要求。

我在黑板上写下:

我特意在”每一个”和”唯一”下面画了两条粗线:

请大家注意两个关键词——“每一个”和”唯一”。“每一个”说的是:定义域里的每个 xx 都必须有输出,不能有遗漏。“唯一”说的是:一个 xx 只能对应一个 yy

我敲了敲黑板:

这第二个要求——一个输入只能有一个输出——是函数的灵魂。今天,圆就是在这一条上出了问题。

第二步:把圆放进坐标系

现在,让我们把圆放到坐标系里来。

我在黑板上画了一个平面直角坐标系,然后以原点 O(0,0)O(0, 0) 为圆心,画了一个半径为 rr 的圆。

这是一个圆心在原点、半径为 rr 的圆。圆上每一点 (x,y)(x, y) 都满足什么条件?

伽玛立刻回答:

到原点的距离等于 rr!所以 x2+y2=r2x^2 + y^2 = r^2

我把她的回答写在黑板上:

x2+y2=r2x^2 + y^2 = r^2

没错。这就是圆的方程——它描述了圆上每一个点 (x,y)(x, y) 必须满足的关系。但请注意:这是一个方程,不是函数。方程说的是”xxyy 之间满足某种关系”,函数说的是”yyxx 唯一决定”。这两者之间有本质的区别。

第三步:尝试把方程变成函数

现在,关键的问题来了:我们能不能把 x2+y2=r2x^2 + y^2 = r^2 变成 y=f(x)y = f(x) 的形式?

我引导学生们一步步操作:

y2y^2 单独留在等号一边——

y2=r2x2y^2 = r^2 - x^2

然后,两边开平方——

y=±r2x2y = \pm\sqrt{r^2 - x^2}

我停顿了一下,指着那个 ±\pm 号:

这就是问题所在。对每一个 xx,我们得到两个 yy 值——一正一负。比如,当 r=1r = 1x=0x = 0 时,y=±1y = \pm 1;当 x=12x = \dfrac{1}{2} 时,y=±32y = \pm\dfrac{\sqrt{3}}{2}

一个 xx,两个 yy——这违背了函数定义中**“唯一对应”**的要求。

教室里响起了窃窃私语。阿普皱着眉头说:

所以……圆不是函数?

我来回答你,但我先让你们自己看清楚到底发生了什么。

严格证明

论证一:圆不满足函数的定义

让我从几何和代数两个角度,严格证明”圆不能用单一的函数 y=f(x)y = f(x) 表示”。

代数角度:

从圆的方程 x2+y2=r2x^2 + y^2 = r^2 出发,解出 yy

y2=r2x2y^2 = r^2 - x^2

r<x<r-r < x < r 时(即 xx 在圆的内部),r2x2>0r^2 - x^2 > 0,所以:

y=±r2x2y = \pm\sqrt{r^2 - x^2}

对于每一个这样的 xx,存在两个不同的 yy 值:y1=+r2x2y_1 = +\sqrt{r^2 - x^2}y2=r2x2y_2 = -\sqrt{r^2 - x^2}

根据函数的定义,ff 是一个函数要求对每个 xDx \in D,存在唯一yy 使得 y=f(x)y = f(x)。但我们找到了同一个 xx 对应两个不同的 yy,因此圆的全体点集不能被一个函数 y=f(x)y = f(x) 所描述。

几何角度:

我拿起粉笔,在黑板上画了一条竖直的直线 x=x0x = x_0(其中 0<x0<r0 < x_0 < r):

请看——这条竖直线和圆交于两个点:一个在上半圆,一个在下半圆。

              y

         ●    |    ●   ← 上半圆上的点 (x₀, +√(r²-x₀²))
        /     |     \
       /      |      \
  ----/-------+-------\---→ x
       \      |      /
        \     |     /
         ●    |    ●   ← 下半圆上的点 (x₀, -√(r²-x₀²))
              |
             x=x₀

用数学的语言来说:存在 x0(r,r)x_0 \in (-r, r),使得竖直线 x=x0x = x_0 与圆 x2+y2=r2x^2 + y^2 = r^2 有两个交点。这说明对应同一个 x0x_0,圆上有两个不同的点,函数做不到这件事。

我再画了一条水平的直线 y=y0y = y_0

反过来,如果我们用水平线去切这个圆,每个 y0(r,r)y_0 \in (-r, r) 也对应两个 xx 值。所以不管你试图写成 y=f(x)y = f(x) 还是 x=g(y)x = g(y),都会遇到同样的问题——一个输入,两个输出

论证二:竖直直线检验法

这时候,咕噜举起了手:

老师,有没有一个一般的方法来判断一个图形是不是函数的图像?

好问题!确实有这样一个方法,叫做竖直直线检验法

我用这个方法来检验圆:

步骤:取圆 x2+y2=r2x^2 + y^2 = r^2r>0r > 0),任取 x0(r,r)x_0 \in (-r, r),考虑竖直直线 x=x0x = x_0

代入圆的方程得 x02+y2=r2x_0^2 + y^2 = r^2,即 y2=r2x02y^2 = r^2 - x_0^2

因为 x0<r|x_0| < r,所以 r2x02>0r^2 - x_0^2 > 0,从而 y=±r2x02y = \pm\sqrt{r^2 - x_0^2}

这两个 yy 值不同(一个为正、一个为负),因此竖直直线 x=x0x = x_0 与圆有两个不同的交点:

P1=(x0,r2x02),P2=(x0,r2x02)P_1 = \left(x_0, \sqrt{r^2 - x_0^2}\right), \quad P_2 = \left(x_0, -\sqrt{r^2 - x_0^2}\right)

由竖直直线检验法,圆不是任何函数 y=f(x)y = f(x) 的图像

论证三:具体例子——单位圆上的”一对多”

为了让论证更具体,我决定用 r=1r = 1单位圆来算几个例子。

r=1r = 1。圆的方程为 x2+y2=1x^2 + y^2 = 1。我们来列个表。

我在黑板上画了一个表格:

xx 的值代入方程得到的 yy有几个 yy
0002+y2=10^2 + y^2 = 1y=±1y = \pm 12 个
12\dfrac{1}{2}14+y2=1\dfrac{1}{4} + y^2 = 1y=±32±0.866y = \pm\dfrac{\sqrt{3}}{2} \approx \pm 0.8662 个
22\dfrac{\sqrt{2}}{2}12+y2=1\dfrac{1}{2} + y^2 = 1y=±22±0.707y = \pm\dfrac{\sqrt{2}}{2} \approx \pm 0.7072 个
111+y2=11 + y^2 = 1y=0y = 01 个
1-11+y2=11 + y^2 = 1y=0y = 02 个(重叠)

你们看,除了 x=±1x = \pm 1 这两个端点,其他每个 xx 都对应两个 yy 值。函数要求每个 xx 只对应一个 yy——圆在绝大多数点上都不满足这个要求。

阿普若有所思:

所以……函数是一条”不能回头”的曲线?每个 xx 只能走一次?

这是一个很形象的理解!函数图像上,水平方向不能有”折返”。但圆是一个闭合的曲线——它回到了起点,所以必然会”经过同一个 xx 两次”。

论证四:从函数图像的角度理解

让我们反过来想。一个函数 y=f(x)y = f(x) 的图像,有什么不可能做到的事情?

我在黑板上画了几条函数曲线,然后画了一个圆:

函数图像(可以的):          函数图像(不可以的)——圆:

    |     /                     |
    |    /|                     ●●●
    |   / |                   ●     ●
    |  /  |                  ●       ●
    | /   |                   ●     ●
    |/    |                     ●●●
    +-----|--→ x                |
                                   |

函数图像可以上升、可以下降、可以弯曲、可以波动——但它绝对不能竖直地折回来。因为它一旦折回来,就意味着同一个 xx 对应了两个不同的 yy,就不再是函数了。

而圆呢?圆在左侧从下往上走,经过最高点后又从上往下走——它在水平方向上折回来了。圆在右侧也一样。所以圆的图像一定会被某条竖直直线穿过两次。

贝塔忽然说:

老师,如果我不把圆整个看作函数,而是把圆切成两半呢?上半圆单独看,不就是一个函数吗?

我笑着点头:

你说得太好了!这正是我们接下来要走的路。但在走这条路之前,让我先把”圆不是函数”这件事说透。

小结:圆与函数的本质矛盾

我把今天的核心矛盾总结在黑板上:

咕噜举手:

等一下。你说的”闭合”是什么意思?非闭合的曲线就一定是函数吗?

不一定。“闭合”只是圆不是函数的一个原因。一条非闭合的曲线也可能不是函数——比如一条 S 形曲线也可以在水平方向上折返。关键不在于闭不闭合,而在于有没有在水平方向上折返。闭合的曲线一定会折返,所以一定不是函数;但折返的曲线不一定闭合。

明白了。所以竖直直线检验法才是最根本的判据。

没错。

结论与应用

本节结论

通过代数论证、几何论证和竖直直线检验法,我们严格证明了以下结论:

应用一:理解”方程”与”函数”的区别

这个问题不只是关于圆的,它触及了一个更深刻的数学区分——方程函数的区别。

我把两者的关系列成表格:

特征方程 F(x,y)=0F(x,y) = 0函数 y=f(x)y = f(x)
一个 xx 可以对应几个 yy任意个数恰好一个
是否允许”水平折返”?允许不允许
能否描述圆?x2+y2=r2x^2 + y^2 = r^2不能
能否描述直线?ax+by=cax + by = c大多数y=abx+cby = -\dfrac{a}{b}x + \dfrac{c}{b},当 b0b \neq 0

应用二:很多常见图形都不是函数

圆并不是唯一”不是函数”的图形。以下图形也通不过竖直直线检验:

图形方程为什么不是函数?
x2+y2=r2x^2 + y^2 = r^2一个 xx 对应两个 yy(上下对称)
椭圆x2a2+y2b2=1\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1同理,y=±b1x2a2y = \pm b\sqrt{1 - \dfrac{x^2}{a^2}}
双曲线x2a2y2b2=1\dfrac{x^2}{a^2} - \dfrac{y^2}{b^2} = 1y=±bx2a21y = \pm b\sqrt{\dfrac{x^2}{a^2} - 1}
”8”字形y2=x2x4y^2 = x^2 - x^4某些 xx 对应两个 yy,且图像闭合
竖直直线x=cx = c所有 yy 都对应同一个 xx

我指着表格说:

这些图形有一个共同特点——它们方程中的 yy高次y2y^2y4y^4 等)的形式出现,解出来就得到多个 yy 值。

应用三:哪些曲线是函数?

作为对比,我也列出了几条函数的曲线:

曲线函数形式特点
直线y=2x+1y = 2x + 1每个 xx 唯一对应一个 yy
抛物线y=x2y = x^2虽然弯曲,但不折返
正弦曲线y=sinxy = \sin x波浪形,但不闭合
双曲线(一支)y=1xy = \dfrac{1}{x}x>0x > 0只取右上那一支

阿普注意到了一个关键点:

等等——双曲线 x2a2y2b2=1\dfrac{x^2}{a^2} - \dfrac{y^2}{b^2} = 1 不是函数,但它的一支 y=bax2a2y = \dfrac{b}{a}\sqrt{x^2 - a^2}xax \geq a)就是函数了?

正是如此!你发现了破解难题的线索——虽然整体不是函数,但局部可能是

预告:我们要寻找新的工具

我走到黑板前,写下三个问题:

问题 A:既然圆不能用函数 y=f(x)y = f(x) 表示,那我们该怎么办?

问题 B:贝塔刚才说”把圆切成两半,上半圆就是函数”——这个想法能行吗?

问题 C:圆的方程 x2+y2=r2x^2 + y^2 = r^2 本身虽然不是函数,但它确实描述了圆。有没有一种比函数更”宽松”的工具,能专门处理这类”方程但不函数”的情况?

我对学生们说:

下节课,我们将回答问题 C——学习一种叫做隐函数的新概念。它允许我们保留 x2+y2=r2x^2 + y^2 = r^2 这种方程的形式,同时仍然能做类似”求导数”这样的函数操作。

再下节课,我们将回答问题 B——学习分段函数,看看怎么把圆拆成两个函数来表示。

但今天,我想让你们记住一件事——

我在黑板上写下最后一句话:

发现”不能用”和发现”能用”一样重要。知道函数的局限,才能找到突破局限的方法。

呼噜星人的收获

下课铃响了。学生们三三两两地围过来。

阿普第一个说话:

今天最大的收获是——我真正理解了”函数”是什么。以前我觉得函数就是”一个公式”,今天我才知道它有一个非常严格的要求:一个输入,一个输出,不许含糊

贝塔推了推他的装饰眼镜:

我最喜欢的是竖直直线检验法。它太直观了——拿一条竖直线去扫,只要碰到两次以上,就不是函数。不需要算什么,一眼就能看出来。

伽玛想了想说:

我觉得最有意思的是那个对比——方程和函数的区别。圆有方程 x2+y2=r2x^2 + y^2 = r^2,描述得很清楚,但它不是函数。这说明方程的世界比函数的世界大得多。函数只是方程世界中一个很小的、有特殊规则的角落。

咕噜最后总结:

我觉得今天这节课的本质是发现问题。我们不是在解决问题,而是在精确地描述一个困难——圆不能用函数表示。但正因为把这个困难说清楚了,后面才能有针对性地找工具。就像呼噜星人说的:先承认无知,再追求知识

我笑着在黑板上写下最后一行字,作为今天的总结:

圆不是函数——这个”不是”,恰恰是通往更深数学世界的第一扇门。

学生们带着新的困惑和期待离开了教室。我知道,当他们下次学到隐函数和分段函数时,今天种下的这颗”问题”的种子,就会生根发芽。

搜索