圆的法包线
字数 2642 2025-10-30 08:32:53
圆的法包线
圆的法包线是指圆上所有点的法线(垂直于该点切线的直线)的包络线。换句话说,当你画出圆上每一点的法线时,这些法线会共同相切于一条特定的曲线,这条曲线就是该圆的法包线。
我们可以通过一个简单的步骤来理解它:
- 首先,想象一个半径为 \(r\) 的圆,设其圆心在原点,那么它的方程为 \(x^2 + y^2 = r^2\)。
- 在圆上任取一点 \(P\),坐标为 \((r\cos\theta, r\sin\theta)\)。这一点的切线斜率可以通过求导得到,其斜率为 \(-\cot\theta\)。
- 因此,在点 \(P\) 的法线,其斜率是切线斜率的负倒数,即 \(\tan\theta\)。所以,这条法线的方程可以写为:\(y - r\sin\theta = \tan\theta (x - r\cos\theta)\)。
- 为了找到这些法线的包络线,我们需要一个更通用的方法。将法线方程改写为:\(F(x, y, \theta) = x\sin\theta - y\cos\theta = 0\)。这个方程描述了所有法线构成的直线族,参数是 \(\theta\)。
- 根据包络线的求法,我们需要联立两个方程。第一个是直线族方程本身:\(F(x, y, \theta) = 0\)。
- 第二个方程是 \(F\) 对参数 \(\theta\) 的偏导数等于零:\(\frac{\partial F}{\partial \theta} = x\cos\theta + y\sin\theta = 0\)。
- 现在,我们有一个方程组:
- \(x\sin\theta - y\cos\theta = 0\) ...(1)
- \(x\cos\theta + y\sin\theta = 0\) ...(2)
- 为了从这个方程组中消去参数 \(\theta\),我们可以将方程(1)和(2)分别平方后相加:
- \((x\sin\theta - y\cos\theta)^2 + (x\cos\theta + y\sin\theta)^2 = 0^2 + 0^2\)
- 展开左边:\(x^2\sin^2\theta - 2xy\sin\theta\cos\theta + y^2\cos^2\theta + x^2\cos^2\theta + 2xy\sin\theta\cos\theta + y^2\sin^2\theta = x^2(\sin^2\theta + \cos^2\theta) + y^2(\cos^2\theta + \sin^2\theta)\)
- 因为 \(\sin^2\theta + \cos^2\theta = 1\),所以得到:\(x^2 + y^2 = 0\)。
- 这个结果 \(x^2 + y^2 = 0\) 只在原点 \((0, 0)\) 成立,这似乎与我们的直观感受不符。问题出在哪里?实际上,对于圆心在原点的圆,其所有法线都会经过圆心。这些法线并不是与一条曲线相切,而是全部相交于一个点(圆心)。因此,这个圆的法包线实际上退化为一个点,即圆心。
现在,让我们考虑一个更一般的情况,来揭示法包线的真正形态。我们考虑一个更一般的圆,其圆心不在原点,例如圆心在点 \((a, 0)\),半径为 \(r\)。这个圆的参数方程为 \(x = a + r\cos\theta, y = r\sin\theta\)。
- 点 \(P\) 处的切线斜率为 \(-\cot\theta\)(通过求导可得),所以法线斜率为 \(\tan\theta\)。
- 因此,法线方程可以写为:\(y - r\sin\theta = \tan\theta (x - a - r\cos\theta)\)。
- 将方程两边乘以 \(\cos\theta\) 来化简:\(y\cos\theta - r\sin\theta\cos\theta = (x - a - r\cos\theta)\sin\theta\)。
- 整理后得到法线族方程:\(x\sin\theta - y\cos\theta - a\sin\theta = 0\)。...(1)
- 现在,我们求 \(F(x, y, \theta) = x\sin\theta - y\cos\theta - a\sin\theta\) 对 \(\theta\) 的偏导数:
\(\frac{\partial F}{\partial \theta} = x\cos\theta + y\sin\theta - a\cos\theta = 0\)。...(2) - 我们再次联立方程(1)和(2)来消去参数 \(\theta\)。
- 将方程(1)和(2)分别改写一下:
- (1): \((x - a)\sin\theta - y\cos\theta = 0\)
- (2): \((x - a)\cos\theta + y\sin\theta = 0\)
- 这是一个关于 \(\sin\theta\) 和 \(\cos\theta\) 的线性齐次方程组。为了有非零解(\(\sin\theta\) 和 \(\cos\theta\) 不能同时为零),方程组的系数行列式必须为零:
\(\begin{vmatrix} x-a & -y \\ y & x-a \end{vmatrix} = (x-a)^2 + y^2 = 0\)。 - 这个结果再次给出了一个点 \((a, 0)\),即圆心。这证实了我们的结论:对于一个标准的圆而言,其法包线就是它的圆心。因为所有法线都相交于圆心。
那么,什么时候法包线才是一条真正的“线”或曲线呢?一个非常有趣且重要的推广是曲线的渐屈线。
- 圆的渐屈线确实是其圆心(一个点)。但对于更复杂的曲线,比如椭圆,其法包线(即渐屈线)就是一条非常优美的曲线。
- 我们可以这样定义:一条平面曲线的渐屈线,就是其所有法线的包络线。同时,它也是该曲线所有曲率中心的轨迹。
- 对于圆来说,其上每一点的曲率中心都是同一个点——圆心。所以圆的渐屈线退化为一个点。
- 总结来说,圆的法包线是其渐屈线的一个特例,这个渐屈线退化为圆心这个点。理解圆的法包线是理解更一般的曲线渐屈线概念的基础。