■サマーヴィルの等面四面体(その156)
正単体に中心断面を計算してみたい.
===================================
原点を中心とする辺の長さ1のn次元(n+1)胞体の頂点は
(−1/2,−√3/6,−√6/12,−1/2√10,・・・,−an)
(+1/2,−√3/6,−√6/12,−1/2√10,・・・,−an)
( 0, √3/3,−√6/12,−1/2√10,・・・,−an)
( 0, 0, √6/4, −1/2√10,・・・,−an)
( 0, 0, 0, √(2/5),・・・,−an)
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・
( 0, 0, 0, 0,・・・,nan)
aj=√(1/2j(j+1))
とおく.
P0Pn=(1/2,√3/6,√6/12,1/2√10,・・・,(n+1)an)
===================================