数学家用很长时间证明等周问题是在追求什么?


好的,就着这个问题来讲一下等周问题。

平面上的等周问题是非常古老的问题,在维吉尔的史诗《埃涅阿斯纪》中就出现了等周问题的影子。等周定理简单概括就是,在平面上给定长度的简单闭曲线中,圆周所围的面积最大。圆这一答案看似自然而合理,但要严格地证明却并不容易,历史上研究该问题的数学家层出不穷,今天我们就开启一趟数学探索之旅,体会这些不同风格的证明方法。

撰文 |杨帆(重庆大学数学与统计学院)


著名歌剧里的数学问题

平面上的等周问题是微分几何的基本问题之一,研究历史悠久,若要完整的讲述其中的故事,我们不妨从亨利·普赛尔(Henry Purcell, 1659-1695)最著名的歌剧《狄朵与埃涅阿斯》(Dido and Aeneas)聊起。这部歌剧取材于维吉尔(Virgil)的史诗《埃涅阿斯纪》(Aeneid),演绎了迦太基(Carthagia)女王狄朵和特洛伊英雄埃涅阿斯的爱情悲剧,歌剧中女巫姐妹为了破坏他们的爱情,欺骗埃涅阿斯离开迦太基去完成一项使命,狄朵误以为他背叛了自己,于是自焚身死。

最终,他们出现在你眼前,

可以看到新迦太基建起的塔楼;

在那里买下一块土地,名叫比尔萨。

——《埃涅阿斯纪》

歌剧《狄朵与埃涅阿斯》宣传图

狄朵与埃涅阿斯的相遇其实并不浪漫,她一生命途坎坷,在此之前因丈夫被暗杀而被迫逃离故土,她一路逃亡来到北非海岸,并设法在此定居,为购买土地与当地人经历了一番讨价还价,最终得到的承诺是她只能占有一块牛皮包住的土地,于是聪慧的狄朵将牛皮切成尽可能多的细条,将细条相连成线从而围住了大片土地。在这里我们看到了等周问题的影子——在给定的周长内围住尽可能多的土地面积,遗憾的是这位潜在的女数学家选择将生命献给爱情,最终这个数学问题还是由古希腊数学家给大致解决了。

何为等周定理?即平面上定长的简单闭曲线中圆周所围的面积最大,其对偶定理与之等价,即平面上面积相等的几何图形中圆的周长最小。设 D 是长度为 L 的平面简单闭曲线,由若尔当曲线定理(即在欧式平面上,任意一条简单闭曲线 D 可把平面分成两个部分,使得同一部分的任意两点可用不与 D 相交的弧相连),曲线 D 可围成面积为 A 的有限区域,用不等式表示为

,当且仅当 D 为圆周时等号成立。

等周问题的肥皂泡实验

答案看似有理,毕竟圆是一个如此神奇的形状,但严格地证明并不容易,历史上先后有许多数学家都研究过该问题,但直到 19 世纪,才由德国数学家魏尔斯特拉斯(Weierstrass,1815-1897)首次给出了一个严谨的数学证明(参见参考文献 4)。接下来,我们就来了解几个不同时期有代表性的证明方法。


斯坦纳的证明

在正式证明之前,我们要明确等周定理的解一定是凸几何。所谓凸几何,即在某一图形内取任意两点连成线段,若线段上所有的点都在图形内,则该图形为凸几何,反之为非凸几何。

假设曲线 D 围成了一个面积最大的图形(如下图所示),用一条直线平分曲线 D 的周长,这样就得到了两段等长的曲线 D1 与 D2;之后将 D1 与 D2 分别关于直线作对称,围成新图形 A1、A2,此时 A1 与 A2 的周长与面积均相等。诶,等等,你确定面积也一定被平分吗?当然啦!如果平分周长时面积并未被平分,那么将原图形中面积更大的一半关于直线作对称,就能得到周长相等而总面积更大的图形,从而与假设矛盾。

