Sharvil SaxenaMA 261 / The guide
← Semester map

Purdue MA 26100 · Fall 2026 · Briggs 3e · all 37 lessons

Calculus III,
drawn.

One long walk over a hilly landscape. That's the whole course — and every section below is badged with the quiz that tests it, so you always know what is next.

37 lessons · Ch. 12–17 10 quizzes · 3 exams 41 figures · 12 you can spin 86 check-yourself questions every formula gets a reason
UNIT 01

Vectors & curves

Ch. 12–14 · Quizzes 1–4

Everything here is about arrows. An arrow with a length and a direction, what happens when you multiply two of them together two different ways, and what happens when you let one arrow’s tip move around. Lessons 1–8.

13.1

Vectors

Quiz 1

A vector is a displacement: how far and which way. It does not care where it starts. Two arrows of the same length pointing the same way are the same vector.

the four things you do constantly a=a1,a2,a3a=a12+a22+a32\mathbf a = \langle a_1,a_2,a_3\rangle \qquad |\mathbf a| = \sqrt{a_1^2+a_2^2+a_3^2} a+b=a1+b1, a2+b2, a3+b3ca=ca1,ca2,ca3\mathbf a + \mathbf b = \langle a_1+b_1,\ a_2+b_2,\ a_3+b_3\rangle \qquad c\,\mathbf a = \langle ca_1, ca_2, ca_3\rangle
unit vector — same direction, length exactly 1 u=aa\mathbf u = \frac{\mathbf a}{|\mathbf a|}

Vector from PP to QQ is PQ=q1p1, q2p2, q3p3\overrightarrow{PQ} = \langle q_1-p_1,\ q_2-p_2,\ q_3-p_3\rangle — head minus tail. Getting this backwards is the single most common Unit 1 slip.

Algorithm · build a vector of prescribed length in a given direction

  1. Get the direction as any vector a\mathbf a pointing that way.
  2. Normalise: divide by its own length, u=a/a\mathbf u = \mathbf a/|\mathbf a|. Now it has length 1.
  3. Scale: multiply by the length you want. v=Lu\mathbf v = L\,\mathbf u.

Normalise first, scale second. Doing it in the other order gives the wrong length.

Check yourself

  1. What is 3,4|\langle 3,-4\rangle|?

    Answer
    9+16=5\sqrt{9+16}=5.
  2. Write the unit vector in the direction of 0,3,4\langle 0,3,4\rangle.

    Answer
    Length is 5, so 0,35,45\left\langle 0,\tfrac35,\tfrac45\right\rangle. Normalise first, always.
  3. What is the vector from P(1,2)P(1,2) to Q(4,6)Q(4,6)?

    Answer
    PQ=3,4\overrightarrow{PQ}=\langle 3,4\ranglehead minus tail, QPQ-P. Backwards is the classic slip.
13.2

Space, distance, spheres

Quiz 1

Three number lines at right angles. A point needs three numbers instead of two — and distance is still just Pythagoras, applied twice.

drag to spin

Spin it. The three brown steps and the one magenta arrow are the same information — the arrow is just the shortcut.
distance between two points P1P2=(x2x1)2+(y2y1)2+(z2z1)2|P_1P_2| = \sqrt{(x_2-x_1)^2 + (y_2-y_1)^2 + (z_2-z_1)^2}
sphere · centre (h,k,l)(h,k,l), radius rr (xh)2+(yk)2+(zl)2=r2(x-h)^2 + (y-k)^2 + (z-l)^2 = r^2

Why Pythagoras twice: walk along xx, then along yy — that diagonal on the floor is Δx2+Δy2\sqrt{\Delta x^2+\Delta y^2}. Now go up by Δz\Delta z. That floor-diagonal and the vertical rise are a right triangle too, so square-and-add again.

Algorithm · recognise a sphere from a messy equation

  1. Group. Put all the xx terms together, all the yy terms, all the zz terms. Move the constant to the right.
  2. Complete the square in each variable: x2+ax(x+a2)2a24x^2+ax \to \left(x+\tfrac a2\right)^2 - \tfrac{a^2}{4}.
  3. Balance. Every a24-\tfrac{a^2}{4} you created must be added to the right-hand side too.
  4. Read it off. Centre is (h,k,l)(h,k,l) from the three brackets, radius is right side\sqrt{\text{right side}}. If the right side is negative there is no sphere; if it is zero you get a single point.

Worked example

x2+y2+z24x+6y2=0x^2+y^2+z^2 - 4x + 6y - 2 = 0.

group

(x24x)+(y2+6y)+z2=2(x^2-4x)+(y^2+6y)+z^2 = 2

complete

(x2)24+(y+3)29+z2=2(x-2)^2-4+(y+3)^2-9+z^2 = 2

balance

(x2)2+(y+3)2+z2=15(x-2)^2+(y+3)^2+z^2 = 15

Centre (2,3,0)(2,-3,0), radius 15\sqrt{15}.

One equation in 3-D is a surface, not a curve. x=3x=3 is a whole plane. x2+y2=9x^2+y^2=9 is an infinite cylinder — the zz is free, so the circle gets extruded forever.

Check yourself

  1. Distance from (1,0,2)(1,0,2) to (1,4,5)(1,4,5)?

    Answer
    0+16+9=5\sqrt{0+16+9}=5. Pythagoras, twice.
  2. In 3-D, what does x2+y2=4x^2+y^2=4 describe?

    Answer
    An infinite cylinder of radius 2 around the zz-axis — zz is free, so the circle gets extruded forever. One equation in 3-D is a surface, not a curve.
  3. Centre and radius of (x1)2+y2+(z+2)2=9(x-1)^2+y^2+(z+2)^2=9?

    Answer
    Centre (1,0,2)(1,0,-2), radius 3. The sign inside the bracket flips: (z+2)2(z+2)^2 means z=2z=-2.
13.3

Dot product

Quiz 1

Shine a light straight down on b\mathbf b. The shadow it casts along a\mathbf a is the whole idea. Long shadow → big number. No shadow → zero. Shadow pointing backwards → negative.

a b shadow θ a·b 0 a·b = +4.2 cos θ = 1.00
Drag the angle. a·b = (length of a) × (length of the shadow). Same direction → positive. Square corner → zero. Opposite → negative.
two formulas, one number ab=a1b1+a2b2+a3b3andab=abcosθ\mathbf a\cdot\mathbf b = a_1b_1+a_2b_2+a_3b_3 \qquad\text{and}\qquad \mathbf a\cdot\mathbf b = |\mathbf a||\mathbf b|\cos\theta

The left one is how you compute it. The right one is what it means. Setting them equal is how every angle problem gets solved.

the three facts that matter cosθ=ababab    ab=0aa=a2\cos\theta = \frac{\mathbf a\cdot\mathbf b}{|\mathbf a||\mathbf b|} \qquad \mathbf a\perp\mathbf b \iff \mathbf a\cdot\mathbf b = 0 \qquad \mathbf a\cdot\mathbf a = |\mathbf a|^2

Algorithm · angle between two vectors

  1. Dot them componentwise: ab\mathbf a\cdot\mathbf b.
  2. Find both lengths a|\mathbf a| and b|\mathbf b|.
  3. Divide: cosθ=abab\cos\theta = \dfrac{\mathbf a\cdot\mathbf b}{|\mathbf a||\mathbf b|}.
  4. Arccos. θ=cos1()\theta = \cos^{-1}(\cdot), always in [0,π][0,\pi].

Sign check before you compute: positive dot ⇒ acute, zero ⇒ right angle, negative ⇒ obtuse.

direction cosines — the angles a vector makes with each axis cosα=a1a,cosβ=a2a,cosγ=a3a,cos2α+cos2β+cos2γ=1\cos\alpha = \frac{a_1}{|\mathbf a|},\quad \cos\beta = \frac{a_2}{|\mathbf a|},\quad \cos\gamma = \frac{a_3}{|\mathbf a|}, \qquad \cos^2\alpha+\cos^2\beta+\cos^2\gamma = 1

Those three cosines are the components of the unit vector a/a\mathbf a/|\mathbf a| — which is exactly why they square to 1.

work — the physics reason dot products exist W=Fd=FdcosθW = \mathbf F\cdot\mathbf d = |\mathbf F||\mathbf d|\cos\theta

Check yourself

  1. Compute 1,2,34,1,0\langle1,2,3\rangle\cdot\langle4,-1,0\rangle.

    Answer
    42+0=24-2+0=2.
  2. If ab<0\mathbf a\cdot\mathbf b \lt 0, is the angle acute or obtuse?

    Answer
    Obtuse. Negative dot means the shadow points backwards.
  3. What is aa\mathbf a\cdot\mathbf a?

    Answer
    a2|\mathbf a|^2. A vector agrees with itself completely.
13.3b

Scalar vs vector projection

Quiz 1

These two get confused constantly, and the difference is simple: one is a number (how long the shadow is) and the other is an arrow (the shadow itself, lying along b\mathbf b).

SCALAR PROJECTION — a number b a comp = 3.2 signed length. no direction. VECTOR PROJECTION — an arrow b a proj the leftover, ⟂ to b an arrow lying along b a = (green) + (magenta)
Same picture, two different answers. comp is the tick mark on a ruler. proj is the arrow you could actually add to another vector.
scalar projection of a onto b — "component of a along b" compba=abba number\operatorname{comp}_{\mathbf b}\mathbf a = \frac{\mathbf a\cdot\mathbf b}{|\mathbf b|} \qquad \textsf{a number}
vector projection of a onto b projba=(abb2)b=(compba)bba vector\operatorname{proj}_{\mathbf b}\mathbf a = \left(\frac{\mathbf a\cdot\mathbf b}{|\mathbf b|^2}\right)\mathbf b = \bigl(\operatorname{comp}_{\mathbf b}\mathbf a\bigr)\frac{\mathbf b}{|\mathbf b|} \qquad \textsf{a vector}

How to never mix them up. The vector projection is literally the scalar projection times the unit vector of b\mathbf b. So: get the number first, then attach a direction to it. One b|\mathbf b| in the denominator = number. Two = vector, because the second one is busy normalising b\mathbf b.

Algorithm · project a onto b

  1. Dot. Compute ab\mathbf a\cdot\mathbf b.
  2. Decide which you want. Does the answer need a direction? If not, stop after step 3.
  3. Scalar: divide by b|\mathbf b| once. Done — that is compba\operatorname{comp}_{\mathbf b}\mathbf a, and it may be negative.
  4. Vector: multiply the scalar answer by the unit vector b/b\mathbf b/|\mathbf b|. Equivalently, divide by b2|\mathbf b|^2 and multiply by b\mathbf b — never by b|\mathbf b|.

Projecting onto b always lands on the b line. If your answer is not a multiple of b, you projected the wrong way round.

Worked example

a=3,4,0\mathbf a = \langle 3,4,0\rangle, b=4,0,3\mathbf b = \langle 4,0,3\rangle. Both have length 5.

dot

ab=12+0+0=12\mathbf a\cdot\mathbf b = 12+0+0 = 12

scalar

compba=125=2.4\operatorname{comp}_{\mathbf b}\mathbf a = \dfrac{12}{5} = 2.4

vector

projba=12254,0,3=4825,0,3625\operatorname{proj}_{\mathbf b}\mathbf a = \dfrac{12}{25}\langle4,0,3\rangle = \left\langle \tfrac{48}{25},\,0,\,\tfrac{36}{25}\right\rangle

check

its length is (48/25)2+(36/25)2=6025=2.4\sqrt{(48/25)^2+(36/25)^2} = \tfrac{60}{25} = 2.4  ✓  matches the scalar answer

orthogonal decomposition — split a into "along b" plus "perpendicular to b" a=projbaparallel to b+(aprojba)perpendicular to b\mathbf a = \underbrace{\operatorname{proj}_{\mathbf b}\mathbf a}_{\text{parallel to }\mathbf b} + \underbrace{\bigl(\mathbf a - \operatorname{proj}_{\mathbf b}\mathbf a\bigr)}_{\text{perpendicular to }\mathbf b}

This split is not a curiosity — it is reused three more times in this course: distance from a point to a line (13.5b), splitting acceleration into aTa_T and aNa_N (14.3), and the flux/circulation split of a vector field (Unit 4).

Trap

projbaprojab\operatorname{proj}_{\mathbf b}\mathbf a \ne \operatorname{proj}_{\mathbf a}\mathbf b. Read the subscript as "onto". Swapping them gives a vector pointing in a completely different direction. And the scalar projection keeps its sign — if θ\theta is obtuse, compba\operatorname{comp}_{\mathbf b}\mathbf a is negative, and that negative is the answer, not an error.

Check yourself

  1. ab=10\mathbf a\cdot\mathbf b=10 and b=5|\mathbf b|=5. What is compba\operatorname{comp}_{\mathbf b}\mathbf a?

    Answer
    10/5=210/5=2. Divide by b|\mathbf b| once — that gives the number.
  2. Same numbers. Is projba\operatorname{proj}_{\mathbf b}\mathbf a a number or a vector?

    Answer
    A vector: 1025b\dfrac{10}{25}\mathbf b. Divide twice — the second b|\mathbf b| is busy normalising.
  3. If ab\mathbf a\perp\mathbf b, what is projba\operatorname{proj}_{\mathbf b}\mathbf a?

    Answer
    The zero vector. No shadow — the light is shining straight along b\mathbf b.
13.4

Cross product

Quiz 1

Two arrows make a slanted tile. The cross product is a new arrow that stands straight out of that tile, and its length is exactly the tile's area.

drag to spin

Flatten the angle to 0° and the tile vanishes — so does a × b. Open it to 90° and both are as big as they get. Swap the order and the arrow flips.
compute it as a 3×3 determinant a×b=ijka1a2a3b1b2b3=a2b3a3b2,  a3b1a1b3,  a1b2a2b1\mathbf a\times\mathbf b = \begin{vmatrix}\mathbf i&\mathbf j&\mathbf k\\ a_1&a_2&a_3\\ b_1&b_2&b_3\end{vmatrix} = \langle a_2b_3-a_3b_2,\ \ a_3b_1-a_1b_3,\ \ a_1b_2-a_2b_1\rangle
what it means a×b=absinθa×ba  and  bb×a=(a×b)|\mathbf a\times\mathbf b| = |\mathbf a||\mathbf b|\sin\theta \qquad \mathbf a\times\mathbf b \perp \mathbf a \ \text{ and } \ \perp\mathbf b \qquad \mathbf b\times\mathbf a = -(\mathbf a\times\mathbf b)

Algorithm · the determinant, without mistakes

  1. Write the grid. Row 1 is i,j,k\mathbf i,\mathbf j,\mathbf k; row 2 is a\mathbf a; row 3 is b\mathbf b. Order matters — a\mathbf a goes on top.
  2. i\mathbf i component: cover column 1, cross-multiply what's left: a2b3a3b2a_2b_3-a_3b_2.
  3. j\mathbf j component: cover column 2, cross-multiply, then negate: (a1b3a3b1)-(a_1b_3-a_3b_1).
  4. k\mathbf k component: cover column 3, cross-multiply: a1b2a2b1a_1b_2-a_2b_1.
  5. Verify for free. Dot your answer with a\mathbf a. You must get exactly 0. Same with b\mathbf b.

The minus sign on j\mathbf j is where nearly every lost point comes from. Step 5 catches it in ten seconds.

Area of a parallelogram

Spanned by a,b\mathbf a,\mathbf b:   A=a×b\;A = |\mathbf a\times\mathbf b|.

Area of a triangle

Half of it:   A=12PQ×PR\;A = \tfrac12|\overrightarrow{PQ}\times\overrightarrow{PR}|.

Are they parallel?

a×b=0\mathbf a\times\mathbf b=\mathbf 0 ⟺ parallel. (Compare: ab=0\mathbf a\cdot\mathbf b=0 ⟺ perpendicular.)

