関数 $f(x) = \arctan(\sqrt{1+x})$ が与えられている。 (1) $x=0$ における $f(x)$ の1次テイラー多項式 $P_1f(x;0)$ を求める。 (2) $\phi(x) = 3x$ とする。極限 $A = \lim_{x\to 0} \frac{f(\phi(x)) - B - Cx}{x^2}$ が存在するような実数 $B, C$ を求め、そのときの $A$ の値を求める。

解析学テイラー展開極限微分
2025/7/11

1. 問題の内容

関数 f(x)=arctan(1+x)f(x) = \arctan(\sqrt{1+x}) が与えられている。
(1) x=0x=0 における f(x)f(x) の1次テイラー多項式 P1f(x;0)P_1f(x;0) を求める。
(2) ϕ(x)=3x\phi(x) = 3x とする。極限 A=limx0f(ϕ(x))BCxx2A = \lim_{x\to 0} \frac{f(\phi(x)) - B - Cx}{x^2} が存在するような実数 B,CB, C を求め、そのときの AA の値を求める。

2. 解き方の手順

(1) 1次テイラー多項式 P1f(x;0)P_1f(x;0) を求める。
P1f(x;0)=f(0)+f(0)xP_1f(x;0) = f(0) + f'(0)x
f(0)=arctan(1+0)=arctan(1)=π4f(0) = \arctan(\sqrt{1+0}) = \arctan(1) = \frac{\pi}{4}
f(x)=11+(1+x)2121+x=11+1+x121+x=1(2+x)21+xf'(x) = \frac{1}{1+(\sqrt{1+x})^2} \cdot \frac{1}{2\sqrt{1+x}} = \frac{1}{1+1+x} \cdot \frac{1}{2\sqrt{1+x}} = \frac{1}{(2+x)2\sqrt{1+x}}
f(0)=1(2+0)21+0=1221=14f'(0) = \frac{1}{(2+0)2\sqrt{1+0}} = \frac{1}{2 \cdot 2 \cdot 1} = \frac{1}{4}
したがって、P1f(x;0)=π4+14xP_1f(x;0) = \frac{\pi}{4} + \frac{1}{4}x
(2) 極限 A=limx0f(ϕ(x))BCxx2A = \lim_{x\to 0} \frac{f(\phi(x)) - B - Cx}{x^2} が存在するための B,CB, C を求め、AA を計算する。
ϕ(x)=3x\phi(x) = 3x より、f(ϕ(x))=f(3x)=arctan(1+3x)f(\phi(x)) = f(3x) = \arctan(\sqrt{1+3x})
f(3x)=arctan(1+3x)f(3x) = \arctan(\sqrt{1+3x})x=0x=0 の周りでテイラー展開する。
f(0)=π4f(0) = \frac{\pi}{4}
f(x)=14(2+x)1+xf'(x) = \frac{1}{4(2+x)\sqrt{1+x}} より、f(0)=14f'(0) = \frac{1}{4}
f(x)=4(2+x)1+x+4(1+x+(2+x)121+x)(4(2+x)1+x)2=(2+x)1+x+(1+x+(2+x)121+x)4(2+x)2(1+x)f''(x) = -\frac{4(2+x)\sqrt{1+x} + 4(\sqrt{1+x} + (2+x)\frac{1}{2\sqrt{1+x}})}{(4(2+x)\sqrt{1+x})^2} = -\frac{(2+x)\sqrt{1+x} + (\sqrt{1+x} + (2+x)\frac{1}{2\sqrt{1+x}})}{4(2+x)^2(1+x)}
f(0)=2+(1+1)4(2)2=416=14f''(0) = -\frac{2 + (1 + 1)}{4(2)^2} = -\frac{4}{16} = -\frac{1}{4}
f(3x)=π4+14(3x)1214(3x)2+O(x3)=π4+34x98x2+O(x3)f(3x) = \frac{\pi}{4} + \frac{1}{4}(3x) - \frac{1}{2} \frac{1}{4} (3x)^2 + O(x^3) = \frac{\pi}{4} + \frac{3}{4}x - \frac{9}{8}x^2 + O(x^3)
limx0f(3x)BCxx2=limx0π4+34x98x2BCxx2\lim_{x\to 0} \frac{f(3x) - B - Cx}{x^2} = \lim_{x\to 0} \frac{\frac{\pi}{4} + \frac{3}{4}x - \frac{9}{8}x^2 - B - Cx}{x^2}
極限が存在するためには、定数項と xx の係数が0でなければならない。
π4B=0    B=π4\frac{\pi}{4} - B = 0 \implies B = \frac{\pi}{4}
34C=0    C=34\frac{3}{4} - C = 0 \implies C = \frac{3}{4}
したがって、
A=limx0π4+34x98x2π434xx2=limx098x2x2=98A = \lim_{x\to 0} \frac{\frac{\pi}{4} + \frac{3}{4}x - \frac{9}{8}x^2 - \frac{\pi}{4} - \frac{3}{4}x}{x^2} = \lim_{x\to 0} \frac{-\frac{9}{8}x^2}{x^2} = -\frac{9}{8}

3. 最終的な答え

(1) P1f(x;0)=π4+14xP_1f(x;0) = \frac{\pi}{4} + \frac{1}{4}x
(2) B=π4B = \frac{\pi}{4}, C=34C = \frac{3}{4}, A=98A = -\frac{9}{8}

「解析学」の関連問題

与えられた関数 $y = \sqrt{x^4 + 2x^2 + 2}$ の導関数を求める問題です。

微分導関数合成関数の微分ルート関数
2025/7/17

関数 $y = \frac{x}{\sqrt{x+1}}$ の導関数 $y'$ を求める問題です。

導関数微分商の微分関数の微分
2025/7/17

問題は2つあります。 (1) 最大値・最小値の定理を述べる。 (2) 関数 $f(x)$ が開区間$(0, 1)$で連続であるとき、この関数に最大値や最小値が存在するかどうかを答える。

最大値最小値最大値・最小値の定理連続関数開区間
2025/7/17

(1) 関数 $f(x) = \frac{1}{\alpha x + \beta}$ (ただし $\alpha, \beta > 0$) をマクローリン展開したときの係数 $a_0, a_1, a_2...

マクローリン展開テイラー展開微分関数
2025/7/17

関数 $f(x) = \frac{1}{\alpha x + \beta}$ (ただし、$\alpha, \beta > 0$)のマクローリン展開 $f(x) = a_0 + a_1x + a_2x^...

マクローリン展開テイラー展開導関数数学的帰納法
2025/7/17

(1) 関数 $f(x) = \frac{1}{\alpha x + \beta}$ (ただし、$\alpha, \beta > 0$) のマクローリン展開 $f(x) = a_0 + a_1x + ...

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

問題は2つあります。 (1) 時刻 $t$ における物体の位置が $x(t) = \cos(t^2)$ で与えられているとき、速度と加速度を求めよ。 (2) 時刻 $t$ における中心角が $\the...

微分速度加速度円運動三角関数
2025/7/17

$u = \theta + \log r$, $x = r^2 \cos \theta$, $y = r \sin \theta$ が与えられたとき、以下の問題を解く。 (1) $(r, \theta...

偏微分ヤコビアン合成関数の偏微分
2025/7/17

与えられた数式 $y = \frac{\sin^2{x}}{1 + \cos{x}}$ を簡略化すること。

三角関数恒等式簡略化因数分解
2025/7/17

関数 $y = \frac{\cos 2x}{1 + \sin^2 x}$ を簡略化する。

三角関数関数の簡略化倍角の公式
2025/7/17