椭圆为什么存在焦点和准线?

本贴最后更新于 256 天前,其中的信息可能已经时移世异

【命题】设平面直角坐标系内存在一单位圆。进行坐标变换 \begin{cases}x\mapsto ax\\y\mapsto by\end{cases} 后,圆被拉伸成椭圆。求证:存在点-直线对,使得该椭圆周上各点与该定点的距离及该直线的距离的比值为定值。

【证明】

单位圆的方程为 x^2+y^2=1 ,经过坐标变换后,使用还原思想直接判断出椭圆的方程是

\frac{x^2}{a^2}+\frac{y^2}{b^2}=1

假设定点和定直线存在。分别设为 F(x_0,y_0)l:Ax+By+C=0 (其中 A^2+B^2=1)。

设椭圆周上一点为 (x,y),其和点 F 的距离为 \sqrt{(x-x_0)^2+(y-y_0)^2} ,而和直线 ll 的距离是 |Ax+By+C|。设到点距离和到直线距离的比值为正数 e ,叫做离心率。因为都涉及根号,所以直接平方得到

[(x-x_0)^2+(y-y_0)^2]=e^2{(Ax+By+C)^2}\\

我们要使它为 \frac{x^2}{a^2}+\frac{y^2}{b^2}=1 条件下的恒等式,则可以再引入一个乘子 \lambda,使得多项式

f(x,y)=[(x-x_0)^2+(y-y_0)^2]-e^2(Ax+By+C)^2+\lambda(x^2/a^2+y^2/b^2-1)\\

恒为零。为此我们需要展开这个多项式,然后提取关于 x,y 各项的系数。因为计算量较大,这一步交给计算机进行。展开的结果是

f(x,y)=\left(1-A^2e^2+\frac\lambda{a^2}\right)x^2-2ABe^2xy+\left(1-B^2e^2+\frac\lambda{b^2}\right)y^2+\left(-2 A C e^2 - 2 x_0\right)x+\left(-2 B C e^2 - 2 y_0\right)y+\left(x_0^2 +y_0^2 -C^2 e^2-\lambda\right)\equiv0

首先, xy 项系数 -2ABe^2=0。考虑到不希望看到 e=0 的退化情况,所以这一定意味着 A=0 或者 B=0 ,也就是准线一定垂直于椭圆的某条轴。

x^2 项的系数 1-A^2 e^2+\frac{\lambda }{a^2}= 0y^2 项的系数 1-B^2 e^2+\frac{\lambda}{b^2}=0 联立消去乘子 \lambda ,得到

a^2-b^2=(A^2a^2-B^2b^2)e^2

这个关于 e 的方程不一定有解。分类讨论。

a>b

该方程左边为正。为使右边为正,必须 B=0 ,从而 A=1 。也就是准线垂直于长轴。此时

e=\sqrt{\frac{a^2-b^2}{a^2}}

而且 \lambda=-b^2

a<b

该方程左边为负。为使右边为负,必须 A=0 ,从而 B=1 。也就是准线垂直于长轴。(注意 b>a )此时

e=\sqrt{\frac{b^2-a^2}{b^2}}

而且 \lambda=-a^2

a=b。此时 e=0 。这本来就是圆,离心率等于 0。

其实分类讨论要继续持续到底的。但是因为结构上是如此的对称,所以我们不妨设 a>b 并把 ① 的证明过程接续下去。而把 ② 的证明接续下去的证法留做习题。

我们已经从三个二次项中回收了之前引入的乘子,并且破解了准线的方向和离心率的表达式,接下来就是确定焦点的位置和准线通过的点。

y 项的系数 -2 B C e^2 - 2 y_0=0 中立刻得到 y_0=0 。也就是说焦点在长轴所在直线上。

x 项的系数 -2 A C e^2 - 2 x_0=0 中得到 x_0=-Ce^2 。值得注意的是,准线与长轴所在直线的交点恰恰是 (-C,0)

