主页 › 范文 › 数学 › 本文

Cayley卵形线的等距曲线奇点研究

摘要

文章系统研究Cayley卵形线的等距曲线(offsets)及其奇点性质。通过动态几何软件(GeoGebra)与计算机代数系统(Maple)的协同计算,揭示:1)等距曲线拓扑结构随距离剧烈变化,出现尖点、自交点等奇点;2)按离心率e=b/a将Cayley卵形线分为四类(e<1, e=1, 1<e<√3, e>√3),每类等距曲线有独特演化模式;3)提出尖点检测的曲率算法与自交点求解的数值方法,并给出Maple实现。结果首次完整描述此类8次曲线的等距奇点行为。

1. 等距曲线与研究方法

文章研究Cayley卵形线(焦点为$F_1, F_2$的8次平面曲线)的等距曲线,其定义为:

\[ \mathcal{O}_d = \left\{ B \mid \overrightarrow{AB} = d \cdot \overrightarrow{n_A}, A \in \mathcal{C} \right\} \]

其中$\mathcal{C}$为卵形线,$\overrightarrow{n_A}$为单位法向量,$d>0$为距离。核心挑战在于:卵形线光滑但等距曲线出现奇点。研究方法结合:

  1. 动态几何软件(GeoGebra):构造参数化等距曲线并可视化演化过程
  2. 符号计算(Maple):推导曲率公式、求解奇点方程
  3. 协同验证:GD的LocusEquation命令与Maple因式分解交叉验证代数方程

2. Cayley卵形线的四类拓扑形态

设焦点距离$2a$,离心率$e=b/a$,卵形线形态分类如下:

离心率范围 卵形线形态 等距曲线特征
$e < 1$ 两分离环 每环生成两平行曲线,随距离增大产生自交点
$e = 1$ 双纽线 小距离:1外环+2内环 → 大距离:斧形结构连接外扩环
$1 < e < \sqrt{3}$ 非凸Cassini型 距离增大时内曲线演化为三叶形→苹果形→沙漏形;外曲线顶部/底部出现伞状环
$e > \sqrt{3}$ 椭圆/圆形 外曲线始终平行;内曲线由平行→星形→沙漏形→卵形

3. 等距曲线的奇点分析

3.1 尖点检测(曲率法)

尖点对应参数$t$满足曲率条件:

\[ \kappa(t) = -\frac{1}{d} \quad \text{其中} \quad \kappa(t) = \frac{x'y'' - x''y'}{(x'^2 + y'^2)^{3/2}} \]

Maple实现代码核心:

\[kappa := (dx*ddy - ddx*dy)/(dx^2 + dy^2)^{(3/2)}\] \[t_cusps := solve(kappa = -1/d, t); // 过滤实数解\]

3.2 自交点检测(数值求解)

自交点(crunode)需解方程组:

\[ \begin{cases} x_I(s) = x_I(t) \\ y_I(s) = y_I(t) \end{cases} \quad (s \neq t) \]

文章采用分段区间搜索策略:对参数空间划分区间,用Maple的fsolve求局部解,避免高次方程解析解困难。

4. 计算挑战与软件协同

研究发现两大技术挑战:

  • 冗余分支问题:GD的LocusEquation生成8次方程含无效分支(如卵形线内部环),需通过焦点距离条件手动过滤
  • 绘图缺陷:奇点附近Maple绘图出现断裂(图12),因参数化在法向量翻转点不连续

解决路径依赖软件优势互补:GeoGebra动态验证几何定义,Maple处理高次方程与曲率计算。此协作模式可推广至其他高次曲线研究。

相关论文