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

 連続する3辺がねじれ角を構成するという前提で計算をしているが,この方法では4点しか決定できない.4次元の5頂点の場合は何とかなったが,5次元の6頂点の場合は決定できるだろうか? 4点求められたとして,残りは(±1,0)になるだろうか?

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

arccos(−4+√21)/10=2arccos((6+√21)/20)^1/2)

=2arctan((70−5√21)^1/2/(6+√21))

=2arctan((21−4√21)/3)^1/2

  x^2+((21−4√21)/3)^1/2x)^2=1,(24−4√21)/3)・x^2=1,

  x0=−((6+√21)/20)^1/2,y0=−((14−√21)/20)^1/2

 辺の長さは2|y0|

  2((14−√21)/20)^1/2

であるから

  (x−x0)^2+(y−y0)^2=4y0^2

  x^2+y^2=1

として計算すると

  x^2+2x0x+x0^2+y^2+2y0y+y0^2=4y0^2

  x0x+y0y=2y0^2−1=(14−√21)/10−1=(4−√21)/10

  x={2y0^2−1−y0y}/x0

{2y0^2−1−y0y}^2/x0^2+y^2=1

{2y0^2−1−y0y}^2+x0^2y^2=x0^2

(y0^2+x0^2)y^2−2(2y0^2−1)y0y+(2y0^2−1)^2−x0^2=0

y^2−2(2y0^2−1)y0y+(2y0^2−1)^2−x0^2=0

y=(2y0^2−1)y0±{(2y0^2−1)^2y0^2−(2y0^2−1)^2+x0^2}^1/2

y=(2y0^2−1)y0±{(2y0^2−1)^2(y0^2−1)+x0^2}^1/2

y=(2y0^2−1)y0±{−(2y0^2−1)^2x0^2+x0^2}^1/2

y=(2y0^2−1)y0±{1−(2y0^2−1)^2}x0^2}^1/2

y=(2y0^2−1)y0±{4x0^2y0^2(1−y0^2)}^1/2

y=(2y0^2−1)y0±{4x0^4y0^2}^1/2

y=(2y0^2−1)y0±2x0^2y0

y=y0,(2y0^2−2x0^2−1)y0

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