k次元球の単位表面積をとする k次元空間にはk+1頂点からなる均斉のとれた立体がある。頂点は単位球上にある。立体はk個の頂点が作るk個の面を持ち、それに相当する立体角はであろう。それが、『立体角』 また、各頂点への任意のベクトルの作る角はだったはず…