(1) 一般角 $\theta$ に対して、$\sin{\theta}$ と $\cos{\theta}$ の定義を述べる。 (2) (1) で述べた定義に基づいて、一般角 $\alpha$, $\beta$ に対して、以下の加法定理を証明する。 $\sin(\alpha + \beta) = \sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta}$ $\cos(\alpha + \beta) = \cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}$

解析学三角関数加法定理オイラーの公式複素数
2025/3/9

1. 問題の内容

(1) 一般角 θ\theta に対して、sinθ\sin{\theta}cosθ\cos{\theta} の定義を述べる。
(2) (1) で述べた定義に基づいて、一般角 α\alpha, β\beta に対して、以下の加法定理を証明する。
sin(α+β)=sinαcosβ+cosαsinβ\sin(\alpha + \beta) = \sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta}
cos(α+β)=cosαcosβsinαsinβ\cos(\alpha + \beta) = \cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}

2. 解き方の手順

(1) 一般角 θ\theta に対する sinθ\sin{\theta}cosθ\cos{\theta} の定義
単位円を考える。原点を中心とする半径1の円を単位円と呼ぶ。
θ\theta を実数とし、単位円周上の点 P を、点 (1,0) から円周に沿って反時計回りに θ\theta だけ進んだ点とする。このとき、点 P の座標を (x, y) とすると、
cosθ=x\cos{\theta} = x
sinθ=y\sin{\theta} = y
と定義する。
(2) 加法定理の証明
複素数を用いて証明する。オイラーの公式 eiθ=cosθ+isinθe^{i\theta} = \cos{\theta} + i\sin{\theta} を用いる。
ei(α+β)=cos(α+β)+isin(α+β)e^{i(\alpha + \beta)} = \cos(\alpha + \beta) + i\sin(\alpha + \beta)
一方、
ei(α+β)=eiαeiβ=(cosα+isinα)(cosβ+isinβ)e^{i(\alpha + \beta)} = e^{i\alpha} e^{i\beta} = (\cos{\alpha} + i\sin{\alpha})(\cos{\beta} + i\sin{\beta})
=cosαcosβ+icosαsinβ+isinαcosβ+i2sinαsinβ= \cos{\alpha}\cos{\beta} + i\cos{\alpha}\sin{\beta} + i\sin{\alpha}\cos{\beta} + i^2\sin{\alpha}\sin{\beta}
=(cosαcosβsinαsinβ)+i(sinαcosβ+cosαsinβ)= (\cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}) + i(\sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta})
したがって、
cos(α+β)+isin(α+β)=(cosαcosβsinαsinβ)+i(sinαcosβ+cosαsinβ)\cos(\alpha + \beta) + i\sin(\alpha + \beta) = (\cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}) + i(\sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta})
実部と虚部を比較すると、
cos(α+β)=cosαcosβsinαsinβ\cos(\alpha + \beta) = \cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}
sin(α+β)=sinαcosβ+cosαsinβ\sin(\alpha + \beta) = \sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta}
これで加法定理が証明された。

3. 最終的な答え

sin(α+β)=sinαcosβ+cosαsinβ\sin(\alpha + \beta) = \sin{\alpha}\cos{\beta} + \cos{\alpha}\sin{\beta}
cos(α+β)=cosαcosβsinαsinβ\cos(\alpha + \beta) = \cos{\alpha}\cos{\beta} - \sin{\alpha}\sin{\beta}

「解析学」の関連問題

次の6つの関数の不定積分を求める問題です。 (1) $f(x) = \frac{2x-3}{x^3+x^2-2}$ (2) $f(x) = e^{3x} \sin x$ (3) $f(x) = x e...

不定積分部分分数分解部分積分置換積分
2025/7/28

関数 $y = \frac{x-3}{(x+1)(x-2)}$ の増減を調べ、極値を求め、グラフを描け。ただし、グラフの凹凸は調べなくてよい。

関数の増減微分極値グラフ
2025/7/28

次の5つの定積分を計算します。 (1) $\int_{1}^{9} \sqrt{x} dx$ (2) $\int_{2}^{4} (x+1)(x-2)^4 dx$ (3) $\int_{0}^{\fr...

定積分積分計算置換積分部分積分三角関数
2025/7/28

関数 $y = \frac{1}{\arctan{x} + x}$ の導関数 $y'$ を求めます。

導関数微分arctan関数の微分
2025/7/28

定積分 $\int_{1}^{9} \sqrt{x} dx$ を計算します。

定積分積分ルート不定積分
2025/7/28

(1) 放射性物質の質量 $x=x(t)$ が微分方程式 $\frac{dx}{dt} = -kx$ に従い、初期条件 $x(0) > 0$ を満たす。半減期を $T$ とし、$\frac{x(T_1...

微分方程式指数関数半減期漸近線積分
2025/7/28

関数 $f(x, y) = e^{x+y}(x+y+1)$ が与えられている。2次関数 $g(x, y) = a_0 + a_1x + a_2y + a_{11}x^2 + a_{12}xy + a_...

偏微分テイラー展開多変数関数
2025/7/28

与えられた3つの定積分を計算する問題です。 (1) $\int_{1}^{9} \sqrt{x} dx$ (2) $\int_{2}^{4} (x+1)(x-2)^{4} dx$ (3) $\int_...

定積分積分計算置換積分三角関数
2025/7/28

与えられた積分 $\int_{-\infty}^{\infty} \frac{1}{x} dx$ の値を求めます。

広義積分主値積分積分
2025/7/28

広義積分 $\int_{-\infty}^{0} \frac{1}{x^2} dx$ は積分可能かどうかを判定する問題です。

広義積分積分収束発散
2025/7/28