等周问题——微积分证明

等周问题

定理:若$L$是平面上简单闭曲线$C$的长度，$A$是曲线$C$所围成图形的面积，则
$$A⩽\frac{L^2}{2\pi }$$
,且等号成立时，$C$必须是圆周.

历史

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

• 虽然圆看似是问题的表面答案，但证明此事实其实不易。首个接近答案的步骤出现在1838年——雅各·史坦纳以几何方法证明若答案存在，答案必然是圆形。不久之后他的证明被其他数学家完善。
• 其方法包括证明了不完全凸的封闭曲线的话，能以“翻折”凹的部分以成为凸的图形，以增加面积；不完全对称的封闭曲线能以倾斜来取得更多的面积。圆，是完全凸和对称的形状。可是这些并不足以作为等周定理的严格证明。
• 1901年，赫尔维茨凭傅里叶级数和格林定理给出一个纯解析的证明。
• 2012年，潘忆思利用不等式给出了一个十分简单初等证明。论文名称《不等式与等周问题》,但是仍然不能作为等周定理的严格证明，因为文中默认凸多边形内存在一点到各边垂线的垂足都落于边所在的线段内。

Wirtinger不等式

引理($Wirtinger$不等式) 设$y(t)$是具有一阶连续可微的周期为$2\pi$的函数，而且则${\int }_0^{2\pi }y(t)dt=0$则:
$${\int }_0^{2\pi }(y(t){)}^{2}dt⩽{\int }_0^{2\pi }(y^{\prime }(t){)}^{2}dt$$
等号当且仅当$y(t)=a\cos t+b\sin t$时成立。
证明:将$y(t)$展开$Fourir$级数，有
$$y(t)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\cos (nt)+b_n\sin (nt))$$
由于$y(t)$为周期是$2\pi$的具有一阶连续可微的周期函数，对上式子求导，得到
$$y^{\prime }(t)=\sum _{n=1}^{\infty }(n{b}_n\cos (nt)-n{a}_n\sin (nt))$$
利用$a_0=\frac{1}{\pi }{\int }_0^{2\pi }y(t)dt=0$和$Parseva$