Question

あい

加法定理が成り立つ証明がよくわかりません！
教えてください。

式が成り立つこ
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

近、     ンー より

記 os(一のーcosあ sin(-の=ニー

sin

るから    。、 計
vc-のーcoscces ine
) o を識
のの7のを。 =e議 0    6
6                            了
隊Ll   の)-cos9。 cs( -9=sine         し
はり
5
cesl( 5  りー引-m-r9lkawetp
el: 了の   <)=sine
を_。|=
sm(3   g COS@
であるから
sin(o寺=sinecos/寺cosgsing …… @⑨
紅0 の両辺の の を おでおき換えると
sin(-)ーsinwcos8一coS9Sinが      ン
り立つ。

MFのことから, 正弦 余現に関する次の 加法定理 が

                                                                                                                                                                                                                                                                 

PE米 全弦の