# コーシーの積分定理と積分公式：正則関数の値は周囲の積分だけで決まる

> 複素線積分を定義から積み上げ、グリーンの定理とコーシー・リーマンの関係式からコーシーの積分定理を証明する。グルサの定理で導関数の連続性の仮定を外し、積分路の変形を経てコーシーの積分公式を導き、正則関数が境界の値だけで決まることを示す。
> https://rikai.mugen-giken.com/mathematics/complex-analysis/cauchy-integral-theorem

## 0. この記事の要点

- 複素線積分 $\int_\gamma f(z)\,dz$ は、曲線のパラメータ表示を使って実 1 変数の積分に翻訳することで定義します。値はパラメータの取り替えでは変わらず、曲線の向きを逆にすると符号だけが変わります。
- 原始関数 $F$（$F' = f$）をもつ関数の積分は端点の値の差 $F(\text{終点}) - F(\text{始点})$ だけで決まり、閉じた道の上では $0$ になります。逆に $\oint_{|z|=1}\frac{dz}{z} = 2\pi i \ne 0$ という計算は、$1/z$ が原点を除いた平面全体では原始関数をもたないことの証明になります。
- コーシーの積分定理：穴のない領域で正則な関数は、その中の任意の閉じた道の上で積分すると $0$ になります。導関数 $f'$ が連続だという余分な仮定を置けば、グリーンの定理とコーシー・リーマンの関係式から数行で従います。
- グルサの定理により、この「$f'$ が連続」という仮定は不要です。「各点で 1 回複素微分できる」という最小限の仮定だけから定理が出るという事実が、複素関数論の骨格を決めています。
- コーシーの積分公式 $f(a) = \dfrac{1}{2\pi i}\oint_C \dfrac{f(z)}{z-a}\,dz$：円周上の値だけで内部の値がすべて決まります。実関数ではありえない剛性で、これ以降の理論（無限回微分可能性、一致の定理、留数定理）はすべてこの一つの式から流れ出します。

## 1. 動機：積分は道に依存するか

実 1 変数の積分 $\int_a^b f(x)\,dx$ には「道」という概念がありません。$a$ から $b$ へ行く道は実軸上に一本しかないからです。ところが複素平面では、$a$ から $b$ へ行く道は無数にあります。円弧を通っても、折れ線を通っても、大きく回り道をしてもよい。そこで、複素平面上の曲線 $\gamma$ に沿った積分 $\int_\gamma f(z)\,dz$ を定義したとたん、次の素朴な疑問が生じます。

> 始点と終点を固定したとき、積分の値は途中の道の取り方に依存するのか。

答えは「関数による」です。$f(z) = \bar{z}$ のように正則でない関数では、道を変えると値が変わります（<Ref to="ex-path-dependence" /> で実際に計算します）。しかし $f$ が正則ならば、しかも領域に「穴」がなければ、値は道によらない。これがコーシーの積分定理です。同じことを閉じた道の言葉で言い換えると「正則関数を閉曲線に沿って一周積分すると $0$」となります。

この事実は 19 世紀前半に発見されました。ガウスは 1811 年のベッセル宛の手紙で、複素積分が道によらないことをすでに述べています。オーギュスタン・コーシーは 1825 年の論文「虚の限界の間でとった定積分について」で、この定理を長方形の周に沿った積分として定式化しました。当時の証明は現代の目で見ると導関数の連続性を暗黙に使っており、この仮定が本当に不要であることをエドゥアール・グルサが示すのは 1900 年前後のことです。

コーシーの積分定理そのものは「$0$ になる」という消極的な主張に見えます。しかし、そこから一歩進めて被積分関数を $\frac{f(z)}{z-a}$ に取り替えると、劇的な帰結が現れます。閉曲線 $C$ の内部の一点 $a$ における値 $f(a)$ が、$C$ 上の値だけを使った積分で書けてしまうのです。実関数では考えられないことです。実際、区間 $[0,1]$ 上の $C^\infty$ 級関数は、両端 $f(0), f(1)$ の値を固定しても中身をいくらでも自由に動かせます。正則関数はそれができない。この「硬さ」こそが複素関数論の主役で、本章はその源泉を作る章です。

<Figure caption="本章で組み上げる論理の流れ">
<Mermaid code={`flowchart TD
  A["f が D 上で正則"] --> B["グルサの定理: 三角形の周上で積分が 0"]
  A --> C["グリーンの定理 + コーシー・リーマンの関係式"]
  B --> D["凸領域で原始関数が存在"]
  C --> E["コーシーの積分定理"]
  D --> E
  E --> F["積分路の変形定理"]
  F --> G["コーシーの積分公式"]
  G --> H["平均値の性質"]
  G --> I["高階導関数の公式・一致の定理・留数定理（次章以降）"]`} />
</Figure>

<div data-gated data-pagefind-ignore>

## 2. 複素線積分

### 2.1. 道

まず積分する「道」を定義します。折れ線や円弧のように、有限個の角があってもよいことにしておくと後で便利です。

<Definition id="def-path" title="区分的に滑らかな道">
閉区間 $[a,b] \subset \mathbb{R}$ 上の連続写像 $\gamma : [a,b] \to \mathbb{C}$ が**区分的に滑らかな道**であるとは、分点 $a = t_0 < t_1 < \cdots < t_n = b$ が存在して、各小区間 $[t_{k-1}, t_k]$ 上で $\gamma$ が $C^1$ 級（導関数 $\gamma'$ が存在して連続。端点では片側微分）であることをいう。

像 $\gamma^{*} := \gamma([a,b])$ を道の**跡**、$\gamma(a)$ を**始点**、$\gamma(b)$ を**終点**と呼ぶ。$\gamma(a) = \gamma(b)$ のとき $\gamma$ を**閉道**という。さらに $\gamma|_{[a,b)}$ が単射である閉道を**単純閉曲線**（ジョルダン閉曲線）という。

道の**長さ**を $L(\gamma) := \int_a^b |\gamma'(t)|\,dt$ で定める。
</Definition>

たとえば中心 $a$、半径 $r$ の円周を反時計回りに 1 周する道は $\gamma(t) = a + re^{it}$（$t \in [0, 2\pi]$）で、$\gamma'(t) = ire^{it}$、$L(\gamma) = \int_0^{2\pi} r\,dt = 2\pi r$ です。これは以後 $|z - a| = r$ と略記します（断りがなければ反時計回り、すなわち**正の向き**とします）。2 点 $p, q$ を結ぶ線分は $\gamma(t) = (1-t)p + tq$（$t\in[0,1]$）で、これを $[p,q]$ と書きます。

### 2.2. 線積分の定義

複素数値関数を実変数で積分するときは、実部と虚部に分けて考えます。すなわち連続な $g:[a,b]\to\mathbb{C}$ に対し
$$
\int_a^b g(t)\,dt := \int_a^b \operatorname{Re} g(t)\,dt + i\int_a^b \operatorname{Im} g(t)\,dt
$$
と定めます。右辺は実 1 変数の定積分で、[積分の基本定理と定積分](/mathematics/calculus/integration-and-ftc) の <Ref to="mathematics/calculus/integration-and-ftc#def-integral" /> で扱ったものです。

<Definition id="def-contour-integral" title="複素線積分">
$\gamma:[a,b]\to\mathbb{C}$ を区分的に滑らかな道、$f$ を $\gamma^{*}$ を含む集合上で定義された連続な複素数値関数とする。$f$ の $\gamma$ に沿う**複素線積分**を
$$
\int_\gamma f(z)\,dz := \int_a^b f(\gamma(t))\,\gamma'(t)\,dt
$$
で定める。$\gamma$ が閉道のときは $\oint_\gamma f(z)\,dz$ とも書く。また
$$
\int_\gamma f(z)\,|dz| := \int_a^b f(\gamma(t))\,|\gamma'(t)|\,dt
$$
を**弧長に関する積分**という。
</Definition>

右辺の被積分関数 $f(\gamma(t))\gamma'(t)$ は各小区間で連続なので、分点ごとの積分の和として定積分が定まります。定義の心は単純で、「$z = \gamma(t)$ と置換すると $dz = \gamma'(t)\,dt$」という形式的な計算をそのまま定義にしただけです。

### 2.3. 基本性質と ML 不等式

<Proposition id="prop-basic" title="複素線積分の基本性質">
$\gamma:[a,b]\to\mathbb{C}$ を区分的に滑らかな道、$f, g$ を $\gamma^{*}$ 上連続な複素数値関数、$\alpha,\beta\in\mathbb{C}$ とする。

