Write f(z)=u(x,y)+iv(x,y). Complex differentiability imposes u_x=v_y and u_y=−v_x; with continuous first partials locally, the Cauchy–Riemann equations establish analyticity there. They differ from real differentiability of a two-coordinate map. The conjugate function x−iy fails these equations on every open neighbourhood, although real partial derivatives exist. State the region being checked, not only a convenient point.
ฟังก์ชัน analytic สามารถดิฟเชิงซ้อนได้ทั่วทั้งบริเวณรอบข้างและมีซีรีส์กำลังที่ลู่เข้าในท้องถิ่น จุดเอกฐานที่ตัดออกได้สามารถเติมเต็มให้เป็น analytic ได้เมื่อฟังก์ชันมีค่าจำกัดใกล้จุดที่หายไป ขั้วจะมีส่วนหลักจำกัดในซีเรียลลาอองเรต์ ส่วนจุดเอกฐานสำคัญจะมีพจน์กำลังลบจำนวนมากไม่จำกัด เศษเหลือคือสัมประสิทธิ์ของ (z−a)⁻¹ ไม่จำเป็นต้องเป็นพจน์กำลังลบแรกหรือพจน์ที่มีค่ามากที่สุด
สำหรับขั้วแยกชนิดอันดับ m เขียน f(z)=g(z)/(z−a)^m โดยที่ g เป็นฟังก์ชัน analytic ที่ a เศษเหลือคือ g^(m−1)(a)/(m−1)! ขั้วอันดับง่ายใช้ g(a); ขั้วอันดับสองใช้ g′(a) สิ่งนี้มาจากการขยาย g เป็นซีรีส์เทย์เลอร์ ดังนั้น e^z/(z−a)² จะมีเศษเหลือเป็น e^a ในขณะที่ตัวเศษเป็นค่าคงที่และตัวส่วนเป็นขั้วอันดับสองบริสุทธิ์จะมีเศษเหลือเป็นศูนย์ อันดับของขั้วเพียงอย่างเดียวไม่กำหนดค่าอินทิกรัลตามเส้นโค้ง
For a positively oriented contour enclosing isolated singularities, the residue theorem gives ∮f(z)dz=2πi times the sum of enclosed residues, provided the function is analytic on the contour and elsewhere in the required interior. Reversing orientation changes the sign. Cauchy’s derivative formula is ∮g(z)/(z−a)^(m+1)dz=2πi g^(m)(a)/m! under its analytic-domain hypotheses. A singularity on the contour prevents direct application; a singularity outside contributes nothing to this contour.