■正四面体の断面(その20)

 (その15)に誤りがあり,4点目が見つかった.

  x1−√3x2+√6/2x3−√10/2x4=0

 P0P1の中点(0,−√3/6,−√6/12,−1/2√10)NG

 P1P2の中点(1/4,√3/12,−√6/12,−1/2√10)OK

 P2P3の中点(0,√3/6,√6/12,−1/2√10)OK

 P3P4の中点(0,0,√6/8,3/4√10)OK

 P4P0の中点(−1/4,−√3/12,−√6/24,3/4√10)NG

 P0P2の中点(−1/4,√3/12,−√6/12,−1/2√10)NG

 P0P3の中点(−1/4,−√3/12,√6/12,−1/2√10)NG

 P1P3の中点(1/4,−√3/12,√6/12,−1/2√10)NG

 P1P4の中点(1/4,−√3/12,−√6/24,3/4√10)OK

 P2P4の中点(0,√3/6,−√6/24,3/4√10)NG

4点あれば正単体の可能性がある.

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

Q1(1/4,√3/12,−√6/12,−1/2√10)OK

 Q2(0,√3/6,√6/12,−1/2√10)OK

 Q3(0,0,√6/8,3/4√10)OK

 Q4(1/4,−√3/12,−√6/24,3/4√10)OK

とおく.

 (Q1Q2)^2=(1/4)^2+(√3/12)^2+(√6/6)^2=36/144=1/4

 (Q1Q3)^2=(1/4)^2+(√3/12)^2+(5√6/24)^2+(5/4√10)^2=(9+3+37.5)/144+25/160=(49.5+22.5)/144=1/2

 (Q1Q4)^2=(√3/6)^2+(√6/24)^2+(5/4√10)^2=(48+6)/(24)^2+25/160(13.5+22.5)/144=1/4

 (Q2Q3)^2=(√3/6)^2+(√6/24)^2+(5/4√10)^2=(48+6)/24^2+25/160=(13.5+22.5)/144=1/4

 (Q2Q4)^2=(1/4)^2+(√3/4)^2+(√6/8)^2+(5/4√10)^2=(36+108+54)/24^2+25/160=(49.5+22.5)/144=1/2

 (Q3Q4)^2=(1/4)^2+(√3/12)^2+(√6/6)^2=36/144=1/4

 1/4が4つ,1/2が2つで正単体にはならないが,正方形になってしまった.これは1個の3次元胞のペトリー面である.

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