献给业余数学之王:澄清对费马原理的误解

标签: 业余 数学 费马原理 | 发表时间:2011-08-17 19:47 | 作者:(author unknown) Adam
出处:http://www.guokr.com/

2011年8月17日,是费马(Pierre de Fermat)诞辰410周年。今天, 谷歌推出新涂鸦——费马大定理以纪念这位最专业的业余数学家。

/gkimage/n9/q2/nd/n9q2nd.png

除了费马大定理,相信大家也一定都听说过费马原理。它通常被表述为过空间中两定点的光,实际路径总是光程(或者时间)最短。费马原理是一条十分令人着迷的原理,从它可以推导出光的直线传播定律、反射定律和折射定律,几乎包含了几何光学的全部内容。然而,对于这个原理,很多人都存在着或多或少的误解,这是由于费马原理表述有误造成的。在今天这个有纪念意义的日子里,本文就来一一澄清。

首先说明一点,在费马原理的表述中,光程和光传播所用的时间是等效的,因为这两个量之比就是真空中的光速c。所以本文中后面只说光程而不说时间。

百度百科的不靠谱说法

不妨先看看 百度百科 给出的费马原理的定义:光波在两点之间传递时,自动选取费时最少的路径。这是一种很常见的错误表述,只要看下面这个平面镜反射的例子就知道了。

/gkimage/8u/st/el/8ustel.png

从A发出的光线,经过平面镜的反射到达B点,这条光线必然是可以真实存在的。可是这是光程最短的路径吗?显然不是,从A发出直接到达B的光线光程更短。所以使用“最小”一词是绝对错误的,费马原理其实是个局域性的原理,所有诸如最小的词均应当替换为极小。只要光程取极小值,无论是否是最小,它都是真实存在的光线。

用“极值”表述正确吗

那如果费马原理表述成:过两个定点的光总走光程极小的路径,是不是就正确了呢?其实这仍是一种错误的表述。光程取极小值只是一种常见情形,也存在其他情形。

首先举一个光程是定值的例子,如下图的椭圆形反射镜。

/gkimage/8c/qp/wy/8cqpwy.png

从椭圆的一个焦点A出发的光线,经过椭圆形镜子上任意一点的反射,一定会汇聚到另一个焦点B。这是因为椭圆的数学性质保证了这样光线的反射角一定等于入射角。在这个例子当中,任何一条真实光线都不是极小值了,因为不管反射点是椭圆上的哪个点,光程都是定值(是椭圆的定义:到两定点的距离之和为常值的点的轨迹)。

再举一个光程取极大值的例子,如下图:

/gkimage/yd/hy/1g/ydhy1g.png

图中A、B是蓝色椭圆的两个焦点,在椭圆内任取一条黑色曲线为镜面。假设椭圆对称轴上的O点为黑色曲线和蓝色椭圆的切点。根据椭圆的性质,我们可以知道过O点的黑色光线确为真实光线。而在镜面上随意选取O’作为反射点形成的红色光线,则比黑色光线光程更短(只要记得椭圆的定义并注意到黑色曲线在椭圆内部即可知道这一点)。然而红色光线却并不满足反射角等于入射角,也就说它并非真实的光线。因此在这个例子中,光选取的路径实际上取了极大值。

什么是最正确的表述

那如果费马原理表述成:过两个定点的光总走光程为极大值、极小值或者定值的路径,是不是就正确了呢?这是物理专业课本中的表述,但仍然不够准确。仍以上图为例,说黑色光线取了极大值,其实是不准确的。因为只要本该是直线的光线稍微一弯曲,光程就会变得更长,从这个角度来讲,这又是一种极小值了。所以单说它是极大值还是极小值都不够准确。理解这种既极大又极小的函数也很简单,看看双曲抛物面的形状就可以了

/gkimage/3r/g1/az/3rg1az.png

上图的P点,就既是极大值点又是极小值点(也可以说它二者都不是)。而费马原理中的光程,往往和这种情形类似。

因此如果把以上种种情形都考虑进去的话,费马原理将被叙述得很长。但其实在数学上有一种表述方法既准确又精炼,那就是:过两个定点的光总走光程的一阶变分为零的路径。

至于什么是变分,可以做如下理解:变分之于泛函,就相当于微分之于函数。而泛函则是函数的函数(以函数为自变量的特殊的函数),因为光线的路径本身是函数,而光程又是路径这个函数的函数,因此光程是泛函。所谓一阶变分为零,其实就和一阶导数为零意思相近。这种表述就自动包括了取极小值、极大值、定值、拐点这些种种情况了。

最后,为了更加严谨,突出费马原理的充分必要性,其实费马原理的最准确表述应该是:过两个定点的光走且仅走光程的一阶变分为零的路径。

