丹德林球

在几何学中，丹德林球是指一个或两个球体，它们与圆锥相切，同时也与另一个与此圆锥相交的平面相切。圆锥与平面的截痕则形成圆锥曲线，而任一球体与平面相接的点则是圆锥曲线的焦点。因此丹德林球有时也称为焦球。

丹迪林双球与切过㘣锥的淡黄色平面相切。

丹德林球是在 1822 年发现的。^[1] 它是为纪念法国数学家当德兰·皮埃尔·丹德林（Germinal Pierre Dandelin）而名, 但朗伯·阿道夫·雅克·凯特勒 也有部分贡献。^[2]

丹德林球的用途，通常是用来为已阿波罗尼奥斯所知的两个定理提供优雅的现代证明。第一个定理是，所有与两个固定点（焦点）的距离之和是常数的点，其轨迹是闭合圆锥曲线（即椭圆）。第二个定理是，对于任圆锥曲线，到定点（焦点）的距离与到定线（准线）的距离成正比，比例常数称为偏心率。 ^[3]

圆锥曲线的每个焦点都会有一个丹德林球。椭圆有两个丹德林球，它们会相切于相同的锥体，而双曲线则有两个丹德林球，却是接触相反的锥体。抛物线则只有一个丹德林球。

截面曲线到焦点的距离之和为定值的证明

解释如下，设 S 为此圆锥的顶点，平面 e 与此圆锥交于曲线 C（蓝色区域）。以下则证明 C 是椭圆。

放置两个棕色的丹德林球G₁ 和 G₂，皆与平面和圆锥相交，上面的为G₁，下面的为G₂。而两个球体与锥体相切的点形成圆形（白色的部分），分别记为${\displaystyle k_{1}}$ 与 ${\displaystyle k_{2}}$。

将 G₁ 与此平面的切点记为 F₁ ；类似地，用于G₂ 与F₂。P 为曲线 C 上一点。

需要证明：当 P 沿着截面曲线 C 移动时，${\displaystyle d(P,F_{1})+d(P,F_{2})}$ 仍是定值（椭圆的定义之一）。

• 将 P 与圆锥顶点 S 作一直线，与 G₁ 和 G₂ 分别交于 P₁ 和 P₂ 。
• 将 P 移动时，P₁ 和 P₂ 则沿着两个圆移动，且其距离 ${\displaystyle d(P_{1},P_{2})}$ 是定值。
• P 和 F₁ 的距离会等同于 P 到 P₁ 的距离，因为线段 PF₁ 和 PP₁ 都相切于G₁。
• 基于对称性，P 到 F₂ 的距离，等于 P 到 P₂ 的距离，因为线段 PF₂ 和 PP₂ 都相切于G₂
• 于是，我们计算出其距离和 ${\displaystyle d(P,F_{1})+d(P,F_{2})\ =\ d(P,P_{1})+d(P,P_{2})\ =\ d(P_{1},P_{2})}$ 是定值。

这是用以证明阿波罗尼奥斯定理的另一个证明。

如果我们定义椭圆为与两交点的距离和为定义的 P 的集合，则上述论述证明了此曲线确实是椭图。此面，平面与圆锥截痕会以 F₁ 和 F₂ 的中垂线对称这论述，看起来像是违反直觉，但此方法则让其显而易见。的则是因为焦点可互换。

Cylinder case

同样是平面和圆锥的截面，上述论述也可改编后适用于双曲线和抛物线。另一个改编则是将椭圆理解为平面于垂直圆柱体的截面。

焦点－准线性质的证明

丹德林球同样也可用来发现圆锥截面的准线。每个丹德林球与㘣锥相切的点会形成圆形，而由这些圆形可定义出它的所在的平面且平行。 而它们与原平面的截痕则会是平行线，此即为准线。然而，抛物线则会有一个丹德林球，因此只有一个准线。

使用丹德林球，可以证明此截痕：“与焦点的距离和准线的距离成比例”。^[4] 古希腊数学家，如阿波罗尼奥斯 ，认知到此性质，而丹德林球则给出了证明。^[3]

但丹德林或Quetelet 都没使用丹德林球来证明此属性。第一个如此做的人可能是 1829 年的 Pierce Morton^[5]，又或者可能是 Hugh Hamilton (bishop) 在 1758 年时记下的“一个与圆锥相切于球，可用来定义了一个新平面，与原平面的截痕即为准线”。^[1][6][7][8]而焦点－准线性质也可提供一个简单的作法，可以用来证明开普勒定律。^[9]