■正四面体の環(その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→高さは等しいはずである.
===================================