関数 $f(x) = \frac{x^4 + 2x^3 - 3}{(x^2+1)^2(x+1)}$ ($x \ge 0$) について、以下の問いに答える。 (1) $f(x) = \frac{A}{(x^2+1)^2} + \frac{Bx}{x^2+1} + \frac{C}{x+1}$ が $x$ についての恒等式となるように、定数 $A, B, C$ の値を定める。 (2) $t > 0$ に対して、$I(t) = \int_0^t \frac{1}{x^2+1} dx$, $J(t) = \int_0^t \frac{1}{(x^2+1)^2} dx$ とおく。このとき、$I(t) + \left[ \frac{x}{x^2+1} \right]_0^t$ を $J(t)$ で表す。 (3) $J(1)$ の値を求める。 (4) 定積分 $\int_0^1 f(x) dx$ の値を求める。

解析学部分分数分解定積分積分部分積分定積分恒等式
2025/7/15

1. 問題の内容

関数 f(x)=x4+2x33(x2+1)2(x+1)f(x) = \frac{x^4 + 2x^3 - 3}{(x^2+1)^2(x+1)} (x0x \ge 0) について、以下の問いに答える。
(1) f(x)=A(x2+1)2+Bxx2+1+Cx+1f(x) = \frac{A}{(x^2+1)^2} + \frac{Bx}{x^2+1} + \frac{C}{x+1}xx についての恒等式となるように、定数 A,B,CA, B, C の値を定める。
(2) t>0t > 0 に対して、I(t)=0t1x2+1dxI(t) = \int_0^t \frac{1}{x^2+1} dx, J(t)=0t1(x2+1)2dxJ(t) = \int_0^t \frac{1}{(x^2+1)^2} dx とおく。このとき、I(t)+[xx2+1]0tI(t) + \left[ \frac{x}{x^2+1} \right]_0^tJ(t)J(t) で表す。
(3) J(1)J(1) の値を求める。
(4) 定積分 01f(x)dx\int_0^1 f(x) dx の値を求める。

2. 解き方の手順

(1) f(x)f(x) を部分分数分解する。
f(x)=x4+2x33(x2+1)2(x+1)=A(x2+1)2+Bxx2+1+Cx+1f(x) = \frac{x^4 + 2x^3 - 3}{(x^2+1)^2(x+1)} = \frac{A}{(x^2+1)^2} + \frac{Bx}{x^2+1} + \frac{C}{x+1}
両辺に (x2+1)2(x+1)(x^2+1)^2(x+1) を掛けると、
x4+2x33=A(x+1)+Bx(x2+1)(x+1)+C(x2+1)2x^4 + 2x^3 - 3 = A(x+1) + Bx(x^2+1)(x+1) + C(x^2+1)^2
x4+2x33=A(x+1)+Bx(x3+x2+x+1)+C(x4+2x2+1)x^4 + 2x^3 - 3 = A(x+1) + Bx(x^3 + x^2 + x + 1) + C(x^4 + 2x^2 + 1)
x4+2x33=A(x+1)+B(x4+x3+x2+x)+C(x4+2x2+1)x^4 + 2x^3 - 3 = A(x+1) + B(x^4 + x^3 + x^2 + x) + C(x^4 + 2x^2 + 1)
x4+2x33=(B+C)x4+(B)x3+(B+2C)x2+(A+B)x+(A+C)x^4 + 2x^3 - 3 = (B+C)x^4 + (B)x^3 + (B+2C)x^2 + (A+B)x + (A+C)
係数を比較すると、
B+C=1B+C = 1
B=2B = 2
B+2C=0B+2C = 0
A+B=0A+B = 0
A+C=3A+C = -3
B=2B=2 なので、2+C=12+C = 1 より C=1C = -1.
A+2=0A+2 = 0 より A=2A = -2.
A+C=2+(1)=3A+C = -2 + (-1) = -3 となり、矛盾はない。
よって、A=2,B=2,C=1A = -2, B = 2, C = -1.
(2) I(t)=0t1x2+1dxI(t) = \int_0^t \frac{1}{x^2+1} dx
J(t)=0t1(x2+1)2dxJ(t) = \int_0^t \frac{1}{(x^2+1)^2} dx
部分積分を行う。
I(t)=0tx2+1(x2+1)2dx=0tx2(x2+1)2dx+0t1(x2+1)2dxI(t) = \int_0^t \frac{x^2+1}{(x^2+1)^2} dx = \int_0^t \frac{x^2}{(x^2+1)^2} dx + \int_0^t \frac{1}{(x^2+1)^2} dx
0tx2(x2+1)2dx=0txx(x2+1)2dx\int_0^t \frac{x^2}{(x^2+1)^2} dx = \int_0^t x \cdot \frac{x}{(x^2+1)^2} dx
u=x,dv=x(x2+1)2dxu = x, dv = \frac{x}{(x^2+1)^2} dx とすると、
du=dx,v=12(x2+1)du = dx, v = -\frac{1}{2(x^2+1)}
0tx2(x2+1)2dx=[x2(x2+1)]0t+0t12(x2+1)dx=t2(t2+1)+120t1x2+1dx=t2(t2+1)+12I(t)\int_0^t \frac{x^2}{(x^2+1)^2} dx = \left[ -\frac{x}{2(x^2+1)} \right]_0^t + \int_0^t \frac{1}{2(x^2+1)} dx = -\frac{t}{2(t^2+1)} + \frac{1}{2} \int_0^t \frac{1}{x^2+1} dx = -\frac{t}{2(t^2+1)} + \frac{1}{2} I(t)
したがって、I(t)=t2(t2+1)+12I(t)+J(t)I(t) = -\frac{t}{2(t^2+1)} + \frac{1}{2} I(t) + J(t)
12I(t)=J(t)t2(t2+1)\frac{1}{2} I(t) = J(t) - \frac{t}{2(t^2+1)}
I(t)=2J(t)tt2+1I(t) = 2J(t) - \frac{t}{t^2+1}
I(t)+tt2+1=2J(t)I(t) + \frac{t}{t^2+1} = 2J(t)
(3) J(1)=011(x2+1)2dxJ(1) = \int_0^1 \frac{1}{(x^2+1)^2} dx
(2)より、I(1)+112+1=2J(1)I(1) + \frac{1}{1^2+1} = 2J(1)
I(1)=011x2+1dx=[arctanx]01=arctan1arctan0=π40=π4I(1) = \int_0^1 \frac{1}{x^2+1} dx = [\arctan x]_0^1 = \arctan 1 - \arctan 0 = \frac{\pi}{4} - 0 = \frac{\pi}{4}
2J(1)=π4+12=π+242J(1) = \frac{\pi}{4} + \frac{1}{2} = \frac{\pi + 2}{4}
J(1)=π+28J(1) = \frac{\pi + 2}{8}
(4) 01f(x)dx=01(2(x2+1)2+2xx2+1+1x+1)dx\int_0^1 f(x) dx = \int_0^1 \left( \frac{-2}{(x^2+1)^2} + \frac{2x}{x^2+1} + \frac{-1}{x+1} \right) dx
=2011(x2+1)2dx+201xx2+1dx011x+1dx= -2\int_0^1 \frac{1}{(x^2+1)^2} dx + 2\int_0^1 \frac{x}{x^2+1} dx - \int_0^1 \frac{1}{x+1} dx
=2J(1)+[ln(x2+1)]01[ln(x+1)]01= -2 J(1) + [ \ln(x^2+1) ]_0^1 - [ \ln(x+1) ]_0^1
=2π+28+ln(12+1)ln(02+1)(ln(1+1)ln(0+1))= -2 \cdot \frac{\pi+2}{8} + \ln(1^2+1) - \ln(0^2+1) - (\ln(1+1) - \ln(0+1))
=π+24+ln2ln1(ln2ln1)= -\frac{\pi+2}{4} + \ln 2 - \ln 1 - (\ln 2 - \ln 1)
=π+24+ln20ln2+0=π+24= -\frac{\pi+2}{4} + \ln 2 - 0 - \ln 2 + 0 = -\frac{\pi+2}{4}

