■平行体の体積とグラミアン(その34)

 辺の長さを1に規格化した切頂八面体の体積を求めると

  V3=8√2

である.したがって,その分解体であるc-squadronの体積は

  8√2/4!=√2/3

となる.

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

 c-squadronの2等分体であるペンタドロンの展開図を掲げる.

 辺の長さを1に規格化するには2√2で割る必要がある.分解体は2次元では正方形,3次元では立方体と同相の単純多面体になり,それぞれ,2!,3!個の「直角三角錐」に分解することができる.

 分解してc-squadronの体積を求めると,

  2(4√2√2+2√3√6√2+2√3√6√2)/6=√2/3

となって一致する.しかし,これを求めるには多くの辺の長さをあらかじめ求めておくことが必要になる.

 計算力が鈍ってきている昨今,この計算が本当に正しく遂行されるかについてはまったく自信がもてない.n次元の場合はn!個になるが,それらを等積変形して直方体が構成できれば,それに越したことはない(可能かどうか).

 ファウルハーバーの定理(およびその任意の次元への一般化定理)が使えればよいのであるが・・・

[1]ファウルハーバーの定理

 辺(p,q,r)が1点において直交する四面体において,3つの面の面積をa,b,c,斜面の面積をdとすると

  a^2+b^2+c^2=d^2

[2]ファウルハーバーの定理の任意の次元nへの一般化

 n+1個のファセットをもつn次元直角錐体において,n個のファセットのn−1次元体積の2乗和は,斜ファセットの体積の2乗に等しい.

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