Name for a basic principle of calculus? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T16:12:03Z http://mathoverflow.net/feeds/question/42336 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus Name for a basic principle of calculus? Michael Hardy 2010-10-15T22:37:09Z 2011-04-21T21:57:12Z <p><code>$$[\text{size of boundary}] \times [\text{rate of motion of boundary}] = [\text{rate of change of size of bounded region}]$$</code> This differs from the fundamental theorem of calculus in that it does not mention antiderivatives and you can present it on the first day of a beginning calculus course, with concrete examples. It immediately appeals to the intuition of even relatively non-mathematically inclined students. I have a forthcoming paper on the use of this proposition in teaching.</p> <p>My question is: Is there some standard name for this statement?</p> <p>And does it appear in the literature somewhere other than in my paper?</p> <p>Added in a later edit: Several answers say this is a special case of something else (just as I did above). But in each case the "something else" is far too abstruse to present on the first day of the freshman calculus course. So let's add a different question: What <em>should</em> this <em>simple</em> statement be called?</p> http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42348#42348 Answer by anon for Name for a basic principle of calculus? anon 2010-10-16T00:27:36Z 2010-10-16T00:27:36Z <p>I second the idea that this, or something like this, is a version of Green's theorem. (For a family of simple closed curves c_t, anyway, a precise statement would replace "size of boundary times rate of motion of boundary" with the integral of the normal component of the flow velocity (ie the vector you get by differentiating c_t with respect to t, holding the curve variable fixed) over c_t. And the simplest--- maybe only--- way I can think of to prove that is to use Green's theorem to write the area enclosed by c_t as a contour integral.)</p> http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42354#42354 Answer by Willie Wong for Name for a basic principle of calculus? Willie Wong 2010-10-16T01:27:32Z 2010-10-16T01:27:32Z <p>I believe what you wrote down is the differential form of the <strong>co-area formula</strong>. (Unfortunately, the version on Wikipedia is too "advanced" or "modern" so it is hard to see immediately that when you integrate both sides of your equation in time, you get precisely the co-area formula.)</p> http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42462#42462 Answer by Will Jagy for Name for a basic principle of calculus? Will Jagy 2010-10-17T06:16:11Z 2010-10-17T18:52:02Z <p>Well, this is quite enjoyable. In $\mathbf R^3,$ as long as we are taking polyhedra or other figures that are strictly similar, with some parameter $w$ to which any length measurement of the figure keeps a constant ratio, it follows that the volume is some $V_1 w^3$ and the surface area is some $S_1 w^2.$ Furthermore, some choice of length scale or units causes $3 V_1 = S_1$ and we get a pure derivative law such as the earlier examples I gave in comments. For several very symmetric figures, the "inradius" or radius of an inscribed sphere gives such a fortunate relationship. </p> <p>I thought it might depend critically on symmetry, but perhaps not as much as I thought. For the square pyramid with the square base on the $xy$-plane and one of the triangular faces within the plane $x + y + z = (1 + \sqrt 3 ) w,$ we get the center of the inscribed sphere at $(0,0,w),$ the point of tangency on that triangle $w(\frac{1}{\sqrt 3}, \; \frac{1}{\sqrt 3}, \; 1 + \frac{1}{\sqrt 3}),$ the length of any edge $w (1 + \sqrt 3 ) \sqrt 2,$ the volume $V = \frac{2}{3} (1 + \sqrt 3 )^3 w^3,$ finally the surface area $S = 2 (1 + \sqrt 3 )^3 w^2.$ Notice that the inscribed sphere does touch the square at its center but the triangles elsewhere.</p> <p>I will fiddle with this some more. As I mentioned, there is either a truncated cube or a truncated octahedron which possesses an inscribed sphere that is tangent to all the faces, the amount of truncation must be just right. Interesting to check.</p> <p>EDIT: it always works, symmetry is not important, and it is utterly trivial but cute. Take an irregular polyhedron that is convex, and is such that every face is tangent to the same sphere of radius $r.$ For each face, find the similar face that would be tangent to a sphere of radius 1, call that of area $A_j,$ so that the actual area of the original face $j$ is $A_j r^2.$ Because we use the same $r$ for all faces, the surface area is $$S = \sum A_j r^2 = r^2 \sum A_j.$$ But the volume of a cone or pyramid is one third of the altitude times the area of the base, and the altitude is $r$ because of the tangency condition. So $$V = \frac{1}{3} r^3 \sum A_j$$ and the derivative relationship holds.</p> <p>Same for irregular polygons with all edges tangent to the same circle.</p> <p>Who knew?</p> <p>EDIT 2: To turn it around, the full set of polygons or polyhedra for which this recipe works comes from taking a finite set of distinct points on a circle or sphere, a sufficient condition for a closed bounded figure being that the set of points not be contained in any closed semicircle/hemisphere. For each point, take the tangent plane, and indeed the half space on the same side of that tangent as the sphere. The intersection of these half-spaces is the convex polygon/polyhedron. In the polyhedron case, it will not be obvious ahead of time how many sides each polygonal face will possess. Next, the example I called Archimedes' favorite cylinder can be thought of as a limit of regular $n$-sided prisms as $n$ increases.</p> http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/62579#62579 Answer by Michael Hardy for Name for a basic principle of calculus? Michael Hardy 2011-04-21T21:57:12Z 2011-04-21T21:57:12Z <p>Various answers say this is this-or-that standard proposition that could not possibly be presented on the first day of a first-year calculus course, whereas the proposition as I stated it fits easily into that context.</p> <p>Therefore I have coined a name: the boundary rule.</p>