Thomas Simpson and Maxima and Minima

Author(s): 
Michel Helfgott

Thomas Simpson (1710-1761) was a self-taught English mathematician who started his working life as a weaver, his father’s trade. Quite early he showed a keen interest in mathematics and later in life became an accomplished writer of textbooks on algebra, geometry, the calculus, and other mathematical subjects. His life was quite remarkable, from being a weaver to becoming a fellow of the Royal Society in 1745 (Clarke 1929).  Nowadays, Simpson is best remembered for the numerical integration technique that bears his name.

Simpson’s most widely known book appeared in print in 1750 under the title The Doctrine and Application of Fluxions. The fact that it was reprinted as late as 1823 (Simpson 1823) attests to its wide popularity. By modern standards it is an unusual work in the sense that applications of the calculus appear rather early and pervade all of the book.

After a first section on the nature of fluxions, and how to calculate with them, Simpson discusses with great care a collection of twenty two examples about maxima and minima. Fifteen of these examples are of a geometrical nature, three are applications to kinematics, and only four are strictly mathematical. We will discuss in detail eight of them, none commonly found in contemporary Calculus textbooks, replacing the word "fluxion" with "derivative" whenever the former appears in Simpson’s book. As expected, a certain amount of editing has been necessary, but we have kept the core of Simpson’s approach and explanations. We share the belief that it is a fruitful endeavor to engage students in the solution of mathematical problems from the past (Swetz 1995).

It is to be noted that we will use the concept of function, an idea that took almost two hundred years to mature since Leibniz and Johan Bernoulli introduced it at the end of the seventeenth century. Euler, the greatest eighteenth century mathematician, used the symbol \(f(x)\) starting in 1734 (Siu 1995). The notation or definition of function is nowhere to be found in Doctrine although one might surmise that it is implicitly employed, one way or another, in the work.

Furthermore, Simpson does not apply the second derivative test for extrema; it is not even stated in his work. Neither does he use the first derivative test except when discussing example XXII, as we will see later on. Despite this fact, no errors are to be found throughout the section on maxima and minima; the very nature of the problems, mostly applications to geometry and kinematics, helped Simpson avoid any pitfalls. For him it was enough to take the first derivative of the pertinent expression and then find the critical point. Of course, we can check, through the first or second derivative test, that things work well in all the examples of Simpson’s that we will discuss.

After these preliminary considerations, let us discuss in detail some of the examples from section II of Doctrine. We will state them almost verbatim, then we will provide a solution patterned on Simpson’s solution, and finally we will make some remarks pertinent to each problem.

Editor’s Note: This article was published in 2005.

Tags: 

Thomas Simpson and Maxima and Minima - Introduction

Author(s): 
Michel Helfgott

Thomas Simpson (1710-1761) was a self-taught English mathematician who started his working life as a weaver, his father’s trade. Quite early he showed a keen interest in mathematics and later in life became an accomplished writer of textbooks on algebra, geometry, the calculus, and other mathematical subjects. His life was quite remarkable, from being a weaver to becoming a fellow of the Royal Society in 1745 (Clarke 1929 ).  Nowadays, Simpson is best remembered for the numerical integration technique that bears his name.

Simpson’s most widely known book appeared in print in 1750 under the title The Doctrine and Application of Fluxions. The fact that it was reprinted as late as 1823 (Simpson 1823) attests to its wide popularity. By modern standards it is an unusual work in the sense that applications of the calculus appear rather early and pervade all of the book.

After a first section on the nature of fluxions, and how to calculate with them, Simpson discusses with great care a collection of twenty two examples about maxima and minima. Fifteen of these examples are of a geometrical nature, three are applications to kinematics, and only four are strictly mathematical. We will discuss in detail eight of them, none commonly found in contemporary Calculus textbooks, replacing the word "fluxion" with "derivative" whenever the former appears in Simpson’s book. As expected, a certain amount of editing has been necessary, but we have kept the core of Simpson’s approach and explanations. We share the belief that it is a fruitful endeavor to engage students in the solution of mathematical problems from the past (Swetz 1995).

It is to be noted that we will use the concept of function, an idea that took almost two hundred years to mature since Leibniz and Johan Bernoulli introduced it at the end of the seventeenth century. Euler, the greatest eighteenth century mathematician, used the symbol \(f(x)\) starting in 1734 (Siu 1995). The notation or definition of function is nowhere to be found in Doctrine although one might surmise that it is implicitly employed, one way or another, in the work.

Furthermore, Simpson does not apply the second derivative test for extrema; it is not even stated in his work. Neither does he use the first derivative test except when discussing example XXII, as we will see later on. Despite this fact, no errors are to be found throughout the section on maxima and minima; the very nature of the problems, mostly applications to geometry and kinematics, helped Simpson avoid any pitfalls. For him it was enough to take the first derivative of the pertinent expression and then find the critical point. Of course, we can check, through the first or second derivative test, that things work well in all the examples of Simpson’s that we will discuss.

After these preliminary considerations, let us discuss in detail some of the examples from section II of Doctrine. We will state them almost verbatim, then we will provide a solution patterned on Simpson’s solution, and finally we will make some remarks pertinent to each problem.

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Maximizing area of right triangles

Author(s): 
Michel Helfgott

Of all right-angled plane triangles having the same given hypotenuse, to find that whose area is the greatest (Example IV, page 17).

 

Let \(a\) be the hypotenuse and \(x, y\) the legs. We have

\(y = \sqrt{a^2 - x^2}\), so \(area(x) = \frac{x}{2}\sqrt{a^2 - x^2}\)

