复变函数论4-解析函数的幂级数表示法4-4-解析函数最大模原理1：最大模原理【设函数f(z)在区域D内解析，则│f(z)│在D内任何点都不能达到最大值，除非在D内f(z)恒等于常数】

下面的定理是解析函数论中极有用的定理之一.

定理 4.24 (最大模原理)

设函数 $f(z)$ 在区域 $D$ 内解析, 则 $|f(z)|$ 在$D$ 内任何点都不能达到最大值,除非在 $D$ 内 $f(z)$ 恒等于常数.

证
如果用 $M$ 表示 $|f(z)|$ 在 $D$ 内的最小上界, 则必 $0<M<+\infty$. 假定在 $D$ 内有一点 $z_0$, 函数 $f(z)$ 的模在 $z_0$ 达到它的最大值, 即 $\left|f\left(z_0\right)\right|=M$.

(1) 应用平均值定理 (定理 3.12) 于以 $z_0$ 为圆心,并且连同它的周界一起都全含于区域 $D$ 内的一个圆$\left|z-z_0\right|<R$, 就得到

f ( z 0 ) = 1 2 π ∫ 0 2 π f ( z 0 + R e i φ ) d φ . f\left(z_{0}\right)=\frac{1}{2 \pi} \int_{0}^{2 \pi} f\left(z_{0}+R \mathrm{e}^{i \varphi}\right) \mathrm{d} \varphi . f(z