离心率与三族的统一定义
椭圆、双曲线、抛物线各有一套定义,看上去互不相干。离心率把三者接上:到焦点的距离与到准线的距离之比恒为常数 , 落在哪一段就是哪一族曲线。
1 · 离心率的两种读法
对椭圆与双曲线,:焦距与长轴长之比。椭圆的 故 ;双曲线的 故 ;抛物线约定 。
这个比值刻画的是「形状」而非「大小」:把整条曲线按同一比例放大, 与 同倍增长, 不变。椭圆的 越接近 越扁,越接近 越圆;双曲线的 越大,两支张得越开(渐近线的斜率 随之增大)。
| 曲线 | 焦点数 | 准线数 | 与 、、 的关系 | |
|---|---|---|---|---|
| 圆 | (中心) | 无(退到无穷远) | ||
| 椭圆 | ||||
| 抛物线 | 只有 | |||
| 双曲线 |
2 · 以焦点与准线给出的统一定义
定理 2.1 给定一点 、一条不过 的直线 与一个正数 ,则满足 的点 的轨迹是: 时椭圆, 时抛物线, 时双曲线。 是焦点, 是准线。
椭圆与双曲线的准线在标准位置下是 ,即 。抛物线的定义式 就是定理 2.1 取 的情形,前一节的定义并非另一套,而是这一套的一个取值。
圆是 的极限:准线退到无穷远( 的分母趋于零),比值定义随之失效,所以圆通常单列。实现里把 的准线列表置空,而不是让 流进后续计算。
3 · 极坐标下的一个方程
以焦点为极点,三族共用同一个方程:
其中 是半通径。对应的准线是 :把 整理即得上式,故曲线上每点都满足定理 2.1 的比值条件。
连续变化时这个方程画出的曲线连续变形: 时 走满一圈得到闭合的椭圆; 时分母在 处为零,曲线在那个方向上跑向无穷,闭不上,成为抛物线; 时分母在两个 处为零,那两个方向就是渐近方向,曲线断成一支。三族的分野因此不是三套定义,而是同一个式子里分母何时取零。
4 · 取点时必须跳过的那些角
时分母 在某些 处为零, 在那里无界。数值实现有三处要处理:
其一,分母接近零时不能照算。
时 polarPoint 返回 null,由调用方跳过——照算会得到
量级的坐标,连线时在画布上留下一道横贯全图的直线。
其二, 的角要丢掉。 时分母在一段角区间内为负,算出的 为负,对应的点落在极点另一侧——那是另一支上的点,且极角与实际方向相差 。本页只画一支,故直接丢弃。
其三,断开处必须真的断开路径。把跳过的角当作「不存在的点」而继续同一条路径,两侧的点就会被一条线段连起来。polarPaths 因此返回多段,每段各自成一条路径。
注 · 这三条都不是抛物线 / 双曲线特有的麻烦,而是「用极坐标画无界曲线」的通例。同样的处理出现在双曲线的两支上(见 双曲线与渐近线 §3):两支若合成一条路径,画出来就是两支之间凭空多一根连线。
5 · 参考文献
- Eccentricity (mathematics). Wikipedia. 离心率的定义与三族的对应。https://en.wikipedia.org/wiki/Eccentricity_(mathematics)
- Conic section. Wikipedia. 以焦点与准线给出的统一定义,及极坐标方程。https://en.wikipedia.org/wiki/Conic_section
- Directrix. Wolfram MathWorld. 准线的位置与 的来历。https://mathworld.wolfram.com/ConicSectionDirectrix.html