■いろいろな不等式(その39)

【2】凸体の点対称化

 凸体Kを原点の周りで180°回転させて得られる図形を−Kあるいはrot(K)で表す.Kに対して点対称化図形K~を

  K~=1/2(K+(−K))

で定義する.図形−Kの原点を図形Kの境界に沿って動かすときのミンコフスキー和であるが,前述した−KからKへの連続変形のt=1/2の場合であり,図形Kが四角形のときK~は八角形,Kが四面体のときK~は立方八面体状図形になる.

 このとき,

  |K|≦|K~|

が成り立つ(等号成立は−KがKの平行移動であるとき).

 また,Kが2次元図形であれば周長と直径は不変である.

  L(K)=L(K~),D(K)=D(K~)

3次元図形であれば直径は不変である.

  D(K)=D(K~)  (表面積は不変ではない)

===================================

【3】マクハの不等式

 図形Kの内部直径とはK内の2点P,Qの距離の最大値である.外部直径とはKの2点X,Yの線分の長さの最大値である.別ないい方をすればKに住んでいる人にとっての直径が内部直径,Kを含む空間に住んでいる人から見た最大幅が外部直径である.

 半径Rの球面の場合,内部直径Dinは大円の半分であるからπR,外部直径Doutは北極と南極を結ぶ線分の長さ2Rである.

  Din/Dout=π/2

ルーローの三角形のような定幅図形でも

  Din/Dout=π/2

が成り立つ.

 一般の空間図形の場合は

  Din/Dout≦π/2

が成り立つことが知られている.等号は定幅曲面で回転面になっているものである.

===================================

【4】アレクサンドロフ予想

 空間内のなめらかな閉曲面Mの面積Aと内部直径Dについて

  A/D^2<π/2

が成り立つだろう(等号はMが2枚の円板に退化した場合).

===================================