1. （線形性）$\displaystyle\int_\gamma (\alpha f + \beta g)\,dz = \alpha\int_\gamma f\,dz + \beta\int_\gamma g\,dz$。
2. （向きの反転）$(-\gamma)(t) := \gamma(a + b - t)$（$t\in[a,b]$）と定めると、$\displaystyle\int_{-\gamma} f\,dz = -\int_\gamma f\,dz$。
3. （道の連結）$\gamma$ の終点と道 $\sigma$ の始点が一致するとき、$\gamma$ に続けて $\sigma$ を進む道を $\gamma + \sigma$ と書けば $\displaystyle\int_{\gamma+\sigma} f\,dz = \int_\gamma f\,dz + \int_\sigma f\,dz$。
4. （パラメータ変換不変性）$\varphi:[c,d]\to[a,b]$ が $C^1$ 級の全単射で $\varphi' > 0$、$\varphi(c) = a$、$\varphi(d) = b$ ならば $\displaystyle\int_{\gamma\circ\varphi} f\,dz = \int_\gamma f\,dz$。
</Proposition>

<Proof of="prop-basic">
(1) は <Ref to="def-contour-integral" /> の右辺が実 1 変数の定積分であり、実部・虚部それぞれで積分の線形性が成り立つことから直ちに従います。

