［１］正ｖ角形（頂点数ｖ）が半径１の球に内接しているとき

　　［２］正多面体（頂点数ｖ）が半径１の球に内接しているとき

いずれの場合であっても，すべての辺と対角線の長さの平方和はｖ^2で与えられることが確かめられた．ここまでくれば４次元の正多胞体の場合もそうに違いない．

　すべての次元で単位球に内接する正多胞体（頂点数ｖ）のすべての辺と対角線の長さの平方和はｖ^2で与えられることはわかったが，なぜｖ^2なのか理由が知りたいところである．

　この問題は球面上の周期関数（格子点）を有限フーリエ変換して，パーセバルの等式を用いれば解決できると思われるが，ベクトルを使えばもっと容易に解くことができる．

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

［Ｑ］ｖ個の頂点（Ｐ1，・・・，Ｐv）をもつ正多面体が半径１の球に内接しているとき，Ｑ＝Σ(2,v)｜Ｐ1Ｐj｜^2＝Σ(1,v)｜Ｐ1Ｐj｜^2の値を求めよ．

［Ａ］内積をつかえば

　　Ｑ＝（Ｐ1−Ｐ1）・（Ｐ1−Ｐ1）＋（Ｐ2−Ｐ1）・（Ｐ2−Ｐ1）＋・・・＋（Ｐv−Ｐ1）・（Ｐv−Ｐ1）

　ベクトル解析では原点はどこでも好きなところに選ぶことができるから，（Ｐ1を原点とするのではなく）球の中心に原点をおくと，

　　（Ｐj−Ｐ1）・（Ｐj−Ｐ1）＝Ｐ1・Ｐ1−２Ｐ1・Ｐj＋Ｐj・Ｐj

　　Ｐj・Ｐj＝１

より

　　（Ｐj−Ｐ1）・（Ｐj−Ｐ1）＝Ｐ1・Ｐ1−２Ｐ1・Ｐj＋Ｐj・Ｐj＝２−２Ｐ1・Ｐj

よって

　　Ｑ＝２ｖ−２Ｐ1・（Ｐ1＋Ｐ2＋・・・＋Ｐv）

が得られる．

　正多面体の重心は原点にあるから，その対称性より，

　　Ｐ1＋Ｐ2＋・・・＋Ｐv＝０，Ｑ＝２ｖ

すべての辺と対角線の長さの平方和ＳＳは，すべての頂点において同じ線分が２回ずつ数えられていることから

　　ＳＳ＝ｖ／２×Ｑ＝ｖ^2　　　（ＱＥＤ）

　なお、この議論は３次元のみならず，一般の次元についても成立するものであるから，すべての次元で単位球に内接する正多面体（頂点数ｖ）のすべての辺と対角線の長さの平方和はｖ^2で与えられることになる．

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