■正多面体群と球面三角法(その3)

【1】球面三角法

 平面正弦定理では,

  sinα:sinβ:sinγ=a/R:b/R:c/R

ですが,球面正弦定理は

  sinα:sinβ:sinγ=sin(a/R):sin(b/R):sin(c/R)

で表されます.

 一方,双曲的三角法では,RをiRに置き換えることによって,

  sinα:sinβ:sinγ=sinh(a/R):sinh(b/R):sinh(c/R)

が得られます.

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

【2】球面上の点配置のミニマックス問題,マックスミニ問題

 球面上の有限個の点の集合で,よい性質をもつものは? というきわめて漠然,曖昧模糊とした問題を考えると,これはある意味で,球によって最もよく近似できるn頂点あるいはn面の多面体を求める問題であり,球面に内接する正多面体の頂点のつくる集合は,いろいろな意味でその例といえるでしょう.

 さらに,凸な一様多面体(面が正則,頂点が等価)であるプラトン立体,アルキメデス立体,半正則プリズム,反プリズムなどがよい性質をもつ多面体の例となり得るでしょうし,一様な多面体の他に,すべての面が正多角形である凸多面体(ザルガラー多面体)が正多面体,準正多面体を除くと92種類存在することもわかっています.

 ところで,正多面体の頂点は外接球上に分布していますが,どの2点の最短距離もできるだけ大きくなるような点の分布をなしているとは限りません.たとえば,6個あるいは12個の点の分布はそれぞれ正八面体と正20面体になりますが,8個の点については立方体にはならないからです.

 さらに,正則な配置問題だけでなく,任意の不規則な配置も考慮に入れられるのですが,たとえば,7個の点の球面最小距離を最大にするミニマックス問題,マックスミニ問題となるとどうしてよいのやらわかりません.

 そこでまず球面上にn個の点を配置して,点間の最小球面距離が最大になるようにするとき,最短距離の上限が,面積2π/(n−2)の球面正三角形の1辺の長さδn以下となることを証明しましょう.

(証明)

 ガウス曲率は,

  K=1/R1R2

で定義されますが,球面三角形ABCにこのことをあてはめると,三角形の頂点の角度をα,β,γとおいて,

  S=∫∫KdA=α+β+γ−π   (ガウス・ボンネの定理)

(球面凸n角形に対しては,S=α1+α2+・・・+αn−(n−2)π)

 したがって,球面正三角形の1つの内角をαとすると,その面積は

  △=3α−π

3α−π=2π/(n−2)より,α=nπ/(3n−6)

 ここで,球面余弦定理により,

  cosδn=cosα/(1−cosα)

  δn=arccos{cosα/(1−cosα)}

 ωn=α/2=n/(n−2)・π/6   n≧3

すなわち,2ωnは面積が6ωn−πの球面正三角形△nの1つの内角を表しているのですが,以上より,

a)単位球面上のn個の点の中から,距離が

  d≦√(4−cosec^2(ωn))

を満たす2点をつねに取り出すことができる.

b)この2点の球面距離に関しては

  δn≦arccos{(cot^2(ωn)−1)/2}

が成り立つ.

 右辺は面積が2π/(n−2)の球面正三角形の1辺の長さδnにほかなりません.これよりd≦δですが,n=3,4,6,12に対しては等号が成り立ち,正確な値を与えてくれます.

 このことを使うと,ミニマックス問題の解は,n=4,6,12の場合には,それぞれ正4面体,正8面体,正20面体の頂点に一致するような配置が導かれます.n=8の解は,単位球に内接し8個の頂点をもつ反プリズム(2個の正方形と8個の正三角形からなる),n=24では,アルキメデスの多面体(3,3,3,3,4)の頂点,n=20は未解決のまま残っています.

 一方,マックスミニ問題の解は,n=6のとき,正則な二重ピラミッドの頂点,n=12のとき,反プリズム的二重ピラミッドの頂点であることが導かれています.二重ピラミッドとは,プリズムあるいは反プリズムの底面および上面にそれぞれひとつずつピラミッドをおくときにできる立体です.

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