>>124
法曲率=法線ベクトルを含む平面で曲面を切断したときの断面曲線の曲率

書き足りませんでした,
断面曲線の法線方向(∇F)に凸なら正, 反対方向に凸なら負にとります.

断面を法線ベクトルの周りに回転すると曲率は回転角に関して周期πの
滑らかな周期関数になる. だから最小値も最大値も存在する.
最大値と最小値が一致することと定数関数であることが同値で,
ここでは, その場合だけ除外しているということ.