等周问题的解一定是凸几何

不妨假设 A1 为非凸几何,可以作一条与曲线凹处相交的直线,从而得到两个交点 A 与 B,此时线段 AB 中存在 A1 以外的点,将两交点间的曲线段关于交线作对称,这样 A1 的周长不变,而面积却增大了,这意味着曲线 D 可以围成面积更大的图形,与假设矛盾。因此,简单闭凸曲线方可围成面积最大的图形,明确这一点可以大大简化证明的过程。

17 世纪以来,一批数学家们致力于在解决几何问题时尽量少的运用代数运算,而追求更具普适性的方法,雅各布·斯坦纳(Jakob Steiner,1769-1863)就是其中一位代表性人物。他在合成几何方面的研究较为权威,他认为计算妨碍了思考,而纯粹的几何学则刺激了创造性思维,在他所给出的五种对等周定理的证明中,这一态度也有所体现,我们先来领略其中两种方法的精彩之处。

Jakob Steiner,1769-1863

01

四铰链证明法

(Four-hinge Proof)

与之前的做法类似,首先用一条直线将定长条件下面积最大的图形分为周长相等的两部分,此时面积也被平分,要证明等周定理,只要证明图形平分后的两部分为半圆。

考虑上半部分曲线 D1 围成的图形 A1,运用反证法,假设 A1 不是半圆。将 D1 与分割线的交点记为 B 与 C,由直角三角形的斜边中线定理可知,半圆的内接三角形为直角三角形,而 A1 不是半圆,则 D1 上存在一点 A,与点 B、C 相连使得∠A 不是直角。接着,移动三角形底边的端点 B、C,并保持 BA、CA 的长度不变,使∠A 变为直角,这时,保持阴影部分面积不变,而三角形△ABC 面积增加,从而 A1 的面积也增加,而曲线 D1 的长度未变,因此在周长不变的情况下得到了面积更大的图形,与假设矛盾,因此上半部分为半圆,从而圆就是面积最大的图形。

02

平均边界证明法

(Mean-boundray Proof)

首先来介绍一下平均边界的概念,可以将它理解为两条给定曲线的中线,从垂直方向看,作一直线与三条曲线分别交于 A、B、C,则线段 AB 与线段 BC 等长。并且稍作计算可以发现,平均边界的长度不大于两条给定曲线长度的平均值,只有当两条曲线一样时才能取等号

平均边界

与前一种证法类似,假设曲线 D 所围图形面积最大,将其按周长平分为曲线 D1、D2(如下图所示),不妨将曲线 D2 关于分割线作对称,使两段曲线处于同一侧,D1 与 D2 所围区域分别为 A1、A2。接着作出它们的平均边界,此时,平均边界所围的面积可以表示为

其中,S(·) 表示面积,

表示两段曲线所围的重叠区域,因此平均边界所围面积为原面积的一半。但曲线 D1、D2 并不能对称重合,所以平均边界的长度小于周长的一半,按照等周定理的对偶定理,显然矛盾。因此原图形平分后的两段曲线必须在对称后重合,从而曲线所围成面积最大的图形是圆。

斯坦纳等一众数学家的努力让大众相信,脱离了代数与分析的数学仍旧是强大的武器,但我们同时又会如此真切地感受到几何与方程碰撞产生的奇妙结果。因为下文会用到面积公式,不妨先用几何的方法来推导一下。

三角形的面积谁都会算,但换一种思路,运用几何直观便可得到另一种表达方式。首先引入三角形的外接矩形,之后按照填补色块的思路简单推导就得到的另一种形式的面积公式。若将三角形顶点置于平面坐标系的第一象限中,逆时针方向赋予顶点坐标,则三角形面积为 A=(x1y2-x2y1)/2。

对多边形可以进行类似的推广,若将 n 边形置于第一象限,以逆时针方向看各顶点坐标为 (0, 0),(x1, y1), ..., (xn-1, yn-1),则该 n 边形的面积为