3. 最終的な答え

(1) A=2,B=2,C=1A = -2, B = 2, C = -1
(2) I(t)+[xx2+1]0t=2J(t)I(t) + \left[ \frac{x}{x^2+1} \right]_0^t = 2J(t)
(3) J(1)=π+28J(1) = \frac{\pi+2}{8}
(4) 01f(x)dx=π+24\int_0^1 f(x) dx = -\frac{\pi+2}{4}

「解析学」の関連問題

実数 $A$ が以下の無限和で定義されるとき、$A$ の値を求めよ。 $$A = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} \left\{2 \left(\fra...

無限級数arctanテイラー展開加法定理
2025/7/16

与えられた無限級数 $A$ の値を求める問題です。 $$ A = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} \left\{ 2 \left( \frac{1}{2...

無限級数逆正接関数arctanテイラー展開
2025/7/16

次の極限を計算します。 $ \lim_{x \to a} \frac{x^2 - (2a-1)x + a^2 - a}{x^2 - ax} $ ただし、$a \neq 0$です。

極限因数分解代数
2025/7/16

次の極限値を求めます。 $\lim_{x\to 0} \frac{1}{x} \left(2 - \frac{x+2}{x+1}\right)$

極限関数の極限微分
2025/7/16

与えられた関数 $f(x)$ を $x=0$ の周りでテイラー展開(マクローリン展開)し、 $f(x) = \sum_{n=0}^{\infty} a_n x^n$ の形にまとめる。具体的には、以下の...

テイラー展開マクローリン展開関数級数
2025/7/16

(1) 関数 $f(x, y) = x^4 + y^4 - 2x^2 + 4xy - 2y^2$ の極値を求める。 (2) 制約条件 $x^3 - 3xy + y^3 = 0$ の下で、関数 $g(x...

極値偏微分ラグランジュの未定乗数法
2025/7/16

関数 $f(x) = x^3 + kx^2 + kx + 1$ の2つの極値の和が2となるとき、$k$ の値、および2つの極値を求める問題です。

微分極値関数の最大最小三次関数
2025/7/16

関数 $f(x, y) = \begin{cases} \frac{x^4 + 3y^3}{x^2 + y^2} & ((x, y) \neq (0, 0) のとき) \\ 0 & ((x, y) =...

偏微分多変数関数極限
2025/7/16

与えられた2つの関数 $f(x, y)$ の極値を求める問題です。 (1) $f(x, y) = xy(x^2 + y^2 - 1)$ (3) $f(x, y) = e^{-(x^2 + y^2)}(...

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

定積分 $\int_{1}^{2} \log(x^3 + x^2) dx$ を計算します。

定積分部分積分対数関数
2025/7/16