logo
简体中文

导航菜单

一个圆的数学漫游

导数的引入

大家好！我是地球老师。今天我们来到了微分学的第一课——导数的引入。我知道呼噜星的朋友们对数学都很严格，所以今天我会用最严谨的方式，从圆的切线问题出发，为大家揭开导数的神秘面纱。

问题提出

“地球老师！“呼噜星小明举手问道，“我们都知道圆的切线是与圆只有一个交点的直线，但你凭什么说这就是切线的数学定义呢？凭什么说切线一定垂直于半径呢？”

这个问题问得非常好！确实，凭直观感觉我们不能称之为严格的数学定义。让我们来重新思考：如何用数学语言精确地定义一条曲线的切线？

想象一下，在圆上取一个固定点 P0P_0，再取一个临近的点 P1P_1。连接 P0P_0 和 P1P_1 的直线就是割线。当点 P1P_1 沿着圆周不断向 P0P_0 靠近时，割线会不断变化，最终趋近于一个极限位置——这就是切线！

同样，对于任意曲线 y = f(x)，在点 (x0,f(x0))(x_0, f(x_0)) 处，我们可以取一个临近的点 (x0+h,f(x0+h))(x_0 + h, f(x_0 + h))，连接这两点的割线斜率为：

f(x0+h)−f(x0)h\frac{f(x_0 + h) - f(x_0)}{h}

当 h 趋近于 0 时，如果这个斜率的极限存在，我们就得到了切线的斜率！

这就是导数的几何意义：函数在某点的导数等于该点处切线的斜率。

现在让我们先来研究圆的切线特点，然后再推广到一般函数。

观察与猜想

我画了一个圆，圆心在原点 O(0,0)，半径为 r。圆的方程是： x2+y2=r2x^2 + y^2 = r^2

取圆上一点 P0(x0,y0)P_0(x_0, y_0)，满足 x02+y02=r2x_0^2 + y_0^2 = r^2。

现在让我们计算圆上割线的斜率，看看会发生什么。

设 Q(x0+h,y0+k)Q(x_0 + h, y_0 + k) 是圆上另一点，那么： (x0+h)2+(y0+k)2=r2(x_0 + h)^2 + (y_0 + k)^2 = r^2

展开后： x02+2x0h+h2+y02+2y0k+k2=r2x_0^2 + 2x_0h + h^2 + y_0^2 + 2y_0k + k^2 = r^2

由于 P0P_0 也在圆上，所以 x02+y02=r2x_0^2 + y_0^2 = r^2，代入上式： r2+2x0h+h2+2y0k+k2=r2r^2 + 2x_0h + h^2 + 2y_0k + k^2 = r^2

化简得到： 2x0h+h2+2y0k+k2=02x_0h + h^2 + 2y_0k + k^2 = 0

当 hh 很小时，kk 也很小，我们可以忽略高阶小项 h2h^2 和 k2k^2，近似得到： 2x0h+2y0k≈02x_0h + 2y_0k \approx 0

所以： k≈−x0y0hk \approx -\frac{x_0}{y_0}h

割线 PQ 的斜率为： kh≈−x0y0\frac{k}{h} \approx -\frac{x_0}{y_0}

现在，当 h→0h \to 0 时，Q→P0Q \to P_0，割线 PQ 的斜率趋近于： mtangent=−x0y0m_{tangent} = -\frac{x_0}{y_0}

现在看半径 OP0OP_0 的斜率： mradius=y0−0x0−0=y0x0m_{radius} = \frac{y_0 - 0}{x_0 - 0} = \frac{y_0}{x_0}

神奇的事情发生了！ mtangent⋅mradius=(−x0y0)⋅(y0x0)=−1m_{tangent} \cdot m_{radius} = \left(-\frac{x_0}{y_0}\right) \cdot \left(\frac{y_0}{x_0}\right) = -1

这说明切线的斜率与半径的斜率乘积为 -1，因此它们互相垂直！

这就是为什么我们直观上觉得圆的切线”垂直于半径”的原因。现在我们有了数学证明！

“可是老师，“呼噜星小红问，“你的证明中有近似处理，这不够严格啊！”

说得对！刚才的证明确实不够严格，因为我们忽略了 h2h^2 和 k2k^2 这些高阶小项。让我们来做一个严格证明！

严格证明

我们需要严格证明：对于圆 x2+y2=r2x^2 + y^2 = r^2，在点 P0(x0,y0)P_0(x_0, y_0) 处的切线斜率为 −x0y0-\frac{x_0}{y_0}，从而切线垂直于半径。

切线的严格定义

函数 ff 在点 x0x_0 处的导数定义为： f′(x0)=lim⁡h→0f(x0+h)−f(x0)hf'(x_0) = \lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} 如果这个极限存在，则称函数在点 x0x_0 处可导，这个极限值就是导数。

