66 加法定理
(1) 一般角に対して sine, cose の定義を述べよ
(2) (1) で述べた定義にもとづき,一般角α, βに対して、
sin(a+β)=sina cos β + cos asinβ
os (a+β)=cosacos β-sinasin /
COS
を証明せよ.
精講
(1) Oを始点とする動径を考えます.
0からの距離がrで始線とのなす
角が0の動径上の点Pの座標を(x,y) とする.
Pにより決まる値
y = sine), (=cos0)
はの値,すなわちPの位置とは無関係に0のみ
で決まる値であることを主張することが大切です.
1つの動径上に異なる点A, A' をとりこの2
点からx軸上に下ろした垂線の足をそれぞれH,
H'とすると
より
△OAH SOA'H'
AH_A'H'
=
OA OA'
OH OH'
OA OA'
IC
x 15
50
r r
G
□
H H'
18
です. A の座標を(x, y), r=OA とするとそ
れぞれの値は
であり,これは A'の位置に無関係に決まる値で
す。
(2) (1) で述べた定義にもとづき証明せよ。」と
なっているところに注意を払います (1) で初めて
sin 0, cos が定義されたのですから,
sin'0+cos20=1
解法のプロセス
(1) 0 を始点とする動径上の点
P(x, y) に対して
yI
r² r
732 1=50ARS
yI
, (r=OP)
r
はPの位置に無関係に決まる
値である
7502
1750
などの証明の途中で必要とされる定理はすべて証
明してから使うべきです.
147
(東大)
X 回転しても距離は不変
(nie Reo) Curle
義可能である
(2) A(cosa, sina),
B(cos β, sin β) をとる
凸
A, B を原点のまわりに -β
回転させ, A',B'とする
凸
↓
の関数として定
↓
AB=A'B'