圆锥曲线是指由圆锥与平面相交所产生的曲线,包括椭圆、 双曲线 和 抛物线 。
圆锥曲线经历了论证几何、解析几何、射影理论、线代理论等多方面的研究,形成了多种定义。目前使用的主要是第一定义和第二定义(统一定义)。
圆锥曲线的统一定义指的是到定点F的距离与到定直线l的距离(F不在l上)的比e是常数的点的轨迹叫作圆锥曲线,其中e(e=c/a)是圆锥曲线的离心率,定点F是圆锥曲线的焦点,定直线l是圆锥曲线的准线。当0<e<1时为椭圆,其标准方程为x²/a²+y²/b²=1(a>b>0),准线方程为x=±a²/c(a²=b²+c²);当e=1时为抛物线,标准方程包括y²=2px等类型;当e>1时为双曲线,标准方程为x²/a²-y²/b²=1。
圆锥曲线应用广泛。 宇宙 中 天体 的运动轨迹是圆锥曲线,根据圆锥曲线性质可推算天体运动。每种圆锥曲线拥有独特的光学性质,应用于探照灯、手电筒等器件的设计中。圆锥曲线还可用于机械零件设计和位置定位等。
历史沿革
古代起源
圆锥曲线的发现和研究可能源于制作 日晷 的工作过程。在机械钟表发明之前, 人们通过测量同一物体在阳光下影子的变化来确定 太阳 的运行情况, 从而得到精确的时间,并根据这一原理制作出日 。圆锥曲线起源的另一说法是在解著名的三大 尺规作图 问题 ( 化圆为方 、倍立方和 三等分角 ) 时发现的。
公元前四世纪, 古希腊 几何学 家梅内克繆斯(Menaechmus)最早给圆锥曲线命名,并利用 抛物线 解决了“立方倍积问题”。令一个平面垂直于顶角分别是 锐角 、直角和钝角的圆锥的母线,截得的边线即是圆锥曲线。
阿波罗尼斯 ( Apollonius )第一个依据同一个圆锥的截面来研究圆锥曲线理论,也是首先发现 双曲线 有两支的人。其著作《 圆锥曲线论 》较系统地研究了圆锥曲线的性质。阿波罗尼斯从几何直观上给出了圆锥曲线静态的原始定义:用一个平面去截一个圆锥面,得到的交线就称为圆锥曲线。在《圆锥曲线论》中圆锥曲线也称为“圆锥截线”。严格来讲,得到的交线除了圆、椭圆、双曲线和 抛物线 外,还包括三种退化情形(一条直线、一个点和两条 相交 直线)。
近代发现
直到16世纪,人们发现圆锥曲线不仅是依附在圆锥面上的静态曲线,也是自然界物体运动的普遍形式。17世纪初, 约翰尼斯·开普勒 (Galilei Kepler)发现 行星 绕 太阳 运动轨迹是椭圆, 伽利略·伽利莱 (Galileo Galilei)确定抛物线轨道是抛物线等。
解析几何
解析几何以论证几何为基础,利用 坐标系 通过“几何问题→ 代数 问题→求解→反演”的方式将几何代数化,还可由已知的代数结果发现新的几何性质。解析几何的创始人 勒内·笛卡尔 和 皮耶·德·费玛 重现了圆锥曲线的理论,此后论证几何的研究方法被逐渐 弃。
约翰·沃利斯 (John Wallis)在《论圆锥曲线》中,第一次用 方程 分别定义了椭圆、 抛物线 和 双曲线 。
牛顿 ( 艾萨克·牛顿 ) 在他所著的《光学》 (1704) 中推证了圆锥曲线的 切线 和 曲率 问题及其在光学中的应用。
洛必达 在他的《圆锥曲线解析论》(1720) 中采用第一定义推导出椭圆的标准方程,同时也给出了焦点-准线定义及其统一方程。
1745年 莱昂哈德·欧拉 发表《分析引论》,给出了现代形式下圆锥曲线的系统阐述:在 勒内·笛卡尔 平面上,二元二次方程 的图象是圆锥曲线,这个二次方程包含了圆、椭圆、 双曲线 、 抛物线 以及各种退化情形。欧拉还建立极 坐标系 等坐标系,并研究圆锥曲线在各坐标系间的转换,引进了曲线的 参数方程 。
射影几何
射影几何与解析几何几乎同一时期产生,射影几何研究 几何图形 在投影变换下保持不变的性质。
创立者德萨格( Desargues )首先将射影几何思想用于研究圆锥曲线,考察它的射影性质,使圆锥曲线理论获得了新发展。他在其著作《试论锥面截一平面所得结果的初稿》 中将 圆锥曲线直观定义为圆在平面上的投影,由此将圆的性质推到任一类圆锥曲线上。德萨格通过投影和截景提供了统一处理圆锥曲线的简便方法。
早期的射影 几何学 家追求纯粹的综合法处理问题,解析几何的发展促使后来的数学家用 代数 的方法研究这一学科,获得了许多新的圆锥曲线射影性质。沿着这一方向人们开始寻求 几何图形 在不同 坐标系 下保持不变的那些性质并促成了对代数不变量的研究,这属于 代数几何 的范畴。
线性代数
线性代数产生于17、18世纪,在19世纪获得辉煌成就。它通过 向量 、矩阵和 行列式 大大简化了几何的证明和计算,使得许多几何内容被包含在其中。简言之,几何所研究的只是在线性变换下仍保持不变的坐标之间的关系, 即线性变换的 不变量理论 。线性代数中的重要内容—— 二次型 理论就是研究 向量空间 中的几何图形在不同坐标基下的矩阵表示。
1826年 奥古斯丁-路易·柯西 在其著作中给出结论:当 方程 是标准型(只含平方项)时,二次曲线(面)用二次项的符号来进行分类。 西尔维斯特 在1852年给出了n个变量的二次型的 惯性 定律。该定律说明方程通过不同变换化简成标准型时总是得到同样数目的正项和负项,即保持 惯性 指数不变。
定义
一个平面与圆锥面 相交 ,也可以说是“用一个平面去截圆锥面”,这个平面就称为截平面,它们的交线又称为截线。用一个平面去截一个圆锥面,所得截线的形态与截平面的位置有关。
从欧氏几何到解析几何,再到 射影 几何和线性代数中的 二次型 理论,圆锥曲线的定义经历了原始定义、平面上动点的轨迹定义、射影定义、标准 方程 定义、焦点-准线定义、 代数方程 的统一定义以及通过二次型的 惯性 指数进行分类研究的变化过程。
圆锥曲线的表述方式也经历了由几何静态的直观描述→几何动态的度量性质描述→射影性质的描述→代数方程的形式描述的变化过程。而研究方法从欧氏几何的纯几何综合法→射影几何的方法→以坐标为媒介的解析法→线性代数二次型的 正交变换 法,经历了由繁到简,定性研究到定量研究,再到形式研究的变化。
目前主要的有第一定义(椭圆和 双曲线 拥有)和第二定义。
第一定义
第一定义分别对不同的圆锥曲线进行了描述。
圆锥曲线的第二定义也称为统一定义。
给定一点O,一直线l以及一非负实常数 ,则到O的距离与l距离之比为e的动点P的轨迹是圆锥曲线。 称为离心率,显然 ,而圆锥曲线的轨迹与性质随 的变化而变化:
统一方程
以焦点O为原点,过O与相应准线l垂直的直线为x轴,建立直角 坐标系 (如右图)。设圆锥曲线离心率为 ,O到准线l的距离为 ,则准线方程为 。由圆锥曲线统一定义得曲线方程:
在直角坐标系中,四种曲线都是 一元二次方程 ,所以又称二次曲线。其一般二次曲线 方程 为:
下面讨论曲线方程的分类。设:
其中,当 时,曲线为椭圆形;当 时,曲线为 双曲线 形;当 时,曲线为 抛物线 形。根据 判别式 的不同,还包含了椭圆、双曲线、抛物线以及各种退化情形。详见下表:
圆锥曲线在极 坐标系 等其他坐标系下也存在统一 方程 ,可以通过其他坐标系与直角坐标系间的 坐标转换 推得。
性质
射影 几何的观点认为椭圆、抛物线和双曲线与无穷远直线分别有零个交点、一个交点和两个交点”及“双曲线、椭圆各有唯一中心且为有穷远点,而抛物线的中心为 无穷远点 ,由此得到三种曲线的互变规律。因此,如果在一种曲线上存在某一性质,那么根据演变规律,能够找到它们在另外两种曲线上的相关性质。以下讨论圆锥曲线的共同性质与不同性质。
共同性质
(1)焦点弦 中点 到焦点相应准线的距离性质:
设AB是离心率为 的圆锥曲线的焦点弦,若弦长 ,则AB中点M到焦点相应准线的距离 。
(2) 线段 关系式取最小值性质:
设圆锥曲线C的离心率为 ,焦点F对应的准线为l,A为C内一定点,P为C上一动点,点A到准线l的距离为 ,则 的最小值为 。
(3)焦点弦被焦点所分两段长的 倒数 和性质:
设AB为过圆锥曲线的一个焦点F的一条弦, 为F到其相应准线的距离, 为圆锥曲线的离心率,则 。
(4)焦点弦及其中垂线性质:
圆锥曲线C的离心率为 ,AB为过焦点F而不垂直于曲线C的对称轴的弦,且 线段 AB的中垂线交曲线C过焦点的对称轴于R,则 。
(5)四点共圆性质:
AB为过圆锥曲线C的焦点F的弦,AB的中垂线交曲线C过焦点的对称轴于R,直线RF交曲线C的焦点F相应的准线于点K,则A、K、B、R四点共圆。
椭圆
平面内到两个定点F 1 、F 2 距离之和等于 常数 2a(2a>|F 1 F 2 |)的动点P的轨迹叫做椭圆,即|PF 1 |+|PF 2 |=2a。椭圆有以下性质:
双曲线
平面上到两个不重合定点F 1 、F 2 的距离之差的 绝对值 等于常数2a的动点P的轨迹叫做 双曲线 。双曲线有以下性质:
抛物线
平面上到一个定点F与到一条定直线l(定点不在定直线上)距离 相等 的点的轨迹叫做抛物线。定点F叫做抛物线的焦点,定直线l叫做抛物线的准线。抛物线有以下性质:
相关概念
坐标变换
在不同的 坐标系 下,曲线的 方程 具有不同的形式。坐标变换的中心问题就是探讨当坐标系变化时,曲线方程的变化规律。坐标变换中出现不变量,反映了曲线固有的(与坐标系的选择无关的)性质。因此,坐标变换的目的,一是简化曲线方程从而研究曲线性质,二是把特定坐标系中曲线方程的研究成果向一般的坐标系推广。
坐标变换分两种情况:轴的平移(只改变原点位置而不改变轴的方向)和轴的旋转(只改变轴的方向而不改变原点位置)。
掌握坐标变换要注意以下几点:
(1)熟练掌握移轴化简 二次方程 的方法:待定系数法和 配方法 。
待定系数法是将平移公式代入须化简的二次方程,消去一次项,确定 、 的值,之后化简二次方程,研究曲线性质。
配方法是将二次 方程 配方,确定平移公式,之后化简方程,研究曲线性质。配方法较简便,但是需要不断思考。
(2)会用坐标平移求非标准位置的二次曲线 方程 ,可结合待定系数法使用。
(3)掌握对称轴平行于坐标轴的圆锥曲线的方程与性质。对称轴平行于坐标轴,中心( 抛物线 为顶点)在 的圆锥曲线一般形式为:
圆:
椭圆:
双曲线 :
抛物线:
其中, , , 。从变量代换角度看,将 、 看成标准 方程 中的 、 ,结合原有标准方程的结论,可推导出坐标变换后曲线方程的性质。如中心在 处椭圆焦点为F 1 、F 2 ,准线为 。
(4)二元 二次方程 参数变化时能够进行分类讨论。
轨迹问题
一个二元方程 叫做曲线C的方程,必须具备两个条件:
(1)曲线C上任意一点的坐标都是方程 的解。
(2)以方程 的任意一组解为坐标的点都在曲线C上。
由以上条件可知,圆锥曲线及其他曲线轨迹应具有 完备性 和 纯粹性 。完备性指求出的轨迹 方程 必须包含所有符合条件的点。纯粹性指轨迹方程不能包含不符合条件的点,防止扩大轨迹方程中变量的取值范围。求轨迹方程的常用方法包括:直接法、定义法、代入法(相关点法)、参数法、交轨法、代换法和 极坐标 法等。
与直线位置关系
直线与圆锥曲线的位置关系即为直线与圆锥曲线的公共点个数问题,实际也是直线与圆锥曲线组成的 方程组 是否有 实数 解和实数解个数的问题。直线与圆锥曲线位置关系分为相离、相切和 相交 。推导如下:
设直线l: ,圆锥曲线C: 。联立并消去 得 方程 ,令 ,则
(1) 等价于l与C无公共点(相离)。
(2) 等价于l与C有一个公共点(相切)。
(3) 等价于l与C有两个公共点(相交)。
特别地, 时 切点 为 ; 时,设直线l与圆锥曲线C 相交 于P、Q两点,此时弦长 ,PQ 中点 坐标为 。
二次曲面
二次曲面是三维 欧几里得空间 里坐标 、 、 之间的 二次方程 (系数a、b、c等为 实数 ,且二次项系数不全为零)表示的曲线。
阿基米德 、 阿波罗尼斯 、 海伦 等人研究过抛物镜面的反射问题,这是早期对一些特殊二次曲面的研究。部分特殊的二次曲面由圆锥曲线绕轴旋转而产生。
1731年 法国 数学家克莱罗给出某些二次曲面的求积公式,并指出 、 、 的齐次方程表示顶点在原点上的一个锥面。
1748年 欧拉 在他的《 无穷分析引论 》中研究了三个变量的一般 二次方程 ,得到六种 二次曲面 :锥面、 柱面 、 椭球 面、单叶和双叶双曲面、双曲抛物面以及抛物柱面。他主张按 方程 的次数将二次曲面分类,认为次数是线性变换下的不变量。
1842年 瑞士 数学家 施泰纳 用射影几何构造了直纹二次曲面理论。时至今日,二次曲面理论成为解析几何学的重要组成部分。
圆锥曲线绕轴旋转所得部分 曲面 如下表:
相关文化
蝴蝶问题
蝴蝶定理 (Butterfly Theorem)是古典欧氏平面几何的最精彩的结论之一。这个命题最早出现在1815年,而“蝴蝶定理”这个名称最早出现在《 美国数学月刊 》1944年2月号,题目的图形像一只蝴蝶。2001、2003、2010年高考曾多次以蝴蝶问题为背景命题。
现实应用
天文物体运动
宇宙 中 天体 的运动轨迹是圆锥曲线。 行星 绕 太阳 运动轨道是椭圆, 彗星 运动轨道分为椭圆、 双曲线 和 抛物线 三种。
对于 宇宙飞船 ,其飞行速度等于第一 宇宙速度 时轨道是一个圆,介于第一宇宙速度和第二宇宙速度之间时轨道是椭圆。等于第二 宇宙速度 时是抛物线,大于第二宇宙速度时是双曲线的一支。根据圆锥曲线性质即可推算天体或飞船的运动轨迹。
光学性质应用
在光学上,如果把光源放在抛物镜的焦点F处,那么射出的光线经抛物镜反射即可变成平行的光线。 汽车前照灯 、 探照灯 、手电筒就是根据这一原理设计。根据光路可逆性,平行光经 抛物线 反射后集中于焦点, 太阳灶 由此设计而来。
从椭圆的一个焦点发出的光线经椭圆反射后会交于另一个焦点上。 电影放映机 聚光灯泡反射镜面的部分 曲面 由椭圆绕长轴旋转而成,可以使 片门 处获得最强光线。
从 双曲线 的一个焦点发出的光线经双曲线反射后,反射光线反向延长将汇聚到另一焦点上。双曲线的应用包含双曲线型反射镜面灯泡等。
生产生活应用
许多 机械零件 和建筑物组成部分的轮廓线采用椭圆、双曲线或抛物线的一部分。
利用圆锥曲线 方程 进行定位,在军事与科学技术上应用也非常广泛。