scalar triple product — volume of the box V=a(b×c)=a1a2a3b1b2b3c1c2c3V = |\mathbf a\cdot(\mathbf b\times\mathbf c)| = \left|\begin{vmatrix}a_1&a_2&a_3\\ b_1&b_2&b_3\\ c_1&c_2&c_3\end{vmatrix}\right|

Reading it: b×c\mathbf b\times\mathbf c gives the base area as a vector standing on the base. Dotting with a\mathbf a takes a\mathbf a's shadow on that stand-up direction — which is the height. Area × height = volume. If the triple product is zero, the box is flat, so the three vectors are coplanar.

Check yourself

  1. a=3|\mathbf a|=3, b=4|\mathbf b|=4, and they meet at 90°90°. What is a×b|\mathbf a\times\mathbf b|?

    Answer
    34sin90°=123\cdot4\cdot\sin90°=12 — the biggest the tile can get.
  2. What is a×a\mathbf a\times\mathbf a?

    Answer
    0\mathbf 0. Zero angle, flat tile, no area.
  3. You computed a×b\mathbf a\times\mathbf b. How do you check it in ten seconds?

    Answer
    Dot it with a\mathbf a. You must get 0. This catches the missing minus on the j\mathbf j component every time.
12.1

Parametric equations

Quiz 1

A Cartesian equation tells you where a curve is. A parametrization tells you how a point moves along it — where it starts, which way it goes, how fast, and how many times round. Those extra facts are the whole reason the rest of this course uses parametrizations for everything: curves in space, surfaces, line integrals, flux. This is where they start.

a plane curve, parametrized x=f(t),y=g(t),atbx=f(t),\qquad y=g(t),\qquad a\le t\le b

Think of tt as time and (f(t),g(t))(f(t),g(t)) as the position of a bug. Sweep tt from aa to bb and the bug draws the curve. Different bugs can draw the same picture.

ONE CURVE t = 0 t = π/2 t = π t = 3π/2 SAME CURVE, DIFFERENT BUG t = 0
Both bugs draw the same ellipse. The orange one goes counterclockwise once; the green one goes clockwise, twice as fast, twice around. They disagree about direction, speed, and how many laps. Eliminating the parameter keeps the picture and throws all three away — which is exactly the information line integrals care about.
the three you must know cold segment PQ:r(t)=P+t(QP),0t1circle, centre (h,k), radius R:x=h+Rcost,y=k+Rsint,0t2πellipse, semi-axes a,b:x=h+acost,y=k+bsint,0t2π\begin{aligned} \textsf{segment } P\to Q:&\quad \mathbf r(t)=P+t\,(Q-P),\qquad 0\le t\le 1\\[4pt] \textsf{circle, centre }(h,k)\textsf{, radius }R:&\quad x=h+R\cos t,\quad y=k+R\sin t,\qquad 0\le t\le 2\pi\\[4pt] \textsf{ellipse, semi-axes }a,b:&\quad x=h+a\cos t,\quad y=k+b\sin t,\qquad 0\le t\le 2\pi \end{aligned}

All three run counterclockwise as written, and all three start at the rightmost point when t=0t=0. Swap sin\sin and cos\cos, or negate one of them, and you change the starting point or the direction — never the picture.

Algorithm · eliminate the parameter

  1. Look for the trig identity first. If you see cost\cos t and sint\sin t, solve each equation for the trig function and use cos2t+sin2t=1\cos^2t+\sin^2t=1. Do not try to solve for tt.
  2. Otherwise solve the easier equation for tt — usually the linear one — and substitute into the other.
  3. Carry the range across. Ask what values xx and yy actually take as tt runs over its interval. The Cartesian equation on its own will usually describe more curve than you have.
  4. Say the direction out loud. Plug in t=at=a, the midpoint, and t=bt=b, and mark the three points in order. That is the orientation, and no Cartesian equation records it.

Steps 3 and 4 are where the marks are. Step 1 and 2 are algebra you already have.

Worked example

Describe the curve x=2cost,  y=3sintx=2\cos t,\;y=3\sin t, 0tπ0\le t\le\pi.

identity

cost=x2\cos t=\dfrac{x}{2} and sint=y3\sin t=\dfrac{y}{3}, so x24+y29=1\dfrac{x^2}{4}+\dfrac{y^2}{9}=1 — an ellipse with semi-axes 22 and 33.

range

On 0tπ0\le t\le\pi, sint0\sin t\ge 0, so y0y\ge 0. Only the upper half of the ellipse.

direction

t=0(2,0)t=0\Rightarrow(2,0); t=π2(0,3)t=\tfrac{\pi}{2}\Rightarrow(0,3); t=π(2,0)t=\pi\Rightarrow(-2,0). Right, up, left — counterclockwise.

answer

The upper half of x24+y29=1\dfrac{x^2}{4}+\dfrac{y^2}{9}=1, traced once counterclockwise from (2,0)(2,0) to (2,0)(-2,0).

Trap

“Eliminate the parameter” is a lossy operation. x=t,  y=t2x=t,\;y=t^2 and x=t2,  y=t4x=t^2,\;y=t^4 both give y=x2y=x^2, but the first is the whole parabola and the second is only its right half, traced in and back out. If a question mentions direction, a starting point, or a number of laps, the Cartesian equation cannot answer it — keep the parametrization.

Where this reappears: 13.5 writes a line as r(t)=r0+tv\mathbf r(t)=\mathbf r_0+t\mathbf v, which is the segment recipe with the range removed. 14.1 is this section with a third coordinate bolted on. 17.2 integrates along one of these, and the orientation you were told to keep track of here is what decides the sign of the answer.

Check yourself

  1. Parametrize the segment from (1,4)(-1,4) to (3,2)(3,2) on 0t10\le t\le1.

    Answer
    x=1+4t,  y=42tx=-1+4t,\;y=4-2t. Start, plus tt times the displacement 4,2\langle 4,-2\rangle.
  2. What curve is x=1+3cost,  y=2+3sintx=1+3\cos t,\;y=-2+3\sin t, 0t2π0\le t\le 2\pi?

    Answer
    The circle of radius 33 centred at (1,2)(1,-2), once counterclockwise from (4,2)(4,-2): (x1)2+(y+2)2=9(x-1)^2+(y+2)^2=9.
  3. x=sint,  y=sin2tx=\sin t,\;y=\sin^2 t. Cartesian equation, and how much of it?

    Answer
    y=x2y=x^2, but only the arc with 1x1-1\le x\le 1, and the point retraces it back and forth forever.
  4. Two parametrizations give the same Cartesian equation. Name two things that can still differ.

    Answer
    Orientation, speed, starting point, and how much of the curve is covered — any of these. Only the point set is shared.
13.5

Lines & planes

Quiz 1 · Quiz 2

A line needs a point and a direction to walk. A plane needs a point and a direction to avoid. That is the entire difference.

