カテゴリー: 複素関数論

複素数の指数関数表示について説明します。

複素数の指数関数表示とは次のようなものです。

こういう形なので、ｅ^ｉθの絶対値は１になります。

$$|e^{i\theta}|=|\cos\theta +i\sin\theta|=1$$

さて、このように「指数関数」で書くからには指数関数としての規則を満たしているのかというと、きちんと満たしています。これらの性質、特に微分の演算は表記を簡易にするので便利です。

見ての通り、この指数関数表示は三角関数の性質に直接的に関わるものです。
（ドモアブルの定理の成立根拠は三角関数の加法定理。）

実際、一見唐突にも見えるこの「指数関数の定義域の拡張」は三角関数をもとに考えられたものです。

「三角関数と指数関数では全然違うではないか？」という話ですが、それらをテイラー展開すると似た形をしているのです。（微分の性質も似ている事に注意：ｅの指数関数は微分に関して１回周期、三角関数は４回周期でもとの関数に戻ります。さらに正弦関数と余弦関数は微分により符号を変えながら互いに互いの導関数に変化します。）

特にマクローリン展開（ｘ＝０でのテイラー展開）の形にすると形は似てきます。

$$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$$

$$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots$$

$$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots$$

ここで、正弦関数の場合は「偶数項」が抜けていますが、余弦関数を見るとちょうどそれを補うように項が並んでいるのです。（正弦関数を微分すると余弦関数になる事に対応します。）これを合わせると、ちょうど指数関数のほうで使っている項が並ぶ事になります。

しかしそれでも符号が変わっている箇所は対応しないという話になりますが、ここで指数関数ｅ^ｘに「ｉｘ」を「形式的に」代入してみるという工夫をしてみます。

$$e^{ix}=1+ix-\frac{x^2}{2!}-i\frac{x^3}{3!}+\frac{x^4}{4!}+i\frac{x^5}{5!}-\frac{x^6}{6!}+\cdots$$

これをよく注意して見ると、次の規則があります。

• 虚数単位ｉは奇数項にのみつき、偶数項にはつかない。
• 奇数項と偶数項に分けてみると、それぞれが１項ごとにプラスマイナスの符号が反転する。

そこで、奇数項と偶数項に分けて式を整理すると次のようになります。

$$e^{ix}=\left(1+\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots\right)+i\left(x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots\right)$$

$$=\cos x +i\sin x $$

このように「導出」できるわけですが、基本的には複素数の指数関数表示は上記のように「定義」するものになります。複素数の範囲に定義域を拡張する時には上記のようにすると定義するわけです。

しかしそういう事を言うと、定義域の拡張の際に「別のやり方」もあるのではないかという問題も起きます。上記のように定義する必然性がないのではないか、という事にもなります。

この件について複素関数論においては、「正則関数」になるように定義域を拡張する場合には上記のようにｅ^ｉθ＝cosθ＋ｉsinθ のようにするしかない、という位置付けになります。（その際にも重要になるのはじつはテイラー展開です。）

複素関数論の積分の理論における、コーシーの積分定理と、コーシーの積分公式について述べます。両者は名称が似ていて実際極めて近い関係にありますが、式の内容と使い方が少しだけ違うので名称が微妙に分けられているのです。

複素関数の微分、複素関数の積分の基本的な考え方は別途にまとめています。

■ 定理の内容　■ 証明　■ コーシーの積分公式　

定理の内容

コーシーの積分定理とは、積分経路が閉曲線である場合に成立する次の関係式です。

この定理が適用できる条件として領域内で正則であるという事がじつは重要で、１点でも正則でない部分があれば適用はできないのです。

正則でない・・実質的には「微分可能でない」という点は、多くの場合は分母が０になって関数自体定義できないパターンです。しかし、そのような正則でない点が有限個の場合などは、その周囲だけを除いてあげた領域を考えてコーシーの積分定理を適用できたりしいます。その考え方は後述する「コーシーの積分公式」に深く関わります。