费马原理最早由费马在1660年提出,阐述了光沿着所需时间为平稳的路径传播这一重要事实。但现在由于表述的不严谨,让人们对它的理解出现了很多偏差。

“我发现了一个美妙的证明,但由于空白太小而没有写下来。”——谨以此文纪念伟大的业余数学家之王——皮埃尔•德•费马。

相关 [业余 数学 费马原理] 推荐:

献给业余数学之王:澄清对费马原理的误解

- Adam - 果壳网 guokr.com - 果壳网
2011年8月17日,是费马(Pierre de Fermat)诞辰410周年. 今天, 谷歌推出新涂鸦——费马大定理以纪念这位最专业的业余数学家. 除了费马大定理,相信大家也一定都听说过费马原理. 它通常被表述为过空间中两定点的光,实际路径总是光程(或者时间)最短. 费马原理是一条十分令人着迷的原理,从它可以推导出光的直线传播定律、反射定律和折射定律,几乎包含了几何光学的全部内容.

使网站显得业余的10个错误

- - 可乐橙
创建自己的网站对于资金拮据的企业主似乎是个好主意. 可以以后再找设计师,等你的创业项目取得了一定的地位,那时你才会开始考虑这些无意义的事情. 事实证明,对于初具雏形的业务,设计远比你想象得重要. 当你运营线上业务时,访客的判断往往取决于设计中的小细节. 他们对一些主流品牌已经产生了信任. 除非你在头几秒就吸引住他们,否则他们就走了.

数学,传奇?

- cindy - 粉红小猪
   在国内就老是听到传奇,说是中国的数学有多么多么的好,国外的数学有多么多么的撇,还把这里的学生的数学,说得跟弱智一样,过来一看,都哪跟哪啊,这边的人还啭中国高中生呢:“微积分都不懂.   这边的数学书,搞得跟百科全书一样厚,都基本上没办法带回家,只能放学校个人的柜子里,是国内数学书的3-5倍厚重,从测量的历史开始写,图片跟历史地理一样漂亮,不大像数学书……我带回家给我爸看了一眼,他说:难怪学生不能自己拥有书,只能用完了下届学生继续用,这得多高的成本啊.

【外刊IT评论网】你在业余时间都开发过什么?

- atu0830 - 外刊IT评论
本文是从 What have you developed in your spare time. 这多年来,我面试过很多程序员,最近,我在思考一个事情,究竟通过一个什么样的问题能够最大的获取一个人对于编程的能力和热忱的信息. 我总结出来,只有这个问题具有最强的钻透力:. 我喜欢这个问题,因为它一次触及到了很多方面.

业余天文爱好者将能远程控制天文台望远镜

- 洞箫 - cnBeta.COM
从明年开始,业余天文爱好者仰望星空不需要只依赖个人的望远镜了. 地球上的任何人都可以通过互联网自由访问GLORIA(GLObal Robotic telescopes Intelligent Array)的望远镜.

云计算开发技术——企业级高端培训课程(业余班)

- - BlogJava-首页技术区
      云计算是一次巨大的技术变革,和PC机以及互联网的出现对于人类一样,将会彻底改变人们的工作和生活.        对于软件开发人员来说,这是一个机会,千载难逢的机会,是IT界的又一桶黄金.        大家都知道,早起的鸟儿有虫吃. 早掌握云计算开发技术的开发人员有钱赚. 云计算技术在催生了大量企业应用需求的同时,也催生了对熟悉云计算开发人才的迫切需求.

数学是数学家的墓志铭

- 李龑 - 果壳网 guokr.com - 果壳网
作者:严酷的魔王 你想在自己的墓碑上刻下什么文字. 也许对于我们来说,考虑这个问题为时尚早,但是许许多多的前辈数学家已经用自己的实际行动告诉了我们:墓碑上书写着自己的荣耀. “他生命的六分之一是幸福的童年;再活了他的生命的十二分之一,两颊长起了细细的胡子;他结了婚,又度过了一生的七分之一;再过五年,他有了儿子,感到很幸福;可是儿子只活了他全部年龄的一半;儿子死后,他在极度悲痛中度过了四年,也与世长辞了.

篮球的数学

- 猫 - Solidot
是当机立断投篮还是等待更佳良机,职员篮球运动员每场比赛都要面临多次类似的困境. 现在,明尼苏达大学理论物理学研究生Brian Skinner在arXiv.org上发表了一篇论文,向球员提供了投篮最佳时机的数学建议. Skinner是一位狂热的篮球迷,他发现篮球运动类似于交通网络中的汽车驾驶,每辆车相当于一个被球员持有的篮球,通过在网络中运动实现得分目的.