※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: →BOOK-0067(代数)は二次方程式・三次方程式を「実数の範囲で解ける限り解く」姿勢で扱い、解の公式の中に「負の数の平方根」が顔を出す場面には深入りしなかった。→BOOK-0068(解析幾何)は座標平面上で実数どうしの図形を扱う技術を極めたが、平面そのものを「一つの数」として扱う発想には触れていない。→BOOK-0063(微分積分)は実数の関数の微分・積分を扱ったが、複素数を変数とする関数の微分がどれほど特別な性質を持つかは扱っていない。本冊はこれら三冊がそれぞれ手前で足を止めた場所から先へ進み、「二乗して−1になる数」を正式に数の仲間として迎え入れ、その数がつくる平面の上で図形・回転・微分・積分がどう姿を変えるかを扱う、複素解析(ふくそかいせき)の入門第1巻である。
> 接続先: →BOOK-0067『代数』第1巻(三次方程式の解の公式の途中式に、本冊の主人公である「二乗して負になる数」が実際に登場する)、→BOOK-0068『解析幾何』第1巻(複素平面は、この冊で確立した座標平面の技術をそのまま土台として使う)、→BOOK-0063『微分積分』第1巻(正則関数の微分は、この冊で学ぶ実数関数の微分の定義を複素数へ拡張したものである)、→BOOK-0055『波形と信号』第1冊(交流回路やフーリエ変換の背後では、複素数が波を表す共通言語として働いている)。
> 水準: 五〜六(発展)。本冊は代数・解析幾何・微分積分の基礎を踏まえた読者を想定する。より進んだ位相幾何的な複素解析(留数定理・解析接続の深部・リーマン面の精密な構成など)は別巻で扱う。
---
# BOOK-0090 複素解析 — 「二乗して−1」が開いた、もう一枚の平面(数学派生 第1巻)
> 学問の宇宙・形式科学の恒星群 数学冠・派生第1巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)
> トーン規約: GAKUMON_UNIVERSE.md準拠。専門用語は初出で必ず説明する。
> 重複回避の方針: →BOOK-0067(代数)は二次方程式・三次方程式を「実数の範囲で解ける限り解く」姿勢で扱い、解の公式の中に「負の数の平方根」が顔を出す場面には深入りしなかった。→BOOK-0068(解析幾何)は座標平面上で実数どうしの図形を扱う技術を極めたが、平面そのものを「一つの数」として扱う発想には触れていない。→BOOK-0063(微分積分)は実数の関数の微分・積分を扱ったが、複素数を変数とする関数の微分がどれほど特別な性質を持つかは扱っていない。本冊はこれら三冊がそれぞれ手前で足を止めた場所から先へ進み、「二乗して−1になる数」を正式に数の仲間として迎え入れ、その数がつくる平面の上で図形・回転・微分・積分がどう姿を変えるかを扱う、複素解析(ふくそかいせき)の入門第1巻である。
> 接続先: →BOOK-0067『代数』第1巻(三次方程式の解の公式の途中式に、本冊の主人公である「二乗して負になる数」が実際に登場する)、→BOOK-0068『解析幾何』第1巻(複素平面は、この冊で確立した座標平面の技術をそのまま土台として使う)、→BOOK-0063『微分積分』第1巻(正則関数の微分は、この冊で学ぶ実数関数の微分の定義を複素数へ拡張したものである)、→BOOK-0055『波形と信号』第1冊(交流回路やフーリエ変換の背後では、複素数が波を表す共通言語として働いている)。
> 水準: 五〜六(発展)。本冊は代数・解析幾何・微分積分の基礎を踏まえた読者を想定する。より進んだ位相幾何的な複素解析(留数定理・解析接続の深部・リーマン面の精密な構成など)は別巻で扱う。
---
## 入口の物語 — 「解なし」と言われ続けた数
一枚の地図を思い浮かべてほしい。長いあいだ、その地図には一本の線しか描かれていなかった。左に行けばマイナスの数、右に行けばプラスの数。数直線と呼ばれる、この一本道こそが「数のすべて」だと、何世紀ものあいだ信じられていた。
ところが、この一本道の上で計算をしていると、ときどき奇妙な壁にぶつかる。たとえば「二乗して−1になる数は何か」という問いだ。数直線上のどの数を二乗しても、答えは0以上にしかならない。1を二乗しても1、−1を二乗しても1。マイナスの数を二乗しても、二回マイナスをかければプラスに戻ってしまう。だから「二乗して−1になる数」は、数直線の上には存在しない。長らく数学者たちは、この問いに出会うたびに「解なし」と書いて、そこで筆を置いていた。
ところが16世紀、ある種の三次方程式(→BOOK-0067『代数』第1巻で扱う、`x³ + px + q = 0` の形の式)を解の公式に当てはめて計算していた数学者たちは、奇妙な事態に直面する。最終的な答えは間違いなく実数——ふつうの、数直線の上にある数——になるはずなのに、解の公式の**途中の計算**に、どうしても「二乗して負になる数の平方根」が顔を出してしまうのだ。まるで、目的地までの道順を調べたら、途中に「存在しないはずの国」を通らなければならないと分かってしまったようなものである。この奇妙な迂回路に最初に本格的に足を踏み入れたのが、ジェロラモ・カルダノ(1545年ごろ、著書『アルス・マグナ(大いなる技法)』で三次方程式の解法を公表)であり、その迂回路を実際に「怖がらずに計算に使ってみせた」のがラファエル・ボンベリ(1572年ごろ、と伝わる。生没年や著作の詳細な年代には研究者間で異同があり、本冊では「1570年前後」という幅を持たせて記憶してほしい)だとされる。ボンベリは、負の数の平方根を含む式同士を、まるで普通の数のように足したり掛けたりする規則を試しに作ってみた。すると——不思議なことに——「存在しないはずの国」を経由した計算の最後に、その奇妙な数はきれいに消え去り、答えはちゃんと実数として出てきたのである。
この出来事が意味するのは、こういうことだ。「二乗して−1になる数」は、数直線の上には存在しない。しかし、それを**存在するものとして扱い、決まった規則で計算を進めてよいことにする**と、実世界の問題(実数の解を持つ三次方程式)が、以前よりずっと見通しよく解けるようになる。存在しないはずの踏み台を使うことで、確かに存在するゴールに、より速く、より確実にたどり着けるのだ。数学の歴史の中では、こうした「実在は疑わしいが、規則として認めると便利すぎる存在」が幾度となく数の仲間入りを果たしてきた。ゼロがそうだったし、負の数もそうだった。複素数(ふくそすう、水準一: 実数とiの組み合わせで表される数の総称)もまた、その系譜に連なる新入りだったのである。
本冊では、この「二乗して−1になる数」に `i`(虚数単位、水準一: 二乗すると−1になると定義された数、`i² = −1` を満たす)という名前を与えるところから出発し、その `i` が実数と手を組んで複素平面という新しい地図を作り上げていく過程をたどる。そして、この平面の上で定義された関数を微分するという行為が、実数の世界での微分とは比べ物にならないほど強い性質を持つことを見届け、最後にその強さが交流回路やフーリエ変換(→BOOK-0055『波形と信号』第1冊)といった実用の技術をどれほど支えているかを覗き見て、本冊を締めくくる。
```
数直線(一本道) : … -2 -1 0 1 2 … 「二乗して−1」の解なし
複素平面(本冊) : 実軸と虚軸の交わる一枚の平面 「二乗して−1」= i として存在
```
---
## 第一章: 虚数単位 i の誕生 — 「ないはずの数」に規則を与える(水準一)
### 二次方程式が突きつける壁
`x² = −1` という、ごく単純な式を考えてみよう。この式を満たす実数 `x` は存在しない。なぜなら、実数はどんな数であっても、二乗すれば0以上になるからだ。正の数を二乗すれば正、負の数を二乗しても(マイナス×マイナスはプラスなので)正、0を二乗すれば0。「二乗して負になる実数」は、数直線のどこを探しても見つからない。
しかし数学者たちは、ここで「この方程式には解がない」と宣言する代わりに、大胆な一手を打った。**「二乗して−1になる数が存在すると仮定し、それを `i` と呼ぶことにする」**という宣言である。つまり、
```
i² = −1 … と、定義してしまう
```
これは発見ではなく、決定である。実数の世界を探して見つけたのではなく、「この規則に従う新しい数を、新しく作る」という選択をしたのだ。将棋やチェスで新しい駒を追加するときのことを思い浮かべてほしい。その駒が「もともと盤上に存在していたか」は問題ではない。「どういう動きをする駒として定義するか」というルールさえ決めてしまえば、その駒はゲームの正式な一員として機能し始める。`i` もまったく同じで、「二乗すると−1になる」というただ一つのルールを与えられたことで、計算の世界に正式加入したのである。
### 虚数と複素数
`i` が使えるようになると、`2i` や `−3i` のように、実数と `i` を掛け合わせた数も自然に作れる。これらを虚数(きょすう、水準一: 実数とiの掛け算で表される、`i`を含む数)と呼ぶ。そしてさらに、実数と虚数を足し合わせた
```
z = a + bi (a, b は実数)
```
という形の数を、複素数(ふくそすう)と呼ぶ。ここで `a` を実部(じつぶ、水準一: 複素数 a+bi のうち実数の部分a)、`b` を虚部(きょぶ、水準一: 複素数 a+bi のうちiに掛かっている実数の部分b)と呼ぶ。実部・虚部という名前がついているが、「虚部を持つ数だから怪しい・架空の数」という意味ではない。あくまで「実数の仲間に、iという新しい方向の仲間を加えて、二つの実数の組として表した数」というだけのことである。この名前づけの経緯にも歴史の跡が残っていて、「虚数(imaginary number、想像上の数)」という呼び名を最初に定着させたのはルネ・デカルト(17世紀、皮肉と警戒を込めた呼び方だったと伝わる)だとされる。皮肉にも、この「想像上の」という形容詞が今日まで生き残り、実際には電気工学から量子力学まで支える実用の道具になった数に、いまだにこの名前が貼りついている。
### 検算例①: 複素数どうしの掛け算
複素数の計算規則を確かめる、もっともシンプルな検算をしておこう。`(1+i)` を二乗すると何になるか。
```
(1+i)² = (1+i)(1+i)
= 1×1 + 1×i + i×1 + i×i
= 1 + i + i + i²
= 1 + 2i + (−1) ← i² = −1 を代入
= 2i
```
計算の結果、`(1+i)² = 2i` となる。実部が消えて、純粋な虚数(実部が0の複素数)が残るという、複素数どうしの掛け算ならではの現象がここに現れている。この結果は本冊の第三章で改めて、もっと直感的な「回転」という視点から説明し直す。
### 検算例②: i の累乗が繰り返す周期
`i` を何度も掛け合わせていくと、何が起こるだろうか。
```
i¹ = i
i² = −1 (定義そのもの)
i³ = i² × i = −1 × i = −i
i⁴ = i² × i² = (−1) × (−1) = 1
```
`i⁴ = 1` という結果は、非常に重要な検算である。つまり `i` を4回掛けると、ぐるっと一周して元の1に戻ってくる。この「4つで一周する」という性質は、次章で複素平面を導入したときに、`i` を掛けるという操作が「90度の回転」に対応していることの、最初の手がかりになる。実際、`i¹, i², i³, i⁴` は `i, −1, −i, 1` という4つの値を順番に繰り返すだけであり、`i⁵ = i`、`i⁶ = −1` と、以後はこの4つの値がループする。
---
## 第二章: 複素平面 — 平面そのものを「一つの数」として見る(水準二)
### 数直線がもう一本の軸を得る
`i` という新しい数を手に入れたことで、数の世界の地図が描き直されることになった。実数だけの時代には、数はすべて一本の数直線の上に並んでいた。しかし複素数 `a + bi` は、実部 `a` と虚部 `b` という**二つの実数の組**でできている。二つの実数の組といえば、→BOOK-0068『解析幾何』第1巻ですでに扱った座標平面の `(x, y)` とまったく同じ形をしている。そこで数学者たちは、複素数 `a + bi` を、座標平面上の点 `(a, b)` として描いてしまうという発想に至った。この「複素数を描くための平面」を複素平面(ふくそへいめん、水準二: 横軸を実部、縦軸を虚部として複素数を点として表す平面)と呼ぶ。横軸を実軸(じつじく、水準二: 複素平面において実部の大きさを表す横軸)、縦軸を虚軸(きょじく、水準二: 複素平面において虚部の大きさを表す縦軸)と呼ぶ。
この着想がどこで生まれたかについては、複数の名前が伝えられている。デンマークの測量技師カスパー・ヴェッセル(1799年に論文を発表したとされるが、当時ほとんど注目されなかった)、フランスの数学愛好家ジャン=ロベール・アルガン(1806年ごろ、独自にこの図を発表したと伝わる。今日でも複素平面が「アルガン図」と呼ばれることがあるのはこのためである)、そしてドイツの数学者カール・フリードリヒ・ガウス(19世紀前半、複素平面の考え方を体系的に整理し、広く定着させた人物とされる)。実際に最初にこの発想に至った人物が誰かについては、歴史的に諸説あり、本冊では「ヴェッセル・アルガン・ガウスの三者がほぼ独立に、あるいは前後して同じ着想にたどり着いた」という立場を取る。ガウスの功績の大きさから、複素平面は「ガウス平面」とも呼ばれる。
### 絶対値 — 原点からの距離
複素数 `z = a + bi` を複素平面上の点として見ると、原点(0, 0)からその点までの距離を測ることができる。この距離を複素数の絶対値(ぜったいち、水準二: 複素平面上で原点から複素数までの距離。`|z|`と書く)と呼び、`|z|` と表記する。→BOOK-0068『解析幾何』第1巻で確立したピタゴラスの定理(直角三角形の斜辺の長さの二乗が、他の二辺の長さの二乗の和に等しいという定理)をそのまま流用すれば、
```
|a + bi| = √(a² + b²)
```
という公式が得られる。
### 検算例③: 絶対値の計算
`3 + 4i` の絶対値を計算してみよう。
```
|3 + 4i| = √(3² + 4²) = √(9 + 16) = √25 = 5
```
`3, 4, 5` という組み合わせは、→BOOK-0068『解析幾何』第1巻でも登場した、直角三角形の最も基本的な整数比(ピタゴラス数)である。複素平面上でも同じ図形の理屈がそのまま通用することが、この検算からも確認できる。
---
## 第三章: i を掛けるとは「90度回転」すること(水準三)
### なぜ i² = −1 が「回転」を意味するのか
複素平面という地図を手に入れたことで、`i` という数の正体が、単なる代数的な記号以上のものだったことが分かってくる。複素平面上で、ある複素数に `i` を掛けるという操作は、その点を原点を中心に反時計回りに90度回転させる操作に一致するのである。
これを確かめてみよう。実数 `1`(複素平面上では点 `(1, 0)`、つまり実軸上の点)に `i` を掛けると、
```
1 × i = i
```
となり、これは複素平面上の点 `(0, 1)`、つまり虚軸上の点である。実軸上の点 `(1, 0)` から虚軸上の点 `(0, 1)` へ移動するというのは、原点を中心にちょうど反時計回りに90度回転したことに他ならない。
さらにもう一度 `i` を掛けてみると、
```
i × i = i² = −1
```
これは点 `(−1, 0)`。最初の `(1, 0)` から数えて、90度の回転を二回、つまり180度回転した位置にきちんと来ている。三回目の掛け算では、
```
−1 × i = −i
```
これは点 `(0, −1)`。90度の回転を三回、270度回転した位置である。そして四回目、
```
−i × i = −i² = −(−1) = 1
```
で、ちょうど360度回転して元の `(1, 0)` に戻ってくる。これは前章で確認した `i⁴ = 1` という検算結果と、ぴったり符合している。「4回掛けると元に戻る」という代数的な事実と、「90度の回転を4回繰り返すと360度で一周する」という幾何学的な事実が、同じ現象の二つの顔だったのである。
この発見は、複素数という道具の本質をよく表している。`i` は単に「二乗して−1になる記号」ではなく、「平面上のものを90度だけ回転させる働きを持つ数」でもあった。代数の規則(`i² = −1`)と、幾何学の操作(90度回転)が、複素平面という一枚の舞台の上で、見事に手をつないだのである。
### 極形式 — 距離と角度で複素数を表す
複素数を `a + bi` という「実部と虚部」の組で表す代わりに、原点からの距離 `r`(=絶対値)と、実軸から測った角度 `θ`(シータ、水準三: 複素平面において実軸の正の方向から反時計回りに測った角度)の組で表すこともできる。この表し方を極形式(きょくけいしき、水準三: 複素数を絶対値rと偏角θを使って`r(cosθ + i sinθ)`と表す形式)と呼び、
```
z = r(cos θ + i sin θ)
```
と書く。この `θ` を偏角(へんかく、水準三: 複素平面において複素数が実軸となす角度)と呼ぶ。
### 検算例④: (1+i) を極形式で表す
`1 + i` を極形式にしてみよう。まず絶対値は、
```
|1 + i| = √(1² + 1²) = √2
```
次に角度を考える。実部と虚部がどちらも `1` で等しいということは、実軸と虚軸に対してちょうど中間の方向を向いているということであり、これは45度(ラジアンでは π/4)にあたる。したがって、
```
1 + i = √2 (cos45° + i sin45°) = √2 ∠45°
```
(`∠45°` は「絶対値√2、偏角45度」を簡略に表す書き方とする。)
ここで面白い符合を確認しておこう。第一章の検算例①で `(1+i)² = 2i` という結果を代数的に求めた。これを極形式の視点から見直すとどうなるか。極形式どうしの掛け算では、絶対値どうしを掛け算し、角度どうしを足し算するという規則が成り立つ(この規則の背景には三角関数の加法定理があるが、証明は本冊の範囲を超えるため、水準七以降の巻に委ねる)。`(1+i)` は絶対値 `√2`・角度45度だから、それを二乗すると、
```
絶対値: √2 × √2 = 2
角度 : 45° + 45° = 90°
```
つまり `(1+i)² ` は「絶対値2・角度90度」の複素数のはずである。角度90度で絶対値2の点とは、虚軸上で原点から距離2の点、すなわち `2i` そのものだ。代数的な計算(検算例①)と、極形式・回転による計算が、きちんと同じ答え `2i` に一致した。これは検算がクロスチェックされた、という意味でも重要な確認である。
### ド・モアブルの定理
この「角度は足し算・絶対値は掛け算」という規則を、同じ複素数を何度も掛け合わせる場合(=累乗)に特殊化すると、次の関係が得られる。
```
[r(cos θ + i sin θ)]ⁿ = rⁿ(cos nθ + i sin nθ)
```
これをド・モアブルの定理(水準三: 極形式で表した複素数のn乗は、絶対値をn乗し偏角をn倍したものに等しいという定理。18世紀の数学者アブラーム・ド・モアブルにちなむ)と呼ぶ。この定理のおかげで、複素数を何度も掛け合わせるという面倒な代数計算が、「角度をn倍するだけ」という単純な幾何学の操作に化ける。
---
## 第四章: オイラーの公式 — 「もっとも美しい数式」(水準四)
### e、i、π、1、0 が一堂に会する
複素解析の歴史の中でも、ひときわ有名な一つの等式がある。数学者レオンハルト・オイラー(18世紀、著書『無限解析入門』(1748年)の中でこの関係を体系的に示したとされる)にちなんで、オイラーの公式(水準四: 指数関数と三角関数を複素数の世界で結びつける公式、`e^(iθ) = cosθ + i sinθ`)と呼ばれる。
```
e^(iθ) = cos θ + i sin θ
```
ここで `e`(ネイピア数、水準三: 約2.71828…と続く無理数で、自然対数の底となる定数)は→BOOK-0063『微分積分』第1巻ですでに登場した定数である。この式が主張しているのは、「実数の世界では無関係に見えた指数関数(`e` の何乗、という増え方)と、三角関数(`cos`・`sin`、円運動や波を表す関数)が、複素数の世界では実は同じもの一つの顔だった」という驚くべき事実である。
とりわけ `θ = π`(円周率、半周分の角度)を代入すると、
```
e^(iπ) = cos π + i sin π = −1 + i × 0 = −1
```
つまり、
```
e^(iπ) + 1 = 0
```
という等式が導かれる。この式には、数学において特に重要とされる5つの定数——加法の基本である `0`、乗法の基本である `1`、円周率 `π`、自然対数の底 `e`、そして本冊の主人公である虚数単位 `i`——が、たった一つの等式の中にすべて登場する。まったく異なる文脈(数える・測る・回る・増える・存在しない数)から生まれてきた定数たちが、この一本の式の中で手をつないでいる様子は、しばしば「もっとも美しい数式」と評される。
### なぜこの公式が重要なのか
美しさだけの話ではない。オイラーの公式は、複素解析全体の骨格を支える実用の橋でもある。「回転」や「波」を扱いたいとき、`cos` や `sin` を使った三角関数の計算は、足し算・引き算の規則が煩雑になりがちである(たとえば加法定理の証明は簡単ではない)。ところがオイラーの公式によって、回転や波を指数関数 `e^(iθ)` の形に翻訳してしまうと、指数の計算規則(`eᵃ × eᵇ = eᵃ⁺ᵇ` のように、指数どうしを単純に足し算するだけでよい)がそのまま使えるようになる。前章のド・モアブルの定理も、この視点から見れば「`(e^(iθ))ⁿ = e^(inθ)` という、ただの指数法則」として、あっけないほど簡単に説明できてしまう。複素解析が交流回路や波の理論(→BOOK-0055『波形と信号』第1冊)でこれほど重宝される理由の多くは、この「回転や波を、指数計算という扱いやすい形に着替えさせる」オイラーの公式の力に由来している。
---
## 第五章: 正則関数 — 複素数の世界での「微分可能」は桁違いに強い(水準五)
### 実数の微分をおさらいする
→BOOK-0063『微分積分』第1巻で学んだように、実数の関数 `f(x)` が点 `x` で微分可能であるとは、`x` をほんの少しだけ動かしたときの `f` の変化の割合が、動かし方によらず一定の値に近づくことを意味していた。実数の世界では、`x` を動かす方向は「数直線の上を右に動かす」か「左に動かす」かの、実質的に一種類(向きが逆なだけ)しかない。
### 複素数の微分は「あらゆる方向」から近づく
ところが複素数の世界では事情が一変する。複素平面上の点 `z` に近づく方法は、右から、左から、上から、下から、斜めから……と、平面上のあらゆる方向が考えられる。複素関数 `f(z)` がある点 `z` で微分可能であるというためには、**どの方向から近づいても、変化の割合(微分係数)が同じ一つの値に収束しなければならない**。これは実数の微分よりもはるかに強い条件である。実数の微分が「東西の2方向で一致すればよい」テストだとすれば、複素数の微分は「360度あらゆる方向で一致しなければならない」テストに相当する。
この非常に強い条件を満たす複素関数を、正則関数(せいそくかんすう、水準五: 複素平面上のある領域で、あらゆる方向からの微分係数が一致し微分可能である複素関数)と呼ぶ。「あらゆる方向で微分可能である」という条件がどれほど強いかというと、実は次のような驚くべき結果が導かれる。**正則関数は、一度微分可能であるとわかった時点で、無限回微分可能であることまで自動的に保証されてしまう。** 実数の世界では、一回微分できても二回目は微分できない関数がいくらでも存在する(たとえば絶対値を含む関数の一部)。しかし複素数の世界では、「一回微分できる」という条件だけで、それより先のすべての微分が無条件についてくる。この「一回で無限回」という桁違いの強さこそが、複素解析という分野を、実数の解析学とはまったく別次元の道具にしている理由である。
### コーシー・リーマンの関係式(直感のみ)
複素関数 `f(z) = u(x, y) + iv(x, y)`(`z = x + iy`、`u` と `v` は実数を返す二変数関数)が正則関数であるための条件は、実部 `u` と虚部 `v` がある特別な連立の関係を満たすことと同値であることが知られている。この関係式はコーシー・リーマンの関係式と呼ばれる。厳密な導出と証明には偏微分(→BOOK-0063『微分積分』第1巻で扱う一変数の微分を、複数の変数のそれぞれについて行う技法)の知識が必要となるため、本冊では立ち入らない。ここで押さえておきたいのは、「実部と虚部が互いに独立勝手には動けず、片方が決まればもう片方の変化の仕方にも強い制約がかかる」という直感だけで十分である。正則関数の実部・虚部が、互いを縛り合う「双子」のような関係にある、とイメージしてほしい。
---
## 第六章: コーシーの積分定理 — 一周まわって戻ってくれば、変化はゼロ(水準五)
### 直観: 閉じたループを一周する積分
オーギュスタン=ルイ・コーシー(1789年–1857年、複素解析の基礎を築いた数学者の一人)は、正則関数の持つ「あらゆる方向で微分可能」という強い性質から、さらに驚くべき事実を導いた。それが、コーシーの積分定理(水準五: ある領域全体で正則な関数を、その領域内の閉じた経路に沿って一周分積分すると、結果は必ずゼロになるという定理)である。
```
ある領域全体で正則な関数 f(z) を、
その領域内にある閉じたループ(輪っか状の経路)に沿って
ぐるっと一周分積分すると、答えは必ず 0 になる。
```
これは直観的には、次のようなイメージで捉えることができる。滑らかで穴のない一枚の布(=正則関数が定義されている領域)の上に輪ゴムを置き、その輪ゴムに沿って「高さの変化の総和」を測るとしよう。布のどこにも継ぎ目や穴がなく、輪ゴムが出発点にきちんと戻ってくるならば、行きに登った分と下った分がすべて打ち消し合い、合計はゼロになる——正則関数の積分定理は、これによく似た「行って帰れば差し引きゼロ」という発想の、複素数版の精密な定式化である。
ただし、この定理には重要な条件がある。「その領域**全体で**正則である」という条件だ。もし輪ゴムで囲んだ範囲の中に、関数が正則でない場所(穴や継ぎ目、専門的には特異点と呼ばれる箇所)が含まれていると、積分の結果はゼロにならず、その特異点の性質を反映した値になる。この「穴があると積分がゼロにならず、逆にその穴の情報を教えてくれる」という考え方は、留数定理と呼ばれるさらに進んだ道具へつながっていくが、その精密な扱いは本冊の範囲を超えるため、より進んだ巻に委ねる。
コーシーの積分定理は、複素解析を単なる「奇妙な数の遊び」から「実用に耐える計算技術」へと押し上げた、決定的な一歩だった。実数の世界では手に負えなかった多くの積分計算が、複素平面に持ち込んで一周分の積分に置き換えることで、驚くほど簡単に解けてしまう場合があるのである。
---
## 第七章: 複素数はどこで働いているか(水準四〜五)
### 交流回路 — 位相のずれを一つの数で表す
家庭に届く電気の多くは交流(こうりゅう、水準三: 電流の向きと大きさが周期的に変化する電気の流れ)である。交流回路では、電圧や電流が波として振動しており、素子(コイルやコンデンサ)によっては電圧と電流の「山」がぴったり同時に来ず、少しタイミングがずれる(位相のずれ)。このタイミングのずれと大きさの両方を、実数を二つ並べて記録する代わりに、複素数一つ(絶対値が大きさ、偏角が位相のずれ)で表してしまうと、回路の計算(足し算・掛け算)が驚くほど簡単になる。これは第四章で見たオイラーの公式が「回転(位相のずれ)を指数計算に着替えさせる」力を持っていたことの、直接の応用例である。
### フーリエ変換との接続
→BOOK-0055『波形と信号』第1冊で扱われたフーリエの発想(複雑な波を、単純な正弦波の足し合わせに分解する技術)も、複素数の言葉で書き直すと、指数関数 `e^(iθ)` の足し合わせとして統一的に扱えるようになる。複雑な波形を分解する計算が、複素数を使うことで代数的にすっきりと整理されるのは、ここでもオイラーの公式が縁の下の力持ちとして働いているからである。
### 流体のポテンシャル流(概略のみ)
工学の一分野では、水や空気のような流体が滑らかに(渦を巻かずに)流れる様子を、複素関数を使って表現する手法が使われることがある。これはポテンシャル流と呼ばれる考え方で、正則関数の実部が流れの速度を、虚部が流れの筋道(流線)を表す、という対応関係が使われる。なぜ正則関数がこの用途に向いているかというと、第五章で触れたコーシー・リーマンの関係式が、渦のない滑らかな流れが満たすべき物理法則(専門的にはラプラス方程式と呼ばれる)と、数学的にぴったり対応するからである。この分野の精密な計算方法は本冊の範囲を大きく超えるため、「複素解析が流体力学の一部でも顔を出す」という事実の紹介にとどめる。
---
## 終章: 複素解析はどこまで解明されているか、そしていないか
本冊で見てきたように、複素数は「二乗して−1になる、ないはずの数」から出発し、複素平面という舞台を得て、回転・極形式・オイラーの公式・正則関数・コーシーの積分定理へと発展を遂げ、電気工学から波の理論、流体力学の一部にまで応用の裾野を広げてきた。これは、数学の歴史の中でも屈指の「役に立ちすぎた空想」の物語だと言える。
しかし、複素解析にまつわるすべてが解明されているわけではない。中でも特に有名な未解決の謎が、リーマン予想(水準七、本冊では詳細に立ち入らない)と呼ばれるものである。これは、素数(→BOOK-0002『算術』第1冊で扱う、1とその数自身でしか割り切れない整数)がどのように分布しているかという謎を、複素数を変数とする特別な関数(リーマンのゼータ関数)の性質と結びつけて言い換えた予想であり、19世紀後半に提示されて以来、150年近く未解決のままである。世界中の数学者がこの予想に挑み続けているが、本冊の執筆時点で証明も反証もされていない。これは正直に「まだ誰も解けていない」と明記しておくべき事実であり、複素解析という分野が、すでに完成した過去の学問ではなく、今なお最前線で研究が続く現在進行形の学問であることを物語っている。
「二乗して−1になる、存在しないはずの数」に名前を与えたところから始まった旅は、電気を灯し、音を分解し、流れを描き、そして今なお、素数という最も基本的な整数の謎の核心に触れ続けている。存在を疑われた数が、これほど遠くまで人類を連れてきたことを、本冊の締めくくりとして心に留めておきたい。
# BOOK-0090 複素解析 — 「二乗して−1」が開いた、もう一枚の平面(数学派生 第1巻)