定積分 $I_n = \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^n}$ (n = 0, ±1, ±2, ...) について、以下の問いに答える。 (1) $I_0$, $I_{-1}$, $I_2$ を求める。 (2) $I_1$ を求める。 (3) 部分積分法を用いて、$nI_n - (n+1)I_{n+2} + (\sqrt{2})^n = 0$ が整数 $n$ に対して成り立つことを示す。 (4) $I_{-3}$, $I_{-2}$, $I_3$ を求める。 (5) 定積分 $\int_0^1 \sqrt{x^2+1} dx$ および $\int_0^1 \frac{dx}{(x^2+1)^2}$ を求める。

解析学定積分部分積分三角関数積分
2025/7/31

1. 問題の内容

定積分 In=0π4dx(cosx)nI_n = \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^n} (n = 0, ±1, ±2, ...) について、以下の問いに答える。
(1) I0I_0, I1I_{-1}, I2I_2 を求める。
(2) I1I_1 を求める。
(3) 部分積分法を用いて、nIn(n+1)In+2+(2)n=0nI_n - (n+1)I_{n+2} + (\sqrt{2})^n = 0 が整数 nn に対して成り立つことを示す。
(4) I3I_{-3}, I2I_{-2}, I3I_3 を求める。
(5) 定積分 01x2+1dx\int_0^1 \sqrt{x^2+1} dx および 01dx(x2+1)2\int_0^1 \frac{dx}{(x^2+1)^2} を求める。

2. 解き方の手順

