複素数平面は、三角関数・数列・2次曲線など他分野と深くつながっています。入試ではこれらの分野を横断する融合問題が出題され、複素数の知識だけでは解けない ── 複数分野の道具を組み合わせる力が問われます。この記事では代表的な融合パターンを学び、分野間の橋渡しとなる考え方を身に付けましょう。
ド・モアブルの定理 $(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta$ は、複素数と三角関数を結ぶ最も強力な公式です。この公式を使うと、三角関数の $n$ 倍角の公式が機械的に導けます。
$(\cos\theta + i\sin\theta)^n$ を二項定理で展開し、実部と虚部を比較すると $\cos n\theta$ と $\sin n\theta$ がそれぞれ $\cos\theta, \sin\theta$ の多項式として得られます。
$(\cos\theta + i\sin\theta)^3 = \cos^3\theta + 3i\cos^2\theta\sin\theta - 3\cos\theta\sin^2\theta - i\sin^3\theta$
実部：$\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\theta = 4\cos^3\theta - 3\cos\theta$
虚部：$\sin 3\theta = 3\cos^2\theta\sin\theta - \sin^3\theta = 3\sin\theta - 4\sin^3\theta$
$e^{in\theta} = (e^{i\theta})^n$ は「$n$ 倍角 = $1$ 倍角の $n$ 乗」を意味します。左辺を $\cos n\theta + i\sin n\theta$ と書き、右辺を二項定理で展開して実部・虚部を比較するだけで、任意の $n$ 倍角の公式が導出できます。
これが「複素数を使うと三角関数の計算が楽になる」最大の理由です。
$\displaystyle\sum_{k=0}^{n-1} \cos k\theta$ や $\displaystyle\sum_{k=0}^{n-1} \sin k\theta$ を求める際、$\displaystyle\sum_{k=0}^{n-1} e^{ik\theta}$ の等比級数を計算して実部・虚部を取ると効率的です。
$$\sum_{k=0}^{n-1} e^{ik\theta} = \frac{1 - e^{in\theta}}{1 - e^{i\theta}} \quad (e^{i\theta} \neq 1)$$
✗ 誤：$\sum e^{ik\theta} = \dfrac{1-e^{in\theta}}{1-e^{i\theta}}$ を $\theta = 0$ でも使う
○ 正：$\theta = 0$ のとき $e^{i\theta} = 1$ で分母が $0$ になる。このときは $\sum_{k=0}^{n-1} 1 = n$
✗ 誤：$i^2 = 1$ と計算してしまう
○ 正：$i^2 = -1$, $i^3 = -i$, $i^4 = 1$。$i$ のべきは周期4で循環
特に $n$ が大きいときの二項展開では $i$ のべきの符号ミスが致命的です。
$e^{i\theta} = \cos\theta + i\sin\theta$（オイラーの公式）を基盤として、大学数学では任意の周期関数を三角関数の無限和で表す「フーリエ級数」を学びます。音声処理や画像圧縮など、現代技術の根幹を支える理論です。
$1$ の $n$ 乗根 $\omega_k = e^{2\pi ik/n}$（$k = 0, 1, \ldots, n-1$）は、数列と複素数が出会う重要な接点です。
和：$\displaystyle\sum_{k=0}^{n-1} \omega^k = 0$（$\omega = e^{2\pi i/n}$, $n \ge 2$）
積：$\displaystyle\prod_{k=0}^{n-1} \omega^k = (-1)^{n+1}$ （$\omega^{0+1+\cdots+(n-1)} = \omega^{n(n-1)/2}$）
べき乗の和：$\displaystyle\sum_{k=0}^{n-1} \omega^{mk} = \begin{cases} n & (m \equiv 0 \pmod{n}) \\ 0 & (m \not\equiv 0 \pmod{n}) \end{cases}$
※ 「$n$ 乗根の和 $= 0$」は、正 $n$ 角形の重心が原点であることの表現です。
$1$ の $n$ 乗根は原点を中心とする正 $n$ 角形の頂点に位置します。正 $n$ 角形は原点に関して対称なので、頂点（ベクトル）の和は $0$ ベクトル ── すなわち $\sum \omega^k = 0$ です。
代数的には $z^n - 1 = (z-1)(z^{n-1} + z^{n-2} + \cdots + 1)$ において $z = \omega$ を代入すると $\omega^{n-1} + \cdots + 1 = 0$（$\omega \neq 1$）から導けます。
$\displaystyle\sum_{k=1}^{n-1}\cos\frac{2k\pi}{n}$ や $\displaystyle\prod_{k=1}^{n-1}\sin\frac{k\pi}{n}$ といった三角関数の数列の和・積は、$1$ の $n$ 乗根の性質を用いると鮮やかに求まります。
前者は $\sum_{k=0}^{n-1}\omega^k = 0$ の実部を取って $\sum_{k=0}^{n-1}\cos\dfrac{2k\pi}{n} = 0$ から $k=0$ の項（$= 1$）を除くだけです：
$$\sum_{k=1}^{n-1}\cos\frac{2k\pi}{n} = -1$$
✗ 誤：$\sum_{k=0}^{n}\omega^k = 0$ として $k=n$ の項も含めてしまう
○ 正：$1$ の $n$ 乗根は $k=0, 1, \ldots, n-1$ の $n$ 個。$k=n$ を含めると $\omega^n = 1$ で $k=0$ と重複する
$z^n - 1 = 0$ の根を「円分（えんぶん）」と呼び、この方程式を因数分解して得られる「円分多項式 $\Phi_n(z)$」は、代数的整数論やガロア理論の入口となる重要な概念です。ガウスが正17角形を作図可能であることを証明したのも、円分多項式の性質を利用したものでした。
$z + \dfrac{1}{z}$ や $z - \dfrac{1}{z}$ の形の式は、$z$ が単位円上を動くとき楕円や双曲線（の一部）を描くことを前回の応用問題で見ました。ここでは2次曲線との融合をさらに掘り下げます。
楕円 $\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ のパラメータ表示 $x = a\cos\theta, y = b\sin\theta$ は、複素数で次のように書けます：
$$w = a\cos\theta + ib\sin\theta = \frac{a+b}{2}e^{i\theta} + \frac{a-b}{2}e^{-i\theta}$$
$z = e^{i\theta}$ とおくと $w = \dfrac{a+b}{2}z + \dfrac{a-b}{2}\dfrac{1}{z}$、すなわち $w = pz + q\dfrac{1}{z}$（$p = \dfrac{a+b}{2}, q = \dfrac{a-b}{2}$）の形です。
$z = e^{i\theta}$ が単位円上を動くとき、$w = pz + \dfrac{q}{z}$（$p, q$ は正の実数）の軌跡は長半径 $p+q$、短半径 $|p-q|$ の楕円です。
$p = q$ のとき短半径が $0$ になり、楕円が線分に退化します。$z = re^{i\theta}$（$r \neq 1$）のときは一般に異なる楕円が得られます。
$z = e^t$（$t$ は実数パラメータ）が正の実軸上を動くとき、$w = z + \dfrac{1}{z}$ は $w = e^t + e^{-t} = 2\cosh t$ で実軸上の $[2, \infty)$ を動きます。
一方、$z = e^{t + i\theta_0}$（固定角 $\theta_0$）のとき、$w$ は双曲線的な軌跡を描きます。このように $z$ の動き方によって楕円にも双曲線にもなりうるのが $w = z + \dfrac{1}{z}$ の面白さです。
✗ 誤：$z$ が「円上を動く」と書いてあったら常に $|z| = 1$ だと思い込む
○ 正：$|z| = r$ なら $z = re^{i\theta}$ で、$w = rz' + \dfrac{1}{r}z'^{-1}$（$z' = e^{i\theta}$）。楕円の長・短半径が $r + \dfrac{1}{r}$ と $|r - \dfrac{1}{r}|$ に変わる
$w = z + \dfrac{1}{z}$ はジューコフスキー変換と呼ばれ、流体力学で翼型（飛行機の翼の断面形状）の設計に使われます。円を翼の形に変換するこの写像は、航空工学の基礎を築いた歴史的に重要な変換です。
融合問題では「どの分野の知識を使うか」を見極めることが最初のハードルです。以下にパターン別の攻略法を整理します。
| 融合パターン | 見分けるキーワード | 核心の道具 |
|---|---|---|
| 複素数×三角関数 | $\cos n\theta$, $\sin n\theta$, 倍角 | ド・モアブルの定理、二項定理 |
| 複素数×数列の和 | $\sum \cos$, $\sum \sin$, $\omega$ | 等比級数、$1$の$n$乗根の性質 |
| 複素数×2次曲線 | $z + 1/z$, 楕円, パラメータ | $z = re^{i\theta}$ の代入、実部虚部分離 |
| 複素数×整数 | ガウス整数, $|z|^2 \in \mathbb{Z}$ | ノルムの乗法性 $|z_1 z_2| = |z_1||z_2|$ |
三角関数の問題なら $e^{i\theta}$ に、2次曲線の問題なら $z = re^{i\theta}$ に、数列の問題なら $\omega = e^{2\pi i/n}$ に翻訳してから計算します。
逆方向 ── 複素数の問題を三角関数や座標に翻訳するのが有効な場合もあります。問題に応じて「どちらの言葉で考えると楽か」を判断する柔軟性が大切です。
融合問題では、最初に「この問題は結局何を聞いているのか」を実数の言葉で言い換えてみることが有効です。例えば「$|z - 1|^2 + |z + 1|^2 = 6$ を満たす $z$ の軌跡」は、$z = x + yi$ を代入すれば $(x-1)^2 + y^2 + (x+1)^2 + y^2 = 6$、すなわち $x^2 + y^2 = 2$ という円です。
このように、複素数の問題であっても「$z = x + yi$ と置いて実部・虚部に分ける」という基本手法が最も確実なことも多いのです。
✗ 誤：複素数平面の問題だからすべて複素数のまま計算しようとして行き詰まる
○ 正：$z = x + yi$ を代入して実数の計算に帰着させる方が簡単な場合も多い。柔軟に使い分ける
特に「2つの距離の和・差」に関する条件は、座標計算が有利なことが多いです。
複素数と他分野の融合問題を実戦形式で演習します。どの分野の道具を使うかの判断力を養いましょう。
ド・モアブルの定理を用いて $\cos 4\theta$ を $\cos\theta$ のみの式で表せ。
$(\cos\theta + i\sin\theta)^4 = \cos 4\theta + i\sin 4\theta$ の実部を求める。
二項定理で展開：
$\cos^4\theta + 4i\cos^3\theta\sin\theta - 6\cos^2\theta\sin^2\theta - 4i\cos\theta\sin^3\theta + \sin^4\theta$
実部 $= \cos^4\theta - 6\cos^2\theta\sin^2\theta + \sin^4\theta$
$= \cos^4\theta - 6\cos^2\theta(1-\cos^2\theta) + (1-\cos^2\theta)^2$
$= \cos^4\theta - 6\cos^2\theta + 6\cos^4\theta + 1 - 2\cos^2\theta + \cos^4\theta$
$= 8\cos^4\theta - 8\cos^2\theta + 1$
$\omega = e^{2\pi i/7}$ とする。$\displaystyle\sum_{k=0}^{6}\cos\frac{2k\pi}{7}$ と $\displaystyle\sum_{k=1}^{6}\cos^2\frac{k\pi}{7}$ の値をそれぞれ求めよ。
前半：$\sum_{k=0}^{6}\omega^k = 0$（$1$ の $7$ 乗根の和）の実部を取ると
$$\sum_{k=0}^{6}\cos\frac{2k\pi}{7} = 0$$
後半：$\cos^2\dfrac{k\pi}{7} = \dfrac{1 + \cos\frac{2k\pi}{7}}{2}$ より
$$\sum_{k=1}^{6}\cos^2\frac{k\pi}{7} = \sum_{k=1}^{6}\frac{1 + \cos\frac{2k\pi}{7}}{2} = \frac{1}{2}\left(6 + \sum_{k=1}^{6}\cos\frac{2k\pi}{7}\right)$$
前半の結果から $\sum_{k=1}^{6}\cos\dfrac{2k\pi}{7} = 0 - \cos 0 = -1$
$$\sum_{k=1}^{6}\cos^2\frac{k\pi}{7} = \frac{1}{2}(6 + (-1)) = \frac{5}{2}$$
$z$ が $|z| = 3$ を満たしながら動くとき、$w = z + \dfrac{4}{z}$ の軌跡を求め、それが楕円であることを示せ。
$z = 3e^{i\theta}$ とおくと $\dfrac{4}{z} = \dfrac{4}{3}e^{-i\theta}$
$$w = 3(\cos\theta + i\sin\theta) + \frac{4}{3}(\cos\theta - i\sin\theta)$$
$$= \left(3 + \frac{4}{3}\right)\cos\theta + i\left(3 - \frac{4}{3}\right)\sin\theta = \frac{13}{3}\cos\theta + i\frac{5}{3}\sin\theta$$
$u = \dfrac{13}{3}\cos\theta$, $v = \dfrac{5}{3}\sin\theta$ とおくと
$$\frac{u^2}{(13/3)^2} + \frac{v^2}{(5/3)^2} = \cos^2\theta + \sin^2\theta = 1$$
よって $w$ の軌跡は長半径 $\dfrac{13}{3}$、短半径 $\dfrac{5}{3}$ の楕円。
$\displaystyle\prod_{k=1}^{n-1}\sin\frac{k\pi}{n} = \frac{n}{2^{n-1}}$ を示せ。
$z^n - 1 = (z - 1)(z - \omega)(z - \omega^2)\cdots(z - \omega^{n-1})$（$\omega = e^{2\pi i/n}$）
両辺を $z - 1$ で割ると $z^{n-1} + z^{n-2} + \cdots + 1 = \prod_{k=1}^{n-1}(z - \omega^k)$
$z = 1$ を代入すると $n = \prod_{k=1}^{n-1}(1 - \omega^k)$
$|1 - \omega^k| = |1 - e^{2\pi ik/n}| = 2\left|\sin\dfrac{k\pi}{n}\right|$（$1 \le k \le n-1$ で $\sin\dfrac{k\pi}{n} > 0$）
よって $|n| = \prod_{k=1}^{n-1} 2\sin\dfrac{k\pi}{n} = 2^{n-1}\prod_{k=1}^{n-1}\sin\dfrac{k\pi}{n}$
$$\therefore \quad \prod_{k=1}^{n-1}\sin\frac{k\pi}{n} = \frac{n}{2^{n-1}}$$
$z^n - 1$ の因数分解という代数的事実を、$z = 1$ に代入して絶対値を取るという単純な操作で、三角関数の積の公式に変換しています。「代数 → 解析」の橋渡しとして非常に美しい証明です。$|1 - e^{i\phi}| = 2|\sin(\phi/2)|$ という恒等式がカギとなります。
Q1. ド・モアブルの定理から $\cos 2\theta$ を $\cos\theta$ で表すと？
Q2. $1$ の $5$ 乗根の和 $\sum_{k=0}^{4}\omega^k$ は？
Q3. $|z| = 1$ のとき $w = 2z + 3/z$ の軌跡は？
Q4. $\sum_{k=0}^{n-1}e^{ik\theta}$ を閉じた式で表すと？（$e^{i\theta} \neq 1$）
Q5. $|1 - e^{i\phi}|$ を三角関数で表すと？