Ｒ：covering radius，ｒ：packing radiusとする．

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

［１］ｎが奇数のとき

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

［２］ｎが偶数のとき

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

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

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

［１］ｎが奇数のとき，

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

［２］ｎが偶数のとき，

　　ｊ＝ｎ／２

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

であった．

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

［１］ｎが奇数のとき，

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

［２］ｎが偶数のとき，

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

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

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

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

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

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

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