マクローリン展開
関連問題
テーラーの定理:
として、閉区間
で連続、開区間
で
n
回微分可能な関数
があるとき、
のときには、
,
のときには、
,
を満たす
c
が存在する。
[
証明
]
数学的帰納法
により証明します。
のときは、テーラーの定理は、
(Lagrange
の
)
平均値の定理
と同じです。 ・・・
(
T
)
のとき、命題が成り立つと仮定します。
また、
は、閉区間
で連続、開区間
で
回微分可能な関数だとします。
,
とすれば、
は、閉区間
で連続、開区間
で
n
回微分可能な関数です。
従って、
のときに命題が成り立つとした仮定により、
・・・@,
を満たす
c
が存在します。
A
を定数として、
・・・A
とおくと、
・・・B
@−Bより、
より、
Aに代入すると、
,
これは、証明すべき命題の等式で、
とした等式です。
よって、
のときにも命題は成立します。 ・・・
(
U
)
(
T
)
,
(
U
)
より、命題が成り立つことが証明されました。
(
証明終
)
上記では、上記では、
として考えましたが、
の場合も全く同様です。
テーラーの定理の
の項を
Lagrange
の
n
次剰余項と言います。
テーラーの定理より、
が
a
を含む区間で何回でも微分可能で、
のとき、
n
次剰余項が
となるとき、つまり、
であるときには、
を
・・・C
と、無限級数の形に書くことができます。C式をテーラー展開と言います。
Cは、
a
に近い
x
について、
の近似値を計算するのに使われている公式です。
C式で、特に、
とした式
・・・D
を
マクローリン展開
と言います。大学入試問題のネタとしてしばしば取り上げられている公式です。
D式を簡単に求めるだけなら、以下のようにすればよいでしょう。
,
,・・・,
,・・・を実数として、
が、
・・・E の形に書けたとします
(
必ず書けるというわけではありません
)
。
E式で
として、
E式を微分すると、
を代入すると、
さらに微分して、
を代入すると、
さらに微分して、
を代入すると、
これをずっと繰り返していけば、D式のように、
の係数が、
となることがわかります。もちろん、こうできるためには、
が無限回、微分できる関数でなければなりません。
例
1
.
のとき、どんな自然数
k
についても、
です。
,
より、
のマクローリン展開は、
例
2
.
のとき、
,
,
,
,・・・
よって、
,
,
,
,
,・・・
つまり、
これより、
のマクローリン展開は、
例
3
.
のとき、
より、
これは、
に対して、
というように変化します。
よって、
のマクローリン展開は、
は偶関数なので、偶数乗の項だけが出てくることに注意してください。
例
4
.
のとき、
より、
これは、
に対して、
というように変化します。
よって、
のマクローリン展開は、
は奇関数なので、奇数乗の項だけが出てくることに注意してください。
ここで、例
1
.の
のマクローリン展開において、
(
i
は虚数単位で
)
としてみます。
これと、例
3
.,例
4
.の結果を見比べると、
・・・F
と書けることがわかります。
F式の右辺は、複素数の
極形式
で出てくる形です。即ち、複素数
z
について、
,
として、
z
の極形式を、
と書くことができます。
F式をオイラーの公式と言います。
F式の共役複素数を考えると、
として、
・・・G
F+Gより、
F−Gより、
数学基礎事項
TOP
数学
TOP
TOP
ページに戻る
各問題の著作権は出題大学に属します。
©
2005-2022
(有)りるらる
苦学楽学塾
随時入会受付中!
理系大学受験ネット塾
苦学楽学塾
(ご案内は
こちら
)ご入会は、
まず、
こちらまでメール
をお送りください。
雑誌「
大学への数学
」出版元