If f has a pole of order m at z0, meaning g(z)=(z−z0)mf(z) extends holomorphically to z0 with g(z0)=0, then Res(f,z0)=(m−1)!1limz→z0dzm−1dm−1[(z−z0)mf(z)]. In particular, for a simple pole (m=1), Res(f,z0)=limz→z0(z−z0)f(z).
Why is it true?
Multiplying by (z−z0)m kills the singular part of the Laurent series, turning it into an ordinary Taylor series whose coefficients are just derivatives — so extracting a−1 becomes an ordinary calculus computation.
Proof sketch
Step 1 (Write the Laurent series explicitly). Since f has a pole of order m at z0, its Laurent series has the form f(z)=(z−z0)ma−m+⋯+z−z0a−1+a0+a1(z−z0)+⋯ with a−m=0.
Step 2 (Clear the pole). Multiply both sides by (z−z0)m: g(z):=(z−z0)mf(z)=a−m+a−m+1(z−z0)+⋯+a−1(z−z0)m−1+a0(z−z0)m+⋯, which is an ordinary power series, so g is holomorphic at z0.
Step 3 (Recognize the coefficient as a derivative). In this power series, a−1 is the coefficient of (z−z0)m−1. For any holomorphic g(z)=∑jcj(z−z0)j, Taylor's formula gives cj=j!g(j)(z0), so a−1=(m−1)!g(m−1)(z0).
Step 4 (Conclude). Since Res(f,z0)=a−1 and g(m−1)(z0)=limz→z0dzm−1dm−1[(z−z0)mf(z)], substituting gives Res(f,z0)=(m−1)!1limz→z0dzm−1dm−1[(z−z0)mf(z)]. Setting m=1 collapses the derivative and factorial to give Res(f,z0)=limz→z0(z−z0)f(z).