三角関数の中でも、tanのテイラー展開は少し厄介な存在です。
sinやcosのマクローリン展開はきれいな規則性を持っていますが、tanの場合はそう単純にはいきません。
分母にcosが入っている関数だからこそ、係数の並びに一筋縄ではいかない工夫が必要になります。
そこで登場するのがベルヌーイ数という特殊な数列です。
この記事では、tanのテイラー展開とマクローリン展開の公式を中心に、導出の流れや収束の範囲、近似計算への応用までを丁寧に解説していきます。
級数展開の基礎から、ベルヌーイ数を使った一般項の表現方法まで、順を追って確認していきましょう。
数式が多く登場しますが、一つずつ整理しながら読み進めれば決して難しい内容ではありません。
それでは早速、本題に入っていきます。
tanのテイラー展開とマクローリン展開の結論
それでは結論から解説していきます。
tanのマクローリン展開は、sinやcosのように有限個の規則で表せる単純な式ではありません。
結論として、tan xのマクローリン展開は次のように表されます。
tan x = x + x^3/3 + 2x^5/15 + 17x^7/315 + 62x^9/2835 + ・・・
一見すると分数の分子が不規則に増えているように見えるでしょう。
この不規則さの正体こそが、後ほど紹介するベルヌーイ数です。
一般項を厳密に表すと、次のような式になります。
tan x = 農n=1〜∞ ( (-1)^(n-1) ・ 2^(2n) ・ (2^(2n)-1) ・ B(2n) / (2n)! ) ・ x^(2n-1)
この式が、tanのマクローリン展開における最も一般的な表現です。
B(2n)はベルヌーイ数を意味しており、この数列を知らないとtanの展開式は組み立てられません。
sinやcosの展開との違い
sin xやcos xのマクローリン展開は、微分を繰り返すだけで規則的な係数が得られます。
具体的には、sin xは奇数次のみ、cos xは偶数次のみが残り、係数は階乗の逆数として素直に並びます。
一方でtan xは、sinとcosの比という構造を持っているため話が変わってきます。
単純な割り算ではなく、級数同士の除算という手続きが必要になるからです。
この違いこそが、tanの展開を難しく感じさせる最大の理由でしょう。
なぜ規則性が複雑になるのか
tan xはsin xとcos xの商として定義されています。
級数の割り算は、単項式の割り算と違って係数同士が絡み合う計算になります。
そのため、次数が上がるごとに係数の計算量が増えていくのです。
この複雑さを整理するために、数学者たちはベルヌーイ数という道具を編み出しました。
結果として、複雑に見える係数も一つの数列で統一的に表現できるようになったのです。
結論を押さえたうえで読み進めるコツ
まずは冒頭の展開式の形を覚えておくと理解がスムーズになります。
x + x^3/3 + 2x^5/15という最初の数項だけでも暗記しておく価値は十分にあるでしょう。
近似計算をする場面では、この最初の数項だけで実用上十分な精度が得られることも多いです。
次章からは、マクローリン展開そのものの基本に立ち返って確認していきます。
マクローリン展開の基本的な考え方
続いてはマクローリン展開の基本を確認していきます。
マクローリン展開とは、テイラー展開の中でも展開の中心をx=0に固定したものです。
関数f(x)をx=0周りで無限に微分できると仮定したとき、次のような多項式の無限和で表現できます。
f(x) = f(0) + f'(0)x + f”(0)x^2/2! + f”'(0)x^3/3! + ・・・
この式さえ理解していれば、どんな関数の展開もこの枠組みに当てはめて考えられます。
tanの場合も例外ではなく、この定義式から出発して係数を求めていくことになります。
テイラー展開との違い
テイラー展開は、任意の点aを中心として関数を多項式で近似する手法です。
マクローリン展開は、その中心aをゼロに限定した特別なケースにすぎません。
tanの場合、x=0付近で滑らかに定義されているため、マクローリン展開が扱いやすい選択肢になります。
もしx=π/2周辺での近似が必要なら、話は別でしょう。
その付近ではtanが発散してしまうため、別の中心を選ぶ必要が出てきます。
マクローリン展開が成り立つための条件
関数がマクローリン展開できるためには、x=0で何回でも微分可能であることが前提です。
さらに、剰余項がゼロに収束するという条件も欠かせません。
tan xはx=0付近では滑らかな関数なので、この条件を満たしています。
ただし、後述するように収束する範囲には限界があることを覚えておきましょう。
無限に展開できるからといって、どんなxでも使えるわけではないのです。
係数を求める一般的な手順
マクローリン展開の係数は、原点における各階微分の値を階乗で割ることで求まります。
手順としては、まず1階微分、2階微分と順番に計算し、x=0を代入していく流れになります。
sinやcosであれば、この手順を数回繰り返すだけで規則性が見えてきます。
ところがtanの場合、微分するたびに式が複雑化していくため、この方法だけでは限界があります。
そこで次章では、tan特有の導出方法について詳しく見ていきます。
tanのマクローリン展開を導出する方法
続いてはtanの展開式がどのように導かれるのかを確認していきます。
導出方法にはいくつかのアプローチが存在します。
代表的なのは、sinとcosの級数を使って割り算する方法と、微分方程式を利用する方法の二つです。
sinとcosの級数から導く方法
まず、sin xとcos xのマクローリン展開はすでによく知られています。
sin x = x – x^3/6 + x^5/120 – ・・・
cos x = 1 – x^2/2 + x^4/24 – ・・・
tan x = sin x / cos xという定義に基づき、この二つの級数を割り算します。
級数の割り算は、cos xの逆数をまず級数として求め、それにsin xの級数を掛け合わせる手順で進めます。
未定係数法を使い、次数ごとに係数を比較しながら解いていくのが定石です。
計算自体は地道な作業ですが、次数を上げるほど手間が増えていく点は否めません。
それでも、この方法はtanの展開の仕組みを直感的に理解するのに向いているでしょう。
微分方程式を利用した導出
もう一つの方法は、tan xの微分がもつ性質を利用するやり方です。
d/dx (tan x) = 1 + tan^2 x
この関係式を使うと、tan xの各階微分をtan x自身の多項式として表せます。
y = tan xと置いたとき、y’ = 1 + y^2という微分方程式が成り立ちます。
この式を繰り返し微分していけば、y”やy”’をyの式として次々に求められます。
最終的にx=0を代入すれば、マクローリン展開の各係数が芋づる式に得られる仕組みです。
この方法は計算の見通しが良く、係数の規則性を発見しやすい利点があります。
ベルヌーイ数を使った一般項の表現
先ほどの二つの方法で得られた係数を並べてみると、ある共通のパターンが浮かび上がります。
そのパターンを数式として整理したものが、冒頭で紹介した一般項の公式です。
係数の中に含まれるB(2n)という記号こそが、ベルヌーイ数と呼ばれる特別な数列です。
ベルヌーイ数を知らなければ、tanの一般項を簡潔に書き下すことはできません。
次章では、このベルヌーイ数そのものについて詳しく掘り下げていきます。
ベルヌーイ数とtanの級数展開の関係
続いてはベルヌーイ数について確認していきます。
ベルヌーイ数は、17世紀の数学者ヤコブ・ベルヌーイの名前に由来する数列です。
もともとは自然数のべき乗和を求める公式に登場した数として知られています。
ところが、この数列はtanやcotのような三角関数の展開にも深く関わってくるのです。
ベルヌーイ数の定義
ベルヌーイ数は、次のような母関数を使って定義されます。
x / (e^x – 1) = 農n=0〜∞ B(n) x^n / n!
この式を展開していくと、B0、B1、B2という具合に各項の係数が求まります。
奇数番目のベルヌーイ数は、B1を除いてすべてゼロになるという性質があります。
この性質のおかげで、tanの展開に登場する項がすべて奇数次数になっていることと整合性が取れているのです。
代表的なベルヌーイ数の一覧
ここで、代表的なベルヌーイ数を表にまとめておきます。
| n | ベルヌーイ数B(n) |
|---|---|
| 0 | 1 |
| 1 | マイナス1/2 |
| 2 | 1/6 |
| 4 | マイナス1/30 |
| 6 | 1/42 |
| 8 | マイナス1/30 |
| 10 | 5/66 |
この表を見ると分かる通り、値は分数で表され、符号もプラスとマイナスが交互に現れます。
この数値を先ほどの一般項の公式に代入すれば、tanの各係数を機械的に導けます。
具体的な係数計算の例
試しに、n=1のときの係数を計算してみましょう。
n=1のとき、B(2)=1/6を使うと、係数は2^2・(2^2-1)・(1/6)/2! = 4・3・(1/6)/2 = 1となります。
この結果は、tan xの最初の項である係数1、つまりxの項に対応しています。
同様にn=2のときはB(4)=マイナス1/30を使い、係数として1/3が得られます。
これはx^3/3という項にきちんと対応する結果です。
このように、ベルヌーイ数さえ分かれば係数計算は完全に自動化できるでしょう。
手計算では大変な作業も、数列の規則を知っていれば一気に見通しが良くなります。
tanのマクローリン展開の収束範囲と近似計算
続いては収束範囲と近似計算について確認していきます。
級数展開はどんなxでも使えるわけではなく、収束する範囲というものが存在します。
収束半径はπ/2
tan xのマクローリン展開が収束するのは、絶対値でπ/2未満のxに限られます。
これは、tan xがx=π/2で無限大に発散してしまうことに起因しています。
関数が発散する点までの距離が、そのまま収束半径として現れる典型例といえるでしょう。
複素関数の視点で見ると、この収束半径はより明確に説明できます。
複素平面上でtan xが特異点を持つ最も原点に近い点までの距離が、収束半径そのものになるのです。
tanのマクローリン展開が有効なのは、xの絶対値がπ/2未満の範囲に限られます。
この範囲を超えたところで級数を使っても、正しい値には収束しません。
近似計算を行う際には、必ずこの制約を意識する必要があります。
近似計算における精度の目安
実務や試験問題でtanの近似値を求める場合、最初の数項だけで十分な精度が得られることが多いです。
例えば、xが0.1程度の小さな値であれば、x + x^3/3の二項だけでもかなり正確な近似になります。
一方で、xがπ/2に近づくにつれて、必要な項数は急激に増えていきます。
収束は保証されていても、実用上の収束速度が遅くなる点には注意が必要でしょう。
近似の目的や許容誤差に応じて、使う項数を調整する判断力が求められます。
実用上の注意点
数値計算のプログラムでtanの近似式を使う際には、収束半径の外側で使わないよう気を付けましょう。
特に自動化されたシステムでは、xの範囲チェックを組み込んでおくと安全です。
また、項数を増やしすぎると計算コストが増大するというトレードオフも存在します。
精度と計算速度のバランスを取ることが、実用面では何より重要になってくるでしょう。
この章で扱った収束の知識は、次章の応用例を理解するうえでも土台になります。
tanのテイラー展開が使われる場面
続いては、tanの展開が実際にどこで役立っているのかを確認していきます。
抽象的な数式に見えても、その応用範囲は意外なほど広いです。
物理学における応用
振り子の運動や光学のレンズ設計など、物理の現場では角度に関する近似計算が頻繁に登場します。
角度が小さいという条件のもとで、tanをxそのものに近似する手法はよく知られているでしょう。
より高い精度が必要な場合には、x^3/3までを含めた近似式が使われることもあります。
この使い分けができるかどうかで、計算の効率も精度も大きく変わってきます。
数値計算やコンピュータでの応用
コンピュータがtan xの値を計算する際、内部的にはマクローリン展開に近い手法が使われることがあります。
直接的な三角関数の計算は処理コストが高いため、多項式近似に置き換えることで高速化を図るのです。
組み込み機器やゲームエンジンのような、処理速度が重視される分野では特に重宝されます。
誤差の許容範囲を事前に決めておき、必要な項数だけを計算するという工夫も一般的です。
数学教育や試験問題での位置づけ
大学入試や数学の授業でも、tanのマクローリン展開は時折出題されるテーマです。
特にsinやcosの展開と比較させることで、級数展開の理解度を測る問題としてよく使われます。
ベルヌーイ数まで踏み込んだ出題は少ないものの、導出の考え方を問う問題は珍しくありません。
微分方程式を使った導出法を知っておくと、こうした応用問題にも対応しやすくなるでしょう。
基本の考え方を押さえておくことが、結局は一番の近道といえます。
まとめ
今回は、tanのテイラー展開とマクローリン展開の公式について解説してきました。
tan xの展開は、x + x^3/3 + 2x^5/15 + 17x^7/315という形で始まり、一般項にはベルヌーイ数が深く関わっていました。
sinやcosに比べて規則性が複雑に見える理由は、tanがsinとcosの商として定義されているからです。
導出方法としては、級数の割り算による方法と、微分方程式を利用する方法の二つを紹介しました。
ベルヌーイ数の定義や具体的な数値を知ることで、係数を機械的に求められることも確認できたはずです。
また、収束半径がπ/2に限られる点や、近似計算における精度の考え方についても触れました。
物理学や数値計算、教育の現場など、tanの展開が活躍する場面は思いのほか幅広いものです。
数式だけを見ると難解に感じるかもしれませんが、一つずつ手順を追えば決して理解できない内容ではありません。
この記事が、tanのテイラー展開やマクローリン展開を学ぶうえでの助けになれば幸いです。
