四顶点定理

四顶点定理是微分几何关于平面曲线的整体性质的定理。这定理指出，一条简单闭曲线的曲率函数，如果不是常值，便有至少四个局部极值。更确切地说，这函数有至少两个局部极大值和两个局部极小值。

1909年斯亚马达斯·穆科帕迪亚亚最先证明这定理对凸曲线（即有严格正曲率）成立。他的证明用到了以下结果：曲线上一点的曲率是极值，当且仅当在该点的密切圆与曲线有4点切触。（密切圆与曲线一般只有3点切触。）1912年阿道夫·克内泽尔证明了定理在一般情况成立。

四顶点定理的逆定理指，在圆上定义任意连续实值函数，使得有两个局部极大值和两个局部极小值，那么这函数是一条简单平面闭曲线的曲率函数。1971年赫尔曼·格卢克证出严格正函数的情形。他证明在n维球面预先定义曲率的更一般定理，以上结果是其特例。比约恩·达尔贝里在他1998年1月去世前不久，证明逆定理的完整版本。他的证法用到卷绕数，类似代数基本定理的拓扑证明。

这定理的一个推论是，任何在平面上滚动受重力作用的均匀板，都有至少四个平衡点。它的三维推广并不容易，实际上，存在少于四个平衡点的三维凸均匀体，见Gömböc。

参考

• Mukhopadhyaya, S. (1909). "New methods in the geometry of a plane arc". Bull. Calcutta Math. Soc. 1: 21-27.
• Kneser, Adolf (1912). "Bemerkungen uber die Anzahl der Extrema des Krummung auf geschlossenen Kurven und uber verwandte Fragen in einer nicht eucklidischen Geometrie". Festschrift Heinrich Weber: 170-180, Teubner.
• Gluck, Herman (1971). "The converse to the four-vertex theorem". L'Enseignement Math. 17: 295-309.
• Dahlberg, Björn (2005). "The converse of the four vertex theorem". Proc. Amer. Math. Soc. 133 (7): 2131-2135.