ここからは，ｎの展開図の断面は，ｎ−１次元等面単体のファセットに成っていることを確かめてみたい．

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

　　Ｐ1（０，０，０）

　　Ｐ2（１，√２，０）

　　Ｐ3（２，０，０）

は

　　Ｐ1Ｐ2＝Ｐ2Ｐ3＝√３

　　Ｐ1Ｐ3＝２

を満たす．

　　Ｐ1（０，０，０）

　　Ｐ2（ｍ，ｍ√２，０）

　　Ｐ3（２ｍ，０，０）

を

　　Ｐ0（０，０，０，０）

　　Ｐ1（０，０，０，３ｈ）

　　Ｐ2（ｍ，ｍ√２，０，２ｈ）

　　Ｐ3（２ｍ，０，０，ｈ）

とおくと

　　Ｐ0Ｐ1^2＝９ｈ^2

　　Ｐ0Ｐ2^2＝３ｍ^2＋４ｈ^2

　　Ｐ0Ｐ3^2＝４ｍ^2＋４ｈ^2

　　Ｐ1Ｐ2^2＝３ｍ^2＋ｈ^2

　　Ｐ1Ｐ3^2＝４ｍ^2＋４ｈ^2

　　Ｐ2Ｐ3^2＝３ｍ^2＋ｈ^2

３ｍ^2＋ｈ^2（２）＜３ｍ^2＋４ｈ^2（１）＜４ｍ^2＋４ｈ^2（２）

９ｈ^2（１）

　　Ｐ0（０，０，０，０）

　　Ｐ1（０，０，０，３ｈ）

　　Ｐ2（ｍ，ｍ√２，０，ｈ）

　　Ｐ3（２ｍ，０，０，２ｈ）

とおくと

　　Ｐ0Ｐ1^2＝９ｈ^2

　　Ｐ0Ｐ2^2＝３ｍ^2＋ｈ^2

　　Ｐ0Ｐ3^2＝４ｍ^2＋４ｈ^2

　　Ｐ1Ｐ2^2＝３ｍ^2＋４ｈ^2

　　Ｐ1Ｐ3^2＝４ｍ^2＋ｈ^2

　　Ｐ2Ｐ3^2＝３ｍ^2＋ｈ^2

３ｍ^2＋ｈ^2（２）＜３ｍ^2＋４ｈ^2（１）

４ｍ^2＋ｈ^2（１）＜４ｍ^2＋４ｈ^2（１）

９ｈ^2（１）

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

　ｎ＝４の展開図は

　　Ｐ1Ｐ2＝Ｐ2Ｐ3＝Ｐ3Ｐ4＝２

　　Ｐ1Ｐ3＝Ｐ2Ｐ4＝√６

　　Ｐ1Ｐ4＝√６

であるから，どちらもＮＧ．ｈの与え方に問題があるのだろうか？

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