Tanのマクローリン展開攻略！微分が複雑化する理由と裏ワザ

大学の微積分学において、多くの学生がつまずく関門の一つが「$\tan x$ のマクローリン展開」です。$\sin x$ や $\cos x$ の展開は規則性が分かりやすくスムーズに解けるのに対し、$\tan x$ になった途端、微分計算が爆発的に複雑化してパニックに陥るケースが後を絶ちません。

定期試験や大学院入試でも頻出のテーマでありながら、正しい計算アプローチや背後にある数学的構造を体系的に理解できている人は意外と少ないのが現状です。本稿では、なぜ $\tan x$ の計算がこれほど厄介になるのかという根本的な原因を解き明かし、試験現場で素早く正確に係数を導き出す実践的なテクニックを徹底解説します。

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

• 要点1：$\tan x$ のマクローリン展開は $x + \frac{1}{3}x^3 + \frac{2}{15}x^5 + \frac{17}{315}x^7 + \dots$ となり、奇数次の項のみが現れる。
• 要点2：微分計算が複雑化する原因は $(\tan x)' = 1 + \tan^2 x$ という多項式連鎖にあり、$y = \tan x$ と置く置換微分法や除算法を使えば劇的に計算を簡略化できる。
• 要点3：一般項には「ベルヌーイ数」が関与しており、収束半径は複素平面上の極に由来する $R = \frac{\pi}{2}$ となる。

【基本公式】$\tan x$ のマクローリン展開と5次までの展開式

まずは、試験で確実に押さえておくべき $\tan x$ のマクローリン展開の基本公式 を確認します。マクローリン展開は、$x=0$ のまわりで関数を多項式近似するテイラー展開の特殊形です。

$\tan x$ を原点付近で展開すると、次のような級数になります。

$$\tan x = x + \frac{1}{3}x^3 + \frac{2}{15}x^5 + \frac{17}{315}x^7 + \dots + \frac{(-1)^{n-1} 2^{2n}(2^{2n}-1) B_{2n}}{(2n)!} x^{2n-1} + \dots$$

実際の試験問題では、一般項まで求めさせるケースよりも「5次または7次までの展開式を求めよ」という指定が主流です。特に5次までの形である $x + \frac{1}{3}x^3 + \frac{2}{15}x^5$ は、計算ミス防止のための検算用として暗記しておく価値が十分にあります。

また、$\tan(-x) = -\tan x$ が成り立つ「奇関数」であるため、偶数次の項（$x^2, x^4, x^6 \dots$）の係数はすべて $0$ になります。もし計算途中で偶数次の係数が残った場合は、どこかで符号や微分のミスが発生している明確なシグナルです。

なぜ計算が地獄化するのか？$\tan x$ の微分計算が複雑になる構造的理由

多くの学習者が疑問に感じるのが、「$\sin x$ や $\cos x$ は微分しても循環するだけなのに、なぜ $\tan x$ だけ微分計算が極端に面倒になるのか」という点です。その答えは、導関数が自分自身の2次式になるという特異な構造にあります。

$\tan x$ の導関数は一般に $\frac{1}{\cos^2 x}$ と表されますが、展開計算においては $1 + \tan^2 x$ という形をとります。これを階数を上げて微分していくと、次のように項数が雪だるま式に増加します。

1階微分で2項になり、2階微分では合成関数の微分によって $2\tan x (1+\tan^2 x) = 2\tan x + 2\tan^3 x$ へと次数が上がります。さらに3階、4階と進むにつれて、積の微分公式と合成関数の微分が幾重にも重なり、計算量が階乗レベルで膨れ上がっていくのです。

愚直に分数形のまま商の微分公式を適用しようものなら、分母の次数が跳ね上がり、試験時間内に計算を完結させることは極めて困難になります。この「次数の増殖ループ」こそが、$\tan x$ の計算を難解にしている元凶です。

計算ミスを撲滅する！マクローリン展開を導出する3つの実践アプローチ

試験会場で $\tan x$ のマクローリン展開を導出する際、知っておくべき代表的な手法は3つ存在します。問題の指定や階数に応じて最適な解法を選択することが合格への近道です。

アプローチ1：$y = \tan x$ と置く「多項式微分法」

