基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。
微分積分編の内容を見る テイラー多項式 f f f が a a a で n n n 回微分可能なとき
P n ( x ) = ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k = f ( a ) + f ′ ( a ) ( x − a ) + ⋯ + f ( n ) ( a ) n ! ( x − a ) n P_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 P n ( x ) = k = 0 ∑ n k ! f ( k ) ( a ) ( x − a ) k = f ( a ) + f ′ ( a ) ( x − a ) + ⋯ + n ! f ( n ) ( a ) ( x − a ) n を a a a における n n n 次のテイラー多項式という。P n P_n P n は f f f と a a a での値および n n n 階までの微分係数が一致する、ただ1つの n n n 次以下の多項式である。R n ( x ) = f ( x ) − P n ( x ) R_n(x) = f(x) - P_n(x) R n ( x ) = f ( x ) − P n ( x ) を剰余項という。
テイラー級数とマクローリン級数 f f f が a a a の近くで何回でも微分可能なとき、べき級数 ∑ k = 0 ∞ f ( k ) ( a ) ( x − a ) k / k ! \sum_{k=0}^{\infty} f^{(k)}(a)(x - a)^k / k! ∑ k = 0 ∞ f ( k ) ( a ) ( x − a ) k / k ! を f f f の a a a におけるテイラー級数、a = 0 a = 0 a = 0 のものをマクローリン級数という。ある x x x で R n ( x ) → 0 R_n(x) \to 0 R n ( x ) → 0 (n → ∞ n \to \infty n → ∞ )となるとき、級数はその x x x で f ( x ) f(x) f ( x ) に収束する。
テイラーの定理(ラグランジュ型の剰余項) 条件
f f f は a a a と x x x を含む開区間で n + 1 n + 1 n + 1 回微分可能。
主張
f ( x ) = P n ( x ) + f ( n + 1 ) ( c ) ( n + 1 ) ! ( x − a ) n + 1 f(x) = P_n(x) + \frac{f^{(n+1)}(c)}{(n+1)!}(x - a)^{n+1} f ( x ) = P n ( x ) + ( n + 1 )! f ( n + 1 ) ( c ) ( x − a ) n + 1 となる c c c が a a a と x x x の間に存在する。
要点
n = 0 n = 0 n = 0 のときが平均値の定理である。一般の n n n はコーシーの平均値の定理を繰り返し使うか、補助関数にロルの定理を使って示す。c c c の位置は分からないので、誤差評価では ∣ f ( n + 1 ) ∣ |f^{(n+1)}| ∣ f ( n + 1 ) ∣ の区間上の上界を使う。
テイラーの定理(ペアノ型の剰余項) 主張
f ( x ) = P n ( x ) + o ( ( x − a ) n ) ( x → a ) f(x) = P_n(x) + o\big((x - a)^n\big) \quad (x \to a) f ( x ) = P n ( x ) + o ( ( x − a ) n ) ( x → a ) つまり R n ( x ) / ( x − a ) n → 0 R_n(x)/(x - a)^n \to 0 R n ( x ) / ( x − a ) n → 0 である。
要点
極限の計算に使う形である。x → a x \to a x → a での振る舞いしか述べないので、特定の x x x での誤差の大きさはこの形からは分からない。
何回でも微分可能でも、テイラー級数が f f f に一致するとは限らない。f ( x ) = e − 1 / x 2 f(x) = e^{-1/x^2} f ( x ) = e − 1/ x 2 (x ≠ 0 x \neq 0 x = 0 )、f ( 0 ) = 0 f(0) = 0 f ( 0 ) = 0 はすべての階数で f ( k ) ( 0 ) = 0 f^{(k)}(0) = 0 f ( k ) ( 0 ) = 0 なので、マクローリン級数は恒等的に 0 0 0 だが、x ≠ 0 x \neq 0 x = 0 で f ( x ) > 0 f(x) > 0 f ( x ) > 0 である。
展開と成り立つ範囲 指数関数 e x = ∑ k = 0 ∞ x k k ! = 1 + x + x 2 2 + x 3 6 + ⋯ e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!} = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \cdots e x = k = 0 ∑ ∞ k ! x k = 1 + x + 2 x 2 + 6 x 3 + ⋯ 正弦・余弦 sin x = x − x 3 3 ! + x 5 5 ! − ⋯ , cos x = 1 − x 2 2 ! + x 4 4 ! − ⋯ \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 sin x = x − 3 ! x 3 + 5 ! x 5 − ⋯ , cos x = 1 − 2 ! x 2 + 4 ! x 4 − ⋯ すべての実数 x x x で成り立つ。sin \sin sin は奇数次、cos \cos cos は偶数次の項だけをもつ。
対数 log ( 1 + x ) = ∑ k = 1 ∞ ( − 1 ) k − 1 k x k = x − x 2 2 + x 3 3 − ⋯ \log(1 + x) = \sum_{k=1}^{\infty} \frac{(-1)^{k-1}}{k} x^k = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots log ( 1 + x ) = k = 1 ∑ ∞ k ( − 1 ) k − 1 x k = x − 2 x 2 + 3 x 3 − ⋯ − 1 < x ≤ 1 -1 < x \le 1 − 1 < x ≤ 1 で成り立つ。x = 1 x = 1 x = 1 で log 2 = 1 − 1 / 2 + 1 / 3 − ⋯ \log 2 = 1 - 1/2 + 1/3 - \cdots log 2 = 1 − 1/2 + 1/3 − ⋯ 。
一般二項展開 ( 1 + x ) α = ∑ k = 0 ∞ ( α k ) x k , ( α 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!} ( 1 + x ) α = k = 0 ∑ ∞ ( k α ) x k , ( k α ) = k ! α ( α − 1 ) ⋯ ( α − k + 1 ) ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 で成り立つ。例: 1 + x = 1 + x / 2 − x 2 / 8 + ⋯ \sqrt{1 + x} = 1 + x/2 - x^2/8 + \cdots 1 + x = 1 + x /2 − x 2 /8 + ⋯ 。
等比級数・逆正接 1 1 − x = ∑ k = 0 ∞ x k , arctan x = x − x 3 3 + x 5 5 − ⋯ \frac{1}{1 - x} = \sum_{k=0}^{\infty} x^k, \qquad \arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots 1 − x 1 = k = 0 ∑ ∞ x k , arctan x = x − 3 x 3 + 5 x 5 − ⋯ 1 / ( 1 − x ) 1/(1 - x) 1/ ( 1 − x ) は ∣ x ∣ < 1 |x| < 1 ∣ x ∣ < 1 、arctan x \arctan x arctan x は ∣ x ∣ ≤ 1 |x| \le 1 ∣ x ∣ ≤ 1 で成り立つ。
正接 tan x = x + x 3 3 + 2 x 5 15 + O ( x 7 ) \tan x = x + \frac{x^3}{3} + \frac{2x^5}{15} + O(x^7) tan x = x + 3 x 3 + 15 2 x 5 + O ( x 7 ) ∣ x ∣ < π / 2 |x| < \pi/2 ∣ x ∣ < π /2 で収束する。係数は sin x / cos x \sin x / \cos x sin x / cos x の割り算で出す。
sin x \sin x sin x と e x e^x e x のマクローリン多項式の次数を変えると、多項式のグラフ(緑)が元の関数(灰色)に重なる範囲が変わる。次数を上げるほど、原点から離れた x x x まで近似が合う。sin x \sin x sin x では次数を2上げるごとに新しい項が加わり、近似の合う範囲が左右対称に広がる。
テイラー展開で不定形の極限を求める lim x → 0 e x sin x − x − x 2 x 3 \lim_{x \to 0} \dfrac{e^x \sin x - x - x^2}{x^3} lim x → 0 x 3 e x sin x − x − x 2 を求めよ。
解答
分母が x 3 x^3 x 3 なので、分子を3次まで展開する。
e x sin x = ( 1 + x + x 2 2 + O ( x 3 ) ) ( x − x 3 6 + O ( x 5 ) ) = x + x 2 + ( 1 2 − 1 6 ) x 3 + O ( x 4 ) 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) e x sin x = ( 1 + x + 2 x 2 + O ( x 3 ) ) ( x − 6 x 3 + O ( x 5 ) ) = x + x 2 + ( 2 1 − 6 1 ) x 3 + O ( x 4 ) よって分子は x 3 3 + O ( x 4 ) \dfrac{x^3}{3} + O(x^4) 3 x 3 + O ( x 4 ) で、極限は 1 3 \dfrac{1}{3} 3 1 。
検算
x = 0.01 x = 0.01 x = 0.01 で数値計算すると、式の値は約 0.33333 0.33333 0.33333 で 1 / 3 1/3 1/3 に近い。ロピタルの定理を3回使っても 1 / 3 1/3 1/3 になる。
ラグランジュ型の剰余項で誤差を評価する e x e^x e x の4次のマクローリン多項式で e e e の近似値を求め、誤差を評価せよ(e < 3 e < 3 e < 3 は使ってよい)。
解答
P 4 ( 1 ) = 1 + 1 + 1 2 + 1 6 + 1 24 = 65 24 ≈ 2.7083 P_4(1) = 1 + 1 + \dfrac{1}{2} + \dfrac{1}{6} + \dfrac{1}{24} = \dfrac{65}{24} \approx 2.7083 P 4 ( 1 ) = 1 + 1 + 2 1 + 6 1 + 24 1 = 24 65 ≈ 2.7083 。剰余項は 0 < c < 1 0 < c < 1 0 < c < 1 として
R 4 ( 1 ) = e c 5 ! ⋅ 1 5 , 1 120 < R 4 ( 1 ) < 3 120 = 0.025 R_4(1) = \frac{e^c}{5!} \cdot 1^5, \qquad \frac{1}{120} < R_4(1) < \frac{3}{120} = 0.025 R 4 ( 1 ) = 5 ! e c ⋅ 1 5 , 120 1 < R 4 ( 1 ) < 120 3 = 0.025 よって 2.7166 < e < 2.7334 2.7166 < e < 2.7334 2.7166 < e < 2.7334 。
検算
実際の誤差は e − 65 / 24 ≈ 0.00995 e - 65/24 \approx 0.00995 e − 65/24 ≈ 0.00995 で、評価の範囲 ( 1 / 120 , 3 / 120 ) ≈ ( 0.0083 , 0.025 ) (1/120, 3/120) \approx (0.0083, 0.025) ( 1/120 , 3/120 ) ≈ ( 0.0083 , 0.025 ) に入る。
交代する展開の誤差 sin 0.1 \sin 0.1 sin 0.1 を x − x 3 / 6 x - x^3/6 x − x 3 /6 で近似したときの誤差の上界を求めよ。
解答
sin x \sin x sin x の4次の項は 0 0 0 なので、x − x 3 / 6 x - x^3/6 x − x 3 /6 は4次のテイラー多項式でもある。ラグランジュ型の剰余項で n = 4 n = 4 n = 4 とすると ∣ R 4 ( x ) ∣ = ∣ cos c ∣ ∣ x ∣ 5 / 5 ! ≤ ∣ x ∣ 5 / 120 |R_4(x)| = |\cos c|\,|x|^5/5! \le |x|^5/120 ∣ R 4 ( x ) ∣ = ∣ cos c ∣ ∣ x ∣ 5 /5 ! ≤ ∣ x ∣ 5 /120 。x = 0.1 x = 0.1 x = 0.1 で誤差は 10 − 5 / 120 ≈ 8.3 × 10 − 8 10^{-5}/120 \approx 8.3 \times 10^{-8} 1 0 − 5 /120 ≈ 8.3 × 1 0 − 8 以下。近似値は 0.1 − 1 / 6000 = 599 / 6000 ≈ 0.0998333 0.1 - 1/6000 = 599/6000 \approx 0.0998333 0.1 − 1/6000 = 599/6000 ≈ 0.0998333 。
検算
sin 0.1 = 0.09983341 … \sin 0.1 = 0.09983341\ldots sin 0.1 = 0.09983341 … で、近似値との差は約 8.33 × 10 − 8 8.33 \times 10^{-8} 8.33 × 1 0 − 8 。∣ cos c ∣ |\cos c| ∣ cos c ∣ が 1 1 1 に近いので、上界とほぼ一致する。
極限の計算で展開の次数が足りない。分母が x 3 x^3 x 3 なら分子は3次まで、積ではそれぞれの因子を、積が3次まで正しく出る次数まで展開する。
O ( x n ) O(x^n) O ( x n ) や o ( x n ) o(x^n) o ( x n ) の項を落として等号で書く。剰余の項を最後まで書き、どの次数まで確定しているかを示す。
成り立つ範囲の外で展開を使う。log ( 1 + x ) \log(1 + x) log ( 1 + x ) の級数は x = 2 x = 2 x = 2 で発散する。log 3 \log 3 log 3 を求めるなら log 3 = log 2 + log ( 1 + 1 / 2 ) \log 3 = \log 2 + \log(1 + 1/2) log 3 = log 2 + log ( 1 + 1/2 ) のように範囲内に直す。
ラグランジュ型の剰余項の c c c に展開の中心 a a a を入れる。c c c は a a a と x x x の間の未知の点なので、区間上での ∣ f ( n + 1 ) ∣ |f^{(n+1)}| ∣ f ( n + 1 ) ∣ の最大値で評価する。
何回でも微分可能ならテイラー級数は f f f に一致すると考える。e − 1 / x 2 e^{-1/x^2} e − 1/ x 2 のように一致しない関数がある。一致を示すには剰余項が 0 0 0 に収束することを確かめる。
院試hubが年度別解説の大問を分類した集計から、この単元の内容を扱う出題を挙げる。問題文は各大学の公式過去問で確かめ、解き方は各年度の解説ページで読める。
このページの本文を数式のLaTeXのまま読むには Markdown版 。最終更新 2026-11-16。誤りに気づいたら 運営者 へ連絡してほしい。
基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。
微分積分編の内容を見る