式が成り立つこ
os(o+の=coseco5グ一57 $
いて, 角g+2 の動径と
古田 右の図にお は
還位円の交点をP とすると, の典
財 (cos(c+のsin(+の)
である。2点間の距離の公式により
AP=(cos(e+のりすsin*(o+の
=2-2cos(c+の
次に, 2点P,A を, 原点を中心として
js だけ回転させた点を, それぞれ Q,
R とすると, APニ=RQ である。
QRの座標は
Q(cos& sinの, R(cose, 一sino)
であるから
0 RO=(eos2-osのT(GimgTsine)*
プー2coszeosg-sinesimがの
4PニRO*から
2cos(々+)=
よって, ⑦が成り立っ
ー2(cosecosg
mm