莫雷拉定理

莫雷拉定理有一个相对简单的证明。不失一般性，我们可以假设D是连通的。固定D内的一个点a，并定义D内的一个复值函数F：

${\displaystyle F(b)=\int _{a}^{b}f(z)\,dz.\,}$ 

这个积分可以是沿着D内从a到b的任何一条路径。函数F是定义良好的，因为根据假设，f沿着从a到b的任何两条曲线的积分一定是相等的。根据微积分基本定理，可知F的导数是f：

${\displaystyle F'(z)=f(z).\,}$ 

特别地，函数F是全纯的。则f也一定是全纯的，因为它是全纯函数的导数。

一致极限

假设f₁, f₂, ...是一个全纯函数的序列，在开圆盘内一致收敛于连续函数f。根据柯西积分定理，可知对每个n，顺着任意圆盘内的闭曲线C，

${\displaystyle \oint _{C}f_{n}(z)\,dz=0}$ 

而一致收敛则意指，对每个闭曲线C，

${\displaystyle \oint _{C}f(z)\,dz=\lim _{n\rightarrow \infty }\oint _{C}f_{n}(z)\,dz=0}$ 

，因此根据莫雷拉定理，f　一定是全纯函数。这个事实可以用来证明对每一个开集Ω ⊆ C，由所有有界解析函数u : Ω → C 所组成的集合A(Ω) 会是一个在最小上界范数下的复巴拿赫空间。

无穷级数和积分

莫雷拉定理可以用于证明由级数或积分所定义的函数的解析性，例如黎曼ζ函数：

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}}$ 

或伽玛函数：

${\displaystyle \Gamma (\alpha )=\int _{0}^{\infty }x^{\alpha -1}e^{-x}\,dx.}$ 

• Ahlfors, Lars, Complex Analysis, McGraw-Hill, January 1, 1979, ISBN 978-0070006577 
• Conway, John B., Functions of One Complex Variable I, Graduate Texts in Mathematics, Springer, April 1, 2001, ISBN 978-3540903284 
• G. Morera, "Un teorema fondamentale nella teoria delle funzioni di una variabile complessa", Rend. del R. Instituto Lombardo di Scienze e Lettere (2) 19 (1886) 304–307
• Rudin, Walter, Real and Complex Analysis, McGraw-Hill, May 1, 1986, ISBN 978-0070542341 

• 埃里克·韦斯坦因. Morera’s Theorem. MathWorld. 
• 莫雷拉定理的教程