― 86 ―テイラーの定理について
吉井洋

二Taylor's Theorem
Yoji YOSHII（2012年12月12日受理）
It is not so easy for students to understand Taylor's Theorem. Even if they follow the proof,
it seems that the meaning of the theorem is still unclear for them. We suggest a desirable approachto obtain a Taylor polynomial approximation before proving Taylor's Theorem.
Keywords : diﬀerential, linear approximation, tangent line, Taylor polynomial, Taylor's theorem,
Maclaurin's theorem, mean value theorem, Rolle's theorem, Lagrange remainder,
Bernoulli remainder, extremal value, inﬂection point

1

はじめに微分の意味を理解させることは，個々の関数を実際微分するより難しい。ただ，何度か説明すれば克服できると思う。ところが，1 次近似，2 次近似，そしてテイラーの定理となると，数学好きの学生にとっても理解するのは中々困難である。平均値の定理などと違って図で説明することが難しいので，平均値の定理が理解できた学生でも，テイラーの定理は敬遠しがちである。工学系の数学では，テイラーの定理より，テイラー展開，特に個々のマクローリン展開を覚えていれば事足りる場合が多い。従ってテイラーの定理を理解せずに通り過ぎるケースも多いのではないか。
たとえば現在本校で使っている教科書［1］では，導関数の 1 次近似を積分することで 2 次近似を得ている。この手法で帰納的に n 次近似を得るのである。
これは，いきなりテイラーの定理を証明する多くの本に較べれば，工夫がなされていると思う。ただ，誤差関数の記述が判りにくい，積分を習ってからでないと説明できない，等のデメリットがある。そこ
でもう少し n 次近似の意味が自然にわかるような，そしていわゆるテイラー多項式f（n）（a）
nf（a）＋ f（a）' （x － a）＋…＋（x － a）
n!
がどうして出現するのかを明快に説明できるアプ

ローチを模索した。何故この形が現れるのか，何故fこの多項式は a の近くで（x）とほぼ同じと考えてよいのか等の説明である。もちろん手っ取り早くテイラーの定理を証明してまえば，この定理を使ってすべて説明できるわけだが，ここは敢えて回り道を勧めたい。簡単にその流れを書いておく。
n＋1
まず C を，実数 a の周りで（n ＋1）回微分可能で（n ＋1）次導関数が連続な関数全体とする * 1。
n＋1
f（x）
∈ C を，x ＝ a の近くで n 次多項式 p（x）に近似したい。そこで，誤差関数
f － p（x）
ε（x）: ＝（x）に，条件ε（a）＝ε'（a）＝ε''（a）＝…＝ε（n）（a）＝ 0（1）を課す。この条件は，ε（x）が x ＝ a の近くで“非常に 0 に近い”ということを唱っている。これは，「各導関数の瞬間変化率が 0 である」などの言葉を使ってある程度説明できる。さらにこの条件はε（x）＝（x－ a）＋1 g（x）
n（2）なる連続関数 g（x）が存在することに同値であるこ*1 正確には「a を含むある開区間で（n ＋1）回微分可能，そして（n ＋1）次導関数がその閉包で連続」のように言うべきだが，分かり易さを強調する場合，しかも最初の段階では，「a の周りに」という表現で十分と考えた．このあとも，厳密性を欠くような表現を敢えて使うことがある．
平成25年２月

― 87 ―
テイラーの定理についてと（これを重解定理と呼ぼう）を示しておくと，ε（x）が x＝ a の近くで 0 に近いことがより視覚的にわかる。次に p（x）がどんな多項式になるかを調べると，条件（1）は，p（x）が n 次テイラー多項式であることに同値であることがわかる。これが流れである。
このあとテイラーの定理を証明するが，本稿の主眼はテイラーの定理の証明ではなく，それに行き着くアプローチである。注意して欲しいのは，テイラー
f とその n 次テイラー多項の定理とは，最初から（x）式との違いを記述した定理なので，上記条件（1）は不要である。実際，f（x）が（n ＋1）回微分可能でf （n ＋1）さえあればテイラーの定理は成り立つ。（（x）の連続性も不要である。）
テイラーの定理の応用である「極値の判定法」についても考察した。特に極値でない場合を詳しくまとめてみた。また，補足として，2 変数関数の 1 次近似（これさえわかれば 2 変数関数のテイラーの定理は簡単なので）についても考察した。最後の付録
では，導関数が連続でない例について考察した。
2重解定理ε（x）∈ C のとき，前節の（1）と（2）が同値であること，即ち重解定理を示す。
証）（1）⇒（2）:
n＋1

