微分形式的应用II讲述.doc

微分形式的应用II 1 平面上曲线的密切圆，隐函数情形 二维空间上一条曲线用函数表示为 一个圆表示为 则两条曲线有交点条件是 两条曲线相切条件是 这里所以采用意思将作常数看待。 两条曲线密切条件 具体地 由，可设 代入得到 代入，可得 可以计算得到 密切圆心轨迹为 ，其中 注意这里选择作为密切条件，如果选择也是一样的，原因在于，如果在某点处，那么有成正比。证明如下 命题1：如果 那么有 同时 与成比例。 这可以从微分形式与任意一个矢量场上投影看出 比如 选 再如 在处，，，有，那么在处有，见图形，在红色虚线处两族等值曲线（分别对应直线和抛物线）相切。 命题2：如果 那么，，也是线性相关的， 而且，，是两两线性相关的。 证明： 让微分形式在矢量上投影，就可以证明 两边外积，有 因此与相关，同样可以证明，也是线性相关的。 命题3：微分形式在空间某点上为0 在这一点上， 与成比例。 证明： 这可以从微分形式在这点与任意一个矢量场上投影看出 例如 在上都满足 选择 命题4，如果在某点 那么在这一点那么，，是线性相关的，且，，是两两线性相关的。 2 平面上曲线的密切条件 两条曲线密切的另外一种理解，计算微分时将参数当作常数 ，两条曲线在某点有公共点条件 ，两条曲线在某点相切条件 即 ，两条曲线在某点密切条件 这里以圆作为标准曲线的例子，实际上，任意曲线都可以作标准，计算密切参数，比如用双曲线作标准也可。 上图就是计算的密切圆心轨迹, 及在处的密切圆。 3 平面上曲线的密切圆，参数描述情形 平面曲线用广义参数描述为 这里表示参数，消去后可以恢复第一节的情形 这里我们不这样做。 圆方程同样是 明显与圆在某点有交点的条件为 与圆在某点相切的条件为 与圆在某点相密切的条件为 等效地表达为（因为在这点两两线性相关） 下面以简单 为例计算 求解得到 得到 这就是参数方程表示的平面曲线的曲率半径及密切圆心坐标的计算公式 4 3维空间上曲线的密切球 定义空间曲线 球 相交条件 相切条件 密切条件 可以求出密切球半径，球心位置 例如 可以看出，密切球有无穷个，因为有无穷多球都通过这个圆，最小的球的球心（），球半径为2. 5 3维空间曲面的密切球 定义空间曲线 球 相交条件（有公共曲线） 相切条件（有公共面） 即 可以求出密切球半径 令 计算得到 代入可以计算 例如 计算得到在（0,0,0）处的两个曲率为 对应 和 两个密切球。