■求積の多様性を考える(その10)

 空間充填18面体は,頂点の座標のみならず,体積に関しても整数多面体であった.それでは,切頂八面体もそうなのだろうか?

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

 切頂八面体の頂点を格子点におく.24個の格子点は(±0,±1,±2)の置換になる.このとき,辺の長さは√2である.

 一方,1辺の長さが1の平行多面体の体積は

 立方体: 1

 正六角柱: 3√3/2

 切頂八面体: 8√2

 菱形十二面体: 16√3/9

 長菱形十二面体: 16√3/9+8/3

となる.

 したがって,辺の長さ√2の切頂八面体の体積は

  V=8√2・(√2)^3=32

 切頂八面体も体積に関して整数多面体であったというわけである.

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

 菱形十二面体の頂点を格子点におく.6個の格子点は(±2,0,02),8個の格子点は(±1,±1,±1)の置換になる.このとき,辺の長さは√3である.

 したがって,辺の長さ√3の切頂八面体の体積は

  V=16√3/9・(√3)^3=16

 菱形十二面体も体積に関して整数多面体であったというわけである.

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