ε（x）
n（x－ a）＋1
g（x）: ＝ε（n ＋1）（ a）（n ＋1）!

（x ≠ a）（x ＝ a）（3）

ng x）となるので，あととおくとε（x）＝（x－ a）＋1 （は g（x）の x ＝ a での連続性を示せばよい。これはロピタルの定理を（n ＋1）回使うと
（n＋1）
（x）
ε（x）
εlim g（x）＝lim
n ＋1 ＝ lim
x→ax → a（x－ a）
x → a （n ＋1）!

ε（n ＋1）（ a）（n＋1）となり，ε（x）は連続なので，この極限は （n ＋1）!となる。従って g（x）は x＝ a で連続である。（x＝ a以外では g（x）の定義から連続である。）（2）⇒（1）:nε（x）＝（x－ a）＋1 g（x）ならば，まずε（a）＝0 であε（x）る。 次 に，g（x）＝（x－ a）n ＋1 が x＝ a で 連 続 な の で，ロピタルの定理より，

ε'（x）lim g（x）＝limn
x → a（n ＋1）（x－ a）

x→a

秋田高専研究紀要第48号が存在する。ところがこれが存在するためにはε'（a）＝ 0 でなければならない。同様にε'（x）ε''（x）
limn ＝ lim
n－1
x → a（n ＋1）（x－ a） x → a（n ＋1）n（x－ a）
が存在することから，ε''（a）＝ 0 でなければならな（a）＝（0 k ＝3, 4, …, nい。この議論を繰り返せば，ε（k）－1）となり，最後は（n－1）
（n）
ε（x）
ε（x）
lim
＝lim
x → a（n ＋1）
x → a（n ＋1）…3（x－ a）2…2（x－ a）（n）が存在することから，ε（a）＝ 0 を得る。
□
この定理は，多項式の世界の因数定理を拡張した重解定理を，さらに複数回微分可能な関数に拡張したと考えてよい。

（n＋1）
注 1 複素関数論では，（1）およびε（a）≠0なる条件で，x ＝ a を（n ＋1）位の零点と呼ぶ。こf
こでも重解定理が存在するが，これは （x）が正則関数の場合であり，定義域を実数に制限したとしても，それは単に無限回微分可能な関数ではなく，もっと強い性質をもった関数，いわゆる解析的関数となる。従ってここで引用することはできない。この場合の証明は，正則関数がテイラー展開可能であることからほとんど自明である。このテイラー展開はコーシーの積分公式から導かれるもので，実数関数のテイラー展開のように，対応するテイラーの定理などは存在しない。また，この場合は上記 g（x）も自動的に正則関数になることを注意しておく（たとえば［4］参照）。

3 n 次近似
さて，y＝ε（x）における条件（1）の図形的意味はなんだろう？
これは条件（2）と同値であり，x が a に近ければ，n（x－ a）＋1 は，n が 大 き い ほ ど 0 に 近 い。 従 っ てn（x－ a）＋1 g（x）＝ε（x）も 0 に近いわけである。下のような図により，ε（x）が 0 に近いことが視覚的にわかる。
f
従って，関数（x）を，x＝ a で一致する n 次多項式2a）＋ b（x－a）f＋…
（a）＋ b（x－12na）…＋ b（x－n（4）で近似しようとすれば *2，その誤差関数ε（x）に条件（1）を課すのは自然だろう。このとき以下が証

― 88 ―
吉井洋二

