April 2, 1997
Early Calculus -- I
Albert Girard (1595-1632) - Theory of Equations
Jan de Witt (1623-1672) - Analytic Geometry
Marin Mersenne (1588-1648) - Scientific Journal/Society
Girard Desargues (1591-1661) - Projective Geometry
Frans von Schooten (1615-1660) - Analytic Geometry
Christian Huygens (1629-1695) - Probability
Johann Hudde (1628-1704)
Early serious attempts at probability had already been attempted by Cardano and Tartaglia. They desired a better understanding of gambling odds.
Some study about dice date even earlier. There are recorded attempts to understand odds dating back to Roman times.
Cardano published Liber de Ludo Alea (Book on Games of Chance) in 1526. He discusses dice as well stakes games. He then computes fair stakes based on the number of outcomes. He was also aware of independent events and the multiplication rule: if A and B are independent events then .
Cardano discussed this problem:
How many throws must be allowed to provide even odds for attaining two sixes on a pair of dice?
Cardano reasoned it should be 18. He also argued that with a single dice, three rolls are required for even odds of rolling a 2. He was wrong. This type problem still challenges undergraduate math majors to this day.
The division of stakes problem was also of interest:
A fair game end when a player has won six rounds. Suppose that the game actually stops when the first player wins 5 games and the second play wins 3 games. How should the stakes be divided?Tartaglia argued it should by 5:3. This is incorrect.
This work faded until about 1650 when Blaise Pascal(1623-1662) attempted it.
Through Roannez he met Chevalier de Mere who introduced him to games of chance and stimulated his interest in mathematical probability.
Pascal described his solution to the de Méré division problem in letters to Fermat in 1654. His solution is contained in the theorem:
Theorem. Suppose the first player lacks r games winning the set while the second player lacks s games where both . If the game is interrupted at this point the first player gets
where n=r+s-1 (the maximum number of games left).
Example. Suppose r=1 and s=3, as in the Tartaglia example. Then the division (proportion) of stakes to Player 1 is
not 5:3 as Tartaglia suggested.
To prove this result Pascal used the Pascal triangle in a very clever way. In fact, he proves a great many theorems about the triangle.
Proof of Theorem. By induction suppose that if Player 1 lacks r games to win and Player 2 lacks 2 games to win, then the division of stakes to Player 1 is in the ratio of
to . Now suppose there are n+1 games to play and a game is played. If Player 1 wins then there remain n games to play and n=r-1+s-1. If Player 2 wins then there remain n games to play and n=r-s-1-1. Since either event is equally likely, then the division of stakes is the average of the two divisions, which is
to . This can be rewritten as
Now it is a property of ``Pascal's" triangle that
from which the proof follows.
The first probability text (1657) was written by Christian Huygens (1629-1695), a student of van Schooten. He covers thoroughly the division problem. In addition he gives the first proof of the other de Mere problem, that of the number of throws required for a pair of sixes to be fair. He concludes his book with a collection of probability problems concerning drawing colored balls from an urn.
Huygens was a distinguished mathematician and physicist in his own right. He studied the very important subject of optics and made significant contributions.
He also studied the cycloid and its relation to the pendulum clock.
Pascal's ancestors were rich merchants that attained the highest ranks of the burgess class. His father, Etienne, was a royal tax officer and sometime mathematician.
Pascal appears to have had no formal education, having been ``home-schooled" by his father. He continued his education in the salons and scientific gatherings he attended with his father.
In 1640 Pascal wrote an essay on conics extending the work of Desargues in projective geometry, though it was never published. Only a few scholars like Leibniz and de la Hire saw the manuscript.
Pascal began work on his calculating machine in 1642. For three years he worked to develop a working model. In 1649 he received a monopoly (from the crown) for maufacturing and producing his calculating machine. However, he probably made little from his invention.
In 1646, he began his barometric experiments, continuing with them for 8 years. In 1654 he wrote Traité de l'équilibre, a short work devoted to the laws of hydrostatics and to the demonstration and description of the various effects of the weight of air. It was published posthumously.
He then turned to his studies on arithmetic, combinatorial analysis and the calculus of probability as is is reflected in his correspondence with Fermat. Pascal wrote his Traité du triangle arithmetique in the same year but it was not distributed until 1665.
Pascal continued his work in mathematics with hisÉléments de géometrie (1657), prepared upon the request of Arnauld.
At the beginning of 1659 he devoted his energies to the perfecting of the theory of divisibles, which was a forerunner of the methods of integral calculus.
He is said to have invented the hydraulic press.
The Beginning of Calculus
As will become apparent a great many mathematicians experiment with the early concepts of calculus
We will see that ``polynomial calculus'', the calculus of infinite series, and even a little more was well worked over (as opposed to understood) long before Newton and Lebnitz. So it will be important to distinguish their monumental contributions from previous work.
There are many issues to be considered, not least among them the
First we examine original methods of constructing tangents and extrema, then areas and volumes, the intuitive power of power series, rectifiability.
Then we discuss Newton and Leibnitz who organized it all into a comprehensive whole.
Tangents and Extrema
Fermat: Shortly after 1629 Fermat wrote the treatise Method of Finding Maxima and Minima in which he gives methods of
Finding extrema: In modern terms, Fermat would compare the value of a function f(x) with the value of f(x+E) at a neighboring point. Two situations arise:
This process he calls adequality.
Example. Consider . Then
Now set f(x) = f(x+E): subtracting gives
Divide by E:
This is the location of the maximum.
Finding Tangents: A similar idea is employed. The tangent at very nearly includes the point f(a+E). Therefore if c is the subtangent to f(x) at (a,b)
This is the adequality. Cross multiply, cancel terms, divide by E, and finally set E=0. This is equivalent to the usual difference quotient limiting procedure.
Example. Consider and a=2. Then f(2)=3. Equate (adequality)
Cross multiply to get
Cancel, divide by E, and set E=0 to get
The tangent is b/c=3, which is indeed the tangent to f(x) at x=2.
Descartes' normals: Descartes' idea for finding a normal to a curve at a point P was to take a nearby point Q on the curve and find the equation of a circle with center on the coordinate axis (he used only abscissas). Now set to zero the discriminant of the equation that determines the intersections of the circle with the curve, one finds the center of the circle where Q coincides with P. The center being known, the tangent and normal are easily found. This method did not directly use infinitesimals and there was some hope that they would not be needed in further developments.
Hudde and Sluse
By the 1630's Roberval (1602-1675) had discovered kinematic methods of determining tangents by considering a curve to be generated by a moving point. His method relied on geometry and was not algorithmic. The methods of Fermat and Descartes could involve complicated algebra. However, Johann Hudde (1628-1704) and René François de Sluse (1622-1685) found easily used algorithms. These algorithms were to be adapted by Newton.
Hudde established two results:
has a relative maximum or minimum, then
(Note, this equals xp'(x).)
It should be apparent that not only did area and tangent problems antidate the calculus of Newton and Leibnitz but so did many of the rules for derivatives!
de Sluse established the following result for the curve f(x,y) = 0, where f(x,y) is a polynomial: In modern terms it reads:
The proof follows: For f(x,y) = 0 we have
Now y'=y/t, where t is the subtangent and thus
Sluse gives nothing like a proof, not even a clue to discovery. He may have just generalized numerous examples.
Example. . So,
Note the term!! Multiply the left by t to replace a power of x and by the appropriate coefficients
which is the subtangent.
He was manifestly wealthy.
1637-1643, educated privately at home by father and private tutors. 1644, tuition in mathematics by Stampioen.
1645-1647, studied law and mathematics (privately with Frans Van Shooten), University of Leiden.
1655, invented pendulum clock, built several for the purpose of longitude determination, and sent them on sea trials (1662 & 1686). 1664 (Dutch) and 1665 (French), patents for longitude clock.
He developed a diaphragm placed inside a telescope near the focus and used it with a pendulum that counted time to measure celestial angles. He also inserted a wedge shaped piece at the focus to cover a planet, in effect a micrometer.
Corresponded with Mersenne, Gregory of St. Vincent, Wallis, Van Shooten, Sluse, Leibnitz, Roemer, Pascal, Fermat, Boulliau, and Oldenburg.
He also mentored Leibnitz, when Leibnitz was just beginning to ``think about mathematics". He generously offered Leibnitz essential advise.
No university education.
His geometrical works marked an important step in the rationalization of graphical techniques. He introduced the principal concepts of projective geometry, trying to integrate the projective methods into the body of mathematics. Hoewever, his work was rediscovered and fully appreciated only in the 19th century.
His works were collected in L'oeuvre mathématique de Desarques (Paris, 1951).
As an engineer, he designed many projects. One of them was a system for raising water near Paris. The system was based onthe relatively unknown epicycloidal wheel.
He became friendly with Mersenne, Gassendi, Mydorge, and perhaps Roberval. In 1635 he attended the meetings of Mersenne's Académie parisienne.
In 1638 he had contacts with Descartes and in 1639 with Pascal.
Our first reliable information about him shows him settled in the Netherlands, where it is known that he studied in Leiden (1617). He was a Calvinist
He published extensively on mathematics.
He worked on the law of refraction.
Originally he was a musician, specifically a professional lute player.
His grave marker called him an engineer.
He appears to have had informal contact with the circle of Dutch mathematical scientists, thus his edition of Stevin. He was a friend of Snell (of Snell's law).
He entered the new Jesuit college at La Fleche fro 1604 to 1609. He then studied theology for two years at the Sorbonne, though there is no evidence of a degree. (He was from a family of laborers.)
Mersenne is best known for his network of correspondents. In addition to his many letters, Mersenne wrote several works on varying topics. His Quaestiones in Genesim (1623) defended orthodox theology against deists and atheists.
In response to the work of Galileo, Mersenne wrote his Traité des mouvements (1633) and Les mechaniques de Galilée (1634).
His Traité d'harmonie universelle (1627) was a work on music, acoustics and instruments which he continued to improve throughout his life.
From 1623 Mersenne began to make the careful selection of scholars who met at his convent in Paris or corresponded with him from all over Europe and as far afield as Tunisia, Syria, and Constantinople. His regular visitors or correspondents came to include Descartes, the Roman musicologist Giovanni Battista Doni, Roberval, Fermat, Hobbes, and the Pascals (father and son).
It was in Mersenne's salon that the young Blaise Pascal met Descartes, 1647.
His role as secretary of the public of scientific letters, with a strong point of view of his own, became institutionalized in the Academia Parisiensis, which he organized in 1635.
René-Francois de Sluse
Sluse came from a petit noble family. His father was a lawyer, notary and a clerk of the court.
He attended the University of Louvain from 1638 to 1642. He then studied in Rome, receiving his doctorate in law from the University of Sapienza in 1643. He remained in Rome for several more years becoming proficient in Greek, Hebrew, Arabic, and Syriac, and studying astronomy and mathematics.
Sluse made a thorough study of Cavalieri and Torricelli on the geometry of the indivisible. At Liège, because of administrative duties, his only means of communication was his extensive correspondence.
In order to keep his scientific interests alive he conducted extensive correspondence with several members of the scientific community, Pascal, Huygens, Oldenburg, Wallis, Ricci, Dati, Lambecius, and Prince Leopold of Tuscany.
Early in his career he published Mesolabium, a work on geometrical construction in which he discussed the cubature of various solids and the solutions to third and fourth degree equations.
He perfected the methods of Descartes and Fermat for drawing tangents and determining the maximum and minimum values. He generalized the method for solutions of equations through the construction of roots by means of curves.
sluse also wrote on astronomy, physics, natural history, history, and of course on theological issues in his adminstrative work.