Interesting applications (in pure mathematics) of first-year calculus - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:46:43Z http://mathoverflow.net/feeds/question/35140 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus Interesting applications (in pure mathematics) of first-year calculus Irene Adler 2010-08-10T16:38:15Z 2013-04-05T12:22:25Z <p>What interesting applications are there for theorems or other results studied in first-year calculus courses?</p> <p>A good example for such an application would be using a calculus theorem to prove a result in group theory. On the other hand, the importance of calculus in applied mathematics or in physics is well known, therefore is not a good example.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35141#35141 Answer by Johannes Hahn for Interesting applications (in pure mathematics) of first-year calculus Johannes Hahn 2010-08-10T16:41:42Z 2010-08-13T02:54:19Z <p>The intermediate value theorem is a basic ingredient in a Galois theory-based proof of the fundamental theorem of algebra. It is used as "Every real polynomial of odd degree has a real zero".</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35146#35146 Answer by Balazs for Interesting applications (in pure mathematics) of first-year calculus Balazs 2010-08-10T17:04:51Z 2010-08-10T17:04:51Z <p>Following on from the Galois theory example of Johannes, one straightforward way to produce an explicit polynomial with non-soluble Galois group over ${\mathbb Q}$ is to use an irreducible quintic with exactly three real roots, which necessarily has Galois group $S_5$. To check that an explicit polynomial (such as $x^5-4x+2$ if I am not mistaken, I am typing from memory) has this latter property reduces to standard calculus arguments such as "differentiate, find turning points, estimate values, use intermediate value theorem". I always find this calculus interlude at the end of half a semester of algebra quite amusing.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35147#35147 Answer by Bill Dubuque for Interesting applications (in pure mathematics) of first-year calculus Bill Dubuque 2010-08-10T17:12:38Z 2010-08-10T17:55:49Z <p>An interesting application of calculus is the elementary polynomial case of Mason's ABC theorem. This yields, for instance, a completely trivial proof of the polynomial case of FLT (Fermat's Last Theorem). That this works so effectively for polynomials (functions) vs. numbers is due to the fact that for functions we have available the derivative, which implies that we can exploit Wronskians as a measure of algebraic independence. Such Wronskian estimates serve as fundamental tools in diophantine approximation. See my <a href="http://google.com/groups?selm=WGD.96Jul17041312@berne.ai.mit.edu" rel="nofollow">post [1]</a> for further details and references. </p> <p>[1] sci.math.research, 1996/07/17<br> poly FLT, abc theorem, Wronskian formalism [was: Entire solutions of f^2+g^2=1]<br> <a href="http://groups.google.com/group/sci.math/msg/4a53c1e94f1705ed" rel="nofollow">http://groups.google.com/group/sci.math/msg/4a53c1e94f1705ed</a><br> <a href="http://google.com/groups?selm=WGD.96Jul17041312@berne.ai.mit.edu" rel="nofollow">http://google.com/groups?selm=WGD.96Jul17041312@berne.ai.mit.edu</a> </p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35153#35153 Answer by Gerald Edgar for Interesting applications (in pure mathematics) of first-year calculus Gerald Edgar 2010-08-10T18:01:05Z 2010-08-10T18:01:05Z <p>The interesting application in Spivak's <em>Calculus</em> is the proof of the irrationality of pi. I guess this is the proof due to Niven.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35157#35157 Answer by lhf for Interesting applications (in pure mathematics) of first-year calculus lhf 2010-08-10T18:31:59Z 2010-08-10T18:31:59Z <p>Do approximations of $\pi$ count? If so, see <a href="http://math.stackexchange.com/questions/1956/is-there-an-integral-that-proves-pi-333-106" rel="nofollow">http://math.stackexchange.com/questions/1956/is-there-an-integral-that-proves-pi-333-106</a> and the references there.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35158#35158 Answer by Jim Fowler for Interesting applications (in pure mathematics) of first-year calculus Jim Fowler 2010-08-10T18:47:16Z 2010-08-10T18:47:16Z <p>You're looking for something fun for a calculus course? If a rectangle $R$ is tiled by rectangles, each of which has a side with integer length, then $R$ has a side with integer length. This is from</p> <blockquote> <p>Wagon, Stan. Fourteen proofs of a result about tiling a rectangle. Amer. Math. Monthly 94 (1987), no. 7, 601--617. <a href="http://www.ams.org/mathscinet-getitem?mr=935845" rel="nofollow">MR935845</a></p> </blockquote> <p>and one of those fourteen proofs goes by a double integral.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35160#35160 Answer by Micah Milinovich for Interesting applications (in pure mathematics) of first-year calculus Micah Milinovich 2010-08-10T19:10:01Z 2010-08-10T22:47:35Z <p>The mean-value theorem (of differential calculus) can be used to prove that Liouville numbers are transcendental. The proof is quite simple, taking only a couple of lines. See Theorem 191 of Hardy and Wright's "An Introduction to the Theory of Numbers" on Google books.</p> <p>I believe, historically, that these were the first known examples of transcendental numbers.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35161#35161 Answer by Menny for Interesting applications (in pure mathematics) of first-year calculus Menny 2010-08-10T19:12:07Z 2010-08-10T20:17:46Z <p>The irrationality of $e$ !! </p> <p>First use the Taylor expansion of $e^x$ to show that $|e-S_n|&lt;\frac{3}{(n+1)!}$ where $S_n= 1+\frac{1}{1!}+\frac{1}{2!}+\cdots + \frac{1}{n!}$. Then, deduce the irrationally of $e$.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35162#35162 Answer by David Corwin for Interesting applications (in pure mathematics) of first-year calculus David Corwin 2010-08-10T19:21:16Z 2010-08-10T19:21:16Z <p>The notion of a formal derivative of a polynomial over some ring comes from the ordinary derivative of a polynomial over the real and complex numbers. Furthermore, results true over the real numbers, such as that $(fg)'=f'g+g'f$ and $(f \circ g)' = (f' \circ g) g'$, continue to hold over arbitrary rings. However, these results are much easier to prove over the real numbers using analytic techniques, and one might legitimately argue that mathematicians were only led to the corresponding formal results by the inspiration of the results in calculus.</p> <p>Furthermore, using something along the lines of the Lefschetz principle, one can probably derive the identities for formal derivatives from the corresponding facts for derivatives of polynomials over the complex numbers.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35164#35164 Answer by Dan Piponi for Interesting applications (in pure mathematics) of first-year calculus Dan Piponi 2010-08-10T20:36:19Z 2010-08-10T20:36:19Z <p>Going in a completely different direction: a surprising application of calculus is the use of the Leibniz and chain rules to differentiate data types to create new types that represent structures with 'holes' in them. See <a href="http://en.wikibooks.org/wiki/Haskell/Zippers#Differentiation_of_data_types" rel="nofollow">here</a> for an elementary exposition.</p> <p>(This is closely related to the differentiation of generating functions and combinatorial species.)</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35177#35177 Answer by John Stillwell for Interesting applications (in pure mathematics) of first-year calculus John Stillwell 2010-08-10T23:28:45Z 2010-08-11T00:34:59Z <p>An example that I like is the proof that $e^{A+B}=e^A e^B$ for commuting matrices $A,B$. Since the matrix exponential is defined by the usual exponential series, we have to prove that</p> <p>$\sum \frac{(A+B)^n}{n!}=\sum\frac{A^n}{n!}\sum\frac{B^n}{n!}$</p> <p>This follows, without actually computing the two sides, by observing that it is the <em>same computation</em> as for real numbers $A,B$ (because $A$ and $B$ commute). And for real numbers we know the result is correct by first-year calculus.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35233#35233 Answer by unknown (google) for Interesting applications (in pure mathematics) of first-year calculus unknown (google) 2010-08-11T14:36:21Z 2010-08-11T14:36:21Z <p>Shanks' simplest cubic $x^3-ax^2-(a+3)x-1$ has discriminant $D=(a^2+3a+9)^2$ and hence 3 real roots. A calculus way to see this is to rewrite it as inverting $f(x)=a$ where $$f(x)=\frac{x^3-3x-1}{x^2+x}=x-1 -\frac{1}{x}-\frac{1}{x+1}$$ whose graph has three monotone branches which clearly intersects $y=a$ at three real points for any real $a$. In particular, we can pick $a$ to be any of the (real) roots which means we can iterate the construction and get a cubic tower of totally real fields. Also (though this is not relevant to the question), it's nice to see $f$ is a trace $$f(x)=x+\rho(x)+\rho^2(x),$$ where $\rho(x)=-1/(x+1)$ is of order 3 in $\in PSL_2(Z)$ which show that if $\alpha$ is a root of the cubic , then so is $\rho(\alpha)$.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35273#35273 Answer by Greg Marks for Interesting applications (in pure mathematics) of first-year calculus Greg Marks 2010-08-11T20:25:00Z 2010-08-11T20:25:00Z <p>A few years ago I gave a departmental colloquium talk, aimed at beginning M.A. students, on "An application of calculus to ring theory."&#160; A slightly facetious little abstract can be found <a href="http://mathcs.slu.edu/events/imported/F06-09-21-06-Alg" rel="nofollow">here</a>.&#160; The example establishing the main results&#151;very well known to workers in commutative ring theory&#151;was the ring of germs at $0$ of class $C^{\infty}$ functions on $\mathbb{R}$.&#160; A bit of calculus is needed in verifying the requisite properties.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35331#35331 Answer by Christian Blatter for Interesting applications (in pure mathematics) of first-year calculus Christian Blatter 2010-08-12T10:07:45Z 2010-08-12T10:07:45Z <p>A nice application of calculus that leads to a surprising and far reaching result, first obtained by the great Gauss himself, is the computation of the Arithmetic-Geometric Mean of two numbers $a > b > 0$. A comparatively short way to this end is presented on the first pages of J. and P. Borweins "Pi and the AGM".</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35333#35333 Answer by Jonah Sinick for Interesting applications (in pure mathematics) of first-year calculus Jonah Sinick 2010-08-12T10:23:26Z 2010-08-12T10:23:26Z <p>See Robert M. Young's lovely book titled "Excursions In Calculus" for some examples.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35427#35427 Answer by Gene S. Kopp for Interesting applications (in pure mathematics) of first-year calculus Gene S. Kopp 2010-08-13T02:33:18Z 2010-08-13T02:33:18Z <p>A cool example: The intermediate value theorem may be used to prove the following theorem about continued fractions:</p> <p>Let $\alpha>1$, and suppose that $$\left|\alpha-\frac{p}{q}\right|&lt;\frac{1}{2q^2}.$$ Then, $\dfrac{p}{q}$ is one of the convergents (truncated continued fractions) of $\alpha$.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/82022#82022 Answer by Steven Gubkin for Interesting applications (in pure mathematics) of first-year calculus Steven Gubkin 2011-11-27T19:11:00Z 2011-11-27T19:11:00Z <p>I think you could probably show a smart group of first year calculus students how to get an exact formula for the Fibonnaci numbers using generating functions, which basically just boils down to knowing partial fraction decomposition and a few standard power series. You could then point them to Wilf's book if this makes them curious about generating functions in combinatorics.</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/126233#126233 Answer by Anonymous2013 for Interesting applications (in pure mathematics) of first-year calculus Anonymous2013 2013-04-02T05:26:18Z 2013-04-02T05:26:18Z <p>I've always enjoyed dabbling in some of the ridiculous third dimensional object types for which one can create general SA/V formulas with a general knowledge of the integration involving solids of revolution, categorization of polynomials based on the number of POIs and PPOIs, a little bit of abstract thought, and a truckload of time to burn in a curriculum designed for the unfortunately all too common "American't" mathematical mindset. Cheers, Stephen</p> http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/126611#126611 Answer by Tom for Interesting applications (in pure mathematics) of first-year calculus Tom 2013-04-05T12:22:25Z 2013-04-05T12:22:25Z <p>What I like(d) most is defining an analytic function that describes some number theoretic phenomena. One thing I remember is from Winfried Kohnen's postech lecture <a href="http://www.mathi.uni-heidelberg.de/~winfried/siegel2.pdf" rel="nofollow">http://www.mathi.uni-heidelberg.de/~winfried/siegel2.pdf</a> , see pages 1-3 for more details. He starts with the standard inner product on $\mathbb{R}^m$ viewed as a quadratic form $$Q(x):=x^t x.$$ We are interested in the number $r_Q(t)$ of tuples of squares of inetegers that add up to a natural number $t$, i.e. </p> <p>$$r_Q(t):= # \left{ g \in \mathbb{Z}^m : Q(g)=(g_1)^2+ \dots + (g_4)^2=t \right} .$$ </p> <p>They can be computed via this power series </p> <p>$$\theta_Q(z) = 1+ \sum_{t\geq 1} r_Q(t)\ \exp(2\pi i tz)$$</p> <p>that is in fact $\theta_Q$ is a modular form of weight 2 w.r.t. $\Gamma_0$. Therefore (ok here is some kind of black box for the students), its Fourier coefficients can be given by $$r_Q(t)= 8 \left( \sigma_1(t)-4\cdot \sigma_1\left(\frac{t}{4}\right) \right)$$</p> <p>where $\sigma_k(t)$ denotes the divisor function $$\sigma_k(t):=\sum_{d|t} d^k.$$</p> <p>While writing this I was wondering whether the prime number theorem and elegant proofs of the fundamental theorem of algebra are too well known.</p> <p>p.s. sorry for messing up the formulas again.</p>