院試hub

テイラー展開剰余項・マクローリン展開・近似の誤差評価

nn 回微分可能な関数 ff は、点 aa の近くで nn 次のテイラー多項式 ∑k=0nf(k)(a)(x−a)k/k!\sum_{k=0}^{n} f^{(k)}(a)(x - a)^k / k! で近似でき、誤差は剰余項 RnR_{n} で表される。a=0a = 0 のときをマクローリン展開という。不定形の極限は展開を代入して主要項を比べれば求まり、近似値の誤差はラグランジュ型の剰余項で上から評価する。無限級数としてのテイラー級数が ff に一致するのは、剰余項が 00 に収束する範囲に限る。

微分積分 の第3単元(全8単元)。先に読む単元:微分と平均値の定理

院試数学 基礎完成シリーズ 微分積分編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

微分積分編の内容を見る

テイラー多項式とマクローリン展開の定義

定義

テイラー多項式

ff が aa で nn 回微分可能なとき

Pn(x)=∑k=0nf(k)(a)k!(x−a)k=f(a)+f′(a)(x−a)+⋯+f(n)(a)n!(x−a)nP_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x - a)^k = f(a) + f'(a)(x - a) + \cdots + \frac{f^{(n)}(a)}{n!}(x - a)^n

を aa における nn 次のテイラー多項式という。PnP_n は ff と aa での値および nn 階までの微分係数が一致する、ただ1つの nn 次以下の多項式である。Rn(x)=f(x)−Pn(x)R_n(x) = f(x) - P_n(x) を剰余項という。

定義

テイラー級数とマクローリン級数

ff が aa の近くで何回でも微分可能なとき、べき級数 ∑k=0∞f(k)(a)(x−a)k/k!\sum_{k=0}^{\infty} f^{(k)}(a)(x - a)^k / k! を ff の aa におけるテイラー級数、a=0a = 0 のものをマクローリン級数という。ある xx で Rn(x)→0R_n(x) \to 0(n→∞n \to \infty)となるとき、級数はその xx で f(x)f(x) に収束する。

テイラーの定理と剰余項

定理・法則

テイラーの定理(ラグランジュ型の剰余項)

条件

ff は aa と xx を含む開区間で n+1n + 1 回微分可能。

主張

f(x)=Pn(x)+f(n+1)(c)(n+1)!(x−a)n+1f(x) = P_n(x) + \frac{f^{(n+1)}(c)}{(n+1)!}(x - a)^{n+1}

となる cc が aa と xx の間に存在する。

要点

n=0n = 0 のときが平均値の定理である。一般の nn はコーシーの平均値の定理を繰り返し使うか、補助関数にロルの定理を使って示す。cc の位置は分からないので、誤差評価では ∣f(n+1)∣|f^{(n+1)}| の区間上の上界を使う。

定理・法則

テイラーの定理(ペアノ型の剰余項)

条件

ff は aa で nn 回微分可能。

主張

f(x)=Pn(x)+o((x−a)n)(x→a)f(x) = P_n(x) + o\big((x - a)^n\big) \quad (x \to a)

つまり Rn(x)/(x−a)n→0R_n(x)/(x - a)^n \to 0 である。

要点

極限の計算に使う形である。x→ax \to a での振る舞いしか述べないので、特定の xx での誤差の大きさはこの形からは分からない。

何回でも微分可能でも、テイラー級数が ff に一致するとは限らない。f(x)=e−1/x2f(x) = e^{-1/x^2}(x≠0x \neq 0)、f(0)=0f(0) = 0 はすべての階数で f(k)(0)=0f^{(k)}(0) = 0 なので、マクローリン級数は恒等的に 00 だが、x≠0x \neq 0 で f(x)>0f(x) > 0 である。

主な関数のマクローリン展開

展開と成り立つ範囲

指数関数
ex=∑k=0∞xkk!=1+x+x22+x36+⋯e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!} = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \cdots

すべての実数 xx で成り立つ。

正弦・余弦
sin⁡x=x−x33!+x55!−⋯ ,cos⁡x=1−x22!+x44!−⋯\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots, \qquad \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots

すべての実数 xx で成り立つ。sin⁡\sin は奇数次、cos⁡\cos は偶数次の項だけをもつ。

対数
log⁡(1+x)=∑k=1∞(−1)k−1kxk=x−x22+x33−⋯\log(1 + x) = \sum_{k=1}^{\infty} \frac{(-1)^{k-1}}{k} x^k = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots

−1<x≤1-1 < x \le 1 で成り立つ。x=1x = 1 で log⁡2=1−1/2+1/3−⋯\log 2 = 1 - 1/2 + 1/3 - \cdots。

一般二項展開
(1+x)α=∑k=0∞(αk)xk,(αk)=α(α−1)⋯(α−k+1)k!(1 + x)^\alpha = \sum_{k=0}^{\infty} \binom{\alpha}{k} x^k, \qquad \binom{\alpha}{k} = \frac{\alpha(\alpha - 1)\cdots(\alpha - k + 1)}{k!}

∣x∣<1|x| < 1 で成り立つ。例: 1+x=1+x/2−x2/8+⋯\sqrt{1 + x} = 1 + x/2 - x^2/8 + \cdots。

等比級数・逆正接
11−x=∑k=0∞xk,arctan⁡x=x−x33+x55−⋯\frac{1}{1 - x} = \sum_{k=0}^{\infty} x^k, \qquad \arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots

1/(1−x)1/(1 - x) は ∣x∣<1|x| < 1、arctan⁡x\arctan x は ∣x∣≤1|x| \le 1 で成り立つ。

