■正八面体の断面(その3)
[1, 1,0, 0]
[1,−1,0, 0]
[0, 0,1, 1]
[0, 0,1,−1]
によって,
±(1,−1,0,0) → ±(0,2,0,0)
±(1,0,−1,0) → ±(1,1,−1,−1)
±(1,0,0,−1) → ±(1,1,−1,1)
±(0,1,−1,0) → ±(1,−1,−1,−1)
±(0,1,0,−1) → ±(1,−1,−1,1)
±(0,0,1,−1) → ±(0,0,0,2)
案の定,うまくいかない.
そうなると,辺と対角線の長さの総当たり比較ということになるが,芸がなさ過ぎてやる気になれないのである.
===================================