The planimeter: area from the edge alone
A surveyor needs the area of an irregular field — a lake, a county, a leaf. There is a brass instrument, the planimeter, that gives it exactly: you trace its pointer once around the boundary, and a dial reads off the enclosed area. The arm never crosses the interior. It never knows what is inside. It only walks the fence-line — and somehow that is enough.
That is not a gimmick of brass and gears; it is a theorem. By the end of this chapter you will be able to derive the planimeter from
an area computed from a pure boundary integral. And that single idea — the boundary knows what the inside contains — is the spine of everything here: line integrals, Green's theorem, and, in Beat 5, the moment the two halves of this entire course turn out to be one subject.
A line integral adds up a quantity along a path — most physically, the work a force field does on something moving through it. Green's theorem then says a loop integral around a closed curve equals an ordinary double integral over the region it encloses: it trades a walk around the edge for a sweep of the inside, in whichever direction is easier. That trade is one of the most useful moves in all of applied mathematics — and it is about to explain why Unit 1's contour integrals worked at all.
Line integrals: adding a field along a path
A vector field assigns an arrow to every point — a force, a flow, a wind. The line integral of along a curve totals the field's pull in the direction you travel:
It is computed by one unbreakable ritual — the 1-D cousin of Chapter 10's sketch–shadow–slice:
- Parametrize the curve: , .
- Substitute everything into : , , and , .
- Integrate the single ordinary integral in from to .
Find the work of the rotational field once around the unit circle, counterclockwise. Parametrize: , , so , . Substitute: , :
The field pushes you along at every step, so the work is positive all the way round. Hold onto the — in Beat 3, Green's theorem gets this same answer in a single line.
Evaluate from to along two different paths.
, :
, :
Same endpoints, different values — . A line integral depends on the path, not just where it starts and ends. (The special fields for which it doesn't — the conservative ones — are Beat 4, and they are exactly Chapter 7's path-independent integrals in disguise.)
Green's theorem: the edge equals the inside
Here is the planimeter's engine, stated in full. For a positively oriented (counterclockwise) simple closed curve bounding a region :
The boundary loop integral on the left equals the double integral of one specific combination of derivatives — the field's "curl" — over the whole interior on the right.
Positive orientation means the region is on your left as you walk — counterclockwise for an ordinary curve. That direction is built into the theorem. Walk it clockwise and the whole integral changes sign. Every term is right and the answer is still wrong by a minus sign. The fix is a reflex: region on the left, or flip the sign.
The payoff promised in Beat 2: re-do WE-1 with Green's theorem. For , , so
One line, no parametrization. The boundary integral became "twice the area of the disk."
Evaluate over the triangle with vertices , , , counterclockwise. The point is to compute it both ways and watch them agree.
. The triangle is , :
Bottom : . Right : . Diagonal back : with gives . Total .
Both give . That agreement is Green's theorem — and it tells you which side to compute: pick whichever is easier. A messy loop integral becomes a clean area integral, or a hard area integral becomes an easy boundary walk.
End of sitting 1 — you can parametrize and evaluate a line integral, you know a line integral depends on its path, and you can run Green's theorem in both directions with the orientation sign under control. After the break: the area form (the planimeter, paid off), conservative fields — and then the reveal that the two units of this course were the same subject all along.
The area form, and fields that forget the path
Choose , in Green's theorem: , so . Halve it and you have the planimeter, exact:
Find the area of the ellipse , () from the boundary alone. With , ,
The integrand collapsed to a constant, and the boundary trace returned — the ellipse-area formula, derived, not memorised.
The second consequence answers WE-2's loose end. Some fields give the same line integral on every path between two points; these are the conservative fields. On a simply-connected region the test is one equality of partials:
Take . Test: and — equal, so it is conservative. A potential is (check: , ). Therefore every closed loop integral is , and every path from one point to another gives the same value .
"Path-independent, and " should ring a bell. It is Chapter 7's path independence — for an analytic with antiderivative — wearing real-variable clothes. That is not a coincidence. The next beat shows exactly why.
The two units were one subject all along
Unit 1 was complex analysis; Unit 2 is vector calculus. They have looked like different courses. They are not. Watch a complex contour integral come apart into two real line integrals. Write and ; multiply out:
Each of those is a real line integral of exactly the kind in Beat 2 — so apply Green's theorem to each. The real part has , ; the imaginary part has , :
Now the key move. If is analytic, and obey the Cauchy–Riemann equations from Chapter 3: and . Substitute — and watch both interior integrands collapse to zero:
- Real part: . The Cauchy–Riemann equation means , so .
- Imaginary part: . The Cauchy–Riemann equation makes this .
Both double integrals are integrals of zero, hence zero. So for any analytic and any simple closed curve ,
That is Cauchy's theorem (Cauchy–Goursat) — the cornerstone of Unit 1. And we just produced it out of Green's theorem plus the Cauchy–Riemann equations. Green's theorem the CR equations is exactly Cauchy–Goursat. The contour integrals of complex analysis were real line integrals the whole time; the analyticity that made them vanish was the Cauchy–Riemann equations forcing a curl of zero. Two units, one idea.
Concretely, : is analytic everywhere, both real integrands vanish, done. But the famous is not zero. What broke?
blows up at the origin — and the unit circle encloses the origin. Green's theorem requires to be smooth () throughout ; at the puncture it isn't, so the hypothesis fails. The leftover is precisely the contribution of that one bad point.
This is why Unit 1 needed residues. The enclosed singularity is exactly the (only when ) you met in Chapter 7, and the residue theorem of Chapter 9 is the systematic bookkeeping for "how much do the enclosed bad points add back?" Green's theorem handles the smooth interior; residues handle the holes.
The Green Machine
Pick a field and a closed curve, commit to an orientation, and predict the sign of the loop value before you reveal it. The Machine then shows the answer two ways at once — the direct loop integral and Green's double integral — side by side. They agree… except on the cells where the field has a singularity the curve encloses, where Green's theorem visibly fails and the Machine names exactly why. That failure is Beat 5, made interactive.
Watch the vortex field on a curve that encloses the origin: the two columns disagree. That gap is the singularity — the same that becomes the of in Unit 1.
- Direct and Green agree — usually. For smooth fields the boundary walk and the area sweep give the same number; that is the theorem doing its job.
- Clockwise flips the sign. The magnitude is unchanged; only the sign turns over. Region-on-the-left is the whole rule.
- Enclose a singularity and Green's breaks. The vortex around the origin: Green's says , the true loop is . The Machine flags it — that missing is why residues exist.
Retrieval gauntlet
Commit to an answer before reading the feedback. These interleave the mechanics with the orientation trap and the reveal on purpose.
over the triangle , counterclockwise, equals:
The same integral over that triangle, but taken clockwise, equals:
Reversing the direction of travel reverses the sign of every and , so the whole line integral negates: . Green's theorem computes the counterclockwise value (region on the left); the clockwise loop is its negative. Here , so . The magnitude never changes — only the sign.
The area enclosed by the ellipse , , computed by , is:
Which of these are conservative (path-independent)? (i) ; (ii) ; (iii) .
The real vortex field integrated once counterclockwise around gives:
The curl is zero — almost everywhere. With , , a short quotient-rule computation gives
So naïvely . But that step is illegal: Green's theorem requires to be on all of , and at the origin — which encloses — they are undefined. The theorem simply does not apply. Parametrize the actual loop instead (, ) and it integrates to . The whole is the contribution of the one excluded point — the residue.
Exam translator — what the paper actually asks
In standard Indian engineering-math exams, and likely in MCC201A unless your class notes differ, this material wears five costumes — each one you have now seen worked:
- "Evaluate " → parametrize → substitute → integrate (WE-1). First check whether is conservative; if so it is path-independent.
- "Verify Green's theorem for …" → compute both the line integral and the double integral and show they match (WE-3). The orientation sign is the classic lost mark.
- "Using Green's theorem, evaluate …" → pick whichever side is easier; watch CCW vs CW.
- "Find the area enclosed by …" → the area form (WE-4).
- "Explain Cauchy's theorem via Green's" → the Beat-5 derivation. This is examinable as a short theory question on the Unit-1 ↔ Unit-2 link.
Worked solutions are complete; nothing points off this page. Do them as listed — interleaved on purpose — not blocked by method. Two of them, PR5 and PR7, open with a faded bridge: part of the work is set out, the key step left for you to predict.
PR1 · a direct line integral
PR1. Evaluate along from to .
, , :
PR2 · Green's theorem, with the sign live
PR2. Evaluate over the triangle , counterclockwise.
. The triangle is , :
The negative answer is honest — the curl is negative over this region; nothing went wrong.
PR3 · the area form on a cusped curve
PR3. Find the area enclosed by the astroid , ().
With , , the integrand . So
The area form handles the four cusps without any need to describe the interior region.
PR4 · decision-only · which tool, and why
PR4. For each, say whether you would use a direct line integral or Green's theorem, and why. (a) of a simple field over a wiggly closed curve; (b) along one straight segment; (c) of the vortex around a curve enclosing the origin.
(a) Green's theorem. The curve is closed and wiggly; the area side is far simpler than parametrizing the boundary.
(b) Direct. A single open segment is not a closed curve, so Green's does not apply — parametrize and integrate.
(c) Neither naïvely. Green's theorem fails — the enclosed origin is a singularity, so its hypothesis breaks. The value is by the Beat-5 result: the residue at the puncture, not anything Green's can compute directly.
PR5 · faded bridge · path independence
PR5. For , evaluate from to .
Bridge: first test vs . If they match, the field is conservative and you need a potential with , — then the path doesn't matter. Predict the next step: is it conservative, and what is ?
Conservative? and — equal, yes. Potential: (check: , ). So the integral is path-independent:
PR6 · Green's, polar on the area side
PR6. Evaluate over the unit circle, counterclockwise.
. Over the unit disk this begs for polar, , :
Green's turned a cubic boundary integral into a one-line polar area integral — Chapters 10 and 13 working together.
PR7 · faded bridge · the reveal, applied
PR7. Using , show that .
Bridge: for , and . Predict the next step: what are the two Green integrands and , and why do they vanish?
With , : , , , . The two Green integrands are
Both are zero because the Cauchy–Riemann equations hold — is analytic. So both double integrals vanish and , exactly as Cauchy–Goursat promises.
Three things to carry out of this chapter
- A line integral is work along a path; parametrize, substitute, integrate. Its value depends on the path — unless the field is conservative (), when it depends only on the endpoints.
- Green's theorem trades the boundary for the inside: , counterclockwise — clockwise negates. Compute whichever side is easier; the area form is the special case that runs the planimeter.
- Green's theorem the Cauchy–Riemann equations Cauchy's theorem. A complex contour integral is two real line integrals; analyticity makes both curls vanish, so — and an enclosed singularity is the one thing that breaks it, which is exactly what residues repair.
Back to the surveyor. The planimeter recovers an area by walking only the fence-line because the boundary genuinely encodes the interior — that is Green's theorem in brass. The same idea, pushed into the complex plane, is why a contour integral of an analytic function is zero, and why the only thing that can make it nonzero is a hole the contour surrounds. Re-derive the Beat-5 result and re-do PR5 and PR7 from a blank page tomorrow — not re-read, re-do. The link between the two units is the single most important idea in this course.
What's next. Chapter 14 lifts line integrals off the plane: surfaces in 3-space, flux through them, and Stokes' theorem — Green's theorem's three-dimensional big sibling, where a boundary curve is traded for the surface it spans.
Same material, another voice
If a different explanation would help, these map onto this chapter — free, from MIT OpenCourseWare:
- Read: MIT 18.02 (Auroux), Lecture Notes — the unit on double integrals and line integrals in the plane (Green's theorem).
- Watch: MIT 18.02 Video Lectures (Auroux) — the Green's theorem lectures (work, line integrals, and Green's theorem in the plane).
✓ Chapter complete. Your progress, and every quiz answer, is saved on this computer — revisit any time.