初期値

　　正四面体：√２／１２

　　正八面体：√２／３

　　正２０面体：５τ^2／６

　　正１２面体：τ^4√５／２

　　正５胞体：√５／９６

　　正１６胞体：１／６

　　正２４胞体：２

　　正６００胞体：２５τ^3／４

　　正１２０胞体：１５τ^8√５／２

　月に，中心Ｐn（ａ1，・・・，ａn）と切頂切稜面の距離を求める．

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

　　ｘj／ａj＝ｙj，ｙ0＝１，ｙn＝０（ｘn＝０）

とおく．

　切頂切稜面はＰ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｜／‖ｄ0‖，‖ｄ0‖＝（ａ1^2＋・・・＋ａn^2）^1/2

　Ｐ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｜／‖ｄ1‖，‖ｄ1‖＝（ａ2^2＋・・・＋ａn^2）^1/2

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

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

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

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

　　ａn^2ｙn＝０

　辺の長さを１に規格化する．辺の長さは２Ｌ．したがって，

　　Ｈk＝ｈk／２Ｌ

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