等周定理

用手机看条目

出自 MBA智库百科(https://wiki.mbalib.com/)

目录

什么是等周定理

  等周定理是指一个几何中的不等式定理,说明了欧几里得平面上的封闭图形的周长以及其面积之间的关系。其中的“等周”指的是周界的长度相等。等周定理说明在周界长度相等的封闭几何形状之中,以圆形的面积最大;另一个说法是面积相等的几何形状之中,以圆形的周界长度最小。这两种说法是等价的。它可以以不等式表达:若P为封闭曲线的周界长,A为曲线所包围的区域面积,4 \pi A \le P^2

  虽然等周定理的结论早已为人所知,但要严格的证明这一点并不容易。首个严谨的数学证明直到19世纪才出现。之后,数学家们陆续给出了不同的证明,其中有不少是非常简单的。等周问题有许多不同的推广,例如在各种曲面而不是平面上的等周问题,以及在高维的空间中给定的“微分几何|表面”或区域的最大“边界长度”问题等。

  在物理中,等周问题和跟所谓的最小作用量原理有关。一个直观的表现就是水珠的形状。在没有外力的情况下(例如失重的太空舱里),水珠的形状是完全对称的球体。这是因为当水珠体积一定时,表面张力会迫使水珠的表面积达到最小值。根据等周定理,最小值是在水珠形状为球状时达到。

等周定理是历史

  平面上的等周问题是等周问题最经典的形式,它的出现可以追溯到很早以前。这个问题可以被表述为:在平面上所有周长一定的封闭曲线中,是否有一个围成的面积最大?如果有的话,是什么形状?另一种等价的表述是:当平面上的封闭曲线围成的面积一定时,怎样的曲线周长最小?

  虽然圆看似是问题的表面答案,但证明此事实其实不易。首个接近答案的步骤出现在1838年——雅各布•史坦纳以几何方法证明若答案存在,答案必然是圆形[1]。不久之后他的证明被其他数学家完善。

  其方法包括证明了不完全凸的封闭曲线的话,能以翻折凹的部分以成为凸的图形,以增加面积;不完全对称的封闭曲线能以倾斜来取得更多的面积。圆,是完全凸和对称的形状。可是这些并不足以作为等周定理的严格证明。

  1901年,赫尔维茨凭傅里叶级数和格林定理给出一个纯解析的证明。

等周定理的证明

  以下给出一个较初等的证明[2],分5步。

  设一条长度为P的封闭曲线围成的区域的最大面积为A,亦以A、P来标记该区域及其边界;那么该图形应当满足如下性质:

  1、A是一个凸区域。

   假使不然,A是一个凹区域。那么根据定义,可以在P内找到两个点M和N,使其联机MN有一部份M'N'不包含于A的内部。然而如以M'N'替换掉原来的那段弧,则周长将减少,面积将增加,从而将新图形扩大若干倍后得到一个同样周长,面积比A大的区域。矛盾。

  2、凡平分周长P的弦必平分面积A。

   如果一弦MN平分P而将A分为大小不同的两部份A1 > A2,那么去掉A2而将A1对MN做对称,则可得到一个周长仍然等于P而面积等于2A1 > A1 + A2 = A的区域,矛盾。

  3、凡平分A的弦,无论方向,长度相等。

   如果不然,不妨设两弦MN和M'N'均平分面积A而MN>M'N'。那么分别选取MN及其任一侧的曲线(半个P,不妨记为P1),以及M'N'及其任一侧的区域(另行划分的半个P,记为P'1),并粘合在一起使得M'N'落在MN上,M与M'重合。

   此时,新的图形仍然满足周长为P,面积为A的性质,且由于MN>M'N',N'应落于MN之间。

   以M为中心,分别对P1P'1λμ倍的放缩,使两曲线的终端吻合(即N和N'经过变换之后重合,记为N),得到两个分别与原区域相似的区域Q1Q'1。适当调整λμ的值,使曲线MQ1NQ'1M的周长仍为P。

   此时Q1Q'1的长度分别等于Pλ / 2Pμ / 2,所围的面积分别等于Aλ2 / 2Aμ2 / 2;并且由于MN和MN'经过放缩后重合,有λMN = μMN'

   由于曲线MQ1NQ'1M的周长仍为P,故Pλ / 2 + Pμ / 2 = P,从而λ + μ = 2;而由λMN = μMN',MN > MN'0 < λ < 1

   所以,MQ1NQ'1M的面积为A2 + μ2) / 2 = A2 + (2 − λ)2) / 2 = A2 − 2λ + 2) > A,与A最大矛盾。

  4、若MN平分A,O为MN中点,那么对P上任意一点R,都有OM=ON=OR。

   以O为中心,做MRN的中心对称图形,R对称到R';那么图形MR'NRM的周长为P,面积为A。由第3步知MN和RR'的长度应该相等,而O也是RR'的中点,故得结论。

  5、由于O到P上任意一点的距离都相等,所以P是圆。

参考来源

  1. J. Steiner, Einfacher Beweis der isoperimetrischen Hauptsätze, J. reine angew Math.   18, (1838), pp. 281–296; and Gesammelte Werke Vol. 2, pp. 77–91, Reimer, Berlin, (1882).
  2. 福原満洲雄、山中健,変分学入门,朝仓书店,1978.3.
本条目对我有帮助2
MBA智库APP

扫一扫,下载MBA智库APP

分享到:
  如果您认为本条目还有待完善,需要补充新内容或修改错误内容,请编辑条目

本条目由以下用户参与贡献

Tracy,Dan.

评论(共0条)

提示:评论内容为网友针对条目"等周定理"展开的讨论,与本站观点立场无关。

发表评论请文明上网,理性发言并遵守有关规定。

MBA智库
打开APP

以上内容根据网友推荐自动排序生成