イェッセンの二十面体

イェッセンの二十面体（。イェッセンの直交二十面体  とも）とは、頂点・辺・面の数が正二十面体と等しい多面体。1967年にこの立体を研究したにちなんで名づけられた。1971年にはこの立体を含む非凸多面体の族がによって独立に発見され、と名付けられた。後年の研究者はそれを元にした名を特にイェッセンの二十面体を指して使っている。

面どうしは全て直角に交わっているが、すべての面が直交座標面と平行になるような向きは持たない。無限小剛性を持たないことから に分類される。各辺に沿って圧縮材と緊張材を配置すればよく知られたテンセグリティ構造となる（6本棒テンセグリティ、テンセグリティ二十面体、展開八面体などと呼ばれる）。

 幾何学的性質 
左|サムネイル|STL形式のモデル。

イェッセンの二十面体は12個の頂点を持ち、それらの位置は  にを行うことで得られる12組の座標を持つように選ぶことができる。そのように座標を表すとき、短辺（凸角の辺）は長さ  、長辺（凹角の辺）は長さ  となる。面のうち8枚は短辺3つからなる合同な正三角形で、残りの12枚は長辺1つと短辺2つに囲まれた合同な鈍角二等辺三角形である。

イェッセンの二十面体は任意の頂点を別の任意の頂点に移せるような対称性を持っている（頂点に関する推移性を持つ）。二面角はすべて直角である。これを利用して、複数のイェッセンの二十面体を正三角形面で貼り合わせることで、すべての面が直交する多面体で組合せ的に相異なるものの無限族を構成することができる。

イェッセンの二十面体は（より単純なと同じく）新しく頂点を付け加えなければ三角分割によって四面体を作ることはできない。その一方、二面角が  の有理数倍であることからはゼロとなる。したがってイェッセンの二十面体は立方体と分割合同の関係にある。すなわち、小さな多面体に切り分けてから立方体に組み替えることができる。

イェッセンの二十面体は星状多面体である。すなわち、内部に取った1点（たとえば対称中心）からほかのすべての点を見渡すことができる。は、三角形の面を持つ星状多面体の中心点から発する半直線に沿って頂点を動かすことで凸多面体を作れるかという問いを立てたが、イェッセンの二十面体はそれへの反例になっている。デマジュールはそのような変形が可能ならばその星状多面体と関連付けられる代数多様体が射影多様体となることを証明し、それによってこの問題を代数幾何学と結び付けた。しかしアドリアン・ドゥアディが、イェッセンの二十面体を含むある立体族について、そのような頂点の移動から凸多面体を作れないことを証明した。デマジュールはその結果を用いて非射影かつ滑らか、有理、な三次元多様体を構築した。

 構造的剛性 
イェッセンの二十面体はではない。つまり剛体板を面としてヒンジでつないで構築した場合に形を変えることができない。しかしは持たない。すなわち、辺の長さや面の形状を1次近似の範囲で不変に保ちながら頂点を動かすことができる。イェッセンの二十面体のように剛性を持つが無限小剛性を持たない多面体は shaky polyhedronと呼ばれる。辺長のわずかな伸縮を許せば交角を大きく変えることができるため、イェッセンの二十面体を実体模型にすると柔らかな多面体のようにふるまう。

イェッセンの二十面体の凹角長辺に沿って圧縮材を配置し、凸角短辺に沿ってワイヤを配置すれば、6本棒テンセグリティや展開八面体と呼ばれるテンセグリティ二十面体構造となる。テンセグリティの例として特によく知られている形で、彫刻の題材となっているほか、1980年代には「スクイッシュ」というおもちゃとして人気を博した。テンセグリティを応用したロボットの構造としてももっとも一般的であり、NASAのにおいて、この構造の中心に探査装置を収めて惑星表面を転がる探査機「スーパーボール・ロボット」が開発されている。

イェッセンの二十面体は弱凸である。すなわちその頂点の集合はにある。イェッセンの二十面体の存在は弱凸多面体が必ずしも無限小剛性を持たないことの証明となっている。ただし、三角分割可能な弱凸多面体は必ず無限小剛性を持っているという予想があり、その多面体の凸包で追加される部分もまた三角分割が可能だという前提を付け加えれば予想は正しいことが証明されている。

 近縁の立体 
サムネイル|正二十面体（左）と、それを元にした非凸多面体（右）。後者はイェッセンの二十面体と似ているが、頂点の位置が異なり二面角も直角ではない。
正二十面体の頂点位置を保ったまま、隣り合う正三角形面の組を一部だけ二等辺三角形の面の組で置換すれば（図）、イェッセンの二十面体と似た立体を作成することができる。この形状も誤ってイェッセンの二十面体と呼ばれることがあり、組合せ構造や対称性がイェッセン二十面体と等しく見た目も類似している一方、テンセグリティ構造を構成することはなく、二面角も直角ではない。

イェッセンの二十面体は8枚の面が正三角形で12枚の面が二等辺三角形である二十面体からなる連続な族に属している。この族に含まれる立体は、正八面体の各辺をすべて同じ比率で分割し、分割点を頂点として互いを辺でつなぐことで作られる。正八面体辺の分割比をパラメータとすることができ、この値を変えていくことで、正八面体そのものから正二十面体を経て立方八面体（6対の直角三角形面がそれぞれ同一平面で接して正方形面を成す）までの凸立体が得られる。パラメータがそれを超えると非凸立体の領域となり、イェッセンの二十面体はここに含まれる。この族は1947年にH・S・M・コクセターによって発表された。後にバックミンスター・フラーが、長さが2種類ある辺のうち一方の長さを保つように定義したパラメータを用いてこの族の要素間の変換を構築し、ジッターバグ変換と名付けた。

2018年、V. A. Gor’kavyi と A. D. Milka はイェッセンの二十面体を一般化して剛性を持つが無限小剛性は持たない多面体の無限族を作った。それらの多面体は組合せ的に相異なっており、位数が任意の大きさでキラルな二面体対称群を持つ。ただしイェッセンの二十面体とは異なりすべての面が三角形ではない。

 脚注 

Category:多面体
Category:数学に関する記事
Category:数学のエポニム