テイラーの公式とテイラー展開
カテゴリ:微積分

関数を扱う際、
のように簡単な関数ならいいのですが
のような難しい関数だと扱いづらいです。
そこで、
難しい関数を簡単な一次関数や二次関数といったべき関数で近似しよう
というのがテイラー展開の考え方です。
テイラー展開の前にテイラーの公式を証明します。
テイラーの公式
定理
ある区間においてはn階まで微分可能とします。そして、
をそれぞれ任意の点と定点とします。すると
となります。ここで
とします。
解説
ためしにでやってみましょう。
そして
とします。すると定理によると
なので
となります。ここで
です。
実際に成り立つかで確かめてみましょう。
まず
で
となります。これらが等しくなるようながあれば定理と一致します。そこでグラフを書くと
となり、まじりあっているので
あたりで
が成り立ちます。
証明
はじめに
とおきます。すると
となります。
そして、平均値の定理の拡張定理でとすれば
となります。ここで、は
の中間の値です。
同様にしてなので
が得られます。
これをずっと繰り返すと最終的に
となります。
ここでは
の間の値です。
これを変形すると
となります。以上で証明終了です。
テイラーの定理
ではいよいよテイラー展開に関する定理を証明します。
定理
を含む区間において、
が第n-1階まで微分可能とします。
このとき、点において、
が存在するなら
となります。
証明
前回の定理と同様にすれば
が得られます。ここで、は
の間の数です。
ここでにすると
なので
となります。これを言い換えると
が得られます。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー