丹德林球
![](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/1/18/Dandelin_spheres.svg/330px-Dandelin_spheres.svg.png)
在几何学中,丹德林球是指一个或两个球体,它们与圆锥相切,同时也与另一个与此圆锥相交的平面相切。圆锥与平面的截㡾则形成圆锥曲线,而任一球体与平面相接的点则是圆锥曲线的焦点。因此丹德林球有时也称为焦球。
丹德林球是在 1822 年发现的。[1] 它是为纪念法国数学家当德兰·皮埃尔·丹德林(Germinal Pierre Dandelin)而名, 但朗伯·阿道夫·雅克·凯特勒 也有部分贡献。[2]
丹德林球的用途,通常是用来为已阿波罗尼奥斯所知的两个定理提供优雅的现代证明。第一个定理是,所有与两个固定点(焦点)的距离之和是常数的点,其轨迹是闭合圆锥曲线(即椭圆)。第二个定理是,对于任圆锥曲线,到定点(焦点)的距离与到定线(准线)的距离成正比,比例常数称为偏心率。 [3]
圆锥曲线的每个焦点都会有一个丹德林球。椭圆有两个丹德林球,它们会相切于相同的锥体,而双曲线则有两个丹德林球,却是接触相反的锥体。抛物线则只有一个丹德林球。
截面曲线到焦点的距离之和为定值的证明
解释如下,设 S 为此圆锥的顶点,平面 e 与此圆锥交于曲线 C(蓝色区域)。以下则证明 C 是椭圆。
放置两个棕色的丹德林球G1 和 G2,皆与平面和圆锥相交,上面的为G1,下面的为G2。而两个球体与锥体相切的点形成圆形(白色的部分),分别记为 与 。
将 G1 与此平面的切点记为 F1 ;类似地,用于G2 与F2。P 为曲线 C 上一点。
需要证明:当 P 沿著截面曲线 C 移动时, 仍是定值(椭圆的定义之一)。
- 将 P 与圆锥顶点 S 作一直线,与 G1 和 G2 分别交于 P1 和 P2 。
- 将 P 移动时,P1 和 P2 则沿著两个圆移动,且其距离 是定值。
- P 和 F1 的距离会等同于 P 到 P1 的距离,因为线段 PF1 和 PP1 都相切于G1。
- 基于对称性,P 到 F2 的距离,等于 P 到 P2 的距离,因为线段 PF2 和 PP2 都相切于G2
- 于是,我们计算出其距离和 是定值。
这是用以证明阿波罗尼奥斯定理的另一个证明。
如果我们定义椭圆为与两交点的距离和为定义的 P 的集合,则上述论述证明了此曲线确实是椭图。此面,平面与圆锥截痕会以 F1 和 F2 的中垂线对称这论述,看起来像是违反直觉,但此方法则让其显而易见。的则是因为焦点可互换。
![](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/3/30/Zylinder-dandelin.svg/220px-Zylinder-dandelin.svg.png)
同样是平面和圆锥的截面,上述论述也可改编后适用于双曲线和抛物线。另一个改编则是将椭圆理解为平面于垂直圆柱体的截面。
焦点-准线性质的证明
丹德林球同样也可用来发现圆锥截面的准线。每个丹德林球与㘣锥相切的点会形成圆形,而由这些圆形可定义出它的所在的平面且平行。 而它们与原平面的截痕则会是平行线,此即为准线。然而,抛物线则会有一个丹德林球,因此只有一个准线。
使用丹德林球,可以证明此截痕:“与焦点的距离和准线的距离成比例”。[4] 古希腊数学家,如阿波罗尼奥斯 ,认知到此性质,而丹德林球则给出了证明。[3]
但丹德林或Quetelet 都没使用丹德林球来证明此属性。第一个如此做的人可能是 1829 年的 Pierce Morton[5],又或者可能是 Hugh Hamilton (bishop) 在 1758 年时记下的“一个与圆锥相切于球,可用来定义了一个新平面,与原平面的截痕即为准线”。[1][6][7][8]而焦点-准线性质也可提供一个简单的作法,可以用来证明克卜勒定律。[9]
外部链接
- ^ 1.0 1.1 Dandelin, G. Mémoire sur quelques propriétés remarquables de la focale parabolique [Memoir on some remarkable properties of the parabolic focale [i.e., oblique strophoid]. Nouveaux mémoires de l'Académie royale des sciences et belles-lettres de Bruxelles. 1822, 2: 171–200 [2021-10-28]. (原始内容存档于2021-11-13) (法语).
- ^ Godeaux, L. Le mathématicien Adolphe Quetelet (1796-1874). Ciel et Terre. 1928, 44: 60–64 [2021-10-28]. (原始内容存档于2021-10-28) (法语).
- ^ 3.0 3.1 Heath, Thomas. A History of Greek Mathematics, page 119 (focus-directrix property) (页面存档备份,存于互联网档案馆), page 542 (sum of distances to foci property) (页面存档备份,存于互联网档案馆) (Clarendon Press, 1921).
- ^ Brannan, A. et al. Geometry, page 19 (页面存档备份,存于互联网档案馆) (Cambridge University Press, 1999).
- ^ Numericana's Biographies: Morton, Pierce. [2021-10-29]. (原始内容存档于2022-01-21).
- ^ Morton, Pierce. Geometry, Plane, Solid, and Spherical, in Six Books, page 228 (页面存档备份,存于互联网档案馆) (Baldwin and Cradock, 1830).
- ^ Morton, Pierce. On the focus of a conic section. Transactions of the Cambridge Philosophical Society. 1830, 3: 185–190 [2021-10-29]. (原始内容存档于2021-11-03).
- ^ Hamilton, Hugh. De Sectionibus Conicis. Tractatus Geometricus. In quo, ex Natura ipsius Coni, Sectionum Affectiones facillime deducuntur. Methodo nova. [On conic sections. A geometric treatise. In which, from the nature of the cone itself, relations of sections are most easily deduced. By a new method.]. London, England: William Johnston. 1758: 122–125 (拉丁语). Liber (book) II, Propositio (proposition) XXXVII (37).
- ^ Hyman, Andrew. "A Simple Cartesian Treatment of Planetary Motion", European Journal of Physics, Vol. 14, page 145 (页面存档备份,存于互联网档案馆) (1993).