しかしこの公式が確かに成立すると分かった時点で、あとは比較的速やかに話が進むのです。

定理の証明

複素数の積分については「積分経路を閉曲線にとった場合」には次の式が成立します。

このグリーンの公式が成立する根拠については、別途に詳しく述べています。積分の経路が閉曲線であるという事がポイントです。複素関数論の初歩の中で、ここが一番難しい・理解しにくいという人も多いのではないかと思います。

グリーンの公式が成立するという条件のもとでは、「コーシーの積分定理」の証明はそれほど難しくはないのです。

グリーンの公式において、関数ｆ(ｚ)が「正則である」という条件をつけます。これは、大雑把には領域内の任意の点で微分可能であるという感覚です。

この時には、グリーンの公式に加えて、複素数の微分のほうについて「コーシー・リーマンの関係式」が成立します。ｆ(ｚ)＝ｕ(ｘ,ｙ)＋ i ｖ(ｘ,ｙ)とした時の、ｕとｖに対する偏微分についての関係式です。

グリーンの公式の積分の中身を、ｕとｖで表してみます。

$$\left(i\frac{\partial}{\partial x}-\frac{\partial}{\partial y}\right)f(x,y)=\left(i\frac{\partial}{\partial x}-\frac{\partial}{\partial y}\right)(u+iv)$$

$$=i\frac{\partial u}{\partial x}-\frac{\partial u}{\partial y}-\frac{\partial v}{\partial x}-i\frac{\partial v}{\partial y}$$

$$=-\left(\frac{\partial u}{\partial y}+\frac{\partial v}{\partial x}\right)+i\left(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y}\right)$$

こういうふうになるので、経路Ｃが閉曲線でｆ(ｚ)が正則という条件なら、関数と経路の形によらず定積分の「積分の中身」の値がうまい具合に必ずゼロになるので、定積分の値もゼロになるという事です。

$$f(z)が正則ならば\left(i\frac{\partial}{\partial x}-\frac{\partial}{\partial y}\right)f(x,y)=-\left(\frac{\partial u}{\partial y}+\frac{\partial v}{\partial x}\right)+i\left(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y}\right)=0$$

$$したがって、f(z)が正則ならば\int_Cf(z)dz=\int\int_D\left(i\frac{\partial}{\partial x}-\frac{\partial}{\partial y}\right)f(x,y)dxdy【証明終り】$$

この定理は、別に魔法によって不思議に成り立つのではなくて「積分経路Ｃが閉曲線で領域内でｆ(ｚ)が正則」という、言ってみれば特殊な条件を課して限定する事によって成立するのです。

コーシーの積分公式

もう１つ重要なものとして、名称が少し紛らわしいのですが「コーシーの積分公式」というものがあります。これは、コーシーの「積分定理」のほうから導出されるものです。

コーシーの「積分定理」が適用できる複素関数と領域があったとします。そこで、領域内のてきとうな複素数ｚ＝ｗを考えて、関数をｚ－ｗで割ります。

$$\frac{f(z)}{z-w}を考えます。$$

ｆ(ｚ)が微分可能なら、それをｚ－ｗで割った関数も微分可能です。

ただし、ｚ＝ｗを除きます。

ｚ＝ｗにおいては、関数が定義されないので、当然微分不可能というわけです。
このように、わざと「微分不可能で正則でない点」を考えて、関数にくっつけているのです。

こういう場合に積分はどう考えるのかというと、もとの積分経路に、ｚ＝ｗを囲む（小さな）円を経路として付け足した別の経路を考えてみるのです。なぜ「円」を考えるのかというと、これは閉曲線の中では最も計算しやすいためです。

その円周の経路をＣ１としましょう。もとの経路をＣとし、合わせた経路をＣ＋Ｃ１とここでは書く事にします。積分する時には、次のように経路ごとに項を分ける事ができます。

このとき、小円の経路Ｃ１はその円に関して言えば時計回りに積分が行われています。つまり、小円の経路だけで定積分を考えた場合、本来の符号とは逆であり、そのためマイナス符号をつけます。

