αn：ａj＝（２／ｊ（ｊ＋１））^1/2

　βn：ｂj＝（２／ｊ（ｊ＋１））^1/2，ｂn=√２／ｎ

　有限鏡映群の場合も確認しておきたい．

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

［１］Ａn

　正単体において，Ｒ＝ｎｒはよく知られている．

　（Ｒ／ρ）^2＝ｎ^2

　Ｒ^2＝１＋１／３＋・・・＋２／ｎ（ｎ−１）＋ａn^2＝２−２／ｎ＋ａn^2

　ρ^2＝ａn^2

　（２−２／ｎ＋ａn^2）／ａn^2＝ｎ^2→ａn^2＝２／ｎ（ｎ＋１）　　（ＯＫ）

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］ＢＣn

　Ｒ＝ｒ√ｎより

　（Ｒ／ρ）^2＝ｎ

　Ｒ^2＝１＋１／３＋・・・＋２／ｎ（ｎ−１）＋ａn^2＝２−２／ｎ＋ａn^2

　ρ^2＝ａn^2

　（２−２／ｎ＋ａn^2）／ａn^2＝ｎ→ａn^2＝２／ｎ　　（ＯＫ）

　Ｒ^2＝１＋１＋・・・＋１＋ａn^2＝（ｎ−１）＋ａn^2

　ρ^2＝ａn^2

　（ｎ−１＋ａn^2）／ａn^2＝ｎ→ａn^2＝１　　（ＯＫ）

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