注2n 次多項式 p（x）に対して，条件f'（a）＝ p（a）, f（a）
＝ p'（a）, …, f（n）（a）＝ p（n）（a）
fn 次テイラー多項式であること
は，p（x）が（x）のfp（x）に同値である。また，2 つの n 次多項式（x）とがこの条件を満たせば，f（x）＝ p（x）となる。（n 次多項式の n 次テイラー多項式は自分自身である。）
テイラーの定理やテイラー展開に入る前に，この近似を体感させることは大切である。たとえば√1 . 1を，√x の x ＝ 1 での 2 次近似で計算させ，電卓の値と比較させる。あるいは y ＝√x とその 2 次テイラー多項式のグラフ（放物線）を描かせ，x ＝ 1 の近くで 2 つのグラフがほとんど同じになることを観察させる。このような作業が，n 次近似の意味と有用性を理解させるのに最も有効と考える。

明できる。
f ∈ C n＋1に対して近似定理 （x）
2f ＝（a）
fa）＋ b（x－a）（x）＋ b（x－＋…
12na）…＋ b（x－＋ε（x）（5）
nn＋1f（i）（a）
i!

テイラーの定理n 次近似の誤差ε（x）は，条件（2）より，ε（x）＝n（x－ a）＋1 g（x）と書けるわけだが，さらに g（x）の定義（3）と n 次近似式（5）よりなる関数ε（x）は C クラスである。
このとき条件（1）と条件bi ＝4（6）（1≦ i ≦ n）は同値である。
n＋1証）まず多項式（4）は C クラスより，ε（x）n＋1も C である。さて，（i ＋1）!
f（i）（x）＝ bi i ! ＋ bi ＋1（x－ a）
1!
（i ＋2）!
2＋ bi ＋2
（x－ a）＋…
2!
n!
n i（i）＋bn（x）（x－ a）－ ＋εi）
（n － !
より，条件（1）と（n ＋1）（a） f（n ＋1）（a）εg（a）＝＝（n ＋1）! （n ＋1）!

もわかっている。テイラーの定理とは，「a と x の間の数 c を使ってf（n ＋1）（c）
g（x）＝（n ＋1）!と書ける」という主張である。
fn 次近似を証 *3）まずこれまでに分かった（x）の書くと，
f ＝（a）
f ＋ f（a）' （x－ a）（x）
＋f（i）
（a）＝ bi i !
は同値となる。
□
もちろん（6）により n 次テイラー多項式f（n）（a）
nf' （x－ a）＋…＋（x－ a）（a）＋ f（a）n!
が近似多項式となるわけである。
*2 x ＝ a で一致する n 次多項式が必ず（4）の形で書けることは，その多項式を x － a で割り，さらにその商を次々に x － a で割っていくことでわかる．

…＋f（a）''
2（x － a）
＋2!

f（n）
（a）
nn
（x－ a）＋（x－ a）＋1 g（x）
n!となる。この等式の a を t に替えた t の関数 F（t）を考える。即ち，
F（t）: ＝（t）
f ＋ f（t）' （x－ t）＋…＋f （t）''
2＋（x － t）
2!

f（n）
（t）
nn（x－ t）＋（x－ t）＋1 g（x）n!

とおく。すると F（t）は t に関して微分可能であり，平成25年２月

― 89 ―
テイラーの定理について

F（x）＝ F（a）＝ F（x）を満たす。従ってロルの定理より F'（c）＝ 0 となる c が x と a の間に存在する。
さて，F'（t）を計算すると，ほとんどの項が消えてしまい，結局
F'（t）＝f（n ＋1）（t）
nn（x－ t）g（x）（x－ t）－（n ＋1）n!

は有名である。実は歴史的にはこれが最も古く，テイラーの定理の最初の発見者はベルヌーイと言われている［2］。これは部分積分を繰り返すだけでよいので，近似などをあまり気にしないなら，この方法がベストかも知れない。その簡明さは以下の式を見れば明らかである。
' dt ＝－∫ f（t）
' （x－ t）' dt∫ f（t）
' （x－ t）＝－（x－ t）dt
［ f（t）］＋∫ f ''（t）' （x－ a）＋∫ f ''（t）＝f（a）（x－ t）dtとなる。ここで F'（c）＝0 より，

f －（a）
f（x）＝

f（n ＋1）（c）nn（x－ c）g（x）（x－ c）＝（n ＋1）
n!