$$\int_{C+C1}\frac{f(z)}{z-w}dz=\int_C\frac{f(z)}{z-w}dz-\int_{C1}\frac{f(z)}{z-w}dz$$

ここで、経路Ｃ＋Ｃ１に対してコーシーの積分定理を使います。
（その領域においてｚ＝ｗは除外されていて、含まれていない事に注意します。）

$$0=\int_C\frac{f(z)}{z-w}dz-\int_{C1}\frac{f(z)}{x-w}dz\Leftrightarrow \int_C\frac{f(z)}{z-w}dz=\int_{C1}\frac{f(z)}{x-w}dz$$

ここで、小円の経路Ｃ１のほうについて、ｚ＝ｗ＋ｒe^iθと置きます。これは、ｚ＝ｗを中心とした円周上の点を媒介変数表示したものです。ｒは何かてきとうな（小さい）実数であり、媒介変数はθです。

このとき、ｚ－ｗ＝ｒe^iθですから、分母が簡単になるという１つのカラクリがあります。変数変換をしていますので微分も必要になりますが、この場合指数関数の微分ですから計算は容易なのです。

$$\frac{dz}{d\theta}=rie^{i\theta}と合わせて、\int_{C1}\frac{f(z)}{x-w}dz=\int_0^{2\pi}\frac{f(w+re^{i\theta})}{re^{i\theta}}\frac{dz}{d\theta}d\theta$$

$$=\int_0^{2\pi}\frac{f(w+re^{i\theta})}{re^{i\theta}}rie^{i\theta}d\theta =\int_0^{2\pi}if(w+re^{i\theta})d\theta$$

このように上手い具合に分母と、変数変換による微分の項が打ち消して消えます。

ここでｒ→０の極限を考えます。すると、f(ｗ＋ｒe^iθ) → ｆ(ｗ)です。（これは、より厳密には上限で上から抑える不等式で示します。）

すると、次のようになるような、じゅうぶん小さいｒを必ず考える事ができるという事です。

$$\int_{C1}\frac{f(z)}{x-w}dz=i\int_0^{2\pi}f(w)d\theta=if(w)\left[\hspace{3pt}\theta \hspace{3pt}\right]_0^{2\pi}=i(2\pi-0)f(w)=2\pi if(w)$$

定積分の計算の最後のところは、ｆ(ｗ)が（θに関して）定数であるのでこのようにできるという事です。

整理しますと、結局次のように言えます。

$$\int_C\frac{f(z)}{z-w}dz=2\pi if(w)\Leftrightarrow f(w)=\frac{1}{2\pi i}\int_C\frac{f(z)}{z-w}dz$$

ここで、もとの閉曲線Ｃで囲まれた領域内の点ｗは、何か特別な点ではなく、領域内の任意の点でよかったわけです。ｗを変数ｚに置き換えて、積分の中の変数を何か別のてきとうなものを使っても同じ意味になります。このように、領域内の任意の複素数ｚにおけるｆ(ｚ)を積分で表したものがコーシーの「積分公式」です。

積分の中の変数の記号は別に何を使ってもよいのですが、「複素数の」変数である事を強調するためにギリシャ文字の「ゼータ」を使う事が多いようです。ここでもその表記を使っています。ｔなどを使っても別によいのですが、これは媒介変数として実数の変数を表す事が多いので、積分変数としてゼータを使用する事は、なるべく誤解を避けるための習慣であろうかと思います。

複素数の微積分の理論はこの先も続いていきますが、初歩的な理論としてはここまで理解していればそれほど難解な理論は少ないと思います。

複素数の微分に続いて、このページでは複素数の積分について述べます。
これは学校での授業としては大学数学の範囲になります。

定義と考え方

■ 積分をどのように定義する？
■ 複素関数の定積分には「積分経路」が必要
■ 複素数の積分・・何に使う？　

積分をどのように定義する？