r₀ n (the normal) r − r₀ r − r₀ 90° every flat arrow has zero shadow on n
Tilt n and the whole plane tilts with it. That single arrow is the plane's identity.
line through P0P_0 with direction v=a,b,c\mathbf v = \langle a,b,c\rangle r(t)=r0+tv{x=x0+aty=y0+btz=z0+ctxx0a=yy0b=zz0c\mathbf r(t) = \mathbf r_0 + t\mathbf v \qquad \begin{cases}x = x_0+at\\ y=y_0+bt\\ z=z_0+ct\end{cases} \qquad \frac{x-x_0}{a}=\frac{y-y_0}{b}=\frac{z-z_0}{c}

Vector form, parametric form, symmetric form — the same line, written three ways. Symmetric form is just the parametric equations each solved for tt. If a direction component is 0 you cannot divide by it: write that coordinate as a separate condition, e.g. x12=z45, y=3\frac{x-1}{2}=\frac{z-4}{5},\ y=3.

plane through P0P_0 with normal n=a,b,c\mathbf n = \langle a,b,c\rangle n(rr0)=0a(xx0)+b(yy0)+c(zz0)=0ax+by+cz=d\mathbf n\cdot(\mathbf r - \mathbf r_0) = 0 \quad\Longleftrightarrow\quad a(x-x_0)+b(y-y_0)+c(z-z_0)=0 \quad\Longleftrightarrow\quad ax+by+cz=d

Free information: in ax+by+cz=dax+by+cz=d, the coefficients are the normal vector. You can read n=a,b,c\mathbf n = \langle a,b,c\rangle straight off any plane equation without doing anything.

Algorithm · plane through three points PP, QQ, RR

  1. Make two vectors in the plane: PQ\overrightarrow{PQ} and PR\overrightarrow{PR}.
  2. Cross them: n=PQ×PR\mathbf n = \overrightarrow{PQ}\times\overrightarrow{PR}. It sticks out of the plane by construction.
  3. Pick any one of the three points and write n(rr0)=0\mathbf n\cdot(\mathbf r-\mathbf r_0)=0.
  4. Expand and check that all three original points satisfy it.

Algorithm · classify two lines in space

  1. Compare directions. If v1v2\mathbf v_1 \parallel \mathbf v_2 (one is a multiple of the other) the lines are parallel — identical if a point of one satisfies the other, otherwise distinct.
  2. Otherwise set them equal — and use different parameters, tt for one and ss for the other. Same-letter parameters is the classic wrong answer.
  3. Solve two of the three equations for tt and ss.
  4. Test in the third. Consistent ⇒ they intersect (plug back in for the point). Contradiction ⇒ they are skew — never meeting, not parallel.

Angle between two planes

Angle between their normals: cosθ=n1n2n1n2\cos\theta = \dfrac{|\mathbf n_1\cdot\mathbf n_2|}{|\mathbf n_1||\mathbf n_2|}.

Line where two planes meet

Direction is n1×n2\mathbf n_1\times\mathbf n_2. For a point, set one variable to 0 and solve the two equations.

Parallel planes

Normals are multiples of each other. Same normal + different dd ⇒ parallel and distinct.

Check yourself

  1. What is the normal vector of the plane 2xy+3z=72x-y+3z=7?

    Answer
    2,1,3\langle 2,-1,3\rangle — read straight off the coefficients, no work needed.
  2. Line through (1,0,0)(1,0,0) with direction 2,3,1\langle2,3,-1\rangle?

    Answer
    r(t)=1+2t,  3t,  t\mathbf r(t)=\langle 1+2t,\;3t,\;-t\rangle.
  3. Two lines have non-parallel directions and no common point. What are they?

    Answer
    Skew. They never meet and they are not parallel — only possible in 3-D.
13.5b

Every distance formula, and why

Quiz 2

All four of these are the same move: build a vector from the thing to the point, then keep only the part that is perpendicular to whatever you're measuring from.

point P1P_1 to the plane ax+by+cz+d=0ax+by+cz+d=0 D=ax1+by1+cz1+da2+b2+c2=compnP0P1D = \frac{|ax_1+by_1+cz_1+d|}{\sqrt{a^2+b^2+c^2}} = \bigl|\operatorname{comp}_{\mathbf n}\overrightarrow{P_0P_1}\bigr|

Read it as a scalar projection onto the normal. Take any point P0P_0 on the plane, form P0P1\overrightarrow{P_0P_1}, and measure its shadow on n\mathbf n — the part of the trip that actually left the plane.

point PP to the line through QQ with direction v\mathbf v D=QP×vvD = \frac{|\overrightarrow{QP}\times\mathbf v|}{|\mathbf v|}

Why the cross product: QP×v=QPvsinθ|\overrightarrow{QP}\times\mathbf v| = |\overrightarrow{QP}||\mathbf v|\sin\theta is the area of the parallelogram they span. Area ÷ base = height, and the height is the perpendicular distance. Same as QPprojvQP|\overrightarrow{QP} - \operatorname{proj}_{\mathbf v}\overrightarrow{QP}| — the leftover from 13.3b.

two skew lines D=(r2r1)(v1×v2)v1×v2D = \frac{\bigl|(\mathbf r_2-\mathbf r_1)\cdot(\mathbf v_1\times\mathbf v_2)\bigr|}{|\mathbf v_1\times\mathbf v_2|}

Algorithm · distance between two skew lines

  1. Find the common perpendicular: n=v1×v2\mathbf n = \mathbf v_1\times\mathbf v_2. It is at right angles to both lines at once.
  2. Pick one point on each line, P1P_1 and P2P_2, and form P1P2\overrightarrow{P_1P_2}.
  3. Project onto n\mathbf n: the distance is compnP1P2\bigl|\operatorname{comp}_{\mathbf n}\overrightarrow{P_1P_2}\bigr|. Everything not along n\mathbf n can be walked off along the lines, so it doesn't count.

Equivalent framing: slide the two lines into two parallel planes with normal n\mathbf n, then measure plane-to-plane.

Two parallel planes

Take any point on one, use the point-to-plane formula on the other.

Line parallel to a plane

Take any point on the line, use point-to-plane.

Sanity check

Every distance is 0\ge 0. Absolute value bars are not decoration.

Check yourself

  1. Distance from the origin to x+2y+2z=9x+2y+2z=9?

    Answer
    0+0+091+4+4=93=3\dfrac{|0+0+0-9|}{\sqrt{1+4+4}}=\dfrac93=3.
  2. Why does point-to-line use a cross product?

    Answer
    QP×v|\overrightarrow{QP}\times\mathbf v| is the parallelogram's area. Area ÷ base = height, and the height is the perpendicular distance.
13.6

Cylinders & quadric surfaces

Quiz 2

Section 13.6 has two halves, and the first one is nearly free. A cylinder is what you get when a variable is missing from the equation. Missing means unconstrained: that coordinate may be anything at all, so the curve drawn in the other two variables is dragged along the whole missing axis. A cylinder in this course is not necessarily round — it is any curve times a line.

a missing variable is a swept axis x2+z2=9(no y)x^{2}+z^{2}=9\qquad\text{(no }y\text{)}

In the xzxz-plane that is a circle of radius 33. In space, nothing constrains yy, so every height y=ky=k gives the same circle. Stack them and you get an infinite tube whose axis is the yy-axis.

IN THE PLANE x z x² + z² = 9 a circle, radius 3 IN SPACE — y IS FREE y same equation, no y rulings run along the y-axis
The equation never mentions yy, so yy is free. The circle repeats at every yy — the straight lines along the tube are the rulings, and they run parallel to the axis of the variable that went missing.

Algorithm · name a cylinder

  1. Spot the missing variable. One of xx, yy, zz does not appear. If all three appear, it is not a cylinder — go to the quadric test below.
  2. Read the curve formed by the two that remain, in their own coordinate plane: circle, ellipse, parabola, hyperbola, or a pair of lines.
  3. Sweep it along the missing variable's axis. That axis is the direction of the rulings.
  4. Name it after the curve. Circular, elliptic, parabolic or hyperbolic cylinder — then say which axis the rulings are parallel to. Both halves are expected in the answer.

y=z2y=-z^{2} has no xx: a parabola in the yzyz-plane opening toward y-y, swept along the xx-axis. A parabolic cylinder, rulings parallel to the xx-axis.

Trap

x2+z2=9x^{2}+z^{2}=9 is a circle in two dimensions and a tube in three. The question decides which by telling you the ambient space, and 13.6 is a chapter about surfaces in R3\mathbb{R}^{3} — so the answer is the tube. Answering “a circle of radius 3” is the single most common way to drop this question.

Now the other half. Every quadric is decided by signs and squares. Slice it with flat planes and see what falls out — circles, parabolas, or hyperbolas.

drag to spin

Fast test: count the minus signs. Zero → ellipsoid. One → one sheet. Two → two sheets. Right side is 0 instead of 1 → cone. One variable unsquared → paraboloid.

Algorithm · identify a quadric by its traces

  1. Standard form first. Get it to x2a2±y2b2±z2c2=1, 0,\dfrac{x^2}{a^2}\pm\dfrac{y^2}{b^2}\pm\dfrac{z^2}{c^2} = 1,\ 0, or == a single linear variable.
  2. Count the minus signs among the squared terms: 00\Rightarrow ellipsoid, 11\Rightarrow hyperboloid of one sheet, 22\Rightarrow hyperboloid of two sheets.
  3. Right side is 0? It's a cone.
  4. One variable not squared? It's a paraboloid — elliptic if the two squared terms have the same sign, hyperbolic (a saddle) if opposite.
  5. Confirm with traces. Set z=kz=k and see what curve you get, then x=kx=k, then y=ky=k. Ellipse / parabola / hyperbola tells you the rest.

The axis of a cone, paraboloid, or hyperboloid is the variable that behaves differently from the other two.

Algorithm · complete the square into standard form

  1. Group by variable and move the bare constant to the right-hand side.
  2. Factor out the coefficient of each squared term, so the bracket opens with a bare x2x^{2}, y2y^{2} or z2z^{2}.
  3. Complete each square by adding (b/2)2(b/2)^{2} inside the bracket. Because the bracket is multiplied by that factored-out coefficient, what you must add to the other side is a(b/2)2a\cdot(b/2)^{2}, not (b/2)2(b/2)^{2}. This is where the arithmetic goes wrong.
  4. Divide so the right side is 11 (or 00).
  5. Now count the minus signs with the algorithm above. Shifting a surface never changes what it is — only where it sits.
worked · 4x2y2+z2+8x=04x^{2}-y^{2}+z^{2}+8x=0 4(x2+2x)y2+z2=04(x2+2x+1)y2+z2=0+414(x+1)2y2+z2=4(x+1)2y24+z24=1\begin{aligned} 4(x^{2}+2x)-y^{2}+z^{2}&=0\\[2pt] 4(x^{2}+2x+1)-y^{2}+z^{2}&=0+4\cdot 1\\[2pt] 4(x+1)^{2}-y^{2}+z^{2}&=4\\[2pt] (x+1)^{2}-\tfrac{y^{2}}{4}+\tfrac{z^{2}}{4}&=1 \end{aligned}

One minus sign, right side 11: a hyperboloid of one sheet, axis the yy-axis, centred at (1,0,0)(-1,0,0). The +8x+8x only moved it one unit along xx; the surface was never anything else.

Trap

The one-sheet hyperboloid has one minus and is connected — you can walk around the waist. The two-sheet has two minuses and a gap: there is no surface at all for small z|z|. Test it by setting z=0z=0 and seeing whether you get a real curve or an impossibility.

Check yourself

  1. In space, what is x2+z2=9x^{2}+z^{2}=9?

    Answer
    No yy, so yy is free: a circular cylinder of radius 33 with rulings parallel to the yy-axis. In the plane it would be a circle; in R3\mathbb{R}^{3} it is a tube.
  2. Identify y=z2y=-z^{2} in three dimensions.

    Answer
    No xx: a parabolic cylinder, the parabola y=z2y=-z^{2} in the yzyz-plane opening toward y-y, swept along the xx-axis.
  3. Put 9x2+4y2+36z218x=279x^{2}+4y^{2}+36z^{2}-18x=27 into standard form and identify it.

    Answer
    9(x22x)=9(x1)299(x^{2}-2x)=9(x-1)^{2}-9, so 9(x1)2+4y2+36z2=369(x-1)^{2}+4y^{2}+36z^{2}=36, i.e. (x1)24+y29+z2=1\tfrac{(x-1)^{2}}{4}+\tfrac{y^{2}}{9}+z^{2}=1. No minus signs → an ellipsoid centred at (1,0,0)(1,0,0).
  4. Identify x2+y2z2=1x^2+y^2-z^2=1.

    Answer
    One minus sign → hyperboloid of one sheet (connected, like a cooling tower).
  5. Identify z=x2y2z=x^2-y^2.

    Answer
    One variable unsquared, opposite signs → hyperbolic paraboloid, the saddle.
  6. Identify z2=x2+y2z^2=x^2+y^2.

    Answer
    Right side is 0 when rearranged → cone.
14.1

Vector functions & space curves

Quiz 3

Feed in time, get back a position. The tip of the arrow traces a curve — a bead sliding along a bent wire.

a curve, as a moving arrow r(t)=f(t), g(t), h(t),limtar(t)=limf, limg, limh\mathbf r(t) = \langle f(t),\ g(t),\ h(t)\rangle, \qquad \lim_{t\to a}\mathbf r(t) = \left\langle \lim f,\ \lim g,\ \lim h \right\rangle

Everything happens slot by slot. Limits, derivatives, integrals, continuity — do the one-variable thing to each component and reassemble.

Algorithm · parametrize the curve where two surfaces meet

  1. Find the shadow. Eliminate one variable between the two equations to get a curve in a coordinate plane.
  2. Parametrize that shadow. A circle x2+y2=a2x^2+y^2=a^2 becomes x=acost, y=asintx=a\cos t,\ y=a\sin t. A parabola becomes x=t, y=t2x=t,\ y=t^2.
  3. Recover the missing variable by plugging back into whichever surface equation solves for it most easily.
  4. State the range of tt, and check the curve actually lies on both surfaces.

Worked example

Where the cylinder x2+y2=1x^2+y^2=1 meets the plane y+z=2y+z=2.

shadow

The cylinder already gives the shadow: the unit circle.

parametrize

x=cost, y=sint, 0t2πx=\cos t,\ y=\sin t,\ 0\le t\le 2\pi

recover zz

z=2y=2sintz = 2-y = 2-\sin t

r(t)=cost, sint, 2sint\mathbf r(t) = \langle \cos t,\ \sin t,\ 2-\sin t\rangle — a tilted ellipse riding on the cylinder.

Check yourself

  1. Does r(t)=cost,  sint,  3\mathbf r(t)=\langle\cos t,\;\sin t,\;3\rangle lie on a cylinder or a sphere?

    Answer
    Neither, quite — x2+y2=1x^2+y^2=1 and z=3z=3, so it is a single circle: the cylinder cut by a horizontal plane.
  2. What is the domain of lnt,  1/t,  t\langle\ln t,\;1/t,\;\sqrt t\rangle?

    Answer
    t>0t \gt 0. Take the intersection of every component's domain.
14.2

Derivatives & integrals of vector functions

Quiz 3

Differentiate every slot. That is the whole rule. The result is tangent to the curve, pointing the way the bead is heading.

r(t) v = r′(t) tangent — where you're headed a = r″(t) always leans toward the inside of the bend the bead at other times
Derivative of position is velocity. Derivative of velocity is acceleration. Exactly Calc I — just done to all three coordinates at once.
derivative and unit tangent r(t)=f(t), g(t), h(t)T(t)=r(t)r(t)\mathbf r'(t) = \langle f'(t),\ g'(t),\ h'(t)\rangle \qquad \mathbf T(t) = \frac{\mathbf r'(t)}{|\mathbf r'(t)|}
product rules — note which product each one keeps ddt[uv]=uv+uvddt[u×v]=u×v+u×v\frac{d}{dt}\bigl[\mathbf u\cdot\mathbf v\bigr] = \mathbf u'\cdot\mathbf v + \mathbf u\cdot\mathbf v' \qquad \frac{d}{dt}\bigl[\mathbf u\times\mathbf v\bigr] = \mathbf u'\times\mathbf v + \mathbf u\times\mathbf v'

Trap

The cross-product rule must keep its order: u×v\mathbf u'\times\mathbf v, never v×u\mathbf v\times\mathbf u'. Cross products anticommute, so swapping flips the sign of your whole answer.

A fact worth memorising: if r(t)|\mathbf r(t)| is constant, then rr=0\mathbf r\cdot\mathbf r' = 0 — the velocity is perpendicular to the position. That is why anything moving on a sphere has velocity tangent to the sphere, and it's the reason TT\mathbf T' \perp \mathbf T in 14.3.

integral — antidifferentiate each slot, one vector constant r(t)dt=f, g, h+C\int \mathbf r(t)\,dt = \left\langle \int f,\ \int g,\ \int h \right\rangle + \mathbf C

Check yourself

  1. r(t)=t2,  t3\mathbf r(t)=\langle t^2,\;t^3\rangle. Find r ⁣(1)\mathbf r\,\!\prime(1).

    Answer
    2t,3t2\langle 2t,3t^2\rangle at t=1t=1 is 2,3\langle2,3\rangle.
  2. If r(t)|\mathbf r(t)| is constant, what is rr ⁣\mathbf r\cdot\mathbf r\,\!\prime?

    Answer
    00. Constant length means the velocity is perpendicular to the position — why anything moving on a sphere stays tangent to it.
14.3 · 14.5

Motion in space · T, N, B

Quiz 3

Sit on a roller coaster. T is where your nose points, N is the way you're pressed into your seat, and B is out through your shoulder. All three travel with you.

drag to spin

The frame rides the curve instead of standing still. Acceleration always splits into a T part (changing speed) and an N part (changing direction).
the moving frame T=rrN=TTB=T×N\mathbf T = \frac{\mathbf r'}{|\mathbf r'|} \qquad \mathbf N = \frac{\mathbf T'}{|\mathbf T'|} \qquad \mathbf B = \mathbf T\times\mathbf N

N\mathbf N is guaranteed perpendicular to T\mathbf T because T\mathbf T has constant length 1 — the fact from 14.2. B\mathbf B is perpendicular to both because that's what a cross product does.

acceleration always splits two ways a=aTT+aNN,aT=ddtv=rrr,aN=κv2=r×rr\mathbf a = a_T\,\mathbf T + a_N\,\mathbf N, \qquad a_T = \frac{d}{dt}|\mathbf v| = \frac{\mathbf r'\cdot\mathbf r''}{|\mathbf r'|}, \qquad a_N = \kappa|\mathbf v|^2 = \frac{|\mathbf r'\times\mathbf r''|}{|\mathbf r'|}

Read it physically. aTa_T is the gas pedal — it changes how fast you go. aNa_N is the steering wheel — it changes where you're pointed. There is never a B\mathbf B component: you are never accelerated sideways out of your own turn.

Algorithm · decompose acceleration

  1. Compute r\mathbf r' and r\mathbf r''.
  2. Speed: r|\mathbf r'|.
  3. aTa_T: dot them and divide by the speed, rrr\dfrac{\mathbf r'\cdot\mathbf r''}{|\mathbf r'|}.
  4. aNa_N: cross them and divide by the speed, r×rr\dfrac{|\mathbf r'\times\mathbf r''|}{|\mathbf r'|}.
  5. Check: aT2+aN2=r2a_T^2 + a_N^2 = |\mathbf r''|^2. If that fails, one of them is wrong.

Dot for the gas pedal, cross for the steering wheel. Same two products, one divisor.

Projectile motion is this with a=0,0,g\mathbf a = \langle 0,0,-g\rangle: integrate once for v\mathbf v (constant of integration = initial velocity), again for r\mathbf r (constant = initial position).

Check yourself

  1. What does aTa_T measure?

    Answer
    The gas pedal — how fast your speed is changing. It is zero at constant speed, even in a hard turn.
  2. Which product gives aNa_N, dot or cross?

    Answer
    Cross. aN=r ⁣×r ⁣r ⁣a_N=\dfrac{|\mathbf r\,\!\prime\times\mathbf r\,\!\prime\prime|}{|\mathbf r\,\!\prime|}. Dot for the gas pedal, cross for the steering wheel.
14.4–14.5

Arc length & curvature

Quiz 4

A curve is hard to measure; a straight stick is easy. Chop the curve into a million tiny straight sticks, measure each, add them up.

4 sticks — too short an answer many sticks — nearly exact each stick is |r′(t)| dt long: speed × a sliver of time
Distance = speed × time, repeated for every instant. That's all the integral is doing.
arc length = speed integrated over time L=abr(t)dt=ab(dxdt)2+(dydt)2+(dzdt)2dtL = \int_a^b |\mathbf r'(t)|\,dt = \int_a^b\sqrt{\left(\tfrac{dx}{dt}\right)^2+\left(\tfrac{dy}{dt}\right)^2+\left(\tfrac{dz}{dt}\right)^2}\,dt

Algorithm · reparametrize by arc length

  1. Compute the speed r(t)|\mathbf r'(t)|.
  2. Build the arc-length function s(t)=0tr(u)dus(t) = \displaystyle\int_0^t |\mathbf r'(u)|\,du — how far you've walked by time tt.
  3. Invert it: solve s=s(t)s = s(t) for tt in terms of ss.
  4. Substitute back: r(t(s))\mathbf r(t(s)). Now the parameter is distance, so the speed is exactly 1.

Only clean when the speed is constant or very simple — which is exactly when this gets assigned.

Curvature asks how small is the circle you're hugging. A tight little circle means a sharp turn; a huge circle looks almost straight.

big circle · gentle bend · κ small small circle · sharp bend · κ big κ = 1 / R
A straight line hugs a circle of infinite radius, so its curvature is 0. A circle of radius R has curvature 1/R everywhere.
three formulas for the same κ — pick by what you're given κ=dTds=T(t)r(t)=r(t)×r(t)r(t)3\kappa = \left|\frac{d\mathbf T}{ds}\right| = \frac{|\mathbf T'(t)|}{|\mathbf r'(t)|} = \frac{|\mathbf r'(t)\times\mathbf r''(t)|}{|\mathbf r'(t)|^3}

Use the third one

Almost always. It needs only r\mathbf r' and r\mathbf r'' — no messy normalising.

Use the second one

When the problem already handed you T(t)\mathbf T(t).

For a plane curve y=f(x)y=f(x)

κ=f(1+(f)2)3/2\kappa = \dfrac{|f''|}{\bigl(1+(f')^2\bigr)^{3/2}}

Sanity values: a straight line has κ=0\kappa=0. A circle of radius aa has κ=1/a\kappa = 1/a everywhere. The radius of curvature is ρ=1/κ\rho = 1/\kappa — the radius of that best-fitting circle.

Check yourself

  1. Speed of 3cost,  3sint,  4t\langle 3\cos t,\;3\sin t,\;4t\rangle?

    Answer
    9+16=5\sqrt{9+16}=5, constant. So length over [0,2π][0,2\pi] is just 10π10\pi.
  2. Curvature of a circle of radius 2?

    Answer
    κ=1/2\kappa=1/2. Curvature is one over the radius of the hugging circle.
  3. Curvature of a straight line?

    Answer
    00 — the hugging circle has infinite radius.
UNIT 02

Partial derivatives

Ch. 15 · Quizzes 4–6 · Midterm 1 ends at 15.7

Here is the trick that unlocks the rest of the course: a function of two variables is a hill. Feed it a spot on the ground, it hands you back a height. Lessons 9–16 are the rest of Exam 1; Lagrange (16.5) is Lesson 17 — the first thing on Exam 2.

15.1

Surfaces & level curves

Quiz 4

Slice the hill with flat sheets of glass at heights 1, 2, 3, 4. Each slice leaves a loop. Draw those loops flat on paper and you've made a topographic map. Nothing was lost.

drag to spin

Slide the glass up and down. Every height gives one loop, and the loops printed on the floor are the topographic map. Loops crowded = steep.
level curves (2 inputs) and level surfaces (3 inputs) f(x,y)=kF(x,y,z)=kf(x,y) = k \qquad\qquad F(x,y,z) = k

Reading a contour map: loops crowded together = steep. Loops far apart = gentle. Closed rings shrinking inward = a peak or a pit. Contours that cross in an X = a saddle. You will use every one of these again in 15.7.

Algorithm · find and sketch the domain

  1. List what can break: denominators (≠ 0), even roots (≥ 0), logs (> 0), arcsin/arccos (input in [1,1][-1,1]).
  2. Write each as an inequality in xx and yy.
  3. Sketch each boundary curve and shade the region satisfying all of them at once.
  4. Mark boundaries solid or dashed — solid if the inequality is \ge, dashed if strict.

Check yourself

  1. What do the level curves of f(x,y)=x+yf(x,y)=x+y look like?

    Answer
    Parallel straight lines x+y=kx+y=k, evenly spaced — a constant-slope ramp, not a hill.
  2. Contours crowded close together mean what?

    Answer
    Steep. Big height change over little ground.
15.2

Limits & continuity

Quiz 4

On a number line you can only come in from the left or the right. On a plane you can spiral, zig-zag, arrive on any curve. Every road must agree or the limit doesn't exist.

(0,0) road A · along the x-axis f = 0 all the way road B · along y = x f = ½ all the way 0 ≠ ½ so the limit does not exist f(x,y) = xy / (x² + y²)
To disprove a limit: find two roads that disagree. To prove one: squeeze it, or switch to polar and show the answer doesn't depend on θ as r → 0.
the two-path test — this disproves, it never proves if lim(x,y)(a,b)f along path 1lim along path 2,then the limit does not exist\text{if } \lim_{(x,y)\to(a,b)}f \text{ along path 1} \ne \lim \text{ along path 2}, \quad\text{then the limit does not exist}

Algorithm · show a limit does NOT exist

  1. Try the axes first. Set y=0y=0, take x0x\to 0. Then x=0x=0, take y0y\to 0. Cheapest possible test.
  2. Try lines through the origin: y=mxy=mx. If the answer still contains mm, you're done — different slopes give different limits.
  3. Try matching powers. If the numerator has degree pp in one variable and the denominator degree qq, try y=xp/qy = x^{p/q} or y=x2y=x^2. This is what catches the sneaky ones that survive every straight line.
  4. State it cleanly: "along y=0y=0 the limit is AA; along y=xy=x it is BB; ABA\ne B, so the limit does not exist."

Algorithm · show a limit DOES exist

  1. Try direct substitution. If ff is built from polynomials, roots, exponentials, sines and cosines and nothing blows up — you're done, it's continuous.
  2. Switch to polar: x=rcosθx=r\cos\theta, y=rsinθy=r\sin\theta, and let r0+r\to 0^+. If everything left over is bounded and the answer does not depend on θ\theta, that's the limit.
  3. Or squeeze: find 0fLg(x,y)0\le |f - L| \le g(x,y) with g0g\to 0. Useful bounds: xx2+y21\left|\dfrac{x}{\sqrt{x^2+y^2}}\right|\le 1, sinuu|\sin u|\le|u|, x2x2+y2x^2 \le x^2+y^2.

Checking a hundred paths proves nothing. Polar or squeeze is the only way to actually close it.

Worked example — polar closing the case

lim(x,y)(0,0)x3+y3x2+y2\displaystyle\lim_{(x,y)\to(0,0)}\frac{x^3+y^3}{x^2+y^2}. Every straight line gives 0, but that isn't a proof.

polar

r3(cos3θ+sin3θ)r2=r(cos3θ+sin3θ)\dfrac{r^3(\cos^3\theta+\sin^3\theta)}{r^2} = r\,(\cos^3\theta+\sin^3\theta)

bound

cos3θ+sin3θ2|\cos^3\theta+\sin^3\theta|\le 2, so the whole thing is 2r\le 2r

conclude

as r0r\to0 this 0\to 0 regardless of θ\theta. The limit is 0.

Check yourself

  1. Along y=0y=0 the limit is 3; along y=xy=x it is 5. What do you conclude?

    Answer
    The limit does not exist. Two roads disagree, and that is a complete proof.
  2. You checked 100 straight lines and all gave 0. Does the limit exist?

    Answer
    No — you have proved nothing. Paths can only disprove. To prove, switch to polar and show the answer does not depend on θ\theta, or squeeze it.
15.3

Partial derivatives

Quiz 5

Refuse to turn. Walk due east only and record your height — that's a plain 1-D curve, and its slope is f/x\partial f/\partial x. Turn 90° and walk due north for f/y\partial f/\partial y.

drag to spin

Move the wall and watch the slice curve change shape. A partial derivative is the slope of that one curve — nothing more exotic than Calc I.
definition — the other variable never moves fx(a,b)=limh0f(a+h,b)f(a,b)hfy(a,b)=limh0f(a,b+h)f(a,b)hf_x(a,b) = \lim_{h\to 0}\frac{f(a+h,\,b)-f(a,b)}{h} \qquad f_y(a,b) = \lim_{h\to 0}\frac{f(a,\,b+h)-f(a,b)}{h}

Algorithm · compute a partial derivative

  1. Cover up the other variables with your hand. Pretend they are numbers like 7.
  2. Differentiate normally in the one remaining variable — product rule, chain rule, all of Calc I still applies.
  3. Uncover. The frozen variables come back exactly as they were.
  4. Then plug in the point, if a specific point was asked for. Never plug in first.

x(x2y3)=2xy3\dfrac{\partial}{\partial x}\bigl(x^2 y^3\bigr) = 2x y^3 — the y3y^3 was a constant, so it just rode along.

second and mixed partials fxx=2fx2fxy=(fx)y=2fyxfyx=(fy)xf_{xx} = \frac{\partial^2 f}{\partial x^2}\qquad f_{xy} = (f_x)_y = \frac{\partial^2 f}{\partial y\,\partial x} \qquad f_{yx} = (f_y)_x

Clairaut's theorem

If the mixed partials are continuous near a point, fxy=fyxf_{xy} = f_{yx} — the order you differentiate in doesn't matter. This is free error-checking: compute both and they must match.

Notation trap

fxyf_{xy} means "xx first, then yy", but 2fyx\dfrac{\partial^2f}{\partial y\,\partial x} means the same thing read right-to-left. Subscripts run left-to-right; Leibniz notation runs inside-out. Clairaut makes them equal anyway, but exam wording depends on you knowing which is which.

Check yourself

  1. Compute x(x2y3)\dfrac{\partial}{\partial x}\left(x^2y^3\right).

    Answer
    2xy32xy^3. The y3y^3 was a constant, so it rode along untouched.
  2. Is fxyf_{xy} the same as fyxf_{yx}?

    Answer
    Yes, whenever the mixed partials are continuous (Clairaut). Compute both — it is free error-checking.
15.4

Chain rule

Quiz 5

Draw a tree. To find how fast zz changes when tt changes, multiply along each branch from tt up to zz, then add the branches together. Every chain rule in the course is this one picture.

z x y t t ∂z/∂x ∂z/∂y dx/dt dy/dt route 1 · multiply down (∂z/∂x)(dx/dt) route 2 · multiply down (∂z/∂y)(dy/dt) +  add the routes
Why add? Because t wiggling changes both x and y, and each of those independently pushes z. The effects stack.
Case 1 · one independent variable dzdt=zxdxdt+zydydt\frac{dz}{dt} = \frac{\partial z}{\partial x}\frac{dx}{dt} + \frac{\partial z}{\partial y}\frac{dy}{dt}
Case 2 · two independent variables zs=zxxs+zyyszt=zxxt+zyyt\frac{\partial z}{\partial s} = \frac{\partial z}{\partial x}\frac{\partial x}{\partial s} + \frac{\partial z}{\partial y}\frac{\partial y}{\partial s} \qquad \frac{\partial z}{\partial t} = \frac{\partial z}{\partial x}\frac{\partial x}{\partial t} + \frac{\partial z}{\partial y}\frac{\partial y}{\partial t}

Algorithm · any chain rule, from the tree

  1. Draw the tree. Output on top. Below it, every variable the output directly depends on. Below those, the variables they depend on. Keep going to the bottom.
  2. Label every edge with the derivative of the upper node with respect to the lower one. Use \partial when the node has more than one child, dd when it has exactly one.
  3. Trace every path from the top down to the variable you're differentiating with respect to.
  4. Multiply along each path, then add the paths.

Number of terms in your answer = number of distinct routes down the tree. Count the routes first, then check your answer has that many terms.

implicit differentiation, from F(x,y)=0F(x,y)=0 and F(x,y,z)=0F(x,y,z)=0 dydx=FxFyzx=FxFz,zy=FyFz\frac{dy}{dx} = -\frac{F_x}{F_y} \qquad\qquad \frac{\partial z}{\partial x} = -\frac{F_x}{F_z}, \qquad \frac{\partial z}{\partial y} = -\frac{F_y}{F_z}

Where the minus sign comes from. Staying on the level set means FF never changes, so dF=0dF = 0. Expand: Fxdx+Fydy=0F_x\,dx + F_y\,dy = 0. Solve for dy/dxdy/dx and the minus falls out. Nothing memorised.

Algorithm · implicit partials without the formula

  1. Differentiate the whole equation with respect to the variable you care about.
  2. Treat the dependent variable as a function — every time you differentiate zz, write z/x\partial z/\partial x.
  3. Collect all the z/x\partial z/\partial x terms on one side.
  4. Solve for z/x\partial z/\partial x.

Check yourself

  1. zz depends on xx and yy; both depend on tt. How many terms in dz/dtdz/dt?

    Answer
    Two — one per route down the tree. Count the routes before you compute, then check your answer has that many terms.
15.5

Gradient & directional derivatives

Quiz 5

Put the two partials side by side into one arrow. That arrow points straight uphill, it is always perpendicular to the contour lines, and its length is how steep that climb is.

peak steep side lines crowded ∇f long gentle side lines spread out ∇f short every arrow crosses its contour at a right angle
Perpendicular is not a coincidence: walking along a contour keeps your height constant, so the height-change in that direction is zero — and zero change means zero dot product with ∇f.
the gradient f=fx, fyorf=fx, fy, fz\nabla f = \left\langle f_x,\ f_y \right\rangle \qquad\text{or}\qquad \nabla f = \left\langle f_x,\ f_y,\ f_z \right\rangle

You don't have to walk straight uphill. Pick any direction u\mathbf u — your slope is the shadow of the gradient onto your direction. The dot product from 13.3, doing real work.

drag to spin

Spin u around. Line it up with ∇f for the steepest climb; turn it 90° and you're walking the contour — dead flat. The green bar is the shadow.
directional derivative — u must be a UNIT vector Duf=fu=fcosθD_{\mathbf u}f = \nabla f\cdot\mathbf u = |\nabla f|\cos\theta

Algorithm · directional derivative

  1. Compute f\nabla f symbolically, then evaluate at the point.
  2. Normalise the direction. If you were given a vector, divide by its length. If you were given an angle θ\theta from the xx-axis, use u=cosθ,sinθ\mathbf u = \langle\cos\theta,\sin\theta\rangle. If you were given "toward the point QQ", use PQ/PQ\overrightarrow{PQ}/|\overrightarrow{PQ}|.
  3. Dot them. Duf=fuD_{\mathbf u}f = \nabla f\cdot\mathbf u.

Skipping step 2 is the most common lost point in Unit 2. A direction vector of length 3 inflates your answer by exactly 3×.

QuestionAnswerWhy
Fastest increasedirection f\nabla f, rate f|\nabla f|cosθ\cos\theta is maximal at θ=0\theta=0
Fastest decreasedirection f-\nabla f, rate f-|\nabla f|cosθ=1\cos\theta = -1
No change at allany uf\mathbf u \perp \nabla fcos90°=0\cos 90° = 0 — you're walking the contour
Level set directiontangent to the contoursame thing as the row above

The gradient is perpendicular to its own level set

Walking along a contour keeps your height constant, so the change in that direction is zero — and zero change means a zero dot product with f\nabla f. That single fact gives you tangent planes to any implicitly defined surface for free.

tangent plane & normal line to the surface F(x,y,z)=kF(x,y,z)=k Fx(P)(xx0)+Fy(P)(yy0)+Fz(P)(zz0)=0r(t)=r0+tF(P)F_x(P)(x-x_0)+F_y(P)(y-y_0)+F_z(P)(z-z_0) = 0 \qquad\quad \mathbf r(t) = \mathbf r_0 + t\,\nabla F(P)

Algorithm · tangent plane to any surface

  1. Write it as a level surface. z=f(x,y)z = f(x,y) becomes F(x,y,z)=f(x,y)z=0F(x,y,z) = f(x,y)-z = 0.
  2. Compute F\nabla F and evaluate at the point. That is the normal vector.
  3. Use the point-normal plane equation from 13.5.
  4. For the normal line, use the same F\nabla F as the direction vector.

Note step 1 reproduces fx,fy,1\langle f_x, f_y, -1\rangle from 15.6 — the two methods are the same method.

Check yourself

  1. f\nabla f is perpendicular to what?

    Answer
    Its own level curve. Walking along a contour keeps height constant, so the change is zero — and zero change means zero dot product.
  2. What is the maximum rate of increase at a point?

    Answer
    f|\nabla f|, the length of the gradient — a number, attained in the direction f\nabla f.
  3. You walk along a contour line. What is DufD_{\mathbf u}f?

    Answer
    00. Dead flat — that is what a contour means.
15.6

Tangent planes & linear approximation

Midterm 1

The Earth is round, but your backyard is flat. Zoom in far enough on any smooth surface and it becomes a plane — and using that plane instead of the real surface is what linear approximation means.

drag to spin

The plane is fixed — it never moves. Zooming makes the surface come to it. That is exactly what linear approximation buys you.
tangent plane to z=f(x,y)z=f(x,y) at (a,b)(a,b) z=f(a,b)+fx(a,b)(xa)+fy(a,b)(yb)z = f(a,b) + f_x(a,b)(x-a) + f_y(a,b)(y-b)

Read it as a sentence: start at the known height, then add "slope × how far you walked" for each direction. Its normal vector is fx, fy, 1\langle f_x,\ f_y,\ -1\rangle.

differentials — the same statement, about small changes dz=fxdx+fydyΔzdzdz = f_x\,dx + f_y\,dy \qquad \Delta z \approx dz

Algorithm · estimate a value or an error

  1. Pick a nearby easy point (a,b)(a,b) where ff, fxf_x, fyf_y are trivial to evaluate.
  2. Compute the three numbers f(a,b)f(a,b), fx(a,b)f_x(a,b), fy(a,b)f_y(a,b).
  3. Set dx=xadx = x-a and dy=ybdy = y-b — the small steps from easy point to real point.
  4. Add it up: f(x,y)f(a,b)+fxdx+fydyf(x,y)\approx f(a,b)+f_x\,dx+f_y\,dy.
  5. For maximum error, use dx,dy|dx|,|dy| at their worst and take absolute values of the coefficients: dzfxdx+fydy|dz|\le |f_x||dx|+|f_y||dy|.

Differentiable is stronger than "both partials exist." A function can have both partials at a point and still not have a tangent plane there. In practice, if fxf_x and fyf_y are continuous near the point, ff is differentiable — that's the test you'll actually use.

Check yourself

  1. What is the normal vector to the surface z=f(x,y)z=f(x,y)?

    Answer
    fx,  fy,  1\langle f_x,\;f_y,\;-1\rangle. (Or write it as F=fz=0F=f-z=0 and take F\nabla F — same thing.)
  2. Write the differential dzdz.

    Answer
    dz=fxdx+fydydz=f_x\,dx+f_y\,dy. Nudge xx, nudge yy, add both effects.
15.7

Maximum & minimum values

Midterm 1

If f=0\nabla f = \mathbf 0 you're on level ground. But level ground happens at a summit, at the bottom of a bowl, and at a mountain pass — where it goes up one way and down the other.

MAXIMUM closed rings — values rise inward MINIMUM closed rings — values fall inward SADDLE contours cross — a pass, not a peak
Contours that form closed rings around a point mean max or min. Contours that cross in an X mean saddle — the classic tell on an exam.
second derivative test D=fxxfyy(fxy)2evaluated at the critical pointD = f_{xx}f_{yy} - \bigl(f_{xy}\bigr)^2 \quad\text{evaluated at the critical point}
IfThenPicture
D>0D \gt 0 and fxx<0f_{xx} \lt 0local maximumboth slices bend down — a summit
D>0D \gt 0 and fxx>0f_{xx} \gt 0local minimumboth slices bend up — a bowl
D<0D \lt 0saddle pointslices bend opposite ways — a pass
D=0D=0test failslook at the contours or test values directly

Algorithm · classify all critical points

  1. Set both partials to zero: fx=0f_x=0 and fy=0f_y=0. Solve the system.
  2. Find every solution. Factor rather than divide — dividing by xx silently throws away the critical points with x=0x=0.
  3. Compute fxxf_{xx}, fyyf_{yy}, fxyf_{xy} symbolically, once.
  4. Evaluate DD at each point and read the table.
  5. Report the function value ff at each max/min, not just the location.

Step 2 is where solutions get lost. If you ever divide by a variable, handle the "= 0" case separately.

Algorithm · absolute extrema on a closed bounded region

  1. Interior: find critical points strictly inside DD, and list their ff values.
  2. Boundary: break the boundary into pieces. Parametrize each piece so it becomes a one-variable problem.
  3. Optimise each piece with ordinary Calc I: derivative zero, plus the endpoints of that piece.
  4. Corners: evaluate ff at every corner of the region.
  5. Compare the whole list. Biggest value is the absolute max, smallest is the absolute min. No second derivative test needed anywhere.

The extreme value theorem guarantees both exist when the region is closed and bounded — so if your list has no winner, your list is incomplete.

Trap

Forgetting the boundary. On a closed region the absolute maximum very often sits on the edge, where f\nabla f is not zero at all — so it never shows up as a critical point. Steps 2–4 are not optional.

Check yourself

  1. D<0D \lt 0 at a critical point. What is it?

    Answer
    A saddle — and fxxf_{xx} is irrelevant here.
  2. You found every interior critical point on a closed region. Are you done?

    Answer
    No. Check every boundary piece and every corner. On a closed region the maximum usually lives on the edge, where f\nabla f is not zero at all.
15.8

Lagrange multipliers

Quiz 6

You must stay on a path. Walk along it and watch the contour lines you cross — as long as you're cutting across them you're still gaining height, so keep going. You've maxed out exactly where the path stops crossing and just touches one.

peak the fence you're stuck on: g = k here — they just touch ∇f ∇g · same line! still cutting across → keep walking
Touching = the two curves share a tangent line = their normals point the same way. The normals are ∇f and ∇g. So ∇f is a multiple of ∇g. The multiple is λ.
one constraint f=λgandg(x,y,z)=k\nabla f = \lambda\,\nabla g \qquad\text{and}\qquad g(x,y,z) = k

Touching = sharing a tangent line = normals pointing along the same line. The normals are f\nabla f and g\nabla g, so one must be a multiple of the other. That multiple is λ\lambda — and you almost never need its value.

Algorithm · Lagrange, one constraint

  1. Name ff and gg. ff is what you're optimising; g=kg=k is the restriction.
  2. Write the system: fx=λgxf_x=\lambda g_x, fy=λgyf_y=\lambda g_y, fz=λgzf_z=\lambda g_z, plus g=kg=k. Four equations, four unknowns.
  3. Eliminate λ\lambda first. Solve each equation for λ\lambda and set them equal — that removes an unknown immediately.
  4. Watch for zeros. Before dividing by anything, handle the case where it equals zero as its own branch. That's where the missing solutions hide.
  5. Evaluate ff at every candidate point and just compare. Largest is the max, smallest is the min.

No second derivative test exists here. Comparison is the whole final step.

Worked example

Maximise f=xyf = xy on the circle g=x2+y2=8g = x^2+y^2 = 8.

system

y=2λxy = 2\lambda x,   x=2λyx = 2\lambda y,   x2+y2=8x^2+y^2=8

eliminate

y2x=λ=x2yy2=x2y=±x\dfrac{y}{2x} = \lambda = \dfrac{x}{2y} \Rightarrow y^2 = x^2 \Rightarrow y = \pm x

constraint

2x2=8x=±22x^2 = 8 \Rightarrow x=\pm 2, giving (2,2),(2,2),(2,2),(2,2)(2,2),(-2,-2),(2,-2),(-2,2)

compare

f=4, 4, 4, 4f = 4,\ 4,\ -4,\ -4. Max 4, min −4.

zero branch

x=0x=0 would force y=0y=0, which fails the constraint — so nothing was lost in step 2.

two constraints — the curve where two surfaces meet f=λg+μh,g=k1,h=k2\nabla f = \lambda\,\nabla g + \mu\,\nabla h, \qquad g = k_1, \qquad h = k_2

With two constraints you're stuck on a curve instead of a surface. g\nabla g and h\nabla h span the plane of directions perpendicular to that curve, and at an optimum f\nabla f has to lie in that plane — otherwise some leftover component would still be pushing you along the curve toward a better value.

When to use Lagrange vs. substitution

If the constraint solves cleanly for one variable, substitute and use 15.7 — it's faster. Reach for Lagrange when the constraint is symmetric, messy, or refuses to be solved for anything (a sphere, an ellipsoid, x2+y2+z2=1x^2+y^2+z^2=1).

Check yourself

  1. What is the condition at a constrained optimum?

    Answer
    f=λg\nabla f=\lambda\nabla g — the contour just touches the constraint, so their normals line up.
  2. Do you need the second derivative test to finish?

    Answer
    No. Evaluate ff at every candidate point and compare. Biggest is the max, smallest is the min.
UNIT 03

Multiple integrals

Ch. 16 · Quizzes 6–8

Derivatives cut things apart; integrals pile things up. In 3-D the pile is made of tiny boxes — and the only real skill in this unit is choosing box shapes that match the region you were handed. Lessons 18–24.

16.1

Double integrals

Quiz 6

Tile the floor. On each tile, build a column as tall as the surface above it. Volume of one column = height × tile area. Add up all the columns.

drag to spin

Each column is height × tile area. Turn the tiles up and the staircase melts into the smooth solid. That limit is the double integral.
definition and Fubini's theorem RfdA=limm,ni=1mj=1nf(xij,yij)ΔA=ab ⁣ ⁣cdfdydx=cd ⁣ ⁣abfdxdy\iint_R f\,dA = \lim_{m,n\to\infty}\sum_{i=1}^m\sum_{j=1}^n f(x_{ij}^*,y_{ij}^*)\,\Delta A = \int_a^b\!\!\int_c^d f\,dy\,dx = \int_c^d\!\!\int_a^b f\,dx\,dy

Over a rectangle the order never matters. And if f(x,y)=g(x)h(y)f(x,y) = g(x)h(y) splits, the double integral splits too: =(abg)(cdh)\iint = \left(\int_a^b g\right)\left(\int_c^d h\right). Look for that before doing any work.

f=1f = 1 gives the plain area of RR. That's the sanity check for every setup you write.

Check yourself

  1. What does R1dA\iint_R 1\,dA give you?

    Answer
    The plain area of RR. Use it to sanity-check any setup.
  2. Over a rectangle, does the order of integration matter?

    Answer
    No (Fubini). And if f(x,y)=g(x)h(y)f(x,y)=g(x)h(y) the whole thing factors into two single integrals — look for that first.
16.2

General regions & setting up limits

Quiz 6

This is where the points get lost, and it's mechanical. Fire an arrow across the region. Where it enters and exits gives the inner limits. How far the arrow itself slides gives the outer limits — always plain numbers.

x runs a → b · numbers VERTICAL sweep arrow enters the bottom curve, exits the top curve ∫ₐᵇ ∫g₁(x)g₂(x) f dy dx y runs c → d HORIZONTAL sweep arrow enters the left curve, exits the right curve cdh₁(y)h₂(y) f dx dy
Same region, same answer, different work. Swap the order when the inner integral is impossible or the region needs splitting into pieces — that is the whole point of the "reverse the order" problems.
Type I · vertical arrows, y between two curves RfdA=ab ⁣ ⁣g1(x)g2(x)f(x,y)dydx\iint_R f\,dA = \int_a^b\!\!\int_{g_1(x)}^{g_2(x)} f(x,y)\,dy\,dx
Type II · horizontal arrows, x between two curves RfdA=cd ⁣ ⁣h1(y)h2(y)f(x,y)dxdy\iint_R f\,dA = \int_c^d\!\!\int_{h_1(y)}^{h_2(y)} f(x,y)\,dx\,dy

Algorithm · set up the limits

  1. Sketch the region. Always. Find where the boundary curves intersect by setting them equal.
  2. Choose a sweep direction — vertical (Type I) or horizontal (Type II). Pick whichever needs fewer pieces.
  3. Inner limits: enter → exit. Which curve does the arrow enter through, which does it leave through? Those are functions of the outer variable.
  4. Outer limits: the arrow's travel range. These must be constants.
  5. Check the shape: numbernumberfunctionfunction\displaystyle\int_{\text{number}}^{\text{number}}\int_{\text{function}}^{\text{function}}. A variable in the outer limits means you set it up wrong.

Algorithm · reverse the order of integration

  1. Read the given limits backwards into a sketch. Inner limits are curves; outer limits are the strip the arrow slides through. Draw the region they describe — do not skip to algebra.
  2. Re-sweep the other way. Fire the arrow horizontally instead of vertically (or vice versa).
  3. Solve the boundary curves for the other variable. y=x2y = x^2 becomes x=yx=\sqrt y.
  4. Split into pieces if the enter-or-exit curve changes partway across.
  5. Now integrate. The whole point is usually that the new inner integral is doable and the old one wasn't.

Classic tell: an inner integrand like ey2e^{y^2} or sin(x2)\sin(x^2) that has no elementary antiderivative. That's the problem asking you to flip.

Worked example

01 ⁣ ⁣x1ey2dydx\displaystyle\int_0^1\!\!\int_x^1 e^{y^2}\,dy\,dx — the inner integral is impossible as written.

sketch

0x10\le x\le 1 and xy1x\le y\le 1: the triangle with corners (0,0),(1,1),(0,1)(0,0),(1,1),(0,1).

re-sweep

Horizontally: for each yy in [0,1][0,1], xx runs 0y0 \to y.

rewrite

01 ⁣ ⁣0yey2dxdy=01yey2dy\displaystyle\int_0^1\!\!\int_0^y e^{y^2}\,dx\,dy = \int_0^1 y\,e^{y^2}\,dy

finish

=12ey201=e12=\tfrac12 e^{y^2}\Big|_0^1 = \dfrac{e-1}{2}

Check yourself

  1. Your outer limits contain a variable. What went wrong?

    Answer
    The setup. Outer limits are always constants. Re-sweep the region.
  2. The inner integrand is ey2e^{y^2}. What is the problem telling you?

    Answer
    Flip the order. No elementary antiderivative in that variable is the signal, every time.
16.3

Double integrals in polar

Quiz 7

Cut the region into wedges instead of tiles. A wedge is nearly a rectangle: one side is drdr long, the other is an arc of length rdθr\,d\theta — because the same angle sweeps a longer arc when you're farther out.

near the middle: skinny wedge far out: fat wedge same dθ, longer arc dr r dθ one wedge, straightened out area ≈ dr × r dθ = r dr dθ a stretch factor, not a rule
Use polar the moment you see x² + y², a circle, a disk, or an annulus. The messy algebra collapses into r².
the r is a stretch factor, not a rule to memorise Rf(x,y)dA=αβ ⁣ ⁣r1(θ)r2(θ)f(rcosθ, rsinθ) rdrdθdA\iint_R f(x,y)\,dA = \int_\alpha^\beta\!\!\int_{r_1(\theta)}^{r_2(\theta)} f(r\cos\theta,\ r\sin\theta)\ \underbrace{r\,dr\,d\theta}_{dA}

Algorithm · convert to polar

  1. Spot the trigger: x2+y2x^2+y^2, a circle, a disk, an annulus, a wedge, or limits with a2x2\sqrt{a^2-x^2}.
  2. Convert the integrand: xrcosθx\to r\cos\theta, yrsinθy\to r\sin\theta, and every x2+y2r2x^2+y^2 \to r^2.
  3. Convert the region. θ\theta sweeps the angular range; for each θ\theta, rr runs from the inner boundary to the outer boundary.
  4. Attach the rr. dA=rdrdθdA = r\,dr\,d\theta. Write it before you do anything else.
  5. Integrate — inner in rr, outer in θ\theta.

Useful conversions:   x2+y2=a2r=a\;x^2+y^2=a^2 \to r=a.  y=xθ=π/4y=x \to \theta=\pi/4.  x2+y2=2axr=2acosθx^2+y^2=2ax \to r = 2a\cos\theta (a circle through the origin).

The single most expensive mistake in the course

Dropping the rr. dA=rdrdθdA = r\,dr\,d\theta, not drdθdr\,d\theta. It comes from the wedge geometry above and it is also exactly what the Jacobian in 16.7 will produce. Write the rr the moment you write drdθdr\,d\theta.

Check yourself

  1. What is dAdA in polar?

    Answer
    rdrdθr\,dr\,d\theta.
  2. Where does that rr come from?

    Answer
    The wedge. One side is drdr long; the other is an arc of length rdθr\,d\theta, because the same angle sweeps further when you are farther out.
16.4

Triple integrals

Quiz 7

Same idea, now the tiles are tiny cubes. To get limits: look at the solid's shadow on a coordinate plane, then ask how far the solid runs above each shadow point.

top surface z = z₂(x,y) bottom surface z = z₁(x,y) the shadow on the floor — outer ∬ dA z sweeps from bottom to top dV ∭ f dV = shadowz₁z₂ f dz dA
f = 1 gives volume. f = density gives mass. There are six possible orders (dz dy dx, dy dz dx, …) — pick whichever makes the inner surfaces simplest.
the shadow method EfdV=shadow[z1(x,y)z2(x,y)fdz]dA\iiint_E f\,dV = \iint_{\text{shadow}}\left[\int_{z_1(x,y)}^{z_2(x,y)} f\,dz\right]dA

Algorithm · set up a triple integral

  1. Pick the sweep direction. Usually zz: fire an arrow straight up through the solid.
  2. Inner limits — enter and exit surfaces. zz runs from the bottom surface z1(x,y)z_1(x,y) to the top surface z2(x,y)z_2(x,y). Solve both for zz.
  3. Project to get the shadow. Where the top and bottom surfaces meet is the shadow's boundary curve — set z1=z2z_1 = z_2 and eliminate zz.
  4. Set up that 2-D shadow region exactly as in 16.2 (or 16.3 if it's round).
  5. Check the shape: function limits inside, then function limits, then numbers outermost.

Six orders exist (dzdydxdz\,dy\,dx, dydzdxdy\,dz\,dx, …). If the zz-sweep gives an ugly shadow, try sweeping along xx or yy instead — the shadow lands on a different plane.

f=1f=1

Volume of the solid.

f=ρf=\rho

Mass. Then xˉ=1mxρdV\bar x = \frac1m\iiint x\rho\,dV, and similarly for yˉ,zˉ\bar y,\bar z.

Inertia about the zz-axis

Iz=(x2+y2)ρdVI_z = \iiint (x^2+y^2)\,\rho\,dV — squared distance from the axis.

Check yourself

  1. What does E1dV\iiint_E 1\,dV give?

    Answer
    The volume of EE.
  2. How do you get the two outer limits of a triple integral?

    Answer
    Project. The solid's shadow on a coordinate plane is a 2-D region — set it up exactly as in 16.2.
16.5a

Cylindrical coordinates

Quiz 7

Polar coordinates with a height bolted on. Cans, pipes, and anything round with a straight axis.

conversion and the volume element x=rcosθ,y=rsinθ,z=zdV=rdzdrdθx = r\cos\theta,\quad y=r\sin\theta,\quad z=z \qquad\qquad dV = r\,dz\,dr\,d\theta

Algorithm · when and how

  1. Use it when the shadow on the xyxy-plane is a disk, wedge, or annulus — or when you see x2+y2x^2+y^2 in the surfaces.
  2. Convert the surfaces: a cylinder x2+y2=a2x^2+y^2=a^2 becomes r=ar=a; a cone z=x2+y2z=\sqrt{x^2+y^2} becomes z=rz=r; a paraboloid z=x2+y2z=x^2+y^2 becomes z=r2z=r^2.
  3. Order is usually dzdrdθdz\,dr\,d\theta: zz between the two surfaces, rr across the shadow, θ\theta around.
  4. Attach the rr. Same rr, same reason, as in 16.3.

Check yourself

  1. What is dVdV in cylindrical?

    Answer
    rdzdrdθr\,dz\,dr\,d\theta — the same rr, for the same reason as polar.
  2. The cone z=x2+y2z=\sqrt{x^2+y^2} becomes what?

    Answer
    z=rz=r. Clean — that is why cylindrical suits cones with flat tops.
16.5b

Spherical coordinates

Quiz 8

Distance from the origin, angle down from the north pole, angle around. Balls and cones. The famous ρ2sinφ\rho^2\sin\varphi is not arbitrary — it's the little box's three edge lengths multiplied together.

drag to spin

Drag φ toward either pole and watch the box go skinny. That shrinking edge is ρ sin φ — the whole reason dV carries a sin φ.
conversion x=ρsinφcosθ,y=ρsinφsinθ,z=ρcosφ,ρ2=x2+y2+z2x = \rho\sin\varphi\cos\theta,\qquad y=\rho\sin\varphi\sin\theta,\qquad z = \rho\cos\varphi,\qquad \rho^2 = x^2+y^2+z^2
the volume element, derived not memorised dV=dρradial×ρdφnorth–south×ρsinφdθeast–west=ρ2sinφ dρdφdθdV = \underbrace{d\rho}_{\text{radial}}\times\underbrace{\rho\,d\varphi}_{\text{north–south}}\times\underbrace{\rho\sin\varphi\,d\theta}_{\text{east–west}} = \rho^2\sin\varphi\ d\rho\,d\varphi\,d\theta

Why sinφ\sin\varphi: the circle of latitude at angle φ\varphi has radius ρsinφ\rho\sin\varphi, not ρ\rho. Near the poles it shrinks to nothing, so the same dθd\theta sweeps almost no distance — and the volume element shrinks with it.

Algorithm · set up in spherical

  1. Use it when you see x2+y2+z2x^2+y^2+z^2, a sphere, a ball, a cone, or a region between two spheres.
  2. ρ\rho limits: where the ray from the origin enters and leaves the solid. A sphere of radius aa gives ρ=a\rho = a; a plane z=cz=c gives ρ=c/cosφ=csecφ\rho = c/\cos\varphi = c\sec\varphi.
  3. φ\varphi limits: the cone angle. φ=0\varphi=0 is straight up, φ=π/2\varphi=\pi/2 is the xyxy-plane, φ=π\varphi=\pi is straight down. The cone z=x2+y2z=\sqrt{x^2+y^2} is φ=π/4\varphi=\pi/4.
  4. θ\theta limits: how far around, usually 00 to 2π2\pi.
  5. Attach ρ2sinφ\rho^2\sin\varphi and integrate, innermost ρ\rho outward.

Ranges: ρ0\rho\ge 0,  0φπ0\le\varphi\le\pi,  0θ2π0\le\theta\le 2\pi. φ\varphi never goes past π\pi — that would be going round twice.

r θ z CYLINDRICAL polar, plus a height dr r dθ dz dV = r dz dr dθ x = r cos θ · y = r sin θ · z = z ρ φ from the top θ around radius = ρ sin φ tiny near the poles SPHERICAL · ball coordinates ρ dφ ρ sin φ dθ dV = ρ² sin φ dρ dφ dθ just the three edges, multiplied
The ρ² sin φ is not arbitrary: dρ × (ρ dφ) × (ρ sin φ dθ). Two ρ's and one sin φ fall out on their own. φ ∈ [0, π] (top to bottom), θ ∈ [0, 2π] (all the way around).

Check yourself

  1. What is dVdV in spherical?

    Answer
    ρ2sinφ  dρdφdθ\rho^2\sin\varphi\;d\rho\,d\varphi\,d\theta.
  2. What is the range of φ\varphi?

    Answer
    0φπ0\le\varphi\le\pi — top to bottom. Only θ\theta goes all the way round to 2π2\pi.
  3. Why the sinφ\sin\varphi?

    Answer
    The circle of latitude has radius ρsinφ\rho\sin\varphi, not ρ\rho. Near the poles it shrinks to nothing, so the box goes skinny.
16.6

Mass, moments, centre of mass, inertia

Quiz 8

A metal plate with heavy and light spots. Its mass is density piled over the region. Its centre of mass is where you'd stick a pin so it sits level — the average position, with heavy bits voting harder.

dense thin balance point (x̄, ȳ) m = ∬ ρ dA total mass x̄ = (1/m) ∬ x ρ dA position, weighted by mass I = ∬ (dist)² ρ dA inertia — distance is squared, so far-out mass matters far more
Everything here is "∬ (some weight) × ρ dA". Weight = 1 → mass. Weight = x → moment. Weight = distance² → moment of inertia. Same integral, different sticker.
mass and moments m=RρdAMy=RxρdAMx=RyρdAm = \iint_R \rho\,dA \qquad M_y = \iint_R x\,\rho\,dA \qquad M_x = \iint_R y\,\rho\,dA
centre of mass xˉ=Mym=1mRxρdAyˉ=Mxm=1mRyρdA\bar x = \frac{M_y}{m} = \frac{1}{m}\iint_R x\,\rho\,dA \qquad\qquad \bar y = \frac{M_x}{m} = \frac{1}{m}\iint_R y\,\rho\,dA
moments of inertia — distance is SQUARED Ix=Ry2ρdAIy=Rx2ρdAI0=R(x2+y2)ρdA=Ix+IyI_x = \iint_R y^2\rho\,dA \qquad I_y = \iint_R x^2\rho\,dA \qquad I_0 = \iint_R (x^2+y^2)\rho\,dA = I_x + I_y

Naming trap

MyM_y uses xx, and MxM_x uses yy. The subscript names the axis you are taking the moment about, not the variable in the integrand. Same crossover in IxI_x, which uses y2y^2 — distance from the xx-axis is y|y|.

Algorithm · any of these quantities

  1. Set up the region once — limits, and polar if it's round.
  2. Pick the weight from the table: 11 for mass, xx or yy for a moment, x2+y2x^2+y^2 for polar inertia.
  3. Integrate (weight)ρdA\iint(\text{weight})\rho\,dA. Every quantity in this section is that one integral with a different sticker.
  4. For a centre of mass, divide by mm at the very end. Moments are not divided; centres of mass are.

Symmetry shortcut: if the region and the density are both symmetric about a line, the centre of mass lies on that line. That can kill half the work.

Uniform density? ρ\rho is a constant, so it factors out of the top and bottom of xˉ\bar x and cancels completely. The answer is then called the centroid and depends only on the shape.

Check yourself

  1. Write xˉ\bar x for a lamina.

    Answer
    xˉ=1mRxρdA\bar x=\dfrac1m\displaystyle\iint_R x\,\rho\,dA — the moment, divided by the mass.
  2. Why is moment of inertia weighted by distance squared?

    Answer
    Because it measures resistance to spinning, and mass far from the axis resists far more than mass near it.
16.7

Change of variables & the Jacobian

bonus · not on the plan

Purdue’s 37 lessons skip 16.7 — the plan jumps straight from mass calculations (16.6) to vector fields (17.1). Read this only if you want to see where the rr and ρ2sinφ\rho^2\sin\varphi actually come from.

Bend the coordinate grid into whatever shape makes your region a plain rectangle. The bending stretches areas, so you owe a correction factor — and the Jacobian is exactly that factor.

u-v plane · easy region du dv x(u,v) y(u,v) x-y plane · stretched dA — bigger! dA = |J| du dv
Polar is the famous special case: for x = r cos θ, y = r sin θ the Jacobian works out to exactly r. Same for spherical: ρ² sin φ. The rule you memorised was always a Jacobian.
the Jacobian determinant (x,y)(u,v)=xuxvyuyvdA=(x,y)(u,v)dudv\frac{\partial(x,y)}{\partial(u,v)} = \begin{vmatrix}\dfrac{\partial x}{\partial u} & \dfrac{\partial x}{\partial v}\\[8pt] \dfrac{\partial y}{\partial u} & \dfrac{\partial y}{\partial v}\end{vmatrix} \qquad\qquad dA = \left|\frac{\partial(x,y)}{\partial(u,v)}\right|\,du\,dv
change of variables Rf(x,y)dA=Sf(x(u,v),y(u,v))(x,y)(u,v)dudv\iint_R f(x,y)\,dA = \iint_S f\bigl(x(u,v),\,y(u,v)\bigr)\left|\frac{\partial(x,y)}{\partial(u,v)}\right|du\,dv

Algorithm · change of variables

  1. Choose uu and vv from the boundary. If the region is bounded by x+y=1x+y=1, x+y=3x+y=3, xy=0x-y=0, xy=2x-y=2, then take u=x+yu=x+y, v=xyv=x-y — the region becomes the rectangle 1u31\le u\le3, 0v20\le v\le 2.
  2. Invert to get x(u,v)x(u,v) and y(u,v)y(u,v).
  3. Compute the Jacobian and take its absolute value.
  4. Rewrite the integrand in uu and vv.
  5. Integrate over the new, rectangular region.

Shortcut: if inverting is ugly, compute (u,v)(x,y)\dfrac{\partial(u,v)}{\partial(x,y)} instead and use (x,y)(u,v)=1/(u,v)(x,y)\dfrac{\partial(x,y)}{\partial(u,v)} = 1\Big/\dfrac{\partial(u,v)}{\partial(x,y)}.

Polar and spherical were Jacobians all along

For x=rcosθ, y=rsinθx=r\cos\theta,\ y=r\sin\theta the Jacobian works out to exactly rr. For spherical it works out to exactly ρ2sinφ\rho^2\sin\varphi. The rules you were told to memorise in 16.3 and 16.5 are just this one theorem, already applied.

Check yourself

  1. What is the Jacobian for polar coordinates?

    Answer
    Exactly rr — the rule you memorised in 16.3 was this theorem all along.
UNIT 04

Vector calculus

Ch. 17 · Quizzes 8–10 → Midterm 2 → Final

One last new object: instead of a number at every point, an arrow at every point. Then four theorems that all say the same sentence — what happens on the edge equals what the derivative does inside. Lessons 25–33 finish Exam 2; Stokes and the divergence theorem (34–37) appear only on the Final.

17.1

Vector fields

Quiz 8

Wind, current, gravity, magnetic pull. Two questions decide everything that follows: does the wind go around, and does the wind go out?

GOES AROUND a stick dropped in would spin · curl GOES OUT stuff is being created here · divergence
Written down: F(x,y) = ⟨P(x,y), Q(x,y)⟩. The left field is ⟨−y, x⟩. The right field is ⟨x, y⟩.
a vector field F(x,y)=P(x,y)i+Q(x,y)jF(x,y,z)=Pi+Qj+Rk\mathbf F(x,y) = P(x,y)\,\mathbf i + Q(x,y)\,\mathbf j \qquad\quad \mathbf F(x,y,z) = P\,\mathbf i + Q\,\mathbf j + R\,\mathbf k

Gradient fields are the special ones: F=f\mathbf F = \nabla f for some scalar ff. Physically, ff is a hill (or a potential) and F\mathbf F points the way water would run. Section 17.3 is entirely about spotting these.

Check yourself

  1. What does divergence measure?

    Answer
    Net outflow from a tiny box: faucet if positive, drain if negative.
  2. What does curl measure?

    Answer
    Local spin — whether a paddlewheel turns. Not whether the flow curves: straight flow that is faster on one side still spins it.
17.2

Line integrals

Quiz 9

Walk a curve and add something up as you go. If the something is a height you get a curtain's area. If it's a push you get work.

the path C on the ground height = f(x, y) this area = ∫ f ds ds
Slice the curtain into thin strips: each is height f × width ds. And ds = |r′(t)| dt, exactly the arc-length piece from Chapter 2.
scalar line integral — with respect to arc length Cfds=abf(r(t))r(t)dt\int_C f\,ds = \int_a^b f\bigl(\mathbf r(t)\bigr)\,\bigl|\mathbf r'(t)\bigr|\,dt

Now the vector version. Wind straight at your back: full help. Wind from the side: does nothing. Wind in your face: fights you. Only the part of the push along your walk counts.

F · the wind this part does work this part is wasted dr wind fights you here · negative wind with you · positive
Dot product again, at every point along the curve. F·dr keeps only the along-the-path share of the push.
work — three notations for one integral CFdr=abF(r(t))r(t)dt=CPdx+Qdy+Rdz\int_C \mathbf F\cdot d\mathbf r = \int_a^b \mathbf F\bigl(\mathbf r(t)\bigr)\cdot\mathbf r'(t)\,dt = \int_C P\,dx + Q\,dy + R\,dz

Algorithm · evaluate any line integral

  1. Parametrize CC. Line segment from AA to BB: r(t)=(1t)A+tB\mathbf r(t) = (1-t)A + tB, 0t10\le t\le1. Circle of radius aa: acost,asint\langle a\cos t, a\sin t\rangle. Graph y=g(x)y=g(x): t,g(t)\langle t, g(t)\rangle.
  2. Compute r(t)\mathbf r'(t). For a scalar integral you also need r(t)|\mathbf r'(t)|.
  3. Substitute the parametrization into F\mathbf F or ff so everything is in terms of tt alone.
  4. Dot (vector version) or multiply by r|\mathbf r'| (scalar version).
  5. Integrate over the parameter range. If CC is made of several pieces, do each separately and add.

Orientation trap

CFdr=CFdr\displaystyle\int_{-C}\mathbf F\cdot d\mathbf r = -\int_C \mathbf F\cdot d\mathbf r — reversing the walk flips the sign of work. But Cfds=Cfds\displaystyle\int_{-C} f\,ds = \int_C f\,ds — a curtain has the same area no matter which way you walk along its base. Vector integrals care about direction; scalar ones don't.

Check yourself

  1. What does Cfds\int_C f\,ds give when f=1f=1?

    Answer
    The length of the curve.
  2. You walk CC backwards. What happens to CFdr\int_C\mathbf F\cdot d\mathbf r?

    Answer
    The sign flips. But Cfds\int_C f\,ds does not change — a curtain has the same area either way.
17.3

Conservative fields & the FTLI

Quiz 9

Climb from the car park to the summit. Take the switchbacks or take the ridge — you gained exactly the same height. Some fields are just "downhill from a hill", and for those the route is irrelevant.

A · f = 2 B · f = 9 short route scenic route both = 9 − 2 = 7 the path never mattered
Equivalent statements, all meaning the same thing: F = ∇f · the work is path-independent · every closed loop gives zero · curl F = 0 (on a region with no holes).
fundamental theorem for line integrals Cfdr=f(r(b))f(r(a))=f(end)f(start)\int_C \nabla f\cdot d\mathbf r = f\bigl(\mathbf r(b)\bigr) - f\bigl(\mathbf r(a)\bigr) = f(\text{end}) - f(\text{start})

This is the FTC from Calc I wearing a coat: integrate a derivative, get boundary values. The whole path collapses to two evaluations.

Four ways of saying the same thing

F\mathbf F is conservativeF=f\mathbf F = \nabla f for some potential ffCFdr\int_C\mathbf F\cdot d\mathbf r is path-independent ⟺ CFdr=0\oint_C\mathbf F\cdot d\mathbf r = 0 around every closed loop. On a simply connected region these are also equivalent to curlF=0\operatorname{curl}\mathbf F = \mathbf 0.

the test 2-D: Py=Qx3-D: curlF=×F=0\text{2-D: } \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x} \qquad\qquad \text{3-D: } \operatorname{curl}\mathbf F = \nabla\times\mathbf F = \mathbf 0

Algorithm · find the potential function ff

  1. Test first. Check Py=QxP_y = Q_x (2-D) or curlF=0\operatorname{curl}\mathbf F=\mathbf 0 (3-D). If it fails, stop — there is no ff.
  2. Integrate PP with respect to xx: f=Pdx+g(y,z)f = \displaystyle\int P\,dx + g(y,z). The constant of integration is a function of the other variables, not a number.
  3. Differentiate your ff with respect to yy and set it equal to QQ. Solve for gyg_y.
  4. Integrate gyg_y in yy, picking up a new constant h(z)h(z).
  5. Repeat with zz and RR to pin down h(z)h(z). Add a genuine constant CC at the end.
  6. Verify: f\nabla f should give back F\mathbf F exactly.

Then use it: CFdr=f(end)f(start)\int_C\mathbf F\cdot d\mathbf r = f(\text{end}) - f(\text{start}), and the parametrization never gets written down.

Worked example

F=2xy, x2+2y\mathbf F = \langle 2xy,\ x^2+2y\rangle, from (0,0)(0,0) to (1,3)(1,3).

test

Py=2xP_y = 2x, Qx=2xQ_x = 2x ✓ conservative

step 2

f=2xydx=x2y+g(y)f = \int 2xy\,dx = x^2y + g(y)

step 3

fy=x2+g(y)=x2+2yg(y)=2yg=y2f_y = x^2 + g'(y) = x^2+2y \Rightarrow g'(y)=2y \Rightarrow g = y^2

potential

f=x2y+y2f = x^2y + y^2

evaluate

f(1,3)f(0,0)=(3+9)0=12f(1,3)-f(0,0) = (3+9) - 0 = \mathbf{12} — no parametrization needed.

Trap

Curl zero is not enough on a region with a hole. The classic F=yx2+y2, xx2+y2\mathbf F = \left\langle \frac{-y}{x^2+y^2},\ \frac{x}{x^2+y^2}\right\rangle passes Py=QxP_y=Q_x everywhere it is defined, yet a loop around the origin gives 2π2\pi, not 0. The region must be simply connected — no punctures.

Check yourself

  1. What is the 2-D test for a conservative field?

    Answer
    Py=Qx\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x} — and the region must have no holes.
  2. F\mathbf F is conservative. What is CFdr\oint_C\mathbf F\cdot d\mathbf r around any closed loop?

    Answer
    00. You end where you started, so the height change is zero.
17.4

Green's theorem

Midterm 2

Chop the region into cells and spin each one counterclockwise. Along any wall between two cells, one cell pushes up and its neighbour pushes down — dead even. The only walls with nobody on the other side are on the outside.

this wall: up + down = 0 every cell spins the same way cancel only the outer edge survives = one lap around the boundary
Each cell's spin is (Q − P) dA — the 2-D curl. Add them all up and you're left holding a single trip around the boundary.
circulation form CPdx+Qdy=D(QxPy)dA\oint_C P\,dx + Q\,dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA
flux (divergence) form — same theorem, rotated 90° CFnds=D(Px+Qy)dA=DdivF dA\oint_C \mathbf F\cdot\mathbf n\,ds = \iint_D \left(\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y}\right)dA = \iint_D \operatorname{div}\mathbf F\ dA

Algorithm · apply Green's theorem

  1. Check the hypotheses. CC must be closed, simple (no self-crossings), positively oriented — counterclockwise, region on your left — and F\mathbf F smooth on all of DD.
  2. Identify PP and QQ from Pdx+Qdy\oint P\,dx+Q\,dy.
  3. Compute QxPyQ_x - P_y and simplify. This is usually far smaller than either piece.
  4. Set up D\iint_D over the enclosed region — polar if it's round.
  5. If CC runs clockwise, apply the theorem anyway and negate the result.

Also runs backwards: a horrible double integral can become an easy loop integral. Read the problem for which direction is cheaper.

area for free — choose P and Q so that QxPy=1Q_x-P_y=1 A=Cxdy=Cydx=12CxdyydxA = \oint_C x\,dy = -\oint_C y\,dx = \tfrac12\oint_C x\,dy - y\,dx

Algorithm · regions with a hole

  1. Orient both boundaries positively: outer curve counterclockwise, inner curve clockwise — so the region always stays on your left.
  2. Apply Green's theorem to the whole boundary C=Couter+CinnerC = C_{\text{outer}} + C_{\text{inner}}.
  3. If QxPy=0Q_x-P_y = 0 on the region between them, the two loop integrals are equal in magnitude — so you can replace a nasty outer curve with a tiny convenient circle around the hole.

That last trick is how the 2π2\pi in the 17.3 trap gets computed.

Check yourself

  1. Which way must CC be oriented for Green's theorem?

    Answer
    Counterclockwise, region on your left. If it runs clockwise, apply the theorem anyway and negate.
  2. Give a line integral that returns the enclosed area.

    Answer
    A=CxdyA=\oint_C x\,dy (or Cydx-\oint_C y\,dx). Chosen so that QxPy=1Q_x-P_y=1.
17.5

Curl & divergence

Midterm 2

Curl: drop a paddlewheel in and see if it spins. Not "is the water going in a circle" — "is one side pushed harder than the other".

it spins FASTER ON TOP curl ≠ 0 — even though nothing curves it just drifts ALL THE SAME SPEED curl = 0
Curl is a vector in 3D: it points along the axis the paddlewheel spins about, by the right-hand rule, and its length is how fast. In 2D only the z-component survives: Q − P.
curl — a vector, computed as a determinant curlF=×F=ijkxyzPQR\operatorname{curl}\mathbf F = \nabla\times\mathbf F = \begin{vmatrix}\mathbf i&\mathbf j&\mathbf k\\[2pt] \dfrac{\partial}{\partial x}&\dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial z}\\[6pt] P&Q&R\end{vmatrix}

The direction of curl is the axis the paddlewheel spins about (right-hand rule); its length is how fast. In 2-D only the k\mathbf k-component survives, and it is exactly the QxPyQ_x - P_y from Green's theorem.

Divergence: draw a tiny box. Count what flows in, count what flows out. More out than in means something inside is making it.

FAUCET out > in · div F > 0 DRAIN in > out · div F < 0 JUST PASSING THROUGH in = out · div F = 0
Divergence is a number, not a vector — there's no direction to "how much is being created here."
divergence — a scalar divF=F=Px+Qy+Rz\operatorname{div}\mathbf F = \nabla\cdot\mathbf F = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}

