■基本単体の二面角(その171)

 正四面体の基本単体と正八面体の基本単体で,立方体の基本単体2個分になる様子を思い浮かべると

 (1,1,0),(2/3,2/3,2/3),(2,0,0),(1,1,1)が正四面体の基本単体になっているはずである.

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

 4点間距離を計算してみる.

  √(2/3),√2,1,√(8/3),√(1/3),√3

→√2,√6,√3,√8,1,3

 一方,正四面体の基本単体は

  (0,0,0)

  (1,0,0)

  (1,1/√3,0)

  (1,1/√3,1/√6)

であるから,4点間距離は

  1,1/√3,1/√6,√(4/3),√(1/2),√(3/2)

=√6,√2,1,√8,√3,3・・・正四面体の基本単体である.

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