■正四面体の環（その１９）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
ここまでの確かめをしておきたい．
Ａ→（ＢＣＤ）→Ｅ
Ｃ→（ＢＤＥ）→Ｆ
Ｄ→（ＢＥＦ）→Ｇ
Ｆ→（ＢＥＧ）→Ｈ
Ｅ→（ＢＧＨ）→Ｉ
ｙ0ｙ1＝（−（１３５＋２／３）／２４３√２，−（１８＋１）／２４３，（１６＋２／３）／２４３）
＝（−４０７／２４３・３√２，−５７／２４３・３，５０／２４３・３）
｜ｙ0ｙ1｜^2＝１／６ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
