>>659
> 等周不等式は多面体に対してはほぼ自明ではないか？

勘違いしているみたいだから、念のため注意しておく。
多面体のクラスだけで考えてるのではなく(多面体だけの
クラスならなら証明はされている)、通常の連続的な曲面も
含め離散的な曲面、特異点を含む曲面も動かした中でも、
体積一定下の中で表面積の最小が通常の球面で実現される
という意味。