（その２４５）の続き．

　　Ｐ0（１，０，√２）

　　Ｐ1（０，０，０）

　　Ｐ2（１，√２，０）

　　Ｐ3（２，０，０）

は，

　　Ｐ0Ｐ1＝Ｐ1Ｐ2＝Ｐ2Ｐ3＝√３

　　Ｐ0Ｐ2＝Ｐ1Ｐ3＝２

　　Ｐ0Ｐ3＝√３

を満たす．

　ここでＰ1を外す．

　　Ｐ2Ｐ3＝√３，Ｐ0Ｐ2＝２，Ｐ0Ｐ3＝√３

Ｐ1＝Ｐ2＋ｓＰ1Ｐ0＝（１，√２，０）＋ｓ（１，０，√２），

Ｐ1＝Ｐ3＋ｔＰ1Ｐ0＝（２，０，０）＋ｔ（１，０，√２）

となる，新たなＰ1を選んで

　　Ｐ0Ｐ1＝Ｐ1Ｐ2＝Ｐ2Ｐ3＝√３

　　Ｐ0Ｐ2＝Ｐ1Ｐ3＝２

　　Ｐ0Ｐ3＝√３

を満たすようにできればよい．

　　Ｐ0（１，０，√２）

　　Ｐ1（ｘ，ｙ，ｚ）

　　Ｐ2（１，√２，０）

　　Ｐ3（２，０，０）

　　（ｘ−１）^2＋ｙ^2＋（ｚ−√２）^2＝３

　　（ｘ−１）^2＋（ｙ−√２）^2＋ｚ^2＝３

　　（ｘ−２）^2＋ｙ^2＋ｚ^2＝４

［１］ｘ＝ｓ＋１，ｙ＝√２，ｚ＝ｓ√２

　　ｓ^2＋２＋２（ｓ−１）^2＝３

　　ｓ^2＋２ｓ^2＝３

　　（ｓ−１）^2＋２＋２ｓ^2＝４

　　ｓ＝１

　　Ｐ0（１，０，√２）

　　Ｐ1（１，√２，√２）

　　Ｐ2（１，√２，０）

　　Ｐ3（２，０，０）

［２］ｘ＝ｔ＋２，ｙ＝０，ｚ＝ｔ√２

　　（ｔ＋１）^2＋２（ｔ−１）^2＝３

　　（ｔ＋１）^2＋２＋２ｔ^2＝３

　　ｔ^2＋２ｔ^2＝４

　　ｔ＝２／√３はＮＧ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