マクローリン展開
関数 f(x) が x=0 の近くで n 回微分可能であれば x=0 の十分近くで
f(x) = f(0) + f'(0)/1!・x +f''(0)/2!・x2 + f'''(0)/3!・x3 + … + f(n-1)(0)/(n-1)!・xn-1 + f(n)(θx)/n!・xn (0<θ<1)
となります。これをマクローリン展開といいます。
このマクローリン展開を用いてsin x、cos x、exをそれぞれ展開してみましょう。
sin x = sin0 + cos0 ・x - sin0/2! ・x2 - cos0/3! ・x3 + sin0/4! ・x4 + cos0/5! ・x5 - …
= x - x3/3! + x5/5! - x7/7! + x9/9! - … …(1)
cos x = cos0 - sin0 ・x - cos0/2! ・x2 + sin0/3! ・x3 + cos0/4! ・x4 - sin0/5! ・x5 - …
= 1 - x2/2! + x4/4! - x6/6! + x8/8! - … …(2)
ex = 1 + x + x2/2! + x3/3! + x4/4! + x5/5! + x6/6! + x7/7! + x8/8! + x9/9! + … …(3)
ここで(3)のxをix(iは i2=-1)とおくと
eix = 1 + ix - x2/2! - ix3/3! + x4/4! + ix5/5! - x6/6! - ix7/7! + x8/8! + ix9/9! + …
= (1 - x2/2! + x4/4! - x6/6! + x8/8! + …) + i(x - x3/3! + x5/5! - x7/7! + x9/9! + …)
(1)、(2)より
eix = cos x + isin x (オイラーの公式)
|
う、美しい。
この公式のxにπを代入すると
eiπ = -1
|
…び、びゅーてぃふる!
自然対数の底eと虚数iと円周率πはこんな関係にあったんですね。