複素関数の微分は比較的分かりやすいかと思いますが、
では複素関数のの積分は一体どのように定義するのかという話になります。

考え方は、実数関数の積分と同じく、「和」を考えます。

ｚ＝ｘ＋ i ｙのときに、ｄｚ＝ｄｘ＋ i ｄｙを考えるのです。

そして、複素関数ｆ(ｚ)に対してｆ(ｚ)ｄｚ＝ｆ(ｚ)ｄｘ＋i ｆ(ｚ)ｄｙを考え、加え合わせます。
これが複素関数の積分です。

ｘとｙが媒介変数ｔ(実数)で結ばれる時は、このｔによって複素変数ｚが定まるので、ｔによる積分と考える事もできます。

これら２つの複素関数の積分の定義は同等なものとなります。

複素関数の定積分には「積分経路」が必要

さて、実数関数の場合の定積分には「積分区間」がありました。複素関数の場合にもそれに相当するものがありますが、じつは積分の区間ではなく「経路」が必要になります。

単純にｘを動かして次にｙを動かした場合、それは多くある積分経路の１つです。

積分経路は、直線であったり、曲線であったり、円のような閉曲線でもあり得ます。

このような積分経路が定められた時、ｚ＝ｘ＋ i ｙのｘとｙには従属関係があります。

$$例えば直線であればy=2x,円であればx^2+y^2=1といった関係です。$$

このような時には媒介変数ｔでｘとｙを結ぶ事ができます。円の場合には、媒介変数は角度で考える事が普通です。

積分経路上の１つ１つの点に対して、複素関数ｆ(ｚ)の値が存在する形になります。

積分経路が閉曲線の場合、基本的には「反時計回り」が正の方向です。もう少し詳しく言うと「経路を進む方向に対して領域が常に左側に来るように」正の向きをとります。

この向きの取り方は閉曲線の中に別の閉曲線による「穴が」あるような場合の正の向きの考察に役立ちます。（そのような場合も一番外側の閉曲線を「反時計回り」で考える事で正しく向きを処理する事も可能です。）

複素数の積分・・何に使う？

複素数の積分は間接的に物理等の理論に関わり、数学上も時折使う事のあるツールの１つとしてところどころで顔を出します。

まず１つは、特定の実数関数の定積分（多くの場合積分区間を無限大にする「広義積分」ですが）の値を出すのに、複素積分を使う事があります。あるいは、そのような手順を踏まないと手計算では値を出せないと言ったほうがよいでしょう。そういった種類の定積分があるわけです。

もう１つは、分母に変数があり、その変数が０になってしまう場合（「極」と言います）の処理のために複素積分の考え方をうまく使える場合があります。これについては「コーシーの積分公式」との関連が深いです。

数学の理論の中では「代数学の基本定理」について、複素数の積分の理論の一部を適用する事によって証明が可能です。（他の方法でも証明はできます。証明の方法は多いです。）

ここでは複素関数論におけるグリーンの公式と呼ばれる式について説明します。
同じ名前の公式はいくつもあって大変紛らわしいのですが、ここでは複素関数論の、複素数の積分に関して成立する関係式について述べます。

この公式は、複素関数論で重要なコーシーの積分定理を証明するのに必要です。

複素数の定義と基本事項については別途に詳しくまとめています。

グリーンの公式とは？

■ 公式の内容　■ 公式の別の表記法　■ 複素関数論の中での位置付け　

公式の内容

複素関数論におけるグリーンの公式とは、次の複素数の積分に関する関係式を言います。

$$ここで、\left(i\frac{\partial}{\partial x}-\frac{\partial}{\partial y}\right)f(x,y)=\left(i\frac{\partial f(x,y)}{\partial x}-\frac{\partial f(x,y)}{\partial y}\right)\hspace{5pt}の事です。$$

また、ここでのｘやｙでの偏微分は、
これらの変数を「独立変数であるように見なした時の」偏微分の計算を指します。

