Intuition The ONE core idea
A contour integral is nothing but adding up little arrows as you walk along a path in a flat 2D plane . Everything else — Cauchy's theorem, residues, 2 π i — is just the answer to one question: when you walk all the way around a loop, do the arrows cancel to zero, or does a "spike" inside force a leftover?
Before you can read the parent note you must own nine building blocks . We install them one at a time, each one earning its place before the next. Never do we use a symbol we have not first drawn.
Definition A complex number is a point in a plane
Write z = x + i y . The letter x is how far right you go, y is how far up . The symbol i is a bookkeeping tag meaning "this part points in the up-direction". So z is just an address ( x , y ) on a flat map, called the complex plane and written C .
Look at the figure. The horizontal axis is the real axis (all the ordinary numbers). The vertical axis is the imaginary axis . The point z = 3 + 2 i is found by walking 3 right and 2 up. That is all i does at this stage — it separates the up-part from the right-part so we never mix them.
Intuition Why a plane and not a line?
Ordinary calculus lives on a line: you can only go left or right. Complex integration needs two directions of freedom because a path can curve, loop, and enclose regions. The whole subject exists because z lives in 2D.
x = real part of z , written Re ( z ) the horizontal coordinate.
y = imaginary part, written Im ( z ) the vertical coordinate (the number multiplying i ).
Definition Modulus = length of the arrow
Draw an arrow from the origin 0 to the point z . Its length is
∣ z ∣ = x 2 + y 2 .
This is just Pythagoras on the right triangle with legs x and y .
Why do we need it? The parent note says things like "± i lies inside ∣ z ∣ = 2 because ∣ ± i ∣ = 1 < 2 ." That sentence is only readable if you know ∣ z ∣ measures distance from the origin. The circle ∣ z ∣ = 2 is literally "all points exactly 2 away from home".
∣3 + 2 i ∣ = 9 + 4 = 13 ≈ 3.6 . And ∣ i ∣ = 0 2 + 1 2 = 1 , so i sits on the unit circle.
Definition Euler's spinner
The symbol e i t means the point on the unit circle at angle t :
e i t = cos t + i sin t .
As the clock t ticks from 0 up to 2 π , this point sweeps counterclockwise once around the unit circle , starting at 1 (angle 0 ) and returning to 1 (angle 2 π ).
In the figure, t is the angle measured from the positive real axis. At t = 0 we are at 1 + 0 i ; at t = 2 π we are at i (straight up); at t = π at − 1 ; at t = 2 3 π at − i .
Intuition Why this and not "
x 2 + y 2 = 1 "?
The equation x 2 + y 2 = 1 describes the circle but gives no clock — no sense of which way or how fast you move. Contour integration is a walk , so we need a moving point with a time variable. e i t is the cleanest such walker: it moves at steady speed, exactly once, counterclockwise. That's why every example in the parent uses z ( t ) = e i t .
e i t is a huge number."
It is not. For any real t , ∣ e i t ∣ = 1 : it always sits on the unit circle , never runs off to infinity. The exponential of a real number grows; the exponential of an imaginary number rotates.
Definition Contour and parametrisation
A contour γ (Greek letter gamma ) is a curve in the plane — a road. To drive it we give a parametrisation z ( t ) for t ∈ [ a , b ] : a rule telling you exactly where you are at each clock time t . At t = a you're at the start; at t = b at the end.
The figure shows two contours: a straight segment z ( t ) = t ( 1 + i ) from 0 to 1 + i (used in the parent's Example 1), and a circular loop z ( t ) = e i t . A small ∮ (circle-on-the-integral) is used instead of ∫ when the road is a closed loop — you end where you started.
Intuition Why "piecewise-smooth"?
"Smooth" means the road has a well-defined direction of travel (a velocity) at every point. "Piecewise" allows a few sharp corners — like a square contour — so long as each straight bit is smooth. We need direction because, as we'll see, the direction of travel is part of the answer.
Symbol γ the path/contour you integrate along.
Symbol ∮ an integral over a closed loop.
z ( t ) your position at clock-time t (the parametrisation).
d z is a tiny arrow, not a tiny number
The derivative z ′ ( t ) is your velocity — a vector telling you which way and how fast you're moving at time t . Then
d z = z ′ ( t ) d t
is a tiny step-arrow : a small displacement along the road, carrying direction .
Why does direction matter? In ordinary calculus d x is a tiny scalar — a sliver of length. Here d z is a tiny complex number , so it has both a length and an angle. When we sum ∑ f ( z k ) Δ z k , each term multiplies the local value f ( z k ) by the local step-arrow. This is why z ′ ( t ) can never be forgotten — it's not decoration, it is the direction of the walk.
Worked example Velocity on the unit circle
If z ( t ) = e i t then z ′ ( t ) = i e i t . The extra factor i rotates the position by 90° : your velocity points perpendicular to your position arrow — exactly what "going around a circle" means. In the parent's Step 1 this i e i t is what makes the 2 π i appear.
Common mistake Dropping the
z ′ ( t ) factor.
Writing ∮ z d z = ∫ 0 2 π e i t 1 d t (forgetting i e i t ) gives the wrong answer. Always turn d z into z ′ ( t ) d t first.
Definition Splitting a complex function into two real ones
A complex function f eats a point z = x + i y and returns another complex number. Split its output into real and imaginary parts:
f ( z ) = u ( x , y ) + i v ( x , y ) .
Here u and v are two ordinary real functions of two real variables . Think of f as attaching a little arrow f ( z ) to every point z of the plane.
This split is exactly what lets the parent note apply real-calculus tools (Green's theorem ) to a complex problem: it turns one complex integral into two real ones.
f ( z ) = z 2
z 2 = ( x + i y ) 2 = ( x 2 − y 2 ) + i ( 2 x y ) , so u = x 2 − y 2 and v = 2 x y .
u the real part of the output f ( z ) .
v the imaginary part of the output f ( z ) .
Definition Analytic function
f is analytic at a point if it has a genuine complex derivative there — meaning the rate of change h f ( z + h ) − f ( z ) settles to one answer no matter which direction the tiny step h points. This is a much stronger demand than real differentiability.
Analytic = the arrow-field f ( z ) is so beautifully organised that it has no "swirl" and no "spreading". When you walk a closed loop through such a field, the arrows perfectly cancel and you collect 0 . The precise algebra of "no swirl / no spread" is the Cauchy–Riemann equations u x = v y , u y = − v x — the engine of Cauchy's theorem in the parent.
z ˉ is a nice simple function so it's analytic."
The conjugate z ˉ = x − i y flips the up-direction; its complex derivative depends on which way h points, so it is not analytic. That is why ∫ γ z ˉ d z in the parent depends on the path.
Definition Singularity / pole
A singularity of f is a point where f blows up or fails to be analytic — a "bad point". A pole is a specific kind: where f behaves like ( z − z 0 ) k something nonzero near z 0 . The simplest is z 1 , which has a pole at 0 .
The residue of f at a pole z 0 , written Res z 0 f , is the "leftover strength" of that spike — precisely the coefficient of the z − z 0 1 term in its Laurent series (a power series that allows negative powers). The parent's Step 2 shows only this 1/ z term survives a loop, so residues are the only thing a closed-loop integral can ever detect.
For a simple pole of p ( z ) / q ( z ) where q ( z 0 ) = 0 but q ′ ( z 0 ) = 0 :
Res z 0 q p = q ′ ( z 0 ) p ( z 0 ) .
Worked example Residue check
For z 2 + 1 z at z = i : here p = z , q = z 2 + 1 , q ′ = 2 z , so Res i = 2 i i = 2 1 — matching the parent's Example 2.
2 π i comes from
Drive once counterclockwise around the unit circle collecting the arrow z 1 at each point. Every tiny contribution is z 1 ⋅ d z = e i t 1 ⋅ i e i t d t = i d t . Summed over the full trip t : 0 → 2 π gives i ⋅ 2 π = 2 π i . The 2 π is the angle of a full turn; the i is the perpendicular velocity. Every residue answer is a multiple of this one loop.
2 π i the value of one counterclockwise loop around a single simple spike of strength 1 .
Complex number z = x + iy
Euler spinner e to the it
Velocity z prime and step dz
Residue leftover strength
Residue theorem 2 pi i sum Res
Each box must be solid before the next: you cannot understand d z without z ( t ) , and you cannot understand z ( t ) without e i t and the plane C .
What does z = x + i y represent geometrically? A point (address) in the 2D complex plane; x right, y up.
What does ∣ z ∣ measure and how is it computed? Distance from the origin;
∣ z ∣ = x 2 + y 2 .
Where does e i t sit and where does it start/end for t ∈ [ 0 , 2 π ] ? On the unit circle; starts and ends at 1 , sweeping once counterclockwise.
What is z ′ ( t ) for z ( t ) = e i t , and what does the factor i do? z ′ ( t ) = i e i t ; the i rotates velocity 90° so it is perpendicular to the position.
Why is d z = z ′ ( t ) d t never optional? d z is a directed tiny arrow; its direction is the whole point of a 2D walk.
Split f = u + i v — what are u and v ? Two ordinary real functions of ( x , y ) : real and imaginary parts of the output.
What does "analytic" mean in one sentence? The complex derivative exists and gives the same value from every direction (Cauchy–Riemann holds).
Why is z ˉ not analytic? Its derivative depends on the direction of the step, so Cauchy–Riemann fails.
What is a residue? The coefficient of the 1/ ( z − z 0 ) term in the Laurent series — the "leftover strength" of a pole.
Residue at a simple pole of p / q ? p ( z 0 ) / q ′ ( z 0 ) .
What is one counterclockwise loop around a single unit-strength spike worth? 2 π i .