Namespaces
Variants
Actions

Pascal, Blaise

From Encyclopedia of Mathematics
Jump to: navigation, search
Copyright notice
This article Blaise Pascal was adapted from an original article by A.W.F. Edwards, which appeared in StatProb: The Encyclopedia Sponsored by Statistics and Probability Societies. The original article ([http://statprob.com/encyclopedia/BlaisePASCAL.html StatProb Source], Local Files: pdf | tex) is copyrighted by the author(s), the article has been donated to Encyclopedia of Mathematics, and its further issues are under Creative Commons Attribution Share-Alike License'. All pages from StatProb are contained in the Category StatProb.

Blaise PASCAL

b. 19 June 1623 - d. 19 August 1662


Summary Pascal introduced the concept of mathematical expectation and used it recursively to obtain a solution to the Problem of Points which was the catalyst that enabled probability theory to develop beyond mere combinatorial enumeration.

Blaise Pascal was born in Clermont, France. In 1631 his father Etienne Pascal (himself an able mathematician who gave his name to the 'limaçon of Pascal') moved his family to Paris in order to secure his son a better education, and in 1635 was one of the founders of Marin Mersenne's 'Academy', the finest exchange of mathematical information in Europe at the time. To this informal academy he introduced his son at the age of fourteen, and Blaise immediately put his new source of knowledge to good use, producing (at the age of sixteen) his Essay pour les coniques, a single printed sheet enunciating Pascal's Theorem, that the opposite sides of a hexagon inscribed in a conic intersect in three collinear points.

At the age of eighteen the younger Pascal turned his attention to constructing a calculating machine (to help his father in his calculations) and within a few years he had built and sold fifty of them. Some still exist. In 1646 he started work on hydrostatics, determining the weight of air experimentally and writing on the vacuum (leading ultimately to the choice of 'Pascal' as the name for the S.I. unit of pressure).

In 1654 Pascal returned to mathematics, extending his early work on conics in a manuscript which was never printed and which does not now exist, though it was seen by Leibniz. In the same year he entered into correspondence with Pierre de Fermat (q.v.) of Toulouse about some problems in calculating the odds in games of chance which led him to write the Traité du triangle arithmétique, avec quelques autres petits traitez sur la mesme matière, probably in August of that year. Not published until 1665, this work, and the correspondence itself which was published in 1679, is the basis of Pascal's reputation in probability theory as the originator of the concept of expectation and its use recursively to solve the 'Problem of Points', as well as the justification for calling the arithmetical triangle 'Pascal's triangle'. His advances, considered to be the foundation of modern probability theory, are described in detail below.

Later in 1654 Pascal underwent a religious experience as a result of which he almost entirely abandoned his scientific work and devoted his remaining years to writing his Lettres provinciales, written in 1656 and 1657 in defence of Antoine Arnauld, and his Pensées, drafts for an Apologie de la Religion Chrétienne, which include his famous 'wager' (see below). In 1658-59 Pascal briefly returned to mathematics, writing on the curve known as the cycloid, but his final input into the development of probability theory arises through his presumed contribution to La logique, ou l'art de penser by Antoine Arnauld and Pierre Nicole, published in 1662. This classic philosophical treatise is often called the Port-Royal Logic through the association of its authors, and Pascal himself, with the Port-Royal Abbey, a centre of the Jansenist movement within the Catholic church, into whose convent Pascal's sister Jacqueline had been received in 1652.

Pascal died in Paris, in good standing with the Church and is buried in the church of St Etienne du Mont.

The Traité du triangle arithmétique itself is 36 pages long (setting aside quelques autres petits traitez sur la mesme matière) and consists of two parts. The first carries the title by which the whole is usually known, in English translation A Treatise on the Arithmetical Triangle, and is an account of the arithmetical triangle as a piece of pure mathematics. The second part Uses of the Arithmetical Triangle consists of four sections: (1)Use in the theory of figurate numbers, (2)Use in the theory of combinations, (3)Use in dividing the stakes in games of chance, (4)Use in finding the powers of binomial expressions.

Pascal opens the first part by defining an unbounded rectangular array like a matrix in which 'The number in each cell is equal to that in the preceding cell in in the same row', and he considers the special case in which the cells of the first row and column each contain 1. Symbolically, he has defined $\{f_{i,j}\}$ where $$f_{i,j} = f_{i-1,j} + f_{i,j-1}, i,j= 2,3,4,..., f_{i,1}= f_{1,j} = 1, i,j = 1,2,3,...$$

The rest of Part I is devoted to a demonstration of nineteen corollaries flowing from this definition, and concludes with a 'problem'. The corollaries include all the common relations among the binomial coefficients (as the entries of the triangle are now universally called), none of which was new. Pascal proves the twelfth corollary, $(j-1)f_{i,j} = if_{i+1,j-1}$ in our notation, by explicit use of mathematical induction. The `problem' is to find $f_{i,j}$ as a function of $i$ and $j$, which Pascal does by applying the twelfth corollary recursively. Part I of the Treatise thus amounts to a systematic development of all the main results then known about the properties of the numbers in the arithmetical triangle.

In Part II Pascal turns to the applications of these numbers. The numbers thus defined have three different interpretations, each of great antiquity (to which he does not, however, refer). The successive rows of the triangle define the figurate numbers which have their roots in Pythagorean arithmetic. Pascal treats these in section (1),

The second interpretation is as binomial numbers, the coefficients of a binomial expansion, which are arrayed in the successive diagonals, their identity with the figurate numbers having been recognized in Persia and China in the eleventh century and in Europe in the sixteenth. The above definition of $f_{i,j}$ is obvious on considering the expansion of both sides of $$(x+y)^n = (x+y) (x+y)^{n-1}.$$ The fact that the coefficient of $x^{r} y^{n-r}$ in the expansion of $(x+y)^n$ may be expressed as $$ \frac{n(n-1)(n-2)...(n-r+1)}{1.2.3...r} = {n \choose r}$$ was known to the Arabs in the thirteenth century and to the Renaissance mathematician Cardano in 1570. It provides a closed form for $f_{i,j}$, with $n = i + j -2$ and $r = i -1$. Pascal treats the binomial interpretation in section (4).

The third interpretation is as a combinatorial number, for the number of combinations of $n$ different things taken $r$ at a time, $^{\fontshape{it}\selectfont {} n}$C$_{\fontshape{it}\selectfont r}$ is equal to ${ n \choose r}$, a result known in India in the ninth century, to Hebrew writers in the fourteenth century, and to Cardano in 1550. Pascal deals with that interpretation in section (2), giving a novel demonstration of the combinatorial version of the basic addition relation $^{\fontshape{it}\selectfont n+}'"`UNIQ-MathJax4-QINU`"'_{ 1}$, for, considering any particular one of the $n+1$ things, $^{\fontshape{it}\selectfont n}$C$_{\fontshape{it}\selectfont r}${} gives the number of combinations that include it and $^{\fontshape{it}\selectfont n}${\fontshape{it}\selectfont C}$_{\fontshape{it}\selectfont r+}'"`UNIQ-MathJax5-QINU`"' E(x,y) = E(x-1,y) + E(x,y-1).$$

By these methods, and his knowledge of the arithmetical triangle, Pascal was able to demonstrate how the stake should be divided between the players according to the partial sums of the binomial coefficients, a result which he had already obtained by enumeration, for both he and Fermat had realised that the actual game of uncertain length could be embedded in a game of fixed length to which the binomial distribution (as yet undiscovered) could then be applied. Further details of their reasoning may be found in the references below.

Three further contributions of Pascal to the development of probability theory may be noted. In Pensées he used his concept of expectation to argue that one should bet on the existence of God because, however small the probability of His existence, the value of eternal salvation if He does exist is infinite, so that the expected value of assuming that He does exist far exceeds that of assuming that He does not. Subsequent writers have regarded this, "Pascal's wager", as the origin of decision theory. Secondly, in 1656 Pascal posed Fermat a problem which became known as the "gambler's ruin" and which played a central role in the development of probability theory as the first example of a problem about the duration of play. Finally, he greatly influenced the probability arguments in the {\fontshape{it}\selectfont Port-Royal Logic}, in the last chapter of which there is a clear understanding of the importance of judging an action not only by the possible gain or loss, but also by the probability of each of these. One must "consider mathematically the magnitudes when these things are multiplied together". This is the first occasion in which the word `` probability" is used (in French, of course) in its modern sense.


References

[1] Edwards, A.W.F. (1987). Pascal's Arithmetical Triangle, Griffin, London, and Oxford University Press, New York, 2nd ed. 2000, Johns Hopkins University Press, Baltimore. Contains as appendices Pascal and the Problem of Points International Statistical Review, 50, 259-266 (1982) and Pascal's Problem: The "Gambler's Ruin", International Statistical Review, 51, 73-79 (1983).
[2] Mesnard, J. (1970). Oeuvres compétes de Blaise Pascal, deuxième partie volume I: Oeuvres diverses. Declée de Brouwer, Bruges.
[3] Hald, A. (1990) A History of Probability and Statistics and their Applications before 1750. Wiley, New York.
[4] Pascal, B. (1955, 1963) Great Books of the Western World 33: The Provincial Letters, Pensées, Scientific Treatises, by Blaise Pascal. Encyclopadia Britannica, Chicago. Contains the best English translations of the Pascal-Fermat correspondence and the Traité du triangle arithmétique.



Reprinted with permission from Christopher Charles Heyde and Eugene William Seneta (Editors), Statisticians of the Centuries, Springer-Verlag Inc., New York, USA.

How to Cite This Entry:
Pascal, Blaise. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Pascal,_Blaise&oldid=39244