【１】３次元正単体系における検証

　　（ｎ−０，ｎ−２）＝ｎ（ｎ−１）／２

　　（ｎ−１，ｎ−２）＝ｎ−１

より，Ｐ0のまわりには３個の２次元面，Ｐ1のまわりには２個の２次元面がある．Ｎ0＝４，Ｎ1＝６より，

　切頂によってできる辺数は３・４＝１２個

　切稜によってできる辺数は０，６，２・６＝１２あるいは４・６＝２４個

［１］形状ベクトル［０，１，０］の場合，１２＋０＝１２

［２］形状ベクトル［１，１，０］の場合，１２＋６＝１８

［３］形状ベクトル［１，０，１］の場合，１２＋１２＝２４　

［４］形状ベクトル［１，１，１］の場合，１２＋２４＝３６

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

【２】３次元正軸体系における検証

　　２^2（ｎ−１，２）＝２（ｎ−１）（ｎ−２）

　　２^1（ｎ−２，１）＝２（ｎ−２）

より，Ｐ0のまわりには４個の２次元面，Ｐ1のまわりには２個の２次元面がある．Ｎ0＝６，Ｎ1＝１２より，

　切頂によってできる辺数は４・６＝２４個

　切稜によってできる辺数は０，１２，２・１２＝２４あるいは４・１２＝４８個

［１］形状ベクトル［０，１，０］の場合，２４＋０＝２４

［２］形状ベクトル［１，１，０］の場合，２４＋１２＝３６

［３］形状ベクトル［１，０，１］の場合，２４＋２４＝４８

［４］形状ベクトル［０，１，１］の場合，２４＋１２＝３６

［５］形状ベクトル［１，１，１］の場合，２４＋４８＝７２

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

【３】まとめ

　切頂が深くなると生成される辺の数が増える一方，残存する辺の数が減り，結構複雑である．間接法の方が簡単に思える．

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