(1)
I0=0π4dx=[x]0π4=π4I_0 = \int_0^{\frac{\pi}{4}} dx = [x]_0^{\frac{\pi}{4}} = \frac{\pi}{4}
I1=0π4cosxdx=[sinx]0π4=sin(π4)sin(0)=12=22I_{-1} = \int_0^{\frac{\pi}{4}} \cos x dx = [\sin x]_0^{\frac{\pi}{4}} = \sin(\frac{\pi}{4}) - \sin(0) = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}
I2=0π4dx(cosx)2=0π4sec2xdx=[tanx]0π4=tan(π4)tan(0)=1I_2 = \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^2} = \int_0^{\frac{\pi}{4}} \sec^2 x dx = [\tan x]_0^{\frac{\pi}{4}} = \tan(\frac{\pi}{4}) - \tan(0) = 1
(2)
I1=0π4dxcosx=0π4cosxcos2xdx=0π4cosx1sin2xdxI_1 = \int_0^{\frac{\pi}{4}} \frac{dx}{\cos x} = \int_0^{\frac{\pi}{4}} \frac{\cos x}{\cos^2 x} dx = \int_0^{\frac{\pi}{4}} \frac{\cos x}{1-\sin^2 x} dx
t=sinxt = \sin x とおくと dt=cosxdxdt = \cos x dx。積分範囲は 0120 \to \frac{1}{\sqrt{2}} となるので、
I1=012dt1t2=12012(11t+11+t)dt=12[log1t+log1+t]012=12[log1+t1t]012=12log1+12112=12log2+121=12log(2+1)221=12log(3+22)=log(2+1)I_1 = \int_0^{\frac{1}{\sqrt{2}}} \frac{dt}{1-t^2} = \frac{1}{2} \int_0^{\frac{1}{\sqrt{2}}} (\frac{1}{1-t} + \frac{1}{1+t}) dt = \frac{1}{2} [-\log|1-t| + \log|1+t|]_0^{\frac{1}{\sqrt{2}}} = \frac{1}{2} [\log|\frac{1+t}{1-t}|]_0^{\frac{1}{\sqrt{2}}} = \frac{1}{2} \log|\frac{1+\frac{1}{\sqrt{2}}}{1-\frac{1}{\sqrt{2}}}| = \frac{1}{2} \log|\frac{\sqrt{2}+1}{\sqrt{2}-1}| = \frac{1}{2} \log|\frac{(\sqrt{2}+1)^2}{2-1}| = \frac{1}{2} \log(3+2\sqrt{2}) = \log(\sqrt{2}+1)
(3)
In=0π4dx(cosx)n=0π4cos2x+sin2x(cosx)ndx=0π4cos2x(cosx)ndx+0π4sin2x(cosx)ndx=0π4dx(cosx)n2+0π4sin2x(cosx)ndx=In2+0π4sin2x(cosx)ndxI_n = \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^n} = \int_0^{\frac{\pi}{4}} \frac{\cos^2 x + \sin^2 x}{(\cos x)^n} dx = \int_0^{\frac{\pi}{4}} \frac{\cos^2 x}{(\cos x)^n} dx + \int_0^{\frac{\pi}{4}} \frac{\sin^2 x}{(\cos x)^n} dx = \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^{n-2}} + \int_0^{\frac{\pi}{4}} \frac{\sin^2 x}{(\cos x)^n} dx = I_{n-2} + \int_0^{\frac{\pi}{4}} \frac{\sin^2 x}{(\cos x)^n} dx
0π4sin2x(cosx)ndx=0π4sinxsinx(cosx)ndx=0π4sinx(11n)(cosx)1ndx\int_0^{\frac{\pi}{4}} \frac{\sin^2 x}{(\cos x)^n} dx = \int_0^{\frac{\pi}{4}} \sin x \cdot \frac{\sin x}{(\cos x)^n} dx = \int_0^{\frac{\pi}{4}} \sin x \cdot (\frac{1}{1-n}) (\cos x)^{1-n} dx
部分積分を行う: u=sinxu = \sin x, dv=(cosx)nsinxdx=(cosx)nd(cosx)dv = (\cos x)^{-n} \sin x dx = (\cos x)^{-n} d(-\cos x)
0π4sin2x(cosx)ndx=[(sinx)(cosx)1nn1]0π40π4(cosx)(cosx)1nn1dx\int_0^{\frac{\pi}{4}} \frac{\sin^2 x}{(\cos x)^n} dx = [(\sin x) \frac{(\cos x)^{1-n}}{n-1}]_0^{\frac{\pi}{4}} - \int_0^{\frac{\pi}{4}} (\cos x) \frac{(\cos x)^{1-n}}{n-1} dx
=[sinx(cosx)n1(n1)]0π41n10π4dx(cosx)n2=12(2)n11n11n1In2= [\frac{\sin x}{(\cos x)^{n-1} (n-1)}]_0^{\frac{\pi}{4}} - \frac{1}{n-1} \int_0^{\frac{\pi}{4}} \frac{dx}{(\cos x)^{n-2}} = \frac{1}{\sqrt{2}} (\sqrt{2})^{n-1} \frac{1}{n-1} - \frac{1}{n-1} I_{n-2}
In=In2+(2)n2n1In2n1I_n = I_{n-2} + \frac{(\sqrt{2})^{n-2}}{n-1} - \frac{I_{n-2}}{n-1}
(n1)In=(n1)In2+(2)n2In2(n-1)I_n = (n-1) I_{n-2} + (\sqrt{2})^{n-2} - I_{n-2}
(n1)In=(n2)In2+(2)n2(n-1)I_n = (n-2)I_{n-2} + (\sqrt{2})^{n-2}
nIn=(n1)In2+(2)n2nI_n = (n-1)I_{n-2} + (\sqrt{2})^{n-2}
ここで、nn+2n \to n+2 とすると (n+2)In+2=(n+1)In+(2)n(n+2)I_{n+2} = (n+1)I_n + (\sqrt{2})^n となるから、
(n+1)In(n+2)In+2+(2)n=0(n+1)I_n - (n+2)I_{n+2} + (\sqrt{2})^n = 0
ゆえに、nIn(n+1)In+2+(2)n=0nI_n - (n+1)I_{n+2} + (\sqrt{2})^n = 0 が成り立つことを示せた。
(4)
n=3n = -3 のとき、3I3(3+1)I1+(2)3=0-3I_{-3} - (-3+1)I_{-1} + (\sqrt{2})^{-3} = 0 より 3I3+2I1+122=0-3I_{-3} + 2I_{-1} + \frac{1}{2\sqrt{2}} = 0
3I3+2(22)+122=03I3+2+24=03I3=524I3=5212-3I_{-3} + 2(\frac{\sqrt{2}}{2}) + \frac{1}{2\sqrt{2}} = 0 \Rightarrow -3I_{-3} + \sqrt{2} + \frac{\sqrt{2}}{4} = 0 \Rightarrow 3I_{-3} = \frac{5\sqrt{2}}{4} \Rightarrow I_{-3} = \frac{5\sqrt{2}}{12}
n=2n = -2 のとき、2I2(2+1)I0+(2)2=0-2I_{-2} - (-2+1)I_0 + (\sqrt{2})^{-2} = 0 より 2I2+I0+12=0-2I_{-2} + I_0 + \frac{1}{2} = 0
2I2+π4+12=02I2=π4+12I2=π+28-2I_{-2} + \frac{\pi}{4} + \frac{1}{2} = 0 \Rightarrow 2I_{-2} = \frac{\pi}{4} + \frac{1}{2} \Rightarrow I_{-2} = \frac{\pi+2}{8}
n=1n=1 のとき、I12I3+2=0I_1 - 2I_3 + \sqrt{2} = 0 より I3=I1+22=log(2+1)+22I_3 = \frac{I_1 + \sqrt{2}}{2} = \frac{\log(\sqrt{2}+1)+\sqrt{2}}{2}
(5)
01x2+1dx=[x2x2+1+12sinh1x]01=122+12sinh11=22+12log(1+2)\int_0^1 \sqrt{x^2+1} dx = [\frac{x}{2} \sqrt{x^2+1} + \frac{1}{2} \sinh^{-1} x]_0^1 = \frac{1}{2} \sqrt{2} + \frac{1}{2} \sinh^{-1} 1 = \frac{\sqrt{2}}{2} + \frac{1}{2} \log(1+\sqrt{2})
01dx(x2+1)2=?\int_0^1 \frac{dx}{(x^2+1)^2} = ?