そのように言うのは、ここでは積分の経路として閉曲線を指定しますから、ｘとｙは独立変数ではなく従属関係にあるからです。（例えばｙ＝２ｘなど。これについてはこのページの後半でも再度触れます。 ）

ただし、ここでの偏微分で表される計算は、通常の独立多変数に対する偏微分の時と同じく、「ｙを固定してｘだけで微分操作をする」という意味である・・という事です。

公式の別の表記法

全く同じ公式を、別の表記で表す事もあります。

これは、形式的には「複素変数ｚで偏微分する」形で表されますが、じつはこれは普通の意味での偏微分ではなく、複素関数論において特別に定義される記号です。

この記号を使うと、上記のグリーンの公式は次のように書けます。

どちらの表記法でも問題ないですが、記号の定義を知らないと、「共役複素数で偏微分って何の事・・？？」と、思ってしまうかもしれませんね。その記号は、あくまで定義によって特別に意味が約束されているものです。

複素関数論の中での位置付け

冒頭で少し触れていますが複素関数論の複素数の積分論の中で、「コーシーの積分定理」というものがあります。これは、正則関数を閉曲線に沿って定積分すると必ず０になるというもので、これをもとに種々の複素数の積分の理論は組み立てられています。

それで、その積分定理は自明な事かというと、そうではありません。その定理の証明のためにグリーンの公式が使用されます。

ですから複素関数論におけるグリーンの公式とは、言ってみれば理論上重要な定理の「補題」的な位置付けにあると言えると思います。

もちろん、必要があれば他の用途に使う事もできます。また、考え方自体は多変数関数の線積分や、ベクトル解析に共通するところがあるのでそれらの分野にも考え方を適用できます。

グリーンの公式の証明

■ 証明のポイント　■ 積分経路と媒介変数　■ 証明の計算　

証明のポイント

積分の経路として「閉曲線」考えている事と、定積分を行う場合には複素数の実部と虚部に分けて考えてよい事がポイントです。

公式の内容を見ると、曲線上の積分を領域内の重積分で表せるという事であるわけですが、ある関数はその導関数の定積分として上手く表せる事を利用します。この考え方はベクトル解析での定理の一部を示す時にも使用されます。

定積分を考える時には項が２つ出てきてしまいますが、閉曲線を考えている事がポイントで、上手い具合に閉曲線の「上部分」「下部分」等の２つの部分に分けて必要な項を作れるのです。この時、後述しますがｘとｙによる積分それぞれについてそれらを考えるので、少なくとも４つの経路を考え、最後に合算します。

証明の後半では重積分の結果は積分変数の順序によらない事も使用します。

積分経路と媒介変数

ｄｚ＝ｄｘ＋iｄｙ において、閉曲線Ｃを指定する場合はｘとｙに従属関係があって、
１つの媒介変数ｔで表す事ができます。

$$x=x(t),\hspace{5pt}y=y(t)$$

そこで、微分についても ｚ＝ｚ(ｘ,ｙ) に対して次の関係があるわけです：

$$dz=\frac{\partial z}{\partial x}\frac{dx}{dt}dt+ \frac{\partial z}{\partial y}\frac{dy}{dt}dt $$

ここで、ｘ、ｙによる偏微分は
「あたかも独立変数であるように、１つの変数のみで微分する」操作の意味です。

ｔによる微分の部分は、媒介変数が１つだけですので、
偏微分として書かなくてもよく通常の微分になります。

さて、となると、ｚ＝ｘ＋iｙ ですから、

$$ \frac{\partial z}{\partial x} =1,\hspace{10pt} \frac{\partial z}{\partial y} =i $$

となるので結局、

$$dz=\frac{dx}{dt}dt+ i\frac{dy}{dt}dt $$

という事になり、ｔで定積分を行う場合には１変数の合成関数の積分公式がそのまま使えて、結局ｘとｙのそれぞれで積分して加えればよいという事です。

もともとｄｚ＝ｄｘ＋iｄｙなので最初から積分する時には定積分を２つの部分の和にできると考えてもよいのですが、ここでは積分経路上でｙとｘには従属関係がある点に注意して説明をしておきました。

