椭圆方程的几何性质.docxVIP

椭圆方程的几何性质 今天的《中学》采用了椭圆形的第一个定义，并以该点为出发点，并通过两个月的两个月导出了标准的椭圆方程。由于我们熟悉该推理，请不考虑椭圆方程是否已经发展了。此外，还有其他改进方法。历史上数学和数学教科书的作者是如何定义这些问题的？本文件试图回答这些问题。 1 椭圆方程的起源和发展 众所周知, 古希腊人先从圆柱或圆锥的截痕中发现了椭圆及其几何性质.公元前3世纪, 阿波罗尼斯 (Apollonius) 在《论圆锥曲线》第1卷命题21中明确给出了椭圆的基本性质:从椭圆上两点分别向直径作两条线段与共轭直径平行, 则两线段的平方比等于直径上两条相应线段乘积之比. 阿波罗尼斯是从一般斜圆锥 (底为圆, 顶点为底面所在平面外一点) 上获得这一性质的.如图1, SMN为圆锥的轴截面三角形, 一个平面与底面所在平面的交线垂直于MN, 该平面截圆锥得一椭圆, AB为它的一条直径.延长AB, 交MN的延长线于C, 作SF∥AC.过椭圆上任意一点P向AB引线段PQ, 与上述平面与底面交线平行;过Q作DE∥MN, 交圆锥与D、E, 过DE和PQ的平面截圆锥得一圆.于是 因此,为一常数 (等于通径与直径之比) . 欧几里得和阿基米得都已熟知该性质, 他们同时也知道, 这个常数即为椭圆长短半轴的平方比. 据此, 若从椭圆上任一点P向长轴AB引垂线, 垂足为Q, 则为常数, 如图2所示.在椭圆方程的历史上, 该性质起着十分重要的作用, 曾在解析几何诞生后的相当长时期内, 左右着椭圆方程的形式 17世纪法国数学家费马 (P.de Fermat, 1601~1665) 在《平面与立体轨迹引论》中证明, 方程 表示椭圆, 费马依据的就是古希腊数学家所熟知的椭圆的基本性质. 与阿波罗尼斯类似, 17世纪英国数学家沃利斯 (J.Wallis, 1616~1703) 在其《圆锥曲线论》中从圆锥上导出椭圆的基本性质, 但用代数语言来表达(以椭圆左顶点为原点) : 其中e、d分别为椭圆上点的纵、横坐标, l和t分别为椭圆的通径和长轴.这等价于我们今天的 沃利斯首次将椭圆定义为满足上述二次方程的平面曲线. 17世纪荷兰数学家德·维特 (J.de Witt, 1625~1672) 在其《曲线基础》 (该书曾被誉为历史上第一部解析几何教材) 中给出了两类椭圆方程: 德·维特首先从几何上推导椭圆的基本性质, 然后证明方程 (4) 表示具有该性质的曲线.德·维特还证明了如下命题:平面上到两定点距离之和等于常数的动点轨迹为椭圆. 费马和德·维特都没有明确说明方程 (2) 和 (4) 中常数 (k、l/g) 的几何意义 (虽然他们一定是知道的) , 这使得17世纪的椭圆方程与今天的标准形式相隔一步之遥. 18世纪初, 法国数学家居西尼 (N.Guisnée) 出版《代数在几何上的应用》, 书中仍然用几何方法来推导椭圆的方程.如图3, 假设SEF是一个圆锥, 平面截圆锥得到椭圆ACBD;AB为长轴.设AB的中点为O, 过点O且平行于圆柱底面的平面, 截圆锥得圆CGDH, 与椭圆交于C、D两点, 于是CD即为椭圆的短轴.设P为椭圆上任意一点, 过P且平行于圆柱底面的平面截圆锥得直径为MN的圆PMN, MN于AB交于Q.设OQ=x, PQ=y, OA=OB=a, OC=OD=b.由三角形AOH和AQN、三角形OGB和QMB的相似性得 相乘得, 由相交弦定理得, 即 19世纪的部分解析几何著作, 如美国数学家柯芬 (J.H.Coffin, 1806~1873) 的《圆锥曲线与解析几何基础》, 干脆直接利用椭圆基本性质来推导椭圆方程.柯芬给出的方程形式是: 到了20世纪, 具有悠久历史传统的古希腊几何方法完全被抛弃, 椭圆知识的原始发生过程与椭圆方程之间彻底失去了联系. 2 代第三方流域 尽管阿波罗尼斯在《圆锥曲线》中已经发现椭圆的焦半径性质, 但在17世纪以前, 人们所用的椭圆定义仍然是古希腊人的原始定义——圆锥截线定义.18世纪初, 法国数学家洛必达 (M.de L’Hospital, 1661~1704) 在其《圆锥曲线分析》中彻底抛弃了古希腊人的原始定义, 在推导椭圆方程时也完全摆脱了几何方法.和今天的教材一样, 洛必达将椭圆定义为平面上到两定点距离之和等于常数的动点轨迹, 据此推导椭圆方程.如图4, 设长轴AB=2a, 短轴CD=2b, 焦距F1F2=2c, 点P (x, y) 为椭圆上任意一点.因PF1+PF2=2a, 故设 其中z为待定参数.这种设法被称为“和差术”, 它可以在古代两河流域的数学中找到渊源;而古希腊数学家丢番图在其《算术》中频繁用于二次方程的求解.利用两点之间距离公式, 洛必达有 (8) - (9) 得4az=4cx, 故得 将 (10) 代入 (8