関数 $y = e^x \sin x$ の $n$ 次導関数を求める問題です。

解析学導関数数学的帰納法指数関数三角関数
2025/6/7

1. 問題の内容

関数 y=exsinxy = e^x \sin xnn 次導関数を求める問題です。

2. 解き方の手順

まず、yy の導関数をいくつか計算し、規則性を見つけます。
y=exsinxy = e^x \sin x
y=exsinx+excosx=ex(sinx+cosx)y' = e^x \sin x + e^x \cos x = e^x (\sin x + \cos x)
y=ex(sinx+cosx)+ex(cosxsinx)=ex(2cosx)y'' = e^x (\sin x + \cos x) + e^x (\cos x - \sin x) = e^x (2\cos x)
y=ex(2cosx)+ex(2sinx)=ex(2cosx2sinx)=2ex(cosxsinx)y''' = e^x (2\cos x) + e^x (-2\sin x) = e^x (2\cos x - 2\sin x) = 2e^x (\cos x - \sin x)
y(4)=2ex(cosxsinx)+2ex(sinxcosx)=2ex(2sinx)=4exsinxy^{(4)} = 2e^x (\cos x - \sin x) + 2e^x (-\sin x - \cos x) = 2e^x (-2\sin x) = -4e^x \sin x
y(4)=4yy^{(4)} = -4y となることがわかります。
ここで、sinx+cosx=2sin(x+π4)\sin x + \cos x = \sqrt{2} \sin(x + \frac{\pi}{4}) と変形できることを利用します。
y=ex(sinx+cosx)=2exsin(x+π4)y' = e^x (\sin x + \cos x) = \sqrt{2} e^x \sin(x + \frac{\pi}{4})
y=2excosx=2exsin(x+π2)=(2)2exsin(x+2π4)y'' = 2e^x \cos x = 2e^x \sin(x + \frac{\pi}{2}) = (\sqrt{2})^2 e^x \sin(x + \frac{2\pi}{4})
y=2ex(cosxsinx)=22exsin(x+3π4)=(2)3exsin(x+3π4)y''' = 2e^x (\cos x - \sin x) = 2\sqrt{2} e^x \sin(x + \frac{3\pi}{4}) = (\sqrt{2})^3 e^x \sin(x + \frac{3\pi}{4})
y(4)=4exsinx=4exsin(x+π)=(2)4exsin(x+4π4)y^{(4)} = -4e^x \sin x = 4e^x \sin(x + \pi) = (\sqrt{2})^4 e^x \sin(x + \frac{4\pi}{4})
一般に、y(n)=(2)nexsin(x+nπ4)y^{(n)} = (\sqrt{2})^n e^x \sin(x + \frac{n\pi}{4}) と推測できます。
数学的帰納法で証明します。
n=1の場合、y=(2)1exsin(x+π4)y' = (\sqrt{2})^1 e^x \sin(x + \frac{\pi}{4}) は成立します。
n=kの場合、y(k)=(2)kexsin(x+kπ4)y^{(k)} = (\sqrt{2})^k e^x \sin(x + \frac{k\pi}{4}) が成立すると仮定します。
このとき、n=k+1の場合、
y(k+1)=ddxy(k)=ddx[(2)kexsin(x+kπ4)]=(2)k[exsin(x+kπ4)+excos(x+kπ4)]y^{(k+1)} = \frac{d}{dx} y^{(k)} = \frac{d}{dx} [(\sqrt{2})^k e^x \sin(x + \frac{k\pi}{4})] = (\sqrt{2})^k [e^x \sin(x + \frac{k\pi}{4}) + e^x \cos(x + \frac{k\pi}{4})]
=(2)kex[sin(x+kπ4)+cos(x+kπ4)]= (\sqrt{2})^k e^x [\sin(x + \frac{k\pi}{4}) + \cos(x + \frac{k\pi}{4})]
=(2)kex[sin(x+kπ4)+sin(x+kπ4+π2)]= (\sqrt{2})^k e^x [\sin(x + \frac{k\pi}{4}) + \sin(x + \frac{k\pi}{4} + \frac{\pi}{2})]
=(2)kex2sin(x+kπ4+π4)= (\sqrt{2})^k e^x \sqrt{2} \sin(x + \frac{k\pi}{4} + \frac{\pi}{4})
=(2)k+1exsin(x+(k+1)π4)= (\sqrt{2})^{k+1} e^x \sin(x + \frac{(k+1)\pi}{4})
よって、n=k+1n=k+1 の場合も成立します。
したがって、y(n)=(2)nexsin(x+nπ4)y^{(n)} = (\sqrt{2})^n e^x \sin(x + \frac{n\pi}{4})

3. 最終的な答え

y(n)=(2)nexsin(x+nπ4)y^{(n)} = (\sqrt{2})^n e^x \sin(x + \frac{n\pi}{4})

「解析学」の関連問題

与えられた和 $\sum_{k=1}^{n} \frac{1}{\sqrt{k+2} + \sqrt{k}}$ を計算する。

級数有理化telescoping sum
2025/6/7

問題は、$\lim_{h \to 0} (1+h)^{\frac{1}{h}} = e$ を用いて、 $(e^x)'$ と $(\log x)'$ を求めることです。

微分指数関数対数関数合成関数の微分法極限
2025/6/7

画像には、極限の公式 $\lim_{h \to 0} \frac{e^h - 1}{h} = 1$ と $\lim_{h \to 0} (1+h)^{\frac{1}{h}} = e$ が示されていま...

微分導関数指数関数対数関数極限
2025/6/7

与えられた級数 $S$ の和を求める問題です。級数は次のようになっています。 $S = 1 + 4x + 7x^2 + \dots + (3n-2)x^{n-1}$

級数無限級数等比数列
2025/6/7

自然対数の底 $e$ の定義 $e = \lim_{n \to \infty} (1 + \frac{1}{n})^n$ を利用して、以下の2つの極限値を求める問題です。 (1) $\lim_{n \...

極限自然対数e数列
2025/6/7

与えられた6つの関数を微分する問題です。 (1) $y = (x-1)^2$ (2) $y = (3x-1)^3$ (3) $y = (2x-1)(x-2)^2$ (4) $y = (x^2+2x+3...

微分合成関数の微分積の微分商の微分
2025/6/7

$\sqrt{x}$ の導関数を定義に従って計算する問題です。

導関数微分極限有理化
2025/6/7

関数 $y = \log(x + \sqrt{x^2 + 1})$ の極値を求める問題です。ここで、logは自然対数(底がeの対数)を表すと仮定します。

微分対数関数極値単調増加
2025/6/7

$\sum_{k=1}^{n} \frac{1}{\sqrt{k+2}+\sqrt{k}}$ を計算せよ。

級数望遠鏡和ルート
2025/6/7

問題文は、定数関数の微分が0であること ($c' = 0$) と、$x^n$ の微分が $nx^{n-1}$ であること ($(x^n)' = nx^{n-1}$) を、導関数の定義に従って示すことを...

微分導関数極限定数関数冪関数二項定理
2025/6/7