与えられた関数 $f(x)$ を $x=0$ のまわりでテイラー展開(マクローリン展開)し、$f(x) = \sum_{n=0}^{\infty} a_n x^n$ の形にまとめる問題です。与えられた関数は以下の通りです: (a) $f(x) = \log(1 - x)$ (b) $f(x) = \frac{1}{1 + x^2}$ (c) $f(x) = \arctan x$ (d) $f(x) = \cosh x$ (e) $f(x) = \sinh x$ (f) $f(x) = \log \frac{1 + x}{1 - x}$

解析学テイラー展開マクローリン展開関数級数対数関数逆正接関数双曲線関数
2025/6/23

1. 問題の内容

与えられた関数 f(x)f(x)x=0x=0 のまわりでテイラー展開(マクローリン展開)し、f(x)=n=0anxnf(x) = \sum_{n=0}^{\infty} a_n x^n の形にまとめる問題です。与えられた関数は以下の通りです:
(a) f(x)=log(1x)f(x) = \log(1 - x)
(b) f(x)=11+x2f(x) = \frac{1}{1 + x^2}
(c) f(x)=arctanxf(x) = \arctan x
(d) f(x)=coshxf(x) = \cosh x
(e) f(x)=sinhxf(x) = \sinh x
(f) f(x)=log1+x1xf(x) = \log \frac{1 + x}{1 - x}

2. 解き方の手順

各関数について、マクローリン展開を求めます。
(a) f(x)=log(1x)f(x) = \log(1 - x)
log(1+x)\log(1+x) のマクローリン展開は n=1(1)n1nxn\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} x^n なので、xxx-x で置き換えると、
log(1x)=n=1(1)n1n(x)n=n=1(1)2n1nxn=n=11nxn=n=1xnn\log(1-x) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} (-x)^n = \sum_{n=1}^{\infty} \frac{(-1)^{2n-1}}{n} x^n = \sum_{n=1}^{\infty} \frac{-1}{n} x^n = -\sum_{n=1}^{\infty} \frac{x^n}{n}
となります。
(b) f(x)=11+x2f(x) = \frac{1}{1 + x^2}
11x\frac{1}{1-x} のマクローリン展開は n=0xn\sum_{n=0}^{\infty} x^n なので、xxx2-x^2 で置き換えると、
11+x2=11(x2)=n=0(x2)n=n=0(1)nx2n\frac{1}{1 + x^2} = \frac{1}{1 - (-x^2)} = \sum_{n=0}^{\infty} (-x^2)^n = \sum_{n=0}^{\infty} (-1)^n x^{2n}
となります。
(c) f(x)=arctanxf(x) = \arctan x
arctanx\arctan x の微分は 11+x2\frac{1}{1 + x^2} なので、(b) の結果を利用します。
arctanx=11+x2dx=n=0(1)nx2ndx=n=0(1)nx2ndx=n=0(1)nx2n+12n+1+C\arctan x = \int \frac{1}{1 + x^2} dx = \int \sum_{n=0}^{\infty} (-1)^n x^{2n} dx = \sum_{n=0}^{\infty} (-1)^n \int x^{2n} dx = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{2n+1} + C
x=0x=0 のとき arctan0=0\arctan 0 = 0 なので、C=0C=0
arctanx=n=0(1)n2n+1x2n+1\arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} x^{2n+1}
となります。
(d) f(x)=coshxf(x) = \cosh x
coshx=ex+ex2\cosh x = \frac{e^x + e^{-x}}{2} であり、ex=n=0xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} なので、
coshx=12(n=0xnn!+n=0(x)nn!)=12n=0xn+(x)nn!=n=0x2n(2n)!\cosh x = \frac{1}{2} \left( \sum_{n=0}^{\infty} \frac{x^n}{n!} + \sum_{n=0}^{\infty} \frac{(-x)^n}{n!} \right) = \frac{1}{2} \sum_{n=0}^{\infty} \frac{x^n + (-x)^n}{n!} = \sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}
となります。
(e) f(x)=sinhxf(x) = \sinh x
sinhx=exex2\sinh x = \frac{e^x - e^{-x}}{2} であり、ex=n=0xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} なので、
sinhx=12(n=0xnn!n=0(x)nn!)=12n=0xn(x)nn!=n=0x2n+1(2n+1)!\sinh x = \frac{1}{2} \left( \sum_{n=0}^{\infty} \frac{x^n}{n!} - \sum_{n=0}^{\infty} \frac{(-x)^n}{n!} \right) = \frac{1}{2} \sum_{n=0}^{\infty} \frac{x^n - (-x)^n}{n!} = \sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!}
となります。
(f) f(x)=log1+x1x=log(1+x)log(1x)f(x) = \log \frac{1 + x}{1 - x} = \log (1+x) - \log (1-x)
log(1+x)=n=1(1)n1nxn\log(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} x^n であり、(a) の結果より log(1x)=n=1xnn\log(1-x) = -\sum_{n=1}^{\infty} \frac{x^n}{n} なので、
log1+x1x=n=1(1)n1nxn(n=1xnn)=n=1(1)n1+1nxn\log \frac{1+x}{1-x} = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} x^n - \left(-\sum_{n=1}^{\infty} \frac{x^n}{n} \right) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1} + 1}{n} x^n
nn が奇数のとき (1)n1+1=2(-1)^{n-1} + 1 = 2 であり、nn が偶数のとき (1)n1+1=0(-1)^{n-1} + 1 = 0 なので、
log1+x1x=n=022n+1x2n+1=2n=0x2n+12n+1\log \frac{1+x}{1-x} = \sum_{n=0}^{\infty} \frac{2}{2n+1} x^{2n+1} = 2\sum_{n=0}^{\infty} \frac{x^{2n+1}}{2n+1}
となります。