3. 最終的な答え

(1) I0=π4I_0 = \frac{\pi}{4}, I1=22I_{-1} = \frac{\sqrt{2}}{2}, I2=1I_2 = 1
(2) I1=log(2+1)I_1 = \log(\sqrt{2}+1)
(3) nIn(n+1)In+2+(2)n=0nI_n - (n+1)I_{n+2} + (\sqrt{2})^n = 0 が整数 nn に対して成り立つ。
(4) I3=5212I_{-3} = \frac{5\sqrt{2}}{12}, I2=π+28I_{-2} = \frac{\pi+2}{8}, I3=log(2+1)+22I_3 = \frac{\log(\sqrt{2}+1)+\sqrt{2}}{2}
(5) 01x2+1dx=22+12log(1+2)\int_0^1 \sqrt{x^2+1} dx = \frac{\sqrt{2}}{2} + \frac{1}{2} \log(1+\sqrt{2})
01dx(x2+1)2=π8+14\int_0^1 \frac{dx}{(x^2+1)^2} = \frac{\pi}{8} + \frac{1}{4}

「解析学」の関連問題

曲線 $C: x = \sin(\pi(t^2 + 1)), y = \cos(\pi(t^2 - 1))$ ($0 \le t \le 2$) の長さを求める。

曲線弧長積分パラメータ表示
2025/8/2

与えられた定積分を計算します。具体的には、以下の5つの定積分を計算します。 (7) $\int_{1}^{\infty} \frac{1}{x^4} dx$ (8) $\int_{0}^{2} \fr...

定積分積分計算広義積分部分分数分解置換積分三角関数の積分
2025/8/2

関数 $f(x) = x^3 + ax^2 + bx + 2$ が $x = -2$ で極大値、 $x = 4$ で極小値をとるとき、定数 $a, b$ の値を求める。

微分極値関数の増減連立方程式
2025/8/2

与えられた積分 $\int \frac{-2x}{\sqrt{2x+3}} dx$ を計算します。

積分置換積分不定積分
2025/8/2

以下の2つの二変数関数の極限を求める問題です。 (1) $\lim_{(x,y) \to (0,0)} \frac{xy}{\sqrt{x^2 + y^2}}$ (2) $\lim_{(x,y) \t...

多変数関数極限極座標変換二変数関数
2025/8/2

自然数 $n$ について、定積分 $\int_{-1}^{1} (1-x^2)^n dx$ を $\Gamma$ 関数を使って表し、その値を求める問題です。ただし、置換 $t = \frac{x+1}...

定積分ガンマ関数ベータ関数置換積分
2025/8/2

自然数 $n$ に対して、積分 $\int_{-1}^1 (1-x^2)^n dx$ を$\Gamma$関数を使って表し、その値を求める。

積分ガンマ関数ベータ関数置換積分
2025/8/2

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

定積分積分arctan極限
2025/8/2

問題は、広義積分 $\int_{-1}^{1} \frac{dx}{\sqrt{1-x^2}}$ を、積分範囲の端点で特異点を持つため、極限を用いて計算するものです。具体的には、 $\lim_{\ep...

広義積分逆三角関数極限定積分積分
2025/8/2

定積分 $\int_{0}^{1} \log x \, dx$ を計算します。

定積分部分積分ロピタルの定理対数関数
2025/8/2