テイラーの定理
微分積分学において、テイラーの定理（テイラーのていり、）は、"k" 回微分可能な関数の与えられた点のまわりでの近似を "k" 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。
テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ＝ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年にジェームス・グレゴリー (James Gregory) によって言及されている。
テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだの入り口であり、より応用的な分野の数値解析や数理物理学においてよく使われている。テイラーの定理は任意次元 "n", "m" の多変数ベクトル値関数 にも一般化する。テイラーの定理のこの一般化は微分幾何学や偏微分方程式において現れるいわゆるの定義の基礎である。