（その３４）の計算も，おじけづかずに実行すると簡単な形が得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】置換多面体の切頂・切稜点

　　ｙj＝（２＋ｊｙj+1）／（ｊ＋２）

　　ｙn＝０

　　ｙn-1＝２／（ｎ＋１）

　　ｙn-2＝（２＋２（ｎ−２）／（ｎ＋１））／ｎ＝２（２ｎ−１）／ｎ（ｎ＋１）

　　ｙn-3＝２（１＋（ｎ−３）（２ｎ−１）／ｎ（ｎ＋１））／（ｎ−１）＝２（２ｎ−１）／ｎ（ｎ＋１）＝６（ｎ−１）／ｎ（ｎ＋１）

としたが，このままでは難しいので，反転公式を作ると，

　　（ｊ＋２）ｙj＝２＋ｊｙj+1

　　（ｊ＋２）ｙj−２＝ｊｙj+1

　　ｙj+1＝（（ｊ＋２）ｙj−２）／ｊ

これはｊ＝０には対応していない．

　そこで，

　　（ｙ0−ｙ1）＝（ｙ1−ｙ2）／２＝（ｙ2−ｙ3）／３＝・・・＝（ｙn-2−ｙn-1）／（ｎ−１）＝（ｙn-1−ｙn）／ｎ＝２／ｎ（ｎ＋１）

を用いると

　　１−ｙ1＝２／ｎ（ｎ＋１）

　　ｙ1−ｙ2＝２・２／ｎ（ｎ＋１）

　　ｙ2−ｙ3＝２・３／ｎ（ｎ＋１）

　　ｙn-2−ｙn-1＝２・（ｎ−１）／ｎ（ｎ＋１）

　　ｙn-1−ｙn＝２・ｎ／ｎ（ｎ＋１）＝２／（ｎ＋１）

が得られる．

　これらをｘｘ行まで足しあわせると，

　　１−ｙ1＝２（１）／ｎ（ｎ＋１）

　　１−ｙ2＝２（１＋２）／ｎ（ｎ＋１）

　　１−ｙ3＝２（１＋２＋３）／ｎ（ｎ＋１）

　　１−ｙn＝２（１＋２＋３＋・・・＋ｎ）／ｎ（ｎ＋１）＝１

　　ｙ1＝１−１・２／ｎ（ｎ＋１）

　　ｙ2＝１−２・３／ｎ（ｎ＋１）

　　ｙ3＝１−３・４／ｎ（ｎ＋１）

　　ｙn＝１−ｎ（ｎ＋１）／ｎ（ｎ＋１）＝０

　　ａ1^2ｙ1＝１／２（１／１・２）（１−１・２／ｎ（ｎ＋１））

＝１／２（１／１・２−１／ｎ（ｎ＋１））

　　ａ2^2ｙ2＝１／２（１／２・３）（１−２・３／ｎ（ｎ＋１））

＝１／２（１／２・３−１／ｎ（ｎ＋１））

　　ａ3^2ｙ3＝１／２（１／３・４）（１−３・４／ｎ（ｎ＋１））

＝１／２（１／３・４−１／ｎ（ｎ＋１））

　　ａn^2ｙn＝１／２（１／ｎ・（ｎ＋１））（１−ｎ（ｎ＋１）／ｎ（ｎ＋１）

＝１／２（１／ｎ・（ｎ＋１）−１／ｎ（ｎ＋１））＝０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】中心から各面までの距離

　　Ｐn（ａ1，・・・，ａn）

　　ａj＝√（１／２ｊ（ｊ＋１））

と切頂切稜面の距離を求める．

　切頂切稜面はＰkＰnに垂直で，点

　　Ｑ＝（ｘ1，・・・，ｘn）＝（ａ1ｙ1，・・・，ａnｙn）

を通る．

ＰnＰ0＝（−ａ1，−ａ2，・・・，−ａn）

ＰnＰ1＝（０，−ａ2，−ａ3，・・・，−ａn）

ＰnＰn-1＝（０，・・・，０，−ａn）

　ファセットを定めている不等式は，

　　ａ・ｘ＝ｃ

で与えられる．一般に，超平面ａ・ｘ＝ｃと点ｘ0の距離は

　　｜ａ・ｘ0−ｃ｜／‖ａ‖

とくに，原点からファセットまでの距離は｜ｃ｜／‖ａ‖となる．

　ＰnＰ0に垂直なｎ次元超平面が点Ｑを通るのだが，原点をＰnに移した方が紛らわしくないので

　　ａ＝（−ａ1，−ａ2，・・・，−ａn）

　　ｑ＝（ｘ1−ａ1，ｘ2−ａ2，ｘ3−ａ3，・・・，ｘn−ａn）

とすると，この超平面をａ・（ｘ−ｑ）＝０，ａ・ｘ＝ａ・ｑ＝ｃで表すと

　　ｃ0＝−（ａ1ｘ1＋・・・＋ａnｘn）＋（ａ1^2＋・・・＋ａn^2）

　　ｃ0＝−（ａ1^2ｙ1＋・・・＋ａn^2ｙn）＋（ａ1^2＋・・・＋ａn^2）

　　ｈ0＝｜ｃ0｜／‖ａ‖，‖ａ‖＝（ａ1^2＋・・・＋ａn^2）^1/2

　ここで，

　　ａ1^2＋・・・＋ａn^2

＝１／２（１／１・２＋１／２・３＋・・・＋１／ｎ・（ｎ＋１））

＝１／２（１／１−１／２＋１／２−１／３＋・・・＋１／ｎ−１／（ｎ＋１））

＝１／２（１／１−１／（ｎ＋１））

＝１／２・ｎ／（ｎ＋１）

　　ａ1^2ｙ1＋・・・＋ａn^2ｙn

＝１／２（１／１・２−１／ｎ（ｎ＋１））＋・・・＋１／２（１／ｎ・（ｎ＋１）−１／ｎ（ｎ＋１））

＝１／２（１／１・２＋・・・＋１／ｎ・（ｎ＋１）−ｎ／ｎ（ｎ＋１））

＝１／２（１／１−１／（ｎ＋１）−ｎ／ｎ（ｎ＋１））

　ＰnＰ1に垂直なｎ次元超平面では

　　ａ＝（０，−ａ2，・・・，−ａn）

　　ｃ1＝−（ａ2ｘ2＋・・・＋ａnｘn）＋（ａ2^2＋・・・＋ａn^2）

　　ｃ1＝−（ａ2^2ｙ2＋・・・＋ａn^2ｙn）＋（ａ2^2＋・・・＋ａn^2）

　　ｈ1＝｜ｃ1｜／‖ａ‖，‖ａ‖＝（ａ2^2＋・・・＋ａn^2）^1/2

　ここで，

　　ａ2^2＋・・・＋ａn^2

＝１／２（１／２・３＋・・・＋１／ｎ・（ｎ＋１））

＝１／２（１／２−１／３＋・・・＋１／ｎ−１／（ｎ＋１））

＝１／２（１／２−１／（ｎ＋１））

＝１／２・（ｎ−１）／２（ｎ＋１）

　　ａ2^2ｙ2＋・・・＋ａn^2ｙn

＝１／２（１／２・３−１／ｎ（ｎ＋１））＋・・・＋１／２（１／ｎ・（ｎ＋１）−１／ｎ（ｎ＋１））

＝１／２（１／２・３＋・・・＋１／ｎ・（ｎ＋１）−ｎ／ｎ（ｎ＋１））

＝１／２（１／２−１／（ｎ＋１）−（ｎ−１）／ｎ（ｎ＋１））

　ＰnＰn-1に垂直なｎ次元超平面では

　　ａ＝（０，・・・，０，−ａn）

　　ｃn-1＝−ａnｘn＋ａn^2＝−ａn^2ｙn＋ａn^2

　　ｈn-1＝｜ｃn-1｜／‖ａ‖，‖ａ‖＝（ａn^2）^1/2

　　‖ａk‖^2＝１／２（ｋ＋１）（ｋ＋２）＋・・・＋１／２ｎ（ｎ＋１）＝１／２（１／（ｋ＋１）−１／（ｎ＋１））＝（ｎ−ｋ）／２（ｋ＋１）（ｎ＋１）

　ここで，

　　ａn^2＝１／２（１／ｎ・（ｎ＋１））

＝１／２（１／ｎ−１／（ｎ＋１））

＝１／２（１／ｎ−１／（ｎ＋１））

＝１／２・１／ｎ（ｎ＋１）

　　ａn^2ｙn

＝１／２（１／ｎ・（ｎ＋１）−１／ｎ（ｎ＋１））＝０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