# Everything Is Stokes' Theorem > What Stokes' theorem says, explained from the beginning. It is one sentence: add up how fast something is changing everywhere inside a region, and the answer only depends on what happens on the edge of that region. The line itself goes up in the first minute, and then turns into the three theorems it is usually taught as. We meet the three regions and their boundaries, work the calculus theorem on a concrete interval, stack the line integral version underneath it, bend a route to watch the answer refuse to notice, and follow the tiling argument as it deletes every interior edge until only the rim survives. Then the same line is read one dimension higher, over a surface in space whose boundary is a closed curve, which is where the name Stokes actually belongs. - Canonical watch page: [Everything Is Stokes' Theorem](https://academa.ai/lectures/everything-is-stokes-theorem) - Publisher: [Academa, Inc.](https://academa.ai) - Subject: Mathematics - Published: 2026-08-28T22:51:37.000Z - Updated: 2026-08-28T22:51:37.000Z - Duration: PT746S (12 minutes 26 seconds) - Chapters: 5 - Views: 0 - Language: en-US - Access: Free - Video stream: [HLS content](https://academa.ai/media/l/01M14TZB450QBG80V6614C1YYK/0/dark/master.m3u8) - Audiovisual record: [Semantic JSON](https://academa.ai/media/l/01M14TZB450QBG80V6614C1YYK/0/semantic.json) - Thumbnail: [Image](https://academa.ai/media/l/01M14TZB450QBG80V6614C1YYK/0/dark/poster.jpg) ## Description What Stokes' theorem says: the fundamental theorem of calculus, line integrals and Green's theorem are one line, read at three dimensions. ## Chapters - [00:00–02:8.081 · One Line, Three Theorems](https://academa.ai/lectures/everything-is-stokes-theorem?t=0) - [02:8.081–04:30.321 · The Fundamental Theorem of Calculus](https://academa.ai/lectures/everything-is-stokes-theorem?t=128.0810625) - [04:30.321–06:54.78 · The Same Theorem, On A Curve](https://academa.ai/lectures/everything-is-stokes-theorem?t=270.32129166666664) - [06:54.78–09:44.812 · Green's Theorem](https://academa.ai/lectures/everything-is-stokes-theorem?t=414.7803124999999) - [09:44.812–12:26 · The Big Picture](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333) ## Transcript ### [00:00 · One Line, Three Theorems](https://academa.ai/lectures/everything-is-stokes-theorem?t=0) Let me tell you what Stokes' theorem actually says. It is one sentence. Not a page of conditions, not a machine you turn a handle on. One sentence, which then gets written down three times, in three different numbers of dimensions, and picks up a different name each time. Before the sentence, put its three regions side by side. A chunk of the number line, a path through the plane, and a two dimensional patch. These regions have different dimensions, but each has an edge one dimension smaller. Start with the chunk of line. Its edge is two dots, one at each end. Those two endpoints are the complete boundary of the interval from a to b. The path has the same kind of boundary. Its edge is the point P where the journey starts, together with the point Q where it stops. The patch is different. Its edge is not a pair of points. It is the closed curve running all the way around the outside, walked in one direction. Now look at the pattern. The edge of a piece of line is a couple of points. The edge of a path is its two endpoints. The edge of a blob is a curve. In every case the edge is one dimension smaller, and here is the sentence all three theorems share: add up how fast something changes inside a region, and the answer depends only on its edge. And here is that sentence written in symbols. This is Stokes' theorem. The whole of it, on one line. You are not supposed to be able to read that yet. I only want you to have seen it once. Omega is the region, whatever it happens to be. Del Omega is its edge. And the line says: what you get by integrating inside is decided on the edge. And you have almost certainly met that line three times already, under three different names. The fundamental theorem of calculus. The fundamental theorem for line integrals. And Green's theorem. So let's take them one at a time. One dimension, then a curve through the plane, then a flat patch, and watch the same line come back every time. ### [02:8.081 · The Fundamental Theorem of Calculus](https://academa.ai/lectures/everything-is-stokes-theorem?t=128.0810625) Start in one dimension, where you have known this theorem the longest. Here is the question it actually answers. You know how fast something is changing at every moment: you're driving, and you can watch the speedometer the whole way. How far did you go? The fundamental theorem of calculus says this. If you integrate the derivative of f from a to b, you don't get anything complicated. You get f at b, minus f at a. Read that out loud in words. Add up all the little changes over the whole interval, and you get the net change from one end to the other. The speedometer tells you the odometer. Let's make that concrete, because a number you can check beats a formula you can only nod at. Take f of x equal to x squared over four. Its derivative is x over two, which is this blue line. Fix the left end at one, and let the right endpoint b start at two. The left hand side is the shaded area from one to b. Now slide b out to four. The region grows with it, and the running total up in the corner counts all the way to three point seven five. Now check the other side. f of four is four. f of one is a quarter. Four minus a quarter is three point seven five. Same number, obviously. But here is the thing I really want you to notice. The right hand side never looks inside the interval at all. It only asks two questions. What is f at the right end, and what is f at the left end? Everything in the middle cancels. So here is the piece of language you need. The interval from a to b is the region. Its boundary is just the two endpoints. That word, boundary, is the whole lecture. The boundary is not the number b minus a. It is a formal sum of two points: plus b at the right hand end, together with negative a at the left hand end. Those signs are exactly why the answer is f of b minus f of a. That sign is orientation, the direction in which you travel. Watch the traveller move from the negative endpoint to the positive endpoint. Keep that direction in mind. It comes straight back in Green's theorem. ### [04:30.321 · The Same Theorem, On A Curve](https://academa.ai/lectures/everything-is-stokes-theorem?t=270.32129166666664) Now go up a dimension. Same sentence, new region. This time the region is not a chunk of the number line. It is a route, drawn through the plane, from a point P to a point Q. And instead of a function of one variable, there are now two. Picture it as a hill: f of x, y is the height of the ground above the point x, y. These grey rings are its contour lines. A contour is the set of places at one particular height. So put a walker on the ring where f is nine, and send it the whole way round. It climbs nothing at all, because every point of that ring is at the same height. Here is theorem one again, so you can see what is coming. Integrate the derivative across the region, and read the answer off the two ends. And here is theorem two. Integrate the gradient of f along the curve C, and what you get is f at Q minus f at P. Look at those two lines together. It is the same sentence twice. Read the left side as, add up every little bit of climbing as you walk. Read the right side as, the height where you finished minus the height where you started. It is the odometer story again, on a hill. And that hands you something genuinely useful. The route does not matter. Take hold of it here, in the middle, and bend it wherever you like, keeping P and Q where they are. Up over the shoulder of the hill. Or down round the bottom instead. The climb you total up is the same number every single time, because the right hand side never mentions the route at all. Because the formula only ever looks at the endpoints. There is that word again. The boundary of a curve is its two ends, and the answer depends on nothing else. Which hands you a corollary that falls straight out. Suppose the route is a closed loop, like this circle Gamma. You finish exactly where you started, so the start point and the end point are the same point. So the endpoint term is f of P minus f of P. The two copies cancel, and the result is zero. Around any closed loop, a gradient field integrates to zero. You can see it coming without computing anything: closed curve, gradient field, nothing to do. Same theorem. Region, boundary, done. Now the one that looks hardest and really isn't. ### [06:54.78 · Green's Theorem](https://academa.ai/lectures/everything-is-stokes-theorem?t=414.7803124999999) So, the flat case. Green's theorem. This is the one that looks frightening the first time you meet it, and it is the same sentence again. Our region is now genuinely two dimensional: a flat patch R in the plane, carrying a field of arrows. The rectangle keeps the boundary easy to read, but the theorem does not depend on that shape. Its boundary is the closed curve that runs all the way around the outside. We write it as del R. Orientation matters, exactly as the plus and minus mattered on the interval. Travel counterclockwise, so the region stays on your left. Starting here, one complete trip comes back to the point it left. That choice of direction is the same choice as the plus sign on the interval's right hand end. Here is the statement. The double integral over every point of the region lives on the left. One line integral around its boundary lives on the right. Inside on the left, edge on the right. Read the left side as the total swirl at all points inside R. Read the right side as the total push along one counterclockwise trip around del R. Every arrow inside contributes to the first count; the rim supplies the second. Green's theorem says those two numbers are equal. Total swirl inside equals total push around the rim. That is the whole theorem. Now for the reason. Chop R into little tiles. Each tile contributes a walk around its own boundary. Choose this tile. Its contribution includes this little edge. Adding the tiles means reading that edge once from each tile that touches it. One tile walks the shared edge upward. Its neighbour walks the very same edge downward. The geometric edge is one object, but its two induced directions are opposites. Those two contributions cancel. The same happens at every shared edge, so the entire interior grid deletes itself. Only edges with no neighbour remain: the outside of R. Their induced walk is the surviving boundary, with the region on its left. That is Green's theorem. The equality now reads from the region to its surviving boundary. The derivative is integrated over R on the left; the original field is integrated over del R on the right. If a line integral around a closed curve is horrible, read the equality backward. Swap the loop integral to the left and the double integral to the right. Often that reversal is the whole difference between an integral you can do and one you cannot. ### [09:44.812 · The Big Picture](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333) Put the three theorems side by side with the three regions we started from. For each theorem, name its region and then its complete boundary. For the fundamental theorem of calculus, the region is the interval from a to b. Its boundary is the two endpoints a and b. For line integrals, the region is the curve C. Its boundary is the point P where the curve starts and the point Q where it ends. For Green's theorem, the region is the patch R. Its boundary is the closed loop del R, walked with the region on the left. Now read the two right hand columns. This one names the region being integrated over. This one names its boundary, always one dimension smaller. Every row is saying the same thing. And that shared structure is the line I showed you at the start. Here it is again, and this time it should read as ordinary English. Omega names the region, whatever dimension it has. Del Omega names its boundary, always one dimension smaller. The symbol d means take the appropriate derivative: an ordinary derivative on an interval, a gradient along a curve, or curl over a patch. It is the operation that turns the original quantity into the inside quantity. The left side integrates that derivative over the region. The right side integrates the original quantity over the boundary. Read at three different dimensions, this one line is all three theorems. And notice what that line does not say. It never says how many dimensions the region has. So take one more: a surface in space, a sheet of it hanging in the air. Let me turn it round, because a curved sheet and a flat one look exactly alike until something moves. Now you can see it is bowed upward, like a cloth held up by its four corners. Its boundary is the closed curve running round the rim, walked so that the surface stays on your left. A region, and an edge one dimension smaller. The same two things as every other picture today. Read that same line over a surface like this one, and what you get is the theorem that actually carries Stokes' name. Read it one dimension higher again and it is the divergence theorem. Nobody had to invent a new idea for either of them. So there it is. That line is Stokes' theorem. Omega is whatever region you have, del Omega is its edge, and adding up the change inside always leaves you something that was settled on that edge. ## About Academa, Inc. Academa makes technical knowledge easier to understand through visual lectures and lets learners request new lecture videos on the topics they need. ## Complete audiovisual record Immutable source: [semantic.json](https://academa.ai/media/l/01M14TZB450QBG80V6614C1YYK/0/semantic.json) Record version: 1. Render attempt: 0. ### How to read this timeline Each scene owns its object identifiers. A beat's board is the complete board when listed, empty when marked empty, and unchanged from the nearest earlier listed board in the same scene when marked unchanged. Action times are absolute positions in the published video. ### Scene 1: [One Line, Three Theorems](https://academa.ai/lectures/everything-is-stokes-theorem?t=0) Span: 00:00–02:8.081 (0s–128.0810625s). #### Objects - big\_idea: a Panel that says "Add up how fast something is changing everywhere inside a region, and the answer only depends on what happens on the edge of that region." - blob: a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25) - blob\_boundary: a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)) - blob\_edge: an Orientation \[red\] drawn in trio (path=((7.4, 1.1, 0.0), (7.5953125, 1.1078125, 0.0), (7.790625, 1.115…, closed=True, arrows=4) - end\_a: a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)) - end\_b: a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)) - heading: a Heading that says "The One Sentence" - heading\_line: a Heading that says "The Same Line, Three Times" - interval\_name: a Math \[text\] that says "$\[a, b\]$" drawn in trio - master: a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$" - path: a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\) - path\_end: a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)) - path\_start: a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)) - roster: a Block \[text\] that says "Fundamental Theorem of Calculus Fundamental Theorem for Line Integrals Green's Theorem" - segment: a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)) - title\_card: a Title that says "Vector Calculus — Everything Is Stokes' Theorem" - trio: a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)) #### Beats ##### [00:00](https://academa.ai/lectures/everything-is-stokes-theorem?t=0) Narration: Let me tell you what Stokes' theorem actually says. It is one sentence. Not a page of conditions, not a machine you turn a handle on. One sentence, which then gets written down three times, in three different numbers of dimensions, and picks up a different name each time. Board: Empty. Actions: - [00:00](https://academa.ai/lectures/everything-is-stokes-theorem?t=0): title\_card is shown on the screen, written out. - [00:1.5](https://academa.ai/lectures/everything-is-stokes-theorem?t=1.5): title\_card: enter:write-left-to-right. - [00:16.009](https://academa.ai/lectures/everything-is-stokes-theorem?t=16.0095): title\_card is hidden from the screen — left the board. ##### [00:17.209](https://academa.ai/lectures/everything-is-stokes-theorem?t=17.2095) Narration: Before the sentence, put its three regions side by side. A chunk of the number line, a path through the plane, and a two dimensional patch. These regions have different dimensions, but each has an edge one dimension smaller. Board: Unchanged from the preceding beat in this scene. Actions: - [00:17.209](https://academa.ai/lectures/everything-is-stokes-theorem?t=17.2095): heading is shown on the screen, written out. - [00:17.209](https://academa.ai/lectures/everything-is-stokes-theorem?t=17.2095): trio is shown on the screen, written out. - [00:21.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=21.796): segment is shown on the screen, written out. - [00:23.038](https://academa.ai/lectures/everything-is-stokes-theorem?t=23.038): path is shown on the screen, drawn. - [00:25.197](https://academa.ai/lectures/everything-is-stokes-theorem?t=25.197): blob is shown on the screen, written out. ##### [00:31.788](https://academa.ai/lectures/everything-is-stokes-theorem?t=31.787999999999997) Narration: Start with the chunk of line. Its edge is two dots, one at each end. Those two endpoints are the complete boundary of the interval from a to b. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); heading — a Heading that says "The One Sentence"; segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25) Actions: - [00:34.76](https://academa.ai/lectures/everything-is-stokes-theorem?t=34.76): end\_a is shown on the screen, written out. - [00:35.06](https://academa.ai/lectures/everything-is-stokes-theorem?t=35.059999999999995): end\_b is shown on the screen, written out. - [00:37.396](https://academa.ai/lectures/everything-is-stokes-theorem?t=37.395999999999994): interval\_name is shown on the screen, written out. ##### [00:41.537](https://academa.ai/lectures/everything-is-stokes-theorem?t=41.53699999999999) Narration: The path has the same kind of boundary. Its edge is the point P where the journey starts, together with the point Q where it stops. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); heading — a Heading that says "The One Sentence"; segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio Actions: - [00:45.368](https://academa.ai/lectures/everything-is-stokes-theorem?t=45.367999999999995): path\_start is shown on the screen, written out. - [00:48.422](https://academa.ai/lectures/everything-is-stokes-theorem?t=48.42199999999999): path\_end is shown on the screen, written out. ##### [00:50.02](https://academa.ai/lectures/everything-is-stokes-theorem?t=50.02049999999999) Narration: The patch is different. Its edge is not a pair of points. It is the closed curve running all the way around the outside, walked in one direction. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); heading — a Heading that says "The One Sentence"; segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio; path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)) Actions: - [00:54.49](https://academa.ai/lectures/everything-is-stokes-theorem?t=54.489999999999995): blob\_boundary is shown on the screen, drawn. - [00:58.008](https://academa.ai/lectures/everything-is-stokes-theorem?t=58.007999999999996): blob\_edge is shown on the screen, written out. ##### [00:59.548](https://academa.ai/lectures/everything-is-stokes-theorem?t=59.54849999999999) Narration: Now look at the pattern. The edge of a piece of line is a couple of points. The edge of a path is its two endpoints. The edge of a blob is a curve. In every case the edge is one dimension smaller, and here is the sentence all three theorems share: add up how fast something changes inside a region, and the answer depends only on its edge. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); heading — a Heading that says "The One Sentence"; segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio; path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_edge — an Orientation \[red\] drawn in trio (path=((7.4, 1.1, 0.0), (7.5953125, 1.1078125, 0.0), (7.790625, 1.115…, closed=True, arrows=4) Actions: - [01:3.043](https://academa.ai/lectures/everything-is-stokes-theorem?t=63.042999999999985): end\_a is emphasized. - [01:3.043](https://academa.ai/lectures/everything-is-stokes-theorem?t=63.042999999999985): end\_b is emphasized. - [01:4.541](https://academa.ai/lectures/everything-is-stokes-theorem?t=64.541): end\_a is no longer emphasized. - [01:4.541](https://academa.ai/lectures/everything-is-stokes-theorem?t=64.541): end\_b is no longer emphasized. - [01:5.655](https://academa.ai/lectures/everything-is-stokes-theorem?t=65.65499999999999): path\_start is emphasized. - [01:5.655](https://academa.ai/lectures/everything-is-stokes-theorem?t=65.65499999999999): path\_end is emphasized. - [01:7.501](https://academa.ai/lectures/everything-is-stokes-theorem?t=67.50099999999999): path\_start is no longer emphasized. - [01:7.501](https://academa.ai/lectures/everything-is-stokes-theorem?t=67.50099999999999): path\_end is no longer emphasized. - [01:8.105](https://academa.ai/lectures/everything-is-stokes-theorem?t=68.10499999999999): blob\_boundary is emphasized. - [01:9.452](https://academa.ai/lectures/everything-is-stokes-theorem?t=69.452): blob\_boundary is no longer emphasized. - [01:12.714](https://academa.ai/lectures/everything-is-stokes-theorem?t=72.71399999999997): trio moves to a new place on the board. - [01:12.714](https://academa.ai/lectures/everything-is-stokes-theorem?t=72.71399999999997): big\_idea is shown on the screen, written out. - [01:19.958](https://academa.ai/lectures/everything-is-stokes-theorem?t=79.95849999999999): trio moves to a new place on the board. - [01:19.958](https://academa.ai/lectures/everything-is-stokes-theorem?t=79.95849999999999): big\_idea is hidden from the screen — left the board. - [01:19.958](https://academa.ai/lectures/everything-is-stokes-theorem?t=79.95849999999999): heading is hidden from the screen — left the board. ##### [01:21.158](https://academa.ai/lectures/everything-is-stokes-theorem?t=81.15849999999999) Narration: And here is that sentence written in symbols. This is Stokes' theorem. The whole of it, on one line. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio; path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_edge — an Orientation \[red\] drawn in trio (path=((7.4, 1.1, 0.0), (7.5953125, 1.1078125, 0.0), (7.790625, 1.115…, closed=True, arrows=4) Actions: - [01:21.158](https://academa.ai/lectures/everything-is-stokes-theorem?t=81.15849999999999): heading\_line is shown on the screen, written out. - [01:22.947](https://academa.ai/lectures/everything-is-stokes-theorem?t=82.94699999999997): master is shown on the screen, written out. ##### [01:28.271](https://academa.ai/lectures/everything-is-stokes-theorem?t=88.27149999999999) Narration: You are not supposed to be able to read that yet. I only want you to have seen it once. Omega is the region, whatever it happens to be. Del Omega is its edge. And the line says: what you get by integrating inside is decided on the edge. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio; path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_edge — an Orientation \[red\] drawn in trio (path=((7.4, 1.1, 0.0), (7.5953125, 1.1078125, 0.0), (7.790625, 1.115…, closed=True, arrows=4); master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$"; heading\_line — a Heading that says "The Same Line, Three Times" Actions: - [01:33.554](https://academa.ai/lectures/everything-is-stokes-theorem?t=93.55399999999999): master (the "Omega" part) is emphasized. - [01:38.5](https://academa.ai/lectures/everything-is-stokes-theorem?t=98.49999999999999): master (the "Omega" part) is no longer emphasized. - [01:38.5](https://academa.ai/lectures/everything-is-stokes-theorem?t=98.49999999999999): master (the "partial Omega" part) is emphasized. - [01:41.983](https://academa.ai/lectures/everything-is-stokes-theorem?t=101.98299999999999): master (the "integral\_Omega dif omega" part) is emphasized. - [01:41.983](https://academa.ai/lectures/everything-is-stokes-theorem?t=101.98299999999999): master (the "partial Omega" part) is no longer emphasized. - [01:42.738](https://academa.ai/lectures/everything-is-stokes-theorem?t=102.73799999999999): master (the "integral\_(partial Omega) omega" part) is emphasized. - [01:42.738](https://academa.ai/lectures/everything-is-stokes-theorem?t=102.73799999999999): master (the "integral\_Omega dif omega" part) is no longer emphasized. - [01:44.375](https://academa.ai/lectures/everything-is-stokes-theorem?t=104.37499999999999): master (the "integral\_(partial Omega) omega" part) is no longer emphasized. ##### [01:44.975](https://academa.ai/lectures/everything-is-stokes-theorem?t=104.975) Narration: And you have almost certainly met that line three times already, under three different names. The fundamental theorem of calculus. The fundamental theorem for line integrals. And Green's theorem. Board: Unchanged from the preceding beat in this scene. Actions: - [01:49.073](https://academa.ai/lectures/everything-is-stokes-theorem?t=109.073): roster is shown on the screen, written out. - [01:51.639](https://academa.ai/lectures/everything-is-stokes-theorem?t=111.639): roster (the "Fundamental Theorem of Calculus" part) is emphasized. - [01:54.309](https://academa.ai/lectures/everything-is-stokes-theorem?t=114.309): roster (the "Fundamental Theorem for Line Integrals" part) is emphasized. - [01:54.309](https://academa.ai/lectures/everything-is-stokes-theorem?t=114.309): roster (the "Fundamental Theorem of Calculus" part) is no longer emphasized. - [01:55.97](https://academa.ai/lectures/everything-is-stokes-theorem?t=115.96999999999998): roster (the "Fundamental Theorem for Line Integrals" part) is no longer emphasized. - [01:55.97](https://academa.ai/lectures/everything-is-stokes-theorem?t=115.96999999999998): roster (the "Green's Theorem" part) is emphasized. - [01:57.212](https://academa.ai/lectures/everything-is-stokes-theorem?t=117.2115): roster (the "Green's Theorem" part) is no longer emphasized. ##### [01:57.811](https://academa.ai/lectures/everything-is-stokes-theorem?t=117.8115) Narration: So let's take them one at a time. One dimension, then a curve through the plane, then a flat patch, and watch the same line come back every time. Board: trio — a Figure (x\_range=(0.0, 10.8), y\_range=(0.0, 4.2), aspect=(10.8, 4.2)); segment — a Line \[blue\] drawn in trio (start=(0.6, 2.1), end=(2.6, 2.1)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((7.4, 1.1), (9.9, 1.2), (10.2, 2.6), (8.7, 3.4), (7.2, 2.4)), fill\_opacity=0.25); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.6, 2.1)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.6, 2.1)); interval\_name — a Math \[text\] that says "$\[a, b\]$" drawn in trio; path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.9, 1.3)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(6.199999999999999, 3.0)); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_edge — an Orientation \[red\] drawn in trio (path=((7.4, 1.1, 0.0), (7.5953125, 1.1078125, 0.0), (7.790625, 1.115…, closed=True, arrows=4); master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$"; roster — a Block \[text\] that says "Fundamental Theorem of Calculus Fundamental Theorem for Line Integrals Green's Theorem"; heading\_line — a Heading that says "The Same Line, Three Times" Actions: - [02:0.598](https://academa.ai/lectures/everything-is-stokes-theorem?t=120.59799999999998): segment is indicated — a transient flash. - [02:2.212](https://academa.ai/lectures/everything-is-stokes-theorem?t=122.21199999999999): path is indicated — a transient flash. - [02:3.524](https://academa.ai/lectures/everything-is-stokes-theorem?t=123.52399999999999): blob is indicated — a transient flash. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): heading\_line is hidden from the screen — left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): master is hidden from the screen — left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): roster is hidden from the screen — left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): trio is hidden from the screen — left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): segment is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): path is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): blob is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): end\_a is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): end\_b is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): interval\_name is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): path\_start is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): path\_end is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): blob\_boundary is hidden from the screen — trio left the board. - [02:7.039](https://academa.ai/lectures/everything-is-stokes-theorem?t=127.03939583333333): blob\_edge is hidden from the screen — trio left the board. ### Scene 2: [The Fundamental Theorem of Calculus](https://academa.ai/lectures/everything-is-stokes-theorem?t=128.0810625) Span: 02:8.081–04:30.321 (128.0810625s–270.32129166666664s). #### Objects - area: an AreaUnder \[blue\] drawn in axes (x\_range=(1.0, \), target='speed') - axes: an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 3.0), aspect=(5.0, 3.0)) - b: a VariableNumber (initial\_value=2.0, format\_spec='.1f') - boundary\_def: a Panel that says "The boundary of a region is what you get when you take its edge. It is always one dimension smaller, and it always comes with signs." - boundary\_law: a Math \[text\] that says "$partial \[a, b\] = (+ b) + (- a)$" - change: a VariableNumber (initial\_value=0.75, format\_spec='.2f') - curve\_b: a PlotPoint \[yellow\] labelled "2.0" drawn in axes (target='speed', x=\) - dot\_a: a Point \[red\] drawn in axes (location=(1.0, 0.0)) - dot\_b: a Point \[red\] drawn in axes (location=(\, 0.0)) - equations: a Derivation \[text\] that says "$integral\_a^b f'(x) thin dif x &= f(b) - f(a) \\ integral\_1^4 frac(x, 2) thin dif x &= f(4) - f(1)$" - heading\_boundary: a Heading that says "The Boundary Of An Interval" - line: a Line \[yellow\] drawn in axes (start=(1.0, 0.0), end=(0.0, 0.0), dashed=True) - line\_2: a Line \[yellow\] drawn in axes (start=(2.0, 0.0), end=(0.0, 0.0), dashed=True) - moving\_edge: a Line \[red\] drawn in axes (start=(\, 0.0), end=(\, (b / 2.0)), dashed=True) - nl\_a: a Point \[red\] drawn in number\_line (location=(1.0, 0.0)) - nl\_b: a Point \[red\] drawn in number\_line (location=(4.0, 0.0)) - nl\_brace: a Brace \[text\] labelled "\[a, b\]" drawn in number\_line (x\_start=1.0, x\_end=4.0) - number\_line: a NumberLine (x\_range=(0.0, 5.0), include\_numbers=True) - point: a Point \[yellow\] drawn in axes (location=(1.0, 0.0)) - point\_2: a Point \[yellow\] drawn in axes (location=(2.0, 0.0)) - point\_3: a Point \[yellow\] drawn in axes (location=(4.0, 0.0)) - point\_4: a Point \[yellow\] drawn in axes (location=(1.0, 0.0)) - speed: a FunctionPlot \[blue\] labelled "f'(x)" drawn in axes (function=\, x\_range=(0.0, 5.0)) - the\_question: a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?" - total\_readout: a Point \[red\] labelled "f(b) - f(a) = 0.75" drawn in axes (location=(1.15, 2.5), show\_marker=False) - traveller: a Point \[yellow\] labelled "1.0" drawn in number\_line (location=(\, 0.0)) - traveller\_b: a VariableNumber (initial\_value=1.0, format\_spec='.1f') - value\_difference: an Arithmetic \[text\] that says "$4 0.25 3.75$" (operator='-', operands=('4', '0.25'), result='3.75') #### Beats ##### [02:8.081](https://academa.ai/lectures/everything-is-stokes-theorem?t=128.0810625) Narration: Start in one dimension, where you have known this theorem the longest. Here is the question it actually answers. You know how fast something is changing at every moment: you're driving, and you can watch the speedometer the whole way. How far did you go? Board: Empty. Actions: - [02:8.081](https://academa.ai/lectures/everything-is-stokes-theorem?t=128.0810625): the\_question is shown on the screen, written out. - [02:24.422](https://academa.ai/lectures/everything-is-stokes-theorem?t=144.4215625): the\_question moves to a new place on the board. ##### [02:25.022](https://academa.ai/lectures/everything-is-stokes-theorem?t=145.02156250000002) Narration: The fundamental theorem of calculus says this. If you integrate the derivative of f from a to b, you don't get anything complicated. You get f at b, minus f at a. Board: the\_question — a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?" Actions: - [02:25.022](https://academa.ai/lectures/everything-is-stokes-theorem?t=145.02156250000002): axes is shown on the screen, written out. - [02:26.978](https://academa.ai/lectures/everything-is-stokes-theorem?t=146.9780625): axes moves to a new place on the board. - [02:26.978](https://academa.ai/lectures/everything-is-stokes-theorem?t=146.9780625): equations is shown on the screen, written out. - [02:28.603](https://academa.ai/lectures/everything-is-stokes-theorem?t=148.6030625): speed is shown on the screen, written out. - [02:29.474](https://academa.ai/lectures/everything-is-stokes-theorem?t=149.4740625): equations (the "integral\_a^b f'(x) thin dif x" part) is emphasized. - [02:32.853](https://academa.ai/lectures/everything-is-stokes-theorem?t=152.8530625): equations (the "f(b) - f(a)" part) is emphasized. - [02:32.853](https://academa.ai/lectures/everything-is-stokes-theorem?t=152.8530625): equations (the "integral\_a^b f'(x) thin dif x" part) is no longer emphasized. - [02:35.848](https://academa.ai/lectures/everything-is-stokes-theorem?t=155.8480625): equations (the "f(b) - f(a)" part) is no longer emphasized. ##### [02:36.448](https://academa.ai/lectures/everything-is-stokes-theorem?t=156.4480625) Narration: Read that out loud in words. Add up all the little changes over the whole interval, and you get the net change from one end to the other. The speedometer tells you the odometer. Board: the\_question — a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 3.0), aspect=(5.0, 3.0)); speed — a FunctionPlot \[blue\] labelled "f'(x)" drawn in axes (function=\, x\_range=(0.0, 5.0)) Actions: - [02:38.991](https://academa.ai/lectures/everything-is-stokes-theorem?t=158.9910625): equations (the "integral\_a^b f'(x) thin dif x" part) is emphasized. - [02:42.485](https://academa.ai/lectures/everything-is-stokes-theorem?t=162.4850625): equations (the "f(b) - f(a)" part) is emphasized. - [02:42.485](https://academa.ai/lectures/everything-is-stokes-theorem?t=162.4850625): equations (the "integral\_a^b f'(x) thin dif x" part) is no longer emphasized. - [02:44.703](https://academa.ai/lectures/everything-is-stokes-theorem?t=164.7030625): equations (the "f(b) - f(a)" part) is no longer emphasized. ##### [02:47.486](https://academa.ai/lectures/everything-is-stokes-theorem?t=167.48556250000001) Narration: Let's make that concrete, because a number you can check beats a formula you can only nod at. Take f of x equal to x squared over four. Its derivative is x over two, which is this blue line. Fix the left end at one, and let the right endpoint b start at two. Board: Unchanged from the preceding beat in this scene. Actions: - [02:59.607](https://academa.ai/lectures/everything-is-stokes-theorem?t=179.60706249999998): speed is indicated — a transient flash. - [03:1.929](https://academa.ai/lectures/everything-is-stokes-theorem?t=181.9290625): dot\_a is shown on the screen, written out. - [03:1.929](https://academa.ai/lectures/everything-is-stokes-theorem?t=181.9290625): point is shown on the screen, grown. - [03:1.929](https://academa.ai/lectures/everything-is-stokes-theorem?t=181.9290625): line is shown on the screen, drawn. - [03:3.02](https://academa.ai/lectures/everything-is-stokes-theorem?t=183.0200625): dot\_b is shown on the screen, written out. - [03:3.496](https://academa.ai/lectures/everything-is-stokes-theorem?t=183.4960625): curve\_b is shown on the screen, written out. - [03:3.929](https://academa.ai/lectures/everything-is-stokes-theorem?t=183.9290625): point is hidden from the screen. - [03:3.929](https://academa.ai/lectures/everything-is-stokes-theorem?t=183.9290625): line is hidden from the screen. - [03:4.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=184.1340625): moving\_edge is shown on the screen, written out. - [03:4.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=184.1340625): total\_readout is shown on the screen, written out. - [03:4.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=184.1340625): point\_2 is shown on the screen, grown. - [03:4.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=184.1340625): line\_2 is shown on the screen, drawn. ##### [03:5.513](https://academa.ai/lectures/everything-is-stokes-theorem?t=185.5125625) Narration: The left hand side is the shaded area from one to b. Now slide b out to four. The region grows with it, and the running total up in the corner counts all the way to three point seven five. Board: the\_question — a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 3.0), aspect=(5.0, 3.0)); speed — a FunctionPlot \[blue\] labelled "f'(x)" drawn in axes (function=\, x\_range=(0.0, 5.0)); dot\_a — a Point \[red\] drawn in axes (location=(1.0, 0.0)); dot\_b — a Point \[red\] drawn in axes (location=(\, 0.0)); curve\_b — a PlotPoint \[yellow\] labelled "2.0" drawn in axes (target='speed', x=\); moving\_edge — a Line \[red\] drawn in axes (start=(\, 0.0), end=(\, (b / 2.0)), dashed=True); total\_readout — a Point \[red\] labelled "f(b) - f(a) = 0.75" drawn in axes (location=(1.15, 2.5), show\_marker=False); point\_2 — a Point \[yellow\] drawn in axes (location=(2.0, 0.0)); line\_2 — a Line \[yellow\] drawn in axes (start=(2.0, 0.0), end=(0.0, 0.0), dashed=True) Actions: - [03:6.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=186.1340625): point\_2 is hidden from the screen. - [03:6.134](https://academa.ai/lectures/everything-is-stokes-theorem?t=186.1340625): line\_2 is hidden from the screen. - [03:7.277](https://academa.ai/lectures/everything-is-stokes-theorem?t=187.2770625): area is shown on the screen, written out. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): dot\_b is redrawn as the numbers it depends on change. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): curve\_b is redrawn as the numbers it depends on change. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): moving\_edge is redrawn as the numbers it depends on change. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): total\_readout is redrawn as the numbers it depends on change. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): area is redrawn as the numbers it depends on change. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): b ticks to 4.0. - [03:9.971](https://academa.ai/lectures/everything-is-stokes-theorem?t=189.9710625): change ticks to 3.75. - [03:10.957](https://academa.ai/lectures/everything-is-stokes-theorem?t=190.9570625): equations is shown on the screen, written out. ##### [03:18.593](https://academa.ai/lectures/everything-is-stokes-theorem?t=198.5930625) Narration: Now check the other side. f of four is four. f of one is a quarter. Four minus a quarter is three point seven five. Same number, obviously. Board: the\_question — a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 3.0), aspect=(5.0, 3.0)); speed — a FunctionPlot \[blue\] labelled "f'(x)" drawn in axes (function=\, x\_range=(0.0, 5.0)); dot\_a — a Point \[red\] drawn in axes (location=(1.0, 0.0)); dot\_b — a Point \[red\] drawn in axes (location=(\, 0.0)); curve\_b — a PlotPoint \[yellow\] labelled "2.0" drawn in axes (target='speed', x=\); moving\_edge — a Line \[red\] drawn in axes (start=(\, 0.0), end=(\, (b / 2.0)), dashed=True); total\_readout — a Point \[red\] labelled "f(b) - f(a) = 0.75" drawn in axes (location=(1.15, 2.5), show\_marker=False); area — an AreaUnder \[blue\] drawn in axes (x\_range=(1.0, \), target='speed') Actions: - [03:20.857](https://academa.ai/lectures/everything-is-stokes-theorem?t=200.85706249999998): value\_difference is shown on the screen, written out. - [03:21.205](https://academa.ai/lectures/everything-is-stokes-theorem?t=201.2050625): equations (the "f(4)" part) is emphasized. - [03:23.353](https://academa.ai/lectures/everything-is-stokes-theorem?t=203.3530625): equations (the "f(1)" part) is emphasized. - [03:23.353](https://academa.ai/lectures/everything-is-stokes-theorem?t=203.3530625): equations (the "f(4)" part) is no longer emphasized. - [03:23.945](https://academa.ai/lectures/everything-is-stokes-theorem?t=203.9450625): value\_difference is shown on the screen, written out. - [03:25.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=205.28006249999999): equations (the "f(1)" part) is no longer emphasized. - [03:25.594](https://academa.ai/lectures/everything-is-stokes-theorem?t=205.5940625): value\_difference is shown on the screen, drawn. - [03:26.394](https://academa.ai/lectures/everything-is-stokes-theorem?t=206.39406250000002): value\_difference is shown on the screen, drawn. - [03:26.639](https://academa.ai/lectures/everything-is-stokes-theorem?t=206.6390625): value\_difference is shown on the screen, written out. - [03:29.437](https://academa.ai/lectures/everything-is-stokes-theorem?t=209.4370625): value\_difference is indicated — a transient flash. ##### [03:31.071](https://academa.ai/lectures/everything-is-stokes-theorem?t=211.0705625) Narration: But here is the thing I really want you to notice. The right hand side never looks inside the interval at all. Board: Unchanged from the preceding beat in this scene. Actions: - [03:35.238](https://academa.ai/lectures/everything-is-stokes-theorem?t=215.23806249999998): area is hidden from the screen. ##### [03:37.749](https://academa.ai/lectures/everything-is-stokes-theorem?t=217.7485625) Narration: It only asks two questions. What is f at the right end, and what is f at the left end? Everything in the middle cancels. Board: the\_question — a Panel that says "You know how fast something is changing at every single moment. How much did it change in total?"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 3.0), aspect=(5.0, 3.0)); speed — a FunctionPlot \[blue\] labelled "f'(x)" drawn in axes (function=\, x\_range=(0.0, 5.0)); dot\_a — a Point \[red\] drawn in axes (location=(1.0, 0.0)); dot\_b — a Point \[red\] drawn in axes (location=(\, 0.0)); curve\_b — a PlotPoint \[yellow\] labelled "2.0" drawn in axes (target='speed', x=\); moving\_edge — a Line \[red\] drawn in axes (start=(\, 0.0), end=(\, (b / 2.0)), dashed=True); total\_readout — a Point \[red\] labelled "f(b) - f(a) = 0.75" drawn in axes (location=(1.15, 2.5), show\_marker=False) Actions: - [03:41.167](https://academa.ai/lectures/everything-is-stokes-theorem?t=221.1670625): point\_3 is shown on the screen, grown. - [03:42.955](https://academa.ai/lectures/everything-is-stokes-theorem?t=222.9550625): point\_4 is shown on the screen, grown. - [03:43.167](https://academa.ai/lectures/everything-is-stokes-theorem?t=223.1670625): point\_3 is hidden from the screen. - [03:44.955](https://academa.ai/lectures/everything-is-stokes-theorem?t=224.9550625): point\_4 is hidden from the screen. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): axes is hidden from the screen — left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): speed is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): dot\_a is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): dot\_b is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): curve\_b is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): moving\_edge is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): total\_readout is hidden from the screen — axes left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): equations is hidden from the screen — left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): the\_question is hidden from the screen — left the board. - [03:46.049](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.0490625): value\_difference is hidden from the screen — left the board. ##### [03:46.649](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.64906249999999) Narration: So here is the piece of language you need. The interval from a to b is the region. Its boundary is just the two endpoints. That word, boundary, is the whole lecture. Board: Empty. Actions: - [03:46.649](https://academa.ai/lectures/everything-is-stokes-theorem?t=226.64906249999999): heading\_boundary is shown on the screen, written out. - [03:49.859](https://academa.ai/lectures/everything-is-stokes-theorem?t=229.8590625): number\_line is shown on the screen, written out. - [03:51.31](https://academa.ai/lectures/everything-is-stokes-theorem?t=231.3100625): nl\_brace is shown on the screen, written out. - [03:52.483](https://academa.ai/lectures/everything-is-stokes-theorem?t=232.4830625): boundary\_def is shown on the screen, written out. - [03:53.656](https://academa.ai/lectures/everything-is-stokes-theorem?t=233.65606249999996): nl\_a is shown on the screen, written out. - [03:53.656](https://academa.ai/lectures/everything-is-stokes-theorem?t=233.65606249999996): traveller is shown on the screen, written out. - [03:53.956](https://academa.ai/lectures/everything-is-stokes-theorem?t=233.95606249999997): nl\_b is shown on the screen, written out. ##### [03:58.714](https://academa.ai/lectures/everything-is-stokes-theorem?t=238.71356249999997) Narration: The boundary is not the number b minus a. It is a formal sum of two points: plus b at the right hand end, together with negative a at the left hand end. Those signs are exactly why the answer is f of b minus f of a. Board: boundary\_def — a Panel that says "The boundary of a region is what you get when you take its edge. It is always one dimension smaller, and it always comes with signs."; number\_line — a NumberLine (x\_range=(0.0, 5.0), include\_numbers=True); heading\_boundary — a Heading that says "The Boundary Of An Interval"; nl\_brace — a Brace \[text\] labelled "\[a, b\]" drawn in number\_line (x\_start=1.0, x\_end=4.0); nl\_a — a Point \[red\] drawn in number\_line (location=(1.0, 0.0)); nl\_b — a Point \[red\] drawn in number\_line (location=(4.0, 0.0)); traveller — a Point \[yellow\] labelled "1.0" drawn in number\_line (location=(\, 0.0)) Actions: - [04:2.464](https://academa.ai/lectures/everything-is-stokes-theorem?t=242.46406249999998): boundary\_law is shown on the screen, written out. - [04:4.309](https://academa.ai/lectures/everything-is-stokes-theorem?t=244.30906249999998): boundary\_law (the "+ b" part) is emphasized. - [04:6.748](https://academa.ai/lectures/everything-is-stokes-theorem?t=246.74806249999997): boundary\_law (the "+ b" part) is no longer emphasized. - [04:6.748](https://academa.ai/lectures/everything-is-stokes-theorem?t=246.74806249999997): boundary\_law (the "- a" part) is emphasized. - [04:9.557](https://academa.ai/lectures/everything-is-stokes-theorem?t=249.55706249999997): boundary\_law (the "- a" part) is no longer emphasized. ##### [04:15.01](https://academa.ai/lectures/everything-is-stokes-theorem?t=255.01006249999998) Narration: That sign is orientation, the direction in which you travel. Watch the traveller move from the negative endpoint to the positive endpoint. Keep that direction in mind. It comes straight back in Green's theorem. Board: boundary\_def — a Panel that says "The boundary of a region is what you get when you take its edge. It is always one dimension smaller, and it always comes with signs."; boundary\_law — a Math \[text\] that says "$partial \[a, b\] = (+ b) + (- a)$"; number\_line — a NumberLine (x\_range=(0.0, 5.0), include\_numbers=True); heading\_boundary — a Heading that says "The Boundary Of An Interval"; nl\_brace — a Brace \[text\] labelled "\[a, b\]" drawn in number\_line (x\_start=1.0, x\_end=4.0); nl\_a — a Point \[red\] drawn in number\_line (location=(1.0, 0.0)); nl\_b — a Point \[red\] drawn in number\_line (location=(4.0, 0.0)); traveller — a Point \[yellow\] labelled "1.0" drawn in number\_line (location=(\, 0.0)) Actions: - [04:21.198](https://academa.ai/lectures/everything-is-stokes-theorem?t=261.1980625): traveller is redrawn as the numbers it depends on change. - [04:21.198](https://academa.ai/lectures/everything-is-stokes-theorem?t=261.1980625): traveller\_b ticks to 4.0. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): boundary\_def is hidden from the screen — left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): boundary\_law is hidden from the screen — left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): heading\_boundary is hidden from the screen — left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): number\_line is hidden from the screen — left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): nl\_brace is hidden from the screen — number\_line left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): nl\_a is hidden from the screen — number\_line left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): nl\_b is hidden from the screen — number\_line left the board. - [04:29.28](https://academa.ai/lectures/everything-is-stokes-theorem?t=269.279625): traveller is hidden from the screen — number\_line left the board. ### Scene 3: [The Same Theorem, On A Curve](https://academa.ai/lectures/everything-is-stokes-theorem?t=270.32129166666664) Span: 04:30.321–06:54.78 (270.32129166666664s–414.7803124999999s). #### Objects - axes: an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)) - closed\_endpoints: a Math \[text\] that says "$f(P) - f(P)$" - closed\_law: a Math \[text\] that says "$integral.cont\_Gamma nabla f dot dif arrow(r) = 0$" - contours: a LevelCurves \[gray\] drawn in axes (function=\, values=(9.5, 9.0, 8.5, 8.0)) - heading: a Heading that says "The Same Theorem, On A Curve" - heading\_closed: a Heading that says "A Closed Loop" - kink\_x: a VariableNumber (initial\_value=2.6) - kink\_y: a VariableNumber (initial\_value=2.7) - leg\_in: a Line \[blue\] labelled "C" drawn in axes (start=(0.6, 0.6), end=(\, \)) - leg\_out: a Line \[blue\] drawn in axes (start=(\, \), end=(5.4, 3.5)) - loop: a Circle \[magenta\] labelled "Gamma" drawn in axes (center=(3.0, 2.0)) - loop\_dir: an Orientation \[magenta\] drawn in axes (path=((4.0, 2.0), (3.995184726672197, 2.0980171403295604), (3.980785…, closed=True, arrows=4) - p\_end: a Point \[red\] labelled "Q" drawn in axes (location=(5.4, 3.5)) - p\_start: a Point \[red\] labelled "P" drawn in axes (location=(0.6, 0.6)) - point: a Point \[yellow\] drawn in axes (location=(0.6, 0.6)) - point\_2: a Point \[yellow\] drawn in axes (location=(5.4, 3.5)) - walk\_angle: a VariableNumber - walker: a Point \[yellow\] labelled "f = 9" drawn in axes (location=((3.0 + (1.4142135623730951 \* cos(walk\_angle))), (2.0 + (1.4142…) - waypoint: a Point \[green\] drawn in axes (location=(\, \)) - work: a Derivation \[text\] that says "$integral\_a^b f'(x) thin dif x &= f(b) - f(a) \\ integral\_C nabla f dot dif arrow(r) &= f(Q) - f(P)$" #### Beats ##### [04:30.321](https://academa.ai/lectures/everything-is-stokes-theorem?t=270.32129166666664) Narration: Now go up a dimension. Same sentence, new region. This time the region is not a chunk of the number line. It is a route, drawn through the plane, from a point P to a point Q. Board: Empty. Actions: - [04:30.321](https://academa.ai/lectures/everything-is-stokes-theorem?t=270.32129166666664): heading is shown on the screen, written out. - [04:31.029](https://academa.ai/lectures/everything-is-stokes-theorem?t=271.02929166666667): axes is shown on the screen, written out. - [04:37.74](https://academa.ai/lectures/everything-is-stokes-theorem?t=277.7402916666666): leg\_in is shown on the screen, written out. - [04:37.74](https://academa.ai/lectures/everything-is-stokes-theorem?t=277.7402916666666): leg\_out is shown on the screen, written out. - [04:40.34](https://academa.ai/lectures/everything-is-stokes-theorem?t=280.34029166666664): p\_start is shown on the screen, written out. - [04:41.165](https://academa.ai/lectures/everything-is-stokes-theorem?t=281.16529166666663): p\_end is shown on the screen, written out. ##### [04:42.38](https://academa.ai/lectures/everything-is-stokes-theorem?t=282.38029166666666) Narration: And instead of a function of one variable, there are now two. Picture it as a hill: f of x, y is the height of the ground above the point x, y. These grey rings are its contour lines. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); heading — a Heading that says "The Same Theorem, On A Curve"; leg\_in — a Line \[blue\] labelled "C" drawn in axes (start=(0.6, 0.6), end=(\, \)); leg\_out — a Line \[blue\] drawn in axes (start=(\, \), end=(5.4, 3.5)); p\_start — a Point \[red\] labelled "P" drawn in axes (location=(0.6, 0.6)); p\_end — a Point \[red\] labelled "Q" drawn in axes (location=(5.4, 3.5)) Actions: - [04:53.027](https://academa.ai/lectures/everything-is-stokes-theorem?t=293.02729166666666): contours is shown on the screen, written out. ##### [04:55.694](https://academa.ai/lectures/everything-is-stokes-theorem?t=295.69379166666664) Narration: A contour is the set of places at one particular height. So put a walker on the ring where f is nine, and send it the whole way round. It climbs nothing at all, because every point of that ring is at the same height. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); heading — a Heading that says "The Same Theorem, On A Curve"; leg\_in — a Line \[blue\] labelled "C" drawn in axes (start=(0.6, 0.6), end=(\, \)); leg\_out — a Line \[blue\] drawn in axes (start=(\, \), end=(5.4, 3.5)); p\_start — a Point \[red\] labelled "P" drawn in axes (location=(0.6, 0.6)); p\_end — a Point \[red\] labelled "Q" drawn in axes (location=(5.4, 3.5)); contours — a LevelCurves \[gray\] drawn in axes (function=\, values=(9.5, 9.0, 8.5, 8.0)) Actions: - [05:0.279](https://academa.ai/lectures/everything-is-stokes-theorem?t=300.2792916666666): walker is shown on the screen, written out. - [05:3.658](https://academa.ai/lectures/everything-is-stokes-theorem?t=303.6582916666666): walker is redrawn as the numbers it depends on change. - [05:3.658](https://academa.ai/lectures/everything-is-stokes-theorem?t=303.6582916666666): walk\_angle ticks to 6.283185307179586. - [05:8.569](https://academa.ai/lectures/everything-is-stokes-theorem?t=308.56929166666663): walker is hidden from the screen. ##### [05:9.169](https://academa.ai/lectures/everything-is-stokes-theorem?t=309.16929166666665) Narration: Here is theorem one again, so you can see what is coming. Integrate the derivative across the region, and read the answer off the two ends. Board: Unchanged from the preceding beat in this scene. Actions: - [05:10.144](https://academa.ai/lectures/everything-is-stokes-theorem?t=310.1442916666666): axes moves to a new place on the board. - [05:10.144](https://academa.ai/lectures/everything-is-stokes-theorem?t=310.1442916666666): work is shown on the screen, written out. - [05:13.325](https://academa.ai/lectures/everything-is-stokes-theorem?t=313.32529166666666): work (the "integral\_a^b f'(x) thin dif x" part) is emphasized. - [05:15.484](https://academa.ai/lectures/everything-is-stokes-theorem?t=315.48429166666665): work (the "f(b) - f(a)" part) is emphasized. - [05:15.484](https://academa.ai/lectures/everything-is-stokes-theorem?t=315.48429166666665): work (the "integral\_a^b f'(x) thin dif x" part) is no longer emphasized. - [05:17.191](https://academa.ai/lectures/everything-is-stokes-theorem?t=317.19129166666664): work (the "f(b) - f(a)" part) is no longer emphasized. ##### [05:17.791](https://academa.ai/lectures/everything-is-stokes-theorem?t=317.79129166666667) Narration: And here is theorem two. Integrate the gradient of f along the curve C, and what you get is f at Q minus f at P. Look at those two lines together. It is the same sentence twice. Board: Unchanged from the preceding beat in this scene. Actions: - [05:18.987](https://academa.ai/lectures/everything-is-stokes-theorem?t=318.98729166666664): work is shown on the screen, written out. - [05:21.518](https://academa.ai/lectures/everything-is-stokes-theorem?t=321.51829166666664): work (the "integral\_C nabla f dot dif arrow(r)" part) is emphasized. - [05:22.702](https://academa.ai/lectures/everything-is-stokes-theorem?t=322.7022916666666): work (the "f(Q) - f(P)" part) is emphasized. - [05:22.702](https://academa.ai/lectures/everything-is-stokes-theorem?t=322.7022916666666): work (the "integral\_C nabla f dot dif arrow(r)" part) is no longer emphasized. - [05:26.673](https://academa.ai/lectures/everything-is-stokes-theorem?t=326.6732916666666): work (the "f(Q) - f(P)" part) is no longer emphasized. ##### [05:30.407](https://academa.ai/lectures/everything-is-stokes-theorem?t=330.40729166666665) Narration: Read the left side as, add up every little bit of climbing as you walk. Read the right side as, the height where you finished minus the height where you started. It is the odometer story again, on a hill. Board: Unchanged from the preceding beat in this scene. Actions: - [05:31.069](https://academa.ai/lectures/everything-is-stokes-theorem?t=331.06929166666663): work (the "integral\_C nabla f dot dif arrow(r)" part) is emphasized. - [05:35.423](https://academa.ai/lectures/everything-is-stokes-theorem?t=335.4232916666666): work (the "f(Q) - f(P)" part) is emphasized. - [05:35.423](https://academa.ai/lectures/everything-is-stokes-theorem?t=335.4232916666666): work (the "integral\_C nabla f dot dif arrow(r)" part) is no longer emphasized. - [05:42.249](https://academa.ai/lectures/everything-is-stokes-theorem?t=342.24929166666664): work (the "f(Q) - f(P)" part) is no longer emphasized. ##### [05:43.465](https://academa.ai/lectures/everything-is-stokes-theorem?t=343.46479166666666) Narration: And that hands you something genuinely useful. The route does not matter. Take hold of it here, in the middle, and bend it wherever you like, keeping P and Q where they are. Board: Unchanged from the preceding beat in this scene. Actions: - [05:48.759](https://academa.ai/lectures/everything-is-stokes-theorem?t=348.7592916666666): waypoint is shown on the screen, written out. ##### [05:54.618](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.61829166666666) Narration: Up over the shoulder of the hill. Or down round the bottom instead. The climb you total up is the same number every single time, because the right hand side never mentions the route at all. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); heading — a Heading that says "The Same Theorem, On A Curve"; leg\_in — a Line \[blue\] labelled "C" drawn in axes (start=(0.6, 0.6), end=(\, \)); leg\_out — a Line \[blue\] drawn in axes (start=(\, \), end=(5.4, 3.5)); p\_start — a Point \[red\] labelled "P" drawn in axes (location=(0.6, 0.6)); p\_end — a Point \[red\] labelled "Q" drawn in axes (location=(5.4, 3.5)); contours — a LevelCurves \[gray\] drawn in axes (function=\, values=(9.5, 9.0, 8.5, 8.0)); waypoint — a Point \[green\] drawn in axes (location=(\, \)) Actions: - [05:54.873](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.87329166666666): leg\_in is redrawn as the numbers it depends on change. - [05:54.873](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.87329166666666): leg\_out is redrawn as the numbers it depends on change. - [05:54.873](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.87329166666666): waypoint is redrawn as the numbers it depends on change. - [05:54.873](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.87329166666666): kink\_x ticks to 2.0. - [05:54.873](https://academa.ai/lectures/everything-is-stokes-theorem?t=354.87329166666666): kink\_y ticks to 3.4. - [05:57.021](https://academa.ai/lectures/everything-is-stokes-theorem?t=357.0212916666666): leg\_in is redrawn as the numbers it depends on change. - [05:57.021](https://academa.ai/lectures/everything-is-stokes-theorem?t=357.0212916666666): leg\_out is redrawn as the numbers it depends on change. - [05:57.021](https://academa.ai/lectures/everything-is-stokes-theorem?t=357.0212916666666): waypoint is redrawn as the numbers it depends on change. - [05:57.021](https://academa.ai/lectures/everything-is-stokes-theorem?t=357.0212916666666): kink\_x ticks to 4.2. - [05:57.021](https://academa.ai/lectures/everything-is-stokes-theorem?t=357.0212916666666): kink\_y ticks to 0.9. - [06:0.667](https://academa.ai/lectures/everything-is-stokes-theorem?t=360.66729166666664): work (the "f(Q) - f(P)" part) is emphasized. - [06:5.404](https://academa.ai/lectures/everything-is-stokes-theorem?t=365.4037916666666): work (the "f(Q) - f(P)" part) is no longer emphasized. ##### [06:6.004](https://academa.ai/lectures/everything-is-stokes-theorem?t=366.00379166666664) Narration: Because the formula only ever looks at the endpoints. There is that word again. The boundary of a curve is its two ends, and the answer depends on nothing else. Board: Unchanged from the preceding beat in this scene. Actions: - [06:12.969](https://academa.ai/lectures/everything-is-stokes-theorem?t=372.96929166666666): point is shown on the screen, grown. - [06:14.969](https://academa.ai/lectures/everything-is-stokes-theorem?t=374.96929166666666): point is hidden from the screen. - [06:15.269](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.2692916666666): point\_2 is shown on the screen, grown. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): leg\_in is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): leg\_out is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): waypoint is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): p\_start is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): p\_end is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): contours is hidden from the screen. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): heading is hidden from the screen — left the board. - [06:15.796](https://academa.ai/lectures/everything-is-stokes-theorem?t=375.79629166666666): work is hidden from the screen — left the board. ##### [06:16.396](https://academa.ai/lectures/everything-is-stokes-theorem?t=376.3962916666666) Narration: Which hands you a corollary that falls straight out. Suppose the route is a closed loop, like this circle Gamma. You finish exactly where you started, so the start point and the end point are the same point. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); point\_2 — a Point \[yellow\] drawn in axes (location=(5.4, 3.5)) Actions: - [06:16.396](https://academa.ai/lectures/everything-is-stokes-theorem?t=376.3962916666666): heading\_closed is shown on the screen, written out. - [06:17.269](https://academa.ai/lectures/everything-is-stokes-theorem?t=377.2692916666666): point\_2 is hidden from the screen. - [06:22.068](https://academa.ai/lectures/everything-is-stokes-theorem?t=382.06829166666665): loop is shown on the screen, drawn. - [06:25.11](https://academa.ai/lectures/everything-is-stokes-theorem?t=385.1102916666666): loop\_dir is shown on the screen, written out. ##### [06:29.413](https://academa.ai/lectures/everything-is-stokes-theorem?t=389.4132916666666) Narration: So the endpoint term is f of P minus f of P. The two copies cancel, and the result is zero. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); heading\_closed — a Heading that says "A Closed Loop"; loop — a Circle \[magenta\] labelled "Gamma" drawn in axes (center=(3.0, 2.0)); loop\_dir — an Orientation \[magenta\] drawn in axes (path=((4.0, 2.0), (3.995184726672197, 2.0980171403295604), (3.980785…, closed=True, arrows=4) Actions: - [06:30.551](https://academa.ai/lectures/everything-is-stokes-theorem?t=390.55129166666666): closed\_endpoints is shown on the screen, written out. - [06:34.789](https://academa.ai/lectures/everything-is-stokes-theorem?t=394.78929166666666): closed\_endpoints (the "f(P)" part) is slashed through — it cancels. - [06:34.789](https://academa.ai/lectures/everything-is-stokes-theorem?t=394.78929166666666): closed\_endpoints (the "f(P)#2" part) is slashed through — it cancels. - [06:36.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=396.18229166666663): closed\_law is shown on the screen, written out. ##### [06:37.63](https://academa.ai/lectures/everything-is-stokes-theorem?t=397.6297916666666) Narration: Around any closed loop, a gradient field integrates to zero. You can see it coming without computing anything: closed curve, gradient field, nothing to do. Board: axes — an Axes (x\_range=(0.0, 6.0), y\_range=(0.0, 4.0), aspect=(6.0, 4.0)); closed\_endpoints — a Math \[text\] that says "$f(P) - f(P)$"; closed\_law — a Math \[text\] that says "$integral.cont\_Gamma nabla f dot dif arrow(r) = 0$"; heading\_closed — a Heading that says "A Closed Loop"; loop — a Circle \[magenta\] labelled "Gamma" drawn in axes (center=(3.0, 2.0)); loop\_dir — an Orientation \[magenta\] drawn in axes (path=((4.0, 2.0), (3.995184726672197, 2.0980171403295604), (3.980785…, closed=True, arrows=4) Actions: - [06:40.764](https://academa.ai/lectures/everything-is-stokes-theorem?t=400.7642916666666): A box is drawn around closed\_law. ##### [06:47.715](https://academa.ai/lectures/everything-is-stokes-theorem?t=407.71479166666666) Narration: Same theorem. Region, boundary, done. Now the one that looks hardest and really isn't. Board: Unchanged from the preceding beat in this scene. Actions: - [06:49.862](https://academa.ai/lectures/everything-is-stokes-theorem?t=409.86229166666664): closed\_law is indicated — a transient flash. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): axes is hidden from the screen — left the board. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): loop is hidden from the screen — axes left the board. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): loop\_dir is hidden from the screen — axes left the board. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): closed\_endpoints is hidden from the screen — left the board. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): closed\_law is hidden from the screen — left the board. - [06:53.739](https://academa.ai/lectures/everything-is-stokes-theorem?t=413.7386458333333): heading\_closed is hidden from the screen — left the board. ### Scene 4: [Green's Theorem](https://academa.ai/lectures/everything-is-stokes-theorem?t=414.7803124999999) Span: 06:54.78–09:44.812 (414.7803124999999s–584.8123958333333s). #### Objects - axes: an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)) - cell: a TileCell \[yellow\] drawn in axes (v=1, outline=((0.6, 1.5333333333333332), (0.825, 1.5333333333333332), (1.05,…, sample=(1.05, 1.9999999999999996)) - edge\_from\_left: a TileEdge \[red\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 1.5333333333333332), (1.5, 1.7666666666666666), (1.5, 1…, induced='from\_lower') - edge\_from\_right: a TileEdge \[green\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 2.4666666666666663), (1.5, 2.233333333333333), (1.5, 1.…, induced='from\_higher') - field: a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…) - green\_law: a Math \[text\] that says "$integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A = integral.cont\_(partial R) P thin dif x + Q thin dif y$" - heading: a Heading that says "Green's Theorem" - heading\_cancel: a Heading that says "Why The Interior Disappears" - patch: a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)) - rim: a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)) - rim\_dir: an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6) - rim\_t: a VariableNumber (format\_spec='.1f') - rim\_traveller: a Point \[yellow\] labelled "0.0" drawn in axes (location=(0.6, 0.6)) - shared\_edge: a TileEdge \[yellow\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 1.5333333333333332), (1.5, 1.7666666666666666), (1.5, 1…, of='tiling') - surviving: a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)) - surviving\_dir: an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6) - tiling: a Tiles \[yellow\] drawn in axes (v\_cells=3, nodes=(((0.6, 0.6), (0.6, 0.8333333333333333), (0.6, 1.06666666666666…, of='patch') #### Beats ##### [06:54.78](https://academa.ai/lectures/everything-is-stokes-theorem?t=414.7803124999999) Narration: So, the flat case. Green's theorem. This is the one that looks frightening the first time you meet it, and it is the same sentence again. Board: Empty. Actions: - [06:54.78](https://academa.ai/lectures/everything-is-stokes-theorem?t=414.7803124999999): heading is shown on the screen, written out. - [06:57.102](https://academa.ai/lectures/everything-is-stokes-theorem?t=417.1023124999999): axes is shown on the screen, written out. ##### [07:4.633](https://academa.ai/lectures/everything-is-stokes-theorem?t=424.63331249999993) Narration: Our region is now genuinely two dimensional: a flat patch R in the plane, carrying a field of arrows. The rectangle keeps the boundary easy to read, but the theorem does not depend on that shape. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem" Actions: - [07:8.348](https://academa.ai/lectures/everything-is-stokes-theorem?t=428.3483124999999): patch is shown on the screen, written out. - [07:10.392](https://academa.ai/lectures/everything-is-stokes-theorem?t=430.39231249999995): field is shown on the screen, written out. ##### [07:17.4](https://academa.ai/lectures/everything-is-stokes-theorem?t=437.4003124999999) Narration: Its boundary is the closed curve that runs all the way around the outside. We write it as del R. Orientation matters, exactly as the plus and minus mattered on the interval. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem"; patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…) Actions: - [07:17.957](https://academa.ai/lectures/everything-is-stokes-theorem?t=437.95731249999994): rim is shown on the screen, drawn. - [07:24.029](https://academa.ai/lectures/everything-is-stokes-theorem?t=444.02931249999995): rim\_dir is shown on the screen, written out. ##### [07:29.186](https://academa.ai/lectures/everything-is-stokes-theorem?t=449.18631249999993) Narration: Travel counterclockwise, so the region stays on your left. Starting here, one complete trip comes back to the point it left. That choice of direction is the same choice as the plus sign on the interval's right hand end. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem"; patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…); rim — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); rim\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6) Actions: - [07:33.836](https://academa.ai/lectures/everything-is-stokes-theorem?t=453.8363124999999): rim\_traveller is shown on the screen, written out. - [07:34.927](https://academa.ai/lectures/everything-is-stokes-theorem?t=454.9273124999999): rim\_t ticks to 1.0. - [07:35.336](https://academa.ai/lectures/everything-is-stokes-theorem?t=455.3363124999999): rim\_traveller is redrawn as the numbers it depends on change. ##### [07:43.12](https://academa.ai/lectures/everything-is-stokes-theorem?t=463.1198124999999) Narration: Here is the statement. The double integral over every point of the region lives on the left. One line integral around its boundary lives on the right. Inside on the left, edge on the right. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem"; patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…); rim — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); rim\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6); rim\_traveller — a Point \[yellow\] labelled "0.0" drawn in axes (location=(0.6, 0.6)) Actions: - [07:43.944](https://academa.ai/lectures/everything-is-stokes-theorem?t=463.9443124999999): axes moves to a new place on the board. - [07:43.944](https://academa.ai/lectures/everything-is-stokes-theorem?t=463.9443124999999): green\_law is shown on the screen, written out. - [07:48.309](https://academa.ai/lectures/everything-is-stokes-theorem?t=468.3093124999999): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is emphasized. - [07:51.897](https://academa.ai/lectures/everything-is-stokes-theorem?t=471.89731249999994): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is emphasized. - [07:51.897](https://academa.ai/lectures/everything-is-stokes-theorem?t=471.89731249999994): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is no longer emphasized. - [07:53.023](https://academa.ai/lectures/everything-is-stokes-theorem?t=473.0233124999999): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is no longer emphasized. ##### [07:56.282](https://academa.ai/lectures/everything-is-stokes-theorem?t=476.28231249999993) Narration: Read the left side as the total swirl at all points inside R. Read the right side as the total push along one counterclockwise trip around del R. Every arrow inside contributes to the first count; the rim supplies the second. Board: green\_law — a Math \[text\] that says "$integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A = integral.cont\_(partial R) P thin dif x + Q thin dif y$"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem"; patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…); rim — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); rim\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6); rim\_traveller — a Point \[yellow\] labelled "0.0" drawn in axes (location=(0.6, 0.6)) Actions: - [07:57.153](https://academa.ai/lectures/everything-is-stokes-theorem?t=477.1533124999999): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is emphasized. - [08:1.773](https://academa.ai/lectures/everything-is-stokes-theorem?t=481.7733124999999): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is emphasized. - [08:1.773](https://academa.ai/lectures/everything-is-stokes-theorem?t=481.7733124999999): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is no longer emphasized. - [08:7.126](https://academa.ai/lectures/everything-is-stokes-theorem?t=487.1263124999999): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is no longer emphasized. ##### [08:12.695](https://academa.ai/lectures/everything-is-stokes-theorem?t=492.6948124999999) Narration: Green's theorem says those two numbers are equal. Total swirl inside equals total push around the rim. That is the whole theorem. Board: Unchanged from the preceding beat in this scene. Actions: - [08:15.063](https://academa.ai/lectures/everything-is-stokes-theorem?t=495.06331249999994): green\_law is indicated — a transient flash. - [08:22.482](https://academa.ai/lectures/everything-is-stokes-theorem?t=502.48181249999993): axes moves to a new place on the board. - [08:22.482](https://academa.ai/lectures/everything-is-stokes-theorem?t=502.48181249999993): green\_law is hidden from the screen — left the board. - [08:22.482](https://academa.ai/lectures/everything-is-stokes-theorem?t=502.48181249999993): heading is hidden from the screen — left the board. ##### [08:23.082](https://academa.ai/lectures/everything-is-stokes-theorem?t=503.08181249999996) Narration: Now for the reason. Chop R into little tiles. Each tile contributes a walk around its own boundary. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…); rim — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); rim\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6); rim\_traveller — a Point \[yellow\] labelled "0.0" drawn in axes (location=(0.6, 0.6)) Actions: - [08:23.082](https://academa.ai/lectures/everything-is-stokes-theorem?t=503.08181249999996): heading\_cancel is shown on the screen, written out. - [08:25.299](https://academa.ai/lectures/everything-is-stokes-theorem?t=505.2993124999999): rim is hidden from the screen. - [08:25.299](https://academa.ai/lectures/everything-is-stokes-theorem?t=505.2993124999999): rim\_dir is hidden from the screen. - [08:25.299](https://academa.ai/lectures/everything-is-stokes-theorem?t=505.2993124999999): rim\_traveller is hidden from the screen. - [08:25.299](https://academa.ai/lectures/everything-is-stokes-theorem?t=505.2993124999999): field is hidden from the screen. - [08:25.299](https://academa.ai/lectures/everything-is-stokes-theorem?t=505.2993124999999): patch is hidden from the screen. - [08:26.518](https://academa.ai/lectures/everything-is-stokes-theorem?t=506.5183124999999): tiling is shown on the screen, written out. ##### [08:31.728](https://academa.ai/lectures/everything-is-stokes-theorem?t=511.7278124999999) Narration: Choose this tile. Its contribution includes this little edge. Adding the tiles means reading that edge once from each tile that touches it. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading\_cancel — a Heading that says "Why The Interior Disappears"; tiling — a Tiles \[yellow\] drawn in axes (v\_cells=3, nodes=(((0.6, 0.6), (0.6, 0.8333333333333333), (0.6, 1.06666666666666…, of='patch') Actions: - [08:32.715](https://academa.ai/lectures/everything-is-stokes-theorem?t=512.7153125): cell is shown on the screen, written out. - [08:35.489](https://academa.ai/lectures/everything-is-stokes-theorem?t=515.4893124999999): shared\_edge is shown on the screen, written out. - [08:36.581](https://academa.ai/lectures/everything-is-stokes-theorem?t=516.5813125): cell is hidden from the screen. ##### [08:41.813](https://academa.ai/lectures/everything-is-stokes-theorem?t=521.8133124999999) Narration: One tile walks the shared edge upward. Its neighbour walks the very same edge downward. The geometric edge is one object, but its two induced directions are opposites. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading\_cancel — a Heading that says "Why The Interior Disappears"; tiling — a Tiles \[yellow\] drawn in axes (v\_cells=3, nodes=(((0.6, 0.6), (0.6, 0.8333333333333333), (0.6, 1.06666666666666…, of='patch'); shared\_edge — a TileEdge \[yellow\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 1.5333333333333332), (1.5, 1.7666666666666666), (1.5, 1…, of='tiling') Actions: - [08:42.161](https://academa.ai/lectures/everything-is-stokes-theorem?t=522.1613124999999): edge\_from\_left is shown on the screen, written out. - [08:45.296](https://academa.ai/lectures/everything-is-stokes-theorem?t=525.2963124999999): edge\_from\_right is shown on the screen, written out. ##### [08:53.814](https://academa.ai/lectures/everything-is-stokes-theorem?t=533.8143124999999) Narration: Those two contributions cancel. The same happens at every shared edge, so the entire interior grid deletes itself. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading\_cancel — a Heading that says "Why The Interior Disappears"; tiling — a Tiles \[yellow\] drawn in axes (v\_cells=3, nodes=(((0.6, 0.6), (0.6, 0.8333333333333333), (0.6, 1.06666666666666…, of='patch'); shared\_edge — a TileEdge \[yellow\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 1.5333333333333332), (1.5, 1.7666666666666666), (1.5, 1…, of='tiling'); edge\_from\_left — a TileEdge \[red\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 1.5333333333333332), (1.5, 1.7666666666666666), (1.5, 1…, induced='from\_lower'); edge\_from\_right — a TileEdge \[green\] drawn in axes (edges=('v:1,1',), paths=(((1.5, 2.4666666666666663), (1.5, 2.233333333333333), (1.5, 1.…, induced='from\_higher') Actions: - [08:55.416](https://academa.ai/lectures/everything-is-stokes-theorem?t=535.4163124999999): edge\_from\_left is hidden from the screen. - [08:55.416](https://academa.ai/lectures/everything-is-stokes-theorem?t=535.4163124999999): edge\_from\_right is hidden from the screen. - [08:58.179](https://academa.ai/lectures/everything-is-stokes-theorem?t=538.1793124999999): shared\_edge is hidden from the screen. - [09:0.478](https://academa.ai/lectures/everything-is-stokes-theorem?t=540.4783124999999): tiling is hidden from the screen. ##### [09:2.843](https://academa.ai/lectures/everything-is-stokes-theorem?t=542.8428124999999) Narration: Only edges with no neighbour remain: the outside of R. Their induced walk is the surviving boundary, with the region on its left. That is Green's theorem. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading\_cancel — a Heading that says "Why The Interior Disappears" Actions: - [09:6.093](https://academa.ai/lectures/everything-is-stokes-theorem?t=546.0933124999999): surviving is shown on the screen, drawn. - [09:9.565](https://academa.ai/lectures/everything-is-stokes-theorem?t=549.5653124999999): surviving\_dir is shown on the screen, written out. - [09:14.627](https://academa.ai/lectures/everything-is-stokes-theorem?t=554.6268124999999): axes moves to a new place on the board. - [09:14.627](https://academa.ai/lectures/everything-is-stokes-theorem?t=554.6268124999999): heading\_cancel is hidden from the screen — left the board. ##### [09:15.227](https://academa.ai/lectures/everything-is-stokes-theorem?t=555.2268124999999) Narration: The equality now reads from the region to its surviving boundary. The derivative is integrated over R on the left; the original field is integrated over del R on the right. Board: axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); surviving — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); surviving\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6) Actions: - [09:15.227](https://academa.ai/lectures/everything-is-stokes-theorem?t=555.2268124999999): heading is shown on the screen, written out. - [09:15.854](https://academa.ai/lectures/everything-is-stokes-theorem?t=555.8543124999999): green\_law is shown on the screen, written out. - [09:17.502](https://academa.ai/lectures/everything-is-stokes-theorem?t=557.5023124999999): patch is shown on the screen, written out. - [09:22.099](https://academa.ai/lectures/everything-is-stokes-theorem?t=562.0993125): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is emphasized. - [09:23.539](https://academa.ai/lectures/everything-is-stokes-theorem?t=563.5393124999999): field is shown on the screen, written out. - [09:25.664](https://academa.ai/lectures/everything-is-stokes-theorem?t=565.6643124999999): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is emphasized. - [09:25.664](https://academa.ai/lectures/everything-is-stokes-theorem?t=565.6643124999999): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is no longer emphasized. - [09:26.419](https://academa.ai/lectures/everything-is-stokes-theorem?t=566.4188125): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is no longer emphasized. ##### [09:27.019](https://academa.ai/lectures/everything-is-stokes-theorem?t=567.0188125) Narration: If a line integral around a closed curve is horrible, read the equality backward. Swap the loop integral to the left and the double integral to the right. Often that reversal is the whole difference between an integral you can do and one you cannot. Board: green\_law — a Math \[text\] that says "$integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A = integral.cont\_(partial R) P thin dif x + Q thin dif y$"; axes — an Axes (x\_range=(0.0, 5.0), y\_range=(0.0, 4.0), aspect=(5.0, 4.0)); heading — a Heading that says "Green's Theorem"; patch — a Region \[blue\] labelled "R" drawn in axes (predicates=(\ at 0x2b4ce85f6840\>,), x\_range=(0.6, 4.2), y\_range=(0.6, 3.4)); field — a VectorField \[green\] drawn in axes (function=\, at=((1.0, 1.0), (1.0, 2.0), (1.0, 3.0), (2.0, 1.0), (2.0, 2.0), (2…); surviving — a ParametricCurve \[red\] labelled "partial R" drawn in axes (function=\, breakpoints=(0.2857142857142857, 0.5, 0.7857142857142857)); surviving\_dir — an Orientation \[red\] drawn in axes (path=((0.6, 0.6, 0.0), (0.796875, 0.6, 0.0), (0.99375, 0.6, 0.0), (1…, closed=True, arrows=6) Actions: - [09:33.265](https://academa.ai/lectures/everything-is-stokes-theorem?t=573.2653124999999): green\_law becomes "$integral.cont\_(partial R) P thin dif x + Q thin dif y = integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A$". - [09:34.867](https://academa.ai/lectures/everything-is-stokes-theorem?t=574.8673124999999): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is emphasized. - [09:36.783](https://academa.ai/lectures/everything-is-stokes-theorem?t=576.7833125): green\_law (the "integral.cont\_(partial R) P thin dif x + Q thin dif y" part) is no longer emphasized. - [09:36.783](https://academa.ai/lectures/everything-is-stokes-theorem?t=576.7833125): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is emphasized. - [09:37.885](https://academa.ai/lectures/everything-is-stokes-theorem?t=577.8853124999999): green\_law (the "integral.double\_R (frac(partial Q, partial x) - frac(partial P, partial y)) thin dif A" part) is no longer emphasized. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): axes is hidden from the screen — left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): patch is hidden from the screen — axes left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): field is hidden from the screen — axes left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): surviving is hidden from the screen — axes left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): surviving\_dir is hidden from the screen — axes left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): green\_law is hidden from the screen — left the board. - [09:43.771](https://academa.ai/lectures/everything-is-stokes-theorem?t=583.7707291666666): heading is hidden from the screen — left the board. ### Scene 5: [The Big Picture](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333) Span: 09:44.812–12:26.223 (584.8123958333333s–746.22325s). #### Objects - blob: a Polygon \[blue\] labelled "R" drawn in trio (vertices=((6.0, 0.8), (8.2, 0.9), (8.5, 2.1), (7.3, 2.8), (5.8, 2.1)), fill\_opacity=0.22) - blob\_boundary: a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)) - blob\_direction: an Orientation \[red\] drawn in trio (path=((6.0, 0.8, 0.0), (6.171875, 0.8078125, 0.0), (6.34375, 0.81562…, closed=True, arrows=4) - end\_a: a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)) - end\_b: a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)) - heading\_master: a Heading that says "One Line" - heading\_next: a Heading that says "One More Dimension" - heading\_table: a Heading that says "All Three At Once" - ladder: a Table \[text\] that says "Theorem Region Boundary Calculus $\[a, b\]$ $a$ and $b$ Line integrals $C$ $P$ and $Q$ Green $R$ $partial R$" (rows=(('Theorem', 'Region', 'Boundary'), ('Calculus', '$\[a, b\]$', '$…, header=True) - master: a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$" - path: a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\) - path\_end: a Point \[red\] labelled "Q" drawn in trio (location=(4.9, 2.1)) - path\_start: a Point \[red\] labelled "P" drawn in trio (location=(3.0, 1.0)) - segment: a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)) - sheet: a Surface \[blue\] drawn in space (function=\, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)) - sheet\_rim: a ParametricCurve \[red\] labelled "partial S" drawn in space (function=\, breakpoints=(0.25, 0.5, 0.75)) - sheet\_rim\_marks: an Orientation \[red\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4) - space: an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)) - trio: a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)) #### Beats ##### [09:44.812](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333) Narration: Put the three theorems side by side with the three regions we started from. For each theorem, name its region and then its complete boundary. Board: Empty. Actions: - [09:44.812](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333): heading\_table is shown on the screen, written out. - [09:44.812](https://academa.ai/lectures/everything-is-stokes-theorem?t=584.8123958333333): trio is shown on the screen, written out. - [09:50.617](https://academa.ai/lectures/everything-is-stokes-theorem?t=590.6173958333333): trio moves to a new place on the board. - [09:50.617](https://academa.ai/lectures/everything-is-stokes-theorem?t=590.6173958333333): ladder is shown on the screen, written out. ##### [09:54.015](https://academa.ai/lectures/everything-is-stokes-theorem?t=594.0153958333333) Narration: For the fundamental theorem of calculus, the region is the interval from a to b. Its boundary is the two endpoints a and b. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); heading\_table — a Heading that says "All Three At Once" Actions: - [09:55.606](https://academa.ai/lectures/everything-is-stokes-theorem?t=595.6063958333333): ladder is shown on the screen, written out. - [09:57.301](https://academa.ai/lectures/everything-is-stokes-theorem?t=597.3013958333333): segment is shown on the screen, written out. - [10:0.494](https://academa.ai/lectures/everything-is-stokes-theorem?t=600.4943958333333): end\_a is shown on the screen, written out. - [10:0.494](https://academa.ai/lectures/everything-is-stokes-theorem?t=600.4943958333333): end\_b is shown on the screen, written out. ##### [10:3.033](https://academa.ai/lectures/everything-is-stokes-theorem?t=603.0328958333333) Narration: For line integrals, the region is the curve C. Its boundary is the point P where the curve starts and the point Q where it ends. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); heading\_table — a Heading that says "All Three At Once"; segment — a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)) Actions: - [10:3.59](https://academa.ai/lectures/everything-is-stokes-theorem?t=603.5903958333333): ladder is shown on the screen, written out. - [10:5.122](https://academa.ai/lectures/everything-is-stokes-theorem?t=605.1223958333333): path is shown on the screen, drawn. - [10:7.375](https://academa.ai/lectures/everything-is-stokes-theorem?t=607.3753958333333): path\_start is shown on the screen, written out. - [10:9.604](https://academa.ai/lectures/everything-is-stokes-theorem?t=609.6043958333333): path\_end is shown on the screen, written out. ##### [10:11.632](https://academa.ai/lectures/everything-is-stokes-theorem?t=611.6323958333334) Narration: For Green's theorem, the region is the patch R. Its boundary is the closed loop del R, walked with the region on the left. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); heading\_table — a Heading that says "All Three At Once"; segment — a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.0, 1.0)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(4.9, 2.1)) Actions: - [10:12.154](https://academa.ai/lectures/everything-is-stokes-theorem?t=612.1543958333333): ladder is shown on the screen, written out. - [10:14](https://academa.ai/lectures/everything-is-stokes-theorem?t=614.0003958333333): blob is shown on the screen, written out. - [10:16.578](https://academa.ai/lectures/everything-is-stokes-theorem?t=616.5783958333333): blob\_boundary is shown on the screen, drawn. - [10:18.064](https://academa.ai/lectures/everything-is-stokes-theorem?t=618.0643958333333): blob\_direction is shown on the screen, written out. ##### [10:20.649](https://academa.ai/lectures/everything-is-stokes-theorem?t=620.6493958333333) Narration: Now read the two right hand columns. This one names the region being integrated over. This one names its boundary, always one dimension smaller. Every row is saying the same thing. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); heading\_table — a Heading that says "All Three At Once"; segment — a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.0, 1.0)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(4.9, 2.1)); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((6.0, 0.8), (8.2, 0.9), (8.5, 2.1), (7.3, 2.8), (5.8, 2.1)), fill\_opacity=0.22); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_direction — an Orientation \[red\] drawn in trio (path=((6.0, 0.8, 0.0), (6.171875, 0.8078125, 0.0), (6.34375, 0.81562…, closed=True, arrows=4) Actions: - [10:24.562](https://academa.ai/lectures/everything-is-stokes-theorem?t=624.5623958333333): ladder (the "column=2" part) is emphasized. - [10:27.813](https://academa.ai/lectures/everything-is-stokes-theorem?t=627.8133958333333): ladder (the "column=2" part) is no longer emphasized. - [10:27.813](https://academa.ai/lectures/everything-is-stokes-theorem?t=627.8133958333333): ladder (the "column=3" part) is emphasized. - [10:31.075](https://academa.ai/lectures/everything-is-stokes-theorem?t=631.0753958333333): ladder (the "column=3" part) is no longer emphasized. - [10:33.154](https://academa.ai/lectures/everything-is-stokes-theorem?t=633.1538958333333): trio moves to a new place on the board. - [10:33.154](https://academa.ai/lectures/everything-is-stokes-theorem?t=633.1538958333333): heading\_table is hidden from the screen — left the board. - [10:33.154](https://academa.ai/lectures/everything-is-stokes-theorem?t=633.1538958333333): ladder is hidden from the screen — left the board. ##### [10:33.754](https://academa.ai/lectures/everything-is-stokes-theorem?t=633.7538958333333) Narration: And that shared structure is the line I showed you at the start. Here it is again, and this time it should read as ordinary English. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); segment — a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.0, 1.0)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(4.9, 2.1)); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((6.0, 0.8), (8.2, 0.9), (8.5, 2.1), (7.3, 2.8), (5.8, 2.1)), fill\_opacity=0.22); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_direction — an Orientation \[red\] drawn in trio (path=((6.0, 0.8, 0.0), (6.171875, 0.8078125, 0.0), (6.34375, 0.81562…, closed=True, arrows=4) Actions: - [10:33.754](https://academa.ai/lectures/everything-is-stokes-theorem?t=633.7538958333333): heading\_master is shown on the screen, written out. - [10:35.565](https://academa.ai/lectures/everything-is-stokes-theorem?t=635.5653958333334): master is shown on the screen, written out. ##### [10:42.551](https://academa.ai/lectures/everything-is-stokes-theorem?t=642.5508958333334) Narration: Omega names the region, whatever dimension it has. Del Omega names its boundary, always one dimension smaller. Board: trio — a Figure (x\_range=(0.0, 9.0), y\_range=(0.0, 3.4), aspect=(9.0, 3.4)); segment — a Line \[blue\] drawn in trio (start=(0.5, 1.7), end=(2.2, 1.7)); end\_a — a Point \[red\] labelled "a" drawn in trio (location=(0.5, 1.7)); end\_b — a Point \[red\] labelled "b" drawn in trio (location=(2.2, 1.7)); path — a ParametricCurve \[blue\] labelled "C" drawn in trio (function=\); path\_start — a Point \[red\] labelled "P" drawn in trio (location=(3.0, 1.0)); path\_end — a Point \[red\] labelled "Q" drawn in trio (location=(4.9, 2.1)); blob — a Polygon \[blue\] labelled "R" drawn in trio (vertices=((6.0, 0.8), (8.2, 0.9), (8.5, 2.1), (7.3, 2.8), (5.8, 2.1)), fill\_opacity=0.22); blob\_boundary — a ParametricCurve \[red\] drawn in trio (function=\, breakpoints=(0.2, 0.4, 0.6, 0.8)); blob\_direction — an Orientation \[red\] drawn in trio (path=((6.0, 0.8, 0.0), (6.171875, 0.8078125, 0.0), (6.34375, 0.81562…, closed=True, arrows=4); master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$"; heading\_master — a Heading that says "One Line" Actions: - [10:42.899](https://academa.ai/lectures/everything-is-stokes-theorem?t=642.8993958333333): master (the "Omega" part) is emphasized. - [10:46.463](https://academa.ai/lectures/everything-is-stokes-theorem?t=646.4633958333333): master (the "Omega" part) is no longer emphasized. - [10:46.463](https://academa.ai/lectures/everything-is-stokes-theorem?t=646.4633958333333): master (the "partial Omega" part) is emphasized. - [10:49.655](https://academa.ai/lectures/everything-is-stokes-theorem?t=649.6553958333333): master (the "partial Omega" part) is no longer emphasized. ##### [10:51.149](https://academa.ai/lectures/everything-is-stokes-theorem?t=651.1493958333333) Narration: The symbol d means take the appropriate derivative: an ordinary derivative on an interval, a gradient along a curve, or curl over a patch. It is the operation that turns the original quantity into the inside quantity. Board: Unchanged from the preceding beat in this scene. Actions: - [10:53.541](https://academa.ai/lectures/everything-is-stokes-theorem?t=653.5413958333334): master (the "dif omega" part) is emphasized. - [11:1.122](https://academa.ai/lectures/everything-is-stokes-theorem?t=661.1223958333333): master (the "dif omega" part) is no longer emphasized. ##### [11:6.006](https://academa.ai/lectures/everything-is-stokes-theorem?t=666.0058958333333) Narration: The left side integrates that derivative over the region. The right side integrates the original quantity over the boundary. Read at three different dimensions, this one line is all three theorems. Board: Unchanged from the preceding beat in this scene. Actions: - [11:6.551](https://academa.ai/lectures/everything-is-stokes-theorem?t=666.5513958333333): master (the "integral\_Omega dif omega" part) is emphasized. - [11:9.907](https://academa.ai/lectures/everything-is-stokes-theorem?t=669.9073958333333): master (the "integral\_(partial Omega) omega" part) is emphasized. - [11:9.907](https://academa.ai/lectures/everything-is-stokes-theorem?t=669.9073958333333): master (the "integral\_Omega dif omega" part) is no longer emphasized. - [11:13.575](https://academa.ai/lectures/everything-is-stokes-theorem?t=673.5753958333333): master (the "integral\_(partial Omega) omega" part) is no longer emphasized. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): heading\_master is hidden from the screen — left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): trio is hidden from the screen — left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): segment is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): end\_a is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): end\_b is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): path is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): path\_start is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): path\_end is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): blob is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): blob\_boundary is hidden from the screen — trio left the board. - [11:17.825](https://academa.ai/lectures/everything-is-stokes-theorem?t=677.8253958333333): blob\_direction is hidden from the screen — trio left the board. ##### [11:19.025](https://academa.ai/lectures/everything-is-stokes-theorem?t=679.0253958333333) Narration: And notice what that line does not say. It never says how many dimensions the region has. So take one more: a surface in space, a sheet of it hanging in the air. Board: master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$" Actions: - [11:19.025](https://academa.ai/lectures/everything-is-stokes-theorem?t=679.0253958333333): heading\_next is shown on the screen, written out. - [11:19.025](https://academa.ai/lectures/everything-is-stokes-theorem?t=679.0253958333333): space is shown on the screen, written out. - [11:28.777](https://academa.ai/lectures/everything-is-stokes-theorem?t=688.7773958333333): sheet is shown on the screen, written out. ##### [11:31.293](https://academa.ai/lectures/everything-is-stokes-theorem?t=691.2933958333333) Narration: Let me turn it round, because a curved sheet and a flat one look exactly alike until something moves. Now you can see it is bowed upward, like a cloth held up by its four corners. Board: master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$"; space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); heading\_next — a Heading that says "One More Dimension"; sheet — a Surface \[blue\] drawn in space (function=\, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)) Actions: - [11:32.129](https://academa.ai/lectures/everything-is-stokes-theorem?t=692.1293958333333): space turns in its own slot. ##### [11:42.819](https://academa.ai/lectures/everything-is-stokes-theorem?t=702.8188958333333) Narration: Its boundary is the closed curve running round the rim, walked so that the surface stays on your left. A region, and an edge one dimension smaller. The same two things as every other picture today. Board: Unchanged from the preceding beat in this scene. Actions: - [11:45.802](https://academa.ai/lectures/everything-is-stokes-theorem?t=705.8023958333333): sheet\_rim is shown on the screen, drawn. - [11:46.464](https://academa.ai/lectures/everything-is-stokes-theorem?t=706.4643958333334): sheet\_rim\_marks is shown on the screen, written out. - [11:49.599](https://academa.ai/lectures/everything-is-stokes-theorem?t=709.5993958333333): master (the "Omega" part) is emphasized. - [11:50.644](https://academa.ai/lectures/everything-is-stokes-theorem?t=710.6443958333333): master (the "Omega" part) is no longer emphasized. - [11:50.644](https://academa.ai/lectures/everything-is-stokes-theorem?t=710.6443958333333): master (the "partial Omega" part) is emphasized. - [11:52.954](https://academa.ai/lectures/everything-is-stokes-theorem?t=712.9543958333333): master (the "partial Omega" part) is no longer emphasized. ##### [11:56.248](https://academa.ai/lectures/everything-is-stokes-theorem?t=716.2478958333334) Narration: Read that same line over a surface like this one, and what you get is the theorem that actually carries Stokes' name. Read it one dimension higher again and it is the divergence theorem. Nobody had to invent a new idea for either of them. Board: master — a Math \[text\] that says "$integral\_Omega dif omega = integral\_(partial Omega) omega$"; space — an Axes3D (x\_range=(-1.8, 1.8), y\_range=(-1.8, 1.8), z\_range=(0.0, 2.2)); heading\_next — a Heading that says "One More Dimension"; sheet — a Surface \[blue\] drawn in space (function=\, u\_range=(-1.3, 1.3), v\_range=(-1.3, 1.3)); sheet\_rim — a ParametricCurve \[red\] labelled "partial S" drawn in space (function=\, breakpoints=(0.25, 0.5, 0.75)); sheet\_rim\_marks — an Orientation \[red\] drawn in space (path=((-1.3, -1.3, 0.35499999999999987), (-1.1375, -1.3, 0.454023437…, closed=True, arrows=4) Actions: - [11:57.06](https://academa.ai/lectures/everything-is-stokes-theorem?t=717.0603958333334): master is emphasized. - [12:7.556](https://academa.ai/lectures/everything-is-stokes-theorem?t=727.5563958333332): master is no longer emphasized. ##### [12:11.036](https://academa.ai/lectures/everything-is-stokes-theorem?t=731.0358958333334) Narration: So there it is. That line is Stokes' theorem. Omega is whatever region you have, del Omega is its edge, and adding up the change inside always leaves you something that was settled on that edge. Board: Unchanged from the preceding beat in this scene. Actions: - [12:14.414](https://academa.ai/lectures/everything-is-stokes-theorem?t=734.4143958333333): A box is drawn around master. - [12:15.424](https://academa.ai/lectures/everything-is-stokes-theorem?t=735.4243958333333): master (the "Omega" part) is emphasized. - [12:18.187](https://academa.ai/lectures/everything-is-stokes-theorem?t=738.1873958333333): master (the "Omega" part) is no longer emphasized. - [12:18.187](https://academa.ai/lectures/everything-is-stokes-theorem?t=738.1873958333333): master (the "partial Omega" part) is emphasized. - [12:20.707](https://academa.ai/lectures/everything-is-stokes-theorem?t=740.7073958333333): master (the "partial Omega" part) is no longer emphasized. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): heading\_next is hidden from the screen — left the board. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): master is hidden from the screen — left the board. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): space is hidden from the screen — left the board. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): sheet is hidden from the screen — space left the board. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): sheet\_rim is hidden from the screen — space left the board. - [12:25.182](https://academa.ai/lectures/everything-is-stokes-theorem?t=745.1815833333333): sheet\_rim\_marks is hidden from the screen — space left the board.