Tanのテイラー展開を完全攻略！5次までの導出とベルヌーイ数の秘密

大学の微分積分学において、多くの学生や学習者が最初の大きな壁として突き当たるのが$\tan x$（タンジェント）のテイラー展開（マクローリン展開）です。$\sin x$ や $\cos x$ の展開式がシンプルで美しい規則性を持つのに対し、$\tan x$ は次数が上がるにつれて係数の計算が指数関数的に難解になります。

なぜタンジェントの級数展開はこれほどまでに複雑なのか。本記事では、その数学的な背景から、試験や実務で役立つ5次までの具体的な導出ステップ、さらには一般項に現れる「ベルヌーイ数」の正体までを徹底的に解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：$\tan x$ の導関数は積の微分や合成関数の影響で項が急増するため、高次導関数の直接計算が極めて困難になる。
• 要点2：5次までの展開式は「$x + \frac{1}{3}x^3 + \frac{2}{15}x^5$」となり、$f'(x) = 1 + \tan^2 x$ の漸化関係や未定係数法を用いれば効率的に導出できる。
• 要点3：一般項には特殊数列である「ベルヌーイ数」が関与し、複素平面上の特異点（極）によって収束半径は $|x| < \frac{\pi}{2}$ に厳密に制限される。

【なぜ複雑？】sinやcosとtanのテイラー展開における決定的な違い

三角関数の級数展開を学ぶ際、$\sin x$ と $\cos x$ は微分を繰り返しても符号が入れ替わりながら $0, 1, 0, -1$ を巡回するため、何次導関数であっても容易にパターン化できます。これに対して $\tan x = \frac{\sin x}{\cos x}$ は、微分を1回行うだけで計算の様相が一変します。

テイラーの定理に基づき $x = 0$ 周りで展開するマクローリン展開では、$n$ 階導関数 $f^{(n)}(0)$ の値が展開係数を決定します。しかし、$\tan x$ を微分すると次のように導関数自身が累乗の形で絡み合っていきます。

$$f'(x) = \sec^2 x = 1 + \tan^2 x$$

これをさらに微分すると積の微分公式と合成関数の微分が連続して適用され、項の数が爆発的に増加していきます。これが、三角関数の級数展開の中でもタンジェントだけが「別格の難易度」と呼ばれる根本的な理由です。

なお、$\tan x$ は原点対称の奇関数（$f(-x) = -f(x)$）であるため、偶数次の係数はすべて $0$ になります。現れるのは $x, x^3, x^5, \dots$ という奇数次の項のみですが、その係数の並び（$1, \frac{1}{3}, \frac{2}{15}, \frac{17}{315}, \dots$）は一見して単純な階乗や規則性が見当たらない構造になっています。

【5次までの展開式】マクローリン展開の具体的な導出手順と計算テクニック

大学の講義や定期試験で頻出となるのが「$\tan x$ のマクローリン展開を5次の項まで求めよ」という問題です。力任せに商の微分を繰り返すと計算ミスを誘発しやすいため、導関数の性質を上手く使った効率的な導出法をマスターしておく必要があります。

基本となる関数を $f(x) = \tan x$ とし、$f'(x) = 1 + f(x)^2$ という関係式を利用して順次導関数を求めていきましょう。

【ステップ1：各階の導関数を計算する】

・0階：$f(x) = \tan x \implies f(0) = 0$
・1階：$f'(x) = 1 + f(x)^2 \implies f'(0) = 1 + 0^2 = 1$
・2階：$f''(x) = 2f(x)f'(x) \implies f''(0) = 2 \cdot 0 \cdot 1 = 0$
・3階：$f'''(x) = 2(f'(x)^2 + f(x)f''(x)) \implies f'''(0) = 2(1^2 + 0) = 2$
・4階：$f^{(4)}(x) = 2(3f'(x)f''(x) + f(x)f'''(x)) \implies f^{(4)}(0) = 0$
・5階：$f^{(5)}(x) = 2(3f''(x)^2 + 4f'(x)f'''(x) + f(x)f^{(4)}(x)) \implies f^{(5)}(0) = 2(0 + 4 \cdot 1 \cdot 2 + 0) = 16$

