「周長Ｌの等しい平面領域で，最大の面積Ｓをもつものは円である．」これを別の表現にしたものが，等周不等式

　「Ｌ^2≧４πＳ　　　等号は円に対してのみ成り立つ．」

です．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】等周不等式

　この節では，多面体に対する等周問題と取り上げますが，任意のｎ次元の等周不等式は，

　　Ｓ^n／Ｖ^(n-1)≧ｎ^nｖn　　　（ｖnはｎ次元単位球の体積）

　　　　　　　　　＝ｎ^nπ^(n/2)/Γ(n/2+1)

で表されます．

　ｎ次元等周比（Ｃn）において，とくに，ｎ＝２のときとｎ＝３のときについては，

　　Ｃ2＝４π，Ｃ3＝３６π

すなわち，

　　Ｌ^2≧４πＳ

　　Ｓ^3≧３６πＶ^2

がわかります．以下，

　　Ｃ4＝2^7π^2，Ｃ5＝8/3*5^4π^2，Ｃ6＝6^5π^3，・・・

となりますが，等周比が有理数（整数）×πの形となるのは，２次元・３次元だけのようです．

　また，凸体Ｖを囲む曲面Ｓにおいて，平均曲率は，

　　Ｈ＝１／２（１／Ｒ1＋１／Ｒ2）

で定義されます．ここで，平均曲率の積分を

　　Ｍ＝∫Ｈｄｓ

で表すと，ミンコフスキーの不等式

　　Ｓ^2−３ＶＭ≧０

　　Ｍ^2−４πＳ≧０

これから直ちに

　　Ｓ^3≧３６πＶ^2

が導かれます．

　ともあれ，３次元凸集合に対し，表面積をＳ，体積をＶとすると，

　　Ｓ^3≧３６πＶ^2

が成り立ちます．等号成立は球のときだけで，すべての立体中で球が表面積に対して最大の体積をもっています．

　多面体の等周問題は，単位球に外接する多面体では，

　　Ｖ＝Ｓ／３

となることから，

　　Ｓ^3／Ｖ^2＝９Ｓ＝２７Ｖ

が成り立ちます．したがって，与えられた面数ｎをもつ多面体に関する等周問題は，最小の体積または最小の表面積をもち，球に外接するｎ面体を定めるという問題に帰着されます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