(2) 連鎖律より $(-\gamma)'(t) = -\gamma'(a+b-t)$ なので
$$
\int_{-\gamma} f\,dz = \int_a^b f(\gamma(a+b-t))\bigl(-\gamma'(a+b-t)\bigr)\,dt .
$$
$s = a + b - t$ と置換すると $ds = -dt$、$t = a$ のとき $s = b$、$t = b$ のとき $s = a$ ですから
$$
= \int_b^a f(\gamma(s))\bigl(-\gamma'(s)\bigr)(-ds) = \int_b^a f(\gamma(s))\gamma'(s)\,ds = -\int_\gamma f\,dz .
$$

(3) は定積分の区間加法性そのものです。$\gamma + \sigma$ のパラメータ区間を $\gamma$ の分と $\sigma$ の分に分ければ、それぞれの積分になります。

(4) 連鎖律より $(\gamma\circ\varphi)'(u) = \gamma'(\varphi(u))\varphi'(u)$ なので
$$
\int_{\gamma\circ\varphi} f\,dz = \int_c^d f(\gamma(\varphi(u)))\,\gamma'(\varphi(u))\,\varphi'(u)\,du .
$$
$t = \varphi(u)$ と置換すれば $dt = \varphi'(u)\,du$ で、$\varphi$ は $[c,d]$ から $[a,b]$ への増加全単射だから積分区間は $[a,b]$ に移り、右辺は $\int_a^b f(\gamma(t))\gamma'(t)\,dt$ に等しくなります。
</Proof>

(4) は「線積分は道の跡と向きだけで決まり、どんな速さで走るかにはよらない」という当たり前であってほしい性質で、これがあるので円周を $\gamma(t) = e^{it}$ と表そうと $\gamma(t) = e^{2it}$（$t\in[0,\pi]$）と表そうと結果は同じです。

次の不等式は本章で最も頻繁に使う道具です。値そのものは分からなくても、大きさの上からの評価はいつでも書ける、というのが利点です。

<Lemma id="lem-ml" title="ML 不等式">
$\gamma$ を区分的に滑らかな道、$f$ を $\gamma^{*}$ 上連続とする。このとき
$$
\left|\int_\gamma f(z)\,dz\right| \le \int_\gamma |f(z)|\,|dz| \le M\,L(\gamma),
\qquad M := \sup_{z\in\gamma^{*}} |f(z)| .
$$
</Lemma>

<Proof of="lem-ml">
まず複素数値関数 $g:[a,b]\to\mathbb{C}$（連続）に対して $\bigl|\int_a^b g\,dt\bigr| \le \int_a^b |g|\,dt$ を示します。$I := \int_a^b g(t)\,dt$ とおく。$I = 0$ のときは左辺が $0$、右辺 $\int_a^b|g|\,dt$ は非負値関数の積分だから $0$ 以上で、不等式は成り立ちます。そこで $I \ne 0$ とし、$I = |I|e^{i\theta}$（$\theta\in\mathbb{R}$）と極形式に書きます。すると
$$
|I| = e^{-i\theta} I = \int_a^b e^{-i\theta} g(t)\,dt .
$$
左辺は実数なので、右辺の虚部は $0$ であり、右辺は実部だけを取ったものに等しい。すなわち
$$
|I| = \int_a^b \operatorname{Re}\bigl(e^{-i\theta}g(t)\bigr)\,dt \le \int_a^b \bigl|e^{-i\theta}g(t)\bigr|\,dt = \int_a^b |g(t)|\,dt .
$$
途中で実数値関数に対する不等式 $\operatorname{Re} w \le |w|$ と定積分の単調性を使いました。

これを $g(t) = f(\gamma(t))\gamma'(t)$ に適用すると
$$
\left|\int_\gamma f\,dz\right| \le \int_a^b |f(\gamma(t))|\,|\gamma'(t)|\,dt = \int_\gamma |f|\,|dz| .
$$
さらに $|f(\gamma(t))| \le M$ を使えば、右辺は $M\int_a^b|\gamma'(t)|\,dt = M L(\gamma)$ 以下です。
</Proof>

### 2.4. 基本例

次の計算は本章のすべての土台になります。値が $n = -1$ のときだけ $0$ でなくなること、しかもその値が半径 $r$ にも中心 $a$ にもよらないことに注目してください。

<Example id="ex-power-integral" title="べき関数の円周上の積分">
$a\in\mathbb{C}$、$r > 0$、$n\in\mathbb{Z}$ とする。円 $|z - a| = r$（正の向き）に沿って $(z-a)^n$ を積分します。$\gamma(t) = a + re^{it}$（$t\in[0,2\pi]$）、$\gamma'(t) = ire^{it}$ なので
$$
\oint_{|z-a|=r} (z-a)^n\,dz = \int_0^{2\pi} \bigl(re^{it}\bigr)^n \cdot ire^{it}\,dt = i\,r^{n+1}\int_0^{2\pi} e^{i(n+1)t}\,dt .
$$

$n \ne -1$ のときは $n + 1 \ne 0$ なので、$\frac{d}{dt}\frac{e^{i(n+1)t}}{i(n+1)} = e^{i(n+1)t}$ より
$$
\int_0^{2\pi} e^{i(n+1)t}\,dt = \left[\frac{e^{i(n+1)t}}{i(n+1)}\right]_0^{2\pi} = \frac{e^{2\pi i (n+1)} - 1}{i(n+1)} = 0 .
$$
最後は $n+1$ が整数だから $e^{2\pi i(n+1)} = 1$ であることによります。

$n = -1$ のときは $r^{n+1} = r^0 = 1$、$e^{i(n+1)t} = 1$ なので
$$
\oint_{|z-a|=r} \frac{dz}{z-a} = i\int_0^{2\pi} 1\,dt = 2\pi i .
$$

まとめると
$$
\oint_{|z-a|=r} (z-a)^n\,dz = \begin{cases} 2\pi i, & n = -1,\\ 0, & n \in \mathbb{Z},\ n \ne -1. \end{cases}
$$
</Example>

<Example id="ex-path-dependence" title="道に依存する積分・しない積分">
$0$ から $1+i$ へ向かう 2 つの道を取ります。

- $\gamma_1$：線分 $[0, 1+i]$、すなわち $\gamma_1(t) = t(1+i)$、$\gamma_1'(t) = 1 + i$（$t\in[0,1]$）。
- $\gamma_2$：線分 $[0,1]$ に続けて線分 $[1, 1+i]$。前半は $\sigma(t) = t$、$\sigma'(t) = 1$、後半は $\tau(t) = 1 + it$、$\tau'(t) = i$（ともに $t\in[0,1]$）。

**まず $f(z) = \bar{z}$。** $\gamma_1$ 上では $\overline{\gamma_1(t)} = t(1-i)$ なので
$$
\int_{\gamma_1} \bar{z}\,dz = \int_0^1 t(1-i)(1+i)\,dt = (1-i)(1+i)\int_0^1 t\,dt = 2\cdot\frac12 = 1 .
$$
$\gamma_2$ 上では、<Ref to="prop-basic" /> (3) より 2 本の線分の和として
$$
\int_\sigma \bar{z}\,dz = \int_0^1 t\cdot 1\,dt = \frac12,\qquad
\int_\tau \bar{z}\,dz = \int_0^1 (1 - it)\,i\,dt = i\int_0^1 dt + \int_0^1 t\,dt = i + \frac12
$$
（$(-it)\cdot i = -i^2 t = t$ を使いました）。合わせて $\int_{\gamma_2}\bar z\,dz = \frac12 + i + \frac12 = 1 + i$。

$1 \ne 1+i$ ですから、$\bar{z}$ の積分は**道に依存します**。

**次に $f(z) = z$。** 同じ計算をすると
$$
\int_{\gamma_1} z\,dz = \int_0^1 t(1+i)\cdot(1+i)\,dt = \frac{(1+i)^2}{2} = \frac{2i}{2} = i,
$$
$$
\int_\sigma z\,dz = \int_0^1 t\,dt = \frac12,\qquad
\int_\tau z\,dz = \int_0^1 (1+it)\,i\,dt = i + i^2\int_0^1 t\,dt = i - \frac12 ,
$$
なので $\int_{\gamma_2} z\,dz = \frac12 + i - \frac12 = i$。今度は一致しました。

$z$ は正則、$\bar{z}$ はコーシー・リーマンの関係式を満たさないのでどこでも正則でない（<Ref to="mathematics/complex-analysis/holomorphic-functions#ex-conjugate-cr" />）。この差が結果の差に現れています。
</Example>

## 3. 原始関数と経路独立性

なぜ $z$ の積分は道によらなかったのか。理由は単純で、$z$ には原始関数 $z^2/2$ があるからです。実 1 変数の微積分の基本定理が、そのまま複素線積分でも成り立ちます。

<Definition id="def-primitive" title="原始関数">
$D\subset\mathbb{C}$ を領域（空でない連結開集合）、$f:D\to\mathbb{C}$ を連続関数とする。$D$ 上の正則関数 $F$ で $F'(z) = f(z)$（$z\in D$）を満たすものを、$f$ の $D$ 上の**原始関数**という。
</Definition>

<Theorem id="thm-ftc" title="複素線積分に対する微積分の基本定理">
$D\subset\mathbb{C}$ を領域、$f:D\to\mathbb{C}$ を連続関数とし、$f$ は $D$ 上に原始関数 $F$ をもつとする。このとき $D$ 内の任意の区分的に滑らかな道 $\gamma:[a,b]\to D$ に対して
$$
\int_\gamma f(z)\,dz = F(\gamma(b)) - F(\gamma(a))
$$
が成り立つ。とくに $\gamma$ が閉道（$\gamma(a) = \gamma(b)$）ならば $\displaystyle\int_\gamma f(z)\,dz = 0$ であり、積分の値は始点と終点だけで決まって途中の道によらない。
</Theorem>

<Proof of="thm-ftc">
まず $\gamma$ が $[a,b]$ 全体で $C^1$ 級の場合を示し、後で分点のある場合に拡張します。

$h(t) := F(\gamma(t))$（$t\in[a,b]$）とおき、$h$ が微分可能で $h'(t) = f(\gamma(t))\gamma'(t)$ となることを確かめます。$t_0\in[a,b]$ を固定し、$w_0 := \gamma(t_0)$ とおきます。$F$ は $w_0$ で複素微分可能なので、
$$
\Phi(w) := \begin{cases} \dfrac{F(w) - F(w_0)}{w - w_0}, & w \in D,\ w \ne w_0,\\[2mm] F'(w_0), & w = w_0 \end{cases}
$$
と定めると $\Phi$ は $w_0$ で連続です（これが複素微分可能性の定義そのものです）。しかもすべての $w\in D$ に対して等式
$$
F(w) - F(w_0) = \Phi(w)\,(w - w_0)
$$
が成り立ちます（$w = w_0$ のときは両辺 $0$）。$w = \gamma(t)$ を代入して $t - t_0$ で割ると
$$
\frac{h(t) - h(t_0)}{t - t_0} = \Phi(\gamma(t))\cdot\frac{\gamma(t)-\gamma(t_0)}{t-t_0} .
$$
$t\to t_0$ とすると、$\gamma$ の連続性と $\Phi$ の $w_0$ での連続性から第 1 因子は $\Phi(w_0) = F'(w_0) = f(\gamma(t_0))$ に収束し、第 2 因子は $\gamma'(t_0)$ に収束します。よって
$$
h'(t_0) = f(\gamma(t_0))\,\gamma'(t_0) .
$$
$f$ と $\gamma$ と $\gamma'$ が連続なので $h'$ は $[a,b]$ 上連続です。したがって実部・虚部それぞれに実 1 変数の微積分の基本定理（<Ref to="mathematics/calculus/integration-and-ftc#thm-ftc2" text="ニュートン–ライプニッツの公式" />）を適用でき、
$$
\int_\gamma f(z)\,dz = \int_a^b h'(t)\,dt = h(b) - h(a) = F(\gamma(b)) - F(\gamma(a)) .
$$

一般の区分的に滑らかな道の場合は、分点 $a = t_0 < \cdots < t_n = b$ に対して各 $[t_{k-1},t_k]$ 上で上の結果を使い、<Ref to="prop-basic" /> (3) で足し合わせます。すると
$$
\int_\gamma f\,dz = \sum_{k=1}^n \bigl(F(\gamma(t_k)) - F(\gamma(t_{k-1}))\bigr) = F(\gamma(b)) - F(\gamma(a))
$$
と、途中の項が打ち消し合って（望遠鏡和）結論を得ます。

閉道なら $\gamma(b) = \gamma(a)$ なので右辺は $0$ です。また 2 つの道 $\gamma, \tilde\gamma$ が同じ始点・終点をもつなら、どちらの積分も $F(\text{終点}) - F(\text{始点})$ に等しいので一致します。
</Proof>

<Ref to="ex-path-dependence" /> の後半はこの定理の実例です。$F(z) = z^2/2$ は $\mathbb{C}$ 上正則で $F'(z) = z$ ですから、$\int_\gamma z\,dz = \frac{(1+i)^2}{2} - 0 = i$ が道によらず得られます。

逆向きに読むと、この定理は「原始関数が存在しないこと」を示す道具にもなります。

<Corollary id="cor-no-log" title="1/z は穴あき平面上に原始関数をもたない">
$D := \mathbb{C}\setminus\{0\}$ 上の正則関数 $F$ で、すべての $z\in D$ に対して $F'(z) = 1/z$ となるものは存在しない。
</Corollary>

<Proof of="cor-no-log">
そのような $F$ が存在したとします。$1/z$ は $D$ 上連続なので <Ref to="thm-ftc" /> が使え、$D$ 内の閉道である単位円 $|z| = 1$ に沿った積分は $0$ でなければなりません。ところが <Ref to="ex-power-integral" />（$a = 0$、$r = 1$、$n = -1$ の場合）により
$$
\oint_{|z|=1}\frac{dz}{z} = 2\pi i \ne 0
$$
です。矛盾します。
</Proof>

<Remark id="rem-log-branch">
これは「複素対数関数 $\log z$ は $\mathbb{C}\setminus\{0\}$ 全体では一価に定義できない」という事実の、積分による言い換えです。原点のまわりを 1 周すると偏角が $2\pi$ だけ増えてしまい、$\log$ の値が元に戻らない。その「ずれ」がちょうど $\oint dz/z = 2\pi i$ として現れています。

一方、負の実軸を除いた領域 $\mathbb{C}\setminus(-\infty, 0]$ の上では主枝 $\operatorname{Log} z = \ln|z| + i\operatorname{Arg} z$（$-\pi < \operatorname{Arg} z < \pi$）が正則で $(\operatorname{Log} z)' = 1/z$ となり（<Ref to="mathematics/complex-analysis/holomorphic-functions#thm-log-holomorphic" />）、原始関数が存在します。切れ込みを入れて「原点のまわりを回れなくする」と問題が消えるわけです。この観察が、次節の**単連結性**という条件の正体です。
</Remark>

## 4. コーシーの積分定理

### 4.1. 単連結領域

<Definition id="def-simply-connected" title="単連結領域">
領域 $D\subset\mathbb{C}$ が**単連結**であるとは、$D$ 内の任意の閉道が $D$ の中で連続的に 1 点に縮められること、すなわち任意の閉道 $\gamma:[0,1]\to D$ に対して連続写像 $H:[0,1]\times[0,1]\to D$ と点 $p\in D$ が存在して
$$
H(s,0) = \gamma(s),\quad H(s,1) = p,\quad H(0,u) = H(1,u)\ \ (\text{すべての } s, u \in [0,1])
$$
を満たすことをいう。直観的には「$D$ に穴が開いていない」ということである。
</Definition>

円板、長方形、凸領域、星形領域、半平面、複素平面全体はすべて単連結です。一方、穴あき平面 $\mathbb{C}\setminus\{0\}$ や円環 $\{1 < |z| < 2\}$ は単連結ではありません。<Ref to="cor-no-log" /> は、まさに単連結でない領域で起こる現象でした。

### 4.2. グリーンの定理からの証明

ここでは実 2 変数のグリーンの定理を認めて、コーシーの積分定理を導きます。証明の見通しが非常によいのが利点で、代償として「$f'$ が連続」という余分な仮定が必要になります（§4.4 でこれを外します）。

**グリーンの定理（復習）** $\Omega\subset\mathbb{R}^2$ を有界領域で、その境界 $\partial\Omega$ が有限個の互いに交わらない区分的に滑らかな単純閉曲線からなるとする。実数値関数 $P, Q$ が $\overline{\Omega}$ を含むある開集合上で $C^1$ 級ならば
$$
\oint_{\partial\Omega} \bigl(P\,dx + Q\,dy\bigr) = \iint_\Omega \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dx\,dy
$$
が成り立つ。ここで $\partial\Omega$ には**正の向き**（領域を左手に見ながら進む向き。外側の境界は反時計回り、内側の穴の境界は時計回り）を入れる。累次積分による証明は [重積分と累次積分](/mathematics/calculus/multiple-integrals) の技法、とくに <Ref to="mathematics/calculus/multiple-integrals#thm-fubini-region" text="縦線集合上の累次積分" /> に基づきます。

これを複素線積分の言葉に翻訳します。

<Lemma id="lem-green-complex" title="複素線積分に対するグリーンの公式">
$\Omega\subset\mathbb{C}$ を有界領域で、境界 $\partial\Omega$ が有限個の区分的に滑らかな単純閉曲線からなるとする。$f = u + iv$（$u,v$ は実数値）が $\overline{\Omega}$ を含むある開集合上で定義され、$u, v$ が $C^1$ 級であるとする。$\partial\Omega$ を正の向きに取れば
$$
\oint_{\partial\Omega} f(z)\,dz = i\iint_\Omega \Bigl[\bigl(u_x - v_y\bigr) + i\bigl(v_x + u_y\bigr)\Bigr]\,dx\,dy .
$$
</Lemma>

<Proof of="lem-green-complex">
道を $\gamma(t) = x(t) + iy(t)$ と成分表示すると $\gamma'(t) = x'(t) + iy'(t)$ なので、<Ref to="def-contour-integral" /> の被積分関数は
$$
f(\gamma(t))\gamma'(t) = (u + iv)(x' + iy') = \bigl(ux' - vy'\bigr) + i\bigl(vx' + uy'\bigr)
$$
となります（$u, v$ は $\gamma(t)$ での値）。$t$ で積分すると、これはまさに実の線積分の定義そのもので
$$
\oint_{\partial\Omega} f\,dz = \oint_{\partial\Omega}\bigl(u\,dx - v\,dy\bigr) + i\oint_{\partial\Omega}\bigl(v\,dx + u\,dy\bigr)
$$
が得られます。第 1 項にグリーンの定理を $P = u$、$Q = -v$ として、第 2 項に $P = v$、$Q = u$ として適用すると
$$
\oint_{\partial\Omega} f\,dz = \iint_\Omega \bigl(-v_x - u_y\bigr)\,dx\,dy + i\iint_\Omega\bigl(u_x - v_y\bigr)\,dx\,dy .
$$
右辺を $i$ でくくると
$$
= i\iint_\Omega \Bigl[\bigl(u_x - v_y\bigr) + i\bigl(v_x + u_y\bigr)\Bigr]dx\,dy
$$
となり（$i\cdot i(v_x+u_y) = -(v_x+u_y)$ に注意）、主張を得ます。
</Proof>

被積分関数の中身をよく見てください。$u_x - v_y$ と $v_x + u_y$ は、どちらもコーシー・リーマンの関係式 $u_x = v_y$、$u_y = -v_x$ が成り立つときにちょうど $0$ になる量です。つまりこの公式は「一周積分の値は、コーシー・リーマンの関係式の破れを内部全体で集めたものである」と述べています。

<Theorem id="thm-cauchy-green" title="コーシーの積分定理（導関数の連続性を仮定した形）">
$D\subset\mathbb{C}$ を領域、$f:D\to\mathbb{C}$ を $D$ 上の正則関数で、導関数 $f'$ が $D$ 上連続であるとする。$C$ を $D$ 内の正の向きの区分的に滑らかな単純閉曲線とし、$C$ が囲む有界領域を $\Omega$ とするとき、$\overline{\Omega} = \Omega\cup C^{*} \subset D$ が成り立つならば
$$
\oint_C f(z)\,dz = 0 .
$$
とくに $D$ が単連結ならば、$D$ 内の任意の正の向きの区分的に滑らかな単純閉曲線 $C$ に対して $\oint_C f(z)\,dz = 0$ である。
</Theorem>

<Proof of="thm-cauchy-green">
$f = u + iv$ と書きます。$f$ が正則であることから、[正則関数とコーシー・リーマンの関係式](/mathematics/complex-analysis/holomorphic-functions) の <Ref to="mathematics/complex-analysis/holomorphic-functions#thm-cr-necessary" /> で示したように $u, v$ は偏微分可能でコーシー・リーマンの関係式
$$
u_x = v_y, \qquad u_y = -v_x
$$
を満たし、しかも $f' = u_x + iv_x$ です。仮定より $f'$ は連続なので $u_x, v_x$ は連続、コーシー・リーマンの関係式から $v_y = u_x$ と $u_y = -v_x$ も連続です。したがって $u, v$ は $D$ 上 $C^1$ 級で、<Ref to="lem-green-complex" /> の仮定が満たされます。

$C$ は正の向きの単純閉曲線で $\partial\Omega = C$、$\overline\Omega\subset D$ なので
$$
\oint_C f(z)\,dz = i\iint_\Omega\Bigl[(u_x - v_y) + i(v_x + u_y)\Bigr]dx\,dy .
$$
コーシー・リーマンの関係式より $u_x - v_y = 0$ かつ $v_x + u_y = 0$ ですから、被積分関数は $\Omega$ 上恒等的に $0$ で、積分は $0$ です。

$D$ が単連結の場合：$D$ 内の単純閉曲線 $C$ が囲む有界領域 $\Omega$ は必ず $D$ に含まれます。実際、$q\in\Omega$ で $q\notin D$ となる点があったとしましょう。$q$ は $C$ の内部の点なので、$C$ の $q$ のまわりの回転数は $\pm 1$ です。回転数は $\mathbb{C}\setminus\{q\}$ 内のホモトピーで不変な整数ですから、$C$ は $\mathbb{C}\setminus\{q\}$ の中で 1 点に縮められません。ところが $q\notin D$ より $D\subset\mathbb{C}\setminus\{q\}$ であり、<Ref to="def-simply-connected" /> により $C$ は $D$ の中で（したがって $\mathbb{C}\setminus\{q\}$ の中でも）1 点に縮められます。矛盾です。よって $\overline\Omega\subset D$ が自動的に成り立ち、前半が適用できます。
</Proof>

<Aside type="caution">
上の証明はグリーンの定理と、単純閉曲線が平面を内部と外部に分けるという**ジョルダンの曲線定理**を既知としています。ジョルダンの曲線定理は直観的には当たり前に見えますが、証明は位相幾何学の道具を要します。ここでは認めて使います。
</Aside>

### 4.3. 仮定はどこで効いているか

定理には「正則である」と「囲む領域が $D$ に含まれる（単連結性）」という 2 つの仮定があります。どちらも外せません。

<Remark id="rem-holomorphy-needed">
**正則性を落とすと壊れる。** $f(z) = \bar{z}$ を単位円周上で積分すると、$\gamma(t) = e^{it}$、$\overline{\gamma(t)} = e^{-it}$、$\gamma'(t) = ie^{it}$ より
$$
\oint_{|z|=1}\bar{z}\,dz = \int_0^{2\pi} e^{-it}\cdot ie^{it}\,dt = i\int_0^{2\pi} dt = 2\pi i \ne 0 .
$$
<Ref to="lem-green-complex" /> でも同じ値が出ることを確かめておきます。$\bar z = x - iy$ なので $u = x$、$v = -y$、したがって $u_x = 1$、$v_y = -1$、$v_x = 0$、$u_y = 0$ で
$$
\oint_{|z|=1}\bar z\,dz = i\iint_{|z| < 1}\bigl[(1 - (-1)) + i\cdot 0\bigr]dx\,dy = 2i\cdot\pi\cdot 1^2 = 2\pi i .
$$
一致しました。$u_x - v_y = 2 \ne 0$、つまりコーシー・リーマンの関係式の破れがそのまま答えを作っています。

**単連結性を落としても壊れる。** $f(z) = 1/z$ は $D = \mathbb{C}\setminus\{0\}$ 上で正則、$f'(z) = -1/z^2$ も連続ですが、<Ref to="ex-power-integral" /> のとおり $\oint_{|z|=1} dz/z = 2\pi i \ne 0$ です。単位円が囲む領域には $D$ に属さない点 $0$ が含まれており、$\overline\Omega\subset D$ が成り立っていません。
</Remark>

### 4.4. グルサの定理：導関数の連続性を落とす

<Ref to="thm-cauchy-green" /> の証明には、$f'$ の連続性という、正則性の定義には含まれていない仮定が紛れ込んでいました。グリーンの定理を使う以上避けられません。ところが実は、この仮定は不要です。グルサが 1900 年前後に示したこの事実は、単なる技術的改良ではありません。次章で見るように、コーシーの積分公式から $f$ は自動的に無限回微分可能であることが従うので、「$f'$ の連続性」は結論として得られるものであり、仮定として置くのは循環に近いのです。それを断ち切るのがグルサの定理です。

<Theorem id="thm-goursat" title="グルサの定理（三角形版）">
$D\subset\mathbb{C}$ を開集合、$f:D\to\mathbb{C}$ を $D$ の各点で複素微分可能な関数とする（$f'$ の連続性は仮定しない）。$\Delta\subset D$ を閉三角形（3 頂点の凸包、周と内部を含む）とし、その周を正の向きに 1 周する道を $\partial\Delta$ と書くと
$$
\oint_{\partial\Delta} f(z)\,dz = 0 .
$$
</Theorem>

<Proof of="thm-goursat">
$I := \oint_{\partial\Delta} f(z)\,dz$、$L := L(\partial\Delta)$（周の長さ）、$d := \operatorname{diam}\Delta$（直径）とおきます。

**第 1 段：四等分と選択。** $\Delta$ の 3 辺の中点を結ぶと、$\Delta$ は 4 つの互いに合同な小三角形 $\Delta_1,\dots,\Delta_4$（中央の 1 つと隅の 3 つ）に分かれます。中点連結定理により、どれも $\Delta$ と相似で相似比は $1/2$ です。各 $\partial\Delta_j$ を正の向きに回る積分をすべて足すと、内部に現れる 3 本の中線はそれぞれちょうど 2 回、互いに逆向きに通られます。<Ref to="prop-basic" /> の (2)（向きの反転）と (3)（道の連結）により、それらの寄与は打ち消し合い
$$
I = \sum_{j=1}^4 \oint_{\partial\Delta_j} f(z)\,dz
$$
が成り立ちます。4 つの項の絶対値がすべて $|I|/4$ 未満だとすると三角不等式から $|I| < |I|$ となって矛盾するので、少なくとも 1 つの $j$ について
$$
\left|\oint_{\partial\Delta_j} f\,dz\right| \ge \frac{|I|}{4}
$$
です。その $\Delta_j$ を 1 つ選んで $\Delta^{(1)}$ と書きます。

**第 2 段：入れ子の列。** 同じ操作を $\Delta^{(1)}$ に適用し、以下繰り返すと、閉三角形の減少列
$$
\Delta = \Delta^{(0)} \supset \Delta^{(1)} \supset \Delta^{(2)} \supset \cdots
$$
で、各 $n$ について
$$
\left|\oint_{\partial\Delta^{(n)}} f\,dz\right| \ge 4^{-n}|I|,\qquad L(\partial\Delta^{(n)}) = 2^{-n}L,\qquad \operatorname{diam}\Delta^{(n)} = 2^{-n}d
$$
を満たすものが得られます（中点分割で辺の長さも直径もちょうど半分になります）。

**第 3 段：共通点。** $\Delta^{(n)}$ は空でないコンパクト集合の減少列で直径が $0$ に収束するので、共通部分はちょうど 1 点です。実際、各 $\Delta^{(n)}$ から 1 点 $z_n$ を取ると、$m, n \ge N$ のとき $z_m, z_n\in\Delta^{(N)}$ より $|z_m - z_n| \le 2^{-N}d \to 0$ なので $(z_n)$ はコーシー列で、極限 $z_0$ が存在します。各 $N$ について $n\ge N$ の $z_n$ はすべて閉集合 $\Delta^{(N)}$ に属するので $z_0\in\Delta^{(N)}$。よって $z_0\in\bigcap_n \Delta^{(n)}$ です。

**第 4 段：微分可能性による評価。** $z_0\in\Delta\subset D$ で $f$ は複素微分可能なので、任意の $\varepsilon > 0$ に対して $\delta > 0$ が存在し、$|z - z_0| < \delta$（$z\in D$）ならば
$$
\bigl|f(z) - f(z_0) - f'(z_0)(z - z_0)\bigr| \le \varepsilon|z - z_0| .
$$
ここで $g(z) := f(z_0) + f'(z_0)(z - z_0)$ とおくと、$g$ は 1 次多項式で、$G(z) := f(z_0)z + \frac{f'(z_0)}{2}(z-z_0)^2$ が $\mathbb{C}$ 上の原始関数です。よって <Ref to="thm-ftc" /> より、任意の閉道の上で $\oint g\,dz = 0$ です。

$2^{-n}d < \delta$ となる $n$ を取ると、$z_0\in\Delta^{(n)}$ かつ $\operatorname{diam}\Delta^{(n)} = 2^{-n}d$ なので $\Delta^{(n)}$ は円板 $|z - z_0| < \delta$ に含まれます。したがって $\partial\Delta^{(n)}$ 上で上の評価が使えて、<Ref to="lem-ml" /> より
$$
\left|\oint_{\partial\Delta^{(n)}} f\,dz\right| = \left|\oint_{\partial\Delta^{(n)}} (f - g)\,dz\right| \le \Bigl(\sup_{z\in\partial\Delta^{(n)}}\varepsilon|z - z_0|\Bigr)\cdot L(\partial\Delta^{(n)}) \le \varepsilon\cdot 2^{-n}d\cdot 2^{-n}L = 4^{-n}\varepsilon\,dL .
$$

**第 5 段：結論。** 第 2 段の下からの評価と合わせて
$$
4^{-n}|I| \le \left|\oint_{\partial\Delta^{(n)}} f\,dz\right| \le 4^{-n}\varepsilon\,dL
$$
なので、両辺を $4^n$ 倍して $|I| \le \varepsilon\,dL$。$\varepsilon > 0$ は任意で $d, L$ は $\varepsilon$ によらない定数なので $|I| = 0$、すなわち $I = 0$ です。
</Proof>

<Remark id="rem-goursat-to-general">
三角形の場合だけで十分なのか、と思われるかもしれません。実は十分です。凸領域では、グルサの定理を使って原始関数を「積分によって作る」ことができ、そこから <Ref to="thm-ftc" /> によって任意の閉道の上での積分が $0$ であることが従います。さらに一般の単連結領域については、積分のホモトピー不変性を経由して同じ結論が得られます。この道筋を Appendix にまとめました。

結果として、本章で以後使う主張はすべて次の形で正しいと思ってください。

> **コーシーの積分定理（最終形）** $D$ を単連結領域、$f$ を $D$ 上の正則関数とする。このとき $D$ 内の任意の区分的に滑らかな閉道 $\gamma$ に対して $\oint_\gamma f(z)\,dz = 0$ である。ここで $f'$ の連続性は仮定しない。
</Remark>

## 5. 積分路の変形

コーシーの積分定理からすぐに出る、実用上きわめて重要な帰結が「積分路は、被積分関数が正則な範囲で自由に変形してよい」という原理です。

<Figure caption="環状領域に 2 本の切れ込みを入れると、2 つの単連結な部分に分かれる。切れ込みは往復で相殺する。">
<svg viewBox="0 0 460 280" width="100%" role="img" aria-label="外側の閉曲線と内側の閉曲線に挟まれた環状領域に、2 本の切れ込みを入れて上下 2 つの単連結領域に分割する図">
  <g fill="none" stroke="currentColor" stroke-width="2">
    <circle cx="230" cy="140" r="112" />
    <circle cx="230" cy="140" r="46" />
  </g>
  <g fill="none" stroke="var(--sl-color-accent)" stroke-width="2.5" stroke-dasharray="7 5">
    <line x1="276" y1="140" x2="342" y2="140" />
    <line x1="184" y1="140" x2="118" y2="140" />
  </g>
  <g fill="currentColor">
    <polygon points="230,28 238,42 222,42" />
    <polygon points="230,94 222,80 238,80" />
  </g>
  <g fill="currentColor" font-size="15" font-family="serif">
    <text x="248" y="24">C₁</text>
    <text x="246" y="106">C₂</text>
    <text x="288" y="132">切れ込み</text>
    <text x="120" y="132">切れ込み</text>
    <text x="230" y="200" text-anchor="middle">A（環状領域）</text>
  </g>
</svg>
</Figure>

<Theorem id="thm-deformation" title="積分路の変形定理">
$C_1, C_2$ を正の向きの区分的に滑らかな単純閉曲線で、$C_2$ の跡とその内部がすべて $C_1$ の内部に含まれているとする。$A$ を「$C_1$ の内部かつ $C_2$ の外部」である環状領域とし、$\overline{A} = A\cup C_1^{*}\cup C_2^{*}$ とおく。$f$ が $\overline{A}$ を含むある開集合上で正則で、$f'$ が連続ならば
$$
\oint_{C_1} f(z)\,dz = \oint_{C_2} f(z)\,dz .
$$
</Theorem>

<Proof of="thm-deformation">
$A$ は有界領域で、その境界は $C_1^{*}$ と $C_2^{*}$ の 2 本の単純閉曲線からなります。$A$ を左手に見ながら進む向き（正の向き）は、外側の $C_1$ については反時計回り、内側の $C_2$ については時計回りです。つまり境界を正の向きに一周する道は、$C_1$ と、向きを逆にした $-C_2$ の合併です。<Ref to="prop-basic" /> (2)(3) より
$$
\oint_{\partial A} f\,dz = \oint_{C_1} f\,dz - \oint_{C_2} f\,dz .
$$

一方、$f = u+iv$ が $\overline A$ の近傍で正則で $f'$ が連続なので、<Ref to="thm-cauchy-green" /> の証明と同じ議論により $u,v$ は $C^1$ 級でコーシー・リーマンの関係式を満たします。<Ref to="lem-green-complex" /> は境界が有限個の単純閉曲線からなる領域に対して述べてあるので、そのまま $\Omega = A$ に適用できて
$$
\oint_{\partial A} f\,dz = i\iint_A\Bigl[(u_x - v_y) + i(v_x + u_y)\Bigr]dx\,dy = 0
$$
です。2 式を合わせて $\oint_{C_1} f\,dz = \oint_{C_2} f\,dz$ を得ます。
</Proof>

上の図が示す古典的な議論も紹介しておきます。環状領域 $A$ に 2 本の切れ込みを入れて上半分と下半分に分けると、それぞれは穴のない（単連結な）領域になります。各部分の境界に <Ref to="thm-cauchy-green" /> を適用すると積分は $0$。2 つを足すと、切れ込みの上を往復する部分は向きが逆なので <Ref to="prop-basic" /> (2) により打ち消し合い、残るのは $C_1$ を反時計回りに回る分と $C_2$ を時計回りに回る分です。その和が $0$、すなわち $\oint_{C_1} f = \oint_{C_2} f$ となります。

<Ref to="ex-power-integral" /> で「$\oint_{|z-a|=r}\frac{dz}{z-a} = 2\pi i$ が半径 $r$ によらない」ことを計算で確かめましたが、変形定理はその理由を説明しています。$1/(z-a)$ は $a$ を除けば正則なので、$a$ を囲む閉曲線どうしは自由に移り合え、積分値は変わらないのです。

## 6. コーシーの積分公式

### 6.1. 定理と証明

<Theorem id="thm-cif" title="コーシーの積分公式">
$D\subset\mathbb{C}$ を領域、$f:D\to\mathbb{C}$ を $D$ 上の正則関数で $f'$ は $D$ 上連続であるとする。$C$ を $D$ 内の正の向きの区分的に滑らかな単純閉曲線で、$C$ が囲む有界領域 $\Omega$ が $\overline{\Omega}\subset D$ を満たすものとする。このとき任意の $a\in\Omega$ に対して
$$
f(a) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z - a}\,dz
$$
が成り立つ。
</Theorem>

