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

 5次元の場合で解説すると

 x=(x1,x1,x2,x2,x3)

 y=(y1,−y1,y2,−y2,y3)

 xs=(x1+s,x1+s,x2+s,x2+s,x3+s)

とおく.

5×5行列v=[v1,v2,v3,v4,v5]の逆行列v^-1をuとする.

u=[u11,u12,u13,u14,u15]

  [u21,u22,u23,u24,u25]

  [u31,u32,u33,u34,u35]

  [u41,u42,u43,u44,u45]

  [u51,u52,u53,u54,u55]

未知数sを含む2×5行列

[x1+s,x1+s,x2+s,x2+s,x3+s]

[y1,   −y1,  y2, −y2,  y3]

との積の2×5行列を

r=[r11,r12,r13,r14,r15]

  [r21,r22,r23,r24,r25]

とする.

r11=(x1+s)u11+(x1+s)u21+(x2+s)u31+(x2+s)u41+(x3+s)u51

r21=y1u11−y1u21+y2u31−y2u41+y3u51

・・・・・・・・・・・・・・・・・・・・・・・・・

r11=x1u11+su11+x1u21+su21+x2u31+su31+x2u41+su41+x3u51+su51

=x1u11+x1u21+x2u31+x2u41+x3u51+s(u11+u21+u31+u41+u51)

=x・u1+sumu1s

r21=y1u11−y1u21+y2u31−y2u41+y3u51=y・u1

と表すことができる.

r1 =[r11]=[sumu1s+x・u1]

   [r12] [sumu2s+x・u2]

   [r13] [sumu3s+x・u3]

   [r14] [sumu4s+x・u4]

   [r15] [sumu5s+x・u5]

|r1|^2=(Σsumui^2)s^2+2(Σsumui(x・ui))s+(Σ(x・ui)^2)

また,|r2|^2=Σ(y・ui)^2

|r1|^2=|r2|^2となるsは,2次方程式

(Σsumui^2)s^2+2(Σsumui(x・ui))s+(Σ(x・ui)^2−Σ(y・ui)^2)=0

の解である.

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