■正四面体の環(その23)

  C(-1/√2,1,0)

  H(-289/81√2,-15/81,16/81)

tc・c2-ts・c3+ds・c2+dc・c3=tc・h2-ts・h3+ds・h2+dc・h3

81tc+81ds=-15tc-16ts-15ds+16dc

96tc+16ts=-96ds+16dc

480ts+16ts=-96ds+96ds

480t+16t=-96d+96d

496t=0,t=0,d=1→高さは等しいはずである.

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