Two identities worth memorising outright

div(curlF)=0\operatorname{div}(\operatorname{curl}\mathbf F) = 0 — a spin never creates anything.  curl(f)=0\operatorname{curl}(\nabla f) = \mathbf 0 — a hill never makes a whirlpool. Together they explain why a conservative field always has zero curl, and why a curl field always has zero flux out of a closed surface.

Type trap

curl of a vector field is a vector. Divergence of a vector field is a number. So div(curlF)\operatorname{div}(\operatorname{curl}\mathbf F) makes sense and curl(divF)\operatorname{curl}(\operatorname{div}\mathbf F) does not — you can't cross a scalar. Checking the type of your answer catches half of all algebra errors here.

Check yourself

  1. What is div(curlF)\operatorname{div}(\operatorname{curl}\mathbf F)?

    Answer
    00, always. A spin never creates anything.
  2. What is curl(f)\operatorname{curl}(\nabla f)?

    Answer
    0\mathbf 0, always. A hill never makes a whirlpool.
  3. Is divF\operatorname{div}\mathbf F a scalar or a vector?

    Answer
    A scalar. So curl(divF)\operatorname{curl}(\operatorname{div}\mathbf F) is not even defined — checking types catches half of all errors here.
17.6a

Parametric surfaces

Quiz 10