首先，我们把圆的方程表示为函数形式。对于上半圆： y=r2−x2y = \sqrt{r^2 - x^2}

我们需要证明这个函数在 x0x_0 处可导，并且导数为： f′(x0)=x0r2−x02=x0y0f'(x_0) = \frac{x_0}{\sqrt{r^2 - x_0^2}} = \frac{x_0}{y_0}

等等，这里有个符号问题。让我重新推导：

对于上半圆：y=r2−x2y = \sqrt{r^2 - x^2}

f′(x0)=lim⁡h→0r2−(x0+h)2−r2−x02hf'(x_0) = \lim_{h \to 0} \frac{\sqrt{r^2 - (x_0 + h)^2} - \sqrt{r^2 - x_0^2}}{h}

这是一个 0/0 型的不定式，我们可以使用有理化的方法：

=lim⁡h→0[r2−(x0+h)2−r2−x02][r2−(x0+h)2+r2−x02]h[r2−(x0+h)2+r2−x02]= \lim_{h \to 0} \frac{[\sqrt{r^2 - (x_0 + h)^2} - \sqrt{r^2 - x_0^2}][\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}]}{h[\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}]}

=lim⁡h→0[r2−(x0+h)2]−[r2−x02]h[r2−(x0+h)2+r2−x02]= \lim_{h \to 0} \frac{[r^2 - (x_0 + h)^2] - [r^2 - x_0^2]}{h[\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}]}

=lim⁡h→0r2−x02−2x0h−h2−r2+x02h[r2−(x0+h)2+r2−x02]= \lim_{h \to 0} \frac{r^2 - x_0^2 - 2x_0h - h^2 - r^2 + x_0^2}{h[\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}]}

=lim⁡h→0−2x0h−h2h[r2−(x0+h)2+r2−x02]= \lim_{h \to 0} \frac{-2x_0h - h^2}{h[\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}]}

=lim⁡h→0−2x0−hr2−(x0+h)2+r2−x02= \lim_{h \to 0} \frac{-2x_0 - h}{\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}}

当 h→0h \to 0 时： =−2x02r2−x02=−x0r2−x02=−x0y0= \frac{-2x_0}{2\sqrt{r^2 - x_0^2}} = -\frac{x_0}{\sqrt{r^2 - x_0^2}} = -\frac{x_0}{y_0}

完美！我们得到了严格的证明：圆上半圆在点 (x0,y0)(x_0, y_0) 处的切线斜率为 −x0y0-\frac{x_0}{y_0}。

对于下半圆：y=−r2−x2y = -\sqrt{r^2 - x^2}，类似地可以证明： f′(x0)=lim⁡h→0−r2−(x0+h)2+r2−x02hf'(x_0) = \lim_{h \to 0} \frac{-\sqrt{r^2 - (x_0 + h)^2} + \sqrt{r^2 - x_0^2}}{h}

=lim⁡h→0r2−x02−r2−(x0+h)2h= \lim_{h \to 0} \frac{\sqrt{r^2 - x_0^2} - \sqrt{r^2 - (x_0 + h)^2}}{h}

=x0r2−x02=x0−y0=−x0y0= \frac{x_0}{\sqrt{r^2 - x_0^2}} = \frac{x_0}{-y_0} = -\frac{x_0}{y_0}

所以无论是上半圆还是下半圆，切线斜率都是 −x0y0-\frac{x_0}{y_0}。

现在半径 OP0OP_0 的斜率为： mradius=y0−0x0−0=y0x0m_{radius} = \frac{y_0 - 0}{x_0 - 0} = \frac{y_0}{x_0}

切线斜率与半径斜率的乘积： mtangent⋅mradius=(−x0y0)⋅(y0x0)=−1m_{tangent} \cdot m_{radius} = \left(-\frac{x_0}{y_0}\right) \cdot \left(\frac{y_0}{x_0}\right) = -1

这证明了两条直线互相垂直！

现在我们已经从圆的切线问题出发，成功地引入了导数的概念。让我们把导数的定义正式化：

导数的定义

设函数 f(x)f(x) 在点 x0x_0 的某个邻域内有定义。如果极限 lim⁡h→0f(x0+h)−f(x0)h\lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} 存在，则称这个极限值为函数 f(x)f(x) 在点 x0x_0 处的导数，记为 f′(x0)f'(x_0) 或 dfdx∣x=x0\frac{df}{dx}\big|_{x=x_0}。

如果函数 f(x)f(x) 在点 x0x_0 处可导，则曲线 y=f(x)y = f(x) 在点 (x0,f(x0))(x_0, f(x_0)) 处有切线，切线的斜率为 f′(x0)f'(x_0)。

结论与应用