将其转化为积分的形式就是:

每每提到计算平面图形的面积,总会条件反射似的想到格林公式(Green Formula,即

),而几何的方式又给我们提供了另一种理解方式。值得一提的是,斯坦纳的证明皆是基于解的存在性假设,这一点使他的证明并不严谨,甚至有同行用歌剧中狄朵的最后一句话来调侃他:“铭记我,但啊,忘了我的命运吧。”(Remember me, but ah! Forget my fate.)如此看来,几何方法还需要与其他数学知识相结合才能更好地发挥其效用,因此在十九世纪与其他数学学派的竞争中,以斯坦纳为首的坚持纯几何方法的学派明显处于了劣势。


后斯坦纳时代

此后,存在性的问题一直无人能解,直到 1879 年魏尔斯特拉斯在一次讲座中证明了解的存在性,从而使等周问题拥有了第一个严谨的证明。完整地证明解的存在性是非常困难的,连魏尔斯特拉斯自己都感慨:“这个问题实在是太难了,以至于它被认为几乎不能被完成。”因此本文对此就不进行深入的介绍了。

在证明了解的存在性的后斯坦纳时代,数学家们对等周问题的研究似乎多了些底气,下面介绍了两种不同的证明方法,我们不妨体会一下不同风格的证明之美。

01

变分法证明

Jakob Bernoulli (1654-1705) 和 Johann Bernoulli (1667-1748)

变分法最先由约翰·伯努利(Johann Bernoulli)于 1696 年提出,起初是为了解决物理中的最速降线问题,雅克布·伯努利(Jakob Bernoulli)知道后也开始潜心研究,这个问题同时也吸引了欧拉、牛顿等数学家的注意,在一众数学家的共同努力下,变分法的研究不断取得突破。值得一提的是这伯努利两兄弟的关系,哥哥雅各布一生匆匆五十载,而其中的三十年都用在了和弟弟进行学术争论上,在我们后人看来,正是他们对科学不断的探讨争执,才促进了科学的发展与进步。

等周问题非常简洁,所给的条件只有定长这一个,若把面积最大理解为求极值,那么用变分法处理就显得非常自然。变分法的核心思想是找到一个函数 y(t),求得与之相关的泛函

的极值。

在解决等周问题时,我们就需要找到曲线 t→(x(t), y(t)),在给定周长

的条件下,使面积

最大化,运用拉格朗日乘子法(Lagrange Multiplier Method)构造函数:

并求出

的极值。

变分法的关键是欧拉方程(Euler Equation),即通过使一阶导为零求得极值点,分别化简 x 与 x’ 的欧拉方程求得最终解,这显然是圆参数方程的一种形式。

02

投影法证明

施密特( Erhard Schmidt)的投影法证明方法的独特之处在于,运用投影的方法将不规则图形与圆周相联系,具体做法是将简单闭曲线α所围成的区域夹在两平行直线之间,在两直线间作一半径为 r 的圆周β,以圆心为原点,y 轴与直线平行建立平面直角坐标系,令

,这样就可以计算它们各自的面积。其中,s 为曲线α的弧长参数,A 为曲线α围成的面积。

将原曲线投影到圆周上

将两者面积相加,运用柯西不等式进行放缩,在计算过程中需要注意一个隐含条件,因为对原曲线作了弧长参数化处理,则有弧长参数 x'2+y'2=1,计算时可进行化简,最终求得等周不等式,当等号成立时 A= πr2,L=2πr,因此原曲线围成的就是一个圆。

说了这么多,等周定理到底有什么用呢?利用最短的线围出最大的面积是其在日常生活中最为常见的应用。等周定理不像莫比乌斯环、哥尼斯堡七桥问题、四色问题等这么为人熟知,但它在推动学术研究上具有重要价值,例如该定理可用来进行特征值估计,解决流体机械中的流化作用相关的问题等。感兴趣的小伙伴可以进行更深入的研究。(参见《2018 年菲尔兹奖得主:在自然里寻找稳定性的旅行者》)