从常数项 x_0^2 +y_0^2 -C^2 e^2-\lambda=0 ,代入之前各项即可求得值。事实上,代入 B=0, y_0=0 ,式子就化简为 x_0^2-\frac{\lambda}{A^2}-(\frac{C}{A}e)^2=0 ,再代入 A=1, \lambda=-b^2 ,式子就化简为 x_0^2+b^2=(Ce)^2 ,再代入 x_0=-Ce^2e^2=\frac{a^2-b^2}{a^2} ,解得

\begin{cases}x_1=\sqrt{a^2-b^2}\\C_1=-\dfrac{a^2}{\sqrt{a^2-b^2}}\end{cases}, \begin{cases}x_2=-\sqrt{a^2-b^2}\\C_2=\dfrac{a^2}{\sqrt{a^2-b^2}}\end{cases}

因此,一个椭圆存在两对焦点-准线,使得椭圆周各点到焦点距离和到准线的距离等于定值。

a 为半长轴, b 为半短轴, c=\sqrt{a^2-b^2} 为半焦距, (\pm a,0),(0,\pm b) 为椭圆的四个端点,那么椭圆的焦点为 (\pm c,0),对应的准线为 x\mp\frac{a^2}c=0

  • 数学
    18 引用 • 77 回帖 • 2 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • JSON

    JSON (JavaScript Object Notation)是一种轻量级的数据交换格式。易于人类阅读和编写。同时也易于机器解析和生成。

    51 引用 • 190 回帖
  • 强迫症

    强迫症(OCD)属于焦虑障碍的一种类型,是一组以强迫思维和强迫行为为主要临床表现的神经精神疾病,其特点为有意识的强迫和反强迫并存,一些毫无意义、甚至违背自己意愿的想法或冲动反反复复侵入患者的日常生活。

    15 引用 • 161 回帖 • 4 关注
  • 机器学习

    机器学习(Machine Learning)是一门多领域交叉学科,涉及概率论、统计学、逼近论、凸分析、算法复杂度理论等多门学科。专门研究计算机怎样模拟或实现人类的学习行为,以获取新的知识或技能,重新组织已有的知识结构使之不断改善自身的性能。

    76 引用 • 37 回帖
  • 书籍

    宋真宗赵恒曾经说过:“书中自有黄金屋,书中自有颜如玉。”

    76 引用 • 390 回帖
  • OkHttp

    OkHttp 是一款 HTTP & HTTP/2 客户端库,专为 Android 和 Java 应用打造。

    16 引用 • 6 回帖 • 54 关注
  • Flume

    Flume 是一套分布式的、可靠的,可用于有效地收集、聚合和搬运大量日志数据的服务架构。

    9 引用 • 6 回帖 • 596 关注
  • 开源中国

    开源中国是目前中国最大的开源技术社区。传播开源的理念,推广开源项目,为 IT 开发者提供了一个发现、使用、并交流开源技术的平台。目前开源中国社区已收录超过两万款开源软件。

    7 引用 • 86 回帖
  • ZeroNet

    ZeroNet 是一个基于比特币加密技术和 BT 网络技术的去中心化的、开放开源的网络和交流系统。

    1 引用 • 21 回帖 • 592 关注
  • 音乐

    你听到信仰的声音了么?

    59 引用 • 509 回帖
  • 工具

    子曰:“工欲善其事,必先利其器。”

    275 引用 • 682 回帖
  • Quicker

    Quicker 您的指尖工具箱!操作更少,收获更多!

    20 引用 • 74 回帖 • 1 关注
  • 学习

    “梦想从学习开始,事业从实践起步” —— 习近平

    161 引用 • 473 回帖
  • Shell

    Shell 脚本与 Windows/Dos 下的批处理相似,也就是用各类命令预先放入到一个文件中,方便一次性执行的一个程序文件,主要是方便管理员进行设置或者管理用的。但是它比 Windows 下的批处理更强大,比用其他编程程序编辑的程序效率更高,因为它使用了 Linux/Unix 下的命令。

    122 引用 • 73 回帖
  • Bootstrap

    Bootstrap 是 Twitter 推出的一个用于前端开发的开源工具包。它由 Twitter 的设计师 Mark Otto 和 Jacob Thornton 合作开发,是一个 CSS / HTML 框架。

    18 引用 • 33 回帖 • 684 关注
  • Oracle

    Oracle(甲骨文)公司,全称甲骨文股份有限公司(甲骨文软件系统有限公司),是全球最大的企业级软件公司,总部位于美国加利福尼亚州的红木滩。1989 年正式进入中国市场。2013 年,甲骨文已超越 IBM,成为继 Microsoft 后全球第二大软件公司。

    103 引用 • 126 回帖 • 446 关注
  • RYMCU

    RYMCU 致力于打造一个即严谨又活泼、专业又不失有趣,为数百万人服务的开源嵌入式知识学习交流平台。

    4 引用 • 6 回帖 • 41 关注
  • Thymeleaf

    Thymeleaf 是一款用于渲染 XML/XHTML/HTML5 内容的模板引擎。类似 Velocity、 FreeMarker 等,它也可以轻易的与 Spring 等 Web 框架进行集成作为 Web 应用的模板引擎。与其它模板引擎相比,Thymeleaf 最大的特点是能够直接在浏览器中打开并正确显示模板页面,而不需要启动整个 Web 应用。

    11 引用 • 19 回帖 • 318 关注
  • Kotlin

    Kotlin 是一种在 Java 虚拟机上运行的静态类型编程语言,由 JetBrains 设计开发并开源。Kotlin 可以编译成 Java 字节码,也可以编译成 JavaScript,方便在没有 JVM 的设备上运行。在 Google I/O 2017 中,Google 宣布 Kotlin 成为 Android 官方开发语言。

    19 引用 • 33 回帖 • 27 关注
  • SVN

    SVN 是 Subversion 的简称,是一个开放源代码的版本控制系统,相较于 RCS、CVS,它采用了分支管理系统,它的设计目标就是取代 CVS。

    29 引用 • 98 回帖 • 692 关注
  • 笔记

    好记性不如烂笔头。

    304 引用 • 777 回帖
  • WebClipper

    Web Clipper 是一款浏览器剪藏扩展,它可以帮助你把网页内容剪藏到本地。

    3 引用 • 9 回帖 • 5 关注
  • Swift

    Swift 是苹果于 2014 年 WWDC(苹果开发者大会)发布的开发语言,可与 Objective-C 共同运行于 Mac OS 和 iOS 平台,用于搭建基于苹果平台的应用程序。

    34 引用 • 37 回帖 • 499 关注
  • NetBeans

    NetBeans 是一个始于 1997 年的 Xelfi 计划,本身是捷克布拉格查理大学的数学及物理学院的学生计划。此计划延伸而成立了一家公司进而发展这个商用版本的 NetBeans IDE,直到 1999 年 Sun 买下此公司。Sun 于次年(2000 年)六月将 NetBeans IDE 开源,直到现在 NetBeans 的社群依然持续增长。

    78 引用 • 102 回帖 • 643 关注
  • GitHub

    GitHub 于 2008 年上线,目前,除了 Git 代码仓库托管及基本的 Web 管理界面以外,还提供了订阅、讨论组、文本渲染、在线文件编辑器、协作图谱(报表)、代码片段分享(Gist)等功能。正因为这些功能所提供的便利,又经过长期的积累,GitHub 的用户活跃度很高,在开源世界里享有深远的声望,并形成了社交化编程文化(Social Coding)。

    207 引用 • 2031 回帖
  • Ant-Design

    Ant Design 是服务于企业级产品的设计体系,基于确定和自然的设计价值观上的模块化解决方案,让设计者和开发者专注于更好的用户体验。

    17 引用 • 23 回帖 • 3 关注
  • 新人

    让我们欢迎这对新人。哦,不好意思说错了,让我们欢迎这位新人!
    新手上路,请谨慎驾驶!

    51 引用 • 226 回帖
  • Sphinx

    Sphinx 是一个基于 SQL 的全文检索引擎,可以结合 MySQL、PostgreSQL 做全文搜索,它可以提供比数据库本身更专业的搜索功能,使得应用程序更容易实现专业化的全文检索。

    1 引用 • 179 关注