（その２４５）の続き．

　　Ｐ0（１／２，（√５）／２，０，（√１０）／２）

　　Ｐ1（０，０，０，０）

　　Ｐ2（２，０，０，０）

　　Ｐ3（３／２，（√５）／２，（√１０）／２，０）

　　Ｐ4（１，√５，０，０）

は

　　Ｐ0Ｐ1＝Ｐ1Ｐ2＝Ｐ2Ｐ3＝Ｐ3Ｐ4＝２

　　Ｐ0Ｐ2＝Ｐ1Ｐ3＝Ｐ2Ｐ4＝√６

　　Ｐ0Ｐ3＝Ｐ1Ｐ4＝√６

　　Ｐ0Ｐ4＝２

を満たす．

　ここでＰ1を外す．

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

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

Ｐ1＝Ｐ4＋ｕＰ1Ｐ0＝（１，√５，０，０）＋ｕ（１／２，（√５）／２，０，（√１０）／２）

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

　　Ｐ0Ｐ1＝Ｐ1Ｐ2＝Ｐ2Ｐ3＝Ｐ3Ｐ4＝２

　　Ｐ0Ｐ2＝Ｐ1Ｐ3＝Ｐ2Ｐ4＝√６

　　Ｐ0Ｐ3＝Ｐ1Ｐ4＝√６

　　Ｐ0Ｐ4＝２

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

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

　　Ｐ0（１／２，（√５）／２，０，（√１０）／２）

　　Ｐ1（ｘ，ｙ，ｚ，ｗ）

　　Ｐ2（２，０，０，０）

　　Ｐ3（３／２，（√５）／２，（√１０）／２，０）

　　Ｐ4（１，√５，０，０）

　　（ｘ−１／２）^2＋（ｙ−（√５）／２）^2＋ｚ^2＋（ｗ−（√１０）／２）^2＝４

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

　　（ｘ−３／２）^2＋（ｙ−（√５）／２）^2＋（ｚ−（√１０）／２）^2＋ｗ^2＝６

　　（ｘ−１）^2＋（ｙ−√５）^2＋ｚ^2＋ｗ^2＝６

［１］ｘ＝２＋ｓ／２，ｙ＝ｓ（√５）／２，ｚ＝０，ｗ＝ｓ（√１０）／２

［２］ｘ＝３／２＋ｔ／２，ｙ＝（√５）／２＋ｔ（√５）／２，ｚ＝（√１０）／２，ｗ＝ｔ（√１０）／２

［３］ｘ＝１＋ｕ／２，ｙ＝√５＋ｕ（√５）／２，ｚ＝０，ｗ＝ｕ（√１０）／２

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