愚直な微分を最もスマートに圧縮する方法が、微分方程式的なアプローチです。$y = \tan x$ と置くと、$y' = 1 + y^2$ というシンプルな関係式が得られます。$x=0$ のとき $y(0) = 0$ であることを利用し、逐次微分していきます。

• $y(0) = 0$
• $y' = 1 + y^2 \implies y'(0) = 1 + 0 = 1$
• $y'' = 2y y' \implies y''(0) = 2 \cdot 0 \cdot 1 = 0$
• $y''' = 2(y')^2 + 2y y'' \implies y'''(0) = 2(1)^2 + 0 = 2$
• $y^{(4)} = 6y' y'' + 2y y''' \implies y^{(4)}(0) = 0$
• $y^{(5)} = 6(y'')^2 + 8y' y''' + 2y y^{(4)} \implies y^{(5)}(0) = 0 + 8(1)(2) + 0 = 16$

マクローリン展開の定義式 $f(x) = \sum \frac{f^{(n)}(0)}{n!} x^n$ に代入すると、以下の通り瞬時に係数が求まります。

$$x \text{の係数：} \frac{1}{1!} = 1$$ $$x^3 \text{の係数：} \frac{2}{3!} = \frac{2}{6} = \frac{1}{3}$$ $$x^5 \text{の係数：} \frac{16}{5!} = \frac{16}{120} = \frac{2}{15}$$

アプローチ2：$\sin x$ と $\cos x$ の級数による「多項式の割り算（未定係数法）」

微分を一切行わずに展開式を得る裏ワザが、$\tan x = \frac{\sin x}{\cos x}$ を利用した割り算です。三角関数の既知の展開式を用います。

$$\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} - \dots$$

$$\cos x = 1 - \frac{x^2}{2} + \frac{x^4}{24} - \dots$$

$\tan x = a_1 x + a_3 x^3 + a_5 x^5 + \dots$ と置き、両辺に $\cos x$ を掛けた恒等式を作ります。

$$(a_1 x + a_3 x^3 + a_5 x^5 + \dots)\left(1 - \frac{x^2}{2} + \frac{x^4}{24} - \dots\right) = x - \frac{x^3}{6} + \frac{x^5}{120} - \dots$$

左辺を展開して各次数の係数を比較すると、連立方程式を解く感覚で $a_1 = 1$、$a_3 = \frac{1}{3}$、$a_5 = \frac{2}{15}$ が導き出せます。高階微分のミスを避けたい場面で非常に強力な武器になります。

アプローチ3：逆三角関数 $\arctan x$ の展開式を反転させる方法

$\arctan x$（アークタンジェント）のマクローリン展開は、等比級数の積分から簡単に導出できることで有名です。

$$\arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \frac{x^7}{7} + \dots$$

$\tan(\arctan x) = x$ であるため、$y = \tan x$ の逆関数関係を用いて展開の逆変換（級数の反転公式）を行うことでも $\tan x$ の係数を導出可能です。検算や理論的な確認に適したアプローチです。

一般項の正体「ベルヌーイ数」とは？オイラー数との決定的な違い

$\sin x$ や $\cos x$ と異なり、$\tan x$ の一般項には高校数学では登場しない特殊な数列 「ベルヌーイ数（Bernoulli number：$B_{2n}$）」 が組み込まれています。

ベルヌーイ数は、母関数 $\frac{t}{e^t - 1} = \sum_{n=0}^\infty B_n \frac{t^n}{n!}$ によって定義される有理数の列です。初相のいくつかを挙げると、$B_0 = 1, B_1 = -\frac{1}{2}, B_2 = \frac{1}{6}, B_4 = -\frac{1}{30}, B_6 = \frac{1}{42}$ となります。

これらを $\tan x$ の一般項公式に当てはめると、次のようになります。

• $n=1$（1次）： $\frac{2^2(2^2-1) |B_2|}{2!} = \frac{4 \cdot 3 \cdot \frac{1}{6}}{2} = 1$
• $n=2$（3次）： $\frac{2^4(2^4-1) |B_4|}{4!} = \frac{16 \cdot 15 \cdot \frac{1}{30}}{24} = \frac{8}{24} = \frac{1}{3}$
• $n=3$（5次）： $\frac{2^6(2^6-1) |B_6|}{6!} = \frac{64 \cdot 63 \cdot \frac{1}{42}}{720} = \frac{96}{720} = \frac{2}{15}$