A surface is a rubber sheet with its own two coordinates. Move uu a little and you slide one way; move vv and you slide the other. Those two slides span a tiny tile — and 13.4 already told you its area.

u-v rectangle du dv r(u,v) ru rv ru × rv normal to the surface
The cross product does double duty: its direction is the surface normal, its length is the tile's area. Both of the things a surface integral needs.
tangent vectors, normal, and area element ru=ru,rv=rv,ndS=(ru×rv)dudv,dS=ru×rvdudv\mathbf r_u = \frac{\partial\mathbf r}{\partial u},\quad \mathbf r_v = \frac{\partial\mathbf r}{\partial v},\qquad \mathbf n\,dS = (\mathbf r_u\times\mathbf r_v)\,du\,dv, \qquad dS = |\mathbf r_u\times\mathbf r_v|\,du\,dv

The cross product does double duty: its direction is the surface normal, its length is the tile's area. Both things a surface integral needs, from one computation.

SurfaceParametrizationru×rv|\mathbf r_u\times\mathbf r_v|
Graph z=f(x,y)z=f(x,y)x, y, f(x,y)\langle x,\ y,\ f(x,y)\rangle1+fx2+fy2\sqrt{1+f_x^2+f_y^2}
Sphere radius aaasinφcosθ, asinφsinθ, acosφ\langle a\sin\varphi\cos\theta,\ a\sin\varphi\sin\theta,\ a\cos\varphi\ranglea2sinφa^2\sin\varphi
Cylinder radius aaacosθ, asinθ, z\langle a\cos\theta,\ a\sin\theta,\ z\rangleaa
Cone z=x2+y2z=\sqrt{x^2+y^2}rcosθ, rsinθ, r\langle r\cos\theta,\ r\sin\theta,\ r\rangler2r\sqrt2
Surface of revolutionx, f(x)cosθ, f(x)sinθ\langle x,\ f(x)\cos\theta,\ f(x)\sin\theta\ranglef1+(f)2f\sqrt{1+(f')^2}

Row 1 and row 2 are worth recognising instantly — they reproduce the surface-area formula from 17.6 and the ρ2sinφ\rho^2\sin\varphi from 16.5.

Check yourself

  1. What does (ru×rv)dudv(\mathbf r_u\times\mathbf r_v)\,du\,dv equal?

    Answer
    ndS\mathbf n\,dSboth the direction and the area, from one computation. Never normalise it and then also multiply by dSdS.
17.6b

Surface area

Quiz 10

Briggs files surface area under Surface Integrals (17.6) — which is why it sits here rather than back in Chapter 16.

A patch of hillside is always bigger than the flat patch beneath it. How much bigger depends on the tilt — and the tilt is exactly what the partial derivatives measure.

dS · the real patch dA · its shadow normal — the more it leans, the bigger dS dS = √(1 + fx² + fy²) dA flat ground → fx = fy = 0 → factor is 1 → dS = dA ✓
Same idea as arc length's √(1 + (dy/dx)²), one dimension up. Steeper means more surface hiding above the same footprint.
area of the graph of z=f(x,y)z=f(x,y) over the region RR A(S)=R1+(fx)2+(fy)2 dAA(S) = \iint_R \sqrt{1 + \bigl(f_x\bigr)^2 + \bigl(f_y\bigr)^2}\ dA

Same shape as arc length, which was 1+(dy/dx)2dx\int\sqrt{1+(dy/dx)^2}\,dx — one dimension up. Flat ground gives fx=fy=0f_x=f_y=0, the root becomes 1, and surface area collapses to plain area. That's your check.

Algorithm · surface area of a graph

  1. Solve for zz so you have z=f(x,y)z=f(x,y).
  2. Compute fxf_x and fyf_y, then 1+fx2+fy21+f_x^2+f_y^2 and simplify before integrating — this is usually where a clean root appears.
  3. Find RR: the shadow of the surface on the xyxy-plane.
  4. Integrate over RR, going polar if the shadow is round (it usually is).

For a surface given parametrically instead, jump to 17.6: A=ru×rvdAA = \iint |\mathbf r_u\times\mathbf r_v|\,dA.

Check yourself

  1. What is the stretch factor for the graph z=f(x,y)z=f(x,y)?

    Answer
    1+fx2+fy2\sqrt{1+f_x^2+f_y^2}.
  2. On flat ground, what does that factor become?

    Answer
    11, so surface area collapses to plain area. That is the check on every surface-area setup.
17.6c

Surface integrals & flux

Quiz 10

Hold a hoop in the wind. Facing it head-on you catch all of it. Turn it edge-on and you catch nothing — even though the wind hasn't changed. Only the part perpendicular to the surface gets through.

drag to spin

Tilt to 90° and the wind hasn't changed at all — but nothing gets through. Only the component along n crosses the surface.
scalar surface integral — mass of a sheet SfdS=Df(r(u,v))ru×rvdudv\iint_S f\,dS = \iint_D f\bigl(\mathbf r(u,v)\bigr)\,\bigl|\mathbf r_u\times\mathbf r_v\bigr|\,du\,dv
flux of a vector field SFdS=SFndS=DF(ru×rv)dudv\iint_S \mathbf F\cdot d\mathbf S = \iint_S \mathbf F\cdot\mathbf n\,dS = \iint_D \mathbf F\cdot(\mathbf r_u\times\mathbf r_v)\,du\,dv

Algorithm · compute a flux integral

  1. Parametrize SS — use the table in 17.6 whenever it fits.
  2. Compute ru×rv\mathbf r_u\times\mathbf r_v. Do not normalise it and do not compute dSdS separately; the un-normalised cross product already carries both.
  3. Check orientation. Does the cross product point the way the problem wants (outward, upward)? If not, negate it.
  4. Substitute F\mathbf F at the parametrized points, so everything is in uu and vv.
  5. Dot and integrate over the parameter region DD.

For a graph z=g(x,y)z=g(x,y) oriented upward, this collapses to D(PgxQgy+R)dA\iint_D\bigl(-P g_x - Q g_y + R\bigr)dA.

Orientation trap

Swapping uu and vv flips the normal, and flipping the normal negates your flux. Always sanity-check by evaluating the normal at one concrete point: for a sphere with outward orientation it should point away from the origin.

Check yourself

  1. You turn the net edge-on to the wind. How much gets through?

    Answer
    Nothing. Fn\mathbf F\perp\mathbf n makes Fn=0\mathbf F\cdot\mathbf n=0, even though the wind never changed.
  2. Should you normalise ru×rv\mathbf r_u\times\mathbf r_v before dotting with F\mathbf F?

    Answer
    No. The raw cross product already carries dSdS inside it.
17.7

Stokes' theorem

Final Exam

Dip a bent wire loop in soap. The film can be flat or bulge out like a bubble. Both have the same rim, so both have the same total spin through them. Pick the lazy one.

drag to spin

Morph the soap film however you like. The rim never moves, so the answer never changes — Green's theorem is this picture lying flat.
circulation around the rim = curl through any surface it bounds CFdr=S(curlF)dS\oint_C \mathbf F\cdot d\mathbf r = \iint_S (\operatorname{curl}\mathbf F)\cdot d\mathbf S

Algorithm · use Stokes' theorem

  1. Decide which side is easier. Nasty curve, simple curl → go right. Nasty surface, simple curve → go left.
  2. Choose the friendliest surface with that rim. A flat disk or the plane region inside CC almost always beats the surface you were handed.
  3. Compute curlF\operatorname{curl}\mathbf F as a determinant.
  4. Match orientations by the right-hand rule: curl the fingers of your right hand along CC, and your thumb must point the way n\mathbf n points. Mismatch = wrong sign.
  5. Evaluate the surface integral using 17.6.

Green's theorem is exactly this with the surface lying flat in the xyxy-plane and n=k\mathbf n = \mathbf k.

Check yourself

  1. You are told SS is 'any smooth surface with boundary CC'. Does the choice matter?

    Answer
    No. Only the rim matters — pick the laziest surface, usually the flat disk.
  2. When is Green's theorem just Stokes' theorem?

    Answer
    When the surface lies flat in the xyxy-plane with n=k\mathbf n=\mathbf k. Same theorem, tilted.
17.8

The divergence theorem

Final Exam

Fill a solid with tiny cubes. Whatever leaks out the right face of one cube leaks into the left face of the next. Every internal face cancels with its partner. The only faces with nothing behind them are on the outer skin.

out of one = into the next → 0 every internal face has a partner cancel only the outer skin survives = total flux out of S
Each cube's surplus is div F · dV. Add them all up and you're left with the flux through the outside surface. Exactly Green's proof, in 3D.
flux out of a closed surface = divergence inside SFdS=EdivF dV\oiint_S \mathbf F\cdot d\mathbf S = \iiint_E \operatorname{div}\mathbf F\ dV

Algorithm · use the divergence theorem

  1. Confirm SS is closed — a sealed bag with no openings — and oriented outward.
  2. Compute divF=Px+Qy+Rz\operatorname{div}\mathbf F = P_x+Q_y+R_z. This is usually startlingly simple compared to F\mathbf F itself.
  3. Set up E\iiint_E over the enclosed solid, in whichever coordinates match it (16.4–16.5).
  4. Integrate. Often divF\operatorname{div}\mathbf F is a constant, and the answer is just that constant times the volume.

Algorithm · when the surface is NOT closed

  1. Cap it. Add a simple surface S2S_2 (usually a flat disk) to seal the opening.
  2. Apply the theorem to the sealed union: SS2=EdivFdV\displaystyle\oiint_{S\cup S_2} = \iiint_E \operatorname{div}\mathbf F\,dV.
  3. Compute the cap's flux separately — it's flat, so it's easy.
  4. Subtract: S=EdivFdVS2\displaystyle\iint_S = \iiint_E \operatorname{div}\mathbf F\,dV - \iint_{S_2}.
  5. Watch the cap's orientation: as part of the sealed bag it must point outward, which for a bottom cap means downward.

This capping trick is the single most-tested idea on the final.

Check yourself

  1. What two conditions must SS satisfy?

    Answer
    It must be closed (a sealed bag) and oriented outward.
  2. The surface is open. Now what?

    Answer
    Cap it, apply the theorem to the sealed union, compute the cap's flux separately, then subtract it. The cap must point outward too.
17 ·

The punchline: all five are one theorem

What happens on the edge equals what the derivative does inside. The only thing that changes between them is how many dimensions you're in.

THE THING ITS EDGE THE THEOREM 2 endpoints FTC ∫ f′ = f(b) − f(a) 2 endpoints Line integrals ∫ ∇f·dr = f(B) − f(A) 1 loop around it Green ∮ F·dr = ∬ curl F dA its rim Stokes ∮ F·dr = ∬ curl F·n dS its skin Divergence ∯ F·n dS = ∭ div F dV
Every row: integrate a derivative over the inside = integrate the original over the edge. Learn the sentence and the four formulas stop being four things.
TheoremStatementThe "inside"Its edge
FTCabfdx=f(b)f(a)\int_a^b f'\,dx = f(b)-f(a)an interval2 endpoints
FTLICfdr=f(B)f(A)\int_C \nabla f\cdot d\mathbf r = f(B)-f(A)a curve2 endpoints
GreenCFdr=D(QxPy)dA\oint_C \mathbf F\cdot d\mathbf r = \iint_D (Q_x-P_y)\,dAa flat regionone loop
StokesCFdr=ScurlFdS\oint_C \mathbf F\cdot d\mathbf r = \iint_S \operatorname{curl}\mathbf F\cdot d\mathbf Sa surfaceits rim
DivergenceSFdS=EdivFdV\oiint_S \mathbf F\cdot d\mathbf S = \iiint_E \operatorname{div}\mathbf F\,dVa solidits skin

If you remember one thing

Derivatives measure local change. Integrals add local change up. When you add up local change over a whole region, everything in the middle cancels with its neighbour and you're left standing on the boundary. That is the entire second half of Calc III.

Check yourself

  1. Say all four theorems in one sentence.

    Answer
    What happens on the edge equals what the derivative does inside. Everything in the middle cancels with its neighbour.
  2. You have a horrible closed-surface flux integral. First thought?

    Answer
    Divergence theorem — compute divF\operatorname{div}\mathbf F first. It is usually startlingly simpler than F\mathbf F.
REFERENCE

One page

everything above, compressed

If you can rebuild the pictures from these lines, you're ready.

R.1

Fall 2026 map

Purdue splits MA 26100 into 37 lessons. Ten recitation quizzes, two evening midterms and a final are laid on top of them — and the boundaries do not fall on chapter breaks. Everything below is transcribed from the department's own Fall 2026 calendar, read 2026-09-01.

StopWhenLessonsSections
Quiz 1Tue Sep 1 · recitation1, 213.1–13.4 · 12.1 · 13.5 linesstudy it
Quiz 2Tue Sep 8 · recitation3, 413.5 planes · 13.6study it
Quiz 3Tue Sep 15 · recitation5, 6, 714.1 · 14.2 · 14.3study it
Quiz 4Tue Sep 22 · recitation8, 9, 1014.4 · 14.5 · 15.1 · 15.2study it
Quiz 5Tue Sep 29 · recitation11, 12, 1315.3 · 15.4 · 15.5study it
Midterm 1Mon Oct 5 · 8:00 pm1–1613.1–15.7 (all of Ch. 13–14, Ch. 15 through max/min)study it
Quiz 6Tue Oct 20 · recitation17, 18, 1915.8 · 16.1 · 16.2study it
Quiz 7Tue Oct 27 · recitation20, 21, 2216.3 · 16.4 · 16.5 cylindricalstudy it
Quiz 8Tue Nov 3 · recitation23, 24, 2516.5 spherical · 16.6 · 17.1study it
Quiz 9Tue Nov 10 · recitation26, 27, 2817.2 · 17.3study it
Midterm 2Wed Nov 18 · 8:00 pm17–3115.8–17.6 (Lagrange through surface integrals)study it
Quiz 10Tue Dec 1 · recitation31, 32, 3317.6 · all three lessonsstudy it
Final ExamFinals week · date TBD1–3712.1–17.8 · everythingstudy it

Three windows have no quiz. Lessons 14–16 (tangent planes, max/min) land between Quiz 5 and Midterm 1. Lessons 29–30 (Green's theorem, curl and divergence) land between Quiz 9 and Midterm 2. Lessons 34–37 (Stokes, divergence theorem) land after the last quiz and are on the final only. Nothing forces you to learn those on schedule, which is exactly why they are where grades go.

Weeks with no quiz

  1. Tue Aug 25 — Quiz 0 — Calc I & II review
  2. Tue Oct 6 — no quiz — Midterm 1 was the night before
  3. Tue Oct 13 — no recitation — Fall Break
  4. Tue Nov 17 — no quiz — Midterm 2 review
  5. Tue Nov 24 — no recitation — Thanksgiving
  6. Tue Dec 8 — no quiz — final review (Lessons 34–37)

The two lowest quiz scores are dropped, and there are no make-ups — the drops are the make-up policy.

16.7 (change of variables / the Jacobian) is not on the lesson plan at all — the calendar goes 16.6 → 17.1. It is kept here as background, badged as a bonus, and no quiz or exam requires it.

ComponentWeightDetail
Quizzes15%Every recitation, timed, no calculator. The 2 lowest are dropped.
Homework15%MyLab Math, generally due Tue and Thu 11:59 pm. The 3 lowest are dropped.
Midterm 120%Mon Oct 5, 8:00 pm · Lessons 1–16
Midterm 220%Wed Nov 18, 8:00 pm · Lessons 17–31
Final Exam30%Finals week · everything

Dates that are not about material

  1. 2026-09-04 — Last day to drop with no record on your transcript
  2. 2026-11-24 — Last day to drop with a W

Calculators are allowed on nothing — not quizzes, not midterms, not the final.

R.2

Which theorem?

You're never asked to evaluate one specific integral — you're asked to get an answer. Each theorem is a door from the integral you were handed to one you'd rather do.

∮ F·dr around a closed loop ∬ curl F·n dS any surface w/ that rim ∯ F·n dS a sealed surface ∬ (Qx − Py) dA a flat region f(B) − f(A) just plug in two points ∭ div F dV the solid inside GREEN flat, in the plane STOKES same loop, now tilted in 3-D DIVERGENCE must be closed PATH INDEPENDENCE — only if curl F = 0
Read it as: "I'm here, I'd rather be there, which door?" Almost every exam problem is chosen so that one direction is brutal and the other is three lines.
You're handedLook forDo this
CFdr\int_C \mathbf F\cdot d\mathbf r, open curvePy=QxP_y = Q_x?Find ff, answer is f(B)f(A)f(B)-f(A) — 17.3
CFdr\oint_C \mathbf F\cdot d\mathbf r, flat closed loopregion is easyGreen: (QxPy)dA\iint (Q_x-P_y)\,dA — 17.4
CFdr\oint_C \mathbf F\cdot d\mathbf r, closed loop in 3-Dcurl is simpleStokes over any capping surface — 17.7
SFdS\iint_S \mathbf F\cdot d\mathbf S, closed surfacediv is simpleDivergence theorem — 17.8
SFdS\iint_S \mathbf F\cdot d\mathbf S, open surfacecan you cap it?Cap, apply divergence, subtract the cap — 17.8
S(curlF)dS\iint_S(\operatorname{curl}\mathbf F)\cdot d\mathbf Sthe rimStokes backwards: just walk the rim — 17.7
R.3

Coordinates

SystemElementReach for it when
RectangulardA=dxdydA = dx\,dy · dV=dxdydzdV = dx\,dy\,dzBoxes, planes, straight edges.
PolardA=rdrdθdA = r\,dr\,d\thetax2+y2x^2+y^2, a circle, disk, ring, wedge.
CylindricaldV=rdzdrdθdV = r\,dz\,dr\,d\thetaCans, pipes, cones with a flat top.
SphericaldV=ρ2sinφdρdφdθdV = \rho^2\sin\varphi\,d\rho\,d\varphi\,d\thetax2+y2+z2x^2+y^2+z^2, balls, cones from the origin.
Your owndA=(x,y)(u,v)dudvdA = \left|\dfrac{\partial(x,y)}{\partial(u,v)}\right|du\,dvA slanted region you can flatten to a rectangle.
R.4

Formula sheet

Unit 1 · Vectors

  • ab=abcosθ\mathbf a\cdot\mathbf b = |\mathbf a||\mathbf b|\cos\thetathe shadow
  • a×b=absinθ|\mathbf a\times\mathbf b| = |\mathbf a||\mathbf b|\sin\thetathe tile's area
  • compba=abb\operatorname{comp}_{\mathbf b}\mathbf a = \dfrac{\mathbf a\cdot\mathbf b}{|\mathbf b|}a number
  • projba=abb2b\operatorname{proj}_{\mathbf b}\mathbf a = \dfrac{\mathbf a\cdot\mathbf b}{|\mathbf b|^2}\mathbf ban arrow along b
  • V=a(b×c)V = |\mathbf a\cdot(\mathbf b\times\mathbf c)|volume of the box; 0 ⟹ coplanar
  • n(rr0)=0\mathbf n\cdot(\mathbf r-\mathbf r_0)=0a plane
  • D=ax1+by1+cz1+da2+b2+c2D = \dfrac{|ax_1+by_1+cz_1+d|}{\sqrt{a^2+b^2+c^2}}point to plane

Unit 1 · Curves

  • L=abr(t)dtL = \int_a^b|\mathbf r'(t)|\,dtspeed × time
  • T=r/r\mathbf T = \mathbf r'/|\mathbf r'|,  N=T/T\mathbf N = \mathbf T'/|\mathbf T'|,  B=T×N\mathbf B = \mathbf T\times\mathbf Nthe moving frame
  • κ=r×rr3\kappa = \dfrac{|\mathbf r'\times\mathbf r''|}{|\mathbf r'|^3}1 / the hugging circle
  • aT=rrra_T = \dfrac{\mathbf r'\cdot\mathbf r''}{|\mathbf r'|},  aN=r×rra_N = \dfrac{|\mathbf r'\times\mathbf r''|}{|\mathbf r'|}gas pedal, steering wheel

Unit 2 · Partials

  • f=fx,fy,fz\nabla f = \langle f_x, f_y, f_z\ranglecompass pointing uphill
  • Duf=fuD_{\mathbf u}f = \nabla f\cdot\mathbf uthe gradient's shadow; u must be unit
  • z=f(a,b)+fxΔx+fyΔyz = f(a,b)+f_x\Delta x+f_y\Delta ytangent plane
  • dzdt=zxx+zyy\dfrac{dz}{dt} = z_x x'+z_y y'add the routes down the tree
  • zx=FxFz\dfrac{\partial z}{\partial x} = -\dfrac{F_x}{F_z}implicit
  • D=fxxfyyfxy2D = f_{xx}f_{yy}-f_{xy}^2D<0D \lt 0 ⟹ saddle
  • f=λg\nabla f = \lambda\nabla gcontour kisses the fence

Unit 3 · Integrals

  • RfdA\iint_R f\,dAcolumns on tiles
  • frdrdθ\iint f\,r\,dr\,d\thetanever drop the r
  • A=1+fx2+fy2dAA=\iint\sqrt{1+f_x^2+f_y^2}\,dAsurface area
  • xˉ=1mxρdA\bar x = \frac1m\iint x\rho\,dAbalance point
  • I0=(x2+y2)ρdAI_0 = \iint (x^2+y^2)\rho\,dAinertia — distance squared
  • dV=ρ2sinφdρdφdθdV = \rho^2\sin\varphi\,d\rho\,d\varphi\,d\thetathree edges, multiplied

Unit 4 · Fields

  • Cfds=f(r(t))r(t)dt\int_C f\,ds = \int f(\mathbf r(t))|\mathbf r'(t)|\,dta curtain's area
  • CFdr=F(r(t))r(t)dt\int_C \mathbf F\cdot d\mathbf r = \int \mathbf F(\mathbf r(t))\cdot\mathbf r'(t)\,dtwork
  • curlF=×F\operatorname{curl}\mathbf F = \nabla\times\mathbf Fdoes a paddlewheel spin?
  • divF=F\operatorname{div}\mathbf F = \nabla\cdot\mathbf Ffaucet or drain?
  • ndS=(ru×rv)dudv\mathbf n\,dS = (\mathbf r_u\times\mathbf r_v)\,du\,dvnormal and area at once

Unit 4 · The theorems

  • Cfdr=f(B)f(A)\int_C\nabla f\cdot d\mathbf r = f(B)-f(A)endpoints only
  • CPdx+Qdy=D(QxPy)dA\oint_C P\,dx+Q\,dy = \iint_D (Q_x-P_y)\,dAGreen
  • CFdr=ScurlFdS\oint_C\mathbf F\cdot d\mathbf r = \iint_S \operatorname{curl}\mathbf F\cdot d\mathbf SStokes
  • SFdS=EdivFdV\oiint_S\mathbf F\cdot d\mathbf S = \iiint_E \operatorname{div}\mathbf F\,dVdivergence
R.5

Traps that cost points

WhereThe mistakeThe fix
13.1PQ\overrightarrow{PQ} written tail minus headHead minus tail. Always QPQ-P.
13.3bDividing by b|\mathbf b| once for the vector projectionOnce = number. Twice = vector.
13.4Forgetting the minus on the j\mathbf j componentDot your answer with a\mathbf a; it must be 0.
13.5Same parameter tt for both linesUse tt and ss, or you'll miss intersections.
15.5Direction vector not normalised in DufD_{\mathbf u}fDivide by its length first, every time.
15.7Skipping the boundary on a closed regionThe max usually lives on the edge.
15.8Dividing by a variable that could be 0Split into branches before dividing.
16.2A variable left in the outer limitsOuter limits are numbers. Always.
16.3Dropping the rr in rdrdθr\,dr\,d\thetaWrite the rr the moment you write drdθdr\,d\theta.
16.5Letting φ\varphi run to 2π2\piφ[0,π]\varphi\in[0,\pi]. Only θ\theta goes all the way round.
17.2Ignoring orientation on Fdr\int\mathbf F\cdot d\mathbf rReversing the curve negates it (but not fds\int f\,ds).
17.4Using Green on a clockwise curveApply it anyway, then negate.
17.6Normalising ru×rv\mathbf r_u\times\mathbf r_v and also using dSdSThe raw cross product already is ndS\mathbf n\,dS.
17.8Divergence theorem on an open surfaceCap it, apply, then subtract the cap.
R.6

Self-check

Don't tick a box because you recognise the words. Tick it when you can sketch the picture from memory and say the algorithm out loud.

Ready
0 / 46

Unit 1 · Ch. 12

Unit 1 · Ch. 13 (vectors)

Unit 2 · Ch. 14

Unit 3 · Ch. 15

Unit 4 · Ch. 16

Every formula in this course is a sentence about a picture. When a problem looks unfamiliar, don't reach for the formula — reach for the picture, and ask what it's doing. Where does the arrow point? What cancels? What's left on the edge?