【ステップ2：テイラー展開の公式に代入する】

マクローリン展開の定義式は以下の通りです。

$$f(x) = f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \frac{f'''(0)}{3!}x^3 + \frac{f^{(4)}(0)}{4!}x^4 + \frac{f^{(5)}(0)}{5!}x^5 + \dots$$

求めた導関数の値を代入します。

$$\tan x = 0 + 1 \cdot x + 0 + \frac{2}{3!}x^3 + 0 + \frac{16}{5!}x^5 + \dots$$

階乗を整理すると、次の美しい5次までの展開式が得られます。

$$\tan x = x + \frac{1}{3}x^3 + \frac{2}{15}x^5 + \mathcal{O}(x^7)$$

高次導関数の計算を愚直に行う代わりに、$\sin x$ と $\cos x$ の展開式を用いた「未定係数法」や「級数の割り算（長除法）」を使うアプローチも実用上非常に有効です。$\tan x = a_1 x + a_3 x^3 + a_5 x^5 + \dots$ と置いて $\sin x = \cos x \cdot \tan x$ に各級数を代入し、両辺の係数を比較することで、微分を一切使わずに係数を確定できます。

【一般項の求め方】ベルヌーイ数を使う理由とタンジェント数の関係

5次や7次程度までであれば微分計算で求められますが、タンジェントのテイラー展開公式の「第 $n$ 項（一般項）」を初等関数の階乗だけで表すことは不可能です。ここで登場するのが、数論や解析学で極めて重要な役割を果たす「ベルヌーイ数（Bernoulli number: $B_{2n}$）」です。

タンジェントのテイラー展開における一般項は、公式として次のように定義されています。

$$\tan x = \sum_{n=1}^{\infty} \frac{(-1)^{n-1} 2^{2n}(2^{2n}-1) B_{2n}}{(2n)!} x^{2n-1} \quad \left(|x| < \frac{\pi}{2}\right)$$

なぜここで一見無関係に見えるベルヌーイ数が登場するのでしょうか。その背景には、複素関数論における余接関数（$\cot x$）と指数関数（$\frac{z}{e^z - 1}$）の深い繋がりがあります。

ベルヌーイ数はもともと、母関数 $\frac{t}{e^t - 1} = \sum_{k=0}^{\infty} \frac{B_k}{k!} t^k$ によって定義される数列です。オイラーの公式を用いて複素平面上で三角関数を指数関数に変換すると、$\cot z$ は以下のように表現できます。

$$\cot z = i \frac{e^{iz} + e^{-iz}}{e^{iz} - e^{-iz}} = i + \frac{2i}{e^{2iz} - 1}$$

さらに倍角の公式 $\tan z = \cot z - 2\cot(2z)$ を適用して差を取ると、指数関数の母関数展開から導かれたベルヌーイ数がそのままタンジェントの係数として抽出されます。これが、タンジェントの級数展開にベルヌーイ数を使う必然的な理由です。

また、組合せ論の分野では分子の整数部分をまとめた「タンジェント数（オイラー・ツェザロ数：$T_n$）」と呼ばれる整数列（$1, 2, 16, 272, 7936, \dots$）を用いて $\tan x = \sum_{n=1}^{\infty} \frac{T_n}{(2n-1)!} x^{2n-1}$ と簡潔に表記する手法も知られています。

【収束半径と範囲】なぜtanxの収束域は「|x| < π/2」に制限されるのか

テイラー展開を扱う上で絶対に無視できないのが収束半径と収束範囲です。$\sin x$ や $\cos x$ のテイラー展開は全実数領域（収束半径 $R = \infty$）で元の関数に収束しますが、$\tan x$ の収束半径は $R = \frac{\pi}{2}$ に制限されます。

実数のグラフだけを見ていると、「原点付近で綺麗に近似できているのになぜ $x = 1.6$ あたりで急激に発散してしまうのか」と疑問に感じるかもしれません。この謎は、複素数平面へ視野を広げることで明確に解明されます。

テイラー展開の収束半径は、「展開の中心点から最も近い関数の特異点（値が定義できず無限大へ発散する極）までの距離」と完全に一致します。$\tan z = \frac{\sin z}{\cos z}$ において、分母の $\cos z$ が $0$ になる点、すなわち特異点は $z = \pm \frac{\pi}{2}, \pm \frac{3\pi}{2}, \dots$ です。

原点 $z = 0$ から最も近い特異点 $z = \frac{\pi}{2}$ までの距離はまさに $\frac{\pi}{2}$（約1.5708）です。このため、実数軸上であっても $|x| < \frac{\pi}{2}$ の外側では級数が激しく発散し、元の $\tan x$ の値を表現できなくなります。

【微分積分学の公式まとめ】三角関数の級数展開一覧と試験での使い分け

解析学の試験や物理・工学の近似計算で即座に取り出せるよう、代表的な三角関数および関連関数のマクローリン展開式をまとめました。

関数 $f(x)$	マクローリン展開式（主要項）	収束半径 $R$
$\sin x$	$x - \frac{1}{6}x^3 + \frac{1}{120}x^5 - \dots$	$\infty$
$\cos x$	$1 - \frac{1}{2}x^2 + \frac{1}{24}x^4 - \dots$	$\infty$
$\tan x$	$x + \frac{1}{3}x^3 + \frac{2}{15}x^5 + \dots$	$\frac{\pi}{2}$
$\arctan x$	$x - \frac{1}{3}x^3 + \frac{1}{5}x^5 - \dots$	$1$

特に $\tan x$ と逆三角関数である $\arctan x$ は係数の並び（$\frac{1}{3}, \frac{2}{15}$ 対 $\frac{1}{3}, \frac{1}{5}$）や符号が似ているため、試験本番で混同しないよう注意が必要です。$\tan x$ はすべてプラス符号であり、$\arctan x$ は交項級数（プラスとマイナスが交互）となります。

【tan テイラー 展開】に関するよくある質問（FAQ）

Q1：大学の定期試験などで、tanの展開はなぜ3次や5次までしか問われないのですか？
A1：7次導関数以降の計算量が手計算の限界を大きく超えて膨大になるためです。5次まで計算できれば、合成関数の微分則やテイラーの定理の本質的理解を十分に評価できると判断されています。

Q2：ベルヌーイ数を使わずに一般項を初等関数だけで表す方法は本当に存在しないのですか？
A2：はい。初等的な四則演算や階乗のみの閉じた形（クローズドフォーム）で表すことはできず、ベルヌーイ数やタンジェント数といった母関数から定義される特殊な数列を導入することが数学的に必須となります。

Q3：試験中にtanxの3次や5次の係数を度忘れした場合の最も速いリカバリー法は？
A3：$\sin x \approx x - \frac{x^3}{6}$ と $\cos x \approx 1 - \frac{x^2}{2}$ の多項式割り算（筆算）を実行するのが最速です。$(x - x^3/6) \div (1 - x^2/2)$ を行うと、最初の商に $x$、次に $+\frac{1}{3}x^3$ が即座に導き出せます。

まとめ：tanのテイラー展開の構造を理解して微積分を攻略しよう

$\tan x$ のテイラー展開は、一見すると計算が面倒なだけの難問に見えますが、その背景には導関数の自己増殖構造、複素平面における特異点と収束半径、そしてベルヌーイ数を介した指数関数との結合という、高度な数学の調和が隠されています。

5次までの係数導出プロセスをしっかりとマスターし、一般項の導出原理を押さえておくことは、単なる試験対策にとどまらず、その後の複素関数論や数値解析への強力な足がかりとなります。ぜひ本記事の手順を手元で実際に手を動かしながら再現し、完全な得点源に仕上げてください。 （出典: tan テイラー 展開（Yahoo!ニュース））