正接
tan⁡x=x+x33+2x515+O(x7)\tan x = x + \frac{x^3}{3} + \frac{2x^5}{15} + O(x^7)

∣x∣<π/2|x| < \pi/2 で収束する。係数は sin⁡x/cos⁡x\sin x / \cos x の割り算で出す。

関数
-5-2.502.55-2-1012x
3

x = π での誤差 |f(x) − Pₙ(x)| = 2.0261

sin⁡x\sin x と exe^x のマクローリン多項式の次数を変えると、多項式のグラフ(緑)が元の関数(灰色)に重なる範囲が変わる。次数を上げるほど、原点から離れた xx まで近似が合う。sin⁡x\sin x では次数を2上げるごとに新しい項が加わり、近似の合う範囲が左右対称に広がる。

極限の計算と誤差評価の例

計算例

テイラー展開で不定形の極限を求める

lim⁡x→0exsin⁡x−x−x2x3\lim_{x \to 0} \dfrac{e^x \sin x - x - x^2}{x^3} を求めよ。

解答

分母が x3x^3 なので、分子を3次まで展開する。

exsin⁡x=(1+x+x22+O(x3))(x−x36+O(x5))=x+x2+(12−16)x3+O(x4)e^x \sin x = \left(1 + x + \frac{x^2}{2} + O(x^3)\right)\left(x - \frac{x^3}{6} + O(x^5)\right) = x + x^2 + \left(\frac{1}{2} - \frac{1}{6}\right)x^3 + O(x^4)

よって分子は x33+O(x4)\dfrac{x^3}{3} + O(x^4) で、極限は 13\dfrac{1}{3}。

検算

x=0.01x = 0.01 で数値計算すると、式の値は約 0.333330.33333 で 1/31/3 に近い。ロピタルの定理を3回使っても 1/31/3 になる。

計算例

ラグランジュ型の剰余項で誤差を評価する

exe^x の4次のマクローリン多項式で ee の近似値を求め、誤差を評価せよ(e<3e < 3 は使ってよい)。

解答

P4(1)=1+1+12+16+124=6524≈2.7083P_4(1) = 1 + 1 + \dfrac{1}{2} + \dfrac{1}{6} + \dfrac{1}{24} = \dfrac{65}{24} \approx 2.7083。剰余項は 0<c<10 < c < 1 として

R4(1)=ec5!⋅15,1120<R4(1)<3120=0.025R_4(1) = \frac{e^c}{5!} \cdot 1^5, \qquad \frac{1}{120} < R_4(1) < \frac{3}{120} = 0.025

よって 2.7166<e<2.73342.7166 < e < 2.7334。

検算

実際の誤差は e−65/24≈0.00995e - 65/24 \approx 0.00995 で、評価の範囲 (1/120,3/120)≈(0.0083,0.025)(1/120, 3/120) \approx (0.0083, 0.025) に入る。

計算例

交代する展開の誤差

sin⁡0.1\sin 0.1 を x−x3/6x - x^3/6 で近似したときの誤差の上界を求めよ。

解答

sin⁡x\sin x の4次の項は 00 なので、x−x3/6x - x^3/6 は4次のテイラー多項式でもある。ラグランジュ型の剰余項で n=4n = 4 とすると ∣R4(x)∣=∣cos⁡c∣ ∣x∣5/5!≤∣x∣5/120|R_4(x)| = |\cos c|\,|x|^5/5! \le |x|^5/120。x=0.1x = 0.1 で誤差は 10−5/120≈8.3×10−810^{-5}/120 \approx 8.3 \times 10^{-8} 以下。近似値は 0.1−1/6000=599/6000≈0.09983330.1 - 1/6000 = 599/6000 \approx 0.0998333。

検算

sin⁡0.1=0.09983341…\sin 0.1 = 0.09983341\ldots で、近似値との差は約 8.33×10−88.33 \times 10^{-8}。∣cos⁡c∣|\cos c| が 11 に近いので、上界とほぼ一致する。

答案でよくある誤り

  1. 1

    極限の計算で展開の次数が足りない。分母が x3x^3 なら分子は3次まで、積ではそれぞれの因子を、積が3次まで正しく出る次数まで展開する。

  2. 2

    O(xn)O(x^n) や o(xn)o(x^n) の項を落として等号で書く。剰余の項を最後まで書き、どの次数まで確定しているかを示す。

  3. 3

    成り立つ範囲の外で展開を使う。log⁡(1+x)\log(1 + x) の級数は x=2x = 2 で発散する。log⁡3\log 3 を求めるなら log⁡3=log⁡2+log⁡(1+1/2)\log 3 = \log 2 + \log(1 + 1/2) のように範囲内に直す。

  4. 4

    ラグランジュ型の剰余項の cc に展開の中心 aa を入れる。cc は aa と xx の間の未知の点なので、区間上での ∣f(n+1)∣|f^{(n+1)}| の最大値で評価する。

  5. 5

    何回でも微分可能ならテイラー級数は ff に一致すると考える。e−1/x2e^{-1/x^2} のように一致しない関数がある。一致を示すには剰余項が 00 に収束することを確かめる。

テイラー展開が出た院試の過去問

院試hubが年度別解説の大問を分類した集計から、この単元の内容を扱う出題を挙げる。問題文は各大学の公式過去問で確かめ、解き方は各年度の解説ページで読める。

微分積分の前後の単元

このページの本文を数式のLaTeXのまま読むには Markdown版。最終更新 2026-11-16。誤りに気づいたら 運営者 へ連絡してほしい。

院試数学 基礎完成シリーズ 微分積分編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

微分積分編の内容を見る