<Proof of="thm-cif">
$a\in\Omega$ を固定し、$g(z) := \dfrac{f(z)}{z-a}$ とおきます。$g$ は $D\setminus\{a\}$ 上で正則で、そこでは $g'$ も連続です（正則関数の商の微分法と、$f, f'$ の連続性による）。

$\Omega$ は開集合なので、$\overline{B}(a,\rho_0) := \{z : |z - a|\le\rho_0\}\subset\Omega$ となる $\rho_0 > 0$ が存在します。$0 < \rho \le \rho_0$ を任意に取り、$C_\rho$ を円 $|z - a| = \rho$（正の向き）とします。$C$ と $C_\rho$ に挟まれた環状領域の閉包は $\overline\Omega\setminus B(a,\rho)$ に含まれ、これは $a$ を含まないので開集合 $D\setminus\{a\}$ の中にあります。したがって <Ref to="thm-deformation" /> が $g$ に適用できて
$$
\oint_C \frac{f(z)}{z-a}\,dz = \oint_{C_\rho}\frac{f(z)}{z-a}\,dz \qquad (0 < \rho \le \rho_0) .
$$
とくに右辺は $\rho$ によりません。

右辺を分解します。<Ref to="prop-basic" /> (1) より
$$
\oint_{C_\rho}\frac{f(z)}{z-a}\,dz = f(a)\oint_{C_\rho}\frac{dz}{z-a} + \oint_{C_\rho}\frac{f(z) - f(a)}{z-a}\,dz .
$$
第 1 項は <Ref to="ex-power-integral" />（$n = -1$）より $f(a)\cdot 2\pi i$ です。第 2 項を $E(\rho)$ と書き、これを評価します。$C_\rho$ 上では $|z - a| = \rho$ なので
$$
\left|\frac{f(z) - f(a)}{z - a}\right| = \frac{|f(z) - f(a)|}{\rho} \le \frac{\omega(\rho)}{\rho},
\qquad \omega(\rho) := \sup_{|z-a|=\rho}|f(z) - f(a)| .
$$
$L(C_\rho) = 2\pi\rho$ ですから <Ref to="lem-ml" /> より
$$
|E(\rho)| \le \frac{\omega(\rho)}{\rho}\cdot 2\pi\rho = 2\pi\,\omega(\rho) .
$$
$f$ は $a$ で連続なので $\rho\to 0^{+}$ のとき $\omega(\rho)\to 0$、したがって $E(\rho)\to 0$ です。

