等周定理的严格证明

1 等周问题

下面来看看等周定理的严格证明,先给出该问题的严格形式:

已知周长为的分段光滑,设其所围平面的面积为,则有 (1)给出分段光滑的参数方程。要知道总是可以写出参数方程的,这是因为可以看作是动点的运动轨迹,如下图所示,其中还作出了所围的平面的正向边界。

的时刻开始运动,时刻的坐标分别为、纵坐标为,从而可推出对应的参数方程,即:

为了后面的计算还需要规定以某种特定的方式运动,先回忆一下的速度向量,如下图所示。

在这里我们规定以大小为的恒速进行运动,也就是有:

结合上,可以计算出走过的曲线长度为,即:

同样的道理,可知对于而言有,这是因为的长度为,所以:

为了之后的计算还需要进一步换元,令,由于,因此有,所以:

因为是封闭曲线,也就是说其首尾相接,所以可推出一个之后要用到的结论:

根据,此时有:

因为上面推出过,也就是有,其中的自变量换为也是成立的,所以又可推出一个之后要用到的结论:

        (2)原点在质心。其实上面所用坐标系的原点都建立在分段光滑的质心处,这么做是可以得到一个对之后计算有帮助的推论。

《马同学图解微积分(上)》中介绍过,在本课程中介绍过,曲线质心的坐标计算公式大同小异,这里直接给出该公式:

其中为曲线的线密度,对于而言可规定其线密度为,即;结合上坐标系的原点建立在的质心处,即对于而言有以及。再结合上(1)中得到的,所以对于有:

        (3)算出所围的平面的上限。,这里也是类似的,令,则有:

根据以及,所以所围的平面的面积为:

因为对应的参数方程是抽象的,所以无法算出其所围面积的具体值,但可通过三个不等式进行三次缩放,最终确定的范围:

因为的长度为,所以其所围的平面为圆时面积取得上述不等式中的最大值,这说明在保持周长不变的前提下,圆的面积是最大的。

        (4)那么在保持周长不变的前提下,只有圆的面积是最大的吗?这需要分析一下(3)中用到的三个不等式,

  • 第一个不等式,取到等号的条件是的符号相同。该不等式是借助得出的,即:

  • 第二个不等式,取到等号的条件是。该不等式是借助得出的,即:

  • 第三个不等式为:

    取到等号的条件是。该不等式是借助维廷格函数不等式得出的(该不等式附在本证明的后面),即(其中需要的条件是(1)中推出的,以及(2)中推出的):

综上,所以取得上述不等式中的最大值需要同时满足,“的符号相同”、“”以及“”。据此可得,还可以设(设可以得到一样的结论),所以:

结合上(1)中得到的,可推出:

从而可推出当取得上述不等式中的最大值,曲线坐标需要满足:

上式说明必然是某圆的边界,这说明在保持周长不变的前提下,只有圆的面积是最大的。顺便解释一下,因为的质心在原点,这实际上是一个,由此可推出

2 维廷格函数不等式
分段可导,且满足以及,又有可积与平方可积,则:

取到等号的条件是。这就是 维廷格函数不等式 (Wirtinger's inequality for functions)。

上述不等式得名于澳大利亚数学家威廉·维廷格(Wilhelm Wirtinger),如下图左侧所示。该不等式 1901 年被德国数学家阿道夫·胡尔维茨(Adolf Hurwitz)用于证明“等周问题”,也就是上面给出的“等周问题”的严格证明。

威廉·维廷格(1865 – 1945)

阿道夫·胡尔维茨(1859-1919)

维廷格函数不等式的证明除了运用之外,还涉及到很多傅立叶分析方面的内容,所以这里就不给出它的证明了,感兴趣的同学可以自行扩展阅读。

关注马同学
马同学高等数学
微信公众号:matongxue314