通过今天的学习，我们学到了：

  1. 导数的几何意义：函数在某点的导数等于该点处切线的斜率
  2. 圆的切线性质：圆的切线垂直于过切点的半径
  3. 导数的计算方法：通过极限 lim⁡h→0f(x0+h)−f(x0)h\lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} 来计算

导数的引入是微积分学的重要里程碑。它不仅告诉我们如何求切线，更重要的是，它为我们研究函数的变化率提供了工具。

“老师，“呼噜星小刚问，“导数除了求切线还有什么用呢？”

问得好！导数的应用非常广泛：

  1. 物理学：速度是位移对时间的导数，加速度是速度对时间的导数
  2. 经济学：边际成本是总成本对产量的导数，边际收益是总收益对产量的导数
  3. 优化问题：通过求导找到函数的极值点
  4. 近似计算：用切线来近似函数值

让我们来看一个具体的例子。假设我们有一个函数 f(x)=x2f(x) = x^2，我们来求它在任意点 x0x_0 处的导数：

f′(x0)=lim⁡h→0(x0+h)2−x02hf'(x_0) = \lim_{h \to 0} \frac{(x_0 + h)^2 - x_0^2}{h}

=lim⁡h→0x02+2x0h+h2−x02h= \lim_{h \to 0} \frac{x_0^2 + 2x_0h + h^2 - x_0^2}{h}

=lim⁡h→02x0h+h2h= \lim_{h \to 0} \frac{2x_0h + h^2}{h}

=lim⁡h→0(2x0+h)=2x0= \lim_{h \to 0} (2x_0 + h) = 2x_0

所以 f(x)=x2f(x) = x^2 的导数是 f′(x)=2xf'(x) = 2x。

这意味着，对于抛物线 y=x2y = x^2，在任意点 (x0,x02)(x_0, x_0^2) 处的切线斜率都是 2x02x_0。

比如在点 (2,4) 处，切线斜率为 4，切线方程为： y−4=4(x−2)y - 4 = 4(x - 2) y=4x−4y = 4x - 4

在点 (-1,1) 处，切线斜率为 -2，切线方程为： y−1=−2(x+1)y - 1 = -2(x + 1) y=−2x−1y = -2x - 1

通过求导，我们就能精确地画出曲线的切线，这对理解函数的性质非常重要。

“可是老师，“呼噜星小红问，“不是所有函数都可导啊？什么情况下函数不可导呢？”

这个问题问得很深入！确实，不是所有函数都可导。主要有以下几种情况：

  1. 函数在该点不连续：如果函数在某点不连续，那么它在该点一定不可导
  2. 函数在该点有”尖点”：比如 f(x)=∣x∣f(x) = |x| 在 x = 0 处
  3. 函数在该点有”垂直切线”：比如 f(x)=x1/3f(x) = x^{1/3} 在 x = 0 处

以 f(x)=∣x∣f(x) = |x| 为例：

  • 在 x > 0 时，f(x)=xf(x) = x，f′(x)=1f'(x) = 1
  • 在 x < 0 时，f(x)=−xf(x) = -x，f′(x)=−1f'(x) = -1
  • 在 x = 0 处： f+′(0)=lim⁡h→0+∣0+h∣−∣0∣h=lim⁡h→0+hh=1f'_+(0) = \lim_{h \to 0^+} \frac{|0 + h| - |0|}{h} = \lim_{h \to 0^+} \frac{h}{h} = 1 f−′(0)=lim⁡h→0−∣0+h∣−∣0∣h=lim⁡h→0−−hh=−1f'_-(0) = \lim_{h \to 0^-} \frac{|0 + h| - |0|}{h} = \lim_{h \to 0^-} \frac{-h}{h} = -1

由于左导数和右导数不相等，所以 f(x)=∣x∣f(x) = |x| 在 x = 0 处不可导。

呼噜星人的收获

今天这节课真是太棒了！我们从一个看似简单的几何问题”圆的切线”出发，通过严格推理，引入了微积分中最重要的概念之一——导数。

我们学到了：

  1. 几何直观：圆的切线垂直于过切点的半径
  2. 严格定义：导数是割线斜率的极限
  3. 计算方法：通过 lim⁡h→0f(x0+h)−f(x0)h\lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h} 计算导数
  4. 几何意义：导数等于切线的斜率
  5. 应用广泛：导数在物理、经济、优化等领域都有重要应用

最重要的是，我们学会了如何用数学的严谨性来证明几何直观，这正是数学之美所在！地球老师的证明虽然严谨，但让我们明白了每一个结论背后的逻辑链条。

感谢地球老师带我们进入这个美妙的数学世界！我们期待在后续的微分学课程中，继续探索导数的更多性质和应用！

下一章节 圆的切线方程 如何求圆上某点的切线方程？

搜索