前回記事で紹介した留数の定義を復習してから留数定理を述べます。 留数の定義:関数$f$のローラン展開を $$f(z)=\sum_{n=0}^{\infty}a_n(z-c)^n + \sum_{n=1}^{\infty}\frac{a_{-n}}{(z-c)^n},\, z\in A(c;R_1,R_2)$$ $$ a_n=\frac1{2\pi\,i}\int_{|z-c|=r}\frac{f(z)}{(z-c)^{n+1}}dz\,,(n\in \mathbb{Z})$$ として、$a_{-1}$を$f$の$c$における留数とよび$Res(f;c)$で表す。 留数定理:領域$K$において1…