三角関数の中でもcosxは物理や工学の計算に頻繁に登場します。
そのcosxを多項式の形に書き換える方法が、テイラー展開やマクローリン展開です。
とはいえ、公式の形や導出の手順、さらには収束や近似との関係まで正しく理解している人は意外と少ないのではないでしょうか。
この記事ではcosxのテイラー展開とマクローリン展開の公式を中心に、導出の流れや収束性、実際の近似計算までまとめて解説していきます。
数式が苦手な方でも読み進められるように、具体例や表を交えながら丁寧に説明していきます。
最後まで読めば、cosのテイラー展開とマクローリン展開の全体像がすっきりと理解できるはずです。
cosxのテイラー展開・マクローリン展開の結論となる公式
それではまずcosxのマクローリン展開の結論となる公式について解説していきます。
マクローリン展開の基本公式
結論から言うと、cosxのマクローリン展開は次のように表されます。
cosx = 1 – x²/2! + x⁴/4! – x⁶/6! + x⁸/8! – …
この式は、cosxという曲線を無限に続く多項式の和で近似できることを意味しています。
特徴的なのは、xの偶数乗の項だけが並んでいる点です。
奇数乗の項は一切登場しません。
これはcosxが偶関数であることと深く関係しています。
シグマ記号を使った一般項の表し方
先ほどの式をシグマ記号でまとめると、次のように書けます。
cosx = Σ（n=0から∞）(-1)ⁿ x^(2n) / (2n)!
nに0、1、2、3と数字を代入していくと、1、-x²/2!、x⁴/4!、-x⁶/6!という項が順番に現れます。
この一般項の形を覚えておくと、何項目がどんな符号でどんな次数になるか瞬時に判断できるようになります。
試験や問題演習でも役立つ表現方法ではないでしょうか。
符号が交互に変わる理由
公式の中にある(-1)ⁿという部分は、符号がプラスとマイナスで交互に入れ替わることを示しています。
nが偶数のときはプラス、奇数のときはマイナスになる仕組みです。
cosxのマクローリン展開でもっとも重要なポイントは、偶数次の項しか現れないことと、符号が交互に反転することの二つです。
この二つの特徴さえ押さえておけば、公式を丸暗記せずとも自力で再現できるようになります。
後ほど紹介する導出の流れを見れば、なぜこのような符号の変化が起きるのかも自然に理解できるでしょう。
テイラー展開とマクローリン展開の違い
続いてはテイラー展開とマクローリン展開の違いを確認していきます。
テイラー展開とは何か
テイラー展開とは、ある関数f(x)を特定の点aのまわりで多項式に展開する手法のことです。
f(x) = f(a) + f'(a)(x-a) + f”(a)(x-a)²/2! + f”'(a)(x-a)³/3! + …
この式のaに好きな数値を入れることで、任意の点を中心にした展開が可能になります。
つまりテイラー展開は、非常に汎用性の高い展開方法だと言えます。
マクローリン展開はx=0を中心にした特別な場合
一方でマクローリン展開は、テイラー展開の式でa=0とした特別なケースです。
つまりマクローリン展開は、テイラー展開の一種にすぎません。
マクローリン展開はテイラー展開の中心点をx=0に固定したものであり、両者は上位概念と下位概念の関係にあります。
x=0を中心にすることで計算が大幅に簡単になるため、教科書や問題集でもマクローリン展開が頻繁に扱われる傾向にあります。
cosxでマクローリン展開がよく使われる理由
cosxはx=0のときにcos0=1というきれいな値をとります。
さらにcosxの微分も0付近で規則的な値になるため、係数の計算がとてもシンプルになるのです。
これが、cosxの展開を考えるときに真っ先にマクローリン展開が選ばれる理由でしょう。
もちろん任意の点a周りのテイラー展開を考えることも可能ですが、実用上はx=0周りの展開で十分なケースがほとんどです。
cosxのマクローリン展開を導出する方法
続いては公式がどのように導かれるのか、その導出過程を確認していきます。
微分を繰り返して係数を求める
マクローリン展開の係数は、f(x)をn回微分してx=0を代入した値をn!で割ることで求められます。
係数an = f^(n)(0) / n!
この定義に従って、f(x)=cosxを何度も微分していきます。
手を動かして計算することで、公式の意味がより深く理解できるはずです。
cosxの高階微分は4つの周期で循環する
cosxを実際に微分していくと、次のような規則性が見えてきます。
| 微分回数 | 導関数 | x=0での値 |
|---|---|---|
| 0回（元の関数） | cosx | 1 |
| 1回 | -sinx | 0 |
| 2回 | -cosx | -1 |
| 3回 | sinx | 0 |
| 4回 | cosx | 1 |
表を見てわかるように、4回微分すると元のcosxに戻ります。
つまりcosxの高階微分は1、0、-1、0の繰り返しになっているのです。
この周期性こそが、偶数次の項しか現れず、符号が交互に変わる理由の正体でしょう。
テイラーの公式に代入して整理する
先ほどの表の値を、マクローリン展開の一般式に代入していきます。
cosx = 1 + 0・x + (-1)x²/2! + 0・x³/3! + 1・x⁴/4! + …
ゼロになる項を消していくと、次のように整理できます。
cosx = 1 – x²/2! + x⁴/4! – x⁶/6! + …
これで結論の章で紹介した公式と一致しました。
導出の流れを一度自分の手で追ってみると、単なる暗記とは違った納得感が得られるのではないでしょうか。
cosxのマクローリン展開の収束性
続いては、この無限級数がきちんと収束するのかどうかを確認していきます。
収束半径は無限大になる
結論から言うと、cosxのマクローリン展開はすべての実数xで収束します。
cosxのマクローリン展開の収束半径は無限大です。
そのため、xがどれほど大きな値であっても、この級数は必ずcosxの値に収束します。
これは非常に強力な性質と言えるでしょう。
ダランベールの判定法で確認する
収束半径が無限大になることは、ダランベールの判定法（比判定法）を使うと確認できます。
隣り合う項の比の絶対値を計算すると、次のようになります。
|a(n+1)/an| = x²/((2n+2)(2n+1))
nを限りなく大きくしていくと、分母の(2n+2)(2n+1)はxの大きさに関係なくどんどん大きくなっていきます。
その結果、この比はnが大きくなるにつれて0に近づいていくのです。
比が1未満に収束すれば級数は収束するというのが判定法のルールなので、xがどんな値でも収束すると結論づけられます。
sinxやe^xの収束性との比較
実は、この収束半径が無限大になるという性質は、cosxだけの特別な現象ではありません。
sinxやe^xのマクローリン展開も、同じように分母に階乗が入っているため収束半径は無限大になります。
一方で、log(1+x)や1/(1-x)のような関数は収束半径が有限になることが知られています。
階乗を含む式は分母の増え方が非常に急なので、収束しやすい形になっている、と理解しておくとよいでしょう。
cosxのテイラー展開を使った近似計算と誤差評価
続いては、実際にこの展開式を使ってcosxの値を近似する方法を確認していきます。
何次まで使うかで精度が変わる
無限に続く級数を実際の計算で使うときは、途中の項で打ち切る必要があります。
当然ながら、使う項数が多いほど近似の精度は高くなります。
逆に項数が少ないと計算は楽になりますが、xが0から離れるほど誤差が大きくなっていくのです。
特にxが小さい範囲では、わずか数項の近似でも十分に実用的な精度が得られます。
具体的な数値で近似してみる
ここでは、x=0.5ラジアンの場合を例に、項数を増やしながら近似値を比べてみましょう。
実際のcos0.5の値は、およそ0.877583です。
| 使用した項数 | 近似式 | 近似値 | 誤差 |
|---|---|---|---|
| 1項 | 1 | 1.000000 | 約0.122417 |
| 2項 | 1-x²/2! | 0.875000 | 約0.002583 |
| 3項 | 1-x²/2!+x⁴/4! | 0.877604 | 約0.000021 |
| 4項 | 1-x²/2!+x⁴/4!-x⁶/6! | 0.877583 | ほぼ0 |
表からもわかるとおり、項数を増やすごとに誤差は急激に小さくなっていきます。
たった4項でほぼ正確な値に到達しているのは驚きではないでしょうか。
この性質があるからこそ、電卓やコンピュータの内部でもこの展開式に近い方法が使われているのです。
剰余項（誤差）の評価方法
近似がどのくらい信頼できるのかを数値で示す方法として、剰余項（ラグランジュの剰余項）があります。
Rn(x) = f^(n+1)(c) x^(n+1) / (n+1)! （cは0とxの間のある値）
cosxとその導関数の絶対値は常に1以下なので、この剰余項の大きさは次のように上から抑えられます。
|Rn(x)| ≤ |x|^(n+1) / (n+1)!
この不等式を使えば、何項まで計算すれば目標の精度に到達するのかを事前に見積もることができます。
誤差の上限を先に把握できるという点は、実務上とても心強いポイントと言えるでしょう。
まとめ
ここまで、cosxのテイラー展開とマクローリン展開について解説してきました。
cosxのマクローリン展開は、cosx = 1 – x²/2! + x⁴/4! – x⁶/6! + …という形で表され、偶数次の項だけが交互の符号で並ぶという特徴を持っています。
この公式は、cosxを何度も微分してx=0での値を求め、テイラーの公式に代入することで導かれるのでした。
また、収束半径は無限大であり、どんなxの値であっても級数はcosxに収束します。
近似計算においては、使用する項数を増やすほど精度が高まり、剰余項を使えば誤差の大きさも事前に見積もることができます。
マクローリン展開はsinxやe^xとも深く関係しており、オイラーの公式e^(ix)=cosx+i sinxを理解するうえでも欠かせない知識です。
公式を丸暗記するのではなく、導出の流れや収束の理由まで理解しておくことで、応用問題にも柔軟に対応できるようになるでしょう。
ぜひこの記事を参考に、cosxのテイラー展開とマクローリン展開への理解を深めてみてください。