証明の計算

【グリーンの公式の証明】

さて、閉曲線上を経路として定積分する時にｘとｙに分けて定積分すればよいわけですが、ここでさらに、積分経路もｘとｙの各々について２つ以上に分けます。少なくとも４つの定積分を考える事がポイントです。

まずｘについて。
閉曲線を切断するような、ｙが一定の直線分と、平面図上で閉曲線の上側の部分と下側の部分を考えます。この時、直線分に対して必ず上下に閉曲線の一部が対になって存在するようにします。このような閉曲線の分割を最低でも１つ行い、ものによっては２つ以上行います。

ここで、ｆ(ｚ)＝ｆ(ｘ,ｙ)＝ｆ(ｘ＋iｙ) である事に注意します。まず「直線状の線分と閉曲線の下側の経路」（必ずしもつながってなくてもいい）で構成されるｘによる定積分を、ぐるりと反時計周りに１周するように考えます。

$$\int_{C1}f(z)dx-\int_{CX}f(z)dx=\int_{X1}^{X2}f(x+iy)dx- \int_{X1}^{X2}f(x+iY_1)dx $$

$$=\int_{X1}^{X2} \left( – \int_ {y(x)}^{Y1} \frac{\partial}{ \partial y}f(x+iy)dy\right)dx = -\int_{X1}^{X2} \left(\int_ {y(x)}^{Y1} \frac{\partial}{ \partial y}f(x+iy)dy\right)dx $$

分割に使う直線分が２つ以上の場合も同様に定積分を考えておきます。

関数ｆ(ｘ,ｙ)＝ｆ(ｘ＋iｙ) を、積分変数のみに着目した意味での（偏）導関数を定積分したものと考えるわけです。（プライスマイナスの符号に注意。）この考え方はベクトル解析などでも使います。

次に、 「直線分と閉曲線の上側の経路」で構成されるｘによる定積分を、反時計周りに１周するように考えます。この時、直線部分は上記と同じものを共有してますが、積分の方向が逆です。曲線部分も積分の方向が逆なので符号が変わる点がポイントです。

$$-\int_{C2}f(z)dx+\int_{CX}f(z)dx=-\int_{X1}^{X2}f(x+iy)dx+\int_{X1}^{X2}f(x+iY_1)dx $$

$$= -\int_{X1}^{X2} \left( \int_{Y1}^{Y(x)}\frac{\partial}{ \partial y}f(x+iy)dy\right)dx $$

さきほどとは曲線が別のものになるので、y = y(x) ではなく y = Y(x) という形に書いて区別しています。

ここで、上記の２つのｘについての「反時計回り」の定積分を加え合わせると、

$$\left( \int_{C1}f(z)dx-\int_{CX}f(z)dx \right)+ \left( -\int_{C2}f(z)dx+\int_{CX}f(z)dx \right) = \int_{C1}f(z)dx -\int_{C2}f(z)dx $$

$$= -\int_{X1}^{X2} \left( \int_ {y(x)}^{Y1} \frac{\partial}{ \partial y}f(x+iy)dy\right)dx -\int_{X1}^{X2} \left( \int_{Y1}^{Y(x)}\frac{\partial}{ \partial y}f(x+iy)dy\right)dx $$

$$= -\int_{X1}^{X2} \int_{y(x)}^{Y1} \frac{\partial f(x+iy) }{ \partial y}dxdy- \int_{X1}^{X2} \int_{Y1}^{Y(x)} \frac{\partial f(x+iy) }{ \partial y}dxdy $$

$$ =-\int_{X1}^{X2} \int_{y(x)}^{Y(x)} \frac{\partial f(x+iy) }{ \partial y}dxdy=-\int\int_D \frac{\partial f(x,y) }{ \partial y}dxdy $$

