ここで行き詰まった? AI で解決しよう
Calculus · real student question

√(x^2 + 1) の x = 0 のまわりのテイラー級数を求め、一般項と収束域を述べよ。

Question

次の関数の

f(x)=x2+1=(1+x2)1/2f(x)=\sqrt{x^{2}+1}=(1+x^{2})^{1/2}

x=0x=0 のまわりのテイラー級数を求め、一般項と収束域を述べよ。

Step-by-step solution

  1. t=x2t=x^{2} として二項級数を適用する。 一般化された二項定理は

    (1+t)α=∑n=0∞(αn)tn,(1+t)^{\alpha}=\sum_{n=0}^{\infty}\binom{\alpha}{n}t^{n},

    を与え、ここでは α=12\alpha=\tfrac12、t=x2t=x^{2} である。tt 自体が平方なので、現れ得るのは xx の偶数次の項だけである——x2+1\sqrt{x^{2}+1} が偶関数であることからも、まさにそうあるべきである。

  2. 係数を 1 つずつ計算する。 (1/2n)=12(12−1)⋯(12−n+1)n!\binom{1/2}{n}=\frac{\tfrac12\left(\tfrac12-1\right)\cdots\left(\tfrac12-n+1\right)}{n!} を使うと

    n=1: 12x2;n=2: 12(−12)2x4=−18x4;n=1:\ \tfrac12x^{2};\qquad n=2:\ \frac{\tfrac12\left(-\tfrac12\right)}{2}x^{4}=-\tfrac18x^{4};

    n=3: 12(−12)(−32)6x6=116x6;n=4: 12(−12)(−32)(−52)24x8=−5128x8.n=3:\ \frac{\tfrac12\left(-\tfrac12\right)\left(-\tfrac32\right)}{6}x^{6}=\tfrac{1}{16}x^{6};\qquad n=4:\ \frac{\tfrac12\left(-\tfrac12\right)\left(-\tfrac32\right)\left(-\tfrac52\right)}{24}x^{8}=-\tfrac{5}{128}x^{8}.

    となる。1+2x\sqrt{1+2x} の展開と違い、ここには持ち越すべき 2n2^{n} の因子がない——代入が供給するのは定数ではなく xx の累乗だからである。

  3. 展開を書く。 項をまとめると

    1+x2=1+x22−x48+x616−5x8128+⋯\sqrt{1+x^{2}}=1+\frac{x^{2}}{2}-\frac{x^{4}}{8}+\frac{x^{6}}{16}-\frac{5x^{8}}{128}+\cdots

    となる。符号は x4x^{4} の項から先で交互になり、係数は急速に小さくなるので、xx が小さければ数項でも非常に精度が高い。

  4. 一般項を述べる。 閉じた形では

    1+x2=∑n=0∞(1/2n)x2n,(1/2n)=(−1)n−14n(2n−1)(2nn) (n≥1).\sqrt{1+x^{2}}=\sum_{n=0}^{\infty}\binom{1/2}{n}x^{2n},\qquad \binom{1/2}{n}=\frac{(-1)^{n-1}}{4^{n}(2n-1)}\binom{2n}{n}\ (n\ge1).

    となる。n=2n=2 で確かめると −116⋅3⋅6=−648=−18\frac{-1}{16\cdot 3}\cdot 6=-\frac{6}{48}=-\frac18 ✓ で、x4x^{4} の係数と一致する。

  5. 収束域を定める。 二項級数には ∣t∣=∣x2∣<1|t|=|x^{2}|<1、すなわち ∣x∣<1|x|<1 が必要である。x=±1x=\pm1 では項が n−3/2n^{-3/2} のように振る舞うのでそこでも絶対収束し、収束域は閉区間 [−1,1][-1,1] になる。x=1x=1 では 2=1.4142136\sqrt2=1.4142136 に収束するが、その速さは遅い。x8x^{8} の項で打ち切ると 1.39843751.3984375、x20x^{20} までの項で 1.409931.40993、x80x^{80} までとってもまだ 1.413661.41366 である。収束が速いのは区間の内部の性質であって、端点の性質ではない。

Answer

x2+1=1+x22−x48+x616−5x8128+⋯=∑n=0∞(1/2n)x2n,−1≤x≤1\sqrt{x^{2}+1}=1+\frac{x^{2}}{2}-\frac{x^{4}}{8}+\frac{x^{6}}{16}-\frac{5x^{8}}{128}+\cdots=\sum_{n=0}^{\infty}\binom{1/2}{n}x^{2n},\qquad -1\le x\le 1

Need to solve a different problem like this? Open the solver →