Ａ群空間充填単体について，

［１］ｎが奇数のとき

　　（Ｒ／ρ）^2＝（ｎ＋１）／２

［２］ｎが偶数のとき

　　（Ｒ／ρ）^2＝ｎ（ｎ＋２）／２（ｎ＋１）

　　Ｐ0Ｐj^2＝｛ｊ（ｎ＋１−ｊ）｝，ｊ＝１〜ｎ

の最長辺を求めてみたところ．

［１］ｎが奇数のとき，

　　ｊ＝（ｎ＋１）／２→Ｒ^2＝ｊ（ｎ＋１−ｊ）＝（ｎ＋１）^2／４

［２］ｎが偶数のとき，

　　ｊ＝ｎ／２

　　Ｒ^2＝ｊ（ｎ＋１−ｊ）＝ｎ（ｎ＋２）／４

であった．

　したがって，垂線の足の長さが

［１］ｎが奇数のとき，

　　ρ^2＝２Ｒ^2／（ｎ＋１）＝（ｎ＋１）／２

［２］ｎが偶数のとき，

　　ρ^2＝２（ｎ＋１）Ｒ^2／ｎ（ｎ＋２）＝（ｎ＋１）／２

であること，すなわち，ｎの奇偶に関わらず，どちらも同じ形になることが示された．

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

　さらに，最短辺の長さで正規化すると

　　ρ^2＝（ｎ＋１）／２ｎ

となって，これは辺の長さ１の正単体と同じ高さになることが証明されたことになる．

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