3. 最終的な答え

(a) f(x)=log(1x)=n=1xnnf(x) = \log(1 - x) = -\sum_{n=1}^{\infty} \frac{x^n}{n}
(b) f(x)=11+x2=n=0(1)nx2nf(x) = \frac{1}{1 + x^2} = \sum_{n=0}^{\infty} (-1)^n x^{2n}
(c) f(x)=arctanx=n=0(1)n2n+1x2n+1f(x) = \arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} x^{2n+1}
(d) f(x)=coshx=n=0x2n(2n)!f(x) = \cosh x = \sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}
(e) f(x)=sinhx=n=0x2n+1(2n+1)!f(x) = \sinh x = \sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!}
(f) f(x)=log1+x1x=2n=0x2n+12n+1f(x) = \log \frac{1 + x}{1 - x} = 2\sum_{n=0}^{\infty} \frac{x^{2n+1}}{2n+1}

「解析学」の関連問題

与えられた関数 $f(x, y)$ について、2階偏導関数 $f_{xx}$ と $f_{yy}$、および交差偏導関数 $f_{xy}$ と $f_{yx}$ を求め、$f_{xy} = f_{yx}...

偏微分偏導関数多変数関数
2025/6/23

方程式 $2^x - 3x = 0$ が、区間 $3 < x < 4$ に少なくとも1つの実数解を持つことを示す問題です。

中間値の定理指数関数方程式の解連続関数
2025/6/23

問題は、テイラー展開を用いて、$\log 3$と $\cos 55^\circ$ の近似値を求めるというものです。関数電卓以外の電卓の使用が許可されており、何次まで展開したかを明示する必要があります。

テイラー展開マクローリン展開対数関数三角関数近似
2025/6/23

関数 $y = 2q - r$ について、$\frac{\partial y}{\partial q}$ と $\frac{\partial y}{\partial r}$ を求める。

偏微分多変数関数
2025/6/23

与えられた3つの2重積分の値を計算します。それぞれ積分領域が異なることに注意してください。 (4) $\iint_{D_4} x \, dx \, dy$, $D_4 = \{(x, y) \,|\...

重積分極座標変換積分領域ヤコビアン
2025/6/23

区間が与えられたときの関数 $f(x) = \cos x$ の最大値と最小値を求める問題です。 (1) 区間 $[0, \pi]$ (2) 区間 $[-\pi, \pi]$

三角関数最大値最小値関数のグラフ
2025/6/23

この画像は、いくつかの関数の連続性について述べています。具体的には、多項式関数、指数関数、三角関数、対数関数、分数関数、無理関数が、それぞれ特定の区間で連続であると述べています。

関数の連続性多項式関数指数関数三角関数対数関数分数関数無理関数区間
2025/6/23

与えられた関数が連続である区間を求める問題です。 (1) $f(x) = \sqrt{1-x}$ (2) $f(x) = \frac{x+1}{x^2 - 3x + 2}$

関数の連続性平方根分数関数区間
2025/6/23

与えられた3つの関数 $f(x)$ が $x=0$ で連続であるかどうかを調べます。ここで $[x]$ はガウス記号($x$を超えない最大の整数)を表します。

連続性極限ガウス記号
2025/6/23

極限 $\lim_{x \to 0} \frac{\tan x}{x}$ を求める問題です。

極限三角関数ロピタルの定理
2025/6/23