テイラー展開やマクローリン展開で登場する剰余項では「f^(n+1)(c)」のように、ある点cでの高階導関数が出てきます。しかし実際の問題では、その値そのものが分からないケースがよくあります。
特に f(x)=sin x のような三角関数でも「c=0.5」など具体的な値が与えられていても、そこにどう対処すればよいのか迷いやすいポイントです。
剰余項 f^(n+1)(c) の意味
まず f^(n+1)(c) は「n+1階導関数をある未知の点cで評価したもの」です。
重要なのは、このcは具体的に求めるものではなく「区間内に存在する未知の値」であるという点です。
つまり剰余項は“誤差の存在保証”をしているだけで、正確な数値を出すことが目的ではありません。
なぜ c の値が分からなくてもよいのか
剰余項はラグランジュの剰余項として |R_n| ≤ 最大値 のように評価して使います。
そのため c を厳密に求める必要はなく、区間内での最大値や上界を使って評価します。
これは「存在は保証するが、具体値は不要」という解析学的な考え方です。
sin x の場合の特徴
f(x)=sin x の場合、導関数は sin, cos が周期的に繰り返されます。
そのため f^(n)(x) は常に -1から1の範囲に収まるという重要な性質があります。
この性質を使うことで、c の値を知らなくても剰余項を評価できます。
具体例：c=0.5 の扱い方
例えば f^(n+1)(0.5) を直接計算する必要はありません。
代わりに |sin x| ≤ 1, |cos x| ≤ 1 を使って絶対値評価を行います。
その結果、剰余項は「最大でもある範囲内に収まる」と結論づけられます。
実際の解法手順
剰余項の問題では次の手順が基本です。
① n+1階導関数の形を確認する
② 区間内での最大値を評価する
③ c は具体的に求めず上界で処理する
まとめ
f^(n+1)(c) が分からないのは「異常」ではなく、剰余項の本質的な特徴です。
重要なのは c を求めることではなく、区間内での上界を使って誤差を評価することです。
sin x のような関数では有界性を利用することで、実用的に十分な評価が可能になります。
コメント