$f$는 open set $\Omega$에서 holomorphic하다. $D$는 $z_0$를 중심으로 하는 closure가 $\Omega$ 내에 있는 disc일 때, $f$는 $z_0$에서 power series expansion을 가지고 모든 $z \in D$에 대해 계수는 다음과 같다. $$f(z) = \sum _{n=0} ^\infty a_n (z - z_0 )^n , \quad a_n = \frac {f^{(n)}(z_0)}{n!} \; \forall n\ge 0$$ 증명. $z \in D$를 고정하자. Cauchy integral formula에 의해\[ f(z) = \frac {1}{2 \pi i} \int _C \frac {f(\zeta)}{\zeta -z} ..

정리해서 글을 쓰는 것은 나중에.. 흐름이 눈에 잘 안들어온다.