张景中论曲线切线

本贴最后更新于 554 天前,其中的信息可能已经物是人非

原版

在可微函数 的曲线上取一点 , 则过此点的直线除了垂直于 轴的 外, 其方程可以写成 , 这里 是直线的斜率.

下面证明, 在所有过点 的直线中, 在点 附近的最接近曲线 的是 的那一条, 即图中直线 , 此外还有直线 .

是曲线 上另一点. 如图, 分别计算它到 的距离:

. 根据导数的性质存在 函数 , 使得

因为 , 故当 足够小时有 .

事实上, 为此只要

这只需要有一个 满足

就可以了. 由于 函数无正下界和单调性, 这能够实现.

参数方程版本

在可微函数 的曲线上取一点 , 则过此点的直线的方程可以写成 , 这里 不同时为 $0$, 不妨设 .

下面证明, 在所有过点 的直线中, 在点 附近的最接近曲线 的是 的那一条, 即图中直线 , 此外还有直线 .

是曲线 上另一点. 如图, 分别计算它到 的距离,其中所有双竖线是定准数的绝对值:

. 根据导数的性质存在 函数 , 使得

根据 函数的性质,这样的 总是可以找到的。故

因为 , 故当 足够小时有 .

事实上, 为此只要

也就是

就可以了. 由于 函数无正下界和单调性, 这能够实现.

隐函数版本

这……真的是有可能的吗

总之,对于曲线 , 是在任何一点 处的曲线(及其切线)的法向量.

某种意义上说,这也是隐函数定理的一部分。

在可微函数 的曲线上取一点 , 则过此点的直线的方程可以写成 , 这里 不同时为 $0$, 不妨设 .

下面证明, 在所有过点 的直线中, 在点 附近的最接近曲线 的是 的那一条, 即图中直线 , 此外还有直线 .

是曲线 上另一点. 如图, 分别计算它到 的距离:

对于二元函数的导数, 则性质应当记作: 记 . 存在一个 函数 , 使得线性映射 满足

这里的双竖线自然指的是向量的范数, 对于二元一维函数 F 来说, 不等号右边的范数是平面向量的模长, 左边是数的绝对值. 但因为是隐函数, 所以凭定义一定是 , 而 恰恰是 . 真不知道这应该说是惊人的巧合, 还是概念上的必然. 不过值得注意的是, 全导数 是一行二列的, 和法向量二行一列正相反, 不如说它们的坐标表示恰为一对互为转置的矩阵. 前文表示坐标的时候忽略了它们的矩阵应当是列向量而非行向量这一强调. 记 的法向量为 , 事实上,

可惜这次线性映射不能轻易地把 提出来。只能设对于某一族给定方向上的 为向量 在该方向上 (就是直线 方向上) 的投影长度. 不过, 因为 是直线 外的一点, 所以这个向量就不是零向量. 总之当 足够小时有 . 事实上, 为此只要

也就是

就可以了. 由于 函数无正下界和单调性, 这能够实现.

  • 数学
    32 引用 • 88 回帖 • 3 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...