■サマーヴィルの等面四面体(その688)

 単位円周上の7点

  z0=cos0π/7+isin0π/7

  z1=cos2π/7+isin2π/7

  z2=cos4π/7+isin4π/7

  z3=cos6π/7+isin6π/7

  z4=cos8π/7+isin8π/7

  z5=cos10π/7+isin10π/7

  z6=cos12π/7+isin12π/7

を次のP0〜P6に移す直交変換行列M,未知のx3,y3を求めよ.

 P1〜P7の7点はx軸に関して対称な単位円周上の7点

  P0=−1+i0

  P1=x2+iy2

  P2=x1+iy1

  P3=x3+iy3

  P4=x3−iy3

  P5=x1−iy1

  P6=x2−iy2

  x2=−((5+√7)/12)^1/2

  y2=((7−√7)/12)^1/2

  x1=(−4+√7)/3・x2

  y1=(2+√7)/3・y2

で,投影図上P1P2=P1P6=P5P6となっている.点の対応は,z0→P0,z1→P1,z2→P2,z3→P3,z4→P4,z5→P5,z6→P6

 x3,y3は未知であるが,直交するベクトルをグラム・シュミットの直交化法を使って求めることになると思われる.そうすれは点の対応と無関係に求めることができる気がする.

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