$n$ を0以上の整数とするとき、次の等式を証明する問題です。 (1) $\int_{1}^{e} x^n \log_e x dx = \frac{ne^{n+1}+1}{(n+1)^2}$ (2) $\int_{0}^{n\pi} e^x \sin x dx = \frac{1+(-1)^{n+1}e^{n\pi}}{2}$

解析学積分部分積分定積分
2025/4/10

1. 問題の内容

nn を0以上の整数とするとき、次の等式を証明する問題です。
(1) 1exnlogexdx=nen+1+1(n+1)2\int_{1}^{e} x^n \log_e x dx = \frac{ne^{n+1}+1}{(n+1)^2}
(2) 0nπexsinxdx=1+(1)n+1enπ2\int_{0}^{n\pi} e^x \sin x dx = \frac{1+(-1)^{n+1}e^{n\pi}}{2}

2. 解き方の手順

(1)
部分積分を用いて計算します。
u=logexu = \log_e x, dv=xndxdv = x^n dx とおくと、
du=1xdxdu = \frac{1}{x} dx, v=xn+1n+1v = \frac{x^{n+1}}{n+1} となります。
したがって、
1exnlogexdx=[xn+1n+1logex]1e1exn+1n+11xdx\int_{1}^{e} x^n \log_e x dx = \left[ \frac{x^{n+1}}{n+1} \log_e x \right]_1^e - \int_{1}^{e} \frac{x^{n+1}}{n+1} \cdot \frac{1}{x} dx
=en+1n+1logee1n+1n+1loge11n+11exndx= \frac{e^{n+1}}{n+1} \log_e e - \frac{1^{n+1}}{n+1} \log_e 1 - \frac{1}{n+1} \int_{1}^{e} x^n dx
=en+1n+101n+1[xn+1n+1]1e= \frac{e^{n+1}}{n+1} - 0 - \frac{1}{n+1} \left[ \frac{x^{n+1}}{n+1} \right]_1^e
=en+1n+11(n+1)2(en+11)= \frac{e^{n+1}}{n+1} - \frac{1}{(n+1)^2} (e^{n+1} - 1)
=(n+1)en+1en+1+1(n+1)2= \frac{(n+1)e^{n+1} - e^{n+1} + 1}{(n+1)^2}
=nen+1+1(n+1)2= \frac{ne^{n+1} + 1}{(n+1)^2}
(2)
I=0nπexsinxdxI = \int_{0}^{n\pi} e^x \sin x dx とおきます。
部分積分を2回行います。
u=sinxu = \sin x, dv=exdxdv = e^x dx とおくと、du=cosxdxdu = \cos x dx, v=exv = e^x となります。
I=[exsinx]0nπ0nπexcosxdxI = \left[ e^x \sin x \right]_0^{n\pi} - \int_{0}^{n\pi} e^x \cos x dx
=enπsin(nπ)e0sin00nπexcosxdx= e^{n\pi} \sin(n\pi) - e^0 \sin 0 - \int_{0}^{n\pi} e^x \cos x dx
=00nπexcosxdx= 0 - \int_{0}^{n\pi} e^x \cos x dx
次に、0nπexcosxdx\int_{0}^{n\pi} e^x \cos x dx を部分積分で計算します。
u=cosxu = \cos x, dv=exdxdv = e^x dx とおくと、du=sinxdxdu = -\sin x dx, v=exv = e^x となります。
0nπexcosxdx=[excosx]0nπ0nπex(sinx)dx\int_{0}^{n\pi} e^x \cos x dx = \left[ e^x \cos x \right]_0^{n\pi} - \int_{0}^{n\pi} e^x (-\sin x) dx
=enπcos(nπ)e0cos0+0nπexsinxdx= e^{n\pi} \cos(n\pi) - e^0 \cos 0 + \int_{0}^{n\pi} e^x \sin x dx
=enπ(1)n1+I= e^{n\pi} (-1)^n - 1 + I
したがって、
I=(enπ(1)n1+I)I = - (e^{n\pi} (-1)^n - 1 + I)
I=enπ(1)n+1II = - e^{n\pi} (-1)^n + 1 - I
2I=1enπ(1)n2I = 1 - e^{n\pi} (-1)^n
I=1enπ(1)n2=1+(1)n+1enπ2I = \frac{1 - e^{n\pi} (-1)^n}{2} = \frac{1 + (-1)^{n+1} e^{n\pi}}{2}

3. 最終的な答え

(1) 1exnlogexdx=nen+1+1(n+1)2\int_{1}^{e} x^n \log_e x dx = \frac{ne^{n+1}+1}{(n+1)^2}
(2) 0nπexsinxdx=1+(1)n+1enπ2\int_{0}^{n\pi} e^x \sin x dx = \frac{1+(-1)^{n+1}e^{n\pi}}{2}

「解析学」の関連問題

与えられた2つの極限を、ロピタルの定理を用いて求める問題です。 (1) $\lim_{x \to 0} \frac{1 - e^{-x^2}}{1 - \cos 3x}$ (2) $\lim_{x \...

極限ロピタルの定理微分対数関数
2025/7/31

次の関数を微分する問題です。 (1) $y = \sqrt{x^3}$ (2) $y = \frac{4}{\sqrt[3]{x^2}}$ (3) $y = 4\sqrt[3]{x^4} + \fra...

微分関数の微分べき乗の微分
2025/7/31

以下の極限を求める問題です。 $\lim_{n \to \infty} \frac{1}{2} (1 + (-1)^n)$

極限数列収束振動
2025/7/31

与えられた数列 $a_n$ が収束するかどうかを調べ、収束する場合はその極限値を求める問題です。ここでは、問題番号 (8) の数列 $a_n = \frac{4n-1}{2\sqrt{n}-1}$ に...

数列極限収束発散
2025/7/31

以下の3つの関数を微分する問題です。 (1) $y = -4x^3 + 3x^{-2} + 2$ (2) $y = 2x^{\frac{1}{2}} - 3x^{-\frac{4}{3}}$ (3) ...

微分関数の微分べき乗関数
2025/7/31

関数 $f(x) = 3x^2 - 4x + 1$ について、 (1) 微分 $f'(x)$ を求める。 (2) 微分係数 $f'(-1)$, $f'(-2)$, $f'(-3)$ を求める。

微分導関数微分係数多項式
2025/7/31

与えられた3つの極限を計算します。 (4) $\lim_{x \to 2} \frac{x^2 - 4}{x - 2}$ (5) $\lim_{h \to 0} \frac{2h - 3h^2}{h}...

極限関数の極限代入法約分
2025/7/31

与えられた3つの極限を計算します。 (1) $\lim_{h\to 0}(-2+5h+3h^2)$ (2) $\lim_{x\to -1}(3-x-2x^2)$ (3) $\lim_{t\to 3}\...

極限関数の極限多項式分数式
2025/7/31

与えられた3つの二変数関数について、極値を求める問題です。 (1) $h(x,y) = 3x^2 - 5xy + 3y^2 - x - y$ (2) $h(x,y) = -x^2 + xy - y^2...

多変数関数極値偏微分ヘッセ行列
2025/7/31

関数 $f(x) = -2x^2 + x + 3$ について、以下の区間における平均変化率を求めます。 (1) $x$ が $-2$ から $2$ まで変化するとき (2) $x$ が $-2$ から...

関数平均変化率二次関数
2025/7/31