(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}

「解析学」の関連問題

与えられた3つの関数の導関数を求める問題です。 (1) $y = \arccos x$ (2) $y = \log |\log |x||$ (3) $y = e^{e^x}$

微分導関数合成関数逆三角関数対数関数指数関数
2025/6/4

与えられた関数 $f(x) = \log|\log|x||$ の定義域を求めます。ここで、対数は底が10の常用対数とします。

関数の定義域対数関数絶対値
2025/6/4

画像には、主に三角関数の値を求める3つの問題があります。 * 問題7:指定された角度に対するsin, cos, tanの値を求めます。 (1) $\sin{\frac{13}{6}\pi}...

三角関数sincostan角度変換ラジアン
2025/6/4

問題2は、与えられた角度を弧度法または度数法で表す問題です。 (1) 135° を弧度法で表す。 (2) -320° を弧度法で表す。 (3) $\frac{2}{3}\pi$ を度数法で表す。 (4...

三角関数弧度法度数法三角比
2025/6/4

与えられた関数 $f(x)$ について、以下の問いに答えます。 (1) $f'(0)$ を求めよ。 (2) $f'(x)$ は $x=0$ で連続ではないことを証明せよ。 (3) 任意の $\delt...

微分関数の連続性単調性極限
2025/6/4

関数 $f(x) = |x|^3 \sin x$ が与えられています。この関数が $x=0$ で $n$ 回微分可能であるが、$n+1$ 回微分不可能となるような0以上の整数 $n$ を求め、証明も加...

微分微分可能性導関数極限関数
2025/6/4

$c \in (-\infty, \infty)$ とし、$f(x)$ と $g(x)$ は $(-\infty, c) \cup (c, \infty)$ 上で定義された実数値関数とする。 (1) ...

ε-δ論法極限関数の不等式証明
2025/6/4

実数 $c$ を含む区間 $(- \infty, c) \cup (c, \infty)$ で定義された実数値関数 $f(x)$ と $g(x)$ がある。 (1) 実数 $A$ に対して、$\lim...

極限イプシロン・デルタ論法不等式証明
2025/6/4

以下の4つの関数を微分せよ。 (1) $y = \arcsin x + \arccos x$ (2) $y = (\sqrt{x} - 1) \arccos x$ (3) (画像が不鮮明のため、省略)...

微分関数の微分逆三角関数積の微分
2025/6/4

問題は、次の2つの級数の収束半径を求めることです。 1. $\sum_{n=0}^{\infty} \frac{3^n}{n+1} x^n$

級数収束半径比判定法
2025/6/4