このように、もとの関数を（１つの変数以外は固定する意味で）偏微分したものの領域内に渡って重積分したものになるわけです。結果的にマイナス符号がついたのは「反時計回り」を考えた事に由来し、仮に「時計回り」を考えるならこの符号は逆になりプラスになります。ｘが変数の場合、右から左と、左から右に積分する場合では符号は逆になります。

上記のように重積分の形になると、それを「領域全体にわたって行う積分」とみなせます。

分割が２つ以上の場合でも、定積分を全て加え合わせて閉曲線が全てつながるようにします。（補助的に考えている直線状の線分の部分は、分割がいくつであっても全てプラスマイナスが打ち消し合って定積分の合計は０になります。）

今度は、ｙについての定積分についても同じ事をやります。途中の計算は全く同じなので少々省きますが、次のようになるのです。

$$\left( \int_{C3}f(z)dy-\int_{CY}f(z)dy \right)+ \left( -\int_{C4}f(z)dy+\int_{CY}f(z)dy \right) = \int_{C3}f(z)dy -\int_{C4}f(z)dy $$

$$ =\int_{Ya}^{Yb} \int_{x(y)}^{X(y)} \frac{\partial f(x+iy) }{ \partial x}dxdy=\int\int_D \frac{\partial f(x+iy) }{ \partial x}dxdy $$

ｙのほうには i を添えたうえで、得られた結果を合わせると次のようになります。

$$ \int_{C1}f(z)dx -\int_{C2}f(z)dx + i\int_{C3}f(z)dy -i\int_{C4}f(z)dy $$

$$= \int\int_D \left( – \frac{\partial }{ \partial y} +i\frac{\partial }{ \partial x} \right) f(x+iy) dxdy= \int\int_D \left( i\frac{\partial }{ \partial x} – \frac{\partial }{ \partial y} \right) f(x,y) dxdy $$

分割した部分がｘとｙについて合わせて４つを超える場合でも同じで、全て加え合わせます。

再びｄｚ＝ｄｘ＋ i ｄｙに戻ると、閉曲線Ｃ上で反時計周りに定積分を行う場合は次のようになります。

$$\int_Cf(z)dz=\int_Cf(x,y)dx+i\int_Cf(x,y)dy$$

$$= \int_{C1}f(z)dx -\int_{C2}f(z)dx + i\int_{C3}f(z)dy -i\int_{C4}f(z)dy $$

分割の部分が多い場合も同様です。もとの閉曲線の曲線部分が全て入るようにします。

ｘについては、左→右：＋符号　右→左：逆で－符号
ｙについては下→上：＋符号　上→下：－符号　として部分ごとに定積分を対応させます。

これによって、結局公式の通りの関係式が成立する事になります。

$$ \int_Cf(z)dz=\int_Cf(x,y)dx+i\int_Cf(x,y)dy = \int\int_D \left( i\frac{\partial }{ \partial x} – \frac{\partial }{ \partial y} \right) f(x,y) dxdy 【証明終り】$$

参考：長方形による近似を使う証明の方法

参考までに、積分経路として小さな「長方形」を考えて、これの合計として任意の閉曲線を経路とする時も成立するという証明の仕方もあります。

こちらの考え方だと、長方形ですので最初からｘのみ、ｙのみという考え方が使えて、積分の計算がらくです。積分の方向を反時計回りという事で決めておけば、ぴったり隣り合う長方形同士の接する辺同士は積分が打ち消し合って周囲だけの分が経路として残るというわけです。

ただしこの方法の場合、じつは経路自体の形が「長方形 → 任意の（滑らかな）閉曲線」に移行する段階の時の話が少し面倒です。実際、円のような曲線を多角形で近似するような事は珍しくありませんが、「長方形」で近似するという事は、他の数学の分野ではあまり多くやらない事かと思います。一般の多くの複素関数論の教科書では、この詳細をあまり書きたがらない傾向があるように思います。

本質的には上記で述べた証明方法と比べて、やる事はそんなに変わりません。

前述の通り、複素関数論におけるグリーンの公式は、コーシーの積分定理に結びつく事で、さらなる積分の理論を組み立てる事に使われていきます。