与えられた定積分 $\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx$ を計算します。この積分は広義積分なので、極限を用いて計算します。画像の解法では、$t = \cos x$ とおき、部分分数分解を用いて積分を計算しています。

解析学定積分広義積分置換積分部分分数分解積分発散
2025/7/13

1. 問題の内容

与えられた定積分 0π21sinxdx\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx を計算します。この積分は広義積分なので、極限を用いて計算します。画像の解法では、t=cosxt = \cos x とおき、部分分数分解を用いて積分を計算しています。

2. 解き方の手順

まず、0π21sinxdx=0π2sinxsin2xdx\int_{0}^{\frac{\pi}{2}} \frac{1}{\sin x} dx = \int_{0}^{\frac{\pi}{2}} \frac{\sin x}{\sin^2 x} dx と変形します。次に、t=cosxt = \cos x と置換すると、dt=sinxdxdt = -\sin x dx となり、x=0x = 0 のとき t=1t = 1x=π2x = \frac{\pi}{2} のとき t=0t = 0 となります。したがって、積分は
0π2sinxsin2xdx=0π2sinx1cos2xdx=10dt1t2=01dt1t2\int_{0}^{\frac{\pi}{2}} \frac{\sin x}{\sin^2 x} dx = \int_{0}^{\frac{\pi}{2}} \frac{\sin x}{1 - \cos^2 x} dx = \int_{1}^{0} \frac{-dt}{1 - t^2} = \int_{0}^{1} \frac{dt}{1 - t^2}
となります。ここで、t=1t=1 の時、積分が発散するため、y1y \to 1^- の極限をとります。
01dt1t2=limy10ydt1t2\int_{0}^{1} \frac{dt}{1 - t^2} = \lim_{y \to 1^-} \int_{0}^{y} \frac{dt}{1 - t^2}
11t2\frac{1}{1 - t^2} を部分分数分解すると、11t2=12(11t+11+t)\frac{1}{1 - t^2} = \frac{1}{2} \left(\frac{1}{1 - t} + \frac{1}{1 + t}\right) となります。したがって、
limy10ydt1t2=limy10y12(11t+11+t)dt \lim_{y \to 1^-} \int_{0}^{y} \frac{dt}{1 - t^2} = \lim_{y \to 1^-} \int_{0}^{y} \frac{1}{2} \left(\frac{1}{1 - t} + \frac{1}{1 + t}\right) dt
積分を実行すると、
limy1120y(11t+11+t)dt=limy112[log1t+log1+t]0y \lim_{y \to 1^-} \frac{1}{2} \int_{0}^{y} \left(\frac{1}{1 - t} + \frac{1}{1 + t}\right) dt = \lim_{y \to 1^-} \frac{1}{2} \left[ -\log |1 - t| + \log |1 + t| \right]_{0}^{y}
=limy112(log1y+log1+y(log10+log1+0)) = \lim_{y \to 1^-} \frac{1}{2} \left( -\log |1 - y| + \log |1 + y| - (-\log |1 - 0| + \log |1 + 0|) \right)
=limy112(log1+ylog1y)=12limy1log1+y1y = \lim_{y \to 1^-} \frac{1}{2} \left( \log |1 + y| - \log |1 - y| \right) = \frac{1}{2} \lim_{y \to 1^-} \log \left| \frac{1 + y}{1 - y} \right|
y1y \to 1^- のとき、1y0+1 - y \to 0^+ なので、1+y1y\frac{1 + y}{1 - y} \to \infty となります。よって、log1+y1y\log \left| \frac{1 + y}{1 - y} \right| \to \infty となり、積分は発散します。

3. 最終的な答え

\infty (発散)