■置換多面体の空間充填性(その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次元は対称性が高いのである.

===================================