■置換多面体の空間充填性(その302)
(その300)(その301)で一応の解決をみたが,当の本人はそれで安心しているわけではない.
===================================
[1]n=2k+1
A(2x,・・・,2x,x,0,・・・0)
B(2x,0,・・・・,0,0,・・・0)
C(x,x,・・・,x,x,±x,・・・±x)
の距離の2乗は
AB=(k−1)(2x)^2+x^2=(n−3)/2・4x^2+x^2=(2n−5)x^2
AC=(n−1)x^2
BC=nx^2
B,Cは固定し,Aを動かすことを考える.
A(2x,・・・,2x,2x,0,・・・0)とすると,
AC=nx^2
AB=(k)(2x)^2=(n−1)/2・4x^2=(2n−2)x^2
2n−2=n→n=2 (Aは格子点にならず,NG)
A(2x,・・・,2x,x,x,0,・・・0)とすると
AC=nx^2
AB=(k−1)(2x)^2+2x^2=(n−3)/2・4x^2+2x^2=(2n−4)x^2
2n−4=n→n=4 (Aは格子点にならず,NG)
===================================
[2]n=2k
A(2x,・・・,2x,0,・・・0)
B(2x,0,・・・・,0,・・・0)
C(x,x,・・・,x,±x,・・・±x)
の距離の2乗は
AB=(k−1)(2x)^2
AC=nx^2
BC=nx^2
B,Cは固定し,Aを動かすことを考える.
A(2x,・・・,2x,2x,0,・・・0)とすると,
AC=nx^2
AB=(k)(2x)^2=n/2・4x^2=2nx^2 (Aは格子点にならず,NG)
A(2x,・・・,2x,x,0,・・・0)とすると,
AC=(n−1)x^2 (Aは格子点にならず,NG)
===================================
[まとめ]2次元と4次元は対称性が高いのである.
===================================