Let \(f(x) = \frac{x^2}{4}(a^2 - x^2)\), the square of the area. Then \(0 = f'(x) = \frac{2a^2}{4}x  –  x^3\), consequently \(x = \sqrt{\frac{a}{2}}\). It follows that

\(y = \sqrt{a^2 - \frac{a^2}{2}} = \frac{a}{\sqrt{2}}\)

Thus, the best we can do is to choose the isosceles right triangle with given hypotenuse a.

 

Simpson provides an alternative way of solving the problem at hand (he says “the same otherwise”): Assuming that \(y\) is a function of \(x\), implicit differentiation—a term not used by the author—leads to \(2x + 2yy' = 0\) since \(x^2 + y^2 = a^2\), thus \(y' = -\frac{x}{y}\) . On the other hand \(area(x) = \frac{1}{2}xy(x)\), so \(area'(x) = \frac{1}{2}(y + xy')\). We are looking for the maximum of the area function, thus we have to make \(area'(x) = 0\). Therefore \(\frac{1}{2}(y + xy') = 0\), which in turn leads to \(y' = -\frac{y}{x}\). Consequently \(-\frac{x}{y} = -\frac{y}{x}\), that is to say \(x = y\). Again we reach the conclusion that the right isosceles triangle, of given hypotenuse \(a\), encloses the largest area.

 

Remarks: It might surprise the reader that, in the first approach, Simpson does not take the derivative of the area but of its square. This is a clever choice since the latter is a simple polynomial. As the author writes right before example IV: “It will be proper to observe here, that the value of a quantity, when a maximum or minimum, may oftentimes be determined with more facility by taking the fluxion of some given part, multiple, or power thereof, than from the fluxion of the quantity itself.” Simpson does not, however, mention that a simple algebraic alternative exists, due to the fact that \(f(x)\) happens to be a biquadratic function. Indeed \(-\frac{1}{4}x^4 + \frac{a^2}{4}x^2\) can be transformed into \(-\frac{1}{4}z^2 + \frac{a^2}{4}z\) by defining \(z = x^2\). Completing squares, we can tell that the function in the variable \(z\) adopts its minimum at

\(z = \frac{\frac{-a^2}{4}}{2(\frac{-1}{4})} = \frac{a^2}{2} \).

So the original equation attains its minimum at

\(x = \sqrt{\frac{a^2}{2}} = \frac{a}{\sqrt{2}}\).

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Least isosceles triangle circumscribing a circle

Author(s): 
Michel Helfgott

To determine the dimensions of the least isosceles triangle ACD that can circumscribe a given circle (Example VI, p. 18).

 

Let \(O\) be the center of the circle, with radius \(a\), inscribed in the isosceles triangle ACD. Draw the altitude \(\overline{DB}\) and let \(x = OD\). We have \(\triangle DSO\) is similar to \(\triangle DBC\). Thus \(\frac{DS}{DB} = \frac{SO}{BC}\). Hence

\(BC = \frac{(x + a)a}{\sqrt{x^2 - a^2}}\),   so   \(area(x) = \frac{(x + a)^2 a}{\sqrt{x^2 - a^2}}\).

Define

\(f(x) = \frac{(x + a)^4}{x^2 - a^2}\),

which is the square of the area multiplied by \(\frac{1}{a^2}\). Note that

\(f(x) = \frac{(x + a)^3}{x - a}\)   so   \(f'(x) = \frac{3(x + a)^2 (x - a)  -  (x + a)^3}{(x - a)^2}\).

 

The numerator will be zero when \(x = 2a\). Therefore, the area attains its minimum at \(x = 2a\). From the similarity of triangles \(\triangle DSO\) and \(\triangle DBC\), we get \(\frac{DC}{OD} = \frac{BC}{SO}\). Thus \(DC = \frac{x \cdot BC}{a} = \frac{2a \cdot BC}{a} = 2BC = AC\). In other words, the solution is to construct the equilateral triangle that circumscribes the given circle.

 

Remark: It is interesting to observe that Simpson implicitly assumes that the altitude \(BD\) passes through the center of the circle. Undoubtedly, he believes that his readers are knowledgeable in geometry and will realize that the center of the inscribed circle is at the point of intersection of the angle bisectors of the given triangle. Because the latter is isosceles, \(\overline{BD}\) is both an altitude and an angle bisector; thus \(\overline{BD}\) goes through \(O\).

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Maximizing the volume of a cone

Author(s): 
Michel Helfgott

Of all cones under the same given superficies to find that (ABD) whose solidity is the greatest (Example IX, p. 21).

 

It should be noted that by “superficies” Simpson means “lateral surface”, while “solidity” is an archaic synonym of “volume”. We have \(s = \pi x^2 + \pi xy\), where \(s\) is the lateral surface, \(y\) is the length of the slant side, and \(x\) the radius of the base. Then \(y = \frac{s}{\pi x} - x\). The height \(h\) is found by using the Pythagorean proposition. Thus

\(h = \sqrt{(\frac{s}{\pi x} - x)^2 - x^2} = \sqrt{\frac{s^2}{\pi^2 x^2} - \frac{2s}{\pi}}\),

and consequently

\(V(x) = \frac{1}{3} \pi x^2 \sqrt{\frac{s^2}{\pi^2 x^2} - \frac{2s}{\pi}}\).

Define \(f(x) = \frac{s^2}{9}x^2 - \frac{2 \pi s}{9}x^4\), the square of the volume. Then \(0 = f'(x) = \frac{2s^2}{9}x - \frac{8}{9}\pi s x^3\) implies \(x = \sqrt{\frac{s}{4\pi}}\), which is the value of the radius at which the volume is the greatest. Under these circumstances

\(y = \frac{s - \pi x^2}{\pi x} = \frac{s - \frac{\pi s}{4 \pi}}{\pi \sqrt{\frac{s}{4 \pi}}}= 3\sqrt{\frac{s}{4 \pi}} = 3x \).

 

Remark: As in example IV, Simpson does not mention that the square of the volume is a biquadratic expression. There is a simple algebraic alternative to determine its maximum: define \(z = x^2\), thus the problem is reduced to finding the point where the parabola defined by \(-\frac{2 \pi s}{9} z^2 + \frac{s^2}{9} z\) attains its maximum. Given that this is a quadratic polynomial, we know that this takes place at

\(z = \frac{\frac{-s^2}{9}}{\frac{-4 \pi s}{9}}= \frac{s}{4 \pi}\),

thus \(x = \sqrt{\frac{s}{4 \pi}}\).

 

Editor's Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Motion of bodies I

Author(s): 
Michel Helfgott

Two bodies move at the same time, from two given places A and B, and proceed uniformly from thence in given directions, AP and BQ, with celerities in a given ratio; it is proposed to find their position, and how far each has gone, when they are nearest possible to each other (Example XIII, page 28).

 

Let \(a = AC, b = BC, c = DC\) in the adjacent figure. Assume \(m\) is the velocity (“celerity”) of the body that moves in the direction \(AP\) while \(n\) is the velocity of the body that moves in the direction \(BN\).

 

At time \(t\) the first body will be at \(M\) while the second body will be at \(N\) (Simpson calls these two points “cotemporary”). Next draw perpendiculars \(\overline{NE}\) and \(\overline{BD}\) to \(AP\), and let \(x = CN\). Since \(\triangle ECN\) is similar to \(\triangle DCB\), we can conclude that \(\frac{b}{x} = \frac{c}{CE}\). Because \(M\) and \(N\) are cotemporary points it follows that \(\frac{AM}{m} = \frac{BN}{n}\), therefore \(AM = \frac{m}{n}(x - b)\). So \(CM = AC - AM = a - \frac{m}{n}(x - b) = d - \frac{m}{n}x\), where \(d = a + \frac{m}{n}b\). By the law of cosines we have \(MN^2 = CM^2 + CN^2 - 2(CM)(CN)cosC\). But \(cosC = \frac{EC}{CN}\). Therefore

\(MN^2 = CM^2 + CN^2 - 2(CM)(CE) = (d - \frac{m}{n} x)^2 + x^2 - 2(d - \frac{m}{n} x) \frac{cx}{b}\)

\(= d^2 - (\frac{2dm}{n} - \frac{2cd}{b}) x + (\frac{m^2}{n^2} + \frac{2cm}{nb}) x^2\).

Taking the derivative of \(MN^2\), which is obviously a function of \(x\), and making it equal to zero we get

\(x = \frac{mnbd + cdn^2}{bm^2 + 2cmn}\)

This is the value where \(MN^2\), and consequently \(MN\), attains its minimum.

 

Remark: Maybe Simpson should have mentioned that \(MN^2\) is a second degree polynomial in the variable \(x\), thus on the Cartesian plane it represents a vertical parabola that opens upwards with minimum at \(-\frac{r}{2s}\) where \(r\) and \(s\) are the coefficients of \(x\) and \(x^2\) respectively. We would get exactly the same value obtained before, namely

\(x = \frac{mnbd + cdn^2}{bm^2 + 2cmn}\)

So, in this problem there is an alternative to the use of derivatives.

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Motion of bodies II

Author(s): 
Michel Helfgott

Let a body move uniformly from A towards Q, with the celerity m, and let another body proceed from B, at the same time, with the celerity n. Now it is proposed to find the direction BP of the latter, so that the distance MN of the two bodies, when the latter arrives in the way of direction AQ of the former, may be the greatest possible (Example XIV, page 31).

 

Draw the perpendicular \(\overline{BC}\) and let \(b = BC, a = AC\). Let \(N\) be the point where the second body crosses the path from \(A\) to \(Q\), and define \(x = BN, \alpha = m \angle CBN\). Let \(M\) be the position of the first body when the other is at \(N\).

Since \(M\) and \(N\) are cotemporary we will have \(\frac{AM}{m} = \frac{BN}{n}\). Thus \(AM = \frac{m}{n}x\), and consequently \(CM = AM - AC = \frac{m}{n}x - a\). Then \(MN(x) = CN - CM = \sqrt{x^2 - b^2} - \frac{m}{n}x + a\). Taking the derivative and making it equal to zero we get

\(0 = MN'(x) = \frac{x}{\sqrt{x^2 - b^2}} - \frac{m}{n}\)

so \(MN\) adopts its maximum at \(x = \frac{mb}{\sqrt{m^2 - n^2}}\). Therefore

\(\cos \alpha = \frac{b}{x} = \frac{b}{\frac{mb}{\sqrt{m^2 - n^2}}} = \frac{\sqrt{m^2 - n^2}}{m}\).

Consequently \(\alpha = \arccos(\frac{\sqrt{m^2 - n^2}}{m})\) is the direction to be adopted by the second body if the distance \(MN\) is to be maximized.

 

Remarks: It is to be noted that

\(MN(\frac{mb}{\sqrt{m^2 - n^2}}) = \frac{na - b \sqrt{m^2 - n^2}}{n})\),

so we must have \(na - b \sqrt{m^2 - n^2} > 0\) in order to have a solution. Furthermore, one can check that

\(MN''(x) = \frac{-b^2}{(x^2 - b^2)^\frac{3}{2}}\);

therefore

\(MN''(\frac{mb}{\sqrt{m^2 - n^2}}) < 0\),

so indeed we are dealing with a maximum! Simpson assumes that \(m > n\). What happens if \(n \ge m\)? Under these circumstances there is not a mathematical solution. From a practical point of view, the body that starts at \(B\) would have to follow an angle \(\alpha = 90 - \varepsilon\) where \(\varepsilon\) is a very small positive number. On the other hand, Simpson only discusses the case when \(M\) is between \(C\) and \(N\). It can happen that \(M\) is between \(A\) and \(C\), in which case

\(MN = AN - AM = a + \sqrt{x^2 - b^2} - \frac{m}{n}x\)

(the very same expression for \(MN\) found before). If \(M\) is to the right of \(N\), then

\(MN = AM - AN = \frac{m}{n}x - (a + \sqrt{x^2 - b^2})\).

We note that

\(MN'(x) = \frac{m}{n} - \frac{x}{\sqrt{x^2 - b^2}}\).

Thus

\(0 = \frac{m}{n} - \frac{x}{\sqrt{x^2 - b^2}}\)

leads, as expected, to \(x = \frac{mb}{\sqrt{m^2 - n^2}}\).

 

A numerical example can further clarify the solution to the problem. Suppose \(m = 5\) mph, \(n = 4\) mph, \(b = 1\) mile, \(a = 20\) miles. Let \(t\) be the time it takes body \(B\) to reach the ray \(\overrightarrow{AQ}\) at a certain point \(N\). After \(t\) hours body \(A\) will be at \(M\), so \(\frac{AM}{5} = \frac{BN}{4}\). Therefore \(AM = \frac{5}{4}x\), where \(x = BN\). But \(AM + MN = AC + CN = 20 + \sqrt{x^2 - 1}\) . Hence \(\frac{5}{4}x + MN = 20 + \sqrt{x^2 - 1}\), i.e. \(MN(x) = 20 + \sqrt{x^2 - 1} - \frac{5}{4}x\). Taking the derivative and making it equal to zero we get \(\frac{x^2}{(x^2 - 1} = \frac{25}{16}\), thus \(x = \frac{5}{3}\). Finally, since \(\cos \alpha = \frac{1}{\frac{5}{3}} = \frac{3}{5}\), we get \(\alpha = \arccos(\frac{3}{5}) = 53.13\)°.

 

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Ship and boat

Author(s): 
Michel Helfgott

Suppose a ship to sail from a given place A, in a given direction AQ, at the same time that a boat, from another given place B, sets out in order (if possible) to come up with her, and supposing the rate at which each vessel runs to be given; it is required to find in what direction the latter must proceed, so that if it cannot come up with the former, it may, however, approach it as near as possible (problem XV, page 32).

 

Let \(m\) be the constant velocity of the ship and \(n\) the constant velocity of the boat. If \(n \ge m\), the boat will eventually meet the ship, so we may assume that \(m > n\). After a certain time \(t\), the ship is at \(D\) while the cotemporary point for the boat is at \(F\). It is to be noted that all points on the circumference centered at \(B\) and radius \(BF\) are cotemporary with \(F\), but the boat should follow the path \(\overline{BFD}\) since any other path \(\overline{BF'D}\), with \(F'\) on the circumference, is longer.

 

We need to minimize \(DF\). Let \(\overline{BC}\) be the perpendicular to \(\overline{AQ}\). Define \(AC = a, BC = b, CD = x\), and \(DF = d\). Since \(D\) and \(F\) are cotemporary and time = distance/velocity we can conclude that \(\frac{AD}{m} = \frac{BF}{n}\).

Thus \(BF = \frac{n}{m}(a + x)\), and consequently

\(d(x) = BD = BF = \sqrt{b^2 + x^2} - \frac{na + nx}{m}\).

Therefore

\(d'(x) = \frac{x}{\sqrt{b^2 + x^2}} - \frac{n}{m}\).

Making \(d'(x) = 0\), we get \(x = \frac{nb}{\sqrt{m^2 - n^2}}\), the value at which \(d(x)\) attains its minimum.

 

Remarks: We note that

\(\alpha = \arctan \frac{n}{\sqrt{m^2 - n^2}}\)

while

\(d(\frac{nb}{\sqrt{m^2 - n^2}}) = \frac{b\sqrt{m^2 - n^2} - na}{m}\).

So, the problem can be solved provided \(b\sqrt{m^2 - n^2} - na \ge 0\). What happens if \(b\sqrt{m^2 - n^2} - na = 0\)? This equality implies \(DF = 0\). In other words, the boat meets the ship if it takes the direction determined by the angle

\(\alpha = \arctan \frac{n}{\sqrt{m^2 - n^2}}\)

and \(b\sqrt{m^2 - n^2} - na = 0\). Whenever \(b\sqrt{m^2 - n^2} - na > 0\), we can be certain that

\(\frac{b\sqrt{m^2 - n^2} - na}{m}\)

is the minimum distance that can be achieved.

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Maximizing y as an implicit function of x

Author(s): 
Michel Helfgott

To find the greatest value of y in the equation a4 x2 = (x2 + y2 )3 (Example XX, p. 42).

 

Assuming that \(y\) is a function of \(x\), implicit differentiation (Simpson says: “by putting the whole equation into fluxions”) leads to \(2a^4 x = 3(x^2 + y^2)^2 (2x + 2yy')\). But we have to make \(y' = 0\), so \(2a^4 x = 3(x^2 + y^2)^2 (2x)\). Thus \(\frac{a^2}{3} = x^2 + y^2\), which in turn becomes \(\frac{a^6}{3\sqrt{3}} = (x^2 + y^2)^3\). Since \((x^2 + y^2) = a^4 x^2\), we can conclude that \(\frac{a^6}{3\sqrt{3}} = a^4 x^2\), whence

\(x = \frac{a}{\sqrt{3\sqrt{3}}}\).

Replacing this value in the original expression we get

\(y = a \sqrt{\frac{2}{3\sqrt{3}}}\).

An alternative approach, also presented in Doctrine, goes as follows: Taking the cube root we arrive at \(a^\frac{4}{3} x^\frac{2}{3} = x^2 + y^2\), thus \(y^2 = a^\frac{4}{3} x^\frac{2}{3} - x^2\). Consequently, \(2yy' = \frac{2}{3} a^\frac{4}{3} x^\frac{-1}{3} - 2x\), i.e.

\(y' = \frac{\frac{2}{3} a^\frac{4}{3} x^\frac{-1}{3} - 2x}{2y}\).

Making \(y' = 0\), it follows that \(\frac{2}{3} a^\frac{4}{3} x^\frac{-1}{3} - 2x = 0\), hence

\(x = \frac{a}{\sqrt[4]{27}} = \frac{a}{3\sqrt{3}}\).

Remark: An aspect not considered by Simpson is whether a maximum is actually attained by \(y\) at

\(x = \frac{a}{3\sqrt{3}}\).

First of all, let us note that he is undoubtedly working with the “positive part” of \(y\) defined by

\(y = \sqrt{(a^4x^2)^\frac{1}{3} - x^2}, x \le a\).


This function adopts the value zero at \(x = 0\) and \(x = a\), and is positive on \((0,a)\). There is just one critical point, namely

\(x = \frac{a}{3\sqrt{3}}\).

Hence \(y\) attains its greatest value at this point.

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Maximizing a polynomial function

Author(s): 
Michel Helfgott

To determine the different values of x, when that of 3x4 - 28ax3 + 84a2 x2 - 96a3 x + 48b4 becomes a maximum or minimum (Example XXII, page 44).

 

Let \(f(x)\) be the given expression. Then \(f'(x) = 12x^3 - 84ax^2 + 168a^2 x - 96a^3\). The critical points of \(f(x)\) stem from the equation \(12x^3 - 84ax^2 + 168a^2 x - 96a^3 = 0\), which is equivalent to \(x^3 - 7ax^2 + 14a^2 x - 8a^3 = 0\). By simple inspection we can realize that the latter equation has solutions \(x = a, x = 2a, x = 4a\). Therefore \(f'(x) = (x - a)(x - 2a)(x - 4a)\). When \(x < a\) we have \(x < 2a\) and \(x < 4a\), so \(f'(x) < 0\); when \(x > a\) but \(x < 2a\) we get \(x < 4a\), thus \(f'(x) > 0\). By the first-derivative test we can conclude that \(f(x)\) adopts a local minimum at \(x = a\). In a similar fashion one can prove that \(f(x)\) adopts a local maximum at \(x = 2a\) and a local minimum at \(x = 4a\).

As a remark (“scholium”) after example XXII (page 45, last paragraph), Simpson discusses the function \(g(x) = 24a^3 x - 30a^2 x^2 + 16ax^3 - 3x^4\). We have \(g'(x) = 24a^3 - 60a^2 x + 48ax^2 - 12x^3\). Factoring out 12, without much effort we get \(g'(x)= -12(x - a)^2 (x - 2a)\). In a small neighborhood of \(x = a\) the derivative is positive, so \(g(x)\) does not adopt a local maximum or minimum at \(x = a\). But it does adopt a local maximum at \(x = 2a\) because for \(x < 2a\) the derivative is positive, while for \(x > 2a\) the derivative is negative.

 

Remark: Both \(f(x)\) and \(g(x)\) are easy to analyze through the first-derivative test since their derivatives can be factored without much difficulty. The above-mentioned examples may seem rather ad hoc, nonetheless they illustrate quite well how an important test works.

 

Editor’s Note: This article was published in 2005.

Thomas Simpson and Maxima and Minima - Final Considerations

Author(s): 
Michel Helfgott

In the same year (1823) that Simpson’s work was reprinted, Resume Des Lecons Donnees a L’Ecole Royale Polytechnique: Calcul Infinitesimal by Augustin-Louis Cauchy was published in France (Cauchy 1823). This book is what we would nowadays call a textbook of Analysis rather than an introduction to the calculus. In many respects it resembles contemporary textbooks; for instance, the first and second derivative tests are stated with care and precision. However, Resume does not deal with any applications, as is customary in a book on Analysis, making it a work quite different from Simpson’s. One of the strengths of Doctrine is precisely the number and variety of applications, which help to motivate the reader and render it a masterpiece of mathematical exposition.

In hindsight we can see that Simpson opted for the right course by avoiding extensive discussions on the foundations of Calculus, which no one was able to put on a solid base during Simpson’s lifetime, and instead concentrating on the usefulness of the techniques invented by Newton.

 

Editor’s Note: This article was published in 2005.

 

Thomas Simpson and Maxima and Minima - Bibliography

Author(s): 
Michel Helfgott

Cauchy, A.-L. (1823). Resume des Lecons Donees a L’Ecole Royale Polytechnique: Calcul Infinitesimal.  Paris. Reprinted in 1994 by Aubin Imprimeur, Liguge, Poitiers, France.

Clarke, F.M. (1929). Thomas Simpson and His Times. New York.

Simpson, T. (1823). Doctrine and Application of Fluxions. Edinburgh : Bell and Bradfute.

Siu, M. (1995). "Concept of Function -- Its History and Teaching," in Learn from the Masters (Swetz F. J. et al, Editors). Washington, DC: Mathematical Association of America.

Swetz, F. J. (1995). "Using Problems from the History of Mathematics in Classroom Instruction," in Learn from the Masters (Swetz F.J. et al., Editors). Washington, DC: Mathematical Association of America.

 

Editor’s Note: This article was published in 2005.