■正八面体の断面(その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)

案の定,うまくいかない.

 そうなると,辺と対角線の長さの総当たり比較ということになるが,芸がなさ過ぎてやる気になれないのである.

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