Ｐ1（０，０，０）

　　Ｐ2（１／√２，√３／√２，０）

　　Ｐ3（２／√２，０，０）

は

　　Ｐ1Ｐ2＝Ｐ2Ｐ3＝√２

　　Ｐ1Ｐ3＝√２

を満たす．

　　Ｐ1（０，０，０）

　　Ｐ2（ｍ／√２，ｍ√３／√２，０）

　　Ｐ3（２ｍ／√２，０，０）

は

　　Ｐ1Ｐ2＝Ｐ2Ｐ3＝ｍ√２

　　Ｐ1Ｐ3＝ｍ√２

を満たす．

　　Ｐ0（０，０，０）

　　Ｐ1（０，０，３ｈ）

　　Ｐ2（ｍ／√２，ｍ√３／√２，２ｈ）

　　Ｐ3（２ｍ／√２，０，ｈ）

とおくと

　　Ｐ0Ｐ1^2＝９ｈ^2

　　Ｐ0Ｐ2^2＝２ｍ^2＋４ｈ^2

　　Ｐ0Ｐ3^2＝２ｍ^2＋ｈ^2

　　Ｐ1Ｐ2^2＝２ｍ^2＋ｈ^2

　　Ｐ1Ｐ3^2＝２ｍ^2＋ｈ^2

　　Ｐ2Ｐ3^2＝２ｍ^2＋ｈ^2

これでは，対辺にならないのでＮＧ．

　　Ｐ0（０，０，０）

　　Ｐ1（０，０，３ｈ）

　　Ｐ2（ｍ／√２，ｍ√３／√２，ｈ）

　　Ｐ3（２ｍ／√２，０，２ｈ）

　　Ｐ0Ｐ1^2＝９ｈ^2

　　Ｐ0Ｐ2^2＝２ｍ^2＋ｈ^2

　　Ｐ0Ｐ3^2＝２ｍ^2＋４ｈ^2

　　Ｐ1Ｐ2^2＝２ｍ^2＋４ｈ^2

　　Ｐ1Ｐ3^2＝２ｍ^2＋ｈ^2

　　Ｐ2Ｐ3^2＝２ｍ^2＋ｈ^2

ここで，

　　９ｈ^2＝２ｍ^2＋ｈ^2，ｍ^2＝４ｈ^2

ならばよい．

　　Ｐ0Ｐ1^2＝９ｈ^2

　　Ｐ0Ｐ2^2＝９ｈ^2

　　Ｐ0Ｐ3^2＝１２ｈ^2

　　Ｐ1Ｐ2^2＝１２ｈ^2

　　Ｐ1Ｐ3^2＝９ｈ^2

　　Ｐ2Ｐ3^2＝９ｈ^2

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