复变函数论3-复变函数的积分2-柯西积分定理2：柯西积分定理的古尔萨证明

第一步:

$C$ 为 $D$ 内任一个三角形$△$.

假设 $\left|{\int }_{△}f(z)\mathrm{d}z\right|=M$. 我们来证明 $M=0$.

二等分给定三角形 $△$ 的每一边, 两两连接这些分点, $△$就被分成了四个全等的三角形,它们的周界是${△}_1,{△}_2,{△}_3,{△}_4($ 如图3.5).

显然有

$${\int }_{\Delta }f(z)\mathrm{d}z={\int }_{{\Delta }_1}f(z)\mathrm{d}z+{\int }_{{\Delta }_2}f(z)\mathrm{d}z+{\int }_{\Delta J}f(z)\mathrm{d}z+{\int }_{{\Delta }_1}f(z)\mathrm{d}z.$$

因为在这里沿每一条连接分点的线段的积分从彼此正好相反的方向取了两次,刚好互.相抵消.由于 $\left|{\int }_{△}f(z)\mathrm{d}z\right|=M$,根据(3.4), 周界 ${△}_k(k=1,2,3,4)$中至少有一个使沿着它所取积分的模不小于 $\frac{M}{4}$.比如说.假定这个周界是 ${△}^{(1)}={△}_1$,

$$\left|{\int }_{\Delta (1)}f(z)\mathrm{d}z\right|⩾\frac{M}{4}.$$

对于这个三角形周界 ${△}^{(1)}$, 和前面一样,我们把它分成四个全等三角形.于是, 在以 ${\Delta }^{(1)}$为周界的三角形内的四个三角形中我们又可以找到一个三角形,记它的周界为${△}^{(2)}$, 使

$$\left|{\int }_{{\Delta }^{(2)}}f(z)\mathrm{d}z\right|⩾\frac{M}{4^2}.$$

很明显. 这个作法可以无限制地做下去, 于是我们得到具有周界:$\Delta ={\Delta }^{(0)},{\Delta }^{(1)}$,${\Delta }^{(2)},{\Delta }^{(3)},\cdots ,{\Delta }^{(n)},\cdots$ 的三角形序列,其中每一个包含后面的一个而且有下列不等式:

$$\left|{\int }_{{\Delta }^{(n)}}f(z)\mathrm{d}z\right|⩾\frac{M}{4^n}(n=0,1,2,\cdots ).$$

用 $U$ 表示周界 $△$ 的长度, 于是周界${\Delta }^{(1)},{△}^{(2)},\cdots ,{△}^{(n)},\cdots$相应的长度就是

$$\frac{U}{2},\frac{U}{2^2},$$