xxaaxxaaxとなり，af（n ＋1）（c）
g（x）＝（n ＋1）!となって証明が終わる。

（x を定数とみて，1＝（t－ x）' ＝（－（x－ t））' とした
ところが素晴らしい！）そして積分の項をまた部分積分して□

注 3 （i）冒頭でも述べたように，テイラーの定理は最初からテイラー多項式との違いを調べるもの
なので，条件（1）は不要である。従って，誤差関数を単にε（x）として初めても，f（x）が（n ＋1）回f（n ＋1）
n ＋1（ c）a）
微分可能であればε（x）＝（n ＋1）を得る。
! （x－n ＋1
実際，x ≠ a なのでε（x）＝（x－ a） g（x）と置いてよい。従って上と同じように導けばよい。従って
f（n ＋1）（x）が連続でなくてもテイラーの定理は成り立つ。ただ，f（n ＋1）（x）が連続でない場合は，n 次近似と言わない方が賢明である。（x が a に近づくほどf（n ＋1）n（ c）
誤差関数（n ＋1）!（x－ a）＋1 が小さいとは言えなくな
る *4。付録参照）（ii）テイラーの定理の n ＝ 0 のとき，即ち，
f ＝（a）
f ＋f（c）' （x－ a）（x）は平均値の定理に他ならない。従って，テイラーの定理は平均値の定理の拡張と言える。
（iii）上記誤差関数はラグランジュの剰余項と呼ばれるものである。テイラー多項式による近似の誤差関数として，他にもいくつかある。特に積分を使ったベルヌーイの剰余項∫ f1ε（x）＝n!

xa（n ＋1）（t）（x－ t）dtn（7）*3 この証明はどの本にも載っているので省略すべきかも知れないが，これまでの流れで無理なく証明できることを見て欲しい．ここでの証明は［3］を参考にしたが，コーシーの平均値の定理を使う方法も有名である（たとえば［5］参照）．
*4 導関数は，「連続でなくても中間値の定理は成り立つ」という定理（［5，第 2 章定理24参照］）もあるが，ここでは役立たない．
秋田高専研究紀要第48号∫xa＝∫f ''（t）（x－ t）dt ＝－xa2'（x－ t）
f ''（t）
dt2∫ f '''（t）（x－ t）dt

2
11f （a）'' （x－ a）＋22x2aとなる。これを続けていけば n 回目に n 次テイラー多項式＋（7）の形になることは容易にわかる。（正式には帰納法で証明すればよい。）
5

極値の判定

テイラーの定理の応用として，極値の判定法があ'''る。多くの本では f（a）
＝ 0 で f （a）> 0 なら極小，
f （a）''< 0 なら極大であることが述べられている。
また，この事実を一般化して，下のように偶数回微分と奇数回微分にまとめた本も多い（たとえば［1］の練習問題 B）。しかしながら，変曲点の種類まで記述した本が見当たらないので，ここでまとめておくことにする。
まず，変曲点の種類を図で整理しておく（次頁）。
f ∈ C n とし，極値と変曲点の判定法 （x）
f（a）'（a）＝ 0＝…＝ f（n －1）（a）≠ 0 とする（n ≧ 2）。このとき，かつ f（n）
f はx＝aで極値をとり，f（n）（i）nが偶数なら（x）（a）（n）> 0 なら極小， f （a）< 0 なら極大となる。
f（ii）n が 奇 数 な ら（x）
は x ＝ a で 変 曲 点 と な り，

― 90 ―
吉井洋二

増加負正型

減少負正型

増加正負型

減少正負型

f ''（x）< 0を満たしている。これにより，通常の「下に凸」，「上に凸」という言葉も使ってよいことになる。
（ii）この判定法に現れる上記 2 種類の変曲点は，
f（a）'＝ 0 より，x ＝ a での接線は水平となるから，下のように描くべきである。また，減少負正型と増'加正負型が f（a）
＝ 0 になり得ないことは，図からも明らかであろう。

