ａ・ｅ＝ｂ・ｆ＝ｃ・ｇ＝ｄ・ｈ＝ω

が成り立つとすると

　　ａ＋ｃ＋ｅ＋ｇ＝ｂ＋ｄ＋ｆ＋ｈ

も成り立つだろうか？

　　ａ＋ｃ＋ｅ＋ｇ＝ａ＋ｃ＋ω／ａ＋ω／ｃ

　　ｂ＋ｄ＋ｆ＋ｈ＝ｂ＋ｄ＋ω／ｂ＋ω／ｄ＝ｂ＋ｈ＋ω／ｂ＋ω／ｈ

となって，この先が進まない．

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

　　ｒ^2＝２（ｚｃｏｓ（θ−α））^2＋１−ｚ^2−２ｚｃｏｓ（θ−α）｛（ｚｃｏｓ（θ−α））^2＋１−ｚ^2｝^1/2

において，

　２（ｚｃｏｓ（θ−α））^2−ｚ^2＝ｚ^2ｃｏｓ２（θ−α）

　（ｚｃｏｓ（θ−α））^2−ｚ^＝−（ｚｓｉｎ（θ−α））^2

　｛１−（ｚｓｉｎ（θ−α））^2｝^1/2が簡単にならない．

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