このように、展開係数が単純な階乗の逆数にならない理由は、ベルヌーイ数という高度な数論的背景を持っているためです。

なお、混同されやすい概念として 「オイラー数（Euler number：$E_n$）」 があります。オイラー数は双曲線正割関数 $\mathrm{sech}\, x$ や $\sec x = \frac{1}{\cos x}$ の展開係数に現れる整数列であり、$\tan x$ に現れるベルヌーイ数（有理数）とは明確に区別されます。

収束半径はなぜ $\frac{\pi}{2}$ なのか？複素平面から見る微積分の本質

マクローリン展開を語る上で欠かせないのが 「収束半径（Radius of convergence）」 の問題です。$\tan x$ のマクローリン展開が有効な範囲は、次のように制限されます。

$$|x| < \frac{\pi}{2} \quad \left(\text{収束半径 } R = \frac{\pi}{2}\right)$$

実数の範囲だけで考えると、「$x = \pm \frac{\pi}{2}$ で分母の $\cos x$ が $0$ になり発散するから」と直感的に理解できます。しかし、数学的な本質は複素関数論の視点を持つことでより鮮明になります。

複素数平面上において、原点 $z=0$ を中心にテイラー展開した級数が収束する円の半径は、「原点から最も近い特異点（関数が定義できない点）までの距離」 に等しくなります。関数 $\tan z = \frac{\sin z}{\cos z}$ の特異点（極）は、$\cos z = 0$ となる $z = \pm \frac{\pi}{2}, \pm \frac{3\pi}{2}, \dots$ です。

原点から最短距離にある極は $z = \pm \frac{\pi}{2}$ であり、その距離はまさしく $\frac{\pi}{2}$ です。複素平面上に描かれた半径 $\frac{\pi}{2}$ の円の境界に特異点が衝突するため、これ以上展開範囲を広げることができません。この幾何学的な性質こそが、収束半径 $R = \frac{\pi}{2}$ の厳密な数学的根拠となっています。

【マクローリン 展開 tan】に関するよくある質問（FAQ）

Q1：テイラー展開とマクローリン展開の違いは何ですか？
A1：テイラー展開は任意の点 $x = a$ のまわりで関数を多項式近似する一般的な手法です。その中で、基準点を原点 $a = 0$ に固定した特別な場合を「マクローリン展開」と呼びます。

Q2：試験でベルヌーイ数の公式を丸暗記しておく必要はありますか？
A2：一般的な理工系の学部定期試験や院試において、一般項の公式暗記が必須となるケースは稀です。大半の問題は「5次または7次までの展開を求めよ」という形式であるため、本稿で紹介した $y = \tan x$ の置換微分法や、$\sin x / \cos x$ の多項式除算を使いこなせるようにしておく方が圧倒的に実用的です。

Q3：なぜ $\tan x$ の展開式には偶数次の項が出てこないのですか？
A3：$\tan x$ が原点対称の「奇関数（$\tan(-x) = -\tan x$）」だからです。奇関数を原点まわりで級数展開すると、偶数次の項（$x^0, x^2, x^4 \dots$）の係数はすべてゼロになります。偶関数である $\cos x$ に奇数次の項が現れないのと同じ原理です。

まとめ：計算テクニックを身につけて大学数学を攻略しよう

$\tan x$ のマクローリン展開は、初見では複雑怪奇な微分計算に見えますが、背後にあるメカニズムを理解すれば恐れるに足りません。多項式微分法や未定係数法といった効率的な解法パターンを身につけることで、計算時間を大幅に短縮し、試験本番でのケアレスミスを防ぐことができます。

さらに、ベルヌーイ数との結びつきや複素平面における特異点と収束半径の関係を知ることは、単なる計算問題を超えて解析学の美しい構造に触れる絶好の機会でもあります。今回紹介した解法テクニックと理論的背景を活用し、大学数学の微積分を着実に攻略していきましょう。 （出典: マクローリン 展開 tan（Yahoo!ニュース））