f（n）（a）> 0 なら増加負正型の変曲点， f（n）
（a）< 0 なら減少正負型の変曲点となる。
証）テイラーの定理を適用（n 次ではなく（n －1）次テイラー多項式で近似）すると，剰余項だけが残って
f（n）（c）
nf －（a）
f ＝（x）（x －a）n!となる。まず， f（n）（x）は連続 *5 なので，x が a に十分（n）近ければ，「 f （c）と f（n）（a）の符号は一致する。」
n
従ってnが偶数なら（x－a）も正より，f（x）－f（a）（n）の符号は， f （a）の符号と一致する。よって（i）はよい。
nn が奇数なら（x －a）
は x ＝ a で負から正に変わ（n）
fx ＝ a の近くでる。よって f （a）が正なら（x）は増加関数，負なら減少関数となる。さらに，f ''（x）にテイラーの定理を適用すると，f ''（x）= 0 なので
f（n）（c）
nf ''（x）＝（x－ a）－2（n － 2 ）!

（8）となる。よって，（x－a） が負から正に変わるので，f ''（x）の符号は変わる。即ち x ＝ a で変曲点となる。
そして f（n）（a）が正なら f ''（x）の符号はそのまま負から正， f（n）（a）が負なら正から負となる。
□n－2

注 4 （i）極値の場合は，さらに細かい記述は不要と思われるが，一応，n が偶数の場合も（8）が成り立つ。従って，

6

おわりにテイラーの定理が学生に分かりづらい原因の一つとして，記号の乱用があると思う。たとえば上記誤差関数ε（x）をランダウの記号 o を使って説明することがある。もちろんこれには利点があり，慣れてきたら使うべきだが，初めて習う学生には，できるだけ新しい概念を避けて説明したい。
注 5 上記 n 次近似の誤差関数ε（x）に関してよく使われる条件ε（x）
lim
n ＝0x → a （x－ a）（9）（ラウダウ記号を用いるとき使う条件と言ってもよい）は，条件（1）に（従って（2）にも）同値であることを注意しておく。
証）（2）⇒（9）は明白である。（9）⇒（1）は，（2）⇒（1）の証明と同様にロピタルの定理を繰り返せばよい。故に（1）⇔（2）⇔（9）となる。
学生にとって，条件（2）の方が，条件（9）より分かり易いのは明らかであろう。但し，1 次近似の場合，即ち
lim
x→aε（x）＝0x－ a（10）極小の場合は f ''（a）＝ 0 だが，x ＝ a の近くでは
f ''（x）> 0● 極大の場合は f ''（a）＝ 0 だが，x ＝ a の近くではは，2 変数関数の 1 次近似へ自然に拡張できるので，この表現でもε（x）が x ＝ a の近くで 0 に近いことを納得しておくことは大切である（補足参照）。

*5 極値の判定では f（n）（x）の連続性を仮定しておく必要がある．

f y）に関するテイラーの補足 2 変数関数 z ＝（x,●平成25年２月

― 91 ―
テイラーの定理について

定理は，合成関数の微分法を使うことで，1 変数のテイラーの定理から導ける。従って，1 変数のテイラーの定理を理解しておけば，2 変数は大丈夫と言いたい。ところが，合成関数の微分法を証明しようとすれば，そこに 2 変数関数の 1 次近似の概念（全微分可能性と言ってもよい）が必要になる。2 変数関数の場合は，因数定理がないので 1 変数関数のような記述ができなくなる。具体的に述べると，それは（x, y）＝（a, b）での 1 次近似の誤差関数
f y）
ε（x, y）＝（x,fb）－ f（a,b）b）－（a,（x－a）－ f（a,（y－ b）（11）xyの扱いである。これが 0 に近いということをb）＝ε（a,b）= 0ε（a, b）＝ε（a,xyで説明してもよいが，1 変数のときのように，誤差関数の易しい表現ε（x）＝（x－ a）2 g（x）が欲しいところだ。しかし 2 変数になるともはやそう簡単にはいかない。実際，fx も fy も連続であると仮定しておけば，lim

ε（x, y）
22＝ 0（x－ a）＋（ y－ b）

