{ "type": "Article", "authors": [ { "type": "Person", "familyNames": [ "Range" ], "givenNames": [ "R.", "Michael" ] } ], "description": "We outline a novel approach to tangents and derivatives that does not use any limits.\nInstead, it uses elementary algebraic concepts related to the quadratic equation, and therefore fits right into the school curriculum.\nAdding an elementary estimate to the central algebraic factorization naturally leads to the concept of continuity and thereby reveals that the algebraic derivative can also be captured by an approximation process.\nThis turns out to be critical for handling non-algebraic functions, such as exponential functions.\nIn order to capture the new elusive limits, students recognize that one needs to expand the familiar rational numbers to the much more intriguing real numbers.\nThe solution of the tangent problem for exponential functions leads to the general notion of a differentiable function, in a formulation that is the natural generalization of the algebraic version, and which has been known for over 70 years.\nThis approach gradually proceeds from most elementary concepts to the heart of analysis, making it clear to students along the way why more sophisticated tools are needed, and providing motivation for the more advanced concepts that are indispensable for a proper understanding of calculus.", "identifiers": [], "references": [ { "type": "Article", "id": "bib-bib1", "authors": [], "title": "\nC. B. Boyer, History of analytic geometry.\nScripta Mathematica, New York (1956)\n" }, { "type": "Article", "id": "bib-bib2", "authors": [], "title": "\nC. Carathéodory, Funktionentheorie.\nBirkhäuser, Basel (1950)\n" }, { "type": "Article", "id": "bib-bib3", "authors": [], "title": "\nR. Descartes, La Géometrie. The Geometry of René Descartes.\nReprint of the 1637 Leiden edition, with English translation by D. E. Smith and M. L. Latham, Open Court Publ. Co., Chicago (1925), reprinted by Dover, New York (1954)\n" }, { "type": "Article", "id": "bib-bib4", "authors": [], "title": "\nH. Eves, An introduction to the history of mathematics.\n3rd ed., Holt, Rinehart and Winston, New York (1969)\n" }, { "type": "Article", "id": "bib-bib5", "authors": [], "title": "\nV. J. Katz, A history of mathematics.\n3rd ed., Addison Wesley, Boston (2009)\n" }, { "type": "Article", "id": "bib-bib6", "authors": [], "title": "\nR. M. Range, Where are limits needed in calculus?\nAmer. Math. Monthly 118, 404–417 (2011)\n" }, { "type": "Article", "id": "bib-bib7", "authors": [], "title": "\nR. M. Range, What is calculus? From Simple Algebra to Deep Analysis.\nWorld Scientific Publishing, Singapore (2015)\n" }, { "type": "Article", "id": "bib-bib8", "authors": [], "title": "\nR. M. Range, Using high school algebra for a natural approach to derivatives and continuity.\nMath. Gaz. 102, 435–446 (2018)\n" }, { "type": "Article", "id": "bib-bib9", "authors": [], "title": "\nF. Van Schooten, Geometria à Renato Descartes. Anno 1637.\nGallice edita, Amsterdam (1659–1661)\n" } ], "title": "Calculus: A new approach for schools that starts with simple algebra", "meta": {}, "content": [ { "type": "Heading", "id": "S1", "depth": 1, "content": [ "1 The beginning" ] }, { "type": "Paragraph", "id": "S1.p1", "content": [ "The standard introduction to calculus typically involves limits pretty much from the beginning.\nFor example, the calculation of the slope of the tangent to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "y=x2", "meta": { "altText": "y=x^{2}" } }, " at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,a2)", "meta": { "altText": "(a,a^{2})" } }, " leads us to consider ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "limh→0⁡(a+h)2-a2h", "meta": { "altText": "\\lim_{h\\to 0}\\frac{(a+h)^{2}-a^{2}}{h}" } }, ", whose intuitive answer ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "00", "meta": { "altText": "\\frac{0}{0}" } }, " is meaningless.\nHowever, as long as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "h≠0", "meta": { "altText": "h\\neq 0" } }, ", it is easy to simplify the expression to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2⁢a+h", "meta": { "altText": "2a+h" } }, ", which makes it obvious that the answer should be ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2⁢a", "meta": { "altText": "2a" } }, ".\nYet there still remains the problem with the limit, something that prompted intensive discussions already in the early 18th century, led by the criticisms of the philosopher George Berkeley (1685–1753) (see [", { "type": "Cite", "target": "bib-bib5", "content": [ "5" ] }, ", pp. 628–630]).\nEventually, mathematicians in the 19th century placed limits on a solid foundation and since then students have had to learn about them first.\nBut have you ever wondered if there shouldn’t be an easier way that avoids limits until they really are needed?" ] }, { "type": "Paragraph", "id": "S1.p2", "content": [ "Thanks to René Descartes (1596–1650), there actually is such an elementary way, and students in school can be introduced to it as soon as they have learned the basics of the quadratic function and equation.\nTangents had been considered long before Descartes’ days.\nWell over 2000 years ago, Greek geometers studied tangents to simple curves, such as circles, or more generally, conic sections.\nFor them, a tangent to a curve at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " is ", { "type": "Emphasis", "content": [ "a line that ", { "type": "Strong", "content": [ "touches" ] }, " the curve at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, ", but does not ", { "type": "Strong", "content": [ "cut" ] }, " it" ] }, " (see [", { "type": "Cite", "target": "bib-bib5", "content": [ "5" ] }, ", p. 120]).\nWhile this language is somewhat vague, its intuitive meaning is quite clear, and it turns out that it is very easy to give it a precise algebraic interpretation." ] }, { "type": "Paragraph", "id": "S1.p3", "content": [ "The crux of the matter is visible in Figure ", { "type": "Cite", "target": "S1-F1", "content": [ "1" ] }, " that shows the graphs of two quadratic functions of the form ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f⁢(x)=(x-b)2+c", "meta": { "altText": "f(x)=(x-b)^{2}+c" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b,c", "meta": { "altText": "b,c" } }, " are some fixed numbers." ] }, { "type": "Figure", "id": "S1-F1", "caption": [ { "type": "Paragraph", "content": [] } ], "licenses": [ { "type": "CreativeWork", "url": "https://creativecommons.org/licenses/by/4.0/legalcode", "content": [ { "type": "Paragraph", "content": [] } ] } ], "content": [ { "type": "ImageObject", "contentUrl": "mag-70-1.svg", "mediaType": "image/svg+xml", "meta": { "inline": false } } ] }, { "type": "Paragraph", "id": "S1.p4", "content": [ "The curve on the right corresponds to the case where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "c<0", "meta": { "altText": "c<0" } }, ": the ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "x" } }, "-axis intersects the graph of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " in two ", { "type": "Emphasis", "content": [ "distinct" ] }, " points, and surely it would seem appropriate to say that the axis “cuts” the curve in each of those two distinct points.\nThe curve on the left corresponds to the case ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "c=0", "meta": { "altText": "c=0" } }, ".\nIn this case, the two points of intersection have blended together, one on top of the other, and it would be appropriate to say that the ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "x" } }, "-axis just “touches” the curve at that point, but does not “cut” it.\nSo, according to Greek geometers, the ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "x" } }, "-axis surely is a tangent to the curve at that point.\nAlgebraically, in this case, the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(b,0)", "meta": { "altText": "(b,0)" } }, " of intersection is determined by the solution(s) of the equation ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(x-b)2=0", "meta": { "altText": "(x-b)^{2}=0" } }, ", which is a quadratic equation for which the two roots coincide; that is, we have a “double root (or zero)”, or a root of “multiplicity ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2", "meta": { "altText": "2" } }, "”.\nGeometrically, we have a “double point”, that is, two points that just happen to lie on top of each other, so that only one point is visible.\nOf course, if the curve is just moved down a little bit, the two points of intersection separate and both become visible." ] }, { "type": "Paragraph", "id": "S1.p5", "content": [ "So, by just looking at this most simple example, we conclude that the ancient notion of a touching line is made precise geometrically by recognizing that the special point where the line touches the curve is really a double point, and furthermore, that this is made precise algebraically by saying that the relevant equation that determines the points of intersection has a double zero." ] }, { "type": "Paragraph", "content": [ "Given that the quadratic equation is a central and important topic in school algebra, which in particular includes the case of a double zero, this seems to be the perfect place to introduce the students to the basics of calculus.\nAll that is needed is to appropriately interpret the picture above to conclude:" ] }, { "type": "Paragraph", "content": [ "\nA tangent to a curve at a point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " is a line that intersects the curve at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " with multiplicity ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2", "meta": { "altText": "2" } }, " (or higher)." ] }, { "type": "Paragraph", "id": "S1.p7", "content": [ "I can hear algebraic geometers say that they have known this for a long time.\nTrue, after all Descartes’ idea did leave a trail.\nBut have you ever used this idea when you are teaching a calculus class? If yes, great for you! But sadly, I have not yet found any calculus text that utilizes this simple idea to introduce students to tangents." ] }, { "type": "Heading", "id": "S2", "depth": 1, "content": [ "2 Historical remarks" ] }, { "type": "Paragraph", "id": "S2.p1", "content": [ "As we just mentioned, the idea of finding tangents via double zeroes appears first in Descartes’ work [", { "type": "Cite", "target": "bib-bib3", "content": [ "3" ] }, "].\nActually, Descartes was more fascinated by ", { "type": "Emphasis", "content": [ "normals" ] }, " to a curve rather than by tangents", { "type": "Note", "id": "idm232", "noteType": "Footnote", "content": [ { "type": "Paragraph", "id": "footnote1", "content": [ "Descartes wrote: “… when I have given a general method of drawing a straight line making right angles with the curve.\nAnd I dare say that this is not only the most useful and most general problem in geometry that I know, but even that I have ever desired to know.” [", { "type": "Cite", "target": "bib-bib3", "content": [ "3" ] }, ", p. 95]" ] } ] }, ", but knowing either one determines the other.\nPerhaps Descartes had simply been thinking of generalizing what had long been known for a circle, namely that the tangent at a point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " on a circle is perpendicular to the normal at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, ", which in this case is simply the line from the center of the circle to the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, ".\nTherefore, in this case, the normal is the obvious tool to find the tangent.\nDescartes solved the problem for an ellipse and emphasized the generality of his method.\nDescartes’ expositor Frans van Schooten applied the double point method to find the tangent to a parabola directly [", { "type": "Cite", "target": "bib-bib9", "content": [ "9" ] }, "].\nOn the other hand, attempts to apply this method to more general curves led to formidable complications.\nThe situation was captured by Howard Eves [", { "type": "Cite", "target": "bib-bib4", "content": [ "4" ] }, ", pp. 284–285] as follows: “Here we have a general process which tells us exactly what to do to solve our problem, but it must be confessed that in the more complicated cases the required algebra may be quite forbidding.”\nThus Descartes’ approach was eventually forgotten.\nOn the other hand, as you will see shortly, the implementation of the double point method presented here, first published in [", { "type": "Cite", "target": "bib-bib6", "content": [ "6" ] }, "], is completely elementary, and applies to all curves defined by algebraic expressions.\nSo it is natural to wonder why mathematicians in the 17th century overlooked what today appears to be so obvious.\nOne possible explanation is based on the fact that even though the concept of slope was certainly known at that time (“quotients of infinitesimals” were supposed to capture it), the ", { "type": "Emphasis", "content": [ "point-slope form" ] }, " to describe lines – something every high school student today is familiar with – was not known or used explicitly at that time.\nIn fact, it seems to have appeared first only more than 100 years later, in a 1784 paper by Gaspard Monge (1746–1818) (see [", { "type": "Cite", "target": "bib-bib1", "content": [ "1" ] }, ", pp. 205–206]).\nInstead, Descartes, and everybody else around that time, described lines through the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " on the curve by using a second distant point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Q", "meta": { "altText": "Q" } }, " on that line.\nOne then changed the position of the line by moving that point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Q", "meta": { "altText": "Q" } }, " along some other line, often a line of symmetry of the curve under consideration.\nBut in case of more complicated curves, there was no obvious natural place to move that second point along.\nPerhaps philosophers and scientists in the 17th century were still so strongly under the spell of Euclid (approximately 325 BC – 265 BC), who had introduced the axiom that a line is defined by two (distinct) points, that they just couldn’t conceive of describing a line by a single point and its slope." ] }, { "type": "Heading", "id": "S3", "depth": 1, "content": [ "3 Polynomials and the Chain Rule" ] }, { "type": "Paragraph", "id": "S3.p1", "content": [ "This is not the place to present all the details of our proposed new approach to Calculus (see [", { "type": "Cite", "target": "bib-bib8", "content": [ "8" ] }, "] for some more details).\nBut I want to highlight two simple important results that can readily be presented to students pretty much at the beginning." ] }, { "type": "Paragraph", "content": [ "First, suppose ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " is a polynomial of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n", "meta": { "altText": "n" } }, ".\nWe want to identify the tangent to its graph at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, ".\nAn arbitrary (non-vertical) line through ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, " is described by an equation ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "y=P⁢(a)+m⁢(x-a)", "meta": { "altText": "y=P(a)+m(x-a)" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "m", "meta": { "altText": "m" } }, " is the slope.\nIts points of intersection with our curve are given by the solutions of the equation" ] }, { "type": "MathBlock", "id": "S3.Ex1", "mathLanguage": "mathml", "text": "P⁢(x)=P⁢(a)+m⁢(x-a).", "meta": { "altText": "P(x)=P(a)+m(x-a)." } }, { "type": "Paragraph", "content": [ "Fortunately, we do not need to find all solutions of this equation.\nWe only are interested in the ", { "type": "Emphasis", "content": [ "one" ] }, " obvious zero, namely ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x=a", "meta": { "altText": "x=a" } }, ", and we want to determine when this is a zero of multiplicity greater than ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "1", "meta": { "altText": "1" } }, ".\nWe rearrange the above equation in the form" ] }, { "type": "MathBlock", "id": "S3.Ex2", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)-m⁢(x-a)=0.", "meta": { "altText": "P(x)-P(a)-m(x-a)=0." } }, { "type": "Paragraph", "content": [ "A standard result gives the factorization" ] }, { "type": "MathBlock", "id": "S3.Ex3", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)=q⁢(x)⁢(x-a),", "meta": { "altText": "P(x)-P(a)=q(x)(x-a)," } }, { "type": "Paragraph", "content": [ "where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is a certain polynomial of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n-1", "meta": { "altText": "n-1" } }, ".\nWhile the existence of such a factorization is not trivial, it is an immediate consequence of the following fundamental result which should definitely be part of any discussion of polynomials in school." ] }, { "type": "Claim", "id": "Thmtheoremx1", "claimType": "Theorem", "label": "Theorem.", "title": [ { "type": "Strong", "content": [ "Theorem" ] }, { "type": "Strong", "content": [ "." ] } ], "content": [ { "type": "Paragraph", "id": "Thmtheoremx1.p1", "content": [ { "type": "Emphasis", "content": [ "If ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " is a polynomial of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n≥1", "meta": { "altText": "n\\geq 1" } }, " that has a zero at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ", i.e., ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(a)=0", "meta": { "altText": "P(a)=0" } }, ", then ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " has a linear factor of the form ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x-a", "meta": { "altText": "x-a" } }, "; that is, there exists a polynomial ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n-1", "meta": { "altText": "n-1" } }, " such that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)=q⁢(x)⁢(x-a)", "meta": { "altText": "P(x)=q(x)(x-a)" } }, "." ] } ] } ] }, { "type": "Paragraph", "id": "S3.p3", "content": [ "In our case, we simply apply this theorem to the polynomial ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)", "meta": { "altText": "P(x)-P(a)" } }, ", which does indeed have a zero at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, "." ] }, { "type": "Paragraph", "content": [ "By using this result, we can now factor our equation ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)-m⁢(x-a)=0", "meta": { "altText": "P(x)-P(a)-m(x-a)=0" } }, " and rearrange it in the form" ] }, { "type": "MathBlock", "id": "S3.Ex4", "mathLanguage": "mathml", "text": "[q⁢(x)-m]⁢(x-a)=0.", "meta": { "altText": "[q(x)-m](x-a)=0." } }, { "type": "Paragraph", "content": [ "This clearly shows that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " is a solution of the equation – after all we only consider lines that intersect the curve at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, "! Most significantly, this factorization shows that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " is a zero of multiplicity greater than one if and only if the factor ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "[q⁢(x)-m]", "meta": { "altText": "[q(x)-m]" } }, " also has a zero at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ", and this occurs precisely if the slope ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "m=q⁢(a)", "meta": { "altText": "m=q(a)" } }, "." ] }, { "type": "Paragraph", "id": "S3.p5", "content": [ "Let us formalize our result in the following theorem that completely solves the tangent problem for any polynomial." ] }, { "type": "Claim", "id": "Thmtheoremx2", "claimType": "Theorem", "label": "Theorem.", "title": [ { "type": "Strong", "content": [ "Theorem" ] }, { "type": "Strong", "content": [ "." ] } ], "content": [ { "type": "Paragraph", "id": "Thmtheoremx2.p1", "content": [ { "type": "Emphasis", "content": [ "Let ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " be a polynomial of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n≥2", "meta": { "altText": "n\\geq 2" } }, " and let ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, " be a point on its graph.\nThen there exists a unique line through ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, " that intersects the graph at that point with muliplicity greater than ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "1", "meta": { "altText": "1" } }, ".\nThe slope ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "m", "meta": { "altText": "m" } }, " of that line is given by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(a)", "meta": { "altText": "q(a)" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is the polynomial of degree ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n-1", "meta": { "altText": "n-1" } }, " in the factorization ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)=q⁢(x)⁢(x-a)", "meta": { "altText": "P(x)-P(a)=q(x)(x-a)" } }, "." ] } ] } ] }, { "type": "Paragraph", "id": "S3.p6", "content": [ "Of course, we call this unique line given by the theorem the ", { "type": "Emphasis", "content": [ "tangent to the graph of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } } ] }, ".\nIts slope ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "m=q⁢(a)", "meta": { "altText": "m=q(a)" } }, " is called the ", { "type": "Emphasis", "content": [ "derivative of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } } ] }, ", and it is denoted by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(P)⁢(a)", "meta": { "altText": "D(P)(a)" } }, " or also by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P′⁢(a)", "meta": { "altText": "P^{\\prime}(a)" } }, "." ] }, { "type": "Claim", "id": "Thmexamplex1", "label": "Example.", "title": [ { "type": "Strong", "content": [ "Example" ] }, { "type": "Strong", "content": [ "." ] } ], "content": [ { "type": "Paragraph", "id": "Thmexamplex1.p1", "content": [ "If ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "g⁢(x)=x2", "meta": { "altText": "g(x)=x^{2}" } }, ", then the relevant factorization is ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x2-a2=(x+a)⁢(x-a)", "meta": { "altText": "x^{2}-a^{2}=(x+a)(x-a)" } }, ", so ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(x)=x+a", "meta": { "altText": "q(x)=x+a" } }, ", and hence ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(g)⁢(a)=q⁢(a)=2⁢a", "meta": { "altText": "D(g)(a)=q(a)=2a" } }, ".\nSo we have obtained the expected result without any limits whatsoever!" ] }, { "type": "Paragraph", "id": "Thmexamplex1.p2", "content": [ "It is straightforward to generalize this to an arbitrary power function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)=c⁢xn", "meta": { "altText": "P(x)=cx^{n}" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "c", "meta": { "altText": "c" } }, " is a constant and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n", "meta": { "altText": "n" } }, " is a non-negative integer.\nJust as easily one can verify that if ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "g", "meta": { "altText": "g" } }, " are two polynomials, then ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(f+g)′⁢(x)=f′⁢(x)+g′⁢(x)", "meta": { "altText": "(f+g)^{\\prime}(x)=f^{\\prime}(x)+g^{\\prime}(x)" } }, ", and consequently one obtains the familiar formula for the derivative of a polynomial, all this without any limits!" ] }, { "type": "Paragraph", "id": "Thmexamplex1.p3", "content": [ "Next we want to discuss the Chain Rule.\nThis order also differs from the standard curriculum, which typically discusses product and quotient rules first.\nPerhaps this is due to the fact that multiplication and division are such standard operations in school algebra that it seems natural to extend these operations to polynomials or more general functions.\nUnfortunately, the relevant rules for differentiation look quite complicated and mysterious for the beginning student, adding more frustration.\nIn contrast, as mathematicians know, the natural operation to consider for functions in the most general setting is ", { "type": "Emphasis", "content": [ "composition" ] }, ", that is, apply one function after the other.\nIt therefore should not come as a surprise that the rule for differentiation of compositions is as easy as it gets, with a completely transparent proof." ] }, { "type": "Paragraph", "content": [ "In detail, suppose ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "g", "meta": { "altText": "g" } }, " are polynomials, and consider the composition ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(f∘g)⁢(x)=f⁢(g⁢(x))", "meta": { "altText": "(f\\circ g)(x)=f(g(x))" } }, ", which is again a polynomial.\nWe want to find its derivative at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x=a", "meta": { "altText": "x=a" } }, ".\nLet ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b=g⁢(a)", "meta": { "altText": "b=g(a)" } }, ", and introduce the relevant factorizations" ] }, { "type": "MathBlock", "id": "S3.Ex5", "mathLanguage": "mathml", "text": "f⁢(y)-f⁢(b)=qf⁢(y)⁢(y-b)⁢and", "meta": { "altText": "\\displaystyle f(y)-f(b)=q_{f}(y)(y-b)\\ \\textrm{and}" } }, { "type": "MathBlock", "id": "S3.Ex6", "mathLanguage": "mathml", "text": "g⁢(x)-g⁢(a)=qg⁢(x)⁢(x-a),", "meta": { "altText": "\\displaystyle g(x)-g(a)=q_{g}(x)(x-a)," } }, { "type": "Paragraph", "content": [ "where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "qf", "meta": { "altText": "q_{f}" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "qg", "meta": { "altText": "q_{g}" } }, " are polynomials.\nThe obvious step is to replace ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "y=g⁢(x)", "meta": { "altText": "y=g(x)" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b=g⁢(a)", "meta": { "altText": "b=g(a)" } }, " in the first equation, resulting in" ] }, { "type": "MathBlock", "id": "S3.Ex7", "mathLanguage": "mathml", "text": "f⁢(g⁢(x))-f⁢(g⁢(a))=qf⁢(g⁢(x))⋅[g⁢(x)-g⁢(a)],", "meta": { "altText": "f(g(x))-f(g(a))=q_{f}(g(x))\\cdot[g(x)-g(a)]," } }, { "type": "Paragraph", "content": [ "and then to introduce the second equation to obtain" ] }, { "type": "MathBlock", "id": "S3.Ex8", "mathLanguage": "mathml", "text": "(f∘g)⁢(x)-(f∘g)⁢(a)=f⁢(g⁢(x))-f⁢(g⁢(a))=qf⁢(g⁢(x))⋅[qg⁢(x)⁢(x-a)]=[qf⁢(g⁢(x))⋅qg⁢(x)]⁢(x-a).", "meta": { "altText": "\\begin{split}(f\\circ g)(x)-(f\\circ g)(a)&=f(g(x))-f(g(a))\\\\\n&=q_{f}(g(x))\\cdot[q_{g}(x)(x-a)]\\\\\n&=[q_{f}(g(x))\\cdot q_{g}(x)](x-a).\\end{split}" } }, { "type": "Paragraph", "content": [ "Clearly, this is the relevant factorization for ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f∘g", "meta": { "altText": "f\\circ g" } }, ", and it follows that" ] }, { "type": "MathBlock", "id": "S3.Ex9", "mathLanguage": "mathml", "text": "D⁢(f∘g)⁢(a)=qf⁢(g⁢(a))⋅qg⁢(a)=D⁢(f)⁢(g⁢(a))⋅D⁢(g)⁢(a).", "meta": { "altText": "D(f\\circ g)(a)=q_{f}(g(a))\\cdot q_{g}(a)=D(f)(g(a))\\cdot D(g)(a)." } }, { "type": "Paragraph", "id": "Thmexamplex1.p5", "content": [ "We thus have established the Chain Rule." ] } ] }, { "type": "Paragraph", "id": "S3.p7", "content": [ "Yes, you might say that all this only handles the case of polynomials, while in the case of general differentiable functions things surely must be more complicated.\nWell, not really.\nAs we will show later, the above proof, combined with natural properties of continuous functions, carries over as it stands." ] }, { "type": "Paragraph", "id": "S3.p8", "content": [ "It is natural to introduce inverse functions at this place, and then the relevant rule for derivatives.\nThere is a new twist, as taking inverses where a function is one-to-one usually brings in a new kind of function, so that the relevant factorization needs to be established as well.\nBut we shall skip these details and refer the interested reader to [", { "type": "Cite", "target": "bib-bib6", "content": [ "6" ] }, ", ", { "type": "Cite", "target": "bib-bib7", "content": [ "7" ] }, "].\nAlso, considering inverses will typically take us beyond the rational numbers, although this can be avoided by restricting the domain of the inverse of a function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " defined on the interval ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "I", "meta": { "altText": "I" } }, " to the image ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f⁢(I)", "meta": { "altText": "f(I)" } }, ".\nFor example, if we just consider ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "\\sqrt{x}" } }, " on the domain ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "{r2∣r∈ℚ", "meta": { "altText": "\\{r^{2}\\mid r\\in\\mathbb{Q}" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "r≥0}", "meta": { "altText": "r\\geq 0\\}" } }, ", everything can be done by just using rational numbers." ] }, { "type": "Heading", "id": "S4", "depth": 1, "content": [ "4 Rational functions" ] }, { "type": "Paragraph", "id": "S4.p1", "content": [ "The next topic I propose for the school curriculum is to investigate the class of rational functions, defined by taking quotients of polynomials.\nThere are two main reasons for this choice.\nFirst of all, it takes the student up one step on the ladder to mastering calculus.\nWhile no really new ideas are needed in order to handle tangents and derivatives, things do get more complicated algebraically.\nAlso, this seems to be a good place to introduce the quotient rule for derivatives (and of course the product rule as well), since rational functions are the first non-trivial examples where quotients appear.\nIn particular, the quotient rule shows that the derivative of a rational function is again a rational function, with the same domain.\nThe other reason is that the study of the field ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ⁢(x)", "meta": { "altText": "\\mathbb{Q}(x)" } }, " of rational functions is a good opportunity to strengthen the student’s familiarity with the fundamental rules that she/he has learned while mastering the rational numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ", "meta": { "altText": "\\mathbb{Q}" } }, ".\nAnd these rules (or axioms) will become even more critical when one must introduce the ", { "type": "Emphasis", "content": [ "real" ] }, " numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℝ", "meta": { "altText": "\\mathbb{R}" } }, ", which notoriously are very difficult to describe exactly, so that “following the rules” becomes even more important.\nOf course, mathematicians are used to dealing with abstract sets, whose elements are required to follow the rules that define the particular structure that is studied.\nBut for students, this is a big leap, and I believe that it is important to help them to prepare to deal with the more axiomatic approach that will be needed for the field of real numbers." ] }, { "type": "Paragraph", "id": "S4.p2", "content": [ "The main lesson is that in order to learn about tangents for rational functions, no new ideas are needed beyond what we used for polynomials.\nIn fact, the methods can be readily extended to all functions built up from polynomials by algebraic operations." ] }, { "type": "Paragraph", "id": "S4.p3", "content": [ "Furthermore, it is remarkable that everything we have covered so far does not involve any limits, and it can be handled by just using the rational numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ", "meta": { "altText": "\\mathbb{Q}" } }, ".\nStudents thus get introduced to tangents and the basic rules of differentiation within the familiar setting of rational numbers.\nIsn’t it amazing how simple school algebra allows to solve a major problem – at least in the algebraic setting – that was the focus of fundamental investigations in the 17th century?\nPerhaps this will help students to better understand the importance of and to appreciate the basic algebra that they are learning in school." ] }, { "type": "Heading", "id": "S5", "depth": 1, "content": [ "5 Continuity and approximation of derivatives" ] }, { "type": "Paragraph", "id": "S5.p1", "content": [ "At this point, students may wonder if this is it.\nPerhaps they have heard of exponential functions or trigonometric functions, and if they found the discussion of tangents for rational functions of some interest, they may ask whether all this works for these functions as well.\nBefore we get into that in the next section, we want to discuss another remarkable consequence of the fundamental algebraic factorization that opens the door to the next stage, where we really will be entering a new world." ] }, { "type": "Paragraph", "content": [ "Consider a polynomial ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " and its standard factorization ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)=q⁢(x)⁢(x-a)", "meta": { "altText": "P(x)-P(a)=q(x)(x-a)" } }, " at a fixed point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is also a polynomial.\nIt is easy to see by standard estimations that any polynomial is bounded over any finite interval.\nIn particular, there exists a constant ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "0\" display=\"inline\">K>0", "meta": { "altText": "K>0" } }, ", so that" ] }, { "type": "MathBlock", "id": "S5.Ex10", "mathLanguage": "mathml", "text": "|q⁢(x)|≤Kfor all⁢x⁢with⁢|x-a|≤1.", "meta": { "altText": "\\lvert q(x)\\rvert\\leq K\\quad\\textrm{for all}\\ x\\ \\textrm{with}\\ \\lvert x-a\\rvert\\leq 1." } }, { "type": "Paragraph", "content": [ "The factorization then implies the estimate" ] }, { "type": "MathBlock", "id": "S5.Ex11", "mathLanguage": "mathml", "text": "|P⁢(x)-P⁢(a)|≤K⁢|x-a|for all⁢x⁢with⁢|x-a|≤1.", "meta": { "altText": "\\lvert P(x)-P(a)\\rvert\\leq K\\lvert x-a\\rvert\\quad\\textrm{for all}\\ x\\ \\textrm{with}\\ \\lvert x-a\\rvert\\leq 1." } }, { "type": "Paragraph", "id": "S5.p3", "content": [ "Clearly, this estimate shows that as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "x" } }, " gets closer to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ", then ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)", "meta": { "altText": "P(x)" } }, " gets closer to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(a)", "meta": { "altText": "P(a)" } }, " as well.\nIn symbols, ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)→P⁢(a)", "meta": { "altText": "P(x)\\to P(a)" } }, " as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x→a", "meta": { "altText": "x\\to\\nobreak a" } }, ".\nIn other words, we have discovered that polynomials enjoy a fundamental property that is known as ", { "type": "Emphasis", "content": [ "continuity" ] }, " at each point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ".\nIn case you are hooked on ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ε", "meta": { "altText": "\\varepsilon" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "δ", "meta": { "altText": "\\delta" } }, ", just choose ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "δ=ε/K", "meta": { "altText": "\\delta=\\varepsilon/K" } }, ", and you are done.\nBut there is no need to make things so complicated for the students at this point; the estimate speaks for itself, and it confirms what students can readily see by graphing polynomials with a graphing calculator." ] }, { "type": "Claim", "id": "Thmremarkx1", "label": "Remark.", "title": [ { "type": "Strong", "content": [ "Remark" ] }, { "type": "Strong", "content": [ "." ] } ], "content": [ { "type": "Paragraph", "content": [ "We want to emphasize that no limits are required yet.\nIn fact, it is the above estimate that suggests the idea of ", { "type": "Emphasis", "content": [ "limit" ] }, " in the simple case where the value of the limit is known and equals the value of the function.\nSo we may introduce the notation" ] }, { "type": "MathBlock", "id": "S5.Ex12", "mathLanguage": "mathml", "text": "limx→a⁡P⁢(x)=P⁢(a)", "meta": { "altText": "\\lim_{x\\to a}P(x)=P(a)" } }, { "type": "Paragraph", "content": [ "to summarize the statement that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)→P⁢(a)", "meta": { "altText": "P(x)\\to P(a)" } }, " as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x→a", "meta": { "altText": "x\\to a" } }, ".\nNote how this approach is really the reverse of the standard one, which begins with limits, introduces continuity as a special case of limits, proves various limit theorems, and ultimately concludes that polynomials are continuous everywhere.\nI wonder which approach works better for our students?" ] }, { "type": "Paragraph", "id": "Thmremarkx1.p2", "content": [ "Rational functions can essentially be handled by the same method, and similarly more general algebraic functions.\nIt just takes a simple argument to show that every rational function is ", { "type": "Emphasis", "content": [ "locally" ] }, " bounded near each point in its domain (i.e., where the denominator is ", { "type": "Emphasis", "content": [ "not" ] }, " zero).\nSo we have a rigorous proof that rational functions are continuous at every point where they are defined." ] }, { "type": "Paragraph", "content": [ "Let us now apply these new ideas to the polynomial (or rational) factor ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " in the standard factorization ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P⁢(x)-P⁢(a)=q⁢(x)⁢(x-a)", "meta": { "altText": "P(x)-P(a)=q(x)(x-a)" } }, ".\nUsing the new notation, we know that" ] }, { "type": "MathBlock", "id": "S5.Ex13", "mathLanguage": "mathml", "text": "limx→a⁡q⁢(x)=q⁢(a)=D⁢(P)⁢(a).", "meta": { "altText": "\\lim_{x\\to a}q(x)=q(a)=D(P)(a)." } }, { "type": "Paragraph", "content": [ "This shows that the derivative of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "P", "meta": { "altText": "P" } }, " at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " is approximated by the values of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(x)", "meta": { "altText": "q(x)" } }, " as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x≠a", "meta": { "altText": "x\\neq a" } }, " gets closer and closer to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ".\nSo what are these values ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(x)", "meta": { "altText": "q(x)" } }, "?\nAs long as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x≠a", "meta": { "altText": "x\\neq a" } }, ", we can divide by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x-a≠0", "meta": { "altText": "x-a\\neq 0" } }, ", resulting in" ] }, { "type": "MathBlock", "id": "S5.Ex14", "mathLanguage": "mathml", "text": "q⁢(x)=P⁢(x)-P⁢(a)x-afor⁢x≠a.", "meta": { "altText": "q(x)=\\frac{P(x)-P(a)}{x-a}\\quad\\textrm{for}\\ x\\neq a." } }, { "type": "Paragraph", "content": [ "So we have reached the very beginning of the standard introduction to derivatives: the derivative is the limit of average rates of change, or, in geometric language, the slope of the tangent is the limit of the slopes of secants through the points ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(a,P⁢(a))", "meta": { "altText": "(a,P(a))" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(x,P⁢(x))", "meta": { "altText": "(x,P(x))" } }, " on the curve as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x→a", "meta": { "altText": "x\\to a" } }, ".\nHowever, from the perspective of the student who is learning calculus as suggested in our approach, this is a new, ", { "type": "Emphasis", "content": [ "non-algebraic" ] }, " technique to capture derivatives, which so far have been defined exactly by a simple algebraic method.\nIt thus takes the student the first step beyond pure algebra further up the ladder towards mastering calculus.\nAnd as we start investigating non-algebraic functions, we will shortly discover how this latest insight will reveal amazing new phenomena that will force us to expand the foundations of the rational numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ", "meta": { "altText": "\\mathbb{Q}" } }, "." ] } ] }, { "type": "Heading", "id": "S6", "depth": 1, "content": [ "6 Exponential functions and mysterious limits" ] }, { "type": "Paragraph", "id": "S6.p1", "content": [ "As we have reached the boundary of the algebraic techniques, the next step involves the study of other – non-algebraic – functions.\nPerhaps the most widely known such functions are the ", { "type": "Emphasis", "content": [ "exponential functions" ] }, ".\nThis past year just about everybody heard about the exponential growth of the spread of Covid-19, but other applications, such as compound interest, population growth, radioactive decay, and so on are also widely known.\nFrom the perspective of the experienced mathematician, exponential functions are the ", { "type": "Emphasis", "content": [ "eigenfunctions" ] }, " of the differentiation operator, and therefore understanding them fully should reveal all there is to know about tangents and derivatives." ] }, { "type": "Paragraph", "content": [ "Exponential functions are easily defined for inputs that are natural numbers; most importantly, this basic case already reveals the fundamental rule" ] }, { "type": "MathBlock", "id": "S6.Ex15", "mathLanguage": "mathml", "text": "bm+n=bm⋅bnfor⁢m,n∈ℕ.", "meta": { "altText": "b^{m+n}=b^{m}\\cdot b^{n}\\quad\\textrm{for}\\ m,n\\in\\mathbb{N}." } }, { "type": "Paragraph", "content": [ "While studying integers, rational numbers, and rational functions, students have learned that “following the rules” is a fundamental principle when one moves into new uncharted territory.\nSo they should not be surprised that the rule we just recalled, that is, the functional equation for the exponential function, will guide us to properly define exponential functions for other numbers, such as negative integers, and then rational numbers.\nIn particular, these rules, when extended to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "1/n", "meta": { "altText": "1/n" } }, " with ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n∈ℕ", "meta": { "altText": "n\\in\\mathbb{N}" } }, ", require that the base ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b", "meta": { "altText": "b" } }, " must be positive, and most importantly that" ] }, { "type": "MathBlock", "id": "S6.Ex16", "mathLanguage": "mathml", "text": "(b1n)n=b,", "meta": { "altText": "(b^{\\frac{1}{n}})^{n}=b," } }, { "type": "Paragraph", "content": [ "that is, ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b1/n", "meta": { "altText": "b^{1/n}" } }, " must be the ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "n", "meta": { "altText": "n" } }, "-th root of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b", "meta": { "altText": "b" } }, ".\nWhile this forces us to go beyond the rational numbers, this is not much of a problem at the preliminary stage.\nAfter all, already Greek geometers recognized that there is no rational number ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "mn", "meta": { "altText": "\\frac{m}{n}" } }, " that satisfies ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(mn)2=2", "meta": { "altText": "\\bigl(\\frac{m}{n}\\bigr)^{2}=2" } }, ", and philosophers, scientists, and mathematicians lived for over 2000 years with this problem, and still were able to make amazing progress.\nSo students, too, will just have to accept this reality as we move on with a preliminary investigation of exponential functions ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Eb⁢(x)=bx", "meta": { "altText": "E_{b}(x)=b^{x}" } }, " with domain ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ", "meta": { "altText": "\\mathbb{Q}" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "0\" display=\"inline\">b>0", "meta": { "altText": "b>0" } }, "." ] }, { "type": "Paragraph", "content": [ "So let us look at the tangent problem for the concrete case ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "b=2", "meta": { "altText": "b=2" } }, " at the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(0,1)", "meta": { "altText": "(0,1)" } }, ".\nGuided by the algebraic approach, we look for an analogous factorization" ] }, { "type": "MathBlock", "id": "S6.Ex17", "mathLanguage": "mathml", "text": "2x-20=q⁢(x)⁢(x-0),", "meta": { "altText": "2^{x}-2^{0}=q(x)(x-0)," } }, { "type": "Paragraph", "content": [ "and we immediately realize that there is no formula for ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " that would unambiguously tell us the value of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(0)", "meta": { "altText": "q(0)" } }, ".\nJust as in the algebraic case, that value would give us the slope of that line through ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(0,1)", "meta": { "altText": "(0,1)" } }, " that intersects the graph of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "E2", "meta": { "altText": "E_{2}" } }, " with multiplicity greater than one.\nSince we do know that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(x)=2x-1x", "meta": { "altText": "q(x)=\\frac{2^{x}-1}{x}" } }, " for ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x≠0", "meta": { "altText": "x\\neq 0" } }, ", and since we just learned that in the algebraic case the values ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(x)", "meta": { "altText": "q(x)" } }, " approximate ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(0)", "meta": { "altText": "q(0)" } }, " as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x→0", "meta": { "altText": "x\\to 0" } }, ", it thus seems reasonable to study" ] }, { "type": "MathBlock", "id": "S6.Ex18", "mathLanguage": "mathml", "text": "q⁢(x)=2x-1xas⁢x→0.", "meta": { "altText": "q(x)=\\frac{2^{x}-1}{x}\\quad\\textrm{as}\\ x\\to 0." } }, { "type": "Paragraph", "content": [ "Unfortunately, we have no tools available yet to determine whether such a limit actually exists.\nAnd if it does, what is it? If we look at numerical approximations for ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(0)", "meta": { "altText": "q(0)" } }, " by considering inputs ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "xk=10-k", "meta": { "altText": "x_{k}=10^{-k}" } }, " for ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "k=1,2,3,…", "meta": { "altText": "k=1,2,3,\\ldots" } }, ", we see that the numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(xk)", "meta": { "altText": "q(x_{k})" } }, " approach a strange number whose decimal expansion begins with ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "0.6931471805⁢…", "meta": { "altText": "0.6931471805\\ldots" } }, " as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "k", "meta": { "altText": "k" } }, " gets larger, so that ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "10-k→0", "meta": { "altText": "10^{-k}\\to 0" } }, ".\nTo summarize: the student recognizes that we are faced with fundamentally new phenomena that force us to take a deeper look at the numbers that we are using, and to thoroughly study the mysterious limit process that is central to understanding the exponential function." ] }, { "type": "Heading", "id": "S7", "depth": 1, "content": [ "7 Analysis" ] }, { "type": "Paragraph", "content": [ "It is now time to bring in the real numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℝ", "meta": { "altText": "\\mathbb{R}" } }, " by adding one more axiom beyond those that the students have been familiar with all along from the rational numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℚ", "meta": { "altText": "\\mathbb{Q}" } }, ".\nWe introduce the ", { "type": "Emphasis", "content": [ "completeness" ] }, " axiom by requiring that the field of real numbers satisfies the ", { "type": "Emphasis", "content": [ "Least Upper Bound Property" ] }, ", and hence also the analogous ", { "type": "Emphasis", "content": [ "Greatest Lower Bound Property" ] }, ".\nThis version makes precise something that is intuitively quite obvious, and it provides easy proofs of the existence of the relevant limits that are needed to rigorously complete the discussion of the exponential function.\nOnce students are well familiar with the real numbers ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℝ", "meta": { "altText": "\\mathbb{R}" } }, ", the domain of exponential functions is extended to all real numbers, and one verifies that the functional equation continues to hold in this more general setting.\nThe tangent problem is solved by verifying in detail the existence in ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "ℝ", "meta": { "altText": "\\mathbb{R}" } }, " of the limit" ] }, { "type": "MathBlock", "id": "S7.Ex19", "mathLanguage": "mathml", "text": "0\\biggr\\}=c_{2},\" display=\"block\">limx→0⁡2x-1x=inf⁡{2x-1x|x>0}=c2,", "meta": { "altText": "\\lim_{x\\to 0}\\frac{2^{x}-1}{x}=\\inf\\biggl\\{\\frac{2^{x}-1}{x}\\mathrel{\\bigg|}x>0\\biggr\\}=c_{2}," } }, { "type": "Paragraph", "content": [ "where the expression on the right is the Greatest Lower Bound of the relevant set, whose existence is guaranteed by the completeness axiom.\nThe subscript ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2", "meta": { "altText": "2" } }, " in the notation ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "c2", "meta": { "altText": "c_{2}" } }, " relates to the base ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "2", "meta": { "altText": "2" } }, " of the exponential function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "E2", "meta": { "altText": "E_{2}" } }, " that is considered.\nWe then define" ] }, { "type": "MathBlock", "id": "S7.Ex20", "mathLanguage": "mathml", "text": "q⁢(x)={2x-1xfor⁢x≠0,c2for⁢x=0,", "meta": { "altText": "q(x)=\\begin{cases}\\frac{2^{x}-1}{x}&\\textrm{for}\\ x\\neq 0,\\\\\nc_{2}&\\textrm{for}\\ x=0,\\end{cases}" } }, { "type": "Paragraph", "content": [ "so the function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is continuous at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "0", "meta": { "altText": "0" } }, ", since ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "limx→0⁡q⁢(x)=q⁢(0)", "meta": { "altText": "\\lim_{x\\to 0}q(x)=q(0)" } }, "." ] }, { "type": "Paragraph", "content": [ "We therefore conclude that the function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "E2⁢(x)=2x", "meta": { "altText": "E_{2}(x)=2^{x}" } }, " has a factorization" ] }, { "type": "MathBlock", "id": "S7.Ex21", "mathLanguage": "mathml", "text": "E2⁢(x)-E2⁢(0)=q⁢(x)⋅(x-0),with⁢q⁢continuous at⁢ 0,", "meta": { "altText": "E_{2}(x)-E_{2}(0)=q(x)\\cdot(x-0),\\quad\\textrm{with}\\ q\\ \\textrm{continuous at}\\ 0," } }, { "type": "Paragraph", "content": [ "and we define its derivative ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(E2)⁢(0)=q⁢(0)", "meta": { "altText": "D(E_{2})(0)=q(0)" } }, ".\nOf course, the same results hold for exponential functions ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Eb", "meta": { "altText": "E_{b}" } }, " with arbitrary base ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "0\" display=\"inline\">b>0", "meta": { "altText": "b>0" } }, ", with" ] }, { "type": "MathBlock", "id": "S7.Ex22", "mathLanguage": "mathml", "text": "D⁢(Eb)⁢(0)=cb=limx→0⁡bx-1x.", "meta": { "altText": "D(E_{b})(0)=c_{b}=\\lim_{x\\to 0}\\frac{b^{x}-1}{x}." } }, { "type": "Paragraph", "content": [ "The functional equation readily implies that analogous results hold at every point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a∈ℝ", "meta": { "altText": "a\\in\\mathbb{R}" } }, ", leading to the differentiation formula" ] }, { "type": "MathBlock", "id": "S7.Ex23", "mathLanguage": "mathml", "text": "D⁢(Eb)⁢(a)=Eb⁢(a)⋅D⁢(Eb)⁢(0).", "meta": { "altText": "D(E_{b})(a)=E_{b}(a)\\cdot D(E_{b})(0)." } }, { "type": "Paragraph", "content": [ "Furthermore, the number ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "e=21/c2", "meta": { "altText": "e=2^{1/c_{2}}" } }, ", where ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "c2", "meta": { "altText": "c_{2}" } }, ", as introduced above, equals the derivative ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(E2)⁢(0)", "meta": { "altText": "D(E_{2})(0)" } }, ", is the unique number for which ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(Ee)⁢(0)=1", "meta": { "altText": "D(E_{e})(0)=1" } }, ", so that the ", { "type": "Emphasis", "content": [ "natural" ] }, " exponential function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "E⁢(x)=Ee⁢(x)=ex", "meta": { "altText": "E(x)=E_{e}(x)=e^{x}" } }, " satisfies" ] }, { "type": "MathBlock", "id": "S7.Ex24", "mathLanguage": "mathml", "text": "D⁢(ex)=exfor all⁢x∈ℝ.", "meta": { "altText": "D(e^{x})=e^{x}\\quad\\textrm{for all}\\ x\\in\\mathbb{R}." } }, { "type": "Paragraph", "id": "S7.p3", "content": [ "Once we have identified the relevant property for the exponential function that identifies the slope of the tangent, it is natural to use it as the defining property for general ", { "type": "Emphasis", "content": [ "differentiable" ] }, " functions, as follows." ] }, { "type": "Claim", "id": "Thmdefinitionx1", "label": "Definition.", "title": [ { "type": "Strong", "content": [ "Definition" ] }, { "type": "Strong", "content": [ "." ] } ], "content": [ { "type": "Paragraph", "content": [ "The function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " defined in an interval surrounding the point ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " is said to be differentiable at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " if there exists a factorization" ] }, { "type": "MathBlock", "id": "S7.Ex25", "mathLanguage": "mathml", "text": "f⁢(x)-f⁢(a)=q⁢(x)⋅(x-a),", "meta": { "altText": "f(x)-f(a)=q(x)\\cdot(x-a)," } }, { "type": "Paragraph", "content": [ "where the function ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is continuous at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ".\nThe value ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q⁢(a)", "meta": { "altText": "q(a)" } }, " is called the derivative of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f", "meta": { "altText": "f" } }, " at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " and it is denoted by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "D⁢(f)⁢(a)", "meta": { "altText": "D(f)(a)" } }, " or ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f′⁢(a)", "meta": { "altText": "f^{\\prime}(a)" } }, ".\n" ] } ] }, { "type": "Paragraph", "id": "S7.p4", "content": [ "Note how this definition naturally generalizes what has been central for polynomials and rational functions.\nSince in those cases the factor ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " is of the same algebraic type and known to be continuous, rational functions are trivially differentiable according to this definition at every point where defined.\nAnd of course, we just saw that exponential functions are differentiable everywhere." ] }, { "type": "Paragraph", "id": "S7.p5", "content": [ "It is obvious that the definition above is equivalent to the standard definition of differentiability." ] }, { "type": "Paragraph", "id": "S7.p6", "content": [ "This formulation of differentiability has been around for quite a while, but unfortunately it is not widely known.\nTo my knowledge, it was first introduced by Constantin Carathéodory (1873–1950) at least as early as 1950, in his classic text ", { "type": "Emphasis", "content": [ "Funktionentheorie" ] }, " [", { "type": "Cite", "target": "bib-bib2", "content": [ "2" ] }, "].\nIt has been used in Germany in courses and books since the early 1960s, and it slowly has appeared in US textbooks since the late 1990s (see [", { "type": "Cite", "target": "bib-bib6", "content": [ "6" ] }, "] and [", { "type": "Cite", "target": "bib-bib7", "content": [ "7" ] }, ", pp. xxvi–xxvii] for more details)." ] }, { "type": "Paragraph", "id": "S7.p7", "content": [ "It should be mentioned that Carathéodory’s formulation of differentiability naturally suggests the basic relationship ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(d⁢f)a=f′⁢(a)⁢d⁢x", "meta": { "altText": "(df)_{a}=f^{\\prime}(a)\\,dx" } }, " between “differentials” that is widely used in applications, namely, that a small change ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "d⁢x", "meta": { "altText": "dx" } }, " in the input leads to a small change ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "d⁢f⁢(d⁢x)", "meta": { "altText": "df(dx)" } }, " in the output, which is well approximated by the product ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "f′⁢(a)⋅d⁢x", "meta": { "altText": "f^{\\prime}(a)\\cdot dx" } }, ".\nIn fact, the error between ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Δ⁢f=q⁢(x)⁢Δ⁢x", "meta": { "altText": "\\Delta f=q(x)\\Delta x" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(d⁢f)a⁢(Δ⁢x)", "meta": { "altText": "(df)_{a}(\\Delta x)" } }, " is given by ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "[q⁢(x)-q⁢(a)]⁢Δ⁢x", "meta": { "altText": "[q(x)-q(a)]\\Delta x" } }, ", which, because of the continuity of ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "q", "meta": { "altText": "q" } }, " at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x=a", "meta": { "altText": "x=a" } }, ", is negligible compared to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "Δ⁢x", "meta": { "altText": "\\Delta x" } }, " as long as ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "x", "meta": { "altText": "x" } }, " is very close to ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, ".\nOf course, working with differentials ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "d⁢f", "meta": { "altText": "df" } }, " and ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "d⁢x", "meta": { "altText": "dx" } }, " is loaded with much historical baggage, given their classical interpretation as “infinitesimals”, while for differential geometers it is standard to view the differential ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "(d⁢f)a", "meta": { "altText": "(df)_{a}" } }, " at ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "a", "meta": { "altText": "a" } }, " as a linear function defined on the tangent space at that point.\nIt is hard enough for mathematicians to keep all this straight, and for students this is bound to be very confusing.\nClearly, we need to find a way to help our students to sort this out.\nPerhaps it is time to introduce ", { "type": "Emphasis", "content": [ "different" ] }, " notations for infinitesimals, small changes in input/output, and the underlying linear function, instead of just using ", { "type": "MathFragment", "mathLanguage": "mathml", "text": "d⁢f", "meta": { "altText": "df" } }, "." ] }, { "type": "Heading", "id": "S7", "depth": 1, "content": [ "The Chain Rule, revisited" ] }, { "type": "Paragraph", "id": "S7.SS0.SSS0.Px1.p1", "content": [ "We already introduced and proved this rule for polynomials above.\nThe proof for general differentiable functions follows exactly the same structure as the proof in that case, and is completed by just using natural properties of continuous functions, such as the fact that compositions and products of continuous functions are continuous.\nAgain, the reader should compare this with the various proofs of this important result found in standard textbooks, and decide for her/himself which proof we should teach our students." ] }, { "type": "Paragraph", "id": "S7.SS0.SSS0.Px1.p2", "content": [ "Aside from allowing the simplest proof of the Chain Rule known to me, Carathéodory’s formulation has other advantages.\nIn particular, it naturally extends to functions and maps of several variables once the appropriate linear algebra is introduced, and it allows simple proofs of the Chain Rule and Inverse Function Rule in the higher dimensional setting." ] }, { "type": "Heading", "id": "S8", "depth": 1, "content": [ "8 Concluding remarks" ] }, { "type": "Paragraph", "id": "S8.p1", "content": [ "This concludes our outline of how we propose to introduce students to differential calculus, beginning with rational numbers and the quadratic equation.\nOnce we have reached the heart of Analysis and in particular the general notion of differentiable functions, the story continues, more or less, along more traditional lines.\nWe hope that this brief outline has convinced the reader that there is an alternative to the traditional approach, a new approach that should make things easier for students.\nIt gradually builds up from simple algebra to lead them to the point where they will recognize the true necessity of deep new ideas involving more advanced mathematical tools that are the heart of analysis.\nThe author is currently working on a detailed textbook that implements this outline and which may be viewed as a substantial expansion of the first half of his earlier book [", { "type": "Cite", "target": "bib-bib7", "content": [ "7" ] }, "]." ] }, { "type": "Paragraph", "id": "authorinfo", "content": [ "\nR. Michael Range earned his ", { "type": "Emphasis", "content": [ "Diplom in Mathematik" ] }, " at the University of Göttingen in 1968, where lectures of Hans Grauert got him hooked on multidimensional complex analysis.\nA Fulbright Fellowship brought him to the United States, where he earned a Ph.D. at UCLA in 1971.\nHe has held academic positions at Yale University, the University of Washington, and at the State University of New York in Albany, as well as research positions at institutes in Bonn, Stockholm, Barcelona, and Berkeley.\nRange has published numerous research articles, and is the author of ", { "type": "Emphasis", "content": [ "Holomorphic Functions and Integral Representations in Several Complex Variables" ] }, " (Springer 1986 and 1998), a widely used introduction to the field.\nHe has lectured in many countries, including mini-courses at the Chinese Academy of Sciences in Beijing, at POSTECH in South Korea, and in Trondheim, Norway.\nMore recently he has written historical and expository articles on multidimensional complex analysis, one of which was recognized with the Lester R. Ford award of the Mathematical Association of America in 2004.\nHe also has spent much time thinking about the calculus curriculum, with the goal of making things easier for the ever increasing number of students.\nRange loves mountains and enjoys hiking, biking, and especially downhill skiing.\nIn 2015 he retired to Park City, high in the beautiful mountains near Salt Lake City in Utah.\n", { "type": "Link", "target": "mailto:range@math.albany.edu", "content": [ "range@math.albany.edu" ] } ] } ] }