回顾等周定理的各种证明,数学家和文学家的思维一样敏锐而自由,同样的事物在他们眼中会变成不同的风景,不同的方法让我们可以从不同的角度去理解同一个事实,这往往引导出数学上不同的发展。

王国维在《人间词话》中将词分为有我之境与无我之境,借用丘成桐先生的观点,数学研究当然也有境界的概念,在某种程度上也可谈有我之境、无我之境。等周问题生发于现实中的买地问题,由生活引导,可谓无我之境;但随后数学家们不懈的证明推动理论的发展,可谓有我之境矣。

参考文献

[1] math.berkeley.edu/~hutc.

[2] v.qq.com/x/page/j0915p3.

[3] Viktor Blasjo. The Evolution of The Isoperimetric Problem. The Mathematical Association of America. 2005.

[4] K. Weierstrass. Mathematische Werke. Mayer and Muller. Berlin. Vol.7. 1927.

[5] 沈一兵. 整体微分几何初步. 高等教育出版社. 2009.

力的传递是否超越了光速?(力的传递过程中会衰减吗)
上一篇
既然王水连金都可以溶解,那应该用什么来储存?
下一篇
本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。

相关推荐

  • 苹果手机各个功能介绍,iphone必须关闭的十个功能

    1、关闭蓝牙。现在已经很少有人用蓝牙传输文件了,而且iPhone与安卓的蓝牙并不兼容,所以,可以在设置中,关闭蓝牙功能。2、关闭通知功能。关于APP推送,无非也就是一些更新提醒,关了也不会有什么影响,还能多省点电。3、关闭自动调节亮度功能。一般来说,可以将屏幕亮度在15%-30%之间,在强光环境中,在进行手动调整就可以了。4、禁止后台刷新。在设置—通用中,关闭后台自动刷新功能,也可以对省电起到一点...

  • 高德打车怎么设置途经地,高德如何添加途经路线

    1、点击高德地图APP界面底部的“导航”按钮,进入导航模式。2、点击右下角的“路线”,进入路线设定页面,根据要求输入起点、终点进行路线规划。3、点击“添加途经点”,弹出添加途经点页面,点击右上角,可以添加或者删除途经点,乘客可以手动输入要添加的途经点。4、当添加完途经点时,点击“确定”按钮,即可添加途经路线。此时地图会显示出这条路线上所有的途经点,以及当前途经点的地点信息。怎么设计高德地图设置要经...

  • 高中必修二物理知识点总结,高一物理必修2重点知识点归纳

    您好,1.运动学-位移、速度、加速度的概念及计算方法-相关运动的分析方法,如相对运动和抛体运动-牛顿运动定律及其应用2.力学-力的概念及种类,如重力、弹力、摩擦力等-牛顿第一、二、三定律及其应用-力的合成与分解-能量、功、动能定理、功率的概念及计算方法-动量、冲量定理及其应用3.热学-温度、热量、热能的概念及计量单位-热传递的方式及其特点,如传导、对流、辐射-热力学第一、二定律及其应用,如热机效率...

  • 动物吃东西也能品尝出味道么?(动物吞食能尝到味道吗)

    我们已经知道,这个花花世界在猫和狗的眼睛里完全不同——它们都是红色盲;那你有没有想过,同一碗饭,在猫和狗里是什么味道?这可不是一个无聊的问题。味道来自外界的化学物质,而味觉是体内的神经反应,要在两者之...

  • 有哪些常见却叫不上名的植物?(有哪些常见却叫不上名的植物?为什么)

    【注:本文含 25 种常见早春小野草的高清大图与简介,可作为图鉴收藏使用】说到常见却叫不上名字的植物,当然要提早春常见小野草啦!这个季节在草地上总是能找到很多开着小花花的小野草,但大部分人很可能连其中...