（x, y）→（a, b）（12）f y）は（x, y）＝（a, b）でを満たすこと（即ち z ＝（x,全微分可能）が証明できる。だがこれが限界のようである。
（もっと分かり易い表現はないようである）。
辛うじてこれは，（10）の自然な拡張と考えることができる。解釈として，ε（x, y）は点（a, b）の近くで，「点（a, b）から点（x, y）までの距離より限りなく小さい」あるいは「点（a, b）からどの方向の垂直な平面で切っても，その切り口にできる曲線の 1 次近似になっている」などがある。ただ，このような曖昧な言葉では納得しない学生もいる。そこで，後者の表現を具体的に式を使って説明しておく。
直線22（x－ a）＋（ y－ b）＝│t│となるから，（12）よりy t））ε（x（t）, （＝0t→0│t│limを得る。従って，
fb）＋ t f（a,b）cosθ＋ t f（a,b）sinθ
（a,xyf （t）, （y t））の t ＝ 0 での 1 次近似であり，は曲線 z ＝（xz ＝（a,fb）＋（t f（a,b）cosθ＋ f（a,b）sinθ）
xyfb））での接線と結論づ
は t ＝ 0 ，即ち点（a, b, （a,けてよい。さらに詳しく述べると，これは，点（a, b）を原点として，t（cosθ, sinθ）を t 軸とする t z 平面にf （t）, （y t））の，t ＝ 0 における接入る平面曲線 z ＝（x線である（傾きである t の係数はθ方向への方向微分係数に他ならない）。
これが任意のθで成り立つので，z ＝（a,fb）＋ f（a,b）b）（x－a）＋ f（a,（y－b）（13）xyはよい近似であり，この平面が（x, y）＝（a, b）での接平面になることを納得させるわけである。（もちろん現代数学においては，図などは補助説明でしかなく，「（12）が成り立つとき（13）を（x, y）＝（a, b）での接平面と呼ぶ」だけのことではあるが。）
ff（x）が連続'
付録 （x）が微分可能でその導関数でない例として，
x 2 sinf ＝（x）0x→ 0（t をパラメータとするθ方向の直線）を使うと，f （t）, （y t））ができる。これ
この直線上で曲線 z ＝（xを単に（11）に代入すれば，y t））＝（xf （t）, （y t））
ε（x（t）, （fb）－ t f（a,b）
t f（a,b）sinθ
－（a,cosθ－xyとなるわけだが，秋田高専研究紀要第48号（x ≠0）（x ＝0）を考える。実際，
limt（x, y）＝（a, b）＋（cosθ,sinθ）

1x2

f －（0）
f（x）
1＝ lim x sin 2 ＝ 0x→ 0x－0xff' ＝ 0 で あ り，よ り （x）
は x ＝ 0 で 微 分 可 能 で （0）x ≠0 ではf（x）' ＝2 x sin

121－cos 2xxx2'となる。よって f（x）はx＝ 0 で連続ではない（x ＝ 0 の近くで激しく振動している）。平均値の定理をx ＝ 0 において使えば，

― 92 ―吉井洋二

ff
' （x －0）＝ f（c）
' x（x）＝ （0）＋f（c）

謝辞 ここに述べた多くは，物質工学科 5 年，佐藤勇太君と，テイラーの定理について何度も議論した結果生まれたものである。ここに感謝の意を表する。

'となる。ここで x がどんなに 0 に近くても，f（c）が非常に大きくになったり，小さくなったりする' x が 0 に近づくとは言えない。
ので，誤差関数 f（c）
f
従 っ て， 定 数 関 数 y ＝ 0 が x ＝ 0 の 近 く で y ＝ （x）
参考文献
fを近似しているとは言い難い。y ＝ （x）をgrapher
で描くと（下図），遠目には原点近くで直線 y ＝ 0［1］ 新 井 一 道 他， 微 分 積 分 学 II， 大 日 本 図 書，に見えるが，拡大していけば，原点近くで振動して2010．
いることがわかる。
［2］E. Hairer, G. Wanner, Analysis by its history, Springer, UTM, 2007．
y［3］竹縄知之，コア・テキスト微分積分，サイエンス社，2009．
［4］渡部隆一 他，複素関数，培風館，1982．
［5］高木貞治，解析概論，岩波書店（改訂第 3 版），x
2010．

平成25年２月