正の定数 $a$ に対して関数 $f(x) = \log(\sqrt{a^2 + x^2} - x)$ が与えられています。$f(x)$ を微分し、多項式 $f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \frac{f'''(0)}{3!}x^3$ を求める問題です。
2025/6/8
1. 問題の内容
正の定数 に対して関数 が与えられています。 を微分し、多項式 を求める問題です。
2. 解き方の手順
まず、 を微分します。
f(x) = \log(\sqrt{a^2 + x^2} - x)
を求めます。
f'(x) = \frac{1}{\sqrt{a^2 + x^2} - x} \cdot \left(\frac{x}{\sqrt{a^2 + x^2}} - 1\right)
f'(x) = \frac{1}{\sqrt{a^2 + x^2} - x} \cdot \frac{x - \sqrt{a^2 + x^2}}{\sqrt{a^2 + x^2}}
f'(x) = \frac{1}{\sqrt{a^2 + x^2} - x} \cdot \frac{-(\sqrt{a^2 + x^2} - x)}{\sqrt{a^2 + x^2}}
f'(x) = -\frac{1}{\sqrt{a^2 + x^2}}
を求めます。
f''(x) = - \left( -\frac{1}{2} (a^2 + x^2)^{-\frac{3}{2}} \cdot 2x \right)
f''(x) = \frac{x}{(a^2 + x^2)^{\frac{3}{2}}}
を求めます。
f'''(x) = \frac{(a^2 + x^2)^{\frac{3}{2}} - x \cdot \frac{3}{2} (a^2 + x^2)^{\frac{1}{2}} \cdot 2x}{(a^2 + x^2)^3}
f'''(x) = \frac{(a^2 + x^2)^{\frac{3}{2}} - 3x^2 (a^2 + x^2)^{\frac{1}{2}}}{(a^2 + x^2)^3}
f'''(x) = \frac{(a^2 + x^2)^{\frac{1}{2}} (a^2 + x^2 - 3x^2)}{(a^2 + x^2)^3}
f'''(x) = \frac{a^2 - 2x^2}{(a^2 + x^2)^{\frac{5}{2}}}
次に、, , , を計算します。
f(0) = \log(\sqrt{a^2} - 0) = \log(a)
f'(0) = -\frac{1}{\sqrt{a^2}} = -\frac{1}{a}
f''(0) = \frac{0}{(a^2)^{\frac{3}{2}}} = 0
f'''(0) = \frac{a^2}{(a^2)^{\frac{5}{2}}} = \frac{a^2}{a^5} = \frac{1}{a^3}
最後に、多項式 を計算します。
\log(a) - \frac{1}{a}x + \frac{0}{2}x^2 + \frac{1}{6a^3}x^3 = \log(a) - \frac{1}{a}x + \frac{1}{6a^3}x^3