加法定理を用いて、以下の三角関数の等式を証明する。 (1) $\cos 2x = \cos^2 x - \sin^2 x$ (2) $\sin 2x = 2 \sin x \cos x$ (3) $\cos^2 x = \frac{1 + \cos 2x}{2}$ (4) $\sin^2 x = \frac{1 - \cos 2x}{2}$

解析学三角関数加法定理倍角の公式恒等式
2025/6/28

1. 問題の内容

加法定理を用いて、以下の三角関数の等式を証明する。
(1) cos2x=cos2xsin2x\cos 2x = \cos^2 x - \sin^2 x
(2) sin2x=2sinxcosx\sin 2x = 2 \sin x \cos x
(3) cos2x=1+cos2x2\cos^2 x = \frac{1 + \cos 2x}{2}
(4) sin2x=1cos2x2\sin^2 x = \frac{1 - \cos 2x}{2}

2. 解き方の手順

(1) cos2x=cos(x+x)\cos 2x = \cos(x+x)
cos(x+y)\cos(x+y) の加法定理は cos(x+y)=cosxcosysinxsiny\cos(x+y) = \cos x \cos y - \sin x \sin y である。
したがって、
cos2x=cosxcosxsinxsinx=cos2xsin2x\cos 2x = \cos x \cos x - \sin x \sin x = \cos^2 x - \sin^2 x
(証明終わり)
(2) sin2x=sin(x+x)\sin 2x = \sin(x+x)
sin(x+y)\sin(x+y) の加法定理は sin(x+y)=sinxcosy+cosxsiny\sin(x+y) = \sin x \cos y + \cos x \sin y である。
したがって、
sin2x=sinxcosx+cosxsinx=2sinxcosx\sin 2x = \sin x \cos x + \cos x \sin x = 2 \sin x \cos x
(証明終わり)
(3) cos2x=cos2xsin2x\cos 2x = \cos^2 x - \sin^2 x である (1) より。
また、sin2x+cos2x=1\sin^2 x + \cos^2 x = 1 であるから、sin2x=1cos2x\sin^2 x = 1 - \cos^2 x である。
cos2x=cos2x(1cos2x)=2cos2x1\cos 2x = \cos^2 x - (1 - \cos^2 x) = 2 \cos^2 x - 1
cos2x+1=2cos2x\cos 2x + 1 = 2 \cos^2 x
cos2x=1+cos2x2\cos^2 x = \frac{1 + \cos 2x}{2}
(証明終わり)
(4) cos2x=cos2xsin2x\cos 2x = \cos^2 x - \sin^2 x である (1) より。
また、sin2x+cos2x=1\sin^2 x + \cos^2 x = 1 であるから、cos2x=1sin2x\cos^2 x = 1 - \sin^2 x である。
cos2x=(1sin2x)sin2x=12sin2x\cos 2x = (1 - \sin^2 x) - \sin^2 x = 1 - 2 \sin^2 x
cos2x1=2sin2x\cos 2x - 1 = - 2 \sin^2 x
1cos2x=2sin2x1 - \cos 2x = 2 \sin^2 x
sin2x=1cos2x2\sin^2 x = \frac{1 - \cos 2x}{2}
(証明終わり)

3. 最終的な答え

(1) cos2x=cos2xsin2x\cos 2x = \cos^2 x - \sin^2 x
(2) sin2x=2sinxcosx\sin 2x = 2 \sin x \cos x
(3) cos2x=1+cos2x2\cos^2 x = \frac{1 + \cos 2x}{2}
(4) sin2x=1cos2x2\sin^2 x = \frac{1 - \cos 2x}{2}

「解析学」の関連問題

与えられた関数 $f(x)$ について、以下の問いに答えます。 * $f(x) = \begin{cases} x^2 \sin(\frac{1}{\sqrt[3]{x}}) & (x \neq ...

微分導関数連続性陰関数C1級関数
2025/6/28

関数 $f(x)$ が $x = -1$ で微分可能であるとき、定数 $a$ の値を求める。関数 $f(x)$ は次のように定義される。 $f(x) = \begin{cases} -2x + 1 &...

微分可能性関数極限微分係数
2025/6/28

与えられた7つの関数の極限値を求める問題です。 (1) $\lim_{x \to 1} \frac{\log x - x + 1}{(x-1)^2}$ (2) $\lim_{x \to \infty}...

極限ロピタルの定理微分対数関数三角関数
2025/6/28

関数 $y = \frac{1}{\sqrt{1-x}}$ の $n=4$ のマクローリン展開を求めます。

マクローリン展開テイラー展開導関数近似
2025/6/28

次の関数を微分せよ。 (1) $y = \tan^{-1}\frac{x-1}{x+1}$ (2) $y = \sin^{-1}(e^{-x^2})$ (3) $y = \tan^{-1}(e^x +...

微分逆三角関数合成関数の微分
2025/6/28

問題6の(1)、(2)、(3)の極限を計算する。 (1) $\lim_{x \to 0} \frac{\sin x}{\sin 2x}$ (2) $\lim_{x \to 0} \frac{\tan ...

極限三角関数
2025/6/28

与えられた6つの関数をそれぞれ微分する問題です。 (1) $\cos(4x)$ (2) $x \sin x$ (3) $\sin x \cos x$ (4) $\cos(\sin x)$ (5) $\...

微分三角関数合成関数の微分積の微分
2025/6/28

画像には2つの問題があります。 (ii) 関数 $f(x) = \log(1+x)$ の $x=0$ における $n$ 次のテイラー展開を、剰余項も含めて求める。 (12) 関数 $\cos x$ の...

テイラー展開マクローリン展開剰余項微分対数関数三角関数
2025/6/28

問題は2つあります。 (1) $f(x) = \log(1+x)$ の $x=0$ における $n$ 次のテイラー展開を、剰余項も含めて求めよ。 (2) $\cos x$ の有限マクローリン展開とラグ...

テイラー展開マクローリン展開剰余項微分
2025/6/28

与えられた問題は2つあります。 (ii) $f(x) = \log(1+x)$ の $x=0$ における $n$ 次のテイラー展開を剰余項も含めて求めよ。 (12) $\cos x$ の有限マクローリ...

テイラー展開マクローリン展開剰余項微分
2025/6/28