Ａ’（ｘ1，−ｙ1）

　　Ｄ’（−ｘ1，−ｙ1）

　　Ｃ’（ｘ2，ｙ2）

　　Ｂ’（−ｘ2，ｙ2）

　　Ｏ’（０，０）

　ｘ1^2＋ｙ1^2＝ｘ2^2＋ｙ2^2＝１とする．

　ｃｏｓ（∠ＣＯＤ）＝ｃｏｓ（∠ＢＯＣ）＝ｃｏｓ（∠ＡＯＢ）＝ｃｏｓ（∠ＤＯＥ）＝ｃより，

（−ｘ1ｘ2−ｙ1ｙ2）＝（−ｘ2^2＋ｙ2^2）＝ｃ（既知）

ｘ2^2＋ｙ2^2＝１

−ｘ2^2＋ｙ2^2＝ｃ

ｘ2^2＝（１−ｃ）／２，ｙ2^2＝（１＋ｃ）／２

（−ｘ1ｘ2−ｙ1ｙ2）＝ｃ

−ｘ1｛（１−ｃ）／２｝^1/2−ｙ1｛（１＋ｃ）／２｝^1/2＝ｃ

（−ｘ1−ｙ1・ｙ2／ｘ2）＝ｃ／ｘ2

ｘ1＝−ｙ1・ｙ2／ｘ2−ｃ／ｘ2をｘ1^2＋ｙ1^2＝１に代入すると，

ｙ1^2｛（ｙ2／ｘ2）^2＋１｝＋２ｃｙ2／ｘ2^2＋ｃ^2／ｘ2^2−１＝０

を解いて，ｘ1，ｙ1を決定する．

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

　ｘ1^2＋ｙ1^2＋ｚ1^2＝ｘ2^2＋ｙ2^2＋ｚ2^2＝Ｒ^2

より，ｚ1＝ｚ2．すると

　４ｘ1^2＋４ｚ1^2＝４ｘ2^2＋４ｚ2^2

が成り立たなくなる．

　これで式の数が足りないことは解消されたが，定式化に誤りがあると考えられる．

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