ところが
$$
E(\rho) = \oint_C \frac{f(z)}{z-a}\,dz - 2\pi i f(a)
$$
であり、右辺は $\rho$ を含みません。すなわち $E(\rho)$ は $\rho$ によらない定数です。$\rho\to 0^{+}$ で $0$ に収束する定数は $0$ しかないので $E(\rho) \equiv 0$、つまり
$$
\oint_C\frac{f(z)}{z-a}\,dz = 2\pi i f(a)
$$
です。両辺を $2\pi i$ で割れば主張を得ます。
</Proof>

<Remark id="rem-cif-meaning">
この式の意味を噛みしめてください。左辺は 1 点 $a$ における値、右辺は $a$ にはまったく触れずに、遠く離れた曲線 $C$ の上での $f$ の値だけから作られた量です。$C$ の内部で $f$ がどうなっているかを知らなくても、境界の値さえ分かれば内部の値が完全に復元できる。しかも $a$ は $\Omega$ の任意の点でよいので、**境界の値が内部の関数を一意に決めてしまう**ことになります。

実 1 変数では絶対に起こらない現象です。$[0,1]$ 上の $C^\infty$ 級関数は $f(0), f(1)$ を固定したまま中身をいくらでも変えられます。正則性は、それほど強い拘束条件なのです。

なお <Ref to="rem-goursat-to-general" /> の最終形を使えば、$f'$ の連続性の仮定は不要になります。実際、次章 [正則関数の強力な性質](/mathematics/complex-analysis/properties-of-holomorphic-functions) では、この積分公式の右辺を $a$ について微分することで $f$ が自動的に無限回微分可能であることを示します（<Ref to="mathematics/complex-analysis/properties-of-holomorphic-functions#cor-infinitely-differentiable" />）。「1 回微分できれば何回でも微分できる」という、実関数論とは決定的に異なる性質です。
</Remark>

### 6.2. 計算例

積分公式は、そのまま強力な計算道具になります。使い方は「被積分関数を $\dfrac{(\text{正則な部分})}{z - (\text{中の 1 点})}$ の形に見る」ことです。

<Example id="ex-cif-basic" title="指数関数と単純極">
$\displaystyle\oint_{|z|=2}\frac{e^z}{z-1}\,dz$ を求めます。$f(z) = e^z$ は $\mathbb{C}$ 全体で正則で $f' = e^z$ も連続、$C: |z| = 2$ が囲む領域は $|z| < 2$ で、$a = 1$ はその中にあります（$|1| = 1 < 2$）。よって <Ref to="thm-cif" /> より
$$
\oint_{|z|=2}\frac{e^z}{z-1}\,dz = 2\pi i\,f(1) = 2\pi i\,e .
$$

一方 $\displaystyle\oint_{|z|=2}\frac{e^z}{z-3}\,dz$ は $0$ です。今度は $a = 3$ が $|z| < 2$ の外にあるので積分公式は使えませんが、代わりに $g(z) = \dfrac{e^z}{z-3}$ が円板 $|z| < 3$ 上で正則（分母が $0$ になるのは $z = 3$ だけ）であることに注目します。$|z| < 3$ は単連結で、$|z| = 2$ が囲む閉領域はその中に含まれるので <Ref to="thm-cauchy-green" /> により積分は $0$ です。

「中に特異点があるか、外にあるか」で答えが $2\pi i e$ と $0$ に分かれる。この対比が留数計算の原型です。
</Example>

<Example id="ex-partial-fractions" title="特異点が 2 つある場合：部分分数分解">
$\displaystyle J := \oint_{|z|=3}\frac{z}{z^2+1}\,dz$ を求めます。分母の零点は $z = \pm i$ で、どちらも $|z| < 3$ の内部にあります。特異点が 2 つあるので積分公式を直接は使えません。部分分数に分けます。
$$
\frac{z}{z^2+1} = \frac{z}{(z-i)(z+i)} = \frac{A}{z-i} + \frac{B}{z+i} .
$$
両辺に $(z-i)$ を掛けて $z = i$ とすると $A = \dfrac{i}{i+i} = \dfrac{i}{2i} = \dfrac12$。同様に $(z+i)$ を掛けて $z = -i$ とすると $B = \dfrac{-i}{-i-i} = \dfrac{-i}{-2i} = \dfrac12$。よって
$$
J = \frac12\oint_{|z|=3}\frac{dz}{z-i} + \frac12\oint_{|z|=3}\frac{dz}{z+i} .
$$
各項は <Ref to="thm-cif" /> を $f \equiv 1$ に適用して（あるいは <Ref to="thm-deformation" /> で小円に変形してから <Ref to="ex-power-integral" /> を使って）$2\pi i$ です。したがって
$$
J = \frac12\cdot 2\pi i + \frac12\cdot 2\pi i = 2\pi i .
$$

**積分路を小さくすると。** 同じ被積分関数を $|z - i| = 1$ 上で積分してみます。この円が囲むのは $|z-i| < 1$ で、$i$ は入っていますが $-i$ は $|-i - i| = 2 > 1$ より外です。そこで
$$
\frac{z}{z^2+1} = \frac{g(z)}{z - i},\qquad g(z) := \frac{z}{z+i}
$$
と見ます。$g$ は $|z - i| < 3/2$ 上で正則（$-i$ はこの円板の外）で、$|z-i|\le 1$ はその中に含まれます。よって <Ref to="thm-cif" /> より
$$
\oint_{|z-i|=1}\frac{z}{z^2+1}\,dz = 2\pi i\,g(i) = 2\pi i\cdot\frac{i}{2i} = \pi i .
$$
$2\pi i$ の半分になりました。積分路がどの特異点を囲むかで値が決まる、という構造がはっきり見えます。この一般化が <Ref to="mathematics/complex-analysis/residue-theorem#thm-residue" text="留数定理" />（[留数定理と定積分への応用](/mathematics/complex-analysis/residue-theorem)）です。
</Example>

### 6.3. 平均値の性質

積分公式で $C$ を $a$ を中心とする円に取ると、見た目がぐっと簡単になります。

<Example id="ex-mean-value" title="円周平均の性質と実積分への応用">
$f$ を $\overline{B}(a,r)$ を含む開集合上の正則関数（$f'$ は連続）とします。$C: |z - a| = r$ を $\gamma(\theta) = a + re^{i\theta}$（$\theta\in[0,2\pi]$）と表すと $\gamma'(\theta) = ire^{i\theta}$、$\gamma(\theta) - a = re^{i\theta}$ なので、<Ref to="thm-cif" /> より
$$
f(a) = \frac{1}{2\pi i}\int_0^{2\pi}\frac{f(a + re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta = \frac{1}{2\pi}\int_0^{2\pi} f(a + re^{i\theta})\,d\theta .
$$
すなわち**正則関数の中心での値は、円周上の値の平均に等しい**（平均値の性質）。

これを実積分の計算に使ってみます。$f(z) = e^{z}$、$a = 0$、$r = 1$ とすると $f(0) = 1$ で、$e^{e^{i\theta}} = e^{\cos\theta + i\sin\theta} = e^{\cos\theta}\bigl(\cos(\sin\theta) + i\sin(\sin\theta)\bigr)$ ですから
$$
1 = \frac{1}{2\pi}\int_0^{2\pi} e^{\cos\theta}\bigl(\cos(\sin\theta) + i\sin(\sin\theta)\bigr)\,d\theta .
$$
実部と虚部を比べて
$$
\int_0^{2\pi} e^{\cos\theta}\cos(\sin\theta)\,d\theta = 2\pi,
\qquad
\int_0^{2\pi} e^{\cos\theta}\sin(\sin\theta)\,d\theta = 0 .
$$
左の積分は実関数の初等的な方法では手が出ません。複素の側から眺めると、単に「$e^z$ の $0$ での値が $1$ である」と言っているだけなのです。
</Example>

<Aside type="tip">
平均値の性質から、$|f|$ が内点で最大値を取れないこと（最大値原理）や、$\operatorname{Re} f$ が調和関数として平均値の性質をもつことが導けます。次章で扱います。
</Aside>

## 7. 演習

<Exercise id="exr-semicircle-conjugate" difficulty="易">
$1$ から $-1$ へ向かう次の 2 つの道に沿って $\int_\gamma \bar{z}\,dz$ を計算し、値が異なることを確かめてください。

(a) 上半平面にある単位半円 $\gamma(t) = e^{it}$（$t\in[0,\pi]$）。
(b) 実軸上の線分 $[1,-1]$。

<Solution>
(a) $\overline{\gamma(t)} = \overline{e^{it}} = e^{-it}$、$\gamma'(t) = ie^{it}$ なので <Ref to="def-contour-integral" /> より
$$
\int_\gamma \bar z\,dz = \int_0^{\pi} e^{-it}\cdot ie^{it}\,dt = i\int_0^\pi e^{0}\,dt = i\pi .
$$

(b) $\sigma(t) = 1 - 2t$（$t\in[0,1]$）とパラメータ表示すると $\sigma$ は実数値なので $\overline{\sigma(t)} = 1-2t$、$\sigma'(t) = -2$。よって
$$
\int_\sigma \bar z\,dz = \int_0^1 (1-2t)(-2)\,dt = -2\Bigl[t - t^2\Bigr]_0^1 = -2(1 - 1) = 0 .
$$

$i\pi \ne 0$ なので、始点と終点が同じでも道が違えば値が違います。これは $\bar z$ が原始関数をもたない（したがって <Ref to="thm-ftc" /> が使えない）ことの現れです。実際、2 つの道をつないだ閉道の上での積分は $i\pi - 0 = i\pi \ne 0$ になります。
</Solution>
</Exercise>

<Exercise id="exr-cif-compute" difficulty="標準">
$\displaystyle\oint_{|z|=2}\frac{\cos z}{z\,(z^2+9)}\,dz$ を求めてください。

<Solution>
被積分関数の分母の零点は $z = 0$ と $z = \pm 3i$ です。$|z| = 2$ が囲むのは $|z| < 2$ で、この中にあるのは $z = 0$ だけです（$|\pm 3i| = 3 > 2$）。そこで
$$
\frac{\cos z}{z(z^2+9)} = \frac{f(z)}{z - 0},\qquad f(z) := \frac{\cos z}{z^2 + 9}
$$
と見ます。$D := \{z : |z| < 5/2\}$ とおくと、$\pm 3i\notin D$ なので $f$ は $D$ 上で正則、$f'$ も $D$ 上連続です。また $|z| = 2$ が囲む閉領域 $|z|\le 2$ は $D$ に含まれます。

したがって <Ref to="thm-cif" /> を $a = 0$ に対して適用でき、
$$
\oint_{|z|=2}\frac{\cos z}{z(z^2+9)}\,dz = 2\pi i\,f(0) = 2\pi i\cdot\frac{\cos 0}{0 + 9} = \frac{2\pi i}{9} .
$$
</Solution>
</Exercise>

<Exercise id="exr-ml-estimate" difficulty="標準">
$R > 1$ とし、$C_R$ を上半平面にある半円 $\gamma(t) = Re^{it}$（$t\in[0,\pi]$）とします。
$$
\left|\int_{C_R}\frac{dz}{z^2+1}\right| \le \frac{\pi R}{R^2 - 1}
$$
を示し、$R\to\infty$ でこの積分が $0$ に収束することを結論してください。

<Solution>
$C_R$ 上では $|z| = R$ です。三角不等式の変形（逆三角不等式）$|w_1 + w_2| \ge |w_1| - |w_2|$ を $w_1 = z^2$、$w_2 = 1$ に適用すると
$$
|z^2 + 1| \ge |z^2| - 1 = R^2 - 1 > 0
$$
（$R > 1$ より正）。したがって $C_R$ 上で
$$
\left|\frac{1}{z^2+1}\right| \le \frac{1}{R^2 - 1} =: M .
$$
また $L(C_R) = \int_0^\pi |iRe^{it}|\,dt = \int_0^\pi R\,dt = \pi R$ です。<Ref to="lem-ml" /> より
$$
\left|\int_{C_R}\frac{dz}{z^2+1}\right| \le M\,L(C_R) = \frac{\pi R}{R^2 - 1} .
$$

最後に $\dfrac{\pi R}{R^2-1} = \dfrac{\pi/R}{1 - 1/R^2} \to \dfrac{0}{1} = 0$（$R\to\infty$）なので、はさみうちにより積分は $0$ に収束します。

この評価は、留数定理を使って実軸上の広義積分 $\int_{-\infty}^{\infty}\frac{dx}{x^2+1}$ を計算するときに、「半円部分の寄与が消える」ことを保証する典型的な議論です。
</Solution>
</Exercise>

<Exercise id="exr-liouville" difficulty="難">
$f$ を $\mathbb{C}$ 全体で正則な関数（整関数）で、$f'$ は連続、さらにある定数 $M \ge 0$ があってすべての $z\in\mathbb{C}$ で $|f(z)|\le M$ を満たすとします。このとき $f$ は定数であることを示してください（リウヴィルの定理）。

<Solution>
$a, b\in\mathbb{C}$ を任意に取り、$f(a) = f(b)$ を示せば十分です。$a = b$ なら自明なので $a\ne b$ とします。

$R > 2\max(|a|, |b|)$ を満たす $R$ を取り、$C_R : |z| = R$（正の向き）とします。$a, b$ はともに $|z| < R$ の内部にあるので、<Ref to="thm-cif" /> より
$$
f(a) = \frac{1}{2\pi i}\oint_{C_R}\frac{f(z)}{z-a}\,dz,\qquad
f(b) = \frac{1}{2\pi i}\oint_{C_R}\frac{f(z)}{z-b}\,dz .
$$
辺々引いて、<Ref to="prop-basic" /> (1) と通分
$$
\frac{1}{z-a} - \frac{1}{z-b} = \frac{(z-b)-(z-a)}{(z-a)(z-b)} = \frac{a-b}{(z-a)(z-b)}
$$
を使うと
$$
f(a) - f(b) = \frac{a-b}{2\pi i}\oint_{C_R}\frac{f(z)}{(z-a)(z-b)}\,dz .
$$

$C_R$ 上での評価をします。$|z| = R$ かつ $|a| < R/2$ なので、逆三角不等式から $|z - a| \ge |z| - |a| > R - R/2 = R/2$。同様に $|z-b| > R/2$。よって
$$
\left|\frac{f(z)}{(z-a)(z-b)}\right| \le \frac{M}{(R/2)^2} = \frac{4M}{R^2}
$$
です。$L(C_R) = 2\pi R$ なので <Ref to="lem-ml" /> より
$$
|f(a) - f(b)| \le \frac{|a-b|}{2\pi}\cdot\frac{4M}{R^2}\cdot 2\pi R = \frac{4M|a-b|}{R} .
$$

左辺は $R$ によらない定数であり、右辺は $R\to\infty$ で $0$ に収束します。$R$ は $R > 2\max(|a|,|b|)$ を満たす限りいくらでも大きく取れるので、$|f(a) - f(b)| \le 0$、すなわち $f(a) = f(b)$ です。$a, b$ は任意だったので $f$ は定数です。

（この証明の核心は、$f(a)$ と $f(b)$ を**同じ** 1 つの積分路 $C_R$ の上の積分で表し、差を取ると分子に $a - b$ が現れて分母の次数が 1 つ上がる、という点です。おかげで $R\to\infty$ での減衰が得られます。$f'$ の連続性は <Ref to="thm-cif" /> をそのまま使うために書きましたが、<Ref to="rem-goursat-to-general" /> のとおり本来は不要です。）
</Solution>
</Exercise>

## 参考文献

- L. V. Ahlfors, *Complex Analysis*, 3rd ed., McGraw-Hill, 1979 — Chapter 4「Complex Integration」。グルサの定理から出発してコーシーの理論を組み立てる標準的な構成です。
- E. M. Stein and R. Shakarchi, *Complex Analysis* (Princeton Lectures in Analysis II), Princeton University Press, 2003 — Chapter 2。三角形版グルサの定理と鍵穴型積分路による積分公式の証明が丁寧です。
- W. Rudin, *Real and Complex Analysis*, 3rd ed., McGraw-Hill, 1987 — Chapter 10「Elementary Properties of Holomorphic Functions」。凸集合上での原始関数の構成が明快です。
- 神保道夫『複素関数入門』岩波書店、2003 — 第 2 章・第 3 章。日本語で読める入門書として、線積分から積分公式までの流れが標準的にまとまっています。
- 高橋礼司『新版 複素解析』東京大学出版会、1990 — コーシーの積分定理のホモトピー版の扱いが詳しいです。
- É. Goursat, "Sur la définition générale des fonctions analytiques, d'après Cauchy", *Transactions of the American Mathematical Society* 1 (1900), 14–16 — 導関数の連続性を仮定しない証明の原論文です。

## Appendix: 単連結領域上の一般形へ

**凸領域での原始関数の構成。** <Ref to="thm-goursat" /> は三角形についての主張ですが、これだけで凸領域上のコーシーの積分定理が出ます。$D$ を凸領域、$f$ を $D$ 上正則とし、$z_0\in D$ を 1 つ固定して
$$
F(z) := \int_{[z_0, z]} f(w)\,dw \qquad (z\in D)
$$
と定めます。$D$ が凸なので線分 $[z_0,z]$ は $D$ に含まれ、この定義は意味をもちます。

$z\in D$ と、$z + h\in D$ となる十分小さい $h\ne 0$ を取ります。凸性から 3 点 $z_0, z, z+h$ を頂点とする閉三角形は $D$ に含まれるので、<Ref to="thm-goursat" /> よりその周に沿う積分は $0$、すなわち
$$
\int_{[z_0,z]} f + \int_{[z,z+h]} f + \int_{[z+h,z_0]} f = 0 .
$$
<Ref to="prop-basic" /> (2) より $\int_{[z+h,z_0]} f = -\int_{[z_0,z+h]} f = -F(z+h)$ なので、これは
$$
F(z+h) - F(z) = \int_{[z,z+h]} f(w)\,dw
$$
と書き直せます。ここで定数関数 $1$ の原始関数は $w$ ですから <Ref to="thm-ftc" /> より $\int_{[z,z+h]} dw = (z+h) - z = h$、したがって
$$
\frac{F(z+h) - F(z)}{h} - f(z) = \frac{1}{h}\int_{[z,z+h]}\bigl(f(w) - f(z)\bigr)\,dw .
$$
$f$ は $z$ で連続なので、$\varepsilon > 0$ に対し $\delta > 0$ を取って $|w - z| < \delta$ ならば $|f(w) - f(z)| < \varepsilon$ とできます。$0 < |h| < \delta$ のとき線分 $[z,z+h]$ 上の点はすべてこの条件を満たし、$L([z,z+h]) = |h|$ なので <Ref to="lem-ml" /> より右辺の絶対値は $\frac{1}{|h|}\cdot\varepsilon\cdot|h| = \varepsilon$ 以下です。よって $F'(z) = f(z)$、つまり $F$ は $f$ の原始関数です。<Ref to="thm-ftc" /> により、$D$ 内の任意の閉道に沿う $f$ の積分は $0$ になります。ここで $f'$ の連続性は一切使っていません。

**一般の単連結領域へ。** 凸領域から一般の単連結領域に進むには、積分の**ホモトピー不変性**を示します。$\gamma_0, \gamma_1$ が $D$ 内で（端点を固定して、あるいは閉道として自由に）ホモトープならば $\int_{\gamma_0} f = \int_{\gamma_1} f$、という主張です。証明の骨格は次のとおりです。ホモトピー $H:[0,1]^2\to D$ の像はコンパクトなので、$D$ の補集合との距離 $d > 0$ が正であり、さらに $H$ は一様連続です。そこで $[0,1]^2$ を十分細かい格子に分けると、隣り合う格子点に対応する曲線の断片はすべて半径 $d$ の同一の円板（凸領域）に収まります。各円板の上では前段により $f$ が原始関数をもつので積分が局所的に一致し、格子を横断して積み上げると $\int_{\gamma_0} f = \int_{\gamma_1} f$ が従います。

$D$ が単連結ならば <Ref to="def-simply-connected" /> により任意の閉道は 1 点にホモトープで、1 点に退化した道の上の積分は $0$ です。よって
$$
\oint_\gamma f(z)\,dz = 0 \qquad (\gamma \text{ は } D \text{ 内の任意の閉道})
$$
が、$f'$ の連続性を仮定せずに成り立ちます。<Ref to="rem-goursat-to-general" /> に掲げた「最終形」がこれです。同じ議論を <Ref to="thm-deformation" /> に適用すれば、変形定理からも $f'$ の連続性の仮定を外せます。詳細は Ahlfors の第 4 章、あるいは高